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-3456490-1307223076/watcher-3456490-1307223076 -o /tmp/evaluation-result-3456490-1307223076/solver-3456490-1307223076 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456490-1307223076.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.33 2.12 2.03 2/523 18345
/proc/meminfo: memFree=27551684/32951124 swapFree=51712236/67111528
[pid=18345] ppid=18343 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18345/stat : 18345 (java) S 18343 18345 17309 0 -1 4202496 6901 0 1 0 0 0 0 0 21 0 2 0 833910222 10694979584 6603 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/18345/statm: 2611079 6617 917 9 0 2602235 0
[pid=18345/tid=18346] ppid=18343 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18346/stat : 18346 (java) R 18343 18345 17309 0 -1 4202560 7057 0 1 0 0 0 0 0 23 0 2 0 833910223 10694979584 7873 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0919001 s]
/proc/loadavg: 2.33 2.12 2.03 2/523 18345
/proc/meminfo: memFree=27551684/32951124 swapFree=51712236/67111528
[pid=18345] ppid=18343 vsize=10540476 CPUtime=0.1 cores=1,3,5,7
/proc/18345/stat : 18345 (java) S 18343 18345 17309 0 -1 4202496 12947 0 1 0 8 2 0 0 21 0 18 0 833910222 10793447424 12644 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18345/statm: 2635119 12645 2093 9 0 2625853 0
[pid=18345/tid=18346] ppid=18343 vsize=10540476 CPUtime=0.08 cores=1,3,5,7
/proc/18345/task/18346/stat : 18346 (java) R 18343 18345 17309 0 -1 4202560 11036 0 1 0 6 2 0 0 25 0 18 0 833910223 10793447424 12645 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 47272456490488 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) 10540476
[startup+0.100943 s]
/proc/loadavg: 2.33 2.12 2.03 2/523 18345
/proc/meminfo: memFree=27551684/32951124 swapFree=51712236/67111528
[pid=18345] ppid=18343 vsize=10540476 CPUtime=0.11 cores=1,3,5,7
/proc/18345/stat : 18345 (java) S 18343 18345 17309 0 -1 4202496 13104 0 1 0 9 2 0 0 21 0 18 0 833910222 10793447424 12801 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18345/statm: 2635119 12801 2093 9 0 2625853 0
[pid=18345/tid=18346] ppid=18343 vsize=10540476 CPUtime=0.09 cores=1,3,5,7
/proc/18345/task/18346/stat : 18346 (java) R 18343 18345 17309 0 -1 4202560 11192 0 1 0 7 2 0 0 25 0 18 0 833910223 10793447424 12801 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 47272454391827 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540476
[startup+0.300865 s]
/proc/loadavg: 2.33 2.12 2.03 2/523 18345
/proc/meminfo: memFree=27551684/32951124 swapFree=51712236/67111528
[pid=18345] ppid=18343 vsize=10542524 CPUtime=0.51 cores=1,3,5,7
/proc/18345/stat : 18345 (java) S 18343 18345 17309 0 -1 4202496 16652 0 1 0 49 2 0 0 21 0 18 0 833910222 10795544576 15940 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18345/statm: 2635631 15941 2202 9 0 2626365 0
[pid=18345/tid=18346] ppid=18343 vsize=10542524 CPUtime=0.29 cores=1,3,5,7
/proc/18345/task/18346/stat : 18346 (java) R 18343 18345 17309 0 -1 4202560 13536 0 1 0 27 2 0 0 25 0 18 0 833910223 10795544576 15942 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 46912505590361 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) 10542524
[startup+0.700829 s]
/proc/loadavg: 2.33 2.12 2.03 2/523 18345
/proc/meminfo: memFree=27551684/32951124 swapFree=51712236/67111528
[pid=18345] ppid=18343 vsize=10546620 CPUtime=1.16 cores=1,3,5,7
/proc/18345/stat : 18345 (java) S 18343 18345 17309 0 -1 4202496 55494 0 1 0 108 8 0 0 21 0 18 0 833910222 10799738880 53961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18345/statm: 2636655 53966 2214 9 0 2627389 0
[pid=18345/tid=18346] ppid=18343 vsize=10546620 CPUtime=0.68 cores=1,3,5,7
/proc/18345/task/18346/stat : 18346 (java) R 18343 18345 17309 0 -1 4202560 49712 0 1 0 61 7 0 0 25 0 18 0 833910223 10799738880 53968 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 46912505590416 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10546620
[startup+1.50069 s]
/proc/loadavg: 2.46 2.15 2.04 3/541 18363
/proc/meminfo: memFree=27210784/32951124 swapFree=51712236/67111528
[pid=18345] ppid=18343 vsize=10546620 CPUtime=1.97 cores=1,3,5,7
/proc/18345/stat : 18345 (java) S 18343 18345 17309 0 -1 4202496 109712 0 1 0 184 13 0 0 21 0 18 0 833910222 10799738880 108178 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18345/statm: 2636655 108184 2214 9 0 2627389 0
[pid=18345/tid=18346] ppid=18343 vsize=10546620 CPUtime=1.48 cores=1,3,5,7
/proc/18345/task/18346/stat : 18346 (java) R 18343 18345 17309 0 -1 4202560 103931 0 1 0 136 12 0 0 25 0 18 0 833910223 10799738880 108187 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 46912505646842 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18345/tid=18348] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18348/stat : 18348 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 833910224 10799738880 108191 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18349] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18349/stat : 18349 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910224 10799738880 108195 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18350] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18350/stat : 18350 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910224 10799738880 108198 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18351] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18351/stat : 18351 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910224 10799738880 108202 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18352] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18352/stat : 18352 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910224 10799738880 108205 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18353] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18353/stat : 18353 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910224 10799738880 108209 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18354] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18354/stat : 18354 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910224 10799738880 108212 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18355] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18355/stat : 18355 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910224 10799738880 108216 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18356] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18356/stat : 18356 (java) S 18343 18345 17309 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 833910226 10799738880 108219 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 0 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18357] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18357/stat : 18357 (java) S 18343 18345 17309 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 833910226 10799738880 108223 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18358] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18358/stat : 18358 (java) S 18343 18345 17309 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 833910226 10799738880 108226 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18359] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18359/stat : 18359 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910228 10799738880 108230 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646338993 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18360] ppid=18343 vsize=10546620 CPUtime=0.23 cores=1,3,5,7
/proc/18345/task/18360/stat : 18360 (java) S 18343 18345 17309 0 -1 4202560 2525 0 0 0 23 0 0 0 18 0 18 0 833910228 10799738880 108233 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18361] ppid=18343 vsize=10546620 CPUtime=0.23 cores=1,3,5,7
/proc/18345/task/18361/stat : 18361 (java) S 18343 18345 17309 0 -1 4202560 2115 0 0 0 23 0 0 0 15 0 18 0 833910228 10799738880 108236 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18362] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18362/stat : 18362 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 833910228 10799738880 108240 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18363] ppid=18343 vsize=10546620 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18363/stat : 18363 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 833910228 10799738880 108243 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 10546620
[startup+3.10141 s]
/proc/loadavg: 2.46 2.15 2.04 3/542 18364
/proc/meminfo: memFree=27083304/32951124 swapFree=51712236/67111528
[pid=18345] ppid=18343 vsize=10548672 CPUtime=4.23 cores=1,3,5,7
/proc/18345/stat : 18345 (java) S 18343 18345 17309 0 -1 4202496 129901 0 1 0 408 15 0 0 21 0 19 0 833910222 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18345/statm: 2637168 126640 2232 9 0 2627902 0
[pid=18345/tid=18346] ppid=18343 vsize=10548672 CPUtime=3.09 cores=1,3,5,7
/proc/18345/task/18346/stat : 18346 (java) R 18343 18345 17309 0 -1 4202560 119575 0 1 0 295 14 0 0 25 0 19 0 833910223 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 46912506029283 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18345/tid=18348] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18348/stat : 18348 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833910224 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18349] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18349/stat : 18349 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18350] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18350/stat : 18350 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18351] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18351/stat : 18351 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18352] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18352/stat : 18352 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18353] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18353/stat : 18353 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18354] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18354/stat : 18354 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18355] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18355/stat : 18355 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18356] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18356/stat : 18356 (java) S 18343 18345 17309 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833910226 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 0 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18357] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18357/stat : 18357 (java) S 18343 18345 17309 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833910226 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18358] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18358/stat : 18358 (java) S 18343 18345 17309 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910226 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18359] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18359/stat : 18359 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910228 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646338993 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18360] ppid=18343 vsize=10548672 CPUtime=0.66 cores=1,3,5,7
/proc/18345/task/18360/stat : 18360 (java) S 18343 18345 17309 0 -1 4202560 6851 0 0 0 65 1 0 0 15 0 19 0 833910228 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18361] ppid=18343 vsize=10548672 CPUtime=0.47 cores=1,3,5,7
/proc/18345/task/18361/stat : 18361 (java) S 18343 18345 17309 0 -1 4202560 2315 0 0 0 47 0 0 0 15 0 19 0 833910228 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18362] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18362/stat : 18362 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910228 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18363] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18363/stat : 18363 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833910228 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18364] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18364/stat : 18364 (java) S 18343 18345 17309 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910408 10801840128 126640 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 10548672
[startup+6.30084 s]
/proc/loadavg: 2.46 2.15 2.04 3/542 18364
/proc/meminfo: memFree=27019096/32951124 swapFree=51712236/67111528
[pid=18345] ppid=18343 vsize=10548672 CPUtime=7.48 cores=1,3,5,7
/proc/18345/stat : 18345 (java) S 18343 18345 17309 0 -1 4202496 139208 0 1 0 732 16 0 0 21 0 19 0 833910222 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18345/statm: 2637168 135906 2236 9 0 2627902 0
[pid=18345/tid=18346] ppid=18343 vsize=10548672 CPUtime=6.29 cores=1,3,5,7
/proc/18345/task/18346/stat : 18346 (java) R 18343 18345 17309 0 -1 4202560 128873 0 1 0 614 15 0 0 25 0 19 0 833910223 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 46912505957687 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18345/tid=18348] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18348/stat : 18348 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 833910224 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18349] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18349/stat : 18349 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18350] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18350/stat : 18350 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18351] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18351/stat : 18351 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18352] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18352/stat : 18352 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18353] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18353/stat : 18353 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18354] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18354/stat : 18354 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18355] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18355/stat : 18355 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910224 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18356] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18356/stat : 18356 (java) S 18343 18345 17309 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833910226 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 0 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18357] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18357/stat : 18357 (java) S 18343 18345 17309 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833910226 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18358] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18358/stat : 18358 (java) S 18343 18345 17309 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910226 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18359] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18359/stat : 18359 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910228 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646338993 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18360] ppid=18343 vsize=10548672 CPUtime=0.68 cores=1,3,5,7
/proc/18345/task/18360/stat : 18360 (java) S 18343 18345 17309 0 -1 4202560 6854 0 0 0 67 1 0 0 15 0 19 0 833910228 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18361] ppid=18343 vsize=10548672 CPUtime=0.5 cores=1,3,5,7
/proc/18345/task/18361/stat : 18361 (java) S 18343 18345 17309 0 -1 4202560 2320 0 0 0 50 0 0 0 15 0 19 0 833910228 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18362] ppid=18343 vsize=10548672 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18362/stat : 18362 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910228 10801840128 135906 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/18345/task/18358/stat : 18358 (java) S 18343 18345 17309 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833910226 10802888704 933504 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18359] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18359/stat : 18359 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910228 10802888704 933504 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646338993 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18360] ppid=18343 vsize=10549696 CPUtime=1.03 cores=1,3,5,7
/proc/18345/task/18360/stat : 18360 (java) S 18343 18345 17309 0 -1 4202560 6915 0 0 0 102 1 0 0 15 0 19 0 833910228 10802888704 933504 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18361] ppid=18343 vsize=10549696 CPUtime=0.81 cores=1,3,5,7
/proc/18345/task/18361/stat : 18361 (java) S 18343 18345 17309 0 -1 4202560 2539 0 0 0 81 0 0 0 15 0 19 0 833910228 10802888704 933504 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18362] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18362/stat : 18362 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910228 10802888704 933504 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18363] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18363/stat : 18363 (java) S 18343 18345 17309 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833910228 10802888704 933504 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18364] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18364/stat : 18364 (java) S 18343 18345 17309 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910408 10802888704 933504 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1665.87
Current children cumulated vsize (KiB) 10549696
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/542 18410
/proc/meminfo: memFree=22596048/32951124 swapFree=51712236/67111528
[pid=18345] ppid=18343 vsize=10549696 CPUtime=1725.97 cores=1,3,5,7
/proc/18345/stat : 18345 (java) S 18343 18345 17309 0 -1 4202496 939038 0 1 0 172481 116 0 0 21 0 19 0 833910222 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18345/statm: 2637424 933629 2251 9 0 2628158 0
[pid=18345/tid=18346] ppid=18343 vsize=10549696 CPUtime=1721.2 cores=1,3,5,7
/proc/18345/task/18346/stat : 18346 (java) R 18343 18345 17309 0 -1 4202560 819593 0 1 0 172025 95 0 0 25 0 19 0 833910223 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 46912505764761 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18345/tid=18348] ppid=18343 vsize=10549696 CPUtime=0.38 cores=1,3,5,7
/proc/18345/task/18348/stat : 18348 (java) S 18343 18345 17309 0 -1 4202560 23194 0 0 0 35 3 0 0 15 0 19 0 833910224 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18349] ppid=18343 vsize=10549696 CPUtime=0.25 cores=1,3,5,7
/proc/18345/task/18349/stat : 18349 (java) S 18343 18345 17309 0 -1 4202560 10645 0 0 0 24 1 0 0 16 0 19 0 833910224 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18350] ppid=18343 vsize=10549696 CPUtime=0.37 cores=1,3,5,7
/proc/18345/task/18350/stat : 18350 (java) S 18343 18345 17309 0 -1 4202560 11278 0 0 0 36 1 0 0 15 0 19 0 833910224 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18351] ppid=18343 vsize=10549696 CPUtime=0.3 cores=1,3,5,7
/proc/18345/task/18351/stat : 18351 (java) S 18343 18345 17309 0 -1 4202560 10107 0 0 0 29 1 0 0 15 0 19 0 833910224 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18352] ppid=18343 vsize=10549696 CPUtime=0.3 cores=1,3,5,7
/proc/18345/task/18352/stat : 18352 (java) S 18343 18345 17309 0 -1 4202560 10528 0 0 0 29 1 0 0 16 0 19 0 833910224 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18353] ppid=18343 vsize=10549696 CPUtime=0.41 cores=1,3,5,7
/proc/18345/task/18353/stat : 18353 (java) S 18343 18345 17309 0 -1 4202560 18796 0 0 0 38 3 0 0 15 0 19 0 833910224 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18354] ppid=18343 vsize=10549696 CPUtime=0.31 cores=1,3,5,7
/proc/18345/task/18354/stat : 18354 (java) S 18343 18345 17309 0 -1 4202560 5740 0 0 0 31 0 0 0 15 0 19 0 833910224 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18355] ppid=18343 vsize=10549696 CPUtime=0.44 cores=1,3,5,7
/proc/18345/task/18355/stat : 18355 (java) S 18343 18345 17309 0 -1 4202560 18374 0 0 0 42 2 0 0 16 0 19 0 833910224 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18356] ppid=18343 vsize=10549696 CPUtime=0.05 cores=1,3,5,7
/proc/18345/task/18356/stat : 18356 (java) S 18343 18345 17309 0 -1 4202560 79 0 0 0 3 2 0 0 15 0 19 0 833910226 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 0 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18357] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18357/stat : 18357 (java) S 18343 18345 17309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833910226 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18358] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18358/stat : 18358 (java) S 18343 18345 17309 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833910226 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18359] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18359/stat : 18359 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910228 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646338993 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18360] ppid=18343 vsize=10549696 CPUtime=1.03 cores=1,3,5,7
/proc/18345/task/18360/stat : 18360 (java) S 18343 18345 17309 0 -1 4202560 6915 0 0 0 102 1 0 0 15 0 19 0 833910228 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18361] ppid=18343 vsize=10549696 CPUtime=0.81 cores=1,3,5,7
/proc/18345/task/18361/stat : 18361 (java) S 18343 18345 17309 0 -1 4202560 2539 0 0 0 81 0 0 0 15 0 19 0 833910228 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18362] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18362/stat : 18362 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910228 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18363] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18363/stat : 18363 (java) S 18343 18345 17309 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833910228 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18364] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18364/stat : 18364 (java) S 18343 18345 17309 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910408 10802888704 933629 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1725.97
Current children cumulated vsize (KiB) 10549696
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 6/542 18506
/proc/meminfo: memFree=26422832/32951124 swapFree=51712236/67111528
[pid=18345] ppid=18343 vsize=10549696 CPUtime=1786.08 cores=1,3,5,7
/proc/18345/stat : 18345 (java) S 18343 18345 17309 0 -1 4202496 941441 0 1 0 178492 116 0 0 21 0 19 0 833910222 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18345/statm: 2637424 935961 2251 9 0 2628158 0
[pid=18345/tid=18346] ppid=18343 vsize=10549696 CPUtime=1781.15 cores=1,3,5,7
/proc/18345/task/18346/stat : 18346 (java) R 18343 18345 17309 0 -1 4202560 819610 0 1 0 178020 95 0 0 25 0 19 0 833910223 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 46912505764748 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18345/tid=18348] ppid=18343 vsize=10549696 CPUtime=0.4 cores=1,3,5,7
/proc/18345/task/18348/stat : 18348 (java) S 18343 18345 17309 0 -1 4202560 23615 0 0 0 37 3 0 0 16 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18349] ppid=18343 vsize=10549696 CPUtime=0.26 cores=1,3,5,7
/proc/18345/task/18349/stat : 18349 (java) S 18343 18345 17309 0 -1 4202560 10645 0 0 0 25 1 0 0 16 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18350] ppid=18343 vsize=10549696 CPUtime=0.4 cores=1,3,5,7
/proc/18345/task/18350/stat : 18350 (java) S 18343 18345 17309 0 -1 4202560 11644 0 0 0 39 1 0 0 15 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18351] ppid=18343 vsize=10549696 CPUtime=0.31 cores=1,3,5,7
/proc/18345/task/18351/stat : 18351 (java) S 18343 18345 17309 0 -1 4202560 10107 0 0 0 30 1 0 0 15 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18352] ppid=18343 vsize=10549696 CPUtime=0.32 cores=1,3,5,7
/proc/18345/task/18352/stat : 18352 (java) S 18343 18345 17309 0 -1 4202560 10528 0 0 0 31 1 0 0 15 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18353] ppid=18343 vsize=10549696 CPUtime=0.43 cores=1,3,5,7
/proc/18345/task/18353/stat : 18353 (java) S 18343 18345 17309 0 -1 4202560 18796 0 0 0 40 3 0 0 15 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18354] ppid=18343 vsize=10549696 CPUtime=0.33 cores=1,3,5,7
/proc/18345/task/18354/stat : 18354 (java) S 18343 18345 17309 0 -1 4202560 7217 0 0 0 33 0 0 0 15 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18355] ppid=18343 vsize=10549696 CPUtime=0.46 cores=1,3,5,7
/proc/18345/task/18355/stat : 18355 (java) S 18343 18345 17309 0 -1 4202560 18488 0 0 0 44 2 0 0 16 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18356] ppid=18343 vsize=10549696 CPUtime=0.05 cores=1,3,5,7
/proc/18345/task/18356/stat : 18356 (java) S 18343 18345 17309 0 -1 4202560 83 0 0 0 3 2 0 0 15 0 19 0 833910226 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 0 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18357] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18357/stat : 18357 (java) S 18343 18345 17309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833910226 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18358] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18358/stat : 18358 (java) S 18343 18345 17309 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833910226 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18359] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18359/stat : 18359 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910228 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646338993 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18360] ppid=18343 vsize=10549696 CPUtime=1.03 cores=1,3,5,7
/proc/18345/task/18360/stat : 18360 (java) S 18343 18345 17309 0 -1 4202560 6915 0 0 0 102 1 0 0 15 0 19 0 833910228 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18361] ppid=18343 vsize=10549696 CPUtime=0.81 cores=1,3,5,7
/proc/18345/task/18361/stat : 18361 (java) S 18343 18345 17309 0 -1 4202560 2539 0 0 0 81 0 0 0 15 0 19 0 833910228 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18362] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18362/stat : 18362 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910228 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18363] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18363/stat : 18363 (java) S 18343 18345 17309 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833910228 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18364] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18364/stat : 18364 (java) S 18343 18345 17309 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910408 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1786.08
Current children cumulated vsize (KiB) 10549696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.01 2.03 2.00 4/542 18561
/proc/meminfo: memFree=23881576/32951124 swapFree=51712236/67111528
[pid=18345] ppid=18343 vsize=10549696 CPUtime=1800.04 cores=1,3,5,7
/proc/18345/stat : 18345 (java) S 18343 18345 17309 0 -1 4202496 941445 0 1 0 179888 116 0 0 21 0 19 0 833910222 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18345/statm: 2637424 935961 2251 9 0 2628158 0
[pid=18345/tid=18346] ppid=18343 vsize=10549696 CPUtime=1795.08 cores=1,3,5,7
/proc/18345/task/18346/stat : 18346 (java) R 18343 18345 17309 0 -1 4202560 819614 0 1 0 179413 95 0 0 25 0 19 0 833910223 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 46912505764761 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18345/tid=18348] ppid=18343 vsize=10549696 CPUtime=0.41 cores=1,3,5,7
/proc/18345/task/18348/stat : 18348 (java) S 18343 18345 17309 0 -1 4202560 23615 0 0 0 38 3 0 0 16 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18349] ppid=18343 vsize=10549696 CPUtime=0.26 cores=1,3,5,7
/proc/18345/task/18349/stat : 18349 (java) S 18343 18345 17309 0 -1 4202560 10645 0 0 0 25 1 0 0 15 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18350] ppid=18343 vsize=10549696 CPUtime=0.4 cores=1,3,5,7
/proc/18345/task/18350/stat : 18350 (java) S 18343 18345 17309 0 -1 4202560 11644 0 0 0 39 1 0 0 16 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18351] ppid=18343 vsize=10549696 CPUtime=0.32 cores=1,3,5,7
/proc/18345/task/18351/stat : 18351 (java) S 18343 18345 17309 0 -1 4202560 10107 0 0 0 31 1 0 0 16 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18352] ppid=18343 vsize=10549696 CPUtime=0.33 cores=1,3,5,7
/proc/18345/task/18352/stat : 18352 (java) S 18343 18345 17309 0 -1 4202560 10528 0 0 0 32 1 0 0 15 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18353] ppid=18343 vsize=10549696 CPUtime=0.43 cores=1,3,5,7
/proc/18345/task/18353/stat : 18353 (java) S 18343 18345 17309 0 -1 4202560 18796 0 0 0 40 3 0 0 15 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18354] ppid=18343 vsize=10549696 CPUtime=0.33 cores=1,3,5,7
/proc/18345/task/18354/stat : 18354 (java) S 18343 18345 17309 0 -1 4202560 7217 0 0 0 33 0 0 0 15 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18355] ppid=18343 vsize=10549696 CPUtime=0.47 cores=1,3,5,7
/proc/18345/task/18355/stat : 18355 (java) S 18343 18345 17309 0 -1 4202560 18488 0 0 0 45 2 0 0 16 0 19 0 833910224 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18356] ppid=18343 vsize=10549696 CPUtime=0.05 cores=1,3,5,7
/proc/18345/task/18356/stat : 18356 (java) S 18343 18345 17309 0 -1 4202560 83 0 0 0 3 2 0 0 15 0 19 0 833910226 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 0 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18357] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18357/stat : 18357 (java) S 18343 18345 17309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833910226 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18358] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18358/stat : 18358 (java) S 18343 18345 17309 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833910226 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 7 0 0 0
[pid=18345/tid=18359] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18359/stat : 18359 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910228 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646338993 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18360] ppid=18343 vsize=10549696 CPUtime=1.03 cores=1,3,5,7
/proc/18345/task/18360/stat : 18360 (java) S 18343 18345 17309 0 -1 4202560 6915 0 0 0 102 1 0 0 15 0 19 0 833910228 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18361] ppid=18343 vsize=10549696 CPUtime=0.81 cores=1,3,5,7
/proc/18345/task/18361/stat : 18361 (java) S 18343 18345 17309 0 -1 4202560 2539 0 0 0 81 0 0 0 15 0 19 0 833910228 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 1 0 0 0
[pid=18345/tid=18362] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18362/stat : 18362 (java) S 18343 18345 17309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833910228 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331289 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
[pid=18345/tid=18363] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18363/stat : 18363 (java) S 18343 18345 17309 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833910228 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 5 0 0 0
[pid=18345/tid=18364] ppid=18343 vsize=10549696 CPUtime=0 cores=1,3,5,7
/proc/18345/task/18364/stat : 18364 (java) S 18343 18345 17309 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833910408 10802888704 935961 33554432000 1073741824 1073778376 140735634716752 18446744073709551615 216646331904 0 4 0 16800975 18446604461776208832 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10549696
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.34 s]
/proc/loadavg: 2.01 2.03 2.00 4/542 18561
/proc/meminfo: memFree=23881576/32951124 swapFree=51712236/67111528
[pid=18345] ppid=18343 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/18345/stat : 18345 (java) Z 18343 18345 17309 0 -1 4203548 941473 0 1 0 179889 126 0 0 17 0 2 0 833910222 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18345/statm: 0 0 0 0 0 0 0
[pid=18345/tid=18346] ppid=18343 vsize=0 CPUtime=1795.18 cores=1,3,5,7
/proc/18345/task/18346/stat : 18346 (java) R 18343 18345 17309 0 -1 4203588 819614 0 1 0 179413 105 0 0 25 0 2 0 833910223 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.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.39
CPU time (s): 1800.21
CPU user time (s): 1798.89
CPU system time (s): 1.3148
CPU usage (%): 100.212
Max. virtual memory (cumulated for all children) (KiB): 10549696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.3148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 941473
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= 45264
involuntary context switches= 13748
runsolver used 8.72067 second user time and 22.2596 second system time
The end