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/1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/dudf-real//1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/1aabfc32-d491-11df-9a24-00163e3d3b7c.cudf.dudf-real.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.43 1.19 1.06 5/34 9422 /proc/meminfo: memFree=311524/1048576 swapFree=0/0 [pid=9421] ppid=9420 vsize=2568 CPUtime=0 /proc/9421/stat : 9421 (gj-paranoid-sol) R 9420 9421 4778 34817 4778 4202496 354 0 0 0 0 0 0 0 25 0 1 0 10336808 2629632 268 1283457024 134512640 135304128 4292382576 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/9421/statm: 642 268 228 194 0 29 0 [pid=9422] ppid=9421 vsize=2568 CPUtime=0 /proc/9422/stat : 9422 (gj-paranoid-sol) R 9421 9421 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10336808 2629632 40 1283457024 134512640 135304128 4292382576 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/9422/statm: 642 40 0 194 0 29 0 [startup+0.177459 s] /proc/loadavg: 1.43 1.19 1.06 5/34 9422 /proc/meminfo: memFree=311524/1048576 swapFree=0/0 [pid=9421] ppid=9420 vsize=2568 CPUtime=0 /proc/9421/stat : 9421 (gj-paranoid-sol) S 9420 9421 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10336808 2629632 269 1283457024 134512640 135304128 4292382576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9421/statm: 642 269 229 194 0 29 0 [pid=9422] ppid=9421 vsize=410112 CPUtime=0.17 /proc/9422/stat : 9422 (java) S 9421 9421 4778 34817 4778 4202496 4089 0 1 0 14 3 0 0 25 0 9 0 10336808 419954688 3516 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9422/statm: 102528 3516 1934 10 0 96676 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 412680 [startup+0.207401 s] /proc/loadavg: 1.43 1.19 1.06 5/34 9422 /proc/meminfo: memFree=311524/1048576 swapFree=0/0 [pid=9421] ppid=9420 vsize=2568 CPUtime=0 /proc/9421/stat : 9421 (gj-paranoid-sol) S 9420 9421 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10336808 2629632 269 1283457024 134512640 135304128 4292382576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9421/statm: 642 269 229 194 0 29 0 [pid=9422] ppid=9421 vsize=410112 CPUtime=0.21 /proc/9422/stat : 9422 (java) S 9421 9421 4778 34817 4778 4202496 4154 0 1 0 18 3 0 0 25 0 9 0 10336808 419954688 3581 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9422/statm: 102528 3581 1934 10 0 96676 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 412680 [startup+0.30742 s] /proc/loadavg: 1.43 1.19 1.06 5/34 9422 /proc/meminfo: memFree=311524/1048576 swapFree=0/0 [pid=9421] ppid=9420 vsize=2568 CPUtime=0 /proc/9421/stat : 9421 (gj-paranoid-sol) S 9420 9421 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10336808 2629632 269 1283457024 134512640 135304128 4292382576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9421/statm: 642 269 229 194 0 29 0 [pid=9422] ppid=9421 vsize=410388 CPUtime=0.31 /proc/9422/stat : 9422 (java) S 9421 9421 4778 34817 4778 4202496 4454 0 1 0 28 3 0 0 25 0 9 0 10336808 420237312 3881 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9422/statm: 102597 3881 1946 10 0 96745 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 412956 [startup+0.707487 s] /proc/loadavg: 1.43 1.19 1.06 5/34 9422 /proc/meminfo: memFree=311524/1048576 swapFree=0/0 [pid=9421] ppid=9420 vsize=2568 CPUtime=0 /proc/9421/stat : 9421 (gj-paranoid-sol) S 9420 9421 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10336808 2629632 269 1283457024 134512640 135304128 4292382576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9421/statm: 642 269 229 194 0 29 0 [pid=9422] ppid=9421 vsize=410660 CPUtime=0.71 /proc/9422/stat : 9422 (java) S 9421 9421 4778 34817 4778 4202496 12247 0 1 0 63 8 0 0 25 0 9 0 10336808 420515840 11487 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9422/statm: 102665 11487 2900 10 0 96813 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 413228 [startup+1.50761 s] /proc/loadavg: 1.43 1.19 1.06 2/43 9431 /proc/meminfo: memFree=252108/1048576 swapFree=0/0 [pid=9421] ppid=9420 vsize=2568 CPUtime=0 /proc/9421/stat : 9421 (gj-paranoid-sol) S 9420 9421 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10336808 2629632 269 1283457024 134512640 135304128 4292382576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9421/statm: 642 269 229 194 0 29 0 [pid=9422] ppid=9421 vsize=410792 CPUtime=1.5 /proc/9422/stat : 9422 (java) S 9421 9421 4778 34817 4778 4202496 26469 0 1 0 136 14 0 0 25 0 9 0 10336808 420651008 25709 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9422/statm: 102698 25709 2901 10 0 96846 0 [pid=9422/tid=9424] ppid=9421 vsize=410792 CPUtime=0.85 /proc/9422/task/9424/stat : 9424 (java) R 9421 9421 4778 34817 4778 4202560 6783 0 1 0 80 5 0 0 25 0 9 0 10336809 420651008 25709 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9422/tid=9425] ppid=9421 vsize=410792 CPUtime=0.61 /proc/9422/task/9425/stat : 9425 (java) R 9421 9421 4778 34817 4778 4202560 18296 0 0 0 54 7 0 0 18 0 9 0 10336810 420651008 25709 1283457024 134512640 134550932 4286898544 18446744073709551615 4151304346 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=9422/tid=9426] ppid=9421 vsize=410792 CPUtime=0 /proc/9422/task/9426/stat : 9426 (java) S 9421 9421 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10336810 420651008 25709 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9427] ppid=9421 vsize=410792 CPUtime=0 /proc/9422/task/9427/stat : 9427 (java) S 9421 9421 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10336810 420651008 25709 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9428] ppid=9421 vsize=410792 CPUtime=0 /proc/9422/task/9428/stat : 9428 (java) S 9421 9421 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10336811 420651008 25709 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9429] ppid=9421 vsize=410792 CPUtime=0.02 /proc/9422/task/9429/stat : 9429 (java) S 9421 9421 4778 34817 4778 4202560 449 0 0 0 2 0 0 0 18 0 9 0 10336811 420651008 25709 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9430] ppid=9421 vsize=410792 CPUtime=0 /proc/9422/task/9430/stat : 9430 (java) S 9421 9421 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10336811 420651008 25709 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9431] ppid=9421 vsize=410792 CPUtime=0 /proc/9422/task/9431/stat : 9431 (java) S 9421 9421 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10336811 420651008 25709 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413360 [startup+3.13819 s] /proc/loadavg: 1.43 1.19 1.06 2/43 9431 /proc/meminfo: memFree=177708/1048576 swapFree=0/0 [pid=9421] ppid=9420 vsize=2568 CPUtime=0 /proc/9421/stat : 9421 (gj-paranoid-sol) S 9420 9421 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10336808 2629632 269 1283457024 134512640 135304128 4292382576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9421/statm: 642 269 229 194 0 29 0 [pid=9422] ppid=9421 vsize=410924 CPUtime=3.14 /proc/9422/stat : 9422 (java) S 9421 9421 4778 34817 4778 4202496 49074 0 1 0 290 24 0 0 25 0 9 0 10336808 420786176 48314 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9422/statm: 102731 48314 2901 10 0 96879 0 [pid=9422/tid=9424] ppid=9421 vsize=410924 CPUtime=1.53 /proc/9422/task/9424/stat : 9424 (java) R 9421 9421 4778 34817 4778 4202560 14239 0 1 0 145 8 0 0 25 0 9 0 10336809 420786176 48314 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9422/tid=9425] ppid=9421 vsize=410924 CPUtime=1.56 /proc/9422/task/9425/stat : 9425 (java) R 9421 9421 4778 34817 4778 4202560 33441 0 0 0 142 14 0 0 16 0 9 0 10336810 420786176 48314 1283457024 134512640 134550932 4286898544 18446744073709551615 4153032634 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=9422/tid=9426] ppid=9421 vsize=410924 CPUtime=0 /proc/9422/task/9426/stat : 9426 (java) S 9421 9421 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10336810 420786176 48314 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9427] ppid=9421 vsize=410924 CPUtime=0 /proc/9422/task/9427/stat : 9427 (java) S 9421 9421 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10336810 420786176 48314 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9428] ppid=9421 vsize=410924 CPUtime=0 /proc/9422/task/9428/stat : 9428 (java) S 9421 9421 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10336811 420786176 48314 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9429] ppid=9421 vsize=410924 CPUtime=0.02 /proc/9422/task/9429/stat : 9429 (java) S 9421 9421 4778 34817 4778 4202560 453 0 0 0 2 0 0 0 15 0 9 0 10336811 420786176 48314 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9430] ppid=9421 vsize=410924 CPUtime=0 /proc/9422/task/9430/stat : 9430 (java) S 9421 9421 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10336811 420786176 48314 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9431] ppid=9421 vsize=410924 CPUtime=0 /proc/9422/task/9431/stat : 9431 (java) R 9421 9421 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10336811 420786176 48314 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.14 Current children cumulated vsize (KiB) 413492 [startup+6.30913 s] /proc/loadavg: 1.47 1.20 1.07 2/44 9432 /proc/meminfo: memFree=45888/1048576 swapFree=0/0 [pid=9421] ppid=9420 vsize=2568 CPUtime=0 /proc/9421/stat : 9421 (gj-paranoid-sol) S 9420 9421 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10336808 2629632 269 1283457024 134512640 135304128 4292382576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9421/statm: 642 269 229 194 0 29 0 [pid=9422] ppid=9421 vsize=411260 CPUtime=6.3 /proc/9422/stat : 9422 (java) S 9421 9421 4778 34817 4778 4202496 69974 0 1 0 603 27 0 0 25 0 10 0 10336808 421130240 69121 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9422/statm: 102815 69121 2917 10 0 96960 0 [pid=9422/tid=9424] ppid=9421 vsize=411260 CPUtime=3.67 /proc/9422/task/9424/stat : 9424 (java) R 9421 9421 4778 34817 4778 4202560 14502 0 1 0 358 9 0 0 25 0 10 0 10336809 421130240 69121 1283457024 134512640 134550932 4286898544 18446744073709551615 4115474804 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9422/tid=9425] ppid=9421 vsize=411260 CPUtime=2.53 /proc/9422/task/9425/stat : 9425 (java) S 9421 9421 4778 34817 4778 4202560 54014 0 0 0 237 16 0 0 15 0 10 0 10336810 421130240 69121 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9426] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9426/stat : 9426 (java) S 9421 9421 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10336810 421130240 69121 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9427] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9427/stat : 9427 (java) S 9421 9421 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10336810 421130240 69121 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9428] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9428/stat : 9428 (java) S 9421 9421 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10336811 421130240 69121 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9429] ppid=9421 vsize=411260 CPUtime=0.08 /proc/9422/task/9429/stat : 9429 (java) S 9421 9421 4778 34817 4778 4202560 512 0 0 0 8 0 0 0 15 0 10 0 10336811 421130240 69121 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9430] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9430/stat : 9430 (java) S 9421 9421 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10336811 421130240 69121 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9431] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9431/stat : 9431 (java) R 9421 9421 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10336811 421130240 69121 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9422/tid=9432] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9432/stat : 9432 (java) S 9421 9421 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10337293 421130240 69121 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 413828 [startup+12.7109 s] /proc/loadavg: 1.43 1.20 1.07 2/44 9432 /proc/meminfo: memFree=45524/1048576 swapFree=0/0 [pid=9421] ppid=9420 vsize=2568 CPUtime=0 /proc/9421/stat : 9421 (gj-paranoid-sol) S 9420 9421 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10336808 2629632 269 1283457024 134512640 135304128 4292382576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9421/statm: 642 269 229 194 0 29 0 [pid=9422] ppid=9421 vsize=411260 CPUtime=12.7 /proc/9422/stat : 9422 (java) S 9421 9421 4778 34817 4778 4202496 70011 0 1 0 1243 27 0 0 25 0 10 0 10336808 421130240 69158 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9422/statm: 102815 69158 2918 10 0 96960 0 [pid=9422/tid=9424] ppid=9421 vsize=411260 CPUtime=9.61 /proc/9422/task/9424/stat : 9424 (java) R 9421 9421 4778 34817 4778 4202560 14509 0 1 0 952 9 0 0 25 0 10 0 10336809 421130240 69158 1283457024 134512640 134550932 4286898544 18446744073709551615 4115313186 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9422/tid=9425] ppid=9421 vsize=411260 CPUtime=2.92 /proc/9422/task/9425/stat : 9425 (java) S 9421 9421 4778 34817 4778 4202560 54014 0 0 0 276 16 0 0 15 0 10 0 10336810 421130240 69158 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9426] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9426/stat : 9426 (java) S 9421 9421 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10336810 421130240 69158 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9427] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9427/stat : 9427 (java) S 9421 9421 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10336810 421130240 69158 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9428] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9428/stat : 9428 (java) S 9421 9421 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10336811 421130240 69158 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9429] ppid=9421 vsize=411260 CPUtime=0.14 /proc/9422/task/9429/stat : 9429 (java) S 9421 9421 4778 34817 4778 4202560 542 0 0 0 14 0 0 0 16 0 10 0 10336811 421130240 69158 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9430] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9430/stat : 9430 (java) S 9421 9421 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10336811 421130240 69158 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9431] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9431/stat : 9431 (java) S 9421 9421 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10336811 421130240 69158 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9432] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9432/stat : 9432 (java) S 9421 9421 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10337293 421130240 69158 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 413828 Solver just ended. Dumping a history of the last processes samples [startup+12.811 s] /proc/loadavg: 1.43 1.20 1.07 2/44 9432 /proc/meminfo: memFree=45524/1048576 swapFree=0/0 [pid=9421] ppid=9420 vsize=2568 CPUtime=0 /proc/9421/stat : 9421 (gj-paranoid-sol) S 9420 9421 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10336808 2629632 269 1283457024 134512640 135304128 4292382576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9421/statm: 642 269 229 194 0 29 0 [pid=9422] ppid=9421 vsize=411260 CPUtime=12.8 /proc/9422/stat : 9422 (java) S 9421 9421 4778 34817 4778 4202496 70017 0 1 0 1253 27 0 0 25 0 10 0 10336808 421130240 69164 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9422/statm: 102815 69164 2918 10 0 96960 0 [pid=9422/tid=9424] ppid=9421 vsize=411260 CPUtime=9.71 /proc/9422/task/9424/stat : 9424 (java) R 9421 9421 4778 34817 4778 4202560 14510 0 1 0 962 9 0 0 25 0 10 0 10336809 421130240 69164 1283457024 134512640 134550932 4286898544 18446744073709551615 4115519200 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9422/tid=9425] ppid=9421 vsize=411260 CPUtime=2.92 /proc/9422/task/9425/stat : 9425 (java) S 9421 9421 4778 34817 4778 4202560 54014 0 0 0 276 16 0 0 15 0 10 0 10336810 421130240 69164 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9426] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9426/stat : 9426 (java) S 9421 9421 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10336810 421130240 69164 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9427] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9427/stat : 9427 (java) S 9421 9421 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10336810 421130240 69164 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9428] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9428/stat : 9428 (java) S 9421 9421 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10336811 421130240 69164 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9429] ppid=9421 vsize=411260 CPUtime=0.14 /proc/9422/task/9429/stat : 9429 (java) S 9421 9421 4778 34817 4778 4202560 547 0 0 0 14 0 0 0 15 0 10 0 10336811 421130240 69164 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9430] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9430/stat : 9430 (java) S 9421 9421 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10336811 421130240 69164 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9431] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9431/stat : 9431 (java) S 9421 9421 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10336811 421130240 69164 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9432] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9432/stat : 9432 (java) S 9421 9421 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10337293 421130240 69164 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.8 Current children cumulated vsize (KiB) 413828 [startup+13.0062 s] /proc/loadavg: 1.43 1.20 1.07 2/44 9432 /proc/meminfo: memFree=45524/1048576 swapFree=0/0 [pid=9421] ppid=9420 vsize=2568 CPUtime=0 /proc/9421/stat : 9421 (gj-paranoid-sol) S 9420 9421 4778 34817 4778 4202496 371 0 0 0 0 0 0 0 25 0 1 0 10336808 2629632 269 1283457024 134512640 135304128 4292382576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9421/statm: 642 269 229 194 0 29 0 [pid=9422] ppid=9421 vsize=411260 CPUtime=12.96 /proc/9422/stat : 9422 (java) S 9421 9421 4778 34817 4778 4202496 70029 0 1 0 1268 28 0 0 25 0 9 0 10336808 421130240 69176 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9422/statm: 102815 69176 2919 10 0 96960 0 [pid=9422/tid=9424] ppid=9421 vsize=411260 CPUtime=9.87 /proc/9422/task/9424/stat : 9424 (java) S 9421 9421 4778 34817 4778 4202560 14510 0 1 0 978 9 0 0 25 0 9 0 10336809 421130240 69176 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9425] ppid=9421 vsize=411260 CPUtime=2.93 /proc/9422/task/9425/stat : 9425 (java) S 9421 9421 4778 34817 4778 4202560 54014 0 0 0 276 17 0 0 16 0 9 0 10336810 421130240 69176 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9426] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9426/stat : 9426 (java) S 9421 9421 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 10336810 421130240 69176 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9427] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9427/stat : 9427 (java) S 9421 9421 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10336810 421130240 69176 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9428] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9428/stat : 9428 (java) S 9421 9421 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10336811 421130240 69176 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9429] ppid=9421 vsize=411260 CPUtime=0.14 /proc/9422/task/9429/stat : 9429 (java) S 9421 9421 4778 34817 4778 4202560 558 0 0 0 14 0 0 0 16 0 9 0 10336811 421130240 69176 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9430] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9430/stat : 9430 (java) S 9421 9421 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10336811 421130240 69176 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 [pid=9422/tid=9431] ppid=9421 vsize=411260 CPUtime=0 /proc/9422/task/9431/stat : 9431 (java) S 9421 9421 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10336811 421130240 69176 1283457024 134512640 134550932 4286898544 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.96 Current children cumulated vsize (KiB) 413828 Child status: 0 Real time (s): 13.0474 CPU time (s): 12.9888 CPU user time (s): 12.6848 CPU system time (s): 0.304019 CPU usage (%): 99.5512 Max. virtual memory (cumulated for all children) (KiB): 413828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.6848 system time used= 0.304019 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70415 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= 971 involuntary context switches= 1080 runsolver used 0 second user time and 0 second system time The end