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-3456473-1307223059/watcher-3456473-1307223059 -o /tmp/evaluation-result-3456473-1307223059/solver-3456473-1307223059 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456473-1307223059.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/391 25470
/proc/meminfo: memFree=19048440/32951124 swapFree=37148216/67111528
[pid=25470] ppid=25468 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/25470/stat : 25470 (java) S 25468 25470 24770 0 -1 4202496 1603 0 1 0 0 0 0 0 25 0 2 0 833906320 10681323520 1304 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/25470/statm: 2607745 1318 906 9 0 2598901 0
[pid=25470/tid=25471] ppid=25468 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 24770 0 -1 4202560 2225 0 1 0 0 0 0 0 25 0 2 0 833906320 10694979584 3041 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.06928 s]
/proc/loadavg: 2.00 2.00 2.00 2/391 25470
/proc/meminfo: memFree=19048440/32951124 swapFree=37148216/67111528
[pid=25470] ppid=25468 vsize=10538488 CPUtime=0.05 cores=0,2,4,6
/proc/25470/stat : 25470 (java) S 25468 25470 24770 0 -1 4202496 11789 0 1 0 4 1 0 0 25 0 18 0 833906320 10791411712 11485 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25470/statm: 2634622 11486 1742 9 0 2625356 0
[pid=25470/tid=25471] ppid=25468 vsize=10538488 CPUtime=0.05 cores=0,2,4,6
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 24770 0 -1 4202560 10615 0 1 0 4 1 0 0 25 0 18 0 833906320 10791411712 11488 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 47219743751267 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538488
[startup+0.10028 s]
/proc/loadavg: 2.00 2.00 2.00 2/391 25470
/proc/meminfo: memFree=19048440/32951124 swapFree=37148216/67111528
[pid=25470] ppid=25468 vsize=10539608 CPUtime=0.1 cores=0,2,4,6
/proc/25470/stat : 25470 (java) S 25468 25470 24770 0 -1 4202496 13069 0 1 0 9 1 0 0 25 0 18 0 833906320 10792558592 12739 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25470/statm: 2634902 12739 2092 9 0 2625636 0
[pid=25470/tid=25471] ppid=25468 vsize=10539608 CPUtime=0.08 cores=0,2,4,6
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 24770 0 -1 4202560 11120 0 1 0 7 1 0 0 18 0 18 0 833906320 10792558592 12740 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230808826913 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539608
[startup+0.303128 s]
/proc/loadavg: 2.00 2.00 2.00 2/391 25470
/proc/meminfo: memFree=19048440/32951124 swapFree=37148216/67111528
[pid=25470] ppid=25468 vsize=10541184 CPUtime=0.52 cores=0,2,4,6
/proc/25470/stat : 25470 (java) S 25468 25470 24770 0 -1 4202496 16620 0 1 0 50 2 0 0 25 0 18 0 833906320 10794172416 15756 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25470/statm: 2635296 15757 2202 9 0 2626030 0
[pid=25470/tid=25471] ppid=25468 vsize=10541184 CPUtime=0.28 cores=0,2,4,6
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 24770 0 -1 4202560 13374 0 1 0 27 1 0 0 18 0 18 0 833906320 10794172416 15758 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 46912505590483 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10541184
[startup+0.701191 s]
/proc/loadavg: 2.00 2.00 2.00 2/391 25470
/proc/meminfo: memFree=19048440/32951124 swapFree=37148216/67111528
[pid=25470] ppid=25468 vsize=10544768 CPUtime=1.2 cores=0,2,4,6
/proc/25470/stat : 25470 (java) S 25468 25470 24770 0 -1 4202496 56701 0 1 0 113 7 0 0 25 0 18 0 833906320 10797842432 54318 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25470/statm: 2636192 54323 2214 9 0 2626926 0
[pid=25470/tid=25471] ppid=25468 vsize=10544768 CPUtime=0.67 cores=0,2,4,6
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 24770 0 -1 4202560 50004 0 1 0 62 5 0 0 18 0 18 0 833906320 10797842432 54325 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 46912505561385 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10544768
[startup+1.50105 s]
/proc/loadavg: 2.00 2.00 2.00 5/409 25488
/proc/meminfo: memFree=18773708/32951124 swapFree=37148216/67111528
[pid=25470] ppid=25468 vsize=10545796 CPUtime=2.4 cores=0,2,4,6
/proc/25470/stat : 25470 (java) S 25468 25470 24770 0 -1 4202496 78926 0 1 0 231 9 0 0 25 0 19 0 833906320 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25470/statm: 2636449 76542 2230 9 0 2627183 0
[pid=25470/tid=25471] ppid=25468 vsize=10545796 CPUtime=1.47 cores=0,2,4,6
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 24770 0 -1 4202560 72151 0 1 0 140 7 0 0 20 0 19 0 833906320 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 46912505862924 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25470/tid=25473] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25473/stat : 25473 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25474] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25474/stat : 25474 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25475] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25475/stat : 25475 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25476] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25476/stat : 25476 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25477] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25477/stat : 25477 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25478] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25478/stat : 25478 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25479] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25479/stat : 25479 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25480] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25480/stat : 25480 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25481] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25481/stat : 25481 (java) S 25468 25470 24770 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 833906323 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 0 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25482] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25482/stat : 25482 (java) S 25468 25470 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833906324 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25483] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25483/stat : 25483 (java) S 25468 25470 24770 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833906324 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25484] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25484/stat : 25484 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820989361 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25485] ppid=25468 vsize=10545796 CPUtime=0.5 cores=0,2,4,6
/proc/25470/task/25485/stat : 25485 (java) S 25468 25470 24770 0 -1 4202560 2353 0 0 0 50 0 0 0 15 0 19 0 833906326 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25486] ppid=25468 vsize=10545796 CPUtime=0.41 cores=0,2,4,6
/proc/25470/task/25486/stat : 25486 (java) S 25468 25470 24770 0 -1 4202560 3262 0 0 0 40 1 0 0 15 0 19 0 833906326 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25487] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25487/stat : 25487 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25488] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25488/stat : 25488 (java) S 25468 25470 24770 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 833906326 10798895104 76542 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 10545796
[startup+3.10075 s]
/proc/loadavg: 2.00 2.00 2.00 3/410 25489
/proc/meminfo: memFree=18738236/32951124 swapFree=37148216/67111528
[pid=25470] ppid=25468 vsize=10545796 CPUtime=4.08 cores=0,2,4,6
/proc/25470/stat : 25470 (java) S 25468 25470 24770 0 -1 4202496 85234 0 1 0 398 10 0 0 25 0 19 0 833906320 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25470/statm: 2636449 82848 2234 9 0 2627183 0
[pid=25470/tid=25471] ppid=25468 vsize=10545796 CPUtime=3.07 cores=0,2,4,6
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 24770 0 -1 4202560 78445 0 1 0 299 8 0 0 18 0 19 0 833906320 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 46912505863071 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25470/tid=25473] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25473/stat : 25473 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25474] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25474/stat : 25474 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25475] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25475/stat : 25475 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25476] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25476/stat : 25476 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25477] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25477/stat : 25477 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25478] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25478/stat : 25478 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25479] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25479/stat : 25479 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25480] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25480/stat : 25480 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25481] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25481/stat : 25481 (java) S 25468 25470 24770 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 833906323 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 0 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25482] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25482/stat : 25482 (java) S 25468 25470 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833906324 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25483] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25483/stat : 25483 (java) S 25468 25470 24770 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833906324 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25484] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25484/stat : 25484 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820989361 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25485] ppid=25468 vsize=10545796 CPUtime=0.55 cores=0,2,4,6
/proc/25470/task/25485/stat : 25485 (java) S 25468 25470 24770 0 -1 4202560 2363 0 0 0 55 0 0 0 15 0 19 0 833906326 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25486] ppid=25468 vsize=10545796 CPUtime=0.44 cores=0,2,4,6
/proc/25470/task/25486/stat : 25486 (java) S 25468 25470 24770 0 -1 4202560 3265 0 0 0 43 1 0 0 15 0 19 0 833906326 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25487] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25487/stat : 25487 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25488] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25488/stat : 25488 (java) S 25468 25470 24770 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 833906326 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25489] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25489/stat : 25489 (java) S 25468 25470 24770 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833906433 10798895104 82848 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 10545796
[startup+6.30116 s]
/proc/loadavg: 2.00 2.00 2.00 3/410 25489
/proc/meminfo: memFree=18720896/32951124 swapFree=37148216/67111528
[pid=25470] ppid=25468 vsize=10545796 CPUtime=7.28 cores=0,2,4,6
/proc/25470/stat : 25470 (java) S 25468 25470 24770 0 -1 4202496 85924 0 1 0 718 10 0 0 25 0 19 0 833906320 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25470/statm: 2636449 83487 2235 9 0 2627183 0
[pid=25470/tid=25471] ppid=25468 vsize=10545796 CPUtime=6.27 cores=0,2,4,6
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 24770 0 -1 4202560 79134 0 1 0 619 8 0 0 25 0 19 0 833906320 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 46912505667145 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25470/tid=25473] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25473/stat : 25473 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25474] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25474/stat : 25474 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25475] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25475/stat : 25475 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25476] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25476/stat : 25476 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25477] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25477/stat : 25477 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25478] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25478/stat : 25478 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25479] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25479/stat : 25479 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25480] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25480/stat : 25480 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906322 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25481] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25481/stat : 25481 (java) S 25468 25470 24770 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 833906323 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 0 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25482] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25482/stat : 25482 (java) S 25468 25470 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833906324 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25483] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25483/stat : 25483 (java) S 25468 25470 24770 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 833906324 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25484] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25484/stat : 25484 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820989361 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25485] ppid=25468 vsize=10545796 CPUtime=0.55 cores=0,2,4,6
/proc/25470/task/25485/stat : 25485 (java) S 25468 25470 24770 0 -1 4202560 2363 0 0 0 55 0 0 0 15 0 19 0 833906326 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25486] ppid=25468 vsize=10545796 CPUtime=0.44 cores=0,2,4,6
/proc/25470/task/25486/stat : 25486 (java) S 25468 25470 24770 0 -1 4202560 3265 0 0 0 43 1 0 0 15 0 19 0 833906326 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25487] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25487/stat : 25487 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 83487 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/25470/task/25483/stat : 25483 (java) S 25468 25470 24770 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833906324 10798895104 931830 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25484] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25484/stat : 25484 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 931830 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820989361 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25485] ppid=25468 vsize=10545796 CPUtime=0.74 cores=0,2,4,6
/proc/25470/task/25485/stat : 25485 (java) S 25468 25470 24770 0 -1 4202560 2404 0 0 0 74 0 0 0 15 0 19 0 833906326 10798895104 931830 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25486] ppid=25468 vsize=10545796 CPUtime=0.7 cores=0,2,4,6
/proc/25470/task/25486/stat : 25486 (java) S 25468 25470 24770 0 -1 4202560 3595 0 0 0 69 1 0 0 15 0 19 0 833906326 10798895104 931830 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25487] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25487/stat : 25487 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 931830 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25488] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25488/stat : 25488 (java) S 25468 25470 24770 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 833906326 10798895104 931830 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25489] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25489/stat : 25489 (java) S 25468 25470 24770 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833906433 10798895104 931830 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1665.39
Current children cumulated vsize (KiB) 10545796
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/410 25583
/proc/meminfo: memFree=15132904/32951124 swapFree=37148216/67111528
[pid=25470] ppid=25468 vsize=10545796 CPUtime=1725.48 cores=0,2,4,6
/proc/25470/stat : 25470 (java) S 25468 25470 24770 0 -1 4202496 940872 0 1 0 172432 116 0 0 25 0 19 0 833906320 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25470/statm: 2636449 935688 2249 9 0 2627183 0
[pid=25470/tid=25471] ppid=25468 vsize=10545796 CPUtime=1721.14 cores=0,2,4,6
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 24770 0 -1 4202560 847850 0 1 0 172019 95 0 0 25 0 19 0 833906320 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 46912506068143 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25470/tid=25473] ppid=25468 vsize=10545796 CPUtime=0.33 cores=0,2,4,6
/proc/25470/task/25473/stat : 25473 (java) S 25468 25470 24770 0 -1 4202560 11375 0 0 0 32 1 0 0 15 0 19 0 833906322 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25474] ppid=25468 vsize=10545796 CPUtime=0.36 cores=0,2,4,6
/proc/25470/task/25474/stat : 25474 (java) S 25468 25470 24770 0 -1 4202560 12814 0 0 0 34 2 0 0 15 0 19 0 833906322 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
[pid=25470/tid=25475] ppid=25468 vsize=10545796 CPUtime=0.41 cores=0,2,4,6
/proc/25470/task/25475/stat : 25475 (java) S 25468 25470 24770 0 -1 4202560 15491 0 0 0 39 2 0 0 15 0 19 0 833906322 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
[pid=25470/tid=25476] ppid=25468 vsize=10545796 CPUtime=0.32 cores=0,2,4,6
/proc/25470/task/25476/stat : 25476 (java) S 25468 25470 24770 0 -1 4202560 9349 0 0 0 31 1 0 0 15 0 19 0 833906322 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25477] ppid=25468 vsize=10545796 CPUtime=0.31 cores=0,2,4,6
/proc/25470/task/25477/stat : 25477 (java) S 25468 25470 24770 0 -1 4202560 8465 0 0 0 30 1 0 0 15 0 19 0 833906322 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25478] ppid=25468 vsize=10545796 CPUtime=0.28 cores=0,2,4,6
/proc/25470/task/25478/stat : 25478 (java) S 25468 25470 24770 0 -1 4202560 6087 0 0 0 27 1 0 0 16 0 19 0 833906322 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25479] ppid=25468 vsize=10545796 CPUtime=0.36 cores=0,2,4,6
/proc/25470/task/25479/stat : 25479 (java) S 25468 25470 24770 0 -1 4202560 12500 0 0 0 35 1 0 0 16 0 19 0 833906322 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25480] ppid=25468 vsize=10545796 CPUtime=0.31 cores=0,2,4,6
/proc/25470/task/25480/stat : 25480 (java) S 25468 25470 24770 0 -1 4202560 9580 0 0 0 29 2 0 0 15 0 19 0 833906322 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
[pid=25470/tid=25481] ppid=25468 vsize=10545796 CPUtime=0.08 cores=0,2,4,6
/proc/25470/task/25481/stat : 25481 (java) S 25468 25470 24770 0 -1 4202560 111 0 0 0 5 3 0 0 15 0 19 0 833906323 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 0 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25482] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25482/stat : 25482 (java) S 25468 25470 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833906324 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25483] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25483/stat : 25483 (java) S 25468 25470 24770 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833906324 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25484] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25484/stat : 25484 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820989361 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25485] ppid=25468 vsize=10545796 CPUtime=0.74 cores=0,2,4,6
/proc/25470/task/25485/stat : 25485 (java) S 25468 25470 24770 0 -1 4202560 2404 0 0 0 74 0 0 0 15 0 19 0 833906326 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25486] ppid=25468 vsize=10545796 CPUtime=0.7 cores=0,2,4,6
/proc/25470/task/25486/stat : 25486 (java) S 25468 25470 24770 0 -1 4202560 3595 0 0 0 69 1 0 0 15 0 19 0 833906326 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25487] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25487/stat : 25487 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25488] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25488/stat : 25488 (java) S 25468 25470 24770 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 833906326 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
[pid=25470/tid=25489] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25489/stat : 25489 (java) S 25468 25470 24770 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833906433 10798895104 935688 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1725.48
Current children cumulated vsize (KiB) 10545796
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/410 25585
/proc/meminfo: memFree=15111056/32951124 swapFree=37148216/67111528
[pid=25470] ppid=25468 vsize=10545796 CPUtime=1785.56 cores=0,2,4,6
/proc/25470/stat : 25470 (java) S 25468 25470 24770 0 -1 4202496 944928 0 1 0 178438 118 0 0 25 0 19 0 833906320 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25470/statm: 2636449 939638 2249 9 0 2627183 0
[pid=25470/tid=25471] ppid=25468 vsize=10545796 CPUtime=1781.09 cores=0,2,4,6
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 24770 0 -1 4202560 847864 0 1 0 178014 95 0 0 25 0 19 0 833906320 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 46912505999954 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25470/tid=25473] ppid=25468 vsize=10545796 CPUtime=0.35 cores=0,2,4,6
/proc/25470/task/25473/stat : 25473 (java) S 25468 25470 24770 0 -1 4202560 12580 0 0 0 33 2 0 0 16 0 19 0 833906322 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25474] ppid=25468 vsize=10545796 CPUtime=0.38 cores=0,2,4,6
/proc/25470/task/25474/stat : 25474 (java) S 25468 25470 24770 0 -1 4202560 13481 0 0 0 36 2 0 0 15 0 19 0 833906322 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
[pid=25470/tid=25475] ppid=25468 vsize=10545796 CPUtime=0.42 cores=0,2,4,6
/proc/25470/task/25475/stat : 25475 (java) S 25468 25470 24770 0 -1 4202560 15491 0 0 0 40 2 0 0 16 0 19 0 833906322 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25476] ppid=25468 vsize=10545796 CPUtime=0.34 cores=0,2,4,6
/proc/25470/task/25476/stat : 25476 (java) S 25468 25470 24770 0 -1 4202560 10037 0 0 0 33 1 0 0 16 0 19 0 833906322 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25477] ppid=25468 vsize=10545796 CPUtime=0.32 cores=0,2,4,6
/proc/25470/task/25477/stat : 25477 (java) S 25468 25470 24770 0 -1 4202560 8465 0 0 0 31 1 0 0 16 0 19 0 833906322 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25478] ppid=25468 vsize=10545796 CPUtime=0.29 cores=0,2,4,6
/proc/25470/task/25478/stat : 25478 (java) S 25468 25470 24770 0 -1 4202560 6087 0 0 0 28 1 0 0 15 0 19 0 833906322 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25479] ppid=25468 vsize=10545796 CPUtime=0.39 cores=0,2,4,6
/proc/25470/task/25479/stat : 25479 (java) S 25468 25470 24770 0 -1 4202560 13296 0 0 0 38 1 0 0 15 0 19 0 833906322 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25480] ppid=25468 vsize=10545796 CPUtime=0.32 cores=0,2,4,6
/proc/25470/task/25480/stat : 25480 (java) S 25468 25470 24770 0 -1 4202560 10260 0 0 0 30 2 0 0 16 0 19 0 833906322 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
[pid=25470/tid=25481] ppid=25468 vsize=10545796 CPUtime=0.08 cores=0,2,4,6
/proc/25470/task/25481/stat : 25481 (java) S 25468 25470 24770 0 -1 4202560 113 0 0 0 5 3 0 0 15 0 19 0 833906323 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 0 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25482] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25482/stat : 25482 (java) S 25468 25470 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833906324 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25483] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25483/stat : 25483 (java) S 25468 25470 24770 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833906324 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25484] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25484/stat : 25484 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820989361 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25485] ppid=25468 vsize=10545796 CPUtime=0.74 cores=0,2,4,6
/proc/25470/task/25485/stat : 25485 (java) S 25468 25470 24770 0 -1 4202560 2404 0 0 0 74 0 0 0 15 0 19 0 833906326 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25486] ppid=25468 vsize=10545796 CPUtime=0.7 cores=0,2,4,6
/proc/25470/task/25486/stat : 25486 (java) S 25468 25470 24770 0 -1 4202560 3595 0 0 0 69 1 0 0 15 0 19 0 833906326 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25487] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25487/stat : 25487 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25488] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25488/stat : 25488 (java) S 25468 25470 24770 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833906326 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
[pid=25470/tid=25489] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25489/stat : 25489 (java) S 25468 25470 24770 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833906433 10798895104 939638 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 10545796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/410 25585
/proc/meminfo: memFree=15093200/32951124 swapFree=37148216/67111528
[pid=25470] ppid=25468 vsize=10545796 CPUtime=1800.01 cores=0,2,4,6
/proc/25470/stat : 25470 (java) S 25468 25470 24770 0 -1 4202496 949076 0 1 0 179882 119 0 0 25 0 19 0 833906320 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25470/statm: 2636449 943741 2249 9 0 2627183 0
[pid=25470/tid=25471] ppid=25468 vsize=10545796 CPUtime=1795.49 cores=0,2,4,6
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 24770 0 -1 4202560 847867 0 1 0 179454 95 0 0 25 0 19 0 833906320 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 46912505777334 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25470/tid=25473] ppid=25468 vsize=10545796 CPUtime=0.36 cores=0,2,4,6
/proc/25470/task/25473/stat : 25473 (java) S 25468 25470 24770 0 -1 4202560 13287 0 0 0 34 2 0 0 15 0 19 0 833906322 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25474] ppid=25468 vsize=10545796 CPUtime=0.41 cores=0,2,4,6
/proc/25470/task/25474/stat : 25474 (java) S 25468 25470 24770 0 -1 4202560 14643 0 0 0 38 3 0 0 16 0 19 0 833906322 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25475] ppid=25468 vsize=10545796 CPUtime=0.42 cores=0,2,4,6
/proc/25470/task/25475/stat : 25475 (java) S 25468 25470 24770 0 -1 4202560 16187 0 0 0 40 2 0 0 15 0 19 0 833906322 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25476] ppid=25468 vsize=10545796 CPUtime=0.34 cores=0,2,4,6
/proc/25470/task/25476/stat : 25476 (java) S 25468 25470 24770 0 -1 4202560 10639 0 0 0 33 1 0 0 16 0 19 0 833906322 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25477] ppid=25468 vsize=10545796 CPUtime=0.33 cores=0,2,4,6
/proc/25470/task/25477/stat : 25477 (java) S 25468 25470 24770 0 -1 4202560 8598 0 0 0 32 1 0 0 16 0 19 0 833906322 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25478] ppid=25468 vsize=10545796 CPUtime=0.29 cores=0,2,4,6
/proc/25470/task/25478/stat : 25478 (java) S 25468 25470 24770 0 -1 4202560 6087 0 0 0 28 1 0 0 15 0 19 0 833906322 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25479] ppid=25468 vsize=10545796 CPUtime=0.39 cores=0,2,4,6
/proc/25470/task/25479/stat : 25479 (java) S 25468 25470 24770 0 -1 4202560 13296 0 0 0 38 1 0 0 15 0 19 0 833906322 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25480] ppid=25468 vsize=10545796 CPUtime=0.33 cores=0,2,4,6
/proc/25470/task/25480/stat : 25480 (java) S 25468 25470 24770 0 -1 4202560 11103 0 0 0 31 2 0 0 16 0 19 0 833906322 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
[pid=25470/tid=25481] ppid=25468 vsize=10545796 CPUtime=0.08 cores=0,2,4,6
/proc/25470/task/25481/stat : 25481 (java) S 25468 25470 24770 0 -1 4202560 115 0 0 0 5 3 0 0 15 0 19 0 833906323 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 0 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25482] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25482/stat : 25482 (java) S 25468 25470 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833906324 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25483] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25483/stat : 25483 (java) S 25468 25470 24770 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 833906324 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25484] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25484/stat : 25484 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820989361 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25485] ppid=25468 vsize=10545796 CPUtime=0.74 cores=0,2,4,6
/proc/25470/task/25485/stat : 25485 (java) S 25468 25470 24770 0 -1 4202560 2404 0 0 0 74 0 0 0 15 0 19 0 833906326 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 0 0 0 0
[pid=25470/tid=25486] ppid=25468 vsize=10545796 CPUtime=0.7 cores=0,2,4,6
/proc/25470/task/25486/stat : 25486 (java) S 25468 25470 24770 0 -1 4202560 3595 0 0 0 69 1 0 0 15 0 19 0 833906326 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 6 0 0 0
[pid=25470/tid=25487] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25487/stat : 25487 (java) S 25468 25470 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833906326 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820981657 0 4 0 16800975 18446604453668566208 0 0 -1 4 0 0 0
[pid=25470/tid=25488] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25488/stat : 25488 (java) S 25468 25470 24770 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 833906326 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
[pid=25470/tid=25489] ppid=25468 vsize=10545796 CPUtime=0 cores=0,2,4,6
/proc/25470/task/25489/stat : 25489 (java) S 25468 25470 24770 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 833906433 10798895104 943741 33554432000 1073741824 1073778376 140733595051072 18446744073709551615 230820982272 0 4 0 16800975 18446604453668566208 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10545796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.82 s]
/proc/loadavg: 2.00 2.02 2.00 3/410 25585
/proc/meminfo: memFree=15093200/32951124 swapFree=37148216/67111528
[pid=25470] ppid=25468 vsize=0 CPUtime=1800.11 cores=0,2,4,6
/proc/25470/stat : 25470 (java) Z 25468 25470 24770 0 -1 4203548 949105 0 1 0 179883 128 0 0 17 0 2 0 833906320 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/25470/statm: 0 0 0 0 0 0 0
[pid=25470/tid=25471] ppid=25468 vsize=0 CPUtime=1795.59 cores=0,2,4,6
/proc/25470/task/25471/stat : 25471 (java) R 25468 25470 24770 0 -1 4203588 847867 0 1 0 179455 104 0 0 25 0 2 0 833906320 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.87
CPU time (s): 1800.18
CPU user time (s): 1798.84
CPU system time (s): 1.3398
CPU usage (%): 100.184
Max. virtual memory (cumulated for all children) (KiB): 10545796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.3398
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 949105
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= 48351
involuntary context switches= 19017
runsolver used 6.99194 second user time and 14.4188 second system time
The end