runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734515-1338691510/watcher-3734515-1338691510 -o /tmp/evaluation-result-3734515-1338691510/solver-3734515-1338691510 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3734515-1338691510.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.83 3.91 3.84 4/194 16626
/proc/meminfo: memFree=23798596/32873852 swapFree=6856/6856
[pid=16626] ppid=16624 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/16626/stat : 16626 (java) R 16624 16626 4583 0 -1 4202496 835 0 0 0 0 0 0 0 20 0 1 0 335276474 23793664 564 33554432000 1073741824 1073778376 140734177639680 140734177628744 229346687553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16626/statm: 5809 575 430 9 0 128 0
[startup+0.089711 s]
/proc/loadavg: 3.83 3.91 3.84 4/194 16626
/proc/meminfo: memFree=23798596/32873852 swapFree=6856/6856
[pid=16626] ppid=16624 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16624 16626 4583 0 -1 4202496 4013 0 1 0 6 2 0 0 20 0 18 0 335276474 11864465408 12377 33554432000 1073741824 1073778376 140734177639680 140734177630816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16626/statm: 2896598 12377 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392
[startup+0.100234 s]
/proc/loadavg: 3.83 3.91 3.84 4/194 16626
/proc/meminfo: memFree=23798596/32873852 swapFree=6856/6856
[pid=16626] ppid=16624 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16624 16626 4583 0 -1 4202496 4729 0 1 0 8 2 0 0 20 0 18 0 335276474 11864465408 13081 33554432000 1073741824 1073778376 140734177639680 140734177630816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16626/statm: 2896598 13081 2087 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300193 s]
/proc/loadavg: 3.83 3.91 3.84 4/194 16626
/proc/meminfo: memFree=23798596/32873852 swapFree=6856/6856
[pid=16626] ppid=16624 vsize=11719520 CPUtime=0.56 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16624 16626 4583 0 -1 4202496 7846 0 1 0 53 3 0 0 20 0 20 0 335276474 12000788480 18121 33554432000 1073741824 1073778376 140734177639680 140734177630816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16626/statm: 2929880 18121 2235 9 0 2920567 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 11719520
[startup+0.700246 s]
/proc/loadavg: 3.83 3.91 3.84 4/194 16626
/proc/meminfo: memFree=23798596/32873852 swapFree=6856/6856
[pid=16626] ppid=16624 vsize=11852648 CPUtime=0.57 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16624 16626 4583 0 -1 4202496 7888 0 1 0 54 3 0 0 20 0 19 0 335276474 12137111552 18138 33554432000 1073741824 1073778376 140734177639680 140734177630816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16626/statm: 2963162 18138 2237 9 0 2953849 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 11852648
[startup+1.50076 s]
/proc/loadavg: 3.69 3.88 3.83 3/213 16651
/proc/meminfo: memFree=23730456/32873852 swapFree=6856/6856
[pid=16626] ppid=16624 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16624 16626 4583 0 -1 4202496 9261 0 1 0 121 5 0 0 20 0 19 0 335276474 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 140734177630816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16626/statm: 2963162 22494 2249 9 0 2953849 0
[pid=16626/tid=16628] ppid=16624 vsize=11852648 CPUtime=0.27 cores=1,3,5,7
/proc/16626/task/16628/stat : 16628 (java) S 16624 16626 4583 0 -1 4202560 2929 0 1 0 25 2 0 0 20 0 19 0 335276475 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889776428184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16626/tid=16629] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16629/stat : 16629 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889613372200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16630] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16630/stat : 16630 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889612319400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16626/tid=16631] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16631/stat : 16631 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889611267112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16626/tid=16632] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16632/stat : 16632 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889610214312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16626/tid=16633] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16633/stat : 16633 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889609161000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16634] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16634/stat : 16634 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889608108200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16626/tid=16635] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16635/stat : 16635 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889607055912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16636] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16636/stat : 16636 (java) S 16624 16626 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889606003112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16637] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16637/stat : 16637 (java) S 16624 16626 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335276478 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889593805544 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16626/tid=16638] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16638/stat : 16638 (java) S 16624 16626 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335276479 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889592751608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16639] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16639/stat : 16639 (java) S 16624 16626 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335276479 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889591699208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16640] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16640/stat : 16640 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276481 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889590647696 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16641] ppid=16624 vsize=11852648 CPUtime=0.31 cores=1,3,5,7
/proc/16626/task/16641/stat : 16641 (java) S 16624 16626 4583 0 -1 4202560 2648 0 0 0 31 0 0 0 20 0 19 0 335276481 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889589594296 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16642] ppid=16624 vsize=11852648 CPUtime=0.29 cores=1,3,5,7
/proc/16626/task/16642/stat : 16642 (java) S 16624 16626 4583 0 -1 4202560 2361 0 0 0 29 0 0 0 20 0 19 0 335276481 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889588541496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16626/tid=16643] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16643/stat : 16643 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276481 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889587489400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16626/tid=16644] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16644/stat : 16644 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276481 12137111552 22494 33554432000 1073741824 1073778376 140734177639680 139889586436808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.90058 s]
/proc/loadavg: 3.69 3.88 3.83 3/213 16651
/proc/meminfo: memFree=23730456/32873852 swapFree=6856/6856
[pid=16626] ppid=16624 vsize=11852648 CPUtime=1.63 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16624 16626 4583 0 -1 4202496 13780 0 1 0 155 8 0 0 20 0 19 0 335276474 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 140734177630816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16626/statm: 2963162 27676 2252 9 0 2953849 0
[pid=16626/tid=16628] ppid=16624 vsize=11852648 CPUtime=0.28 cores=1,3,5,7
/proc/16626/task/16628/stat : 16628 (java) S 16624 16626 4583 0 -1 4202560 2929 0 1 0 26 2 0 0 20 0 19 0 335276475 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889776428184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16626/tid=16629] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16629/stat : 16629 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889613372200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16630] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16630/stat : 16630 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889612319400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16626/tid=16631] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16631/stat : 16631 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889611267112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16626/tid=16632] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16632/stat : 16632 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889610214312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16626/tid=16633] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16633/stat : 16633 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889609161000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16634] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16634/stat : 16634 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889608108200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16626/tid=16635] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16635/stat : 16635 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889607055912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16636] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16636/stat : 16636 (java) S 16624 16626 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889606003112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16637] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16637/stat : 16637 (java) S 16624 16626 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335276478 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889593805544 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16626/tid=16638] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16638/stat : 16638 (java) S 16624 16626 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335276479 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889592751608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16639] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16639/stat : 16639 (java) S 16624 16626 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335276479 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889591699208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16640] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16640/stat : 16640 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276481 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889590647696 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16641] ppid=16624 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/16626/task/16641/stat : 16641 (java) R 16624 16626 4583 0 -1 4202560 4160 0 0 0 40 0 0 0 20 0 19 0 335276481 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889589594296 139889784165904 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16642] ppid=16624 vsize=11852648 CPUtime=0.38 cores=1,3,5,7
/proc/16626/task/16642/stat : 16642 (java) R 16624 16626 4583 0 -1 4202560 5356 0 0 0 37 1 0 0 20 0 19 0 335276481 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889588518856 139889782385006 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=16626/tid=16643] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16643/stat : 16643 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276481 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889587489400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16626/tid=16644] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16644/stat : 16644 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276481 12137111552 27676 33554432000 1073741824 1073778376 140734177639680 139889586436808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 11852648
[startup+2.30079 s]
/proc/loadavg: 3.69 3.88 3.83 5/213 16657
/proc/meminfo: memFree=23658948/32873852 swapFree=6856/6856
[pid=16626] ppid=16624 vsize=11852648 CPUtime=2.26 cores=1,3,5,7
/proc/16626/stat : 16626 (java) S 16624 16626 4583 0 -1 4202496 27518 0 1 0 214 12 0 0 20 0 19 0 335276474 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 140734177630816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16626/statm: 2963162 35583 2254 9 0 2953849 0
[pid=16626/tid=16628] ppid=16624 vsize=11852648 CPUtime=0.28 cores=1,3,5,7
/proc/16626/task/16628/stat : 16628 (java) S 16624 16626 4583 0 -1 4202560 2929 0 1 0 26 2 0 0 20 0 19 0 335276475 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889776428184 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16626/tid=16629] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16629/stat : 16629 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889613372200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16630] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16630/stat : 16630 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889612319400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16626/tid=16631] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16631/stat : 16631 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889611267112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16626/tid=16632] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16632/stat : 16632 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889610214312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16626/tid=16633] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16633/stat : 16633 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889609161000 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16634] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16634/stat : 16634 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889608108200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16626/tid=16635] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16635/stat : 16635 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889607055912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16636] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16636/stat : 16636 (java) S 16624 16626 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335276477 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889606003112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16637] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16637/stat : 16637 (java) S 16624 16626 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335276478 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889593805544 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16626/tid=16638] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16638/stat : 16638 (java) S 16624 16626 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335276479 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889592751608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16639] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16639/stat : 16639 (java) S 16624 16626 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335276479 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889591699208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16640] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16640/stat : 16640 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276481 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889590647696 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16641] ppid=16624 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/16626/task/16641/stat : 16641 (java) S 16624 16626 4583 0 -1 4202560 15849 0 0 0 75 4 0 0 20 0 19 0 335276481 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889589594296 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16626/tid=16642] ppid=16624 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/16626/task/16642/stat : 16642 (java) S 16624 16626 4583 0 -1 4202560 7405 0 0 0 60 2 0 0 20 0 19 0 335276481 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889588541496 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16626/tid=16643] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16643/stat : 16643 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276481 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889587489400 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16626/tid=16644] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16644/stat : 16644 (java) S 16624 16626 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335276481 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889586436808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16626/tid=16654] ppid=16624 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/16626/task/16654/stat : 16654 (java) S 16624 16626 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335276605 12137111552 35583 33554432000 1073741824 1073778376 140734177639680 139889585382696 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 2.32224
CPU time (s): 2.29565
CPU user time (s): 2.14267
CPU system time (s): 0.152976
CPU usage (%): 98.8549
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.14267
system time used= 0.152976
maximum resident set size= 149520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27525
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 378
involuntary context switches= 58
runsolver used 0.011998 second user time and 0.019996 second system time
The end