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-3456431-1307659178/watcher-3456431-1307659178 -o /tmp/evaluation-result-3456431-1307659178/solver-3456431-1307659178 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456431-1307659178.opb
running on 4 cores: 0,2,4,6
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.74 4.68 5.37 2/195 12578
/proc/meminfo: memFree=30560792/32951124 swapFree=67055708/67111528
[pid=12578] ppid=12576 vsize=31604 CPUtime=0 cores=0,2,4,6
/proc/12578/stat : 12578 (java) S 12576 12578 11597 0 -1 4202496 1250 0 0 0 0 0 0 0 25 0 2 0 610109150 32362496 968 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12578/statm: 7901 968 739 9 0 386 0
[pid=12578/tid=12579] ppid=12576 vsize=31604 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12579/stat : 12579 (java) R 12576 12578 11597 0 -1 4202560 149 0 0 0 0 0 0 0 25 0 2 0 610109150 32362496 982 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268660485735 0 0 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0880799 s]
/proc/loadavg: 3.74 4.68 5.37 2/195 12578
/proc/meminfo: memFree=30560792/32951124 swapFree=67055708/67111528
[pid=12578] ppid=12576 vsize=10540100 CPUtime=0.09 cores=0,2,4,6
/proc/12578/stat : 12578 (java) S 12576 12578 11597 0 -1 4202496 12986 0 1 0 8 1 0 0 25 0 18 0 610109150 10793062400 12663 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12578/statm: 2635025 12665 2092 9 0 2625759 0
[pid=12578/tid=12579] ppid=12576 vsize=10540100 CPUtime=0.08 cores=0,2,4,6
/proc/12578/task/12579/stat : 12579 (java) R 12576 12578 11597 0 -1 4202560 11048 0 1 0 7 1 0 0 18 0 18 0 610109150 10793062400 12666 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 47928711611928 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540100
[startup+0.104596 s]
/proc/loadavg: 3.74 4.68 5.37 2/195 12578
/proc/meminfo: memFree=30560792/32951124 swapFree=67055708/67111528
[pid=12578] ppid=12576 vsize=10540100 CPUtime=0.11 cores=0,2,4,6
/proc/12578/stat : 12578 (java) S 12576 12578 11597 0 -1 4202496 13143 0 1 0 10 1 0 0 25 0 18 0 610109150 10793062400 12820 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12578/statm: 2635025 12820 2107 9 0 2625759 0
[pid=12578/tid=12579] ppid=12576 vsize=10540100 CPUtime=0.09 cores=0,2,4,6
/proc/12578/task/12579/stat : 12579 (java) R 12576 12578 11597 0 -1 4202560 11188 0 1 0 8 1 0 0 18 0 18 0 610109150 10793062400 12821 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 47928711611928 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540100
[startup+0.300589 s]
/proc/loadavg: 3.74 4.68 5.37 2/195 12578
/proc/meminfo: memFree=30560792/32951124 swapFree=67055708/67111528
[pid=12578] ppid=12576 vsize=10541748 CPUtime=0.46 cores=0,2,4,6
/proc/12578/stat : 12578 (java) S 12576 12578 11597 0 -1 4202496 20442 0 1 0 44 2 0 0 25 0 18 0 610109150 10794749952 19643 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12578/statm: 2635437 19646 2199 9 0 2626171 0
[pid=12578/tid=12579] ppid=12576 vsize=10541748 CPUtime=0.27 cores=0,2,4,6
/proc/12578/task/12579/stat : 12579 (java) R 12576 12578 11597 0 -1 4202560 17112 0 1 0 26 1 0 0 18 0 18 0 610109150 10794749952 19647 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 46912505573843 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541748
[startup+0.700479 s]
/proc/loadavg: 3.74 4.68 5.37 2/195 12578
/proc/meminfo: memFree=30560792/32951124 swapFree=67055708/67111528
[pid=12578] ppid=12576 vsize=10555660 CPUtime=1.25 cores=0,2,4,6
/proc/12578/stat : 12578 (java) S 12576 12578 11597 0 -1 4202496 45479 0 1 0 119 6 0 0 25 0 18 0 610109150 10808995840 42558 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12578/statm: 2638915 42561 2204 9 0 2629649 0
[pid=12578/tid=12579] ppid=12576 vsize=10555660 CPUtime=0.67 cores=0,2,4,6
/proc/12578/task/12579/stat : 12579 (java) R 12576 12578 11597 0 -1 4202560 35700 0 1 0 63 4 0 0 18 0 18 0 610109150 10808995840 42562 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 46912505542494 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 10555660
[startup+1.50136 s]
/proc/loadavg: 3.74 4.68 5.37 3/213 12596
/proc/meminfo: memFree=29900196/32951124 swapFree=67055708/67111528
[pid=12578] ppid=12576 vsize=10556688 CPUtime=2.2 cores=0,2,4,6
/proc/12578/stat : 12578 (java) S 12576 12578 11597 0 -1 4202496 94530 0 1 0 210 10 0 0 25 0 19 0 610109150 10810048512 91501 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12578/statm: 2639172 91501 2218 9 0 2629906 0
[pid=12578/tid=12579] ppid=12576 vsize=10556688 CPUtime=1.48 cores=0,2,4,6
/proc/12578/task/12579/stat : 12579 (java) R 12576 12578 11597 0 -1 4202560 84606 0 1 0 139 9 0 0 20 0 19 0 610109150 10810048512 91501 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 46912505181658 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12581/stat : 12581 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 91502 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12582] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12582/stat : 12582 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 91502 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12583] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12583/stat : 12583 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 91502 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12584] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12584/stat : 12584 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 91502 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12585] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12585/stat : 12585 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 91502 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12586] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12586/stat : 12586 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 91502 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12587] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12587/stat : 12587 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 91502 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12588] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12588/stat : 12588 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 91503 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12589] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12589/stat : 12589 (java) S 12576 12578 11597 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 610109153 10810048512 91503 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 0 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12590] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12590/stat : 12590 (java) S 12576 12578 11597 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 610109153 10810048512 91503 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12591] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12591/stat : 12591 (java) S 12576 12578 11597 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 610109153 10810048512 91503 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12592] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12592/stat : 12592 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10810048512 91503 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672485809 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12593] ppid=12576 vsize=10556688 CPUtime=0.27 cores=0,2,4,6
/proc/12578/task/12593/stat : 12593 (java) S 12576 12578 11597 0 -1 4202560 2189 0 0 0 27 0 0 0 17 0 19 0 610109155 10810048512 91503 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12594] ppid=12576 vsize=10556688 CPUtime=0.43 cores=0,2,4,6
/proc/12578/task/12594/stat : 12594 (java) R 12576 12578 11597 0 -1 4202560 6577 0 0 0 43 0 0 0 16 0 19 0 610109155 10810048512 91503 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 47928709399922 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12578/tid=12595] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12595/stat : 12595 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10810048512 91504 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12596] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12596/stat : 12596 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 610109155 10810048512 91504 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 10556688
[startup+3.10109 s]
/proc/loadavg: 3.74 4.68 5.37 3/214 12597
/proc/meminfo: memFree=29380132/32951124 swapFree=67055708/67111528
[pid=12578] ppid=12576 vsize=10556688 CPUtime=3.89 cores=0,2,4,6
/proc/12578/stat : 12578 (java) S 12576 12578 11597 0 -1 4202496 99931 0 1 0 378 11 0 0 25 0 19 0 610109150 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12578/statm: 2639172 96785 2220 9 0 2629906 0
[pid=12578/tid=12579] ppid=12576 vsize=10556688 CPUtime=3.07 cores=0,2,4,6
/proc/12578/task/12579/stat : 12579 (java) R 12576 12578 11597 0 -1 4202560 89868 0 1 0 298 9 0 0 20 0 19 0 610109150 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 46912505829579 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12581/stat : 12581 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12582] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12582/stat : 12582 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12583] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12583/stat : 12583 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12584] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12584/stat : 12584 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12585] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12585/stat : 12585 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12586] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12586/stat : 12586 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12587] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12587/stat : 12587 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12588] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12588/stat : 12588 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12589] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12589/stat : 12589 (java) S 12576 12578 11597 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 610109153 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 0 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12590] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12590/stat : 12590 (java) S 12576 12578 11597 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 610109153 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12591] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12591/stat : 12591 (java) S 12576 12578 11597 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 610109153 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12592] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12592/stat : 12592 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672485809 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12593] ppid=12576 vsize=10556688 CPUtime=0.31 cores=0,2,4,6
/proc/12578/task/12593/stat : 12593 (java) S 12576 12578 11597 0 -1 4202560 2313 0 0 0 31 0 0 0 17 0 19 0 610109155 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12594] ppid=12576 vsize=10556688 CPUtime=0.47 cores=0,2,4,6
/proc/12578/task/12594/stat : 12594 (java) S 12576 12578 11597 0 -1 4202560 6589 0 0 0 47 0 0 0 15 0 19 0 610109155 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12595] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12595/stat : 12595 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12596] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12596/stat : 12596 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 610109155 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12597] ppid=12576 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12597/stat : 12597 (java) S 12576 12578 11597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 610109297 10810048512 96785 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 10556688
[startup+6.30152 s]
/proc/loadavg: 3.60 4.63 5.35 3/214 12597
/proc/meminfo: memFree=29263480/32951124 swapFree=67055708/67111528
[pid=12578] ppid=12576 vsize=10552428 CPUtime=7.4 cores=0,2,4,6
/proc/12578/stat : 12578 (java) S 12576 12578 11597 0 -1 4202496 178099 0 1 0 720 20 0 0 25 0 19 0 610109150 10805686272 172972 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12578/statm: 2638107 172982 2226 9 0 2628841 0
[pid=12578/tid=12579] ppid=12576 vsize=10552428 CPUtime=6.28 cores=0,2,4,6
/proc/12578/task/12579/stat : 12579 (java) R 12576 12578 11597 0 -1 4202560 167107 0 1 0 609 19 0 0 21 0 19 0 610109150 10805686272 172986 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 46912505881614 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12581/stat : 12581 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10805686272 172992 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12582] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12582/stat : 12582 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10805686272 172998 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12583] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12583/stat : 12583 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10805686272 173004 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12584] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12584/stat : 12584 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10805686272 173004 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12585] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12585/stat : 12585 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10805686272 173004 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12586] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12586/stat : 12586 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10805686272 173004 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12587] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12587/stat : 12587 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10805686272 173006 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12588] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12588/stat : 12588 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109152 10805686272 173012 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12589] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12589/stat : 12589 (java) S 12576 12578 11597 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 610109153 10805686272 173017 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 0 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12590] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12590/stat : 12590 (java) S 12576 12578 11597 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 610109153 10805686272 173022 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12591] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12591/stat : 12591 (java) S 12576 12578 11597 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 610109153 10805686272 173028 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12592] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12592/stat : 12592 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10805686272 173034 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672485809 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12593] ppid=12576 vsize=10552428 CPUtime=0.47 cores=0,2,4,6
/proc/12578/task/12593/stat : 12593 (java) S 12576 12578 11597 0 -1 4202560 3221 0 0 0 47 0 0 0 15 0 19 0 610109155 10805686272 173037 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12594] ppid=12576 vsize=10552428 CPUtime=0.63 cores=0,2,4,6
/proc/12578/task/12594/stat : 12594 (java) S 12576 12578 11597 0 -1 4202560 6623 0 0 0 63 0 0 0 15 0 19 0 610109155 10805686272 173037 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12595] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12595/stat : 12595 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10805686272 173037 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/12578/task/12590/stat : 12590 (java) S 12576 12578 11597 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 610109153 10805686272 943144 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12591] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12591/stat : 12591 (java) S 12576 12578 11597 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 610109153 10805686272 943144 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12592] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12592/stat : 12592 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10805686272 943144 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672485809 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12593] ppid=12576 vsize=10552428 CPUtime=0.49 cores=0,2,4,6
/proc/12578/task/12593/stat : 12593 (java) S 12576 12578 11597 0 -1 4202560 3223 0 0 0 49 0 0 0 16 0 19 0 610109155 10805686272 943144 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12594] ppid=12576 vsize=10552428 CPUtime=0.97 cores=0,2,4,6
/proc/12578/task/12594/stat : 12594 (java) S 12576 12578 11597 0 -1 4202560 6706 0 0 0 97 0 0 0 15 0 19 0 610109155 10805686272 943144 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12595] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12595/stat : 12595 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10805686272 943144 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12596] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12596/stat : 12596 (java) S 12576 12578 11597 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 610109155 10805686272 943144 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 4 0 16800975 18446604453961248832 0 0 -1 2 0 0 0
[pid=12578/tid=12597] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12597/stat : 12597 (java) S 12576 12578 11597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 610109297 10805686272 943144 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1667.37
Current children cumulated vsize (KiB) 10552428
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.51 3/214 12654
/proc/meminfo: memFree=24876680/32951124 swapFree=67055708/67111528
[pid=12578] ppid=12576 vsize=10552428 CPUtime=1727.45 cores=0,2,4,6
/proc/12578/stat : 12578 (java) S 12576 12578 11597 0 -1 4202496 950993 0 1 0 172635 110 0 0 25 0 19 0 610109150 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12578/statm: 2638107 943684 2241 9 0 2628841 0
[pid=12578/tid=12579] ppid=12576 vsize=10552428 CPUtime=1720.55 cores=0,2,4,6
/proc/12578/task/12579/stat : 12579 (java) R 12576 12578 11597 0 -1 4202560 798212 0 1 0 171973 82 0 0 25 0 19 0 610109150 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 46912506067981 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=10552428 CPUtime=0.69 cores=0,2,4,6
/proc/12578/task/12581/stat : 12581 (java) S 12576 12578 11597 0 -1 4202560 18847 0 0 0 67 2 0 0 15 0 19 0 610109152 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12582] ppid=12576 vsize=10552428 CPUtime=0.61 cores=0,2,4,6
/proc/12578/task/12582/stat : 12582 (java) S 12576 12578 11597 0 -1 4202560 18590 0 0 0 58 3 0 0 15 0 19 0 610109152 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12583] ppid=12576 vsize=10552428 CPUtime=0.5 cores=0,2,4,6
/proc/12578/task/12583/stat : 12583 (java) S 12576 12578 11597 0 -1 4202560 7891 0 0 0 49 1 0 0 15 0 19 0 610109152 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12584] ppid=12576 vsize=10552428 CPUtime=0.74 cores=0,2,4,6
/proc/12578/task/12584/stat : 12584 (java) S 12576 12578 11597 0 -1 4202560 21691 0 0 0 71 3 0 0 15 0 19 0 610109152 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12585] ppid=12576 vsize=10552428 CPUtime=0.71 cores=0,2,4,6
/proc/12578/task/12585/stat : 12585 (java) S 12576 12578 11597 0 -1 4202560 21730 0 0 0 68 3 0 0 16 0 19 0 610109152 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12586] ppid=12576 vsize=10552428 CPUtime=0.61 cores=0,2,4,6
/proc/12578/task/12586/stat : 12586 (java) S 12576 12578 11597 0 -1 4202560 14526 0 0 0 59 2 0 0 15 0 19 0 610109152 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 2 0 0 0
[pid=12578/tid=12587] ppid=12576 vsize=10552428 CPUtime=0.69 cores=0,2,4,6
/proc/12578/task/12587/stat : 12587 (java) S 12576 12578 11597 0 -1 4202560 20223 0 0 0 66 3 0 0 16 0 19 0 610109152 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12588] ppid=12576 vsize=10552428 CPUtime=0.69 cores=0,2,4,6
/proc/12578/task/12588/stat : 12588 (java) S 12576 12578 11597 0 -1 4202560 17990 0 0 0 67 2 0 0 16 0 19 0 610109152 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12589] ppid=12576 vsize=10552428 CPUtime=0.07 cores=0,2,4,6
/proc/12578/task/12589/stat : 12589 (java) S 12576 12578 11597 0 -1 4202560 112 0 0 0 4 3 0 0 15 0 19 0 610109153 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 0 0 16800975 18446604453961248832 0 0 -1 2 0 0 0
[pid=12578/tid=12590] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12590/stat : 12590 (java) S 12576 12578 11597 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 610109153 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12591] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12591/stat : 12591 (java) S 12576 12578 11597 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 610109153 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12592] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12592/stat : 12592 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672485809 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12593] ppid=12576 vsize=10552428 CPUtime=0.49 cores=0,2,4,6
/proc/12578/task/12593/stat : 12593 (java) S 12576 12578 11597 0 -1 4202560 3223 0 0 0 49 0 0 0 16 0 19 0 610109155 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12594] ppid=12576 vsize=10552428 CPUtime=0.97 cores=0,2,4,6
/proc/12578/task/12594/stat : 12594 (java) S 12576 12578 11597 0 -1 4202560 6706 0 0 0 97 0 0 0 15 0 19 0 610109155 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12595] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12595/stat : 12595 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12596] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12596/stat : 12596 (java) S 12576 12578 11597 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 610109155 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 4 0 16800975 18446604453961248832 0 0 -1 2 0 0 0
[pid=12578/tid=12597] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12597/stat : 12597 (java) S 12576 12578 11597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 610109297 10805686272 943684 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.45
Current children cumulated vsize (KiB) 10552428
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.48 3/214 12656
/proc/meminfo: memFree=24871064/32951124 swapFree=67055708/67111528
[pid=12578] ppid=12576 vsize=10552428 CPUtime=1787.52 cores=0,2,4,6
/proc/12578/stat : 12578 (java) S 12576 12578 11597 0 -1 4202496 951771 0 1 0 178641 111 0 0 25 0 19 0 610109150 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12578/statm: 2638107 944447 2241 9 0 2628841 0
[pid=12578/tid=12579] ppid=12576 vsize=10552428 CPUtime=1780.51 cores=0,2,4,6
/proc/12578/task/12579/stat : 12579 (java) R 12576 12578 11597 0 -1 4202560 798223 0 1 0 177969 82 0 0 25 0 19 0 610109150 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 46912505892903 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=10552428 CPUtime=0.7 cores=0,2,4,6
/proc/12578/task/12581/stat : 12581 (java) S 12576 12578 11597 0 -1 4202560 18905 0 0 0 68 2 0 0 15 0 19 0 610109152 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12582] ppid=12576 vsize=10552428 CPUtime=0.63 cores=0,2,4,6
/proc/12578/task/12582/stat : 12582 (java) S 12576 12578 11597 0 -1 4202560 18832 0 0 0 60 3 0 0 15 0 19 0 610109152 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12583] ppid=12576 vsize=10552428 CPUtime=0.51 cores=0,2,4,6
/proc/12578/task/12583/stat : 12583 (java) S 12576 12578 11597 0 -1 4202560 8079 0 0 0 50 1 0 0 15 0 19 0 610109152 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12584] ppid=12576 vsize=10552428 CPUtime=0.75 cores=0,2,4,6
/proc/12578/task/12584/stat : 12584 (java) S 12576 12578 11597 0 -1 4202560 21699 0 0 0 72 3 0 0 16 0 19 0 610109152 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12585] ppid=12576 vsize=10552428 CPUtime=0.72 cores=0,2,4,6
/proc/12578/task/12585/stat : 12585 (java) S 12576 12578 11597 0 -1 4202560 21911 0 0 0 69 3 0 0 16 0 19 0 610109152 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12586] ppid=12576 vsize=10552428 CPUtime=0.63 cores=0,2,4,6
/proc/12578/task/12586/stat : 12586 (java) S 12576 12578 11597 0 -1 4202560 14604 0 0 0 61 2 0 0 16 0 19 0 610109152 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 2 0 0 0
[pid=12578/tid=12587] ppid=12576 vsize=10552428 CPUtime=0.7 cores=0,2,4,6
/proc/12578/task/12587/stat : 12587 (java) S 12576 12578 11597 0 -1 4202560 20226 0 0 0 67 3 0 0 16 0 19 0 610109152 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12588] ppid=12576 vsize=10552428 CPUtime=0.7 cores=0,2,4,6
/proc/12578/task/12588/stat : 12588 (java) S 12576 12578 11597 0 -1 4202560 17995 0 0 0 68 2 0 0 15 0 19 0 610109152 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12589] ppid=12576 vsize=10552428 CPUtime=0.08 cores=0,2,4,6
/proc/12578/task/12589/stat : 12589 (java) S 12576 12578 11597 0 -1 4202560 114 0 0 0 5 3 0 0 15 0 19 0 610109153 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 0 0 16800975 18446604453961248832 0 0 -1 2 0 0 0
[pid=12578/tid=12590] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12590/stat : 12590 (java) S 12576 12578 11597 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 610109153 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12591] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12591/stat : 12591 (java) S 12576 12578 11597 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 610109153 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12592] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12592/stat : 12592 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672485809 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12593] ppid=12576 vsize=10552428 CPUtime=0.49 cores=0,2,4,6
/proc/12578/task/12593/stat : 12593 (java) S 12576 12578 11597 0 -1 4202560 3223 0 0 0 49 0 0 0 16 0 19 0 610109155 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12594] ppid=12576 vsize=10552428 CPUtime=0.97 cores=0,2,4,6
/proc/12578/task/12594/stat : 12594 (java) S 12576 12578 11597 0 -1 4202560 6706 0 0 0 97 0 0 0 15 0 19 0 610109155 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12595] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12595/stat : 12595 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12596] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12596/stat : 12596 (java) S 12576 12578 11597 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 610109155 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 4 0 16800975 18446604453961248832 0 0 -1 2 0 0 0
[pid=12578/tid=12597] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12597/stat : 12597 (java) S 12576 12578 11597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 610109297 10805686272 944447 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.52
Current children cumulated vsize (KiB) 10552428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.8 s]
/proc/loadavg: 1.96 2.00 2.46 3/214 12715
/proc/meminfo: memFree=28192484/32951124 swapFree=67055708/67111528
[pid=12578] ppid=12576 vsize=10552428 CPUtime=1800.04 cores=0,2,4,6
/proc/12578/stat : 12578 (java) S 12576 12578 11597 0 -1 4202496 951783 0 1 0 179893 111 0 0 25 0 19 0 610109150 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12578/statm: 2638107 944453 2241 9 0 2628841 0
[pid=12578/tid=12579] ppid=12576 vsize=10552428 CPUtime=1793.01 cores=0,2,4,6
/proc/12578/task/12579/stat : 12579 (java) R 12576 12578 11597 0 -1 4202560 798225 0 1 0 179219 82 0 0 25 0 19 0 610109150 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 46912505892900 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12578/tid=12581] ppid=12576 vsize=10552428 CPUtime=0.7 cores=0,2,4,6
/proc/12578/task/12581/stat : 12581 (java) S 12576 12578 11597 0 -1 4202560 18906 0 0 0 68 2 0 0 15 0 19 0 610109152 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12582] ppid=12576 vsize=10552428 CPUtime=0.63 cores=0,2,4,6
/proc/12578/task/12582/stat : 12582 (java) S 12576 12578 11597 0 -1 4202560 18832 0 0 0 60 3 0 0 15 0 19 0 610109152 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12583] ppid=12576 vsize=10552428 CPUtime=0.51 cores=0,2,4,6
/proc/12578/task/12583/stat : 12583 (java) S 12576 12578 11597 0 -1 4202560 8079 0 0 0 50 1 0 0 16 0 19 0 610109152 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12584] ppid=12576 vsize=10552428 CPUtime=0.76 cores=0,2,4,6
/proc/12578/task/12584/stat : 12584 (java) S 12576 12578 11597 0 -1 4202560 21700 0 0 0 73 3 0 0 16 0 19 0 610109152 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12585] ppid=12576 vsize=10552428 CPUtime=0.72 cores=0,2,4,6
/proc/12578/task/12585/stat : 12585 (java) S 12576 12578 11597 0 -1 4202560 21912 0 0 0 69 3 0 0 16 0 19 0 610109152 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12586] ppid=12576 vsize=10552428 CPUtime=0.64 cores=0,2,4,6
/proc/12578/task/12586/stat : 12586 (java) S 12576 12578 11597 0 -1 4202560 14606 0 0 0 62 2 0 0 16 0 19 0 610109152 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 2 0 0 0
[pid=12578/tid=12587] ppid=12576 vsize=10552428 CPUtime=0.7 cores=0,2,4,6
/proc/12578/task/12587/stat : 12587 (java) S 12576 12578 11597 0 -1 4202560 20226 0 0 0 67 3 0 0 15 0 19 0 610109152 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12588] ppid=12576 vsize=10552428 CPUtime=0.7 cores=0,2,4,6
/proc/12578/task/12588/stat : 12588 (java) S 12576 12578 11597 0 -1 4202560 17996 0 0 0 68 2 0 0 16 0 19 0 610109152 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12589] ppid=12576 vsize=10552428 CPUtime=0.08 cores=0,2,4,6
/proc/12578/task/12589/stat : 12589 (java) S 12576 12578 11597 0 -1 4202560 116 0 0 0 5 3 0 0 15 0 19 0 610109153 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 0 0 16800975 18446604453961248832 0 0 -1 2 0 0 0
[pid=12578/tid=12590] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12590/stat : 12590 (java) S 12576 12578 11597 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 610109153 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12591] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12591/stat : 12591 (java) S 12576 12578 11597 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 610109153 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12592] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12592/stat : 12592 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672485809 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12593] ppid=12576 vsize=10552428 CPUtime=0.49 cores=0,2,4,6
/proc/12578/task/12593/stat : 12593 (java) S 12576 12578 11597 0 -1 4202560 3223 0 0 0 49 0 0 0 16 0 19 0 610109155 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 0 0 0 0
[pid=12578/tid=12594] ppid=12576 vsize=10552428 CPUtime=0.97 cores=0,2,4,6
/proc/12578/task/12594/stat : 12594 (java) S 12576 12578 11597 0 -1 4202560 6706 0 0 0 97 0 0 0 15 0 19 0 610109155 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 4 0 0 0
[pid=12578/tid=12595] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12595/stat : 12595 (java) S 12576 12578 11597 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 610109155 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478105 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
[pid=12578/tid=12596] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12596/stat : 12596 (java) S 12576 12578 11597 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 610109155 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 4 0 16800975 18446604453961248832 0 0 -1 2 0 0 0
[pid=12578/tid=12597] ppid=12576 vsize=10552428 CPUtime=0 cores=0,2,4,6
/proc/12578/task/12597/stat : 12597 (java) S 12576 12578 11597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 610109297 10805686272 944453 33554432000 1073741824 1073778376 140733724534480 18446744073709551615 268672478720 0 4 0 16800975 18446604453961248832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10552428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.91 s]
/proc/loadavg: 1.96 2.00 2.46 3/214 12715
/proc/meminfo: memFree=28192484/32951124 swapFree=67055708/67111528
[pid=12578] ppid=12576 vsize=0 CPUtime=1800.14 cores=0,2,4,6
/proc/12578/stat : 12578 (java) Z 12576 12578 11597 0 -1 4203548 951811 0 1 0 179894 120 0 0 17 0 2 0 610109150 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12578/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.96
CPU time (s): 1800.2
CPU user time (s): 1798.94
CPU system time (s): 1.25481
CPU usage (%): 100.292
Max. virtual memory (cumulated for all children) (KiB): 10556688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.25481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 951811
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= 45914
involuntary context switches= 31051
runsolver used 3.23051 second user time and 6.573 second system time
The end