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-3454729-1307186736/watcher-3454729-1307186736 -o /tmp/evaluation-result-3454729-1307186736/solver-3454729-1307186736 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454729-1307186736.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.50 2.35 1.99 4/509 20963
/proc/meminfo: memFree=20753688/32951124 swapFree=46575304/67111528
[pid=20963] ppid=20961 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/20963/stat : 20963 (java) S 20961 20963 17058 0 -1 4202496 1317 0 0 0 0 0 0 0 25 0 2 0 562864877 36646912 1018 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20963/statm: 8947 1018 782 9 0 386 0
[pid=20963/tid=20964] ppid=20961 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20964/stat : 20964 (java) R 20961 20963 17058 0 -1 4202560 5712 0 1 0 0 0 0 0 25 0 2 0 562864877 10694979584 6528 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.065577 s]
/proc/loadavg: 3.50 2.35 1.99 4/509 20963
/proc/meminfo: memFree=20753688/32951124 swapFree=46575304/67111528
[pid=20963] ppid=20961 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/20963/stat : 20963 (java) S 20961 20963 17058 0 -1 4202496 11509 0 1 0 3 1 0 0 25 0 13 0 562864877 10718838784 11205 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672464869 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/20963/statm: 2616904 11208 1685 9 0 2607652 0
[pid=20963/tid=20964] ppid=20961 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/20963/task/20964/stat : 20964 (java) R 20961 20963 17058 0 -1 4202560 10364 0 1 0 3 1 0 0 25 0 13 0 562864877 10718838784 11209 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 47139327825432 0 4 0 16800971 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.101965 s]
/proc/loadavg: 3.50 2.35 1.99 4/509 20963
/proc/meminfo: memFree=20753688/32951124 swapFree=46575304/67111528
[pid=20963] ppid=20961 vsize=10539632 CPUtime=0.09 cores=1,3,5,7
/proc/20963/stat : 20963 (java) S 20961 20963 17058 0 -1 4202496 12968 0 1 0 8 1 0 0 25 0 18 0 562864877 10792583168 12618 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20963/statm: 2634908 12618 2092 9 0 2625642 0
[pid=20963/tid=20964] ppid=20961 vsize=10539632 CPUtime=0.07 cores=1,3,5,7
/proc/20963/task/20964/stat : 20964 (java) R 20961 20963 17058 0 -1 4202560 11017 0 1 0 6 1 0 0 25 0 18 0 562864877 10792583168 12618 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 47139324792739 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539632
[startup+0.300502 s]
/proc/loadavg: 3.50 2.35 1.99 4/509 20963
/proc/meminfo: memFree=20753688/32951124 swapFree=46575304/67111528
[pid=20963] ppid=20961 vsize=10547232 CPUtime=0.64 cores=1,3,5,7
/proc/20963/stat : 20963 (java) S 20961 20963 17058 0 -1 4202496 17298 0 1 0 62 2 0 0 25 0 22 0 562864877 10800365568 15920 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20963/statm: 2636808 15920 2213 9 0 2627542 0
[pid=20963/tid=20964] ppid=20961 vsize=10547232 CPUtime=0.15 cores=1,3,5,7
/proc/20963/task/20964/stat : 20964 (java) S 20961 20963 17058 0 -1 4202560 11741 0 1 0 14 1 0 0 25 0 22 0 562864877 10800365568 15921 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 10547232
[startup+0.700433 s]
/proc/loadavg: 3.50 2.35 1.99 4/509 20963
/proc/meminfo: memFree=20753688/32951124 swapFree=46575304/67111528
[pid=20963] ppid=20961 vsize=10559828 CPUtime=2.19 cores=1,3,5,7
/proc/20963/stat : 20963 (java) S 20961 20963 17058 0 -1 4202496 46493 0 1 0 214 5 0 0 25 0 22 0 562864877 10813263872 41928 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20963/statm: 2639957 41928 2252 9 0 2630691 0
[pid=20963/tid=20964] ppid=20961 vsize=10559828 CPUtime=0.15 cores=1,3,5,7
/proc/20963/task/20964/stat : 20964 (java) S 20961 20963 17058 0 -1 4202560 11741 0 1 0 14 1 0 0 20 0 22 0 562864877 10813263872 41928 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 10559828
[startup+1.50129 s]
/proc/loadavg: 3.50 2.35 1.99 5/531 20985
/proc/meminfo: memFree=20557616/32951124 swapFree=46575304/67111528
[pid=20963] ppid=20961 vsize=10559828 CPUtime=4.15 cores=1,3,5,7
/proc/20963/stat : 20963 (java) S 20961 20963 17058 0 -1 4202496 59410 0 1 0 408 7 0 0 25 0 22 0 562864877 10813263872 53568 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20963/statm: 2639957 53571 2257 9 0 2630691 0
[pid=20963/tid=20964] ppid=20961 vsize=10559828 CPUtime=0.15 cores=1,3,5,7
/proc/20963/task/20964/stat : 20964 (java) S 20961 20963 17058 0 -1 4202560 11741 0 1 0 14 1 0 0 15 0 22 0 562864877 10813263872 53571 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20966] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20966/stat : 20966 (java) S 20961 20963 17058 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 53572 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 5 0 0 0
[pid=20963/tid=20967] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20967/stat : 20967 (java) S 20961 20963 17058 0 -1 4202560 94 0 0 0 0 0 0 0 16 0 22 0 562864879 10813263872 53572 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20968] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20968/stat : 20968 (java) S 20961 20963 17058 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 562864879 10813263872 53575 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20969] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20969/stat : 20969 (java) S 20961 20963 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 53575 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20970] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20970/stat : 20970 (java) S 20961 20963 17058 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 53576 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 5 0 0 0
[pid=20963/tid=20971] ppid=20961 vsize=10559828 CPUtime=0.01 cores=1,3,5,7
/proc/20963/task/20971/stat : 20971 (java) S 20961 20963 17058 0 -1 4202560 425 0 0 0 1 0 0 0 16 0 22 0 562864879 10813263872 53576 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20972] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20972/stat : 20972 (java) S 20961 20963 17058 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 22 0 562864879 10813263872 53579 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 5 0 0 0
[pid=20963/tid=20973] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20973/stat : 20973 (java) S 20961 20963 17058 0 -1 4202560 164 0 0 0 0 0 0 0 16 0 22 0 562864879 10813263872 53579 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20974] ppid=20961 vsize=10559828 CPUtime=0.06 cores=1,3,5,7
/proc/20963/task/20974/stat : 20974 (java) S 20961 20963 17058 0 -1 4202560 1340 0 0 0 6 0 0 0 15 0 22 0 562864880 10813263872 53579 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 0 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20975] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20975/stat : 20975 (java) S 20961 20963 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 562864880 10813263872 53581 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20976] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20976/stat : 20976 (java) S 20961 20963 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 562864880 10813263872 53582 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20977] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20977/stat : 20977 (java) S 20961 20963 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562864883 10813263872 53584 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672485809 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20978] ppid=20961 vsize=10559828 CPUtime=0.74 cores=1,3,5,7
/proc/20963/task/20978/stat : 20978 (java) S 20961 20963 17058 0 -1 4202560 8668 0 0 0 73 1 0 0 15 0 22 0 562864883 10813263872 53584 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20979] ppid=20961 vsize=10559828 CPUtime=0.69 cores=1,3,5,7
/proc/20963/task/20979/stat : 20979 (java) S 20961 20963 17058 0 -1 4202560 4801 0 0 0 69 0 0 0 20 0 22 0 562864883 10813263872 53585 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20980] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20980/stat : 20980 (java) S 20961 20963 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 562864883 10813263872 53585 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20981] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20981/stat : 20981 (java) S 20961 20963 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562864883 10813263872 53588 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20982] ppid=20961 vsize=10559828 CPUtime=1.22 cores=1,3,5,7
/proc/20963/task/20982/stat : 20982 (java) R 20961 20963 17058 0 -1 4202560 392 0 0 0 122 0 0 0 20 0 22 0 562864895 10813263872 53588 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 46912505652327 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20963/tid=20983] ppid=20961 vsize=10559828 CPUtime=1.2 cores=1,3,5,7
/proc/20963/task/20983/stat : 20983 (java) R 20961 20963 17058 0 -1 4202560 30149 0 0 0 117 3 0 0 18 0 22 0 562864895 10813263872 53588 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 46912505366066 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20963/tid=20984] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20984/stat : 20984 (java) S 20961 20963 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562864895 10813263872 53589 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20985] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20985/stat : 20985 (java) S 20961 20963 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562864895 10813263872 53591 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 10559828
[startup+3.10101 s]
/proc/loadavg: 3.50 2.35 1.99 5/531 20985
/proc/meminfo: memFree=20502072/32951124 swapFree=46575304/67111528
[pid=20963] ppid=20961 vsize=10559828 CPUtime=7.29 cores=1,3,5,7
/proc/20963/stat : 20963 (java) S 20961 20963 17058 0 -1 4202496 71284 0 1 0 721 8 0 0 25 0 22 0 562864877 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20963/statm: 2639957 65438 2257 9 0 2630691 0
[pid=20963/tid=20964] ppid=20961 vsize=10559828 CPUtime=0.15 cores=1,3,5,7
/proc/20963/task/20964/stat : 20964 (java) S 20961 20963 17058 0 -1 4202560 11741 0 1 0 14 1 0 0 15 0 22 0 562864877 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20966] ppid=20961 vsize=10559828 CPUtime=0.01 cores=1,3,5,7
/proc/20963/task/20966/stat : 20966 (java) S 20961 20963 17058 0 -1 4202560 311 0 0 0 1 0 0 0 15 0 22 0 562864879 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 5 0 0 0
[pid=20963/tid=20967] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20967/stat : 20967 (java) S 20961 20963 17058 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 5 0 0 0
[pid=20963/tid=20968] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20968/stat : 20968 (java) S 20961 20963 17058 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20969] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20969/stat : 20969 (java) S 20961 20963 17058 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20970] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20970/stat : 20970 (java) S 20961 20963 17058 0 -1 4202560 127 0 0 0 0 0 0 0 16 0 22 0 562864879 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 5 0 0 0
[pid=20963/tid=20971] ppid=20961 vsize=10559828 CPUtime=0.01 cores=1,3,5,7
/proc/20963/task/20971/stat : 20971 (java) S 20961 20963 17058 0 -1 4202560 426 0 0 0 1 0 0 0 15 0 22 0 562864879 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20972] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20972/stat : 20972 (java) S 20961 20963 17058 0 -1 4202560 141 0 0 0 0 0 0 0 16 0 22 0 562864879 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20973] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20973/stat : 20973 (java) S 20961 20963 17058 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20974] ppid=20961 vsize=10559828 CPUtime=0.14 cores=1,3,5,7
/proc/20963/task/20974/stat : 20974 (java) S 20961 20963 17058 0 -1 4202560 2517 0 0 0 14 0 0 0 15 0 22 0 562864880 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 0 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20975] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20975/stat : 20975 (java) S 20961 20963 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 562864880 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20976] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20976/stat : 20976 (java) S 20961 20963 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 562864880 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20977] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20977/stat : 20977 (java) S 20961 20963 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562864883 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672485809 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20978] ppid=20961 vsize=10559828 CPUtime=0.76 cores=1,3,5,7
/proc/20963/task/20978/stat : 20978 (java) S 20961 20963 17058 0 -1 4202560 8670 0 0 0 75 1 0 0 15 0 22 0 562864883 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20979] ppid=20961 vsize=10559828 CPUtime=0.7 cores=1,3,5,7
/proc/20963/task/20979/stat : 20979 (java) S 20961 20963 17058 0 -1 4202560 4802 0 0 0 70 0 0 0 15 0 22 0 562864883 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20980] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20980/stat : 20980 (java) S 20961 20963 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 562864883 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20981] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20981/stat : 20981 (java) S 20961 20963 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562864883 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20982] ppid=20961 vsize=10559828 CPUtime=2.72 cores=1,3,5,7
/proc/20963/task/20982/stat : 20982 (java) R 20961 20963 17058 0 -1 4202560 393 0 0 0 272 0 0 0 17 0 22 0 562864895 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 46912505567616 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20963/tid=20983] ppid=20961 vsize=10559828 CPUtime=2.71 cores=1,3,5,7
/proc/20963/task/20983/stat : 20983 (java) R 20961 20963 17058 0 -1 4202560 40700 0 0 0 267 4 0 0 19 0 22 0 562864895 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 46912506143198 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20963/tid=20984] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20984/stat : 20984 (java) S 20961 20963 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562864895 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20985] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20985/stat : 20985 (java) S 20961 20963 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562864895 10813263872 65438 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 10559828
Solver just ended. Dumping a history of the last processes samples
[startup+3.9009 s]
/proc/loadavg: 3.50 2.35 1.99 5/531 20985
/proc/meminfo: memFree=20497608/32951124 swapFree=46575304/67111528
[pid=20963] ppid=20961 vsize=10559828 CPUtime=8.85 cores=1,3,5,7
/proc/20963/stat : 20963 (java) S 20961 20963 17058 0 -1 4202496 71415 0 1 0 877 8 0 0 25 0 22 0 562864877 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20963/statm: 2639957 65567 2257 9 0 2630691 0
[pid=20963/tid=20964] ppid=20961 vsize=10559828 CPUtime=0.15 cores=1,3,5,7
/proc/20963/task/20964/stat : 20964 (java) S 20961 20963 17058 0 -1 4202560 11741 0 1 0 14 1 0 0 15 0 22 0 562864877 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20966] ppid=20961 vsize=10559828 CPUtime=0.01 cores=1,3,5,7
/proc/20963/task/20966/stat : 20966 (java) S 20961 20963 17058 0 -1 4202560 311 0 0 0 1 0 0 0 15 0 22 0 562864879 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 5 0 0 0
[pid=20963/tid=20967] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20967/stat : 20967 (java) S 20961 20963 17058 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 5 0 0 0
[pid=20963/tid=20968] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20968/stat : 20968 (java) S 20961 20963 17058 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20969] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20969/stat : 20969 (java) S 20961 20963 17058 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20970] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20970/stat : 20970 (java) S 20961 20963 17058 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20971] ppid=20961 vsize=10559828 CPUtime=0.01 cores=1,3,5,7
/proc/20963/task/20971/stat : 20971 (java) S 20961 20963 17058 0 -1 4202560 426 0 0 0 1 0 0 0 16 0 22 0 562864879 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20972] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20972/stat : 20972 (java) S 20961 20963 17058 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20973] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20973/stat : 20973 (java) S 20961 20963 17058 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20974] ppid=20961 vsize=10559828 CPUtime=0.18 cores=1,3,5,7
/proc/20963/task/20974/stat : 20974 (java) S 20961 20963 17058 0 -1 4202560 2644 0 0 0 18 0 0 0 15 0 22 0 562864880 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 0 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20975] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20975/stat : 20975 (java) S 20961 20963 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 562864880 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20976] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20976/stat : 20976 (java) S 20961 20963 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 562864880 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20977] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20977/stat : 20977 (java) S 20961 20963 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562864883 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672485809 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20978] ppid=20961 vsize=10559828 CPUtime=0.76 cores=1,3,5,7
/proc/20963/task/20978/stat : 20978 (java) S 20961 20963 17058 0 -1 4202560 8670 0 0 0 75 1 0 0 15 0 22 0 562864883 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20979] ppid=20961 vsize=10559828 CPUtime=0.7 cores=1,3,5,7
/proc/20963/task/20979/stat : 20979 (java) S 20961 20963 17058 0 -1 4202560 4802 0 0 0 70 0 0 0 15 0 22 0 562864883 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20980] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20980/stat : 20980 (java) S 20961 20963 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 562864883 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20981] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20981/stat : 20981 (java) S 20961 20963 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562864883 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20982] ppid=20961 vsize=10559828 CPUtime=3.48 cores=1,3,5,7
/proc/20963/task/20982/stat : 20982 (java) R 20961 20963 17058 0 -1 4202560 394 0 0 0 348 0 0 0 18 0 22 0 562864895 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 46912505594277 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20963/tid=20983] ppid=20961 vsize=10559828 CPUtime=3.47 cores=1,3,5,7
/proc/20963/task/20983/stat : 20983 (java) R 20961 20963 17058 0 -1 4202560 40701 0 0 0 343 4 0 0 20 0 22 0 562864895 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 46912505584762 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20963/tid=20984] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20984/stat : 20984 (java) S 20961 20963 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562864895 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20985] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20985/stat : 20985 (java) S 20961 20963 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562864895 10813263872 65567 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.85
Current children cumulated vsize (KiB) 10559828
[startup+4.30083 s]
/proc/loadavg: 3.54 2.38 2.00 5/531 20985
/proc/meminfo: memFree=20495760/32951124 swapFree=46575304/67111528
[pid=20963] ppid=20961 vsize=10559828 CPUtime=9.65 cores=1,3,5,7
/proc/20963/stat : 20963 (java) S 20961 20963 17058 0 -1 4202496 71733 0 1 0 957 8 0 0 25 0 22 0 562864877 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20963/statm: 2639957 65884 2257 9 0 2630691 0
[pid=20963/tid=20964] ppid=20961 vsize=10559828 CPUtime=0.15 cores=1,3,5,7
/proc/20963/task/20964/stat : 20964 (java) S 20961 20963 17058 0 -1 4202560 11741 0 1 0 14 1 0 0 15 0 22 0 562864877 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20966] ppid=20961 vsize=10559828 CPUtime=0.01 cores=1,3,5,7
/proc/20963/task/20966/stat : 20966 (java) S 20961 20963 17058 0 -1 4202560 311 0 0 0 1 0 0 0 16 0 22 0 562864879 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20967] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20967/stat : 20967 (java) S 20961 20963 17058 0 -1 4202560 95 0 0 0 0 0 0 0 16 0 22 0 562864879 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 5 0 0 0
[pid=20963/tid=20968] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20968/stat : 20968 (java) S 20961 20963 17058 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 562864879 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20969] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20969/stat : 20969 (java) S 20961 20963 17058 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20970] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20970/stat : 20970 (java) S 20961 20963 17058 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20971] ppid=20961 vsize=10559828 CPUtime=0.01 cores=1,3,5,7
/proc/20963/task/20971/stat : 20971 (java) S 20961 20963 17058 0 -1 4202560 426 0 0 0 1 0 0 0 15 0 22 0 562864879 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20972] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20972/stat : 20972 (java) S 20961 20963 17058 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 5 0 0 0
[pid=20963/tid=20973] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20973/stat : 20973 (java) S 20961 20963 17058 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 22 0 562864879 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20974] ppid=20961 vsize=10559828 CPUtime=0.2 cores=1,3,5,7
/proc/20963/task/20974/stat : 20974 (java) S 20961 20963 17058 0 -1 4202560 2961 0 0 0 20 0 0 0 15 0 22 0 562864880 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 0 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20975] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20975/stat : 20975 (java) S 20961 20963 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 562864880 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20976] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20976/stat : 20976 (java) S 20961 20963 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 562864880 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20977] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20977/stat : 20977 (java) S 20961 20963 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562864883 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672485809 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20978] ppid=20961 vsize=10559828 CPUtime=0.76 cores=1,3,5,7
/proc/20963/task/20978/stat : 20978 (java) S 20961 20963 17058 0 -1 4202560 8670 0 0 0 75 1 0 0 15 0 22 0 562864883 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20979] ppid=20961 vsize=10559828 CPUtime=0.7 cores=1,3,5,7
/proc/20963/task/20979/stat : 20979 (java) S 20961 20963 17058 0 -1 4202560 4802 0 0 0 70 0 0 0 15 0 22 0 562864883 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20980] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20980/stat : 20980 (java) S 20961 20963 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 562864883 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20981] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20981/stat : 20981 (java) S 20961 20963 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562864883 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20982] ppid=20961 vsize=10559828 CPUtime=3.87 cores=1,3,5,7
/proc/20963/task/20982/stat : 20982 (java) R 20961 20963 17058 0 -1 4202560 394 0 0 0 387 0 0 0 18 0 22 0 562864895 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 46912505544759 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20963/tid=20983] ppid=20961 vsize=10559828 CPUtime=3.87 cores=1,3,5,7
/proc/20963/task/20983/stat : 20983 (java) R 20961 20963 17058 0 -1 4202560 40702 0 0 0 383 4 0 0 20 0 22 0 562864895 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 46912505731326 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20963/tid=20984] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20984/stat : 20984 (java) S 20961 20963 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 562864895 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20985] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20985/stat : 20985 (java) S 20961 20963 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562864895 10813263872 65884 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.65
Current children cumulated vsize (KiB) 10559828
[startup+4.70078 s]
/proc/loadavg: 3.54 2.38 2.00 5/531 20985
/proc/meminfo: memFree=20495760/32951124 swapFree=46575304/67111528
[pid=20963] ppid=20961 vsize=10559828 CPUtime=9.79 cores=1,3,5,7
/proc/20963/stat : 20963 (java) S 20961 20963 17058 0 -1 4202496 71735 0 1 0 971 8 0 0 25 0 19 0 562864877 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20963/statm: 2639957 65885 2258 9 0 2630691 0
[pid=20963/tid=20964] ppid=20961 vsize=10559828 CPUtime=0.15 cores=1,3,5,7
/proc/20963/task/20964/stat : 20964 (java) S 20961 20963 17058 0 -1 4202560 11741 0 1 0 14 1 0 0 15 0 19 0 562864877 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20966] ppid=20961 vsize=10559828 CPUtime=0.01 cores=1,3,5,7
/proc/20963/task/20966/stat : 20966 (java) S 20961 20963 17058 0 -1 4202560 311 0 0 0 1 0 0 0 16 0 19 0 562864879 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20967] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20967/stat : 20967 (java) S 20961 20963 17058 0 -1 4202560 95 0 0 0 0 0 0 0 16 0 19 0 562864879 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 5 0 0 0
[pid=20963/tid=20968] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20968/stat : 20968 (java) S 20961 20963 17058 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 562864879 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20969] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20969/stat : 20969 (java) S 20961 20963 17058 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 562864879 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20970] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20970/stat : 20970 (java) S 20961 20963 17058 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 562864879 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20971] ppid=20961 vsize=10559828 CPUtime=0.01 cores=1,3,5,7
/proc/20963/task/20971/stat : 20971 (java) S 20961 20963 17058 0 -1 4202560 426 0 0 0 1 0 0 0 15 0 19 0 562864879 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20972] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20972/stat : 20972 (java) S 20961 20963 17058 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 19 0 562864879 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 5 0 0 0
[pid=20963/tid=20973] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20973/stat : 20973 (java) S 20961 20963 17058 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 19 0 562864879 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20974] ppid=20961 vsize=10559828 CPUtime=0.2 cores=1,3,5,7
/proc/20963/task/20974/stat : 20974 (java) S 20961 20963 17058 0 -1 4202560 2961 0 0 0 20 0 0 0 15 0 19 0 562864880 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 0 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20975] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20975/stat : 20975 (java) S 20961 20963 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 562864880 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20976] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20976/stat : 20976 (java) S 20961 20963 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 562864880 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 7 0 0 0
[pid=20963/tid=20977] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20977/stat : 20977 (java) S 20961 20963 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 562864883 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672485809 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20978] ppid=20961 vsize=10559828 CPUtime=0.76 cores=1,3,5,7
/proc/20963/task/20978/stat : 20978 (java) S 20961 20963 17058 0 -1 4202560 8670 0 0 0 75 1 0 0 15 0 19 0 562864883 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20979] ppid=20961 vsize=10559828 CPUtime=0.7 cores=1,3,5,7
/proc/20963/task/20979/stat : 20979 (java) S 20961 20963 17058 0 -1 4202560 4802 0 0 0 70 0 0 0 15 0 19 0 562864883 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20980] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20980/stat : 20980 (java) S 20961 20963 17058 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 562864883 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478105 0 4 0 16800975 18446604468159828352 0 0 -1 1 0 0 0
[pid=20963/tid=20981] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20981/stat : 20981 (java) S 20961 20963 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 562864883 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
[pid=20963/tid=20985] ppid=20961 vsize=10559828 CPUtime=0 cores=1,3,5,7
/proc/20963/task/20985/stat : 20985 (java) S 20961 20963 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 562864895 10813263872 65885 33554432000 1073741824 1073778376 140733891327184 18446744073709551615 268672478720 0 4 0 16800975 18446604468159828352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (KiB) 10559828
Child status: 10
Real time (s): 4.72565
CPU time (s): 9.8375
CPU user time (s): 9.73652
CPU system time (s): 0.100984
CPU usage (%): 208.172
Max. virtual memory (cumulated for all children) (KiB): 10559828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.73652
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71755
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= 663
involuntary context switches= 477
runsolver used 0.015997 second user time and 0.076988 second system time
The end