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-3457149-1307217665/watcher-3457149-1307217665 -o /tmp/evaluation-result-3457149-1307217665/solver-3457149-1307217665 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457149-1307217665.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.06 1.73 3/454 4054
/proc/meminfo: memFree=20322928/32951124 swapFree=60787360/67111528
[pid=4054] ppid=4052 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/4054/stat : 4054 (java) S 4052 4054 3845 0 -1 4202496 3283 0 1 0 0 0 0 0 22 0 2 0 833364419 10694979584 2985 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/4054/statm: 2611079 2999 917 9 0 2602235 0
[pid=4054/tid=4055] ppid=4052 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4055/stat : 4055 (java) R 4052 4054 3845 0 -1 4202560 6262 0 1 0 0 0 0 0 25 0 2 0 833364420 10694979584 7078 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0697251 s]
/proc/loadavg: 2.00 2.06 1.73 3/454 4054
/proc/meminfo: memFree=20322928/32951124 swapFree=60787360/67111528
[pid=4054] ppid=4052 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/4054/stat : 4054 (java) S 4052 4054 3845 0 -1 4202496 11876 0 1 0 5 1 0 0 22 0 18 0 833364419 10724442112 11573 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4054/statm: 2618272 11573 1754 9 0 2609006 0
[pid=4054/tid=4055] ppid=4052 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/4054/task/4055/stat : 4055 (java) R 4052 4054 3845 0 -1 4202560 10702 0 1 0 5 1 0 0 22 0 18 0 833364420 10724442112 11573 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389128139 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.10072 s]
/proc/loadavg: 2.00 2.06 1.73 3/454 4054
/proc/meminfo: memFree=20322928/32951124 swapFree=60787360/67111528
[pid=4054] ppid=4052 vsize=10540188 CPUtime=0.1 cores=1,3,5,7
/proc/4054/stat : 4054 (java) S 4052 4054 3845 0 -1 4202496 13085 0 1 0 9 1 0 0 22 0 18 0 833364419 10793152512 12782 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4054/statm: 2635047 12783 2092 9 0 2625781 0
[pid=4054/tid=4055] ppid=4052 vsize=10540188 CPUtime=0.09 cores=1,3,5,7
/proc/4054/task/4055/stat : 4055 (java) R 4052 4054 3845 0 -1 4202560 11194 0 1 0 8 1 0 0 22 0 18 0 833364420 10793152512 12783 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 47435120610131 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) 10540188
[startup+0.30067 s]
/proc/loadavg: 2.00 2.06 1.73 3/454 4054
/proc/meminfo: memFree=20322928/32951124 swapFree=60787360/67111528
[pid=4054] ppid=4052 vsize=10544400 CPUtime=0.55 cores=1,3,5,7
/proc/4054/stat : 4054 (java) S 4052 4054 3845 0 -1 4202496 19651 0 1 0 52 3 0 0 22 0 18 0 833364419 10797465600 18136 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4054/statm: 2636100 18137 2201 9 0 2626834 0
[pid=4054/tid=4055] ppid=4052 vsize=10544400 CPUtime=0.28 cores=1,3,5,7
/proc/4054/task/4055/stat : 4055 (java) R 4052 4054 3845 0 -1 4202560 14195 0 1 0 27 1 0 0 18 0 18 0 833364420 10797465600 18138 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 46912505557851 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10544400
[startup+0.700594 s]
/proc/loadavg: 2.00 2.06 1.73 3/454 4054
/proc/meminfo: memFree=20322928/32951124 swapFree=60787360/67111528
[pid=4054] ppid=4052 vsize=10553576 CPUtime=1.62 cores=1,3,5,7
/proc/4054/stat : 4054 (java) S 4052 4054 3845 0 -1 4202496 34441 0 1 0 157 5 0 0 22 0 19 0 833364419 10806861824 30223 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4054/statm: 2638394 30224 2229 9 0 2629128 0
[pid=4054/tid=4055] ppid=4052 vsize=10553576 CPUtime=0.68 cores=1,3,5,7
/proc/4054/task/4055/stat : 4055 (java) R 4052 4054 3845 0 -1 4202560 21128 0 1 0 66 2 0 0 19 0 19 0 833364420 10806861824 30224 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 46912505603811 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10553576
[startup+1.50146 s]
/proc/loadavg: 2.00 2.06 1.73 3/473 4073
/proc/meminfo: memFree=19994060/32951124 swapFree=60787360/67111528
[pid=4054] ppid=4052 vsize=10556452 CPUtime=2.78 cores=1,3,5,7
/proc/4054/stat : 4054 (java) S 4052 4054 3845 0 -1 4202496 66677 0 1 0 269 9 0 0 22 0 19 0 833364419 10809806848 61529 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4054/statm: 2639113 61530 2232 9 0 2629847 0
[pid=4054/tid=4055] ppid=4052 vsize=10556452 CPUtime=1.49 cores=1,3,5,7
/proc/4054/task/4055/stat : 4055 (java) R 4052 4054 3845 0 -1 4202560 52350 0 1 0 142 7 0 0 20 0 19 0 833364420 10809806848 61530 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4054/tid=4057] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4057/stat : 4057 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 61530 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4058] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4058/stat : 4058 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 61531 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4059] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4059/stat : 4059 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 61531 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4060] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4060/stat : 4060 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 61531 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4061] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4061/stat : 4061 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 61532 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4062] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4062/stat : 4062 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 61532 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4063] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4063/stat : 4063 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 61533 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4064] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4064/stat : 4064 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 61533 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4065] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4065/stat : 4065 (java) S 4052 4054 3845 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833364422 10809806848 61534 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 0 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4066] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4066/stat : 4066 (java) S 4052 4054 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833364423 10809806848 61534 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4067] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4067/stat : 4067 (java) S 4052 4054 3845 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833364423 10809806848 61534 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4068] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4068/stat : 4068 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833364425 10809806848 61535 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389125041 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4069] ppid=4052 vsize=10556452 CPUtime=0.61 cores=1,3,5,7
/proc/4054/task/4069/stat : 4069 (java) S 4052 4054 3845 0 -1 4202560 3992 0 0 0 61 0 0 0 20 0 19 0 833364425 10809806848 61535 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 1 0 0 0
[pid=4054/tid=4070] ppid=4052 vsize=10556452 CPUtime=0.66 cores=1,3,5,7
/proc/4054/task/4070/stat : 4070 (java) S 4052 4054 3845 0 -1 4202560 9176 0 0 0 65 1 0 0 15 0 19 0 833364425 10809806848 61535 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4071] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4071/stat : 4071 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833364425 10809806848 61536 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4072] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4072/stat : 4072 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833364425 10809806848 61536 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4073] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4073/stat : 4073 (java) S 4052 4054 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833364457 10809806848 61536 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 10556452
[startup+3.10116 s]
/proc/loadavg: 2.00 2.06 1.73 3/473 4073
/proc/meminfo: memFree=19391908/32951124 swapFree=60787360/67111528
[pid=4054] ppid=4052 vsize=10556452 CPUtime=4.4 cores=1,3,5,7
/proc/4054/stat : 4054 (java) S 4052 4054 3845 0 -1 4202496 130299 0 1 0 424 16 0 0 22 0 19 0 833364419 10809806848 125150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4054/statm: 2639113 125152 2233 9 0 2629847 0
[pid=4054/tid=4055] ppid=4052 vsize=10556452 CPUtime=3.08 cores=1,3,5,7
/proc/4054/task/4055/stat : 4055 (java) R 4052 4054 3845 0 -1 4202560 115966 0 1 0 294 14 0 0 19 0 19 0 833364420 10809806848 125152 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 46912505735658 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4054/tid=4057] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4057/stat : 4057 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 125153 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4058] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4058/stat : 4058 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 125154 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4059] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4059/stat : 4059 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 125155 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4060] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4060/stat : 4060 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 125155 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4061] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4061/stat : 4061 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 125156 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4062] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4062/stat : 4062 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 125157 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4063] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4063/stat : 4063 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 125157 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4064] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4064/stat : 4064 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10809806848 125158 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4065] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4065/stat : 4065 (java) S 4052 4054 3845 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833364422 10809806848 125159 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 0 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4066] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4066/stat : 4066 (java) S 4052 4054 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833364423 10809806848 125160 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4067] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4067/stat : 4067 (java) S 4052 4054 3845 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833364423 10809806848 125161 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4068] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4068/stat : 4068 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833364425 10809806848 125162 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389125041 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4069] ppid=4052 vsize=10556452 CPUtime=0.62 cores=1,3,5,7
/proc/4054/task/4069/stat : 4069 (java) S 4052 4054 3845 0 -1 4202560 3995 0 0 0 62 0 0 0 15 0 19 0 833364425 10809806848 125162 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 1 0 0 0
[pid=4054/tid=4070] ppid=4052 vsize=10556452 CPUtime=0.67 cores=1,3,5,7
/proc/4054/task/4070/stat : 4070 (java) S 4052 4054 3845 0 -1 4202560 9180 0 0 0 66 1 0 0 16 0 19 0 833364425 10809806848 125163 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4071] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4071/stat : 4071 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833364425 10809806848 125164 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4072] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4072/stat : 4072 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833364425 10809806848 125165 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4073] ppid=4052 vsize=10556452 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4073/stat : 4073 (java) S 4052 4054 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833364457 10809806848 125166 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 10556452
[startup+6.30157 s]
/proc/loadavg: 2.00 2.06 1.73 3/473 4073
/proc/meminfo: memFree=17820916/32951124 swapFree=60787360/67111528
[pid=4054] ppid=4052 vsize=10557088 CPUtime=7.72 cores=1,3,5,7
/proc/4054/stat : 4054 (java) S 4052 4054 3845 0 -1 4202496 265839 0 1 0 739 33 0 0 22 0 19 0 833364419 10810458112 260681 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4054/statm: 2639272 260683 2234 9 0 2630006 0
[pid=4054/tid=4055] ppid=4052 vsize=10557088 CPUtime=6.28 cores=1,3,5,7
/proc/4054/task/4055/stat : 4055 (java) R 4052 4054 3845 0 -1 4202560 251321 0 1 0 598 30 0 0 25 0 19 0 833364420 10810458112 260684 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 46912505794480 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4054/tid=4057] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4057/stat : 4057 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10810458112 260686 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4058] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4058/stat : 4058 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10810458112 260687 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4059] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4059/stat : 4059 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10810458112 260689 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4060] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4060/stat : 4060 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10810458112 260690 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4061] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4061/stat : 4061 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10810458112 260691 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4062] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4062/stat : 4062 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10810458112 260693 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4063] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4063/stat : 4063 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10810458112 260694 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4064] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4064/stat : 4064 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833364421 10810458112 260695 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4065] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4065/stat : 4065 (java) S 4052 4054 3845 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833364422 10810458112 260695 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 0 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4066] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4066/stat : 4066 (java) S 4052 4054 3845 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833364423 10810458112 260696 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4067] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4067/stat : 4067 (java) S 4052 4054 3845 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833364423 10810458112 260697 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4068] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4068/stat : 4068 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833364425 10810458112 260698 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389125041 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4069] ppid=4052 vsize=10557088 CPUtime=0.72 cores=1,3,5,7
/proc/4054/task/4069/stat : 4069 (java) S 4052 4054 3845 0 -1 4202560 4178 0 0 0 72 0 0 0 15 0 19 0 833364425 10810458112 260699 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 1 0 0 0
[pid=4054/tid=4070] ppid=4052 vsize=10557088 CPUtime=0.69 cores=1,3,5,7
/proc/4054/task/4070/stat : 4070 (java) S 4052 4054 3845 0 -1 4202560 9182 0 0 0 68 1 0 0 15 0 19 0 833364425 10810458112 260700 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/4054/task/4066/stat : 4066 (java) S 4052 4054 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833364423 10810458112 943111 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4067] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4067/stat : 4067 (java) S 4052 4054 3845 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833364423 10810458112 943111 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4068] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4068/stat : 4068 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833364425 10810458112 943111 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389125041 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4069] ppid=4052 vsize=10557088 CPUtime=0.75 cores=1,3,5,7
/proc/4054/task/4069/stat : 4069 (java) S 4052 4054 3845 0 -1 4202560 4188 0 0 0 75 0 0 0 16 0 19 0 833364425 10810458112 943111 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 1 0 0 0
[pid=4054/tid=4070] ppid=4052 vsize=10557088 CPUtime=0.88 cores=1,3,5,7
/proc/4054/task/4070/stat : 4070 (java) S 4052 4054 3845 0 -1 4202560 9243 0 0 0 87 1 0 0 15 0 19 0 833364425 10810458112 943111 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4071] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4071/stat : 4071 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833364425 10810458112 943111 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4072] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4072/stat : 4072 (java) S 4052 4054 3845 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833364425 10810458112 943111 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4073] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4073/stat : 4073 (java) S 4052 4054 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833364457 10810458112 943111 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.36
Current children cumulated vsize (KiB) 10557088
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 1.98 3/473 4168
/proc/meminfo: memFree=12485188/32951124 swapFree=60787360/67111528
[pid=4054] ppid=4052 vsize=10557088 CPUtime=1726.44 cores=1,3,5,7
/proc/4054/stat : 4054 (java) S 4052 4054 3845 0 -1 4202496 951240 0 1 0 172525 119 0 0 22 0 19 0 833364419 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4054/statm: 2639272 943915 2263 9 0 2630006 0
[pid=4054/tid=4055] ppid=4052 vsize=10557088 CPUtime=1720.53 cores=1,3,5,7
/proc/4054/task/4055/stat : 4055 (java) R 4052 4054 3845 0 -1 4202560 822598 0 1 0 171953 100 0 0 25 0 19 0 833364420 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 46912505752432 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4054/tid=4057] ppid=4052 vsize=10557088 CPUtime=0.45 cores=1,3,5,7
/proc/4054/task/4057/stat : 4057 (java) S 4052 4054 3845 0 -1 4202560 13319 0 0 0 44 1 0 0 15 0 19 0 833364421 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 3 0 0 0
[pid=4054/tid=4058] ppid=4052 vsize=10557088 CPUtime=0.44 cores=1,3,5,7
/proc/4054/task/4058/stat : 4058 (java) S 4052 4054 3845 0 -1 4202560 11674 0 0 0 43 1 0 0 16 0 19 0 833364421 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 3 0 0 0
[pid=4054/tid=4059] ppid=4052 vsize=10557088 CPUtime=0.46 cores=1,3,5,7
/proc/4054/task/4059/stat : 4059 (java) S 4052 4054 3845 0 -1 4202560 14680 0 0 0 45 1 0 0 15 0 19 0 833364421 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4060] ppid=4052 vsize=10557088 CPUtime=0.45 cores=1,3,5,7
/proc/4054/task/4060/stat : 4060 (java) S 4052 4054 3845 0 -1 4202560 11895 0 0 0 43 2 0 0 15 0 19 0 833364421 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4061] ppid=4052 vsize=10557088 CPUtime=0.49 cores=1,3,5,7
/proc/4054/task/4061/stat : 4061 (java) S 4052 4054 3845 0 -1 4202560 14115 0 0 0 48 1 0 0 16 0 19 0 833364421 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4062] ppid=4052 vsize=10557088 CPUtime=0.46 cores=1,3,5,7
/proc/4054/task/4062/stat : 4062 (java) S 4052 4054 3845 0 -1 4202560 12167 0 0 0 45 1 0 0 15 0 19 0 833364421 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 1 0 0 0
[pid=4054/tid=4063] ppid=4052 vsize=10557088 CPUtime=0.45 cores=1,3,5,7
/proc/4054/task/4063/stat : 4063 (java) S 4052 4054 3845 0 -1 4202560 18309 0 0 0 43 2 0 0 15 0 19 0 833364421 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 1 0 0 0
[pid=4054/tid=4064] ppid=4052 vsize=10557088 CPUtime=0.55 cores=1,3,5,7
/proc/4054/task/4064/stat : 4064 (java) S 4052 4054 3845 0 -1 4202560 16965 0 0 0 54 1 0 0 16 0 19 0 833364421 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4065] ppid=4052 vsize=10557088 CPUtime=0.4 cores=1,3,5,7
/proc/4054/task/4065/stat : 4065 (java) S 4052 4054 3845 0 -1 4202560 836 0 0 0 40 0 0 0 15 0 19 0 833364422 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 0 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4066] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4066/stat : 4066 (java) S 4052 4054 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833364423 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4067] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4067/stat : 4067 (java) S 4052 4054 3845 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833364423 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4068] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4068/stat : 4068 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833364425 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389125041 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4069] ppid=4052 vsize=10557088 CPUtime=0.75 cores=1,3,5,7
/proc/4054/task/4069/stat : 4069 (java) S 4052 4054 3845 0 -1 4202560 4188 0 0 0 75 0 0 0 16 0 19 0 833364425 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 1 0 0 0
[pid=4054/tid=4070] ppid=4052 vsize=10557088 CPUtime=0.88 cores=1,3,5,7
/proc/4054/task/4070/stat : 4070 (java) S 4052 4054 3845 0 -1 4202560 9243 0 0 0 87 1 0 0 15 0 19 0 833364425 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4071] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4071/stat : 4071 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833364425 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4072] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4072/stat : 4072 (java) S 4052 4054 3845 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833364425 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4073] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4073/stat : 4073 (java) S 4052 4054 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833364457 10810458112 943915 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.44
Current children cumulated vsize (KiB) 10557088
[startup+1782.3 s]
/proc/loadavg: 2.18 2.06 1.99 3/473 4170
/proc/meminfo: memFree=12468176/32951124 swapFree=60787360/67111528
[pid=4054] ppid=4052 vsize=10557088 CPUtime=1786.53 cores=1,3,5,7
/proc/4054/stat : 4054 (java) S 4052 4054 3845 0 -1 4202496 952769 0 1 0 178534 119 0 0 22 0 19 0 833364419 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4054/statm: 2639272 945405 2263 9 0 2630006 0
[pid=4054/tid=4055] ppid=4052 vsize=10557088 CPUtime=1780.5 cores=1,3,5,7
/proc/4054/task/4055/stat : 4055 (java) R 4052 4054 3845 0 -1 4202560 822600 0 1 0 177950 100 0 0 25 0 19 0 833364420 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 46912505755153 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4054/tid=4057] ppid=4052 vsize=10557088 CPUtime=0.45 cores=1,3,5,7
/proc/4054/task/4057/stat : 4057 (java) S 4052 4054 3845 0 -1 4202560 13319 0 0 0 44 1 0 0 15 0 19 0 833364421 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 3 0 0 0
[pid=4054/tid=4058] ppid=4052 vsize=10557088 CPUtime=0.47 cores=1,3,5,7
/proc/4054/task/4058/stat : 4058 (java) S 4052 4054 3845 0 -1 4202560 11998 0 0 0 46 1 0 0 16 0 19 0 833364421 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 3 0 0 0
[pid=4054/tid=4059] ppid=4052 vsize=10557088 CPUtime=0.46 cores=1,3,5,7
/proc/4054/task/4059/stat : 4059 (java) S 4052 4054 3845 0 -1 4202560 14686 0 0 0 45 1 0 0 15 0 19 0 833364421 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4060] ppid=4052 vsize=10557088 CPUtime=0.47 cores=1,3,5,7
/proc/4054/task/4060/stat : 4060 (java) S 4052 4054 3845 0 -1 4202560 12085 0 0 0 45 2 0 0 16 0 19 0 833364421 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4061] ppid=4052 vsize=10557088 CPUtime=0.5 cores=1,3,5,7
/proc/4054/task/4061/stat : 4061 (java) S 4052 4054 3845 0 -1 4202560 14375 0 0 0 49 1 0 0 16 0 19 0 833364421 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4062] ppid=4052 vsize=10557088 CPUtime=0.48 cores=1,3,5,7
/proc/4054/task/4062/stat : 4062 (java) S 4052 4054 3845 0 -1 4202560 12389 0 0 0 47 1 0 0 15 0 19 0 833364421 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 1 0 0 0
[pid=4054/tid=4063] ppid=4052 vsize=10557088 CPUtime=0.46 cores=1,3,5,7
/proc/4054/task/4063/stat : 4063 (java) S 4052 4054 3845 0 -1 4202560 18636 0 0 0 44 2 0 0 16 0 19 0 833364421 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 1 0 0 0
[pid=4054/tid=4064] ppid=4052 vsize=10557088 CPUtime=0.57 cores=1,3,5,7
/proc/4054/task/4064/stat : 4064 (java) S 4052 4054 3845 0 -1 4202560 17157 0 0 0 56 1 0 0 15 0 19 0 833364421 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4065] ppid=4052 vsize=10557088 CPUtime=0.4 cores=1,3,5,7
/proc/4054/task/4065/stat : 4065 (java) S 4052 4054 3845 0 -1 4202560 840 0 0 0 40 0 0 0 15 0 19 0 833364422 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 0 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4066] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4066/stat : 4066 (java) S 4052 4054 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833364423 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4067] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4067/stat : 4067 (java) S 4052 4054 3845 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833364423 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4068] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4068/stat : 4068 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833364425 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389125041 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4069] ppid=4052 vsize=10557088 CPUtime=0.75 cores=1,3,5,7
/proc/4054/task/4069/stat : 4069 (java) S 4052 4054 3845 0 -1 4202560 4188 0 0 0 75 0 0 0 16 0 19 0 833364425 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 1 0 0 0
[pid=4054/tid=4070] ppid=4052 vsize=10557088 CPUtime=0.88 cores=1,3,5,7
/proc/4054/task/4070/stat : 4070 (java) S 4052 4054 3845 0 -1 4202560 9243 0 0 0 87 1 0 0 15 0 19 0 833364425 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4071] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4071/stat : 4071 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833364425 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4072] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4072/stat : 4072 (java) S 4052 4054 3845 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833364425 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4073] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4073/stat : 4073 (java) S 4052 4054 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833364457 10810458112 945405 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.53
Current children cumulated vsize (KiB) 10557088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.8 s]
/proc/loadavg: 2.14 2.06 1.99 3/473 4170
/proc/meminfo: memFree=12459616/32951124 swapFree=60787360/67111528
[pid=4054] ppid=4052 vsize=10557088 CPUtime=1800.1 cores=1,3,5,7
/proc/4054/stat : 4054 (java) S 4052 4054 3845 0 -1 4202496 953534 0 1 0 179891 119 0 0 22 0 19 0 833364419 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4054/statm: 2639272 946150 2263 9 0 2630006 0
[pid=4054/tid=4055] ppid=4052 vsize=10557088 CPUtime=1793.98 cores=1,3,5,7
/proc/4054/task/4055/stat : 4055 (java) R 4052 4054 3845 0 -1 4202560 822601 0 1 0 179298 100 0 0 25 0 19 0 833364420 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 46912505754569 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4054/tid=4057] ppid=4052 vsize=10557088 CPUtime=0.48 cores=1,3,5,7
/proc/4054/task/4057/stat : 4057 (java) S 4052 4054 3845 0 -1 4202560 13556 0 0 0 47 1 0 0 16 0 19 0 833364421 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 3 0 0 0
[pid=4054/tid=4058] ppid=4052 vsize=10557088 CPUtime=0.48 cores=1,3,5,7
/proc/4054/task/4058/stat : 4058 (java) S 4052 4054 3845 0 -1 4202560 11998 0 0 0 47 1 0 0 15 0 19 0 833364421 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 3 0 0 0
[pid=4054/tid=4059] ppid=4052 vsize=10557088 CPUtime=0.48 cores=1,3,5,7
/proc/4054/task/4059/stat : 4059 (java) S 4052 4054 3845 0 -1 4202560 14960 0 0 0 47 1 0 0 16 0 19 0 833364421 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4060] ppid=4052 vsize=10557088 CPUtime=0.47 cores=1,3,5,7
/proc/4054/task/4060/stat : 4060 (java) S 4052 4054 3845 0 -1 4202560 12085 0 0 0 45 2 0 0 15 0 19 0 833364421 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4061] ppid=4052 vsize=10557088 CPUtime=0.5 cores=1,3,5,7
/proc/4054/task/4061/stat : 4061 (java) S 4052 4054 3845 0 -1 4202560 14375 0 0 0 49 1 0 0 15 0 19 0 833364421 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
[pid=4054/tid=4062] ppid=4052 vsize=10557088 CPUtime=0.49 cores=1,3,5,7
/proc/4054/task/4062/stat : 4062 (java) S 4052 4054 3845 0 -1 4202560 12389 0 0 0 48 1 0 0 16 0 19 0 833364421 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 1 0 0 0
[pid=4054/tid=4063] ppid=4052 vsize=10557088 CPUtime=0.47 cores=1,3,5,7
/proc/4054/task/4063/stat : 4063 (java) S 4052 4054 3845 0 -1 4202560 18636 0 0 0 45 2 0 0 15 0 19 0 833364421 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 1 0 0 0
[pid=4054/tid=4064] ppid=4052 vsize=10557088 CPUtime=0.59 cores=1,3,5,7
/proc/4054/task/4064/stat : 4064 (java) S 4052 4054 3845 0 -1 4202560 17408 0 0 0 58 1 0 0 16 0 19 0 833364421 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 3 0 0 0
[pid=4054/tid=4065] ppid=4052 vsize=10557088 CPUtime=0.4 cores=1,3,5,7
/proc/4054/task/4065/stat : 4065 (java) S 4052 4054 3845 0 -1 4202560 840 0 0 0 40 0 0 0 15 0 19 0 833364422 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 0 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4066] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4066/stat : 4066 (java) S 4052 4054 3845 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833364423 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4067] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4067/stat : 4067 (java) S 4052 4054 3845 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833364423 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4068] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4068/stat : 4068 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833364425 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389125041 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4069] ppid=4052 vsize=10557088 CPUtime=0.75 cores=1,3,5,7
/proc/4054/task/4069/stat : 4069 (java) S 4052 4054 3845 0 -1 4202560 4188 0 0 0 75 0 0 0 16 0 19 0 833364425 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 1 0 0 0
[pid=4054/tid=4070] ppid=4052 vsize=10557088 CPUtime=0.88 cores=1,3,5,7
/proc/4054/task/4070/stat : 4070 (java) S 4052 4054 3845 0 -1 4202560 9243 0 0 0 87 1 0 0 15 0 19 0 833364425 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4071] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4071/stat : 4071 (java) S 4052 4054 3845 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833364425 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117337 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4072] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4072/stat : 4072 (java) S 4052 4054 3845 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833364425 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 4 0 16800975 18446604456288227392 0 0 -1 5 0 0 0
[pid=4054/tid=4073] ppid=4052 vsize=10557088 CPUtime=0 cores=1,3,5,7
/proc/4054/task/4073/stat : 4073 (java) S 4052 4054 3845 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833364457 10810458112 946150 33554432000 1073741824 1073778376 140735380730880 18446744073709551615 255389117952 0 4 0 16800975 18446604456288227392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10557088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.92 s]
/proc/loadavg: 2.14 2.06 1.99 3/473 4170
/proc/meminfo: memFree=12459616/32951124 swapFree=60787360/67111528
[pid=4054] ppid=4052 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/4054/stat : 4054 (java) Z 4052 4054 3845 0 -1 4203548 953564 0 1 0 179894 129 0 0 17 0 2 0 833364419 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4054/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.98
CPU time (s): 1800.29
CPU user time (s): 1798.94
CPU system time (s): 1.3438
CPU usage (%): 100.24
Max. virtual memory (cumulated for all children) (KiB): 10557088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.3438
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 953564
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= 38992
involuntary context switches= 15563
runsolver used 7.50686 second user time and 18.7451 second system time
The end