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-3456934-1307205908/watcher-3456934-1307205908 -o /tmp/evaluation-result-3456934-1307205908/solver-3456934-1307205908 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456934-1307205908.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: 1.02 1.02 0.98 2/409 12557
/proc/meminfo: memFree=26007696/32950928 swapFree=52006644/67111528
[pid=12557] ppid=12555 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/12557/stat : 12557 (java) S 12555 12557 12126 0 -1 4202496 1164 0 0 0 0 0 0 0 25 0 2 0 288200214 26714112 893 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12557/statm: 6522 896 682 9 0 381 0
[pid=12557/tid=12558] ppid=12555 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12558/stat : 12558 (java) R 12555 12557 12126 0 -1 4202560 752 0 1 0 0 0 0 0 25 0 2 0 288200215 10681323520 1567 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0839351 s]
/proc/loadavg: 1.02 1.02 0.98 2/409 12557
/proc/meminfo: memFree=26007696/32950928 swapFree=52006644/67111528
[pid=12557] ppid=12555 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/12557/stat : 12557 (java) S 12555 12557 12126 0 -1 4202496 11970 0 1 0 5 1 0 0 25 0 18 0 288200214 10724442112 11667 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12557/statm: 2618272 11667 1755 9 0 2609006 0
[pid=12557/tid=12558] ppid=12555 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/12557/task/12558/stat : 12558 (java) R 12555 12557 12126 0 -1 4202560 10798 0 1 0 5 1 0 0 25 0 18 0 288200215 10724442112 11668 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892391883 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100952 s]
/proc/loadavg: 1.02 1.02 0.98 2/409 12557
/proc/meminfo: memFree=26007696/32950928 swapFree=52006644/67111528
[pid=12557] ppid=12555 vsize=10540320 CPUtime=0.09 cores=0,2,4,6
/proc/12557/stat : 12557 (java) S 12555 12557 12126 0 -1 4202496 13009 0 1 0 8 1 0 0 25 0 18 0 288200214 10793287680 12696 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12557/statm: 2635080 12696 2092 9 0 2625814 0
[pid=12557/tid=12558] ppid=12555 vsize=10540320 CPUtime=0.07 cores=0,2,4,6
/proc/12557/task/12558/stat : 12558 (java) R 12555 12557 12126 0 -1 4202560 11070 0 1 0 6 1 0 0 25 0 18 0 288200215 10793287680 12697 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 47045591706451 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540320
[startup+0.314366 s]
/proc/loadavg: 1.02 1.02 0.98 2/409 12557
/proc/meminfo: memFree=26007696/32950928 swapFree=52006644/67111528
[pid=12557] ppid=12555 vsize=10554476 CPUtime=1.6 cores=0,2,4,6
/proc/12557/stat : 12557 (java) S 12555 12557 12126 0 -1 4202496 52281 0 1 0 153 7 0 0 25 0 19 0 288200214 10807783424 49029 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12557/statm: 2638619 49032 2219 9 0 2629353 0
[pid=12557/tid=12558] ppid=12555 vsize=10554476 CPUtime=0.63 cores=0,2,4,6
/proc/12557/task/12558/stat : 12558 (java) R 12555 12557 12126 0 -1 4202560 40445 0 1 0 59 4 0 0 18 0 19 0 288200215 10807783424 49034 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 46912505623434 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10554476
[startup+0.749535 s]
/proc/loadavg: 1.02 1.02 0.98 2/409 12557
/proc/meminfo: memFree=26007696/32950928 swapFree=52006644/67111528
[pid=12557] ppid=12555 vsize=10554476 CPUtime=1.76 cores=0,2,4,6
/proc/12557/stat : 12557 (java) S 12555 12557 12126 0 -1 4202496 60340 0 1 0 168 8 0 0 25 0 19 0 288200214 10807783424 57088 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12557/statm: 2638619 57089 2222 9 0 2629353 0
[pid=12557/tid=12558] ppid=12555 vsize=10554476 CPUtime=0.72 cores=0,2,4,6
/proc/12557/task/12558/stat : 12558 (java) R 12555 12557 12126 0 -1 4202560 48487 0 1 0 66 6 0 0 18 0 19 0 288200215 10807783424 57089 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 47045591706451 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 10554476
[startup+1.50169 s]
/proc/loadavg: 1.02 1.02 0.98 2/428 12576
/proc/meminfo: memFree=25532876/32950928 swapFree=52006644/67111528
[pid=12557] ppid=12555 vsize=10554476 CPUtime=2.68 cores=0,2,4,6
/proc/12557/stat : 12557 (java) S 12555 12557 12126 0 -1 4202496 147253 0 1 0 250 18 0 0 25 0 19 0 288200214 10807783424 144000 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12557/statm: 2638619 144001 2225 9 0 2629353 0
[pid=12557/tid=12558] ppid=12555 vsize=10554476 CPUtime=1.48 cores=0,2,4,6
/proc/12557/task/12558/stat : 12558 (java) R 12555 12557 12126 0 -1 4202560 135380 0 1 0 132 16 0 0 18 0 19 0 288200215 10807783424 144002 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 46912505883389 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12557/tid=12560] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12560/stat : 12560 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 144004 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12561] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12561/stat : 12561 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 144006 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12562] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12562/stat : 12562 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 144007 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12563] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12563/stat : 12563 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 144009 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12564] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12564/stat : 12564 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 144010 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12565] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12565/stat : 12565 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 144012 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12566] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12566/stat : 12566 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 144016 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12567] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12567/stat : 12567 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 144020 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12568] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12568/stat : 12568 (java) S 12555 12557 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 288200217 10807783424 144026 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 0 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12569] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12569/stat : 12569 (java) S 12555 12557 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 288200218 10807783424 144031 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12570] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12570/stat : 12570 (java) S 12555 12557 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 288200218 10807783424 144036 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12571] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12571/stat : 12571 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200220 10807783424 144040 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892388785 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12572] ppid=12555 vsize=10554476 CPUtime=0.53 cores=0,2,4,6
/proc/12557/task/12572/stat : 12572 (java) S 12555 12557 12126 0 -1 4202560 5828 0 0 0 52 1 0 0 15 0 19 0 288200220 10807783424 144046 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12573] ppid=12555 vsize=10554476 CPUtime=0.65 cores=0,2,4,6
/proc/12557/task/12573/stat : 12573 (java) S 12555 12557 12126 0 -1 4202560 4888 0 0 0 65 0 0 0 21 0 19 0 288200220 10807783424 144051 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12574] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12574/stat : 12574 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200220 10807783424 144055 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12575] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12575/stat : 12575 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 288200220 10807783424 144060 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12576] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12576/stat : 12576 (java) S 12555 12557 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 288200231 10807783424 144065 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10554476
[startup+3.1014 s]
/proc/loadavg: 1.02 1.02 0.98 2/428 12576
/proc/meminfo: memFree=25041960/32950928 swapFree=52006644/67111528
[pid=12557] ppid=12555 vsize=10554476 CPUtime=4.31 cores=0,2,4,6
/proc/12557/stat : 12557 (java) S 12555 12557 12126 0 -1 4202496 321233 0 1 0 393 38 0 0 25 0 19 0 288200214 10807783424 317979 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12557/statm: 2638619 317980 2225 9 0 2629353 0
[pid=12557/tid=12558] ppid=12555 vsize=10554476 CPUtime=3.07 cores=0,2,4,6
/proc/12557/task/12558/stat : 12558 (java) R 12555 12557 12126 0 -1 4202560 309354 0 1 0 272 35 0 0 19 0 19 0 288200215 10807783424 317980 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 46912505538602 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12557/tid=12560] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12560/stat : 12560 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 317980 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12561] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12561/stat : 12561 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 317981 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12562] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12562/stat : 12562 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 317981 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12563] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12563/stat : 12563 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 317983 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12564] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12564/stat : 12564 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 317983 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12565] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12565/stat : 12565 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 317983 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12566] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12566/stat : 12566 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 317983 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12567] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12567/stat : 12567 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 317983 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12568] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12568/stat : 12568 (java) S 12555 12557 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 288200217 10807783424 317985 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 0 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12569] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12569/stat : 12569 (java) S 12555 12557 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 288200218 10807783424 317986 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12570] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12570/stat : 12570 (java) S 12555 12557 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 288200218 10807783424 317986 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12571] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12571/stat : 12571 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200220 10807783424 317986 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892388785 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12572] ppid=12555 vsize=10554476 CPUtime=0.53 cores=0,2,4,6
/proc/12557/task/12572/stat : 12572 (java) S 12555 12557 12126 0 -1 4202560 5828 0 0 0 52 1 0 0 15 0 19 0 288200220 10807783424 317986 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12573] ppid=12555 vsize=10554476 CPUtime=0.68 cores=0,2,4,6
/proc/12557/task/12573/stat : 12573 (java) S 12555 12557 12126 0 -1 4202560 4893 0 0 0 68 0 0 0 15 0 19 0 288200220 10807783424 317987 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12574] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12574/stat : 12574 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200220 10807783424 317988 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12575] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12575/stat : 12575 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 288200220 10807783424 317988 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12576] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12576/stat : 12576 (java) S 12555 12557 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 288200231 10807783424 317988 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 10554476
[startup+6.30084 s]
/proc/loadavg: 1.02 1.02 0.98 2/428 12576
/proc/meminfo: memFree=23676712/32950928 swapFree=52006644/67111528
[pid=12557] ppid=12555 vsize=10554476 CPUtime=7.5 cores=0,2,4,6
/proc/12557/stat : 12557 (java) S 12555 12557 12126 0 -1 4202496 622523 0 1 0 684 66 0 0 25 0 19 0 288200214 10807783424 619151 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12557/statm: 2638619 619151 2226 9 0 2629353 0
[pid=12557/tid=12558] ppid=12555 vsize=10554476 CPUtime=6.27 cores=0,2,4,6
/proc/12557/task/12558/stat : 12558 (java) R 12555 12557 12126 0 -1 4202560 610642 0 1 0 563 64 0 0 20 0 19 0 288200215 10807783424 619151 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 46912505964953 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12557/tid=12560] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12560/stat : 12560 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 619151 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12561] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12561/stat : 12561 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 619151 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12562] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12562/stat : 12562 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 619151 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12563] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12563/stat : 12563 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 619151 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12564] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12564/stat : 12564 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 619152 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12565] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12565/stat : 12565 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 619152 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12566] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12566/stat : 12566 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 619152 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12567] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12567/stat : 12567 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200216 10807783424 619153 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12568] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12568/stat : 12568 (java) S 12555 12557 12126 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 288200217 10807783424 619153 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 0 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12569] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12569/stat : 12569 (java) S 12555 12557 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 288200218 10807783424 619153 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12570] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12570/stat : 12570 (java) S 12555 12557 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 288200218 10807783424 619158 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12571] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12571/stat : 12571 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200220 10807783424 619164 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892388785 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12572] ppid=12555 vsize=10554476 CPUtime=0.53 cores=0,2,4,6
/proc/12557/task/12572/stat : 12572 (java) S 12555 12557 12126 0 -1 4202560 5828 0 0 0 52 1 0 0 15 0 19 0 288200220 10807783424 619164 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12573] ppid=12555 vsize=10554476 CPUtime=0.68 cores=0,2,4,6
/proc/12557/task/12573/stat : 12573 (java) S 12555 12557 12126 0 -1 4202560 4893 0 0 0 68 0 0 0 15 0 19 0 288200220 10807783424 619165 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/12557/task/12570/stat : 12570 (java) S 12555 12557 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 288200218 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12571] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12571/stat : 12571 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892388785 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12572] ppid=12555 vsize=10554476 CPUtime=0.54 cores=0,2,4,6
/proc/12557/task/12572/stat : 12572 (java) S 12555 12557 12126 0 -1 4202560 5829 0 0 0 53 1 0 0 16 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12573] ppid=12555 vsize=10554476 CPUtime=0.69 cores=0,2,4,6
/proc/12557/task/12573/stat : 12573 (java) S 12555 12557 12126 0 -1 4202560 4899 0 0 0 69 0 0 0 15 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12574] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12574/stat : 12574 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12575] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12575/stat : 12575 (java) S 12555 12557 12126 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12576] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12576/stat : 12576 (java) S 12555 12557 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 288200231 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.26
Current children cumulated vsize (KiB) 10554476
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/428 12634
/proc/meminfo: memFree=22166204/32950928 swapFree=52006644/67111528
[pid=12557] ppid=12555 vsize=10554476 CPUtime=1724.25 cores=0,2,4,6
/proc/12557/stat : 12557 (java) S 12555 12557 12126 0 -1 4202496 974350 0 1 0 172308 117 0 0 25 0 19 0 288200214 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12557/statm: 2638619 959788 2239 9 0 2629353 0
[pid=12557/tid=12558] ppid=12555 vsize=10554476 CPUtime=1721.9 cores=0,2,4,6
/proc/12557/task/12558/stat : 12558 (java) R 12555 12557 12126 0 -1 4202560 771244 0 1 0 172110 80 0 0 25 0 19 0 288200215 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 46912505965357 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12557/tid=12560] ppid=12555 vsize=10554476 CPUtime=0.11 cores=0,2,4,6
/proc/12557/task/12560/stat : 12560 (java) S 12555 12557 12126 0 -1 4202560 19524 0 0 0 8 3 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 4 0 0 0
[pid=12557/tid=12561] ppid=12555 vsize=10554476 CPUtime=0.06 cores=0,2,4,6
/proc/12557/task/12561/stat : 12561 (java) S 12555 12557 12126 0 -1 4202560 8916 0 0 0 5 1 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12562] ppid=12555 vsize=10554476 CPUtime=0.15 cores=0,2,4,6
/proc/12557/task/12562/stat : 12562 (java) S 12555 12557 12126 0 -1 4202560 36176 0 0 0 10 5 0 0 15 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12563] ppid=12555 vsize=10554476 CPUtime=0.1 cores=0,2,4,6
/proc/12557/task/12563/stat : 12563 (java) S 12555 12557 12126 0 -1 4202560 16084 0 0 0 8 2 0 0 15 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12564] ppid=12555 vsize=10554476 CPUtime=0.13 cores=0,2,4,6
/proc/12557/task/12564/stat : 12564 (java) S 12555 12557 12126 0 -1 4202560 29333 0 0 0 8 5 0 0 15 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12565] ppid=12555 vsize=10554476 CPUtime=0.19 cores=0,2,4,6
/proc/12557/task/12565/stat : 12565 (java) S 12555 12557 12126 0 -1 4202560 30347 0 0 0 14 5 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12566] ppid=12555 vsize=10554476 CPUtime=0.12 cores=0,2,4,6
/proc/12557/task/12566/stat : 12566 (java) S 12555 12557 12126 0 -1 4202560 19540 0 0 0 9 3 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12567] ppid=12555 vsize=10554476 CPUtime=0.15 cores=0,2,4,6
/proc/12557/task/12567/stat : 12567 (java) S 12555 12557 12126 0 -1 4202560 31159 0 0 0 10 5 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12568] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12568/stat : 12568 (java) S 12555 12557 12126 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 288200217 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 0 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12569] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12569/stat : 12569 (java) S 12555 12557 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 288200218 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12570] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12570/stat : 12570 (java) S 12555 12557 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 288200218 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12571] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12571/stat : 12571 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892388785 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12572] ppid=12555 vsize=10554476 CPUtime=0.54 cores=0,2,4,6
/proc/12557/task/12572/stat : 12572 (java) S 12555 12557 12126 0 -1 4202560 5829 0 0 0 53 1 0 0 16 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12573] ppid=12555 vsize=10554476 CPUtime=0.69 cores=0,2,4,6
/proc/12557/task/12573/stat : 12573 (java) S 12555 12557 12126 0 -1 4202560 4899 0 0 0 69 0 0 0 15 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12574] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12574/stat : 12574 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12575] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12575/stat : 12575 (java) S 12555 12557 12126 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12576] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12576/stat : 12576 (java) S 12555 12557 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 288200231 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.25
Current children cumulated vsize (KiB) 10554476
[startup+1782.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/428 12636
/proc/meminfo: memFree=22165452/32950928 swapFree=52006644/67111528
[pid=12557] ppid=12555 vsize=10554476 CPUtime=1784.26 cores=0,2,4,6
/proc/12557/stat : 12557 (java) S 12555 12557 12126 0 -1 4202496 974352 0 1 0 178309 117 0 0 25 0 19 0 288200214 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12557/statm: 2638619 959788 2239 9 0 2629353 0
[pid=12557/tid=12558] ppid=12555 vsize=10554476 CPUtime=1781.92 cores=0,2,4,6
/proc/12557/task/12558/stat : 12558 (java) R 12555 12557 12126 0 -1 4202560 771244 0 1 0 178111 81 0 0 25 0 19 0 288200215 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 46912505964924 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12557/tid=12560] ppid=12555 vsize=10554476 CPUtime=0.11 cores=0,2,4,6
/proc/12557/task/12560/stat : 12560 (java) S 12555 12557 12126 0 -1 4202560 19524 0 0 0 8 3 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 4 0 0 0
[pid=12557/tid=12561] ppid=12555 vsize=10554476 CPUtime=0.06 cores=0,2,4,6
/proc/12557/task/12561/stat : 12561 (java) S 12555 12557 12126 0 -1 4202560 8916 0 0 0 5 1 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12562] ppid=12555 vsize=10554476 CPUtime=0.15 cores=0,2,4,6
/proc/12557/task/12562/stat : 12562 (java) S 12555 12557 12126 0 -1 4202560 36176 0 0 0 10 5 0 0 15 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12563] ppid=12555 vsize=10554476 CPUtime=0.1 cores=0,2,4,6
/proc/12557/task/12563/stat : 12563 (java) S 12555 12557 12126 0 -1 4202560 16084 0 0 0 8 2 0 0 15 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12564] ppid=12555 vsize=10554476 CPUtime=0.13 cores=0,2,4,6
/proc/12557/task/12564/stat : 12564 (java) S 12555 12557 12126 0 -1 4202560 29333 0 0 0 8 5 0 0 15 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12565] ppid=12555 vsize=10554476 CPUtime=0.19 cores=0,2,4,6
/proc/12557/task/12565/stat : 12565 (java) S 12555 12557 12126 0 -1 4202560 30347 0 0 0 14 5 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12566] ppid=12555 vsize=10554476 CPUtime=0.12 cores=0,2,4,6
/proc/12557/task/12566/stat : 12566 (java) S 12555 12557 12126 0 -1 4202560 19540 0 0 0 9 3 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12567] ppid=12555 vsize=10554476 CPUtime=0.15 cores=0,2,4,6
/proc/12557/task/12567/stat : 12567 (java) S 12555 12557 12126 0 -1 4202560 31159 0 0 0 10 5 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12568] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12568/stat : 12568 (java) S 12555 12557 12126 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 288200217 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 0 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12569] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12569/stat : 12569 (java) S 12555 12557 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 288200218 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12570] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12570/stat : 12570 (java) S 12555 12557 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 288200218 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12571] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12571/stat : 12571 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892388785 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12572] ppid=12555 vsize=10554476 CPUtime=0.54 cores=0,2,4,6
/proc/12557/task/12572/stat : 12572 (java) S 12555 12557 12126 0 -1 4202560 5829 0 0 0 53 1 0 0 16 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12573] ppid=12555 vsize=10554476 CPUtime=0.69 cores=0,2,4,6
/proc/12557/task/12573/stat : 12573 (java) S 12555 12557 12126 0 -1 4202560 4899 0 0 0 69 0 0 0 15 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12574] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12574/stat : 12574 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12575] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12575/stat : 12575 (java) S 12555 12557 12126 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12576] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12576/stat : 12576 (java) S 12555 12557 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 288200231 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.26
Current children cumulated vsize (KiB) 10554476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/428 12636
/proc/meminfo: memFree=22165452/32950928 swapFree=52006644/67111528
[pid=12557] ppid=12555 vsize=10554476 CPUtime=1800.06 cores=0,2,4,6
/proc/12557/stat : 12557 (java) S 12555 12557 12126 0 -1 4202496 974354 0 1 0 179889 117 0 0 25 0 19 0 288200214 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12557/statm: 2638619 959788 2239 9 0 2629353 0
[pid=12557/tid=12558] ppid=12555 vsize=10554476 CPUtime=1797.72 cores=0,2,4,6
/proc/12557/task/12558/stat : 12558 (java) R 12555 12557 12126 0 -1 4202560 771244 0 1 0 179691 81 0 0 25 0 19 0 288200215 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 46912505589872 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12557/tid=12560] ppid=12555 vsize=10554476 CPUtime=0.11 cores=0,2,4,6
/proc/12557/task/12560/stat : 12560 (java) S 12555 12557 12126 0 -1 4202560 19524 0 0 0 8 3 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 4 0 0 0
[pid=12557/tid=12561] ppid=12555 vsize=10554476 CPUtime=0.06 cores=0,2,4,6
/proc/12557/task/12561/stat : 12561 (java) S 12555 12557 12126 0 -1 4202560 8916 0 0 0 5 1 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12562] ppid=12555 vsize=10554476 CPUtime=0.15 cores=0,2,4,6
/proc/12557/task/12562/stat : 12562 (java) S 12555 12557 12126 0 -1 4202560 36176 0 0 0 10 5 0 0 15 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12563] ppid=12555 vsize=10554476 CPUtime=0.1 cores=0,2,4,6
/proc/12557/task/12563/stat : 12563 (java) S 12555 12557 12126 0 -1 4202560 16084 0 0 0 8 2 0 0 15 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12564] ppid=12555 vsize=10554476 CPUtime=0.13 cores=0,2,4,6
/proc/12557/task/12564/stat : 12564 (java) S 12555 12557 12126 0 -1 4202560 29333 0 0 0 8 5 0 0 15 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12565] ppid=12555 vsize=10554476 CPUtime=0.19 cores=0,2,4,6
/proc/12557/task/12565/stat : 12565 (java) S 12555 12557 12126 0 -1 4202560 30347 0 0 0 14 5 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12566] ppid=12555 vsize=10554476 CPUtime=0.12 cores=0,2,4,6
/proc/12557/task/12566/stat : 12566 (java) S 12555 12557 12126 0 -1 4202560 19540 0 0 0 9 3 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12567] ppid=12555 vsize=10554476 CPUtime=0.15 cores=0,2,4,6
/proc/12557/task/12567/stat : 12567 (java) S 12555 12557 12126 0 -1 4202560 31159 0 0 0 10 5 0 0 16 0 19 0 288200216 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12568] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12568/stat : 12568 (java) S 12555 12557 12126 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 288200217 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 0 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12569] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12569/stat : 12569 (java) S 12555 12557 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 288200218 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12570] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12570/stat : 12570 (java) S 12555 12557 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 288200218 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12571] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12571/stat : 12571 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892388785 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12572] ppid=12555 vsize=10554476 CPUtime=0.54 cores=0,2,4,6
/proc/12557/task/12572/stat : 12572 (java) S 12555 12557 12126 0 -1 4202560 5829 0 0 0 53 1 0 0 16 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
[pid=12557/tid=12573] ppid=12555 vsize=10554476 CPUtime=0.69 cores=0,2,4,6
/proc/12557/task/12573/stat : 12573 (java) S 12555 12557 12126 0 -1 4202560 4899 0 0 0 69 0 0 0 15 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12574] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12574/stat : 12574 (java) S 12555 12557 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381081 0 4 0 16800975 18446604452486706496 0 0 -1 2 0 0 0
[pid=12557/tid=12575] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12575/stat : 12575 (java) S 12555 12557 12126 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 288200220 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 4 0 16800975 18446604452486706496 0 0 -1 0 0 0 0
[pid=12557/tid=12576] ppid=12555 vsize=10554476 CPUtime=0 cores=0,2,4,6
/proc/12557/task/12576/stat : 12576 (java) S 12555 12557 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 288200231 10807783424 959788 33554432000 1073741824 1073778376 140733792940768 18446744073709551615 218892381696 0 4 0 16800975 18446604452486706496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10554476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/428 12636
/proc/meminfo: memFree=22165452/32950928 swapFree=52006644/67111528
[pid=12557] ppid=12555 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/12557/stat : 12557 (java) Z 12555 12557 12126 0 -1 4203548 974383 0 1 0 179891 127 0 0 17 0 2 0 288200214 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/12557/statm: 0 0 0 0 0 0 0
[pid=12557/tid=12558] ppid=12555 vsize=0 CPUtime=1797.83 cores=0,2,4,6
/proc/12557/task/12558/stat : 12558 (java) R 12555 12557 12126 0 -1 4203588 771244 0 1 0 179692 91 0 0 25 0 2 0 288200215 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.28
CPU time (s): 1800.25
CPU user time (s): 1798.91
CPU system time (s): 1.3348
CPU usage (%): 100.109
Max. virtual memory (cumulated for all children) (KiB): 10554476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.3348
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 974383
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= 37336
involuntary context switches= 34031
runsolver used 7.8928 second user time and 16.0596 second system time
The end