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/rand740.cudf.user-upgrades.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand740.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand740.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.61 1.46 1.25 4/34 22430 /proc/meminfo: memFree=285960/1048576 swapFree=0/0 [pid=22429] ppid=22428 vsize=2572 CPUtime=0 /proc/22429/stat : 22429 (gj-paranoid-sol) S 22428 22429 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11152922 2633728 270 1283457024 134512640 135304128 4293083200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22429/statm: 643 270 229 194 0 30 0 [pid=22430] ppid=22429 vsize=11044 CPUtime=0.01 /proc/22430/stat : 22430 (java) R 22429 22429 4778 34817 4778 4202496 590 0 0 0 0 1 0 0 25 0 1 0 11152923 11309056 327 1283457024 134512640 134550932 4293883984 18446744073709551615 4159850210 0 0 0 0 0 0 0 17 0 0 0 0 /proc/22430/statm: 2761 327 171 10 0 1103 0 [startup+0.175017 s] /proc/loadavg: 1.61 1.46 1.25 4/34 22430 /proc/meminfo: memFree=285960/1048576 swapFree=0/0 [pid=22429] ppid=22428 vsize=2572 CPUtime=0 /proc/22429/stat : 22429 (gj-paranoid-sol) S 22428 22429 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11152922 2633728 270 1283457024 134512640 135304128 4293083200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22429/statm: 643 270 229 194 0 30 0 [pid=22430] ppid=22429 vsize=409800 CPUtime=0.17 /proc/22430/stat : 22430 (java) S 22429 22429 4778 34817 4778 4202496 3866 0 1 0 13 4 0 0 25 0 9 0 11152923 419635200 3294 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22430/statm: 102450 3294 1803 10 0 96598 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 412372 [startup+0.205017 s] /proc/loadavg: 1.61 1.46 1.25 4/34 22430 /proc/meminfo: memFree=285960/1048576 swapFree=0/0 [pid=22429] ppid=22428 vsize=2572 CPUtime=0 /proc/22429/stat : 22429 (gj-paranoid-sol) S 22428 22429 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11152922 2633728 270 1283457024 134512640 135304128 4293083200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22429/statm: 643 270 229 194 0 30 0 [pid=22430] ppid=22429 vsize=409800 CPUtime=0.2 /proc/22430/stat : 22430 (java) S 22429 22429 4778 34817 4778 4202496 3930 0 1 0 16 4 0 0 25 0 9 0 11152923 419635200 3358 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22430/statm: 102450 3358 1803 10 0 96598 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412372 [startup+0.305038 s] /proc/loadavg: 1.61 1.46 1.25 4/34 22430 /proc/meminfo: memFree=285960/1048576 swapFree=0/0 [pid=22429] ppid=22428 vsize=2572 CPUtime=0 /proc/22429/stat : 22429 (gj-paranoid-sol) S 22428 22429 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11152922 2633728 270 1283457024 134512640 135304128 4293083200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22429/statm: 643 270 229 194 0 30 0 [pid=22430] ppid=22429 vsize=410248 CPUtime=0.3 /proc/22430/stat : 22430 (java) S 22429 22429 4778 34817 4778 4202496 4391 0 1 0 26 4 0 0 25 0 9 0 11152923 420093952 3819 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22430/statm: 102562 3819 1943 10 0 96710 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412820 [startup+0.705155 s] /proc/loadavg: 1.61 1.46 1.25 4/34 22430 /proc/meminfo: memFree=285960/1048576 swapFree=0/0 [pid=22429] ppid=22428 vsize=2572 CPUtime=0 /proc/22429/stat : 22429 (gj-paranoid-sol) S 22428 22429 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11152922 2633728 270 1283457024 134512640 135304128 4293083200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22429/statm: 643 270 229 194 0 30 0 [pid=22430] ppid=22429 vsize=410688 CPUtime=0.71 /proc/22430/stat : 22430 (java) S 22429 22429 4778 34817 4778 4202496 12157 0 1 0 64 7 0 0 25 0 9 0 11152923 420544512 11398 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22430/statm: 102672 11398 2901 10 0 96820 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413260 [startup+1.50527 s] /proc/loadavg: 1.61 1.46 1.25 3/43 22439 /proc/meminfo: memFree=228216/1048576 swapFree=0/0 [pid=22429] ppid=22428 vsize=2572 CPUtime=0 /proc/22429/stat : 22429 (gj-paranoid-sol) S 22428 22429 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11152922 2633728 270 1283457024 134512640 135304128 4293083200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22429/statm: 643 270 229 194 0 30 0 [pid=22430] ppid=22429 vsize=410688 CPUtime=1.5 /proc/22430/stat : 22430 (java) S 22429 22429 4778 34817 4778 4202496 27121 0 1 0 140 10 0 0 25 0 9 0 11152923 420544512 26362 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22430/statm: 102672 26362 2901 10 0 96820 0 [pid=22430/tid=22432] ppid=22429 vsize=410688 CPUtime=0.79 /proc/22430/task/22432/stat : 22432 (java) R 22429 22429 4778 34817 4778 4202560 6710 0 1 0 75 4 0 0 25 0 9 0 11152923 420544512 26362 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22430/tid=22433] ppid=22429 vsize=410688 CPUtime=0.65 /proc/22430/task/22433/stat : 22433 (java) R 22429 22429 4778 34817 4778 4202560 19026 0 0 0 60 5 0 0 18 0 9 0 11152924 420544512 26362 1283457024 134512640 134550932 4293883984 18446744073709551615 4151026592 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=22430/tid=22434] ppid=22429 vsize=410688 CPUtime=0 /proc/22430/task/22434/stat : 22434 (java) S 22429 22429 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11152924 420544512 26362 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22435] ppid=22429 vsize=410688 CPUtime=0 /proc/22430/task/22435/stat : 22435 (java) S 22429 22429 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11152924 420544512 26362 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22436] ppid=22429 vsize=410688 CPUtime=0 /proc/22430/task/22436/stat : 22436 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11152925 420544512 26362 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22437] ppid=22429 vsize=410688 CPUtime=0.04 /proc/22430/task/22437/stat : 22437 (java) S 22429 22429 4778 34817 4778 4202560 446 0 0 0 4 0 0 0 16 0 9 0 11152925 420544512 26362 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22438] ppid=22429 vsize=410688 CPUtime=0 /proc/22430/task/22438/stat : 22438 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11152925 420544512 26362 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22439] ppid=22429 vsize=410688 CPUtime=0 /proc/22430/task/22439/stat : 22439 (java) S 22429 22429 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 11152925 420544512 26362 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413260 [startup+3.10578 s] /proc/loadavg: 1.61 1.46 1.25 2/43 22439 /proc/meminfo: memFree=156420/1048576 swapFree=0/0 [pid=22429] ppid=22428 vsize=2572 CPUtime=0 /proc/22429/stat : 22429 (gj-paranoid-sol) S 22428 22429 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11152922 2633728 270 1283457024 134512640 135304128 4293083200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22429/statm: 643 270 229 194 0 30 0 [pid=22430] ppid=22429 vsize=410820 CPUtime=3.1 /proc/22430/stat : 22430 (java) S 22429 22429 4778 34817 4778 4202496 50966 0 1 0 287 23 0 0 25 0 9 0 11152923 420679680 50207 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22430/statm: 102705 50207 2901 10 0 96853 0 [pid=22430/tid=22432] ppid=22429 vsize=410820 CPUtime=1.41 /proc/22430/task/22432/stat : 22432 (java) R 22429 22429 4778 34817 4778 4202560 13863 0 1 0 133 8 0 0 25 0 9 0 11152923 420679680 50207 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22430/tid=22433] ppid=22429 vsize=410820 CPUtime=1.62 /proc/22430/task/22433/stat : 22433 (java) R 22429 22429 4778 34817 4778 4202560 35715 0 0 0 149 13 0 0 16 0 9 0 11152924 420679680 50207 1283457024 134512640 134550932 4293883984 18446744073709551615 4151026592 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=22430/tid=22434] ppid=22429 vsize=410820 CPUtime=0 /proc/22430/task/22434/stat : 22434 (java) S 22429 22429 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11152924 420679680 50207 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22435] ppid=22429 vsize=410820 CPUtime=0 /proc/22430/task/22435/stat : 22435 (java) S 22429 22429 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11152924 420679680 50207 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22436] ppid=22429 vsize=410820 CPUtime=0 /proc/22430/task/22436/stat : 22436 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11152925 420679680 50207 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22437] ppid=22429 vsize=410820 CPUtime=0.04 /proc/22430/task/22437/stat : 22437 (java) S 22429 22429 4778 34817 4778 4202560 449 0 0 0 4 0 0 0 15 0 9 0 11152925 420679680 50207 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22438] ppid=22429 vsize=410820 CPUtime=0 /proc/22430/task/22438/stat : 22438 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11152925 420679680 50207 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22439] ppid=22429 vsize=410820 CPUtime=0 /proc/22430/task/22439/stat : 22439 (java) S 22429 22429 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 11152925 420679680 50207 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413392 [startup+6.30682 s] /proc/loadavg: 1.56 1.46 1.25 2/43 22439 /proc/meminfo: memFree=19532/1048576 swapFree=0/0 [pid=22429] ppid=22428 vsize=2572 CPUtime=0 /proc/22429/stat : 22429 (gj-paranoid-sol) S 22428 22429 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11152922 2633728 270 1283457024 134512640 135304128 4293083200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22429/statm: 643 270 229 194 0 30 0 [pid=22430] ppid=22429 vsize=439992 CPUtime=6.28 /proc/22430/stat : 22430 (java) S 22429 22429 4778 34817 4778 4202496 78231 0 1 0 595 33 0 0 25 0 9 0 11152923 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22430/statm: 109998 77466 2902 10 0 104146 0 [pid=22430/tid=22432] ppid=22429 vsize=439992 CPUtime=2.27 /proc/22430/task/22432/stat : 22432 (java) R 22429 22429 4778 34817 4778 4202560 13880 0 1 0 218 9 0 0 25 0 9 0 11152923 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22430/tid=22433] ppid=22429 vsize=439992 CPUtime=3.92 /proc/22430/task/22433/stat : 22433 (java) R 22429 22429 4778 34817 4778 4202560 62945 0 0 0 370 22 0 0 16 0 9 0 11152924 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4152220187 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=22430/tid=22434] ppid=22429 vsize=439992 CPUtime=0 /proc/22430/task/22434/stat : 22434 (java) S 22429 22429 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11152924 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22435] ppid=22429 vsize=439992 CPUtime=0 /proc/22430/task/22435/stat : 22435 (java) S 22429 22429 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11152924 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22436] ppid=22429 vsize=439992 CPUtime=0 /proc/22430/task/22436/stat : 22436 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11152925 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22437] ppid=22429 vsize=439992 CPUtime=0.06 /proc/22430/task/22437/stat : 22437 (java) S 22429 22429 4778 34817 4778 4202560 467 0 0 0 6 0 0 0 15 0 9 0 11152925 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22438] ppid=22429 vsize=439992 CPUtime=0 /proc/22430/task/22438/stat : 22438 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11152925 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22439] ppid=22429 vsize=439992 CPUtime=0 /proc/22430/task/22439/stat : 22439 (java) S 22429 22429 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 11152925 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 442564 Solver just ended. Dumping a history of the last processes samples [startup+6.40684 s] /proc/loadavg: 1.56 1.46 1.25 2/43 22439 /proc/meminfo: memFree=19532/1048576 swapFree=0/0 [pid=22429] ppid=22428 vsize=2572 CPUtime=0 /proc/22429/stat : 22429 (gj-paranoid-sol) S 22428 22429 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11152922 2633728 270 1283457024 134512640 135304128 4293083200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22429/statm: 643 270 229 194 0 30 0 [pid=22430] ppid=22429 vsize=439992 CPUtime=6.38 /proc/22430/stat : 22430 (java) S 22429 22429 4778 34817 4778 4202496 78231 0 1 0 605 33 0 0 25 0 9 0 11152923 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22430/statm: 109998 77466 2902 10 0 104146 0 [pid=22430/tid=22432] ppid=22429 vsize=439992 CPUtime=2.27 /proc/22430/task/22432/stat : 22432 (java) R 22429 22429 4778 34817 4778 4202560 13880 0 1 0 218 9 0 0 25 0 9 0 11152923 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22430/tid=22433] ppid=22429 vsize=439992 CPUtime=4.02 /proc/22430/task/22433/stat : 22433 (java) R 22429 22429 4778 34817 4778 4202560 62945 0 0 0 380 22 0 0 16 0 9 0 11152924 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4153228771 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=22430/tid=22434] ppid=22429 vsize=439992 CPUtime=0 /proc/22430/task/22434/stat : 22434 (java) S 22429 22429 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11152924 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22435] ppid=22429 vsize=439992 CPUtime=0 /proc/22430/task/22435/stat : 22435 (java) S 22429 22429 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11152924 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22436] ppid=22429 vsize=439992 CPUtime=0 /proc/22430/task/22436/stat : 22436 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11152925 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22437] ppid=22429 vsize=439992 CPUtime=0.06 /proc/22430/task/22437/stat : 22437 (java) S 22429 22429 4778 34817 4778 4202560 467 0 0 0 6 0 0 0 15 0 9 0 11152925 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22438] ppid=22429 vsize=439992 CPUtime=0 /proc/22430/task/22438/stat : 22438 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11152925 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22439] ppid=22429 vsize=439992 CPUtime=0 /proc/22430/task/22439/stat : 22439 (java) S 22429 22429 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 11152925 450551808 77466 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.38 Current children cumulated vsize (KiB) 442564 [startup+9.6277 s] /proc/loadavg: 1.60 1.47 1.26 3/43 22439 /proc/meminfo: memFree=5404/1048576 swapFree=0/0 [pid=22429] ppid=22428 vsize=2572 CPUtime=0 /proc/22429/stat : 22429 (gj-paranoid-sol) S 22428 22429 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11152922 2633728 270 1283457024 134512640 135304128 4293083200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22429/statm: 643 270 229 194 0 30 0 [pid=22430] ppid=22429 vsize=411448 CPUtime=9.58 /proc/22430/stat : 22430 (java) S 22429 22429 4778 34817 4778 4202496 92735 0 1 0 916 42 0 0 25 0 9 0 11152923 421322752 70538 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22430/statm: 102862 70538 2916 10 0 97007 0 [pid=22430/tid=22432] ppid=22429 vsize=411448 CPUtime=2.79 /proc/22430/task/22432/stat : 22432 (java) R 22429 22429 4778 34817 4778 4202560 14108 0 1 0 269 10 0 0 25 0 9 0 11152923 421322752 70538 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22430/tid=22433] ppid=22429 vsize=411448 CPUtime=6.7 /proc/22430/task/22433/stat : 22433 (java) R 22429 22429 4778 34817 4778 4202560 77200 0 0 0 639 31 0 0 15 0 9 0 11152924 421322752 70538 1283457024 134512640 134550932 4293883984 18446744073709551615 4152422048 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=22430/tid=22434] ppid=22429 vsize=411448 CPUtime=0 /proc/22430/task/22434/stat : 22434 (java) S 22429 22429 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11152924 421322752 70538 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22435] ppid=22429 vsize=411448 CPUtime=0 /proc/22430/task/22435/stat : 22435 (java) S 22429 22429 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11152924 421322752 70538 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22436] ppid=22429 vsize=411448 CPUtime=0 /proc/22430/task/22436/stat : 22436 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11152925 421322752 70538 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22437] ppid=22429 vsize=411448 CPUtime=0.08 /proc/22430/task/22437/stat : 22437 (java) S 22429 22429 4778 34817 4778 4202560 488 0 0 0 8 0 0 0 15 0 9 0 11152925 421322752 70538 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22438] ppid=22429 vsize=411448 CPUtime=0 /proc/22430/task/22438/stat : 22438 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11152925 421322752 70538 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22439] ppid=22429 vsize=411448 CPUtime=0 /proc/22430/task/22439/stat : 22439 (java) S 22429 22429 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 11152925 421322752 70538 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.58 Current children cumulated vsize (KiB) 414020 [startup+11.2081 s] /proc/loadavg: 1.60 1.47 1.26 2/44 22440 /proc/meminfo: memFree=33048/1048576 swapFree=0/0 [pid=22429] ppid=22428 vsize=2572 CPUtime=0 /proc/22429/stat : 22429 (gj-paranoid-sol) S 22428 22429 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11152922 2633728 270 1283457024 134512640 135304128 4293083200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22429/statm: 643 270 229 194 0 30 0 [pid=22430] ppid=22429 vsize=411772 CPUtime=11.16 /proc/22430/stat : 22430 (java) S 22429 22429 4778 34817 4778 4202496 92803 0 1 0 1074 42 0 0 25 0 10 0 11152923 421654528 70602 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22430/statm: 102943 70602 2917 10 0 97088 0 [pid=22430/tid=22432] ppid=22429 vsize=411772 CPUtime=4.09 /proc/22430/task/22432/stat : 22432 (java) R 22429 22429 4778 34817 4778 4202560 14132 0 1 0 399 10 0 0 25 0 10 0 11152923 421654528 70602 1283457024 134512640 134550932 4293883984 18446744073709551615 4114468513 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22430/tid=22433] ppid=22429 vsize=411772 CPUtime=6.93 /proc/22430/task/22433/stat : 22433 (java) S 22429 22429 4778 34817 4778 4202560 77200 0 0 0 662 31 0 0 16 0 10 0 11152924 421654528 70602 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22434] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22434/stat : 22434 (java) S 22429 22429 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11152924 421654528 70602 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22435] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22435/stat : 22435 (java) S 22429 22429 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11152924 421654528 70602 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22436] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22436/stat : 22436 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11152925 421654528 70602 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22437] ppid=22429 vsize=411772 CPUtime=0.13 /proc/22430/task/22437/stat : 22437 (java) S 22429 22429 4778 34817 4778 4202560 527 0 0 0 13 0 0 0 15 0 10 0 11152925 421654528 70602 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22438] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22438/stat : 22438 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11152925 421654528 70602 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22439] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22439/stat : 22439 (java) S 22429 22429 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 11152925 421654528 70602 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22440] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22440/stat : 22440 (java) S 22429 22429 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11153912 421654528 70602 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.16 Current children cumulated vsize (KiB) 414344 [startup+11.6082 s] /proc/loadavg: 1.60 1.47 1.26 2/44 22440 /proc/meminfo: memFree=33048/1048576 swapFree=0/0 [pid=22429] ppid=22428 vsize=2572 CPUtime=0 /proc/22429/stat : 22429 (gj-paranoid-sol) S 22428 22429 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11152922 2633728 270 1283457024 134512640 135304128 4293083200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22429/statm: 643 270 229 194 0 30 0 [pid=22430] ppid=22429 vsize=411772 CPUtime=11.57 /proc/22430/stat : 22430 (java) S 22429 22429 4778 34817 4778 4202496 92805 0 1 0 1113 44 0 0 25 0 10 0 11152923 421654528 70604 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22430/statm: 102943 70604 2917 10 0 97088 0 [pid=22430/tid=22432] ppid=22429 vsize=411772 CPUtime=4.49 /proc/22430/task/22432/stat : 22432 (java) R 22429 22429 4778 34817 4778 4202560 14133 0 1 0 438 11 0 0 25 0 10 0 11152923 421654528 70604 1283457024 134512640 134550932 4293883984 18446744073709551615 4150196772 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=22430/tid=22433] ppid=22429 vsize=411772 CPUtime=6.93 /proc/22430/task/22433/stat : 22433 (java) S 22429 22429 4778 34817 4778 4202560 77200 0 0 0 662 31 0 0 16 0 10 0 11152924 421654528 70604 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22434] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22434/stat : 22434 (java) S 22429 22429 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11152924 421654528 70604 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22435] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22435/stat : 22435 (java) S 22429 22429 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11152924 421654528 70604 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22436] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22436/stat : 22436 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11152925 421654528 70604 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22437] ppid=22429 vsize=411772 CPUtime=0.13 /proc/22430/task/22437/stat : 22437 (java) S 22429 22429 4778 34817 4778 4202560 528 0 0 0 13 0 0 0 15 0 10 0 11152925 421654528 70604 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22438] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22438/stat : 22438 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11152925 421654528 70604 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22439] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22439/stat : 22439 (java) S 22429 22429 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 11152925 421654528 70604 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22440] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22440/stat : 22440 (java) S 22429 22429 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11153912 421654528 70604 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.57 Current children cumulated vsize (KiB) 414344 [startup+12.0018 s] /proc/loadavg: 1.60 1.47 1.26 2/44 22440 /proc/meminfo: memFree=33048/1048576 swapFree=0/0 [pid=22429] ppid=22428 vsize=2572 CPUtime=0 /proc/22429/stat : 22429 (gj-paranoid-sol) S 22428 22429 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11152922 2633728 270 1283457024 134512640 135304128 4293083200 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/22429/statm: 643 270 229 194 0 30 0 [pid=22430] ppid=22429 vsize=411772 CPUtime=11.94 /proc/22430/stat : 22430 (java) S 22429 22429 4778 34817 4778 4202496 92810 0 1 0 1150 44 0 0 25 0 9 0 11152923 421654528 70609 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/22430/statm: 102943 70609 2920 10 0 97088 0 [pid=22430/tid=22432] ppid=22429 vsize=411772 CPUtime=4.82 /proc/22430/task/22432/stat : 22432 (java) S 22429 22429 4778 34817 4778 4202560 14133 0 1 0 471 11 0 0 25 0 9 0 11152923 421654528 70609 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22433] ppid=22429 vsize=411772 CPUtime=6.97 /proc/22430/task/22433/stat : 22433 (java) S 22429 22429 4778 34817 4778 4202560 77202 0 0 0 666 31 0 0 16 0 9 0 11152924 421654528 70609 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22434] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22434/stat : 22434 (java) S 22429 22429 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11152924 421654528 70609 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22435] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22435/stat : 22435 (java) S 22429 22429 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11152924 421654528 70609 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22436] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22436/stat : 22436 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11152925 421654528 70609 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22437] ppid=22429 vsize=411772 CPUtime=0.13 /proc/22430/task/22437/stat : 22437 (java) S 22429 22429 4778 34817 4778 4202560 530 0 0 0 13 0 0 0 15 0 9 0 11152925 421654528 70609 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22438] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22438/stat : 22438 (java) S 22429 22429 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11152925 421654528 70609 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 [pid=22430/tid=22439] ppid=22429 vsize=411772 CPUtime=0 /proc/22430/task/22439/stat : 22439 (java) S 22429 22429 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 11152925 421654528 70609 1283457024 134512640 134550932 4293883984 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 11.94 Current children cumulated vsize (KiB) 414344 Child status: 0 Real time (s): 12.0367 CPU time (s): 11.9647 CPU user time (s): 11.5087 CPU system time (s): 0.456028 CPU usage (%): 99.4023 Max. virtual memory (cumulated for all children) (KiB): 442564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.5087 system time used= 0.456028 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= 942 involuntary context switches= 1054 runsolver used 0 second user time and 0 second system time The end