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-3454289-1307193032/watcher-3454289-1307193032 -o /tmp/evaluation-result-3454289-1307193032/solver-3454289-1307193032 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454289-1307193032.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.52 3.43 3.52 2/519 20956
/proc/meminfo: memFree=28594048/32951132 swapFree=57925096/67111528
[pid=20956] ppid=20954 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/20956/stat : 20956 (java) S 20954 20956 16811 0 -1 4202496 5594 0 1 0 0 1 0 0 22 0 2 0 830902873 10694979584 5296 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/20956/statm: 2611079 5309 917 9 0 2602235 0
[pid=20956/tid=20957] ppid=20954 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20957/stat : 20957 (java) R 20954 20956 16811 0 -1 4202560 7125 0 1 0 0 0 0 0 25 0 2 0 830902873 10694979584 7941 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.050517 s]
/proc/loadavg: 3.52 3.43 3.52 2/519 20956
/proc/meminfo: memFree=28594048/32951132 swapFree=57925096/67111528
[pid=20956] ppid=20954 vsize=10467616 CPUtime=0.03 cores=1,3,5,7
/proc/20956/stat : 20956 (java) S 20954 20956 16811 0 -1 4202496 11431 0 1 0 2 1 0 0 22 0 13 0 830902873 10718838784 11128 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658949093 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/20956/statm: 2616904 11128 1684 9 0 2607652 0
[pid=20956/tid=20957] ppid=20954 vsize=10467616 CPUtime=0.03 cores=1,3,5,7
/proc/20956/task/20957/stat : 20957 (java) R 20954 20956 16811 0 -1 4202560 10282 0 1 0 2 1 0 0 25 0 13 0 830902873 10718838784 11128 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 47907348751078 0 4 0 16800971 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467616
[startup+0.106598 s]
/proc/loadavg: 3.52 3.43 3.52 2/519 20956
/proc/meminfo: memFree=28594048/32951132 swapFree=57925096/67111528
[pid=20956] ppid=20954 vsize=10539940 CPUtime=0.11 cores=1,3,5,7
/proc/20956/stat : 20956 (java) S 20954 20956 16811 0 -1 4202496 13188 0 1 0 9 2 0 0 22 0 18 0 830902873 10792898560 12842 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20956/statm: 2634985 12843 2107 9 0 2625719 0
[pid=20956/tid=20957] ppid=20954 vsize=10539940 CPUtime=0.09 cores=1,3,5,7
/proc/20956/task/20957/stat : 20957 (java) R 20954 20956 16811 0 -1 4202560 11218 0 1 0 8 1 0 0 18 0 18 0 830902873 10792898560 12843 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 47907350047238 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539940
[startup+0.30052 s]
/proc/loadavg: 3.52 3.43 3.52 2/519 20956
/proc/meminfo: memFree=28594048/32951132 swapFree=57925096/67111528
[pid=20956] ppid=20954 vsize=10541988 CPUtime=0.48 cores=1,3,5,7
/proc/20956/stat : 20956 (java) S 20954 20956 16811 0 -1 4202496 16189 0 1 0 46 2 0 0 22 0 18 0 830902873 10794995712 15578 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20956/statm: 2635497 15579 2201 9 0 2626231 0
[pid=20956/tid=20957] ppid=20954 vsize=10541988 CPUtime=0.28 cores=1,3,5,7
/proc/20956/task/20957/stat : 20957 (java) R 20954 20956 16811 0 -1 4202560 13197 0 1 0 26 2 0 0 18 0 18 0 830902873 10794995712 15579 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 46912505615890 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541988
[startup+0.700454 s]
/proc/loadavg: 3.52 3.43 3.52 2/519 20956
/proc/meminfo: memFree=28594048/32951132 swapFree=57925096/67111528
[pid=20956] ppid=20954 vsize=10547108 CPUtime=1.17 cores=1,3,5,7
/proc/20956/stat : 20956 (java) S 20954 20956 16811 0 -1 4202496 54632 0 1 0 109 8 0 0 22 0 18 0 830902873 10800238592 52876 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20956/statm: 2636777 52877 2213 9 0 2627511 0
[pid=20956/tid=20957] ppid=20954 vsize=10547108 CPUtime=0.67 cores=1,3,5,7
/proc/20956/task/20957/stat : 20957 (java) R 20954 20956 16811 0 -1 4202560 48270 0 1 0 61 6 0 0 18 0 18 0 830902873 10800238592 52878 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 46912505625784 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10547108
[startup+1.5013 s]
/proc/loadavg: 3.52 3.43 3.52 6/541 20978
/proc/meminfo: memFree=28358592/32951132 swapFree=57925096/67111528
[pid=20956] ppid=20954 vsize=10551220 CPUtime=3.14 cores=1,3,5,7
/proc/20956/stat : 20956 (java) S 20954 20956 16811 0 -1 4202496 67695 0 1 0 305 9 0 0 22 0 22 0 830902873 10804449280 65480 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20956/statm: 2637805 65480 2235 9 0 2628539 0
[pid=20956/tid=20957] ppid=20954 vsize=10551220 CPUtime=0.87 cores=1,3,5,7
/proc/20956/task/20957/stat : 20957 (java) S 20954 20956 16811 0 -1 4202560 54702 0 1 0 80 7 0 0 15 0 22 0 830902873 10804449280 65481 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20959] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20959/stat : 20959 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 65481 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20960] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20960/stat : 20960 (java) S 20954 20956 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 65481 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20961] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20961/stat : 20961 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 65481 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20962] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20962/stat : 20962 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 65481 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20963] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20963/stat : 20963 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 65481 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20964] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20964/stat : 20964 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 65481 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20965] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20965/stat : 20965 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 65481 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20966] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20966/stat : 20966 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 65481 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20967] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20967/stat : 20967 (java) S 20954 20956 16811 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 22 0 830902876 10804449280 65481 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 0 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20968] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20968/stat : 20968 (java) S 20954 20956 16811 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830902876 10804449280 65481 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20969] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20969/stat : 20969 (java) S 20954 20956 16811 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830902876 10804449280 65481 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20970] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20970/stat : 20970 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902879 10804449280 65482 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658970033 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20971] ppid=20954 vsize=10551220 CPUtime=0.5 cores=1,3,5,7
/proc/20956/task/20971/stat : 20971 (java) S 20954 20956 16811 0 -1 4202560 3305 0 0 0 50 0 0 0 20 0 22 0 830902879 10804449280 65482 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20972] ppid=20954 vsize=10551220 CPUtime=0.51 cores=1,3,5,7
/proc/20956/task/20972/stat : 20972 (java) S 20954 20956 16811 0 -1 4202560 2497 0 0 0 51 0 0 0 15 0 22 0 830902879 10804449280 65482 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20973] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20973/stat : 20973 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902879 10804449280 65482 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20974] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20974/stat : 20974 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830902879 10804449280 65482 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20975] ppid=20954 vsize=10551220 CPUtime=0.61 cores=1,3,5,7
/proc/20956/task/20975/stat : 20975 (java) R 20954 20956 16811 0 -1 4202560 809 0 0 0 61 0 0 0 23 0 22 0 830902962 10804449280 65482 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 46912505721260 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20956/tid=20976] ppid=20954 vsize=10551220 CPUtime=0.6 cores=1,3,5,7
/proc/20956/task/20976/stat : 20976 (java) R 20954 20956 16811 0 -1 4202560 5216 0 0 0 60 0 0 0 25 0 22 0 830902962 10804449280 65482 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 46912505817574 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20956/tid=20977] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20977/stat : 20977 (java) S 20954 20956 16811 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830902964 10804449280 65482 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20978] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20978/stat : 20978 (java) S 20954 20956 16811 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830902964 10804449280 65482 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 10551220
[startup+3.10104 s]
/proc/loadavg: 3.52 3.43 3.52 5/541 20978
/proc/meminfo: memFree=28315936/32951132 swapFree=57925096/67111528
[pid=20956] ppid=20954 vsize=10551220 CPUtime=6.63 cores=1,3,5,7
/proc/20956/stat : 20956 (java) S 20954 20956 16811 0 -1 4202496 81224 0 1 0 653 10 0 0 22 0 22 0 830902873 10804449280 78065 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20956/statm: 2637805 78065 2236 9 0 2628539 0
[pid=20956/tid=20957] ppid=20954 vsize=10551220 CPUtime=0.87 cores=1,3,5,7
/proc/20956/task/20957/stat : 20957 (java) S 20954 20956 16811 0 -1 4202560 54702 0 1 0 80 7 0 0 15 0 22 0 830902873 10804449280 78065 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20959] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20959/stat : 20959 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 78065 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20960] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20960/stat : 20960 (java) S 20954 20956 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 78065 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20961] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20961/stat : 20961 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 78065 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20962] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20962/stat : 20962 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 78066 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20963] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20963/stat : 20963 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 78066 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20964] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20964/stat : 20964 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 78066 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20965] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20965/stat : 20965 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 78066 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20966] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20966/stat : 20966 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 78066 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20967] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20967/stat : 20967 (java) S 20954 20956 16811 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830902876 10804449280 78066 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 0 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20968] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20968/stat : 20968 (java) S 20954 20956 16811 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830902876 10804449280 78066 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20969] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20969/stat : 20969 (java) S 20954 20956 16811 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830902876 10804449280 78066 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20970] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20970/stat : 20970 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902879 10804449280 78066 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658970033 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20971] ppid=20954 vsize=10551220 CPUtime=0.65 cores=1,3,5,7
/proc/20956/task/20971/stat : 20971 (java) S 20954 20956 16811 0 -1 4202560 4264 0 0 0 65 0 0 0 15 0 22 0 830902879 10804449280 78066 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20972] ppid=20954 vsize=10551220 CPUtime=0.66 cores=1,3,5,7
/proc/20956/task/20972/stat : 20972 (java) S 20954 20956 16811 0 -1 4202560 2510 0 0 0 66 0 0 0 15 0 22 0 830902879 10804449280 78066 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20973] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20973/stat : 20973 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902879 10804449280 78066 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20974] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20974/stat : 20974 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830902879 10804449280 78066 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20975] ppid=20954 vsize=10551220 CPUtime=2.21 cores=1,3,5,7
/proc/20956/task/20975/stat : 20975 (java) R 20954 20956 16811 0 -1 4202560 1810 0 0 0 221 0 0 0 25 0 22 0 830902962 10804449280 78067 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 46912505778822 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20956/tid=20976] ppid=20954 vsize=10551220 CPUtime=2.2 cores=1,3,5,7
/proc/20956/task/20976/stat : 20976 (java) R 20954 20956 16811 0 -1 4202560 16771 0 0 0 219 1 0 0 19 0 22 0 830902962 10804449280 78067 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 46912505817570 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20956/tid=20977] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20977/stat : 20977 (java) S 20954 20956 16811 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830902964 10804449280 78067 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20978] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20978/stat : 20978 (java) S 20954 20956 16811 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830902964 10804449280 78067 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (KiB) 10551220
[startup+6.3015 s]
/proc/loadavg: 3.64 3.45 3.53 4/541 20978
/proc/meminfo: memFree=28179028/32951132 swapFree=57925096/67111528
[pid=20956] ppid=20954 vsize=10551220 CPUtime=13.12 cores=1,3,5,7
/proc/20956/stat : 20956 (java) S 20954 20956 16811 0 -1 4202496 112484 0 1 0 1300 12 0 0 22 0 22 0 830902873 10804449280 109281 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20956/statm: 2637805 109281 2236 9 0 2628539 0
[pid=20956/tid=20957] ppid=20954 vsize=10551220 CPUtime=0.87 cores=1,3,5,7
/proc/20956/task/20957/stat : 20957 (java) S 20954 20956 16811 0 -1 4202560 54702 0 1 0 80 7 0 0 15 0 22 0 830902873 10804449280 109281 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20959] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20959/stat : 20959 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 109281 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20960] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20960/stat : 20960 (java) S 20954 20956 16811 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 109281 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20961] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20961/stat : 20961 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 109281 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20962] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20962/stat : 20962 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 109281 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20963] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20963/stat : 20963 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 109281 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20964] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20964/stat : 20964 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 109281 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20965] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20965/stat : 20965 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 109281 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20966] ppid=20954 vsize=10551220 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20966/stat : 20966 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902875 10804449280 109281 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.76 3.86 3.72 5/541 21105
/proc/meminfo: memFree=22347248/32951132 swapFree=57925096/67111528
[pid=20956] ppid=20954 vsize=10616756 CPUtime=1646.92 cores=1,3,5,7
/proc/20956/stat : 20956 (java) S 20954 20956 16811 0 -1 4202496 1063095 0 1 0 164570 122 0 0 22 0 22 0 830902873 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20956/statm: 2654189 1054337 2267 9 0 2644923 0
[pid=20956/tid=20957] ppid=20954 vsize=10616756 CPUtime=0.87 cores=1,3,5,7
/proc/20956/task/20957/stat : 20957 (java) S 20954 20956 16811 0 -1 4202560 54704 0 1 0 80 7 0 0 15 0 22 0 830902873 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20959] ppid=20954 vsize=10616756 CPUtime=0.55 cores=1,3,5,7
/proc/20956/task/20959/stat : 20959 (java) S 20954 20956 16811 0 -1 4202560 26918 0 0 0 51 4 0 0 16 0 22 0 830902875 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20960] ppid=20954 vsize=10616756 CPUtime=0.59 cores=1,3,5,7
/proc/20956/task/20960/stat : 20960 (java) S 20954 20956 16811 0 -1 4202560 25386 0 0 0 56 3 0 0 15 0 22 0 830902875 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20961] ppid=20954 vsize=10616756 CPUtime=0.61 cores=1,3,5,7
/proc/20956/task/20961/stat : 20961 (java) S 20954 20956 16811 0 -1 4202560 36429 0 0 0 57 4 0 0 16 0 22 0 830902875 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20962] ppid=20954 vsize=10616756 CPUtime=0.56 cores=1,3,5,7
/proc/20956/task/20962/stat : 20962 (java) S 20954 20956 16811 0 -1 4202560 25159 0 0 0 53 3 0 0 15 0 22 0 830902875 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20963] ppid=20954 vsize=10616756 CPUtime=0.57 cores=1,3,5,7
/proc/20956/task/20963/stat : 20963 (java) S 20954 20956 16811 0 -1 4202560 24423 0 0 0 54 3 0 0 15 0 22 0 830902875 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20964] ppid=20954 vsize=10616756 CPUtime=0.53 cores=1,3,5,7
/proc/20956/task/20964/stat : 20964 (java) S 20954 20956 16811 0 -1 4202560 31481 0 0 0 49 4 0 0 16 0 22 0 830902875 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20965] ppid=20954 vsize=10616756 CPUtime=0.53 cores=1,3,5,7
/proc/20956/task/20965/stat : 20965 (java) S 20954 20956 16811 0 -1 4202560 29818 0 0 0 50 3 0 0 15 0 22 0 830902875 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20966] ppid=20954 vsize=10616756 CPUtime=0.47 cores=1,3,5,7
/proc/20956/task/20966/stat : 20966 (java) S 20954 20956 16811 0 -1 4202560 29973 0 0 0 43 4 0 0 16 0 22 0 830902875 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20967] ppid=20954 vsize=10616756 CPUtime=0.4 cores=1,3,5,7
/proc/20956/task/20967/stat : 20967 (java) S 20954 20956 16811 0 -1 4202560 129 0 0 0 39 1 0 0 15 0 22 0 830902876 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 0 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20968] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20968/stat : 20968 (java) S 20954 20956 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830902876 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20969] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20969/stat : 20969 (java) S 20954 20956 16811 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830902876 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20970] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20970/stat : 20970 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902879 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658970033 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20971] ppid=20954 vsize=10616756 CPUtime=0.87 cores=1,3,5,7
/proc/20956/task/20971/stat : 20971 (java) S 20954 20956 16811 0 -1 4202560 5444 0 0 0 87 0 0 0 15 0 22 0 830902879 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20972] ppid=20954 vsize=10616756 CPUtime=0.94 cores=1,3,5,7
/proc/20956/task/20972/stat : 20972 (java) S 20954 20956 16811 0 -1 4202560 2582 0 0 0 94 0 0 0 15 0 22 0 830902879 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20973] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20973/stat : 20973 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902879 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20974] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20974/stat : 20974 (java) S 20954 20956 16811 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 830902879 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20975] ppid=20954 vsize=10616756 CPUtime=819.63 cores=1,3,5,7
/proc/20956/task/20975/stat : 20975 (java) R 20954 20956 16811 0 -1 4202560 18582 0 0 0 81959 4 0 0 25 0 22 0 830902962 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 46912505865158 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20956/tid=20976] ppid=20954 vsize=10616756 CPUtime=819.65 cores=1,3,5,7
/proc/20956/task/20976/stat : 20976 (java) R 20954 20956 16811 0 -1 4202560 750863 0 0 0 81890 75 0 0 25 0 22 0 830902962 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 46912505684597 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20956/tid=20977] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20977/stat : 20977 (java) S 20954 20956 16811 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830902964 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20978] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20978/stat : 20978 (java) S 20954 20956 16811 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830902964 10871558144 1054337 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1646.92
Current children cumulated vsize (KiB) 10616756
[startup+882.301 s]
/proc/loadavg: 3.99 3.91 3.75 5/541 21107
/proc/meminfo: memFree=22203372/32951132 swapFree=57925096/67111528
[pid=20956] ppid=20954 vsize=10616756 CPUtime=1767.08 cores=1,3,5,7
/proc/20956/stat : 20956 (java) S 20954 20956 16811 0 -1 4202496 1097384 0 1 0 176581 127 0 0 22 0 22 0 830902873 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20956/statm: 2654189 1087939 2267 9 0 2644923 0
[pid=20956/tid=20957] ppid=20954 vsize=10616756 CPUtime=0.87 cores=1,3,5,7
/proc/20956/task/20957/stat : 20957 (java) S 20954 20956 16811 0 -1 4202560 54704 0 1 0 80 7 0 0 15 0 22 0 830902873 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20959] ppid=20954 vsize=10616756 CPUtime=0.57 cores=1,3,5,7
/proc/20956/task/20959/stat : 20959 (java) S 20954 20956 16811 0 -1 4202560 28925 0 0 0 53 4 0 0 15 0 22 0 830902875 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20960] ppid=20954 vsize=10616756 CPUtime=0.65 cores=1,3,5,7
/proc/20956/task/20960/stat : 20960 (java) S 20954 20956 16811 0 -1 4202560 29321 0 0 0 62 3 0 0 16 0 22 0 830902875 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20961] ppid=20954 vsize=10616756 CPUtime=0.67 cores=1,3,5,7
/proc/20956/task/20961/stat : 20961 (java) S 20954 20956 16811 0 -1 4202560 39777 0 0 0 62 5 0 0 16 0 22 0 830902875 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20962] ppid=20954 vsize=10616756 CPUtime=0.61 cores=1,3,5,7
/proc/20956/task/20962/stat : 20962 (java) S 20954 20956 16811 0 -1 4202560 30839 0 0 0 58 3 0 0 15 0 22 0 830902875 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20963] ppid=20954 vsize=10616756 CPUtime=0.61 cores=1,3,5,7
/proc/20956/task/20963/stat : 20963 (java) S 20954 20956 16811 0 -1 4202560 29664 0 0 0 57 4 0 0 16 0 22 0 830902875 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20964] ppid=20954 vsize=10616756 CPUtime=0.57 cores=1,3,5,7
/proc/20956/task/20964/stat : 20964 (java) S 20954 20956 16811 0 -1 4202560 36015 0 0 0 53 4 0 0 15 0 22 0 830902875 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20965] ppid=20954 vsize=10616756 CPUtime=0.58 cores=1,3,5,7
/proc/20956/task/20965/stat : 20965 (java) S 20954 20956 16811 0 -1 4202560 35924 0 0 0 54 4 0 0 16 0 22 0 830902875 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20966] ppid=20954 vsize=10616756 CPUtime=0.53 cores=1,3,5,7
/proc/20956/task/20966/stat : 20966 (java) S 20954 20956 16811 0 -1 4202560 33392 0 0 0 48 5 0 0 15 0 22 0 830902875 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20967] ppid=20954 vsize=10616756 CPUtime=0.41 cores=1,3,5,7
/proc/20956/task/20967/stat : 20967 (java) S 20954 20956 16811 0 -1 4202560 133 0 0 0 40 1 0 0 15 0 22 0 830902876 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 0 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20968] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20968/stat : 20968 (java) S 20954 20956 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830902876 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20969] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20969/stat : 20969 (java) S 20954 20956 16811 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830902876 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20970] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20970/stat : 20970 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902879 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658970033 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20971] ppid=20954 vsize=10616756 CPUtime=0.87 cores=1,3,5,7
/proc/20956/task/20971/stat : 20971 (java) S 20954 20956 16811 0 -1 4202560 5444 0 0 0 87 0 0 0 15 0 22 0 830902879 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20972] ppid=20954 vsize=10616756 CPUtime=0.94 cores=1,3,5,7
/proc/20956/task/20972/stat : 20972 (java) S 20954 20956 16811 0 -1 4202560 2582 0 0 0 94 0 0 0 15 0 22 0 830902879 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20973] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20973/stat : 20973 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902879 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20974] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20974/stat : 20974 (java) S 20954 20956 16811 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830902879 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20975] ppid=20954 vsize=10616756 CPUtime=879.52 cores=1,3,5,7
/proc/20956/task/20975/stat : 20975 (java) R 20954 20956 16811 0 -1 4202560 18592 0 0 0 87948 4 0 0 25 0 22 0 830902962 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 46912505778764 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20956/tid=20976] ppid=20954 vsize=10616756 CPUtime=879.54 cores=1,3,5,7
/proc/20956/task/20976/stat : 20976 (java) R 20954 20956 16811 0 -1 4202560 750864 0 0 0 87879 75 0 0 25 0 22 0 830902962 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 46912505731483 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20956/tid=20977] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20977/stat : 20977 (java) S 20954 20956 16811 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830902964 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20978] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20978/stat : 20978 (java) S 20954 20956 16811 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830902964 10871558144 1087939 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1767.08
Current children cumulated vsize (KiB) 10616756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.801 s]
/proc/loadavg: 4.07 3.93 3.76 7/541 21107
/proc/meminfo: memFree=22197544/32951132 swapFree=57925096/67111528
[pid=20956] ppid=20954 vsize=10616756 CPUtime=1800.13 cores=1,3,5,7
/proc/20956/stat : 20956 (java) S 20954 20956 16811 0 -1 4202496 1098321 0 1 0 179886 127 0 0 22 0 22 0 830902873 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20956/statm: 2654189 1088869 2267 9 0 2644923 0
[pid=20956/tid=20957] ppid=20954 vsize=10616756 CPUtime=0.87 cores=1,3,5,7
/proc/20956/task/20957/stat : 20957 (java) S 20954 20956 16811 0 -1 4202560 54704 0 1 0 80 7 0 0 15 0 22 0 830902873 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20959] ppid=20954 vsize=10616756 CPUtime=0.58 cores=1,3,5,7
/proc/20956/task/20959/stat : 20959 (java) S 20954 20956 16811 0 -1 4202560 28950 0 0 0 54 4 0 0 16 0 22 0 830902875 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20960] ppid=20954 vsize=10616756 CPUtime=0.66 cores=1,3,5,7
/proc/20956/task/20960/stat : 20960 (java) S 20954 20956 16811 0 -1 4202560 29321 0 0 0 63 3 0 0 15 0 22 0 830902875 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20961] ppid=20954 vsize=10616756 CPUtime=0.68 cores=1,3,5,7
/proc/20956/task/20961/stat : 20961 (java) S 20954 20956 16811 0 -1 4202560 40062 0 0 0 63 5 0 0 16 0 22 0 830902875 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20962] ppid=20954 vsize=10616756 CPUtime=0.61 cores=1,3,5,7
/proc/20956/task/20962/stat : 20962 (java) S 20954 20956 16811 0 -1 4202560 30904 0 0 0 58 3 0 0 15 0 22 0 830902875 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20963] ppid=20954 vsize=10616756 CPUtime=0.61 cores=1,3,5,7
/proc/20956/task/20963/stat : 20963 (java) S 20954 20956 16811 0 -1 4202560 29765 0 0 0 57 4 0 0 16 0 22 0 830902875 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20964] ppid=20954 vsize=10616756 CPUtime=0.58 cores=1,3,5,7
/proc/20956/task/20964/stat : 20964 (java) S 20954 20956 16811 0 -1 4202560 36166 0 0 0 54 4 0 0 16 0 22 0 830902875 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20965] ppid=20954 vsize=10616756 CPUtime=0.59 cores=1,3,5,7
/proc/20956/task/20965/stat : 20965 (java) S 20954 20956 16811 0 -1 4202560 36062 0 0 0 55 4 0 0 15 0 22 0 830902875 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20966] ppid=20954 vsize=10616756 CPUtime=0.54 cores=1,3,5,7
/proc/20956/task/20966/stat : 20966 (java) S 20954 20956 16811 0 -1 4202560 33558 0 0 0 49 5 0 0 15 0 22 0 830902875 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20967] ppid=20954 vsize=10616756 CPUtime=0.41 cores=1,3,5,7
/proc/20956/task/20967/stat : 20967 (java) S 20954 20956 16811 0 -1 4202560 133 0 0 0 40 1 0 0 15 0 22 0 830902876 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 0 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20968] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20968/stat : 20968 (java) S 20954 20956 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830902876 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20969] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20969/stat : 20969 (java) S 20954 20956 16811 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830902876 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 1 0 0 0
[pid=20956/tid=20970] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20970/stat : 20970 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902879 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658970033 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20971] ppid=20954 vsize=10616756 CPUtime=0.87 cores=1,3,5,7
/proc/20956/task/20971/stat : 20971 (java) S 20954 20956 16811 0 -1 4202560 5444 0 0 0 87 0 0 0 15 0 22 0 830902879 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20972] ppid=20954 vsize=10616756 CPUtime=0.94 cores=1,3,5,7
/proc/20956/task/20972/stat : 20972 (java) S 20954 20956 16811 0 -1 4202560 2582 0 0 0 94 0 0 0 15 0 22 0 830902879 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20973] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20973/stat : 20973 (java) S 20954 20956 16811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830902879 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962329 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
[pid=20956/tid=20974] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20974/stat : 20974 (java) S 20954 20956 16811 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830902879 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 5 0 0 0
[pid=20956/tid=20975] ppid=20954 vsize=10616756 CPUtime=896.01 cores=1,3,5,7
/proc/20956/task/20975/stat : 20975 (java) R 20954 20956 16811 0 -1 4202560 18595 0 0 0 89597 4 0 0 25 0 22 0 830902962 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 46912505721271 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20956/tid=20976] ppid=20954 vsize=10616756 CPUtime=896.04 cores=1,3,5,7
/proc/20956/task/20976/stat : 20976 (java) R 20954 20956 16811 0 -1 4202560 750867 0 0 0 89529 75 0 0 25 0 22 0 830902962 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 46912505684605 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20956/tid=20977] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20977/stat : 20977 (java) S 20954 20956 16811 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830902964 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 3 0 0 0
[pid=20956/tid=20978] ppid=20954 vsize=10616756 CPUtime=0 cores=1,3,5,7
/proc/20956/task/20978/stat : 20978 (java) S 20954 20956 16811 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 830902964 10871558144 1088869 33554432000 1073741824 1073778376 140734849991088 18446744073709551615 210658962944 0 4 0 16800975 18446604456911075520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10616756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+898.925 s]
/proc/loadavg: 4.07 3.93 3.76 7/541 21107
/proc/meminfo: memFree=22197544/32951132 swapFree=57925096/67111528
[pid=20956] ppid=20954 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/20956/stat : 20956 (java) Z 20954 20956 16811 0 -1 4203548 1098349 0 1 0 179890 136 0 0 17 0 2 0 830902873 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20956/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 898.991
CPU time (s): 1800.34
CPU user time (s): 1798.9
CPU system time (s): 1.43078
CPU usage (%): 200.262
Max. virtual memory (cumulated for all children) (KiB): 10616756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.43078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1098349
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= 26082
involuntary context switches= 9750
runsolver used 4.47132 second user time and 11.0303 second system time
The end