runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3455222-1307191351/watcher-3455222-1307191351 -o /tmp/evaluation-result-3455222-1307191351/solver-3455222-1307191351 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455222-1307191351.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.86 3.94 3.80 3/547 9459
/proc/meminfo: memFree=20102236/32951124 swapFree=64303760/67111528
[pid=9459] ppid=9457 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/9459/stat : 9459 (java) S 9457 9459 4512 0 -1 4202496 1128 0 0 0 0 0 0 0 24 0 2 0 811550985 24580096 866 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522100197 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/9459/statm: 6002 870 656 9 0 382 0
[pid=9459/tid=9460] ppid=9457 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9460/stat : 9460 (java) R 9457 9459 4512 0 -1 4202560 6026 0 1 0 0 0 0 0 25 0 2 0 811550985 10694979584 6842 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.022049 s]
/proc/loadavg: 3.86 3.94 3.80 3/547 9459
/proc/meminfo: memFree=20102236/32951124 swapFree=64303760/67111528
[pid=9459] ppid=9457 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/9459/stat : 9459 (java) S 9457 9459 4512 0 -1 4202496 8678 0 1 0 0 1 0 0 24 0 2 0 811550985 10694979584 8381 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/9459/statm: 2611079 8399 917 9 0 2602235 0
[pid=9459/tid=9460] ppid=9457 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9460/stat : 9460 (java) R 9457 9459 4512 0 -1 4202560 7597 0 1 0 0 0 0 0 25 0 2 0 811550985 10694979584 8413 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.101035 s]
/proc/loadavg: 3.86 3.94 3.80 3/547 9459
/proc/meminfo: memFree=20102236/32951124 swapFree=64303760/67111528
[pid=9459] ppid=9457 vsize=10539892 CPUtime=0.1 cores=1,3,5,7
/proc/9459/stat : 9459 (java) S 9457 9459 4512 0 -1 4202496 13072 0 1 0 9 1 0 0 24 0 18 0 811550985 10792849408 12742 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9459/statm: 2634973 12742 2093 9 0 2625707 0
[pid=9459/tid=9460] ppid=9457 vsize=10539892 CPUtime=0.08 cores=1,3,5,7
/proc/9459/task/9460/stat : 9460 (java) R 9457 9459 4512 0 -1 4202560 11115 0 1 0 7 1 0 0 25 0 18 0 811550985 10792849408 12742 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539892
[startup+0.300995 s]
/proc/loadavg: 3.86 3.94 3.80 3/547 9459
/proc/meminfo: memFree=20102236/32951124 swapFree=64303760/67111528
[pid=9459] ppid=9457 vsize=10547992 CPUtime=0.7 cores=1,3,5,7
/proc/9459/stat : 9459 (java) S 9457 9459 4512 0 -1 4202496 17893 0 1 0 68 2 0 0 24 0 19 0 811550985 10801143808 15995 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9459/statm: 2636998 15995 2204 9 0 2627732 0
[pid=9459/tid=9460] ppid=9457 vsize=10547992 CPUtime=0.13 cores=1,3,5,7
/proc/9459/task/9460/stat : 9460 (java) S 9457 9459 4512 0 -1 4202560 11575 0 1 0 12 1 0 0 25 0 19 0 811550985 10801143808 15995 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10547992
[startup+0.700894 s]
/proc/loadavg: 3.86 3.94 3.80 3/547 9459
/proc/meminfo: memFree=20102236/32951124 swapFree=64303760/67111528
[pid=9459] ppid=9457 vsize=10547992 CPUtime=0.96 cores=1,3,5,7
/proc/9459/stat : 9459 (java) S 9457 9459 4512 0 -1 4202496 19016 0 1 0 94 2 0 0 24 0 22 0 811550985 10801143808 17118 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9459/statm: 2636998 17118 2213 9 0 2627732 0
[pid=9459/tid=9460] ppid=9457 vsize=10547992 CPUtime=0.13 cores=1,3,5,7
/proc/9459/task/9460/stat : 9460 (java) S 9457 9459 4512 0 -1 4202560 11580 0 1 0 12 1 0 0 22 0 22 0 811550985 10801143808 17118 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 4 0 16800975 18446604456202313920 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10547992
[startup+1.50079 s]
/proc/loadavg: 3.86 3.94 3.80 3/566 9484
/proc/meminfo: memFree=20024712/32951124 swapFree=64303760/67111528
[pid=9459] ppid=9457 vsize=10551028 CPUtime=1.43 cores=1,3,5,7
/proc/9459/stat : 9459 (java) S 9457 9459 4512 0 -1 4202496 25824 0 1 0 140 3 0 0 24 0 19 0 811550985 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9459/statm: 2637757 22473 2216 9 0 2628491 0
[pid=9459/tid=9460] ppid=9457 vsize=10551028 CPUtime=0.13 cores=1,3,5,7
/proc/9459/task/9460/stat : 9460 (java) S 9457 9459 4512 0 -1 4202560 11586 0 1 0 12 1 0 0 17 0 19 0 811550985 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9462] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9462/stat : 9462 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9463] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9463/stat : 9463 (java) S 9457 9459 4512 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811550987 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9464] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9464/stat : 9464 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9465] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9465/stat : 9465 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9466] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9466/stat : 9466 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9467] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9467/stat : 9467 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9468] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9468/stat : 9468 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9469] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9469/stat : 9469 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9470] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9470/stat : 9470 (java) S 9457 9459 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811550988 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 0 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9471] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9471/stat : 9471 (java) S 9457 9459 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811550989 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9472] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9472/stat : 9472 (java) S 9457 9459 4512 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 811550989 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 1 0 0 0
[pid=9459/tid=9473] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9473/stat : 9473 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550991 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522121137 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9474] ppid=9457 vsize=10551028 CPUtime=0.34 cores=1,3,5,7
/proc/9459/task/9474/stat : 9474 (java) S 9457 9459 4512 0 -1 4202560 3186 0 0 0 34 0 0 0 19 0 19 0 811550991 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 5 0 0 0
[pid=9459/tid=9475] ppid=9457 vsize=10551028 CPUtime=0.44 cores=1,3,5,7
/proc/9459/task/9475/stat : 9475 (java) S 9457 9459 4512 0 -1 4202560 5214 0 0 0 44 0 0 0 15 0 19 0 811550991 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9476] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9476/stat : 9476 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550991 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9477] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9477/stat : 9477 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811550991 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 4 0 16800975 18446604456202313920 0 0 -1 1 0 0 0
[pid=9459/tid=9481] ppid=9457 vsize=10551028 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9481/stat : 9481 (java) S 9457 9459 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811551000 10804252672 22473 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10551028
Solver just ended. Dumping a history of the last processes samples
[startup+1.90074 s]
/proc/loadavg: 3.86 3.94 3.80 3/566 9484
/proc/meminfo: memFree=20024712/32951124 swapFree=64303760/67111528
[pid=9459] ppid=9457 vsize=10549820 CPUtime=1.73 cores=1,3,5,7
/proc/9459/stat : 9459 (java) S 9457 9459 4512 0 -1 4202496 31194 0 1 0 169 4 0 0 24 0 19 0 811550985 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9459/statm: 2637455 27156 2220 9 0 2628189 0
[pid=9459/tid=9460] ppid=9457 vsize=10549820 CPUtime=0.13 cores=1,3,5,7
/proc/9459/task/9460/stat : 9460 (java) S 9457 9459 4512 0 -1 4202560 11590 0 1 0 12 1 0 0 16 0 19 0 811550985 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9462] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9462/stat : 9462 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9463] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9463/stat : 9463 (java) S 9457 9459 4512 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9464] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9464/stat : 9464 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9465] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9465/stat : 9465 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9466] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9466/stat : 9466 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9467] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9467/stat : 9467 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9468] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9468/stat : 9468 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9469] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9469/stat : 9469 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9470] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9470/stat : 9470 (java) S 9457 9459 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811550988 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 0 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9471] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9471/stat : 9471 (java) S 9457 9459 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811550989 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9472] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9472/stat : 9472 (java) S 9457 9459 4512 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 811550989 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 1 0 0 0
[pid=9459/tid=9473] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9473/stat : 9473 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550991 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522121137 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9474] ppid=9457 vsize=10549820 CPUtime=0.42 cores=1,3,5,7
/proc/9459/task/9474/stat : 9474 (java) S 9457 9459 4512 0 -1 4202560 3606 0 0 0 42 0 0 0 16 0 19 0 811550991 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 5 0 0 0
[pid=9459/tid=9475] ppid=9457 vsize=10549820 CPUtime=0.52 cores=1,3,5,7
/proc/9459/task/9475/stat : 9475 (java) S 9457 9459 4512 0 -1 4202560 5230 0 0 0 52 0 0 0 15 0 19 0 811550991 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9476] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9476/stat : 9476 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550991 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9477] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9477/stat : 9477 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811550991 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 4 0 16800975 18446604456202313920 0 0 -1 1 0 0 0
[pid=9459/tid=9481] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9481/stat : 9481 (java) S 9457 9459 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811551000 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 10549820
[startup+2.10068 s]
/proc/loadavg: 3.86 3.94 3.80 3/566 9490
/proc/meminfo: memFree=19999400/32951124 swapFree=64303760/67111528
[pid=9459] ppid=9457 vsize=10549820 CPUtime=1.73 cores=1,3,5,7
/proc/9459/stat : 9459 (java) S 9457 9459 4512 0 -1 4202496 31194 0 1 0 169 4 0 0 24 0 19 0 811550985 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9459/statm: 2637455 27156 2220 9 0 2628189 0
[pid=9459/tid=9460] ppid=9457 vsize=10549820 CPUtime=0.13 cores=1,3,5,7
/proc/9459/task/9460/stat : 9460 (java) S 9457 9459 4512 0 -1 4202560 11590 0 1 0 12 1 0 0 16 0 19 0 811550985 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9462] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9462/stat : 9462 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9463] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9463/stat : 9463 (java) S 9457 9459 4512 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9464] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9464/stat : 9464 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9465] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9465/stat : 9465 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9466] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9466/stat : 9466 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9467] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9467/stat : 9467 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9468] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9468/stat : 9468 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9469] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9469/stat : 9469 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550987 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 7 0 0 0
[pid=9459/tid=9470] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9470/stat : 9470 (java) S 9457 9459 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811550988 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 0 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9471] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9471/stat : 9471 (java) S 9457 9459 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811550989 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9472] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9472/stat : 9472 (java) S 9457 9459 4512 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 811550989 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 1 0 0 0
[pid=9459/tid=9473] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9473/stat : 9473 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550991 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522121137 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9474] ppid=9457 vsize=10549820 CPUtime=0.42 cores=1,3,5,7
/proc/9459/task/9474/stat : 9474 (java) S 9457 9459 4512 0 -1 4202560 3606 0 0 0 42 0 0 0 16 0 19 0 811550991 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 5 0 0 0
[pid=9459/tid=9475] ppid=9457 vsize=10549820 CPUtime=0.52 cores=1,3,5,7
/proc/9459/task/9475/stat : 9475 (java) S 9457 9459 4512 0 -1 4202560 5230 0 0 0 52 0 0 0 15 0 19 0 811550991 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9476] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9476/stat : 9476 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811550991 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522113433 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
[pid=9459/tid=9477] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9477/stat : 9477 (java) S 9457 9459 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811550991 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 4 0 16800975 18446604456202313920 0 0 -1 1 0 0 0
[pid=9459/tid=9481] ppid=9457 vsize=10549820 CPUtime=0 cores=1,3,5,7
/proc/9459/task/9481/stat : 9481 (java) S 9457 9459 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811551000 10803015680 27156 33554432000 1073741824 1073778376 140736290329568 18446744073709551615 233522114048 0 4 0 16800975 18446604456202313920 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 10549820
Child status: 30
Real time (s): 2.18165
CPU time (s): 1.76473
CPU user time (s): 1.71474
CPU system time (s): 0.049992
CPU usage (%): 80.8898
Max. virtual memory (cumulated for all children) (KiB): 10551028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.71474
system time used= 0.049992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31206
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= 344
involuntary context switches= 49
runsolver used 0.023996 second user time and 0.037994 second system time
The end