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-3455223-1307191354/watcher-3455223-1307191354 -o /tmp/evaluation-result-3455223-1307191354/solver-3455223-1307191354 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455223-1307191354.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 4/547 9517
/proc/meminfo: memFree=20101720/32951124 swapFree=64303760/67111528
[pid=9517] ppid=9515 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/9517/stat : 9517 (java) R 9515 9517 4512 0 -1 4202496 1019 0 0 0 0 0 0 0 25 0 1 0 811551217 23580672 763 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 47538425435936 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9517/statm: 5757 781 578 9 0 124 0
[pid=9517/tid=9518] ppid=9515 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9518/stat : 9518 (java) R 9515 9517 4512 0 -1 4202560 6679 0 1 0 0 0 0 0 25 0 2 0 811551218 10694979584 7495 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.050018 s]
/proc/loadavg: 3.86 3.94 3.80 4/547 9517
/proc/meminfo: memFree=20101720/32951124 swapFree=64303760/67111528
[pid=9517] ppid=9515 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/9517/stat : 9517 (java) S 9515 9517 4512 0 -1 4202496 11388 0 1 0 3 1 0 0 25 0 13 0 811551217 10718699520 11085 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522100197 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/9517/statm: 2616870 11086 1682 9 0 2607618 0
[pid=9517/tid=9518] ppid=9515 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/9517/task/9518/stat : 9518 (java) R 9515 9517 4512 0 -1 4202560 10241 0 1 0 3 1 0 0 25 0 13 0 811551218 10718699520 11086 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 47538425961571 0 4 0 16800971 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480
[startup+0.101012 s]
/proc/loadavg: 3.86 3.94 3.80 4/547 9517
/proc/meminfo: memFree=20101720/32951124 swapFree=64303760/67111528
[pid=9517] ppid=9515 vsize=10540036 CPUtime=0.1 cores=1,3,5,7
/proc/9517/stat : 9517 (java) S 9515 9517 4512 0 -1 4202496 13071 0 1 0 9 1 0 0 25 0 18 0 811551217 10792996864 12767 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9517/statm: 2635009 12767 2093 9 0 2625743 0
[pid=9517/tid=9518] ppid=9515 vsize=10540036 CPUtime=0.09 cores=1,3,5,7
/proc/9517/task/9518/stat : 9518 (java) R 9515 9517 4512 0 -1 4202560 11194 0 1 0 8 1 0 0 18 0 18 0 811551218 10792996864 12767 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 47538426301267 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540036
[startup+0.303978 s]
/proc/loadavg: 3.86 3.94 3.80 4/547 9517
/proc/meminfo: memFree=20101720/32951124 swapFree=64303760/67111528
[pid=9517] ppid=9515 vsize=10548580 CPUtime=0.4 cores=1,3,5,7
/proc/9517/stat : 9517 (java) S 9515 9517 4512 0 -1 4202496 17092 0 1 0 38 2 0 0 25 0 19 0 811551217 10801745920 15447 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9517/statm: 2637145 15447 2205 9 0 2627879 0
[pid=9517/tid=9518] ppid=9515 vsize=10548580 CPUtime=0.15 cores=1,3,5,7
/proc/9517/task/9518/stat : 9518 (java) S 9515 9517 4512 0 -1 4202560 11662 0 1 0 14 1 0 0 19 0 19 0 811551218 10801745920 15447 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522114048 0 4 0 16800975 18446604455104112704 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10548580
[startup+0.700907 s]
/proc/loadavg: 3.86 3.94 3.80 4/547 9517
/proc/meminfo: memFree=20101720/32951124 swapFree=64303760/67111528
[pid=9517] ppid=9515 vsize=10548580 CPUtime=0.43 cores=1,3,5,7
/proc/9517/stat : 9517 (java) S 9515 9517 4512 0 -1 4202496 17176 0 1 0 41 2 0 0 25 0 19 0 811551217 10801745920 15531 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9517/statm: 2637145 15531 2207 9 0 2627879 0
[pid=9517/tid=9518] ppid=9515 vsize=10548580 CPUtime=0.15 cores=1,3,5,7
/proc/9517/task/9518/stat : 9518 (java) S 9515 9517 4512 0 -1 4202560 11697 0 1 0 14 1 0 0 16 0 19 0 811551218 10801745920 15531 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522114048 0 4 0 16800975 18446604455104112704 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10548580
[startup+1.50076 s]
/proc/loadavg: 3.86 3.94 3.80 3/566 9542
/proc/meminfo: memFree=20047016/32951124 swapFree=64303760/67111528
[pid=9517] ppid=9515 vsize=10548724 CPUtime=0.52 cores=1,3,5,7
/proc/9517/stat : 9517 (java) S 9515 9517 4512 0 -1 4202496 17331 0 1 0 50 2 0 0 25 0 19 0 811551217 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9517/statm: 2637181 15672 2216 9 0 2627915 0
[pid=9517/tid=9518] ppid=9515 vsize=10548724 CPUtime=0.15 cores=1,3,5,7
/proc/9517/task/9518/stat : 9518 (java) S 9515 9517 4512 0 -1 4202560 11733 0 1 0 14 1 0 0 16 0 19 0 811551218 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522114048 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9520/stat : 9520 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9521/stat : 9521 (java) S 9515 9517 4512 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811551220 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9522] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9522/stat : 9522 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9523] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9523/stat : 9523 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9524] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9524/stat : 9524 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9525] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9525/stat : 9525 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9526] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9526/stat : 9526 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9527] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9527/stat : 9527 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9528] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9528/stat : 9528 (java) S 9515 9517 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811551221 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522114048 0 0 0 16800975 18446604455104112704 0 0 -1 1 0 0 0
[pid=9517/tid=9529] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9529/stat : 9529 (java) S 9515 9517 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811551221 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 1 0 0 0
[pid=9517/tid=9530] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9530/stat : 9530 (java) S 9515 9517 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811551221 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 1 0 0 0
[pid=9517/tid=9531] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9531/stat : 9531 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551223 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522121137 0 4 0 16800975 18446604455104112704 0 0 -1 1 0 0 0
[pid=9517/tid=9532] ppid=9515 vsize=10548724 CPUtime=0.11 cores=1,3,5,7
/proc/9517/task/9532/stat : 9532 (java) S 9515 9517 4512 0 -1 4202560 1662 0 0 0 11 0 0 0 16 0 19 0 811551223 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9533] ppid=9515 vsize=10548724 CPUtime=0.13 cores=1,3,5,7
/proc/9517/task/9533/stat : 9533 (java) S 9515 9517 4512 0 -1 4202560 2454 0 0 0 13 0 0 0 15 0 19 0 811551223 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 3 0 0 0
[pid=9517/tid=9534] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9534/stat : 9534 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551223 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9535] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9535/stat : 9535 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811551223 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522114048 0 4 0 16800975 18446604455104112704 0 0 -1 1 0 0 0
[pid=9517/tid=9538] ppid=9515 vsize=10548724 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9538/stat : 9538 (java) S 9515 9517 4512 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811551234 10801893376 15672 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522114048 0 4 0 16800975 18446604455104112704 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10548724
[startup+3.10149 s]
/proc/loadavg: 3.63 3.89 3.79 5/568 9548
/proc/meminfo: memFree=19907036/32951124 swapFree=64303760/67111528
[pid=9517] ppid=9515 vsize=10557360 CPUtime=2.1 cores=1,3,5,7
/proc/9517/stat : 9517 (java) S 9515 9517 4512 0 -1 4202496 74928 0 1 0 201 9 0 0 25 0 19 0 811551217 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9517/statm: 2639340 65308 2229 9 0 2630074 0
[pid=9517/tid=9518] ppid=9515 vsize=10557360 CPUtime=0.16 cores=1,3,5,7
/proc/9517/task/9518/stat : 9518 (java) S 9515 9517 4512 0 -1 4202560 11801 0 1 0 15 1 0 0 16 0 19 0 811551218 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522114048 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9520] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9520/stat : 9520 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9521] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9521/stat : 9521 (java) S 9515 9517 4512 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811551220 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9522] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9522/stat : 9522 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9523] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9523/stat : 9523 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9524] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9524/stat : 9524 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9525] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9525/stat : 9525 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9526] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9526/stat : 9526 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9527] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9527/stat : 9527 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551220 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9528] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9528/stat : 9528 (java) S 9515 9517 4512 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 811551221 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522114048 0 0 0 16800975 18446604455104112704 0 0 -1 1 0 0 0
[pid=9517/tid=9529] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9529/stat : 9529 (java) S 9515 9517 4512 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811551221 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 1 0 0 0
[pid=9517/tid=9530] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9530/stat : 9530 (java) S 9515 9517 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811551221 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 1 0 0 0
[pid=9517/tid=9531] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9531/stat : 9531 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551223 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522121137 0 4 0 16800975 18446604455104112704 0 0 -1 1 0 0 0
[pid=9517/tid=9532] ppid=9515 vsize=10557360 CPUtime=0.56 cores=1,3,5,7
/proc/9517/task/9532/stat : 9532 (java) S 9515 9517 4512 0 -1 4202560 5275 0 0 0 55 1 0 0 15 0 19 0 811551223 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 5 0 0 0
[pid=9517/tid=9533] ppid=9515 vsize=10557360 CPUtime=0.6 cores=1,3,5,7
/proc/9517/task/9533/stat : 9533 (java) S 9515 9517 4512 0 -1 4202560 10535 0 0 0 59 1 0 0 15 0 19 0 811551223 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 3 0 0 0
[pid=9517/tid=9534] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9534/stat : 9534 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811551223 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522113433 0 4 0 16800975 18446604455104112704 0 0 -1 7 0 0 0
[pid=9517/tid=9535] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9535/stat : 9535 (java) S 9515 9517 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811551223 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522114048 0 4 0 16800975 18446604455104112704 0 0 -1 1 0 0 0
[pid=9517/tid=9538] ppid=9515 vsize=10557360 CPUtime=0 cores=1,3,5,7
/proc/9517/task/9538/stat : 9538 (java) S 9515 9517 4512 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811551234 10810736640 65308 33554432000 1073741824 1073778376 140735997230944 18446744073709551615 233522114048 0 4 0 16800975 18446604455104112704 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10557360
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.22046 s]
/proc/loadavg: 3.63 3.89 3.79 4/549 9551
/proc/meminfo: memFree=19916112/32951124 swapFree=64303760/67111528
[pid=9517] ppid=9515 vsize=0 CPUtime=2.13 cores=1,3,5,7
/proc/9517/stat : 9517 (java) Z 9515 9517 4512 0 -1 4203548 74949 0 1 0 203 10 0 0 18 0 2 0 811551217 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9517/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 3.23989
CPU time (s): 2.14367
CPU user time (s): 2.03469
CPU system time (s): 0.108983
CPU usage (%): 66.1651
Max. virtual memory (cumulated for all children) (KiB): 10557360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.03469
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74949
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= 371
involuntary context switches= 68
runsolver used 0.019996 second user time and 0.079987 second system time
The end