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-3457493-1307221338/watcher-3457493-1307221338 -o /tmp/evaluation-result-3457493-1307221338/solver-3457493-1307221338 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457493-1307221338.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: 1.98 2.03 2.00 2/545 25573
/proc/meminfo: memFree=22087660/32951124 swapFree=56241860/67111528
[pid=25573] ppid=25571 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25573/stat : 25573 (java) S 25571 25573 24779 0 -1 4202496 5945 0 1 0 0 0 0 0 23 0 2 0 912364430 10694979584 5647 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/25573/statm: 2611079 5659 917 9 0 2602235 0
[pid=25573/tid=25574] ppid=25571 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25574/stat : 25574 (java) R 25571 25573 24779 0 -1 4202560 5808 0 1 0 0 0 0 0 24 0 2 0 912364430 10694979584 6624 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0668929 s]
/proc/loadavg: 1.98 2.03 2.00 2/545 25573
/proc/meminfo: memFree=22087660/32951124 swapFree=56241860/67111528
[pid=25573] ppid=25571 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/25573/stat : 25573 (java) S 25571 25573 24779 0 -1 4202496 11702 0 1 0 4 1 0 0 23 0 18 0 912364430 10724274176 11399 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25573/statm: 2618231 11399 1733 9 0 2608972 0
[pid=25573/tid=25574] ppid=25571 vsize=10472924 CPUtime=0.04 cores=1,3,5,7
/proc/25573/task/25574/stat : 25574 (java) R 25571 25573 24779 0 -1 4202560 10528 0 1 0 3 1 0 0 25 0 18 0 912364430 10724274176 11399 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216747005387 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.100887 s]
/proc/loadavg: 1.98 2.03 2.00 2/545 25573
/proc/meminfo: memFree=22087660/32951124 swapFree=56241860/67111528
[pid=25573] ppid=25571 vsize=10540280 CPUtime=0.1 cores=1,3,5,7
/proc/25573/stat : 25573 (java) S 25571 25573 24779 0 -1 4202496 13030 0 1 0 8 2 0 0 23 0 18 0 912364430 10793246720 12727 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25573/statm: 2635070 12728 2093 9 0 2625804 0
[pid=25573/tid=25574] ppid=25571 vsize=10540280 CPUtime=0.08 cores=1,3,5,7
/proc/25573/task/25574/stat : 25574 (java) R 25571 25573 24779 0 -1 4202560 11120 0 1 0 6 2 0 0 18 0 18 0 912364430 10793246720 12729 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216734839841 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540280
[startup+0.309913 s]
/proc/loadavg: 1.98 2.03 2.00 2/545 25573
/proc/meminfo: memFree=22087660/32951124 swapFree=56241860/67111528
[pid=25573] ppid=25571 vsize=10544616 CPUtime=0.56 cores=1,3,5,7
/proc/25573/stat : 25573 (java) S 25571 25573 24779 0 -1 4202496 19360 0 1 0 53 3 0 0 23 0 19 0 912364430 10797686784 17856 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25573/statm: 2636154 17857 2194 9 0 2626888 0
[pid=25573/tid=25574] ppid=25571 vsize=10544616 CPUtime=0.29 cores=1,3,5,7
/proc/25573/task/25574/stat : 25574 (java) R 25571 25573 24779 0 -1 4202560 13893 0 1 0 27 2 0 0 18 0 19 0 912364430 10797686784 17857 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 46912505562982 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10544616
[startup+0.700785 s]
/proc/loadavg: 1.98 2.03 2.00 2/545 25573
/proc/meminfo: memFree=22087660/32951124 swapFree=56241860/67111528
[pid=25573] ppid=25571 vsize=10561300 CPUtime=1.71 cores=1,3,5,7
/proc/25573/stat : 25573 (java) S 25571 25573 24779 0 -1 4202496 53319 0 1 0 164 7 0 0 23 0 19 0 912364430 10814771200 45201 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25573/statm: 2640325 45204 2216 9 0 2631059 0
[pid=25573/tid=25574] ppid=25571 vsize=10561300 CPUtime=0.68 cores=1,3,5,7
/proc/25573/task/25574/stat : 25574 (java) R 25571 25573 24779 0 -1 4202560 34986 0 1 0 63 5 0 0 18 0 19 0 912364430 10814771200 45205 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 46912505551644 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10561300
[startup+1.50066 s]
/proc/loadavg: 2.14 2.06 2.01 3/564 25592
/proc/meminfo: memFree=21756924/32951124 swapFree=56241860/67111528
[pid=25573] ppid=25571 vsize=10561300 CPUtime=2.73 cores=1,3,5,7
/proc/25573/stat : 25573 (java) S 25571 25573 24779 0 -1 4202496 136697 0 1 0 254 19 0 0 23 0 19 0 912364430 10814771200 126986 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25573/statm: 2640325 126990 2218 9 0 2631059 0
[pid=25573/tid=25574] ppid=25571 vsize=10561300 CPUtime=1.48 cores=1,3,5,7
/proc/25573/task/25574/stat : 25574 (java) R 25571 25573 24779 0 -1 4202560 118214 0 1 0 132 16 0 0 18 0 19 0 912364430 10814771200 126993 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 46912505522544 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25573/tid=25576] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25576/stat : 25576 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 126997 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25577] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25577/stat : 25577 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 127001 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25578] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25578/stat : 25578 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 127003 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25579] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25579/stat : 25579 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 127006 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25580] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25580/stat : 25580 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 127008 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25581] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25581/stat : 25581 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 127009 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25582] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25582/stat : 25582 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 127011 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25583] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25583/stat : 25583 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 127014 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25584] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25584/stat : 25584 (java) S 25571 25573 24779 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912364433 10814771200 127017 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 0 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25585] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25585/stat : 25585 (java) S 25571 25573 24779 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912364434 10814771200 127020 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25586] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25586/stat : 25586 (java) S 25571 25573 24779 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912364434 10814771200 127022 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25587] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25587/stat : 25587 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364436 10814771200 127025 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216747002289 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25588] ppid=25571 vsize=10561300 CPUtime=0.58 cores=1,3,5,7
/proc/25573/task/25588/stat : 25588 (java) S 25571 25573 24779 0 -1 4202560 7989 0 0 0 58 0 0 0 15 0 19 0 912364436 10814771200 127027 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25589] ppid=25571 vsize=10561300 CPUtime=0.63 cores=1,3,5,7
/proc/25573/task/25589/stat : 25589 (java) S 25571 25573 24779 0 -1 4202560 9341 0 0 0 62 1 0 0 23 0 19 0 912364436 10814771200 127029 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25590] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25590/stat : 25590 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364436 10814771200 127030 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25591] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25591/stat : 25591 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912364436 10814771200 127033 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 4 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25592] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25592/stat : 25592 (java) S 25571 25573 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912364443 10814771200 127036 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 10561300
[startup+3.10138 s]
/proc/loadavg: 2.14 2.06 2.01 3/564 25592
/proc/meminfo: memFree=20908888/32951124 swapFree=56241860/67111528
[pid=25573] ppid=25571 vsize=10561300 CPUtime=4.33 cores=1,3,5,7
/proc/25573/stat : 25573 (java) S 25571 25573 24779 0 -1 4202496 307857 0 1 0 395 38 0 0 23 0 19 0 912364430 10814771200 298145 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25573/statm: 2640325 298148 2218 9 0 2631059 0
[pid=25573/tid=25574] ppid=25571 vsize=10561300 CPUtime=3.08 cores=1,3,5,7
/proc/25573/task/25574/stat : 25574 (java) R 25571 25573 24779 0 -1 4202560 289372 0 1 0 273 35 0 0 19 0 19 0 912364430 10814771200 298150 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 46912505586640 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25573/tid=25576] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25576/stat : 25576 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 298153 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25577] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25577/stat : 25577 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 298156 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25578] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25578/stat : 25578 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 298159 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25579] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25579/stat : 25579 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 298162 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25580] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25580/stat : 25580 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 298165 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25581] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25581/stat : 25581 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 298168 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25582] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25582/stat : 25582 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 298171 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25583] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25583/stat : 25583 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10814771200 298174 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25584] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25584/stat : 25584 (java) S 25571 25573 24779 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912364433 10814771200 298176 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 0 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25585] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25585/stat : 25585 (java) S 25571 25573 24779 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912364434 10814771200 298179 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25586] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25586/stat : 25586 (java) S 25571 25573 24779 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912364434 10814771200 298182 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25587] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25587/stat : 25587 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364436 10814771200 298186 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216747002289 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25588] ppid=25571 vsize=10561300 CPUtime=0.59 cores=1,3,5,7
/proc/25573/task/25588/stat : 25588 (java) S 25571 25573 24779 0 -1 4202560 7989 0 0 0 59 0 0 0 15 0 19 0 912364436 10814771200 298189 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25589] ppid=25571 vsize=10561300 CPUtime=0.63 cores=1,3,5,7
/proc/25573/task/25589/stat : 25589 (java) S 25571 25573 24779 0 -1 4202560 9341 0 0 0 62 1 0 0 23 0 19 0 912364436 10814771200 298192 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25590] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25590/stat : 25590 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364436 10814771200 298195 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25591] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25591/stat : 25591 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912364436 10814771200 298198 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 4 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25592] ppid=25571 vsize=10561300 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25592/stat : 25592 (java) S 25571 25573 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912364443 10814771200 298201 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 10561300
[startup+6.30081 s]
/proc/loadavg: 2.14 2.06 2.01 3/564 25592
/proc/meminfo: memFree=19204196/32951124 swapFree=56241860/67111528
[pid=25573] ppid=25571 vsize=10553204 CPUtime=7.54 cores=1,3,5,7
/proc/25573/stat : 25573 (java) S 25571 25573 24779 0 -1 4202496 648899 0 1 0 676 78 0 0 23 0 19 0 912364430 10806480896 637137 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25573/statm: 2638301 637141 2220 9 0 2629035 0
[pid=25573/tid=25574] ppid=25571 vsize=10553204 CPUtime=6.28 cores=1,3,5,7
/proc/25573/task/25574/stat : 25574 (java) R 25571 25573 24779 0 -1 4202560 630413 0 1 0 553 75 0 0 21 0 19 0 912364430 10806480896 637143 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 46912505514667 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25573/tid=25576] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25576/stat : 25576 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10806480896 637146 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25577] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25577/stat : 25577 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10806480896 637149 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25578] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25578/stat : 25578 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10806480896 637152 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25579] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25579/stat : 25579 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10806480896 637154 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25580] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25580/stat : 25580 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10806480896 637157 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25581] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25581/stat : 25581 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10806480896 637159 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25582] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25582/stat : 25582 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10806480896 637161 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25583] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25583/stat : 25583 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364432 10806480896 637164 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25584] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25584/stat : 25584 (java) S 25571 25573 24779 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912364433 10806480896 637166 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 0 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25585] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25585/stat : 25585 (java) S 25571 25573 24779 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912364434 10806480896 637168 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25586] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25586/stat : 25586 (java) S 25571 25573 24779 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912364434 10806480896 637170 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25587] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25587/stat : 25587 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364436 10806480896 637172 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216747002289 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25588] ppid=25571 vsize=10553204 CPUtime=0.6 cores=1,3,5,7
/proc/25573/task/25588/stat : 25588 (java) S 25571 25573 24779 0 -1 4202560 7990 0 0 0 60 0 0 0 15 0 19 0 912364436 10806480896 637173 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25589] ppid=25571 vsize=10553204 CPUtime=0.63 cores=1,3,5,7
/proc/25573/task/25589/stat : 25589 (java) S 25571 25573 24779 0 -1 4202560 9341 0 0 0 62 1 0 0 23 0 19 0 912364436 10806480896 637174 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/25573/task/25586/stat : 25586 (java) S 25571 25573 24779 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912364434 10806480896 903121 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25587] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25587/stat : 25587 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364436 10806480896 903121 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216747002289 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25588] ppid=25571 vsize=10553204 CPUtime=0.7 cores=1,3,5,7
/proc/25573/task/25588/stat : 25588 (java) S 25571 25573 24779 0 -1 4202560 8016 0 0 0 69 1 0 0 15 0 19 0 912364436 10806480896 903121 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25589] ppid=25571 vsize=10553204 CPUtime=0.69 cores=1,3,5,7
/proc/25573/task/25589/stat : 25589 (java) S 25571 25573 24779 0 -1 4202560 9367 0 0 0 68 1 0 0 15 0 19 0 912364436 10806480896 903121 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25590] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25590/stat : 25590 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364436 10806480896 903121 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25591] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25591/stat : 25591 (java) S 25571 25573 24779 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 912364436 10806480896 903121 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25592] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25592/stat : 25592 (java) S 25571 25573 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912364443 10806480896 903121 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.99
Current children cumulated vsize (KiB) 10553204
[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/564 25643
/proc/meminfo: memFree=16722960/32951124 swapFree=56241860/67111528
[pid=25573] ppid=25571 vsize=10553204 CPUtime=1728.22 cores=1,3,5,7
/proc/25573/stat : 25573 (java) S 25571 25573 24779 0 -1 4202496 916552 0 1 0 172709 113 0 0 23 0 19 0 912364430 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25573/statm: 2638301 903709 2257 9 0 2629035 0
[pid=25573/tid=25574] ppid=25571 vsize=10553204 CPUtime=1719.45 cores=1,3,5,7
/proc/25573/task/25574/stat : 25574 (java) R 25571 25573 24779 0 -1 4202560 848494 0 1 0 171845 100 0 0 25 0 19 0 912364430 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 46912505584754 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25573/tid=25576] ppid=25571 vsize=10553204 CPUtime=0.73 cores=1,3,5,7
/proc/25573/task/25576/stat : 25576 (java) S 25571 25573 24779 0 -1 4202560 5972 0 0 0 73 0 0 0 16 0 19 0 912364432 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25577] ppid=25571 vsize=10553204 CPUtime=0.91 cores=1,3,5,7
/proc/25573/task/25577/stat : 25577 (java) S 25571 25573 24779 0 -1 4202560 4698 0 0 0 91 0 0 0 16 0 19 0 912364432 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25578] ppid=25571 vsize=10553204 CPUtime=0.88 cores=1,3,5,7
/proc/25573/task/25578/stat : 25578 (java) S 25571 25573 24779 0 -1 4202560 4877 0 0 0 87 1 0 0 15 0 19 0 912364432 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25579] ppid=25571 vsize=10553204 CPUtime=0.86 cores=1,3,5,7
/proc/25573/task/25579/stat : 25579 (java) S 25571 25573 24779 0 -1 4202560 6536 0 0 0 85 1 0 0 15 0 19 0 912364432 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25580] ppid=25571 vsize=10553204 CPUtime=0.88 cores=1,3,5,7
/proc/25573/task/25580/stat : 25580 (java) S 25571 25573 24779 0 -1 4202560 5396 0 0 0 87 1 0 0 15 0 19 0 912364432 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25581] ppid=25571 vsize=10553204 CPUtime=0.78 cores=1,3,5,7
/proc/25573/task/25581/stat : 25581 (java) S 25571 25573 24779 0 -1 4202560 4493 0 0 0 78 0 0 0 16 0 19 0 912364432 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25582] ppid=25571 vsize=10553204 CPUtime=0.82 cores=1,3,5,7
/proc/25573/task/25582/stat : 25582 (java) S 25571 25573 24779 0 -1 4202560 4550 0 0 0 82 0 0 0 16 0 19 0 912364432 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25583] ppid=25571 vsize=10553204 CPUtime=0.9 cores=1,3,5,7
/proc/25573/task/25583/stat : 25583 (java) S 25571 25573 24779 0 -1 4202560 6573 0 0 0 90 0 0 0 15 0 19 0 912364432 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25584] ppid=25571 vsize=10553204 CPUtime=0.48 cores=1,3,5,7
/proc/25573/task/25584/stat : 25584 (java) S 25571 25573 24779 0 -1 4202560 6330 0 0 0 46 2 0 0 15 0 19 0 912364433 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 0 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25585] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25585/stat : 25585 (java) S 25571 25573 24779 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912364434 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25586] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25586/stat : 25586 (java) S 25571 25573 24779 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912364434 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25587] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25587/stat : 25587 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364436 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216747002289 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25588] ppid=25571 vsize=10553204 CPUtime=0.7 cores=1,3,5,7
/proc/25573/task/25588/stat : 25588 (java) S 25571 25573 24779 0 -1 4202560 8016 0 0 0 69 1 0 0 15 0 19 0 912364436 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25589] ppid=25571 vsize=10553204 CPUtime=0.69 cores=1,3,5,7
/proc/25573/task/25589/stat : 25589 (java) S 25571 25573 24779 0 -1 4202560 9367 0 0 0 68 1 0 0 15 0 19 0 912364436 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25590] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25590/stat : 25590 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364436 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25591] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25591/stat : 25591 (java) S 25571 25573 24779 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 912364436 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25592] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25592/stat : 25592 (java) S 25571 25573 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912364443 10806480896 903709 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.22
Current children cumulated vsize (KiB) 10553204
[startup+1782.3 s]
/proc/loadavg: 1.97 2.03 2.00 3/564 25698
/proc/meminfo: memFree=17744548/32951124 swapFree=56241860/67111528
[pid=25573] ppid=25571 vsize=10553204 CPUtime=1788.43 cores=1,3,5,7
/proc/25573/stat : 25573 (java) S 25571 25573 24779 0 -1 4202496 917126 0 1 0 178730 113 0 0 23 0 19 0 912364430 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25573/statm: 2638301 904255 2257 9 0 2629035 0
[pid=25573/tid=25574] ppid=25571 vsize=10553204 CPUtime=1779.34 cores=1,3,5,7
/proc/25573/task/25574/stat : 25574 (java) R 25571 25573 24779 0 -1 4202560 848502 0 1 0 177834 100 0 0 25 0 19 0 912364430 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 46912505538311 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25573/tid=25576] ppid=25571 vsize=10553204 CPUtime=0.74 cores=1,3,5,7
/proc/25573/task/25576/stat : 25576 (java) S 25571 25573 24779 0 -1 4202560 6008 0 0 0 74 0 0 0 16 0 19 0 912364432 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25577] ppid=25571 vsize=10553204 CPUtime=0.96 cores=1,3,5,7
/proc/25573/task/25577/stat : 25577 (java) S 25571 25573 24779 0 -1 4202560 4750 0 0 0 96 0 0 0 15 0 19 0 912364432 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25578] ppid=25571 vsize=10553204 CPUtime=0.95 cores=1,3,5,7
/proc/25573/task/25578/stat : 25578 (java) S 25571 25573 24779 0 -1 4202560 4976 0 0 0 94 1 0 0 16 0 19 0 912364432 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25579] ppid=25571 vsize=10553204 CPUtime=0.93 cores=1,3,5,7
/proc/25573/task/25579/stat : 25579 (java) S 25571 25573 24779 0 -1 4202560 6630 0 0 0 92 1 0 0 15 0 19 0 912364432 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25580] ppid=25571 vsize=10553204 CPUtime=0.91 cores=1,3,5,7
/proc/25573/task/25580/stat : 25580 (java) S 25571 25573 24779 0 -1 4202560 5463 0 0 0 90 1 0 0 16 0 19 0 912364432 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25581] ppid=25571 vsize=10553204 CPUtime=0.81 cores=1,3,5,7
/proc/25573/task/25581/stat : 25581 (java) S 25571 25573 24779 0 -1 4202560 4526 0 0 0 81 0 0 0 16 0 19 0 912364432 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
[pid=25573/tid=25582] ppid=25571 vsize=10553204 CPUtime=0.86 cores=1,3,5,7
/proc/25573/task/25582/stat : 25582 (java) S 25571 25573 24779 0 -1 4202560 4636 0 0 0 86 0 0 0 16 0 19 0 912364432 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25583] ppid=25571 vsize=10553204 CPUtime=0.95 cores=1,3,5,7
/proc/25573/task/25583/stat : 25583 (java) S 25571 25573 24779 0 -1 4202560 6666 0 0 0 94 1 0 0 15 0 19 0 912364432 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25584] ppid=25571 vsize=10553204 CPUtime=0.49 cores=1,3,5,7
/proc/25573/task/25584/stat : 25584 (java) S 25571 25573 24779 0 -1 4202560 6334 0 0 0 47 2 0 0 15 0 19 0 912364433 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 0 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25585] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25585/stat : 25585 (java) S 25571 25573 24779 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912364434 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25586] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25586/stat : 25586 (java) S 25571 25573 24779 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912364434 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25587] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25587/stat : 25587 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364436 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216747002289 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25588] ppid=25571 vsize=10553204 CPUtime=0.7 cores=1,3,5,7
/proc/25573/task/25588/stat : 25588 (java) S 25571 25573 24779 0 -1 4202560 8016 0 0 0 69 1 0 0 15 0 19 0 912364436 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25589] ppid=25571 vsize=10553204 CPUtime=0.69 cores=1,3,5,7
/proc/25573/task/25589/stat : 25589 (java) S 25571 25573 24779 0 -1 4202560 9367 0 0 0 68 1 0 0 15 0 19 0 912364436 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25590] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25590/stat : 25590 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364436 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25591] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25591/stat : 25591 (java) S 25571 25573 24779 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912364436 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25592] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25592/stat : 25592 (java) S 25571 25573 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912364443 10806480896 904255 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.43
Current children cumulated vsize (KiB) 10553204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.9 s]
/proc/loadavg: 1.97 2.03 2.00 3/564 25698
/proc/meminfo: memFree=17743916/32951124 swapFree=56241860/67111528
[pid=25573] ppid=25571 vsize=10553204 CPUtime=1800.09 cores=1,3,5,7
/proc/25573/stat : 25573 (java) S 25571 25573 24779 0 -1 4202496 917290 0 1 0 179896 113 0 0 23 0 19 0 912364430 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25573/statm: 2638301 904413 2257 9 0 2629035 0
[pid=25573/tid=25574] ppid=25571 vsize=10553204 CPUtime=1790.93 cores=1,3,5,7
/proc/25573/task/25574/stat : 25574 (java) S 25571 25573 24779 0 -1 4202560 848503 0 1 0 178993 100 0 0 25 0 19 0 912364430 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25576] ppid=25571 vsize=10553204 CPUtime=0.74 cores=1,3,5,7
/proc/25573/task/25576/stat : 25576 (java) S 25571 25573 24779 0 -1 4202560 6008 0 0 0 74 0 0 0 15 0 19 0 912364432 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25577] ppid=25571 vsize=10553204 CPUtime=0.96 cores=1,3,5,7
/proc/25573/task/25577/stat : 25577 (java) S 25571 25573 24779 0 -1 4202560 4750 0 0 0 96 0 0 0 15 0 19 0 912364432 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25578] ppid=25571 vsize=10553204 CPUtime=0.95 cores=1,3,5,7
/proc/25573/task/25578/stat : 25578 (java) S 25571 25573 24779 0 -1 4202560 4976 0 0 0 94 1 0 0 15 0 19 0 912364432 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25579] ppid=25571 vsize=10553204 CPUtime=0.94 cores=1,3,5,7
/proc/25573/task/25579/stat : 25579 (java) S 25571 25573 24779 0 -1 4202560 6656 0 0 0 93 1 0 0 16 0 19 0 912364432 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25580] ppid=25571 vsize=10553204 CPUtime=0.94 cores=1,3,5,7
/proc/25573/task/25580/stat : 25580 (java) R 25571 25573 24779 0 -1 4202560 5535 0 0 0 93 1 0 0 15 0 19 0 912364432 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 47814090236500 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25573/tid=25581] ppid=25571 vsize=10553204 CPUtime=0.81 cores=1,3,5,7
/proc/25573/task/25581/stat : 25581 (java) R 25571 25573 24779 0 -1 4202560 4526 0 0 0 81 0 0 0 15 0 19 0 912364432 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25573/tid=25582] ppid=25571 vsize=10553204 CPUtime=0.87 cores=1,3,5,7
/proc/25573/task/25582/stat : 25582 (java) R 25571 25573 24779 0 -1 4202560 4665 0 0 0 87 0 0 0 15 0 19 0 912364432 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 47814091847855 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25573/tid=25583] ppid=25571 vsize=10553204 CPUtime=0.96 cores=1,3,5,7
/proc/25573/task/25583/stat : 25583 (java) S 25571 25573 24779 0 -1 4202560 6698 0 0 0 95 1 0 0 16 0 19 0 912364432 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25584] ppid=25571 vsize=10553204 CPUtime=0.49 cores=1,3,5,7
/proc/25573/task/25584/stat : 25584 (java) S 25571 25573 24779 0 -1 4202560 6336 0 0 0 47 2 0 0 15 0 19 0 912364433 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 0 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25585] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25585/stat : 25585 (java) S 25571 25573 24779 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912364434 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25586] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25586/stat : 25586 (java) S 25571 25573 24779 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912364434 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25587] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25587/stat : 25587 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364436 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216747002289 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25588] ppid=25571 vsize=10553204 CPUtime=0.7 cores=1,3,5,7
/proc/25573/task/25588/stat : 25588 (java) S 25571 25573 24779 0 -1 4202560 8016 0 0 0 69 1 0 0 15 0 19 0 912364436 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 3 0 0 0
[pid=25573/tid=25589] ppid=25571 vsize=10553204 CPUtime=0.69 cores=1,3,5,7
/proc/25573/task/25589/stat : 25589 (java) S 25571 25573 24779 0 -1 4202560 9367 0 0 0 68 1 0 0 15 0 19 0 912364436 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 1 0 0 0
[pid=25573/tid=25590] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25590/stat : 25590 (java) S 25571 25573 24779 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912364436 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746994585 0 4 0 16800975 18446604470766618496 0 0 -1 5 0 0 0
[pid=25573/tid=25591] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25591/stat : 25591 (java) R 25571 25573 24779 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 912364436 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25573/tid=25592] ppid=25571 vsize=10553204 CPUtime=0 cores=1,3,5,7
/proc/25573/task/25592/stat : 25592 (java) S 25571 25573 24779 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912364443 10806480896 904413 33554432000 1073741824 1073778376 140735697532128 18446744073709551615 216746995200 0 4 0 16800975 18446604470766618496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10553204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.03 s]
/proc/loadavg: 1.97 2.03 2.00 3/548 25701
/proc/meminfo: memFree=19218024/32951124 swapFree=56241860/67111528
[pid=25573] ppid=25571 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/25573/stat : 25573 (java) Z 25571 25573 24779 0 -1 4203548 917346 0 1 0 179905 121 0 0 17 0 2 0 912364430 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25573/statm: 0 0 0 0 0 0 0
[pid=25573/tid=25700] ppid=25571 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/25573/task/25700/stat : 25700 (java) R 25571 25573 24779 0 -1 4203588 11 0 0 0 0 8 0 0 19 0 2 0 912543822 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.11
CPU time (s): 1800.34
CPU user time (s): 1799.05
CPU system time (s): 1.2828
CPU usage (%): 100.347
Max. virtual memory (cumulated for all children) (KiB): 10561300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.2828
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 917346
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= 42767
involuntary context switches= 16923
runsolver used 9.76052 second user time and 22.9015 second system time
The end