runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand994.cudf.user-upgrades.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand994.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand994.cudf.user-upgrades.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.38 1.39 1.28 3/34 24933 /proc/meminfo: memFree=286476/1048576 swapFree=0/0 [pid=24932] ppid=24931 vsize=2572 CPUtime=0 /proc/24932/stat : 24932 (gj-paranoid-sol) R 24931 24932 4778 34817 4778 4202496 355 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 269 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/24932/statm: 643 269 228 194 0 30 0 [pid=24933] ppid=24932 vsize=2572 CPUtime=0 /proc/24933/stat : 24933 (gj-paranoid-sol) R 24932 24932 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 41 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/24933/statm: 643 41 0 194 0 30 0 [startup+0.185479 s] /proc/loadavg: 1.38 1.39 1.28 3/34 24933 /proc/meminfo: memFree=286476/1048576 swapFree=0/0 [pid=24932] ppid=24931 vsize=2572 CPUtime=0 /proc/24932/stat : 24932 (gj-paranoid-sol) S 24931 24932 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 270 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24932/statm: 643 270 229 194 0 30 0 [pid=24933] ppid=24932 vsize=409800 CPUtime=0.19 /proc/24933/stat : 24933 (java) S 24932 24932 4778 34817 4778 4202496 4037 0 1 0 18 1 0 0 25 0 9 0 11194994 419635200 3464 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24933/statm: 102450 3464 1922 10 0 96598 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 412372 [startup+0.205476 s] /proc/loadavg: 1.38 1.39 1.28 3/34 24933 /proc/meminfo: memFree=286476/1048576 swapFree=0/0 [pid=24932] ppid=24931 vsize=2572 CPUtime=0 /proc/24932/stat : 24932 (gj-paranoid-sol) S 24931 24932 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 270 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24932/statm: 643 270 229 194 0 30 0 [pid=24933] ppid=24932 vsize=409800 CPUtime=0.21 /proc/24933/stat : 24933 (java) S 24932 24932 4778 34817 4778 4202496 4082 0 1 0 20 1 0 0 25 0 9 0 11194994 419635200 3509 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24933/statm: 102450 3509 1922 10 0 96598 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412372 [startup+0.305505 s] /proc/loadavg: 1.38 1.39 1.28 3/34 24933 /proc/meminfo: memFree=286476/1048576 swapFree=0/0 [pid=24932] ppid=24931 vsize=2572 CPUtime=0 /proc/24932/stat : 24932 (gj-paranoid-sol) S 24931 24932 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 270 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24932/statm: 643 270 229 194 0 30 0 [pid=24933] ppid=24932 vsize=410384 CPUtime=0.31 /proc/24933/stat : 24933 (java) S 24932 24932 4778 34817 4778 4202496 4436 0 1 0 30 1 0 0 25 0 9 0 11194994 420233216 3863 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24933/statm: 102596 3863 1944 10 0 96744 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412956 [startup+0.705624 s] /proc/loadavg: 1.38 1.39 1.28 3/34 24933 /proc/meminfo: memFree=286476/1048576 swapFree=0/0 [pid=24932] ppid=24931 vsize=2572 CPUtime=0 /proc/24932/stat : 24932 (gj-paranoid-sol) S 24931 24932 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 270 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24932/statm: 643 270 229 194 0 30 0 [pid=24933] ppid=24932 vsize=410652 CPUtime=0.71 /proc/24933/stat : 24933 (java) S 24932 24932 4778 34817 4778 4202496 11935 0 1 0 68 3 0 0 25 0 9 0 11194994 420507648 11175 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24933/statm: 102663 11175 2901 10 0 96811 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413224 [startup+1.50579 s] /proc/loadavg: 1.38 1.39 1.28 2/43 24942 /proc/meminfo: memFree=228112/1048576 swapFree=0/0 [pid=24932] ppid=24931 vsize=2572 CPUtime=0 /proc/24932/stat : 24932 (gj-paranoid-sol) S 24931 24932 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 270 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24932/statm: 643 270 229 194 0 30 0 [pid=24933] ppid=24932 vsize=410784 CPUtime=1.51 /proc/24933/stat : 24933 (java) S 24932 24932 4778 34817 4778 4202496 27032 0 1 0 142 9 0 0 25 0 9 0 11194994 420642816 26272 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24933/statm: 102696 26272 2901 10 0 96844 0 [pid=24933/tid=24935] ppid=24932 vsize=410784 CPUtime=0.8 /proc/24933/task/24935/stat : 24935 (java) R 24932 24932 4778 34817 4778 4202560 6704 0 1 0 80 0 0 0 25 0 9 0 11194995 420642816 26272 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24933/tid=24936] ppid=24932 vsize=410784 CPUtime=0.62 /proc/24933/task/24936/stat : 24936 (java) R 24932 24932 4778 34817 4778 4202560 18939 0 0 0 56 6 0 0 18 0 9 0 11194996 420642816 26272 1283457024 134512640 134550932 4288996272 18446744073709551615 4152602787 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=24933/tid=24937] ppid=24932 vsize=410784 CPUtime=0 /proc/24933/task/24937/stat : 24937 (java) S 24932 24932 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11194996 420642816 26272 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24938] ppid=24932 vsize=410784 CPUtime=0 /proc/24933/task/24938/stat : 24938 (java) S 24932 24932 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11194996 420642816 26272 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24939] ppid=24932 vsize=410784 CPUtime=0 /proc/24933/task/24939/stat : 24939 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11194997 420642816 26272 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24940] ppid=24932 vsize=410784 CPUtime=0.06 /proc/24933/task/24940/stat : 24940 (java) S 24932 24932 4778 34817 4778 4202560 449 0 0 0 5 1 0 0 16 0 9 0 11194997 420642816 26272 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24941] ppid=24932 vsize=410784 CPUtime=0 /proc/24933/task/24941/stat : 24941 (java) S 24932 24932 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11194997 420642816 26272 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24942] ppid=24932 vsize=410784 CPUtime=0 /proc/24933/task/24942/stat : 24942 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11194997 420642816 26272 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 413356 [startup+3.10603 s] /proc/loadavg: 1.43 1.40 1.28 2/43 24942 /proc/meminfo: memFree=156316/1048576 swapFree=0/0 [pid=24932] ppid=24931 vsize=2572 CPUtime=0 /proc/24932/stat : 24932 (gj-paranoid-sol) S 24931 24932 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 270 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24932/statm: 643 270 229 194 0 30 0 [pid=24933] ppid=24932 vsize=410784 CPUtime=3.1 /proc/24933/stat : 24933 (java) S 24932 24932 4778 34817 4778 4202496 50624 0 1 0 290 20 0 0 25 0 9 0 11194994 420642816 49864 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24933/statm: 102696 49864 2901 10 0 96844 0 [pid=24933/tid=24935] ppid=24932 vsize=410784 CPUtime=1.42 /proc/24933/task/24935/stat : 24935 (java) R 24932 24932 4778 34817 4778 4202560 13857 0 1 0 137 5 0 0 25 0 9 0 11194995 420642816 49864 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24933/tid=24936] ppid=24932 vsize=410784 CPUtime=1.6 /proc/24933/task/24936/stat : 24936 (java) R 24932 24932 4778 34817 4778 4202560 35375 0 0 0 148 12 0 0 16 0 9 0 11194996 420642816 49864 1283457024 134512640 134550932 4288996272 18446744073709551615 4150908856 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=24933/tid=24937] ppid=24932 vsize=410784 CPUtime=0 /proc/24933/task/24937/stat : 24937 (java) S 24932 24932 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11194996 420642816 49864 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24938] ppid=24932 vsize=410784 CPUtime=0 /proc/24933/task/24938/stat : 24938 (java) S 24932 24932 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11194996 420642816 49864 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24939] ppid=24932 vsize=410784 CPUtime=0 /proc/24933/task/24939/stat : 24939 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11194997 420642816 49864 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24940] ppid=24932 vsize=410784 CPUtime=0.06 /proc/24933/task/24940/stat : 24940 (java) S 24932 24932 4778 34817 4778 4202560 452 0 0 0 5 1 0 0 15 0 9 0 11194997 420642816 49864 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24941] ppid=24932 vsize=410784 CPUtime=0 /proc/24933/task/24941/stat : 24941 (java) S 24932 24932 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11194997 420642816 49864 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24942] ppid=24932 vsize=410784 CPUtime=0 /proc/24933/task/24942/stat : 24942 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11194997 420642816 49864 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413356 [startup+6.30705 s] /proc/loadavg: 1.43 1.40 1.28 2/43 24942 /proc/meminfo: memFree=19420/1048576 swapFree=0/0 [pid=24932] ppid=24931 vsize=2572 CPUtime=0 /proc/24932/stat : 24932 (gj-paranoid-sol) S 24931 24932 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 270 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24932/statm: 643 270 229 194 0 30 0 [pid=24933] ppid=24932 vsize=439956 CPUtime=6.3 /proc/24933/stat : 24933 (java) S 24932 24932 4778 34817 4778 4202496 78232 0 1 0 601 29 0 0 25 0 9 0 11194994 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24933/statm: 109989 77466 2902 10 0 104137 0 [pid=24933/tid=24935] ppid=24932 vsize=439956 CPUtime=2.29 /proc/24933/task/24935/stat : 24935 (java) R 24932 24932 4778 34817 4778 4202560 13874 0 1 0 222 7 0 0 25 0 9 0 11194995 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24933/tid=24936] ppid=24932 vsize=439956 CPUtime=3.92 /proc/24933/task/24936/stat : 24936 (java) R 24932 24932 4778 34817 4778 4202560 62948 0 0 0 373 19 0 0 16 0 9 0 11194996 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4152400388 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=24933/tid=24937] ppid=24932 vsize=439956 CPUtime=0 /proc/24933/task/24937/stat : 24937 (java) S 24932 24932 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11194996 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24938] ppid=24932 vsize=439956 CPUtime=0 /proc/24933/task/24938/stat : 24938 (java) S 24932 24932 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11194996 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24939] ppid=24932 vsize=439956 CPUtime=0 /proc/24933/task/24939/stat : 24939 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11194997 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24940] ppid=24932 vsize=439956 CPUtime=0.07 /proc/24933/task/24940/stat : 24940 (java) S 24932 24932 4778 34817 4778 4202560 470 0 0 0 6 1 0 0 15 0 9 0 11194997 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24941] ppid=24932 vsize=439956 CPUtime=0 /proc/24933/task/24941/stat : 24941 (java) S 24932 24932 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11194997 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24942] ppid=24932 vsize=439956 CPUtime=0 /proc/24933/task/24942/stat : 24942 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11194997 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 442528 Solver just ended. Dumping a history of the last processes samples [startup+6.40704 s] /proc/loadavg: 1.43 1.40 1.28 2/43 24942 /proc/meminfo: memFree=19420/1048576 swapFree=0/0 [pid=24932] ppid=24931 vsize=2572 CPUtime=0 /proc/24932/stat : 24932 (gj-paranoid-sol) S 24931 24932 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 270 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24932/statm: 643 270 229 194 0 30 0 [pid=24933] ppid=24932 vsize=439956 CPUtime=6.4 /proc/24933/stat : 24933 (java) S 24932 24932 4778 34817 4778 4202496 78232 0 1 0 611 29 0 0 25 0 9 0 11194994 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24933/statm: 109989 77466 2902 10 0 104137 0 [pid=24933/tid=24935] ppid=24932 vsize=439956 CPUtime=2.29 /proc/24933/task/24935/stat : 24935 (java) R 24932 24932 4778 34817 4778 4202560 13874 0 1 0 222 7 0 0 25 0 9 0 11194995 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24933/tid=24936] ppid=24932 vsize=439956 CPUtime=4.02 /proc/24933/task/24936/stat : 24936 (java) R 24932 24932 4778 34817 4778 4202560 62948 0 0 0 383 19 0 0 16 0 9 0 11194996 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4151300702 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=24933/tid=24937] ppid=24932 vsize=439956 CPUtime=0 /proc/24933/task/24937/stat : 24937 (java) S 24932 24932 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11194996 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24938] ppid=24932 vsize=439956 CPUtime=0 /proc/24933/task/24938/stat : 24938 (java) S 24932 24932 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11194996 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24939] ppid=24932 vsize=439956 CPUtime=0 /proc/24933/task/24939/stat : 24939 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11194997 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24940] ppid=24932 vsize=439956 CPUtime=0.07 /proc/24933/task/24940/stat : 24940 (java) S 24932 24932 4778 34817 4778 4202560 470 0 0 0 6 1 0 0 15 0 9 0 11194997 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24941] ppid=24932 vsize=439956 CPUtime=0 /proc/24933/task/24941/stat : 24941 (java) S 24932 24932 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11194997 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24942] ppid=24932 vsize=439956 CPUtime=0 /proc/24933/task/24942/stat : 24942 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11194997 450514944 77466 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.4 Current children cumulated vsize (KiB) 442528 [startup+9.61831 s] /proc/loadavg: 1.39 1.39 1.28 4/43 24942 /proc/meminfo: memFree=6080/1048576 swapFree=0/0 [pid=24932] ppid=24931 vsize=2572 CPUtime=0 /proc/24932/stat : 24932 (gj-paranoid-sol) S 24931 24932 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 270 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24932/statm: 643 270 229 194 0 30 0 [pid=24933] ppid=24932 vsize=411456 CPUtime=9.6 /proc/24933/stat : 24933 (java) S 24932 24932 4778 34817 4778 4202496 92738 0 1 0 924 36 0 0 25 0 9 0 11194994 421330944 70540 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24933/statm: 102864 70540 2916 10 0 97009 0 [pid=24933/tid=24935] ppid=24932 vsize=411456 CPUtime=2.79 /proc/24933/task/24935/stat : 24935 (java) R 24932 24932 4778 34817 4778 4202560 14102 0 1 0 271 8 0 0 25 0 9 0 11194995 421330944 70540 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24933/tid=24936] ppid=24932 vsize=411456 CPUtime=6.68 /proc/24933/task/24936/stat : 24936 (java) R 24932 24932 4778 34817 4778 4202560 77205 0 0 0 644 24 0 0 15 0 9 0 11194996 421330944 70540 1283457024 134512640 134550932 4288996272 18446744073709551615 4150711734 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=24933/tid=24937] ppid=24932 vsize=411456 CPUtime=0 /proc/24933/task/24937/stat : 24937 (java) S 24932 24932 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11194996 421330944 70540 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24938] ppid=24932 vsize=411456 CPUtime=0 /proc/24933/task/24938/stat : 24938 (java) S 24932 24932 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11194996 421330944 70540 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24939] ppid=24932 vsize=411456 CPUtime=0 /proc/24933/task/24939/stat : 24939 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11194997 421330944 70540 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24940] ppid=24932 vsize=411456 CPUtime=0.1 /proc/24933/task/24940/stat : 24940 (java) S 24932 24932 4778 34817 4778 4202560 491 0 0 0 8 2 0 0 15 0 9 0 11194997 421330944 70540 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24941] ppid=24932 vsize=411456 CPUtime=0 /proc/24933/task/24941/stat : 24941 (java) S 24932 24932 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11194997 421330944 70540 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24942] ppid=24932 vsize=411456 CPUtime=0 /proc/24933/task/24942/stat : 24942 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11194997 421330944 70540 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.6 Current children cumulated vsize (KiB) 414028 [startup+11.2086 s] /proc/loadavg: 1.39 1.39 1.28 3/44 24943 /proc/meminfo: memFree=33724/1048576 swapFree=0/0 [pid=24932] ppid=24931 vsize=2572 CPUtime=0 /proc/24932/stat : 24932 (gj-paranoid-sol) S 24931 24932 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 270 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24932/statm: 643 270 229 194 0 30 0 [pid=24933] ppid=24932 vsize=411780 CPUtime=11.18 /proc/24933/stat : 24933 (java) S 24932 24932 4778 34817 4778 4202496 92806 0 1 0 1082 36 0 0 25 0 10 0 11194994 421662720 70604 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24933/statm: 102945 70604 2917 10 0 97090 0 [pid=24933/tid=24935] ppid=24932 vsize=411780 CPUtime=4.11 /proc/24933/task/24935/stat : 24935 (java) R 24932 24932 4778 34817 4778 4202560 14126 0 1 0 403 8 0 0 25 0 10 0 11194995 421662720 70604 1283457024 134512640 134550932 4288996272 18446744073709551615 4115493052 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24933/tid=24936] ppid=24932 vsize=411780 CPUtime=6.92 /proc/24933/task/24936/stat : 24936 (java) S 24932 24932 4778 34817 4778 4202560 77205 0 0 0 668 24 0 0 16 0 10 0 11194996 421662720 70604 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24937] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24937/stat : 24937 (java) S 24932 24932 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11194996 421662720 70604 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24938] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24938/stat : 24938 (java) S 24932 24932 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11194996 421662720 70604 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24939] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24939/stat : 24939 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11194997 421662720 70604 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24940] ppid=24932 vsize=411780 CPUtime=0.12 /proc/24933/task/24940/stat : 24940 (java) S 24932 24932 4778 34817 4778 4202560 530 0 0 0 10 2 0 0 15 0 10 0 11194997 421662720 70604 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24941] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24941/stat : 24941 (java) S 24932 24932 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11194997 421662720 70604 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24942] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24942/stat : 24942 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11194997 421662720 70604 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24943] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24943/stat : 24943 (java) S 24932 24932 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11195986 421662720 70604 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.18 Current children cumulated vsize (KiB) 414352 [startup+11.6086 s] /proc/loadavg: 1.39 1.39 1.28 3/44 24943 /proc/meminfo: memFree=33724/1048576 swapFree=0/0 [pid=24932] ppid=24931 vsize=2572 CPUtime=0 /proc/24932/stat : 24932 (gj-paranoid-sol) S 24931 24932 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 270 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24932/statm: 643 270 229 194 0 30 0 [pid=24933] ppid=24932 vsize=411780 CPUtime=11.58 /proc/24933/stat : 24933 (java) S 24932 24932 4778 34817 4778 4202496 92807 0 1 0 1122 36 0 0 25 0 10 0 11194994 421662720 70605 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24933/statm: 102945 70605 2917 10 0 97090 0 [pid=24933/tid=24935] ppid=24932 vsize=411780 CPUtime=4.51 /proc/24933/task/24935/stat : 24935 (java) R 24932 24932 4778 34817 4778 4202560 14126 0 1 0 443 8 0 0 25 0 10 0 11194995 421662720 70605 1283457024 134512640 134550932 4288996272 18446744073709551615 4115457757 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24933/tid=24936] ppid=24932 vsize=411780 CPUtime=6.92 /proc/24933/task/24936/stat : 24936 (java) S 24932 24932 4778 34817 4778 4202560 77205 0 0 0 668 24 0 0 15 0 10 0 11194996 421662720 70605 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24937] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24937/stat : 24937 (java) S 24932 24932 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11194996 421662720 70605 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24938] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24938/stat : 24938 (java) S 24932 24932 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11194996 421662720 70605 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24939] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24939/stat : 24939 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11194997 421662720 70605 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24940] ppid=24932 vsize=411780 CPUtime=0.12 /proc/24933/task/24940/stat : 24940 (java) S 24932 24932 4778 34817 4778 4202560 531 0 0 0 10 2 0 0 15 0 10 0 11194997 421662720 70605 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24941] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24941/stat : 24941 (java) S 24932 24932 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11194997 421662720 70605 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24942] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24942/stat : 24942 (java) R 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11194997 421662720 70605 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24933/tid=24943] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24943/stat : 24943 (java) S 24932 24932 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11195986 421662720 70605 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.58 Current children cumulated vsize (KiB) 414352 [startup+11.8022 s] /proc/loadavg: 1.39 1.39 1.28 3/44 24943 /proc/meminfo: memFree=33724/1048576 swapFree=0/0 [pid=24932] ppid=24931 vsize=2572 CPUtime=0 /proc/24932/stat : 24932 (gj-paranoid-sol) S 24931 24932 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 11194994 2633728 270 1283457024 134512640 135304128 4292907040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24932/statm: 643 270 229 194 0 30 0 [pid=24933] ppid=24932 vsize=411780 CPUtime=11.76 /proc/24933/stat : 24933 (java) S 24932 24932 4778 34817 4778 4202496 92811 0 1 0 1139 37 0 0 25 0 9 0 11194994 421662720 70609 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/24933/statm: 102945 70609 2920 10 0 97090 0 [pid=24933/tid=24935] ppid=24932 vsize=411780 CPUtime=4.66 /proc/24933/task/24935/stat : 24935 (java) S 24932 24932 4778 34817 4778 4202560 14126 0 1 0 457 9 0 0 25 0 9 0 11194995 421662720 70609 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24936] ppid=24932 vsize=411780 CPUtime=6.95 /proc/24933/task/24936/stat : 24936 (java) S 24932 24932 4778 34817 4778 4202560 77207 0 0 0 671 24 0 0 16 0 9 0 11194996 421662720 70609 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 0 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24937] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24937/stat : 24937 (java) S 24932 24932 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11194996 421662720 70609 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24938] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24938/stat : 24938 (java) S 24932 24932 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11194996 421662720 70609 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24939] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24939/stat : 24939 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11194997 421662720 70609 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24940] ppid=24932 vsize=411780 CPUtime=0.12 /proc/24933/task/24940/stat : 24940 (java) S 24932 24932 4778 34817 4778 4202560 532 0 0 0 10 2 0 0 15 0 9 0 11194997 421662720 70609 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24941] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24941/stat : 24941 (java) S 24932 24932 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11194997 421662720 70609 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 [pid=24933/tid=24942] ppid=24932 vsize=411780 CPUtime=0 /proc/24933/task/24942/stat : 24942 (java) S 24932 24932 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11194997 421662720 70609 1283457024 134512640 134550932 4288996272 18446744073709551615 4294960130 0 4 0 16800975 18446612133155122240 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.76 Current children cumulated vsize (KiB) 414352 Child status: 0 Real time (s): 11.874 CPU time (s): 11.7887 CPU user time (s): 11.3967 CPU system time (s): 0.392024 CPU usage (%): 99.2821 Max. virtual memory (cumulated for all children) (KiB): 442528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.3967 system time used= 0.392024 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93198 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 927 involuntary context switches= 1034 runsolver used 0 second user time and 0 second system time The end