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-3456487-1307223070/watcher-3456487-1307223070 -o /tmp/evaluation-result-3456487-1307223070/solver-3456487-1307223070 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456487-1307223070.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.03 2.00 2/516 31117
/proc/meminfo: memFree=26650900/32951124 swapFree=53876548/67111528
[pid=31117] ppid=31115 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31117/stat : 31117 (java) S 31115 31117 29867 0 -1 4202496 8081 0 1 0 0 0 0 0 25 0 2 0 833908009 10694979584 7783 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31117/statm: 2611079 7796 917 9 0 2602235 0
[pid=31117/tid=31118] ppid=31115 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31118/stat : 31118 (java) R 31115 31117 29867 0 -1 4202560 7029 0 1 0 0 0 0 0 25 0 2 0 833908009 10694979584 7845 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270612804667 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0294371 s]
/proc/loadavg: 2.04 2.03 2.00 2/516 31117
/proc/meminfo: memFree=26650900/32951124 swapFree=53876548/67111528
[pid=31117] ppid=31115 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/31117/stat : 31117 (java) S 31115 31117 29867 0 -1 4202496 10774 0 1 0 1 0 0 0 25 0 10 0 833908009 10705932288 10473 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/31117/statm: 2613753 10475 1515 9 0 2604501 0
[pid=31117/tid=31118] ppid=31115 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/31117/task/31118/stat : 31118 (java) R 31115 31117 29867 0 -1 4202560 9655 0 1 0 1 0 0 0 25 0 10 0 833908009 10705932288 10477 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 47935422676997 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10455012
[startup+0.100424 s]
/proc/loadavg: 2.04 2.03 2.00 2/516 31117
/proc/meminfo: memFree=26650900/32951124 swapFree=53876548/67111528
[pid=31117] ppid=31115 vsize=10540260 CPUtime=0.1 cores=1,3,5,7
/proc/31117/stat : 31117 (java) S 31115 31117 29867 0 -1 4202496 13089 0 1 0 9 1 0 0 25 0 18 0 833908009 10793226240 12786 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31117/statm: 2635065 12786 2092 9 0 2625799 0
[pid=31117/tid=31118] ppid=31115 vsize=10540260 CPUtime=0.08 cores=1,3,5,7
/proc/31117/task/31118/stat : 31118 (java) R 31115 31117 29867 0 -1 4202560 11149 0 1 0 7 1 0 0 18 0 18 0 833908009 10793226240 12786 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 47935425079315 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540260
[startup+0.303903 s]
/proc/loadavg: 2.04 2.03 2.00 2/516 31117
/proc/meminfo: memFree=26650900/32951124 swapFree=53876548/67111528
[pid=31117] ppid=31115 vsize=10543332 CPUtime=0.51 cores=1,3,5,7
/proc/31117/stat : 31117 (java) S 31115 31117 29867 0 -1 4202496 16057 0 1 0 49 2 0 0 25 0 18 0 833908009 10796371968 15755 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31117/statm: 2635833 15756 2202 9 0 2626567 0
[pid=31117/tid=31118] ppid=31115 vsize=10543332 CPUtime=0.28 cores=1,3,5,7
/proc/31117/task/31118/stat : 31118 (java) R 31115 31117 29867 0 -1 4202560 13238 0 1 0 27 1 0 0 18 0 18 0 833908009 10796371968 15757 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 46912505546157 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10543332
[startup+0.700318 s]
/proc/loadavg: 2.04 2.03 2.00 2/516 31117
/proc/meminfo: memFree=26650900/32951124 swapFree=53876548/67111528
[pid=31117] ppid=31115 vsize=10547428 CPUtime=1.2 cores=1,3,5,7
/proc/31117/stat : 31117 (java) S 31115 31117 29867 0 -1 4202496 43095 0 1 0 115 5 0 0 25 0 18 0 833908009 10800566272 42054 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31117/statm: 2636857 42058 2225 9 0 2627591 0
[pid=31117/tid=31118] ppid=31115 vsize=10547428 CPUtime=0.68 cores=1,3,5,7
/proc/31117/task/31118/stat : 31118 (java) R 31115 31117 29867 0 -1 4202560 37703 0 1 0 64 4 0 0 18 0 18 0 833908009 10800566272 42060 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 46912505764911 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10547428
[startup+1.50119 s]
/proc/loadavg: 2.04 2.03 2.00 3/535 31136
/proc/meminfo: memFree=26479700/32951124 swapFree=53876548/67111528
[pid=31117] ppid=31115 vsize=10548456 CPUtime=2.46 cores=1,3,5,7
/proc/31117/stat : 31117 (java) S 31115 31117 29867 0 -1 4202496 51240 0 1 0 240 6 0 0 25 0 19 0 833908009 10801618944 50173 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31117/statm: 2637114 50173 2233 9 0 2627848 0
[pid=31117/tid=31118] ppid=31115 vsize=10548456 CPUtime=1.48 cores=1,3,5,7
/proc/31117/task/31118/stat : 31118 (java) R 31115 31117 29867 0 -1 4202560 45716 0 1 0 143 5 0 0 20 0 19 0 833908009 10801618944 50173 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 46912505824934 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31117/tid=31120] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31120/stat : 31120 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 50173 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31121] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31121/stat : 31121 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 50173 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31122] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31122/stat : 31122 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 50174 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31123] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31123/stat : 31123 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 50174 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31124] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31124/stat : 31124 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 50174 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31125] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31125/stat : 31125 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 50174 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31126] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31126/stat : 31126 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 50174 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31127] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31127/stat : 31127 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 50174 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31128] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31128/stat : 31128 (java) S 31115 31117 29867 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 833908012 10801618944 50174 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 0 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31129] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31129/stat : 31129 (java) S 31115 31117 29867 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833908012 10801618944 50174 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31130] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31130/stat : 31130 (java) S 31115 31117 29867 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833908012 10801618944 50174 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31131] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31131/stat : 31131 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908015 10801618944 50174 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624934321 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31132] ppid=31115 vsize=10548456 CPUtime=0.48 cores=1,3,5,7
/proc/31117/task/31132/stat : 31132 (java) S 31115 31117 29867 0 -1 4202560 2339 0 0 0 48 0 0 0 15 0 19 0 833908015 10801618944 50174 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 5 0 0 0
[pid=31117/tid=31133] ppid=31115 vsize=10548456 CPUtime=0.48 cores=1,3,5,7
/proc/31117/task/31133/stat : 31133 (java) S 31115 31117 29867 0 -1 4202560 2026 0 0 0 48 0 0 0 15 0 19 0 833908015 10801618944 50174 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31134] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31134/stat : 31134 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908015 10801618944 50175 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31135] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31135/stat : 31135 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833908015 10801618944 50175 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31136] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31136/stat : 31136 (java) S 31115 31117 29867 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833908082 10801618944 50175 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 10548456
[startup+3.10089 s]
/proc/loadavg: 2.04 2.03 2.00 3/535 31136
/proc/meminfo: memFree=26396216/32951124 swapFree=53876548/67111528
[pid=31117] ppid=31115 vsize=10548456 CPUtime=4.25 cores=1,3,5,7
/proc/31117/stat : 31117 (java) S 31115 31117 29867 0 -1 4202496 92537 0 1 0 414 11 0 0 25 0 19 0 833908009 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31117/statm: 2637114 91006 2233 9 0 2627848 0
[pid=31117/tid=31118] ppid=31115 vsize=10548456 CPUtime=3.08 cores=1,3,5,7
/proc/31117/task/31118/stat : 31118 (java) R 31115 31117 29867 0 -1 4202560 86524 0 1 0 298 10 0 0 25 0 19 0 833908009 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 46912506093652 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31117/tid=31120] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31120/stat : 31120 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31121] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31121/stat : 31121 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31122] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31122/stat : 31122 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31123] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31123/stat : 31123 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31124] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31124/stat : 31124 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31125] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31125/stat : 31125 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31126] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31126/stat : 31126 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31127] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31127/stat : 31127 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31128] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31128/stat : 31128 (java) S 31115 31117 29867 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833908012 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 0 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31129] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31129/stat : 31129 (java) S 31115 31117 29867 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833908012 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31130] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31130/stat : 31130 (java) S 31115 31117 29867 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833908012 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31131] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31131/stat : 31131 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908015 10801618944 91006 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624934321 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31132] ppid=31115 vsize=10548456 CPUtime=0.58 cores=1,3,5,7
/proc/31117/task/31132/stat : 31132 (java) S 31115 31117 29867 0 -1 4202560 2814 0 0 0 58 0 0 0 16 0 19 0 833908015 10801618944 91007 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31133] ppid=31115 vsize=10548456 CPUtime=0.57 cores=1,3,5,7
/proc/31117/task/31133/stat : 31133 (java) S 31115 31117 29867 0 -1 4202560 2039 0 0 0 57 0 0 0 15 0 19 0 833908015 10801618944 91011 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 5 0 0 0
[pid=31117/tid=31134] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31134/stat : 31134 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908015 10801618944 91015 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31135] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31135/stat : 31135 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833908015 10801618944 91019 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31136] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31136/stat : 31136 (java) S 31115 31117 29867 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833908082 10801618944 91024 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 10548456
[startup+6.30132 s]
/proc/loadavg: 2.03 2.03 2.00 3/535 31136
/proc/meminfo: memFree=26248840/32951124 swapFree=53876548/67111528
[pid=31117] ppid=31115 vsize=10548456 CPUtime=7.5 cores=1,3,5,7
/proc/31117/stat : 31117 (java) S 31115 31117 29867 0 -1 4202496 104826 0 1 0 738 12 0 0 25 0 19 0 833908009 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31117/statm: 2637114 103286 2239 9 0 2627848 0
[pid=31117/tid=31118] ppid=31115 vsize=10548456 CPUtime=6.28 cores=1,3,5,7
/proc/31117/task/31118/stat : 31118 (java) R 31115 31117 29867 0 -1 4202560 98803 0 1 0 617 11 0 0 25 0 19 0 833908009 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 46912505767890 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31117/tid=31120] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31120/stat : 31120 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31121] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31121/stat : 31121 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31122] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31122/stat : 31122 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31123] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31123/stat : 31123 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31124] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31124/stat : 31124 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31125] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31125/stat : 31125 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31126] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31126/stat : 31126 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31127] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31127/stat : 31127 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908011 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31128] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31128/stat : 31128 (java) S 31115 31117 29867 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 833908012 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 0 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31129] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31129/stat : 31129 (java) S 31115 31117 29867 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833908012 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31130] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31130/stat : 31130 (java) S 31115 31117 29867 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833908012 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31131] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31131/stat : 31131 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908015 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624934321 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31132] ppid=31115 vsize=10548456 CPUtime=0.6 cores=1,3,5,7
/proc/31117/task/31132/stat : 31132 (java) S 31115 31117 29867 0 -1 4202560 2821 0 0 0 60 0 0 0 15 0 19 0 833908015 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31133] ppid=31115 vsize=10548456 CPUtime=0.59 cores=1,3,5,7
/proc/31117/task/31133/stat : 31133 (java) S 31115 31117 29867 0 -1 4202560 2041 0 0 0 59 0 0 0 15 0 19 0 833908015 10801618944 103286 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/31117/task/31130/stat : 31130 (java) S 31115 31117 29867 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833908012 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31131] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31131/stat : 31131 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624934321 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31132] ppid=31115 vsize=10548456 CPUtime=0.91 cores=1,3,5,7
/proc/31117/task/31132/stat : 31132 (java) S 31115 31117 29867 0 -1 4202560 5548 0 0 0 90 1 0 0 15 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31133] ppid=31115 vsize=10548456 CPUtime=0.6 cores=1,3,5,7
/proc/31117/task/31133/stat : 31133 (java) S 31115 31117 29867 0 -1 4202560 2066 0 0 0 60 0 0 0 15 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 5 0 0 0
[pid=31117/tid=31134] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31134/stat : 31134 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31135] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31135/stat : 31135 (java) S 31115 31117 29867 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 4 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31136] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31136/stat : 31136 (java) S 31115 31117 29867 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833908082 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.7
Current children cumulated vsize (KiB) 10548456
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/535 31276
/proc/meminfo: memFree=22550384/32951124 swapFree=53876548/67111528
[pid=31117] ppid=31115 vsize=10548456 CPUtime=1727.78 cores=1,3,5,7
/proc/31117/stat : 31117 (java) S 31115 31117 29867 0 -1 4202496 1046386 0 1 0 172650 128 0 0 25 0 19 0 833908009 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31117/statm: 2637114 1037227 2252 9 0 2627848 0
[pid=31117/tid=31118] ppid=31115 vsize=10548456 CPUtime=1720.18 cores=1,3,5,7
/proc/31117/task/31118/stat : 31118 (java) R 31115 31117 29867 0 -1 4202560 845307 0 1 0 171922 96 0 0 25 0 19 0 833908009 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 46912506026340 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31117/tid=31120] ppid=31115 vsize=10548456 CPUtime=0.77 cores=1,3,5,7
/proc/31117/task/31120/stat : 31120 (java) S 31115 31117 29867 0 -1 4202560 24115 0 0 0 75 2 0 0 16 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31121] ppid=31115 vsize=10548456 CPUtime=0.7 cores=1,3,5,7
/proc/31117/task/31121/stat : 31121 (java) S 31115 31117 29867 0 -1 4202560 18629 0 0 0 68 2 0 0 15 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31122] ppid=31115 vsize=10548456 CPUtime=0.72 cores=1,3,5,7
/proc/31117/task/31122/stat : 31122 (java) S 31115 31117 29867 0 -1 4202560 26020 0 0 0 68 4 0 0 15 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31123] ppid=31115 vsize=10548456 CPUtime=0.73 cores=1,3,5,7
/proc/31117/task/31123/stat : 31123 (java) S 31115 31117 29867 0 -1 4202560 21281 0 0 0 70 3 0 0 16 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31124] ppid=31115 vsize=10548456 CPUtime=0.73 cores=1,3,5,7
/proc/31117/task/31124/stat : 31124 (java) S 31115 31117 29867 0 -1 4202560 24453 0 0 0 69 4 0 0 16 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31125] ppid=31115 vsize=10548456 CPUtime=0.74 cores=1,3,5,7
/proc/31117/task/31125/stat : 31125 (java) S 31115 31117 29867 0 -1 4202560 23503 0 0 0 71 3 0 0 15 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31126] ppid=31115 vsize=10548456 CPUtime=0.84 cores=1,3,5,7
/proc/31117/task/31126/stat : 31126 (java) S 31115 31117 29867 0 -1 4202560 30183 0 0 0 80 4 0 0 15 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31127] ppid=31115 vsize=10548456 CPUtime=0.7 cores=1,3,5,7
/proc/31117/task/31127/stat : 31127 (java) S 31115 31117 29867 0 -1 4202560 23930 0 0 0 67 3 0 0 16 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 5 0 0 0
[pid=31117/tid=31128] ppid=31115 vsize=10548456 CPUtime=0.04 cores=1,3,5,7
/proc/31117/task/31128/stat : 31128 (java) S 31115 31117 29867 0 -1 4202560 102 0 0 0 3 1 0 0 15 0 19 0 833908012 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 0 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31129] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31129/stat : 31129 (java) S 31115 31117 29867 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833908012 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31130] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31130/stat : 31130 (java) S 31115 31117 29867 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833908012 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31131] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31131/stat : 31131 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624934321 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31132] ppid=31115 vsize=10548456 CPUtime=0.91 cores=1,3,5,7
/proc/31117/task/31132/stat : 31132 (java) S 31115 31117 29867 0 -1 4202560 5548 0 0 0 90 1 0 0 15 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31133] ppid=31115 vsize=10548456 CPUtime=0.6 cores=1,3,5,7
/proc/31117/task/31133/stat : 31133 (java) S 31115 31117 29867 0 -1 4202560 2066 0 0 0 60 0 0 0 15 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 5 0 0 0
[pid=31117/tid=31134] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31134/stat : 31134 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31135] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31135/stat : 31135 (java) S 31115 31117 29867 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 4 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31136] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31136/stat : 31136 (java) S 31115 31117 29867 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833908082 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.78
Current children cumulated vsize (KiB) 10548456
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/535 31277
/proc/meminfo: memFree=22549728/32951124 swapFree=53876548/67111528
[pid=31117] ppid=31115 vsize=10548456 CPUtime=1787.83 cores=1,3,5,7
/proc/31117/stat : 31117 (java) S 31115 31117 29867 0 -1 4202496 1046395 0 1 0 178655 128 0 0 25 0 19 0 833908009 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31117/statm: 2637114 1037227 2252 9 0 2627848 0
[pid=31117/tid=31118] ppid=31115 vsize=10548456 CPUtime=1780.16 cores=1,3,5,7
/proc/31117/task/31118/stat : 31118 (java) R 31115 31117 29867 0 -1 4202560 845310 0 1 0 177920 96 0 0 25 0 19 0 833908009 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 46912506010533 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31117/tid=31120] ppid=31115 vsize=10548456 CPUtime=0.78 cores=1,3,5,7
/proc/31117/task/31120/stat : 31120 (java) S 31115 31117 29867 0 -1 4202560 24115 0 0 0 76 2 0 0 16 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31121] ppid=31115 vsize=10548456 CPUtime=0.7 cores=1,3,5,7
/proc/31117/task/31121/stat : 31121 (java) S 31115 31117 29867 0 -1 4202560 18629 0 0 0 68 2 0 0 15 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31122] ppid=31115 vsize=10548456 CPUtime=0.73 cores=1,3,5,7
/proc/31117/task/31122/stat : 31122 (java) S 31115 31117 29867 0 -1 4202560 26020 0 0 0 69 4 0 0 16 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 5 0 0 0
[pid=31117/tid=31123] ppid=31115 vsize=10548456 CPUtime=0.75 cores=1,3,5,7
/proc/31117/task/31123/stat : 31123 (java) S 31115 31117 29867 0 -1 4202560 21281 0 0 0 72 3 0 0 15 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31124] ppid=31115 vsize=10548456 CPUtime=0.74 cores=1,3,5,7
/proc/31117/task/31124/stat : 31124 (java) S 31115 31117 29867 0 -1 4202560 24453 0 0 0 70 4 0 0 15 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31125] ppid=31115 vsize=10548456 CPUtime=0.74 cores=1,3,5,7
/proc/31117/task/31125/stat : 31125 (java) S 31115 31117 29867 0 -1 4202560 23503 0 0 0 71 3 0 0 15 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31126] ppid=31115 vsize=10548456 CPUtime=0.86 cores=1,3,5,7
/proc/31117/task/31126/stat : 31126 (java) S 31115 31117 29867 0 -1 4202560 30183 0 0 0 82 4 0 0 16 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31127] ppid=31115 vsize=10548456 CPUtime=0.71 cores=1,3,5,7
/proc/31117/task/31127/stat : 31127 (java) S 31115 31117 29867 0 -1 4202560 23930 0 0 0 68 3 0 0 15 0 19 0 833908011 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 5 0 0 0
[pid=31117/tid=31128] ppid=31115 vsize=10548456 CPUtime=0.04 cores=1,3,5,7
/proc/31117/task/31128/stat : 31128 (java) S 31115 31117 29867 0 -1 4202560 104 0 0 0 3 1 0 0 15 0 19 0 833908012 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 0 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31129] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31129/stat : 31129 (java) S 31115 31117 29867 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833908012 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31130] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31130/stat : 31130 (java) S 31115 31117 29867 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833908012 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31131] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31131/stat : 31131 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624934321 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31132] ppid=31115 vsize=10548456 CPUtime=0.91 cores=1,3,5,7
/proc/31117/task/31132/stat : 31132 (java) S 31115 31117 29867 0 -1 4202560 5548 0 0 0 90 1 0 0 15 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31133] ppid=31115 vsize=10548456 CPUtime=0.6 cores=1,3,5,7
/proc/31117/task/31133/stat : 31133 (java) S 31115 31117 29867 0 -1 4202560 2066 0 0 0 60 0 0 0 15 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 5 0 0 0
[pid=31117/tid=31134] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31134/stat : 31134 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31135] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31135/stat : 31135 (java) S 31115 31117 29867 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833908015 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 4 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31136] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31136/stat : 31136 (java) S 31115 31117 29867 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833908082 10801618944 1037227 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.83
Current children cumulated vsize (KiB) 10548456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.4 s]
/proc/loadavg: 2.00 2.03 2.00 3/535 31287
/proc/meminfo: memFree=22518588/32951124 swapFree=53876548/67111528
[pid=31117] ppid=31115 vsize=10548456 CPUtime=1800.02 cores=1,3,5,7
/proc/31117/stat : 31117 (java) S 31115 31117 29867 0 -1 4202496 1057855 0 1 0 179873 129 0 0 25 0 19 0 833908009 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31117/statm: 2637114 1044902 2252 9 0 2627848 0
[pid=31117/tid=31118] ppid=31115 vsize=10548456 CPUtime=1792.25 cores=1,3,5,7
/proc/31117/task/31118/stat : 31118 (java) R 31115 31117 29867 0 -1 4202560 845312 0 1 0 179129 96 0 0 25 0 19 0 833908009 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 46912505765096 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31117/tid=31120] ppid=31115 vsize=10548456 CPUtime=0.79 cores=1,3,5,7
/proc/31117/task/31120/stat : 31120 (java) S 31115 31117 29867 0 -1 4202560 24116 0 0 0 77 2 0 0 16 0 19 0 833908011 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31121] ppid=31115 vsize=10548456 CPUtime=0.7 cores=1,3,5,7
/proc/31117/task/31121/stat : 31121 (java) S 31115 31117 29867 0 -1 4202560 18629 0 0 0 68 2 0 0 15 0 19 0 833908011 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31122] ppid=31115 vsize=10548456 CPUtime=0.75 cores=1,3,5,7
/proc/31117/task/31122/stat : 31122 (java) S 31115 31117 29867 0 -1 4202560 30208 0 0 0 71 4 0 0 16 0 19 0 833908011 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31123] ppid=31115 vsize=10548456 CPUtime=0.77 cores=1,3,5,7
/proc/31117/task/31123/stat : 31123 (java) S 31115 31117 29867 0 -1 4202560 21518 0 0 0 74 3 0 0 15 0 19 0 833908011 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31124] ppid=31115 vsize=10548456 CPUtime=0.75 cores=1,3,5,7
/proc/31117/task/31124/stat : 31124 (java) S 31115 31117 29867 0 -1 4202560 24708 0 0 0 71 4 0 0 15 0 19 0 833908011 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31125] ppid=31115 vsize=10548456 CPUtime=0.74 cores=1,3,5,7
/proc/31117/task/31125/stat : 31125 (java) S 31115 31117 29867 0 -1 4202560 23503 0 0 0 71 3 0 0 15 0 19 0 833908011 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31126] ppid=31115 vsize=10548456 CPUtime=0.86 cores=1,3,5,7
/proc/31117/task/31126/stat : 31126 (java) S 31115 31117 29867 0 -1 4202560 32445 0 0 0 82 4 0 0 16 0 19 0 833908011 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31127] ppid=31115 vsize=10548456 CPUtime=0.75 cores=1,3,5,7
/proc/31117/task/31127/stat : 31127 (java) S 31115 31117 29867 0 -1 4202560 28443 0 0 0 71 4 0 0 16 0 19 0 833908011 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 5 0 0 0
[pid=31117/tid=31128] ppid=31115 vsize=10548456 CPUtime=0.05 cores=1,3,5,7
/proc/31117/task/31128/stat : 31128 (java) S 31115 31117 29867 0 -1 4202560 106 0 0 0 3 2 0 0 15 0 19 0 833908012 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 0 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31129] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31129/stat : 31129 (java) S 31115 31117 29867 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833908012 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31130] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31130/stat : 31130 (java) S 31115 31117 29867 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833908012 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31131] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31131/stat : 31131 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908015 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624934321 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31132] ppid=31115 vsize=10548456 CPUtime=0.91 cores=1,3,5,7
/proc/31117/task/31132/stat : 31132 (java) S 31115 31117 29867 0 -1 4202560 5548 0 0 0 90 1 0 0 15 0 19 0 833908015 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
[pid=31117/tid=31133] ppid=31115 vsize=10548456 CPUtime=0.6 cores=1,3,5,7
/proc/31117/task/31133/stat : 31133 (java) S 31115 31117 29867 0 -1 4202560 2066 0 0 0 60 0 0 0 15 0 19 0 833908015 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 5 0 0 0
[pid=31117/tid=31134] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31134/stat : 31134 (java) S 31115 31117 29867 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833908015 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624926617 0 4 0 16800975 18446604463194247552 0 0 -1 3 0 0 0
[pid=31117/tid=31135] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31135/stat : 31135 (java) S 31115 31117 29867 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833908015 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 4 0 16800975 18446604463194247552 0 0 -1 1 0 0 0
[pid=31117/tid=31136] ppid=31115 vsize=10548456 CPUtime=0 cores=1,3,5,7
/proc/31117/task/31136/stat : 31136 (java) S 31115 31117 29867 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833908082 10801618944 1044902 33554432000 1073741824 1073778376 140734200851360 18446744073709551615 270624927232 0 4 0 16800975 18446604463194247552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10548456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.52 s]
/proc/loadavg: 2.00 2.03 2.00 3/535 31287
/proc/meminfo: memFree=22518588/32951124 swapFree=53876548/67111528
[pid=31117] ppid=31115 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/31117/stat : 31117 (java) Z 31115 31117 29867 0 -1 4203548 1057883 0 1 0 179874 138 0 0 17 0 2 0 833908009 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/31117/statm: 0 0 0 0 0 0 0
[pid=31117/tid=31118] ppid=31115 vsize=0 CPUtime=1792.34 cores=1,3,5,7
/proc/31117/task/31118/stat : 31118 (java) R 31115 31117 29867 0 -1 4203588 845312 0 1 0 179129 105 0 0 25 0 2 0 833908009 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.58
CPU time (s): 1800.2
CPU user time (s): 1798.75
CPU system time (s): 1.44878
CPU usage (%): 100.313
Max. virtual memory (cumulated for all children) (KiB): 10548456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.44878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1057883
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= 45093
involuntary context switches= 21770
runsolver used 8.94464 second user time and 21.0358 second system time
The end