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-3454376-1307189709/watcher-3454376-1307189709 -o /tmp/evaluation-result-3454376-1307189709/solver-3454376-1307189709 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454376-1307189709.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.45 3.53 3.52 2/482 24613
/proc/meminfo: memFree=27552348/32951124 swapFree=41830676/67111528
[pid=24613] ppid=24611 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 21158 0 -1 4202496 4291 0 1 0 0 0 0 0 25 0 2 0 830568887 10694979584 3993 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/24613/statm: 2611079 4007 917 9 0 2602235 0
[pid=24613/tid=24614] ppid=24611 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24614/stat : 24614 (java) R 24611 24613 21158 0 -1 4202560 3769 0 1 0 0 0 0 0 25 0 2 0 830568888 10694979584 4586 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.085665 s]
/proc/loadavg: 3.45 3.53 3.52 2/482 24613
/proc/meminfo: memFree=27552348/32951124 swapFree=41830676/67111528
[pid=24613] ppid=24611 vsize=10473700 CPUtime=0.07 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 21158 0 -1 4202496 12056 0 1 0 6 1 0 0 25 0 18 0 830568887 10725068800 11753 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24613/statm: 2618425 11755 1755 9 0 2609159 0
[pid=24613/tid=24614] ppid=24611 vsize=10473700 CPUtime=0.07 cores=1,3,5,7
/proc/24613/task/24614/stat : 24614 (java) R 24611 24613 21158 0 -1 4202560 10884 0 1 0 6 1 0 0 25 0 18 0 830568888 10725068800 11755 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134540747 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473700
[startup+0.100665 s]
/proc/loadavg: 3.45 3.53 3.52 2/482 24613
/proc/meminfo: memFree=27552348/32951124 swapFree=41830676/67111528
[pid=24613] ppid=24611 vsize=10540260 CPUtime=0.1 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 21158 0 -1 4202496 13069 0 1 0 9 1 0 0 25 0 18 0 830568887 10793226240 12729 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24613/statm: 2635065 12731 2092 9 0 2625799 0
[pid=24613/tid=24614] ppid=24611 vsize=10540260 CPUtime=0.08 cores=1,3,5,7
/proc/24613/task/24614/stat : 24614 (java) R 24611 24613 21158 0 -1 4202560 11106 0 1 0 7 1 0 0 25 0 18 0 830568888 10793226240 12732 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 47246411941907 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540260
[startup+0.300645 s]
/proc/loadavg: 3.45 3.53 3.52 2/482 24613
/proc/meminfo: memFree=27552348/32951124 swapFree=41830676/67111528
[pid=24613] ppid=24611 vsize=10542308 CPUtime=0.47 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 21158 0 -1 4202496 15693 0 1 0 45 2 0 0 25 0 18 0 830568887 10795323392 15238 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24613/statm: 2635577 15239 2199 9 0 2626311 0
[pid=24613/tid=24614] ppid=24611 vsize=10542308 CPUtime=0.28 cores=1,3,5,7
/proc/24613/task/24614/stat : 24614 (java) R 24611 24613 21158 0 -1 4202560 12880 0 1 0 26 2 0 0 25 0 18 0 830568888 10795323392 15239 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542308
[startup+0.700559 s]
/proc/loadavg: 3.45 3.53 3.52 2/482 24613
/proc/meminfo: memFree=27552348/32951124 swapFree=41830676/67111528
[pid=24613] ppid=24611 vsize=10546404 CPUtime=1.16 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 21158 0 -1 4202496 54114 0 1 0 110 6 0 0 25 0 18 0 830568887 10799517696 52795 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24613/statm: 2636601 52801 2213 9 0 2627335 0
[pid=24613/tid=24614] ppid=24611 vsize=10546404 CPUtime=0.68 cores=1,3,5,7
/proc/24613/task/24614/stat : 24614 (java) R 24611 24613 21158 0 -1 4202560 48206 0 1 0 63 5 0 0 25 0 18 0 830568888 10799517696 52804 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10546404
[startup+1.50144 s]
/proc/loadavg: 3.45 3.53 3.52 3/501 24635
/proc/meminfo: memFree=27324728/32951124 swapFree=41830676/67111528
[pid=24613] ppid=24611 vsize=10550516 CPUtime=1.82 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 21158 0 -1 4202496 66361 0 1 0 174 8 0 0 25 0 19 0 830568887 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24613/statm: 2637629 62792 2234 9 0 2628363 0
[pid=24613/tid=24614] ppid=24611 vsize=10550516 CPUtime=0.74 cores=1,3,5,7
/proc/24613/task/24614/stat : 24614 (java) S 24611 24613 21158 0 -1 4202560 54043 0 1 0 68 6 0 0 22 0 19 0 830568888 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830568890 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830568890 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830568890 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830568890 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830568890 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830568890 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830568890 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830568890 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 21158 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830568891 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 0 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830568891 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830568891 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830568894 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134537649 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10550516 CPUtime=0.46 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) R 24611 24613 21158 0 -1 4202560 8324 0 0 0 45 1 0 0 18 0 19 0 830568894 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 47246409181276 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10550516 CPUtime=0.37 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 21158 0 -1 4202560 2096 0 0 0 37 0 0 0 15 0 19 0 830568894 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830568894 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830568894 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10550516 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830568964 10803728384 62792 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 10550516
[startup+3.10112 s]
/proc/loadavg: 3.45 3.53 3.52 2/501 24641
/proc/meminfo: memFree=27281092/32951124 swapFree=41830676/67111528
[pid=24613] ppid=24611 vsize=10553588 CPUtime=3.34 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 21158 0 -1 4202496 89587 0 1 0 323 11 0 0 25 0 20 0 830568887 10806874112 85692 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24613/statm: 2638397 85693 2240 9 0 2629131 0
[pid=24613/tid=24614] ppid=24611 vsize=10553588 CPUtime=0.75 cores=1,3,5,7
/proc/24613/task/24614/stat : 24614 (java) S 24611 24613 21158 0 -1 4202560 54181 0 1 0 69 6 0 0 16 0 20 0 830568888 10806874112 85694 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830568890 10806874112 85694 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 21158 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 830568890 10806874112 85695 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830568890 10806874112 85696 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830568890 10806874112 85696 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830568890 10806874112 85697 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830568890 10806874112 85697 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830568890 10806874112 85698 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830568890 10806874112 85699 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 21158 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 20 0 830568891 10806874112 85699 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 0 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 21158 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 830568891 10806874112 85700 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830568891 10806874112 85701 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830568894 10806874112 85701 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134537649 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10553588 CPUtime=0.83 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 21158 0 -1 4202560 9547 0 0 0 82 1 0 0 15 0 20 0 830568894 10806874112 85702 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10553588 CPUtime=0.64 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 21158 0 -1 4202560 2952 0 0 0 64 0 0 0 15 0 20 0 830568894 10806874112 85703 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830568894 10806874112 85703 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830568894 10806874112 85704 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830568964 10806874112 85704 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.34
Current children cumulated vsize (KiB) 10553588
[startup+6.30151 s]
/proc/loadavg: 3.26 3.49 3.50 3/504 24656
/proc/meminfo: memFree=26835428/32951124 swapFree=41830676/67111528
[pid=24613] ppid=24611 vsize=10553588 CPUtime=8.72 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 21158 0 -1 4202496 193182 0 1 0 850 22 0 0 25 0 22 0 830568887 10806874112 188565 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24613/statm: 2638397 188568 2268 9 0 2629131 0
[pid=24613/tid=24614] ppid=24611 vsize=10553588 CPUtime=0.75 cores=1,3,5,7
/proc/24613/task/24614/stat : 24614 (java) S 24611 24613 21158 0 -1 4202560 54317 0 1 0 69 6 0 0 15 0 22 0 830568888 10806874112 188570 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830568890 10806874112 188573 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 21158 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830568890 10806874112 188575 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830568890 10806874112 188577 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830568890 10806874112 188579 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 21158 0 -1 4202560 184 0 0 0 0 0 0 0 18 0 22 0 830568890 10806874112 188579 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10553588 CPUtime=0.02 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 21158 0 -1 4202560 3588 0 0 0 2 0 0 0 18 0 22 0 830568890 10806874112 188580 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10553588 CPUtime=0.02 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 21158 0 -1 4202560 3456 0 0 0 2 0 0 0 18 0 22 0 830568890 10806874112 188581 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10553588 CPUtime=0.02 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 21158 0 -1 4202560 4548 0 0 0 2 0 0 0 18 0 22 0 830568890 10806874112 188582 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10553588 CPUtime=0.1 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 21158 0 -1 4202560 12828 0 0 0 10 0 0 0 16 0 22 0 830568891 10806874112 188583 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 0 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830568891 10806874112 188584 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 21158 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830568891 10806874112 188585 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830568894 10806874112 188586 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134537649 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10553588 CPUtime=0.93 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 21158 0 -1 4202560 9562 0 0 0 92 1 0 0 16 0 22 0 830568894 10806874112 188587 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10553588 CPUtime=0.77 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 21158 0 -1 4202560 2982 0 0 0 77 0 0 0 16 0 22 0 830568894 10806874112 188588 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=20123164/32951124 swapFree=41830676/67111528
[pid=24613] ppid=24611 vsize=10553588 CPUtime=1596.79 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 21158 0 -1 4202496 1189022 0 1 0 159538 141 0 0 25 0 22 0 830568887 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24613/statm: 2638397 1158995 2269 9 0 2629131 0
[pid=24613/tid=24614] ppid=24611 vsize=10553588 CPUtime=0.76 cores=1,3,5,7
/proc/24613/task/24614/stat : 24614 (java) S 24611 24613 21158 0 -1 4202560 54322 0 1 0 70 6 0 0 15 0 22 0 830568888 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 5 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10553588 CPUtime=1.71 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 21158 0 -1 4202560 53537 0 0 0 164 7 0 0 16 0 22 0 830568890 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10553588 CPUtime=1.25 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 21158 0 -1 4202560 27771 0 0 0 122 3 0 0 16 0 22 0 830568890 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 5 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10553588 CPUtime=1.33 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 21158 0 -1 4202560 25039 0 0 0 130 3 0 0 16 0 22 0 830568890 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10553588 CPUtime=1.43 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 21158 0 -1 4202560 29623 0 0 0 139 4 0 0 16 0 22 0 830568890 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 5 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10553588 CPUtime=1.57 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 21158 0 -1 4202560 25701 0 0 0 154 3 0 0 16 0 22 0 830568890 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 5 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10553588 CPUtime=1.3 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 21158 0 -1 4202560 22381 0 0 0 128 2 0 0 16 0 22 0 830568890 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10553588 CPUtime=1.46 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 21158 0 -1 4202560 44145 0 0 0 139 7 0 0 16 0 22 0 830568890 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10553588 CPUtime=1.2 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 21158 0 -1 4202560 43079 0 0 0 115 5 0 0 16 0 22 0 830568890 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10553588 CPUtime=49.37 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 21158 0 -1 4202560 252604 0 0 0 4915 22 0 0 15 0 22 0 830568891 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 0 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830568891 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 21158 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830568891 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830568894 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134537649 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10553588 CPUtime=1.52 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 21158 0 -1 4202560 9726 0 0 0 151 1 0 0 15 0 22 0 830568894 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10553588 CPUtime=0.9 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 21158 0 -1 4202560 3001 0 0 0 90 0 0 0 16 0 22 0 830568894 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830568894 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 21158 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 830568894 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 5 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830568964 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24660] ppid=24611 vsize=10553588 CPUtime=759.94 cores=1,3,5,7
/proc/24613/task/24660/stat : 24660 (java) R 24611 24613 21158 0 -1 4202560 10864 0 0 0 75993 1 0 0 25 0 22 0 830569928 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 46912505594725 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24613/tid=24661] ppid=24611 vsize=10553588 CPUtime=759.88 cores=1,3,5,7
/proc/24613/task/24661/stat : 24661 (java) R 24611 24613 21158 0 -1 4202560 432909 0 0 0 75938 50 0 0 25 0 22 0 830569928 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 46912506098476 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24662] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24662/stat : 24662 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830569928 10806874112 1158995 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1596.79
Current children cumulated vsize (KiB) 10553588
[startup+882.301 s]
/proc/loadavg: 3.95 3.89 3.71 5/504 24736
/proc/meminfo: memFree=19771848/32951124 swapFree=41830676/67111528
[pid=24613] ppid=24611 vsize=10553588 CPUtime=1713.76 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 21158 0 -1 4202496 1319125 0 1 0 171217 159 0 0 25 0 22 0 830568887 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24613/statm: 2638397 1246634 2269 9 0 2629131 0
[pid=24613/tid=24614] ppid=24611 vsize=10553588 CPUtime=0.76 cores=1,3,5,7
/proc/24613/task/24614/stat : 24614 (java) S 24611 24613 21158 0 -1 4202560 54322 0 1 0 70 6 0 0 15 0 22 0 830568888 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 5 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10553588 CPUtime=1.86 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 21158 0 -1 4202560 70223 0 0 0 177 9 0 0 16 0 22 0 830568890 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10553588 CPUtime=1.32 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 21158 0 -1 4202560 27771 0 0 0 129 3 0 0 15 0 22 0 830568890 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 5 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10553588 CPUtime=1.49 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 21158 0 -1 4202560 37207 0 0 0 143 6 0 0 16 0 22 0 830568890 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10553588 CPUtime=1.59 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 21158 0 -1 4202560 47558 0 0 0 153 6 0 0 16 0 22 0 830568890 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 7 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10553588 CPUtime=1.81 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 21158 0 -1 4202560 59294 0 0 0 174 7 0 0 16 0 22 0 830568890 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 5 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10553588 CPUtime=1.52 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 21158 0 -1 4202560 31831 0 0 0 149 3 0 0 16 0 22 0 830568890 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10553588 CPUtime=1.62 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 21158 0 -1 4202560 60056 0 0 0 154 8 0 0 16 0 22 0 830568890 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10553588 CPUtime=1.3 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 21158 0 -1 4202560 67429 0 0 0 121 9 0 0 16 0 22 0 830568890 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10553588 CPUtime=53.02 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 21158 0 -1 4202560 252608 0 0 0 5280 22 0 0 18 0 22 0 830568891 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 0 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830568891 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 21158 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830568891 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830568894 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134537649 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10553588 CPUtime=1.52 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 21158 0 -1 4202560 9726 0 0 0 151 1 0 0 15 0 22 0 830568894 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10553588 CPUtime=0.9 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 21158 0 -1 4202560 3001 0 0 0 90 0 0 0 16 0 22 0 830568894 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830568894 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 21158 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830568894 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 5 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830568964 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24660] ppid=24611 vsize=10553588 CPUtime=815.98 cores=1,3,5,7
/proc/24613/task/24660/stat : 24660 (java) R 24611 24613 21158 0 -1 4202560 10867 0 0 0 81597 1 0 0 19 0 22 0 830569928 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 46912505594725 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24613/tid=24661] ppid=24611 vsize=10553588 CPUtime=815.92 cores=1,3,5,7
/proc/24613/task/24661/stat : 24661 (java) R 24611 24613 21158 0 -1 4202560 432910 0 0 0 81542 50 0 0 19 0 22 0 830569928 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 46912505923457 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24662] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24662/stat : 24662 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830569928 10806874112 1246634 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1713.76
Current children cumulated vsize (KiB) 10553588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+926.218 s]
/proc/loadavg: 3.92 3.89 3.72 5/504 24737
/proc/meminfo: memFree=19771964/32951124 swapFree=41830676/67111528
[pid=24613] ppid=24611 vsize=10553588 CPUtime=1800.18 cores=1,3,5,7
/proc/24613/stat : 24613 (java) S 24611 24613 21158 0 -1 4202496 1319157 0 1 0 179859 159 0 0 25 0 22 0 830568887 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24613/statm: 2638397 1246656 2269 9 0 2629131 0
[pid=24613/tid=24614] ppid=24611 vsize=10553588 CPUtime=0.76 cores=1,3,5,7
/proc/24613/task/24614/stat : 24614 (java) S 24611 24613 21158 0 -1 4202560 54323 0 1 0 70 6 0 0 15 0 22 0 830568888 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 5 0 0 0
[pid=24613/tid=24616] ppid=24611 vsize=10553588 CPUtime=2 cores=1,3,5,7
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 21158 0 -1 4202560 70231 0 0 0 191 9 0 0 16 0 22 0 830568890 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24617] ppid=24611 vsize=10553588 CPUtime=1.41 cores=1,3,5,7
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 21158 0 -1 4202560 27771 0 0 0 138 3 0 0 16 0 22 0 830568890 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24618] ppid=24611 vsize=10553588 CPUtime=1.56 cores=1,3,5,7
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 21158 0 -1 4202560 37207 0 0 0 150 6 0 0 15 0 22 0 830568890 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24619] ppid=24611 vsize=10553588 CPUtime=1.65 cores=1,3,5,7
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 21158 0 -1 4202560 47558 0 0 0 159 6 0 0 16 0 22 0 830568890 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 5 0 0 0
[pid=24613/tid=24620] ppid=24611 vsize=10553588 CPUtime=1.87 cores=1,3,5,7
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 21158 0 -1 4202560 59308 0 0 0 180 7 0 0 16 0 22 0 830568890 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 5 0 0 0
[pid=24613/tid=24621] ppid=24611 vsize=10553588 CPUtime=1.55 cores=1,3,5,7
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 21158 0 -1 4202560 31831 0 0 0 152 3 0 0 16 0 22 0 830568890 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24622] ppid=24611 vsize=10553588 CPUtime=1.69 cores=1,3,5,7
/proc/24613/task/24622/stat : 24622 (java) S 24611 24613 21158 0 -1 4202560 60056 0 0 0 161 8 0 0 16 0 22 0 830568890 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24623] ppid=24611 vsize=10553588 CPUtime=1.34 cores=1,3,5,7
/proc/24613/task/24623/stat : 24623 (java) S 24611 24613 21158 0 -1 4202560 67429 0 0 0 125 9 0 0 15 0 22 0 830568890 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24624] ppid=24611 vsize=10553588 CPUtime=54.75 cores=1,3,5,7
/proc/24613/task/24624/stat : 24624 (java) S 24611 24613 21158 0 -1 4202560 252612 0 0 0 5453 22 0 0 17 0 22 0 830568891 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 0 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24625] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24625/stat : 24625 (java) S 24611 24613 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830568891 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24626] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24626/stat : 24626 (java) S 24611 24613 21158 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830568891 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24627] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24627/stat : 24627 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830568894 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134537649 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24628] ppid=24611 vsize=10553588 CPUtime=1.52 cores=1,3,5,7
/proc/24613/task/24628/stat : 24628 (java) S 24611 24613 21158 0 -1 4202560 9726 0 0 0 151 1 0 0 15 0 22 0 830568894 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24629] ppid=24611 vsize=10553588 CPUtime=0.9 cores=1,3,5,7
/proc/24613/task/24629/stat : 24629 (java) S 24611 24613 21158 0 -1 4202560 3001 0 0 0 90 0 0 0 16 0 22 0 830568894 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24630] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24630/stat : 24630 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830568894 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134529945 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
[pid=24613/tid=24631] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24631/stat : 24631 (java) S 24611 24613 21158 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830568894 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 5 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) S 24611 24613 21158 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830568964 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 1 0 0 0
[pid=24613/tid=24660] ppid=24611 vsize=10553588 CPUtime=858.05 cores=1,3,5,7
/proc/24613/task/24660/stat : 24660 (java) R 24611 24613 21158 0 -1 4202560 10868 0 0 0 85804 1 0 0 18 0 22 0 830569928 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 46912505800103 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24613/tid=24661] ppid=24611 vsize=10553588 CPUtime=857.99 cores=1,3,5,7
/proc/24613/task/24661/stat : 24661 (java) R 24611 24613 21158 0 -1 4202560 432910 0 0 0 85749 50 0 0 18 0 22 0 830569928 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 46912505923258 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24613/tid=24662] ppid=24611 vsize=10553588 CPUtime=0 cores=1,3,5,7
/proc/24613/task/24662/stat : 24662 (java) S 24611 24613 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830569928 10806874112 1246656 33554432000 1073741824 1073778376 140736380176656 18446744073709551615 228134530560 0 4 0 16800975 18446604455308532672 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10553588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+926.401 s]
/proc/loadavg: 3.92 3.89 3.72 5/504 24737
/proc/meminfo: memFree=19771964/32951124 swapFree=41830676/67111528
[pid=24613] ppid=24611 vsize=0 CPUtime=1800.44 cores=1,3,5,7
/proc/24613/stat : 24613 (java) Z 24611 24613 21158 0 -1 4203548 1319186 0 1 0 179872 172 0 0 17 0 2 0 830568887 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24613/statm: 0 0 0 0 0 0 0
[pid=24613/tid=24634] ppid=24611 vsize=0 CPUtime=0.12 cores=1,3,5,7
/proc/24613/task/24634/stat : 24634 (java) R 24611 24613 21158 0 -1 4203588 7 0 0 0 0 12 0 0 18 0 2 0 830568964 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 926.455
CPU time (s): 1800.5
CPU user time (s): 1798.72
CPU system time (s): 1.77773
CPU usage (%): 194.343
Max. virtual memory (cumulated for all children) (KiB): 10553588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.72
system time used= 1.77773
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1319186
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= 23301
involuntary context switches= 13867
runsolver used 4.46932 second user time and 9.90049 second system time
The end