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-3457360-1307635098/watcher-3457360-1307635098 -o /tmp/evaluation-result-3457360-1307635098/solver-3457360-1307635098 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457360-1307635098.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.68 3/189 9882
/proc/meminfo: memFree=32179376/32950928 swapFree=67054696/67111528
[pid=9882] ppid=9880 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/9882/stat : 9882 (java) S 9880 9882 9650 0 -1 4202496 1190 0 0 0 0 0 0 0 25 0 2 0 331119261 31313920 916 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892367845 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/9882/statm: 7645 920 699 9 0 383 0
[pid=9882/tid=9883] ppid=9880 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9883/stat : 9883 (java) R 9880 9882 9650 0 -1 4202560 96 0 0 0 0 0 0 0 25 0 2 0 331119261 31313920 936 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218875602688 0 0 4096 0 0 0 0 -1 3 0 0 0
[startup+0.045575 s]
/proc/loadavg: 2.00 2.00 1.68 3/189 9882
/proc/meminfo: memFree=32179376/32950928 swapFree=67054696/67111528
[pid=9882] ppid=9880 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/9882/stat : 9882 (java) S 9880 9882 9650 0 -1 4202496 11325 0 1 0 2 1 0 0 25 0 13 0 331119261 10718699520 11021 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/9882/statm: 2616870 11021 1678 9 0 2607618 0
[pid=9882/tid=9883] ppid=9880 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/9882/task/9883/stat : 9883 (java) R 9880 9882 9650 0 -1 4202560 10177 0 1 0 2 1 0 0 25 0 13 0 331119261 10718699520 11021 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892391883 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100559 s]
/proc/loadavg: 2.00 2.00 1.68 3/189 9882
/proc/meminfo: memFree=32179376/32950928 swapFree=67054696/67111528
[pid=9882] ppid=9880 vsize=10539608 CPUtime=0.1 cores=1,3,5,7
/proc/9882/stat : 9882 (java) S 9880 9882 9650 0 -1 4202496 13127 0 1 0 9 1 0 0 25 0 18 0 331119261 10792558592 12792 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9882/statm: 2634902 12793 2093 9 0 2625636 0
[pid=9882/tid=9883] ppid=9880 vsize=10539608 CPUtime=0.08 cores=1,3,5,7
/proc/9882/task/9883/stat : 9883 (java) R 9880 9882 9650 0 -1 4202560 11165 0 1 0 7 1 0 0 18 0 18 0 331119261 10792558592 12793 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 48008043823109 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539608
[startup+0.300449 s]
/proc/loadavg: 2.00 2.00 1.68 3/189 9882
/proc/meminfo: memFree=32179376/32950928 swapFree=67054696/67111528
[pid=9882] ppid=9880 vsize=10541632 CPUtime=0.45 cores=1,3,5,7
/proc/9882/stat : 9882 (java) S 9880 9882 9650 0 -1 4202496 15029 0 1 0 44 1 0 0 25 0 19 0 331119261 10794631168 14566 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9882/statm: 2635408 14566 2206 9 0 2626142 0
[pid=9882/tid=9883] ppid=9880 vsize=10541632 CPUtime=0.28 cores=1,3,5,7
/proc/9882/task/9883/stat : 9883 (java) R 9880 9882 9650 0 -1 4202560 12386 0 1 0 27 1 0 0 19 0 19 0 331119261 10794631168 14566 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 46912505217871 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541632
[startup+0.700439 s]
/proc/loadavg: 2.00 2.00 1.68 3/189 9882
/proc/meminfo: memFree=32179376/32950928 swapFree=67054696/67111528
[pid=9882] ppid=9880 vsize=10556860 CPUtime=1.55 cores=1,3,5,7
/proc/9882/stat : 9882 (java) S 9880 9882 9650 0 -1 4202496 32181 0 1 0 150 5 0 0 25 0 19 0 331119261 10810224640 28173 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9882/statm: 2639215 28175 2223 9 0 2629949 0
[pid=9882/tid=9883] ppid=9880 vsize=10556860 CPUtime=0.69 cores=1,3,5,7
/proc/9882/task/9883/stat : 9883 (java) R 9880 9882 9650 0 -1 4202560 20341 0 1 0 66 3 0 0 19 0 19 0 331119261 10810224640 28175 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 46912505665431 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10556860
[startup+1.50131 s]
/proc/loadavg: 2.00 2.00 1.68 3/214 9907
/proc/meminfo: memFree=31830264/32950928 swapFree=67054696/67111528
[pid=9882] ppid=9880 vsize=10556860 CPUtime=2.49 cores=1,3,5,7
/proc/9882/stat : 9882 (java) S 9880 9882 9650 0 -1 4202496 68421 0 1 0 241 8 0 0 25 0 19 0 331119261 10810224640 63425 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9882/statm: 2639215 63426 2225 9 0 2629949 0
[pid=9882/tid=9883] ppid=9880 vsize=10556860 CPUtime=1.48 cores=1,3,5,7
/proc/9882/task/9883/stat : 9883 (java) R 9880 9882 9650 0 -1 4202560 55572 0 1 0 142 6 0 0 21 0 19 0 331119261 10810224640 63427 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 46912505665431 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9882/tid=9890] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9890/stat : 9890 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 63428 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9891] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9891/stat : 9891 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 63429 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9892] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9892/stat : 9892 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 63431 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9893] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9893/stat : 9893 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 63432 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9894] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9894/stat : 9894 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 63433 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9895] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9895/stat : 9895 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 63434 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9896] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9896/stat : 9896 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 63436 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9897] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9897/stat : 9897 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 63437 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9898] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9898/stat : 9898 (java) S 9880 9882 9650 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 331119264 10810224640 63438 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 0 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9899] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9899/stat : 9899 (java) S 9880 9882 9650 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 331119264 10810224640 63440 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9900] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9900/stat : 9900 (java) S 9880 9882 9650 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 331119264 10810224640 63441 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9901] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9901/stat : 9901 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119266 10810224640 63442 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892388785 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9902] ppid=9880 vsize=10556860 CPUtime=0.46 cores=1,3,5,7
/proc/9882/task/9902/stat : 9902 (java) S 9880 9882 9650 0 -1 4202560 6355 0 0 0 45 1 0 0 22 0 19 0 331119266 10810224640 63443 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9903] ppid=9880 vsize=10556860 CPUtime=0.53 cores=1,3,5,7
/proc/9882/task/9903/stat : 9903 (java) S 9880 9882 9650 0 -1 4202560 5335 0 0 0 53 0 0 0 15 0 19 0 331119266 10810224640 63444 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9904] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9904/stat : 9904 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119266 10810224640 63445 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9905] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9905/stat : 9905 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 331119266 10810224640 63446 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
[pid=9882/tid=9907] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9907/stat : 9907 (java) S 9880 9882 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331119285 10810224640 63447 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 10556860
[startup+3.10103 s]
/proc/loadavg: 2.00 2.00 1.68 3/214 9907
/proc/meminfo: memFree=31368820/32950928 swapFree=67054696/67111528
[pid=9882] ppid=9880 vsize=10556860 CPUtime=4.09 cores=1,3,5,7
/proc/9882/stat : 9882 (java) S 9880 9882 9650 0 -1 4202496 138866 0 1 0 392 17 0 0 25 0 19 0 331119261 10810224640 133870 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9882/statm: 2639215 133872 2225 9 0 2629949 0
[pid=9882/tid=9883] ppid=9880 vsize=10556860 CPUtime=3.08 cores=1,3,5,7
/proc/9882/task/9883/stat : 9883 (java) R 9880 9882 9650 0 -1 4202560 126018 0 1 0 293 15 0 0 25 0 19 0 331119261 10810224640 133873 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 46912505665412 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9882/tid=9890] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9890/stat : 9890 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 133874 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9891] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9891/stat : 9891 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 133875 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9892] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9892/stat : 9892 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 133876 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9893] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9893/stat : 9893 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 133876 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9894] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9894/stat : 9894 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 133877 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9895] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9895/stat : 9895 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 133878 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9896] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9896/stat : 9896 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 133879 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9897] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9897/stat : 9897 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10810224640 133880 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9898] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9898/stat : 9898 (java) S 9880 9882 9650 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 331119264 10810224640 133881 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 0 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9899] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9899/stat : 9899 (java) S 9880 9882 9650 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 331119264 10810224640 133882 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9900] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9900/stat : 9900 (java) S 9880 9882 9650 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 331119264 10810224640 133883 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9901] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9901/stat : 9901 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119266 10810224640 133884 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892388785 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9902] ppid=9880 vsize=10556860 CPUtime=0.46 cores=1,3,5,7
/proc/9882/task/9902/stat : 9902 (java) S 9880 9882 9650 0 -1 4202560 6355 0 0 0 45 1 0 0 22 0 19 0 331119266 10810224640 133885 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9903] ppid=9880 vsize=10556860 CPUtime=0.53 cores=1,3,5,7
/proc/9882/task/9903/stat : 9903 (java) S 9880 9882 9650 0 -1 4202560 5335 0 0 0 53 0 0 0 15 0 19 0 331119266 10810224640 133886 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9904] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9904/stat : 9904 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119266 10810224640 133887 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9905] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9905/stat : 9905 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 331119266 10810224640 133888 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
[pid=9882/tid=9907] ppid=9880 vsize=10556860 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9907/stat : 9907 (java) S 9880 9882 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331119285 10810224640 133889 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 10556860
[startup+6.30137 s]
/proc/loadavg: 2.00 2.00 1.68 3/214 9907
/proc/meminfo: memFree=30062852/32950928 swapFree=67054696/67111528
[pid=9882] ppid=9880 vsize=10551384 CPUtime=7.35 cores=1,3,5,7
/proc/9882/stat : 9882 (java) S 9880 9882 9650 0 -1 4202496 274768 0 1 0 703 32 0 0 25 0 19 0 331119261 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9882/statm: 2637846 267904 2226 9 0 2628580 0
[pid=9882/tid=9883] ppid=9880 vsize=10551384 CPUtime=6.29 cores=1,3,5,7
/proc/9882/task/9883/stat : 9883 (java) R 9880 9882 9650 0 -1 4202560 261331 0 1 0 599 30 0 0 25 0 19 0 331119261 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 46912505931088 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9882/tid=9890] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9890/stat : 9890 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9891] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9891/stat : 9891 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9892] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9892/stat : 9892 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9893] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9893/stat : 9893 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9894] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9894/stat : 9894 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9895] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9895/stat : 9895 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9896] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9896/stat : 9896 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9897] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9897/stat : 9897 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119263 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9898] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9898/stat : 9898 (java) S 9880 9882 9650 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 331119264 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 0 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9899] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9899/stat : 9899 (java) S 9880 9882 9650 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 331119264 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9900] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9900/stat : 9900 (java) S 9880 9882 9650 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 331119264 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9901] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9901/stat : 9901 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119266 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892388785 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9902] ppid=9880 vsize=10551384 CPUtime=0.46 cores=1,3,5,7
/proc/9882/task/9902/stat : 9902 (java) S 9880 9882 9650 0 -1 4202560 6355 0 0 0 45 1 0 0 22 0 19 0 331119266 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9903] ppid=9880 vsize=10551384 CPUtime=0.6 cores=1,3,5,7
/proc/9882/task/9903/stat : 9903 (java) S 9880 9882 9650 0 -1 4202560 5920 0 0 0 59 1 0 0 15 0 19 0 331119266 10804617216 267904 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/9882/task/9899/stat : 9899 (java) S 9880 9882 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 331119264 10804617216 920640 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9900] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9900/stat : 9900 (java) S 9880 9882 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 331119264 10804617216 920640 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9901] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9901/stat : 9901 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119266 10804617216 920640 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892388785 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9902] ppid=9880 vsize=10551384 CPUtime=0.48 cores=1,3,5,7
/proc/9882/task/9902/stat : 9902 (java) S 9880 9882 9650 0 -1 4202560 6356 0 0 0 47 1 0 0 18 0 19 0 331119266 10804617216 920640 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9903] ppid=9880 vsize=10551384 CPUtime=0.75 cores=1,3,5,7
/proc/9882/task/9903/stat : 9903 (java) S 9880 9882 9650 0 -1 4202560 5952 0 0 0 74 1 0 0 15 0 19 0 331119266 10804617216 920640 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9904] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9904/stat : 9904 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119266 10804617216 920640 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9905] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9905/stat : 9905 (java) S 9880 9882 9650 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 331119266 10804617216 920640 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9907] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9907/stat : 9907 (java) S 9880 9882 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331119285 10804617216 920640 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1665.46
Current children cumulated vsize (KiB) 10551384
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/214 9965
/proc/meminfo: memFree=24483600/32950928 swapFree=67054696/67111528
[pid=9882] ppid=9880 vsize=10551384 CPUtime=1725.55 cores=1,3,5,7
/proc/9882/stat : 9882 (java) S 9880 9882 9650 0 -1 4202496 930651 0 1 0 172454 101 0 0 25 0 19 0 331119261 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9882/statm: 2637846 922086 2242 9 0 2628580 0
[pid=9882/tid=9883] ppid=9880 vsize=10551384 CPUtime=1721.52 cores=1,3,5,7
/proc/9882/task/9883/stat : 9883 (java) R 9880 9882 9650 0 -1 4202560 825609 0 1 0 172068 84 0 0 25 0 19 0 331119261 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 46912505594576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9882/tid=9890] ppid=9880 vsize=10551384 CPUtime=0.29 cores=1,3,5,7
/proc/9882/task/9890/stat : 9890 (java) S 9880 9882 9650 0 -1 4202560 10756 0 0 0 29 0 0 0 15 0 19 0 331119263 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9891] ppid=9880 vsize=10551384 CPUtime=0.35 cores=1,3,5,7
/proc/9882/task/9891/stat : 9891 (java) S 9880 9882 9650 0 -1 4202560 11570 0 0 0 34 1 0 0 16 0 19 0 331119263 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9892] ppid=9880 vsize=10551384 CPUtime=0.33 cores=1,3,5,7
/proc/9882/task/9892/stat : 9892 (java) S 9880 9882 9650 0 -1 4202560 12135 0 0 0 32 1 0 0 16 0 19 0 331119263 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9893] ppid=9880 vsize=10551384 CPUtime=0.35 cores=1,3,5,7
/proc/9882/task/9893/stat : 9893 (java) S 9880 9882 9650 0 -1 4202560 11913 0 0 0 34 1 0 0 15 0 19 0 331119263 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
[pid=9882/tid=9894] ppid=9880 vsize=10551384 CPUtime=0.31 cores=1,3,5,7
/proc/9882/task/9894/stat : 9894 (java) S 9880 9882 9650 0 -1 4202560 8057 0 0 0 30 1 0 0 16 0 19 0 331119263 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9895] ppid=9880 vsize=10551384 CPUtime=0.36 cores=1,3,5,7
/proc/9882/task/9895/stat : 9895 (java) S 9880 9882 9650 0 -1 4202560 12725 0 0 0 35 1 0 0 15 0 19 0 331119263 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
[pid=9882/tid=9896] ppid=9880 vsize=10551384 CPUtime=0.38 cores=1,3,5,7
/proc/9882/task/9896/stat : 9896 (java) S 9880 9882 9650 0 -1 4202560 13557 0 0 0 37 1 0 0 15 0 19 0 331119263 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9897] ppid=9880 vsize=10551384 CPUtime=0.28 cores=1,3,5,7
/proc/9882/task/9897/stat : 9897 (java) S 9880 9882 9650 0 -1 4202560 10657 0 0 0 27 1 0 0 16 0 19 0 331119263 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
[pid=9882/tid=9898] ppid=9880 vsize=10551384 CPUtime=0.02 cores=1,3,5,7
/proc/9882/task/9898/stat : 9898 (java) S 9880 9882 9650 0 -1 4202560 108 0 0 0 1 1 0 0 15 0 19 0 331119264 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 0 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9899] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9899/stat : 9899 (java) S 9880 9882 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 331119264 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9900] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9900/stat : 9900 (java) S 9880 9882 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 331119264 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9901] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9901/stat : 9901 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119266 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892388785 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9902] ppid=9880 vsize=10551384 CPUtime=0.48 cores=1,3,5,7
/proc/9882/task/9902/stat : 9902 (java) S 9880 9882 9650 0 -1 4202560 6356 0 0 0 47 1 0 0 18 0 19 0 331119266 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9903] ppid=9880 vsize=10551384 CPUtime=0.76 cores=1,3,5,7
/proc/9882/task/9903/stat : 9903 (java) S 9880 9882 9650 0 -1 4202560 5955 0 0 0 75 1 0 0 15 0 19 0 331119266 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9904] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9904/stat : 9904 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119266 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9905] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9905/stat : 9905 (java) S 9880 9882 9650 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 331119266 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9907] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9907/stat : 9907 (java) S 9880 9882 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331119285 10804617216 922086 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.55
Current children cumulated vsize (KiB) 10551384
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/214 9967
/proc/meminfo: memFree=24446612/32950928 swapFree=67054696/67111528
[pid=9882] ppid=9880 vsize=10551384 CPUtime=1785.6 cores=1,3,5,7
/proc/9882/stat : 9882 (java) S 9880 9882 9650 0 -1 4202496 931536 0 1 0 178459 101 0 0 25 0 19 0 331119261 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9882/statm: 2637846 922925 2242 9 0 2628580 0
[pid=9882/tid=9883] ppid=9880 vsize=10551384 CPUtime=1781.5 cores=1,3,5,7
/proc/9882/task/9883/stat : 9883 (java) R 9880 9882 9650 0 -1 4202560 825611 0 1 0 178066 84 0 0 25 0 19 0 331119261 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 46912505594288 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9882/tid=9890] ppid=9880 vsize=10551384 CPUtime=0.31 cores=1,3,5,7
/proc/9882/task/9890/stat : 9890 (java) S 9880 9882 9650 0 -1 4202560 10884 0 0 0 30 1 0 0 16 0 19 0 331119263 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9891] ppid=9880 vsize=10551384 CPUtime=0.37 cores=1,3,5,7
/proc/9882/task/9891/stat : 9891 (java) S 9880 9882 9650 0 -1 4202560 11815 0 0 0 36 1 0 0 16 0 19 0 331119263 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
[pid=9882/tid=9892] ppid=9880 vsize=10551384 CPUtime=0.33 cores=1,3,5,7
/proc/9882/task/9892/stat : 9892 (java) S 9880 9882 9650 0 -1 4202560 12135 0 0 0 32 1 0 0 16 0 19 0 331119263 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9893] ppid=9880 vsize=10551384 CPUtime=0.35 cores=1,3,5,7
/proc/9882/task/9893/stat : 9893 (java) S 9880 9882 9650 0 -1 4202560 11921 0 0 0 34 1 0 0 16 0 19 0 331119263 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9894] ppid=9880 vsize=10551384 CPUtime=0.31 cores=1,3,5,7
/proc/9882/task/9894/stat : 9894 (java) S 9880 9882 9650 0 -1 4202560 8203 0 0 0 30 1 0 0 15 0 19 0 331119263 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9895] ppid=9880 vsize=10551384 CPUtime=0.38 cores=1,3,5,7
/proc/9882/task/9895/stat : 9895 (java) S 9880 9882 9650 0 -1 4202560 12958 0 0 0 37 1 0 0 16 0 19 0 331119263 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9896] ppid=9880 vsize=10551384 CPUtime=0.39 cores=1,3,5,7
/proc/9882/task/9896/stat : 9896 (java) S 9880 9882 9650 0 -1 4202560 13674 0 0 0 38 1 0 0 16 0 19 0 331119263 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9897] ppid=9880 vsize=10551384 CPUtime=0.28 cores=1,3,5,7
/proc/9882/task/9897/stat : 9897 (java) S 9880 9882 9650 0 -1 4202560 10657 0 0 0 27 1 0 0 16 0 19 0 331119263 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
[pid=9882/tid=9898] ppid=9880 vsize=10551384 CPUtime=0.02 cores=1,3,5,7
/proc/9882/task/9898/stat : 9898 (java) S 9880 9882 9650 0 -1 4202560 112 0 0 0 1 1 0 0 15 0 19 0 331119264 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 0 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9899] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9899/stat : 9899 (java) S 9880 9882 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 331119264 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9900] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9900/stat : 9900 (java) S 9880 9882 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 331119264 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9901] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9901/stat : 9901 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119266 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892388785 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9902] ppid=9880 vsize=10551384 CPUtime=0.48 cores=1,3,5,7
/proc/9882/task/9902/stat : 9902 (java) S 9880 9882 9650 0 -1 4202560 6356 0 0 0 47 1 0 0 18 0 19 0 331119266 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9903] ppid=9880 vsize=10551384 CPUtime=0.76 cores=1,3,5,7
/proc/9882/task/9903/stat : 9903 (java) S 9880 9882 9650 0 -1 4202560 5955 0 0 0 75 1 0 0 15 0 19 0 331119266 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9904] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9904/stat : 9904 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119266 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9905] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9905/stat : 9905 (java) S 9880 9882 9650 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 331119266 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9907] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9907/stat : 9907 (java) S 9880 9882 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331119285 10804617216 922925 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1785.6
Current children cumulated vsize (KiB) 10551384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.7 s]
/proc/loadavg: 1.94 1.99 1.91 2/194 9970
/proc/meminfo: memFree=28520528/32950928 swapFree=67054696/67111528
[pid=9882] ppid=9880 vsize=10551384 CPUtime=1800.04 cores=1,3,5,7
/proc/9882/stat : 9882 (java) S 9880 9882 9650 0 -1 4202496 932148 0 1 0 179903 101 0 0 25 0 19 0 331119261 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9882/statm: 2637846 923520 2242 9 0 2628580 0
[pid=9882/tid=9883] ppid=9880 vsize=10551384 CPUtime=1795.9 cores=1,3,5,7
/proc/9882/task/9883/stat : 9883 (java) R 9880 9882 9650 0 -1 4202560 825612 0 1 0 179506 84 0 0 25 0 19 0 331119261 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 46912505594098 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9882/tid=9890] ppid=9880 vsize=10551384 CPUtime=0.31 cores=1,3,5,7
/proc/9882/task/9890/stat : 9890 (java) S 9880 9882 9650 0 -1 4202560 11043 0 0 0 30 1 0 0 16 0 19 0 331119263 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9891] ppid=9880 vsize=10551384 CPUtime=0.37 cores=1,3,5,7
/proc/9882/task/9891/stat : 9891 (java) S 9880 9882 9650 0 -1 4202560 11815 0 0 0 36 1 0 0 15 0 19 0 331119263 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
[pid=9882/tid=9892] ppid=9880 vsize=10551384 CPUtime=0.34 cores=1,3,5,7
/proc/9882/task/9892/stat : 9892 (java) S 9880 9882 9650 0 -1 4202560 12312 0 0 0 33 1 0 0 16 0 19 0 331119263 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9893] ppid=9880 vsize=10551384 CPUtime=0.36 cores=1,3,5,7
/proc/9882/task/9893/stat : 9893 (java) S 9880 9882 9650 0 -1 4202560 11957 0 0 0 35 1 0 0 16 0 19 0 331119263 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9894] ppid=9880 vsize=10551384 CPUtime=0.32 cores=1,3,5,7
/proc/9882/task/9894/stat : 9894 (java) S 9880 9882 9650 0 -1 4202560 8327 0 0 0 31 1 0 0 16 0 19 0 331119263 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9895] ppid=9880 vsize=10551384 CPUtime=0.38 cores=1,3,5,7
/proc/9882/task/9895/stat : 9895 (java) S 9880 9882 9650 0 -1 4202560 12958 0 0 0 37 1 0 0 15 0 19 0 331119263 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9896] ppid=9880 vsize=10551384 CPUtime=0.39 cores=1,3,5,7
/proc/9882/task/9896/stat : 9896 (java) S 9880 9882 9650 0 -1 4202560 13674 0 0 0 38 1 0 0 15 0 19 0 331119263 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9897] ppid=9880 vsize=10551384 CPUtime=0.29 cores=1,3,5,7
/proc/9882/task/9897/stat : 9897 (java) S 9880 9882 9650 0 -1 4202560 10768 0 0 0 28 1 0 0 16 0 19 0 331119263 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
[pid=9882/tid=9898] ppid=9880 vsize=10551384 CPUtime=0.02 cores=1,3,5,7
/proc/9882/task/9898/stat : 9898 (java) S 9880 9882 9650 0 -1 4202560 114 0 0 0 1 1 0 0 15 0 19 0 331119264 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 0 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9899] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9899/stat : 9899 (java) S 9880 9882 9650 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 331119264 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9900] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9900/stat : 9900 (java) S 9880 9882 9650 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 331119264 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9901] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9901/stat : 9901 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119266 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892388785 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9902] ppid=9880 vsize=10551384 CPUtime=0.48 cores=1,3,5,7
/proc/9882/task/9902/stat : 9902 (java) S 9880 9882 9650 0 -1 4202560 6356 0 0 0 47 1 0 0 18 0 19 0 331119266 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 7 0 0 0
[pid=9882/tid=9903] ppid=9880 vsize=10551384 CPUtime=0.76 cores=1,3,5,7
/proc/9882/task/9903/stat : 9903 (java) S 9880 9882 9650 0 -1 4202560 5955 0 0 0 75 1 0 0 15 0 19 0 331119266 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 5 0 0 0
[pid=9882/tid=9904] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9904/stat : 9904 (java) S 9880 9882 9650 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 331119266 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381081 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9905] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9905/stat : 9905 (java) S 9880 9882 9650 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 331119266 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 4 0 16800975 18446604454224049216 0 0 -1 3 0 0 0
[pid=9882/tid=9907] ppid=9880 vsize=10551384 CPUtime=0 cores=1,3,5,7
/proc/9882/task/9907/stat : 9907 (java) S 9880 9882 9650 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 331119285 10804617216 923520 33554432000 1073741824 1073778376 140736757555664 18446744073709551615 218892381696 0 4 0 16800975 18446604454224049216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10551384
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.81 s]
/proc/loadavg: 1.94 1.99 1.91 2/194 9970
/proc/meminfo: memFree=28520528/32950928 swapFree=67054696/67111528
[pid=9882] ppid=9880 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/9882/stat : 9882 (java) Z 9880 9882 9650 0 -1 4203548 932180 0 1 0 179905 110 0 0 17 0 2 0 331119261 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9882/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.86
CPU time (s): 1800.2
CPU user time (s): 1799.05
CPU system time (s): 1.14782
CPU usage (%): 100.186
Max. virtual memory (cumulated for all children) (KiB): 10556860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.14783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 932180
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= 38717
involuntary context switches= 10497
runsolver used 2.81757 second user time and 6.99594 second system time
The end