runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312164-1304185594/watcher-3312164-1304185594 -o /tmp/evaluation-result-3312164-1304185594/solver-3312164-1304185594 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312164-1304185594.cnf -hbr 2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.87 7.98 7.99 1/173 21060
/proc/meminfo: memFree=30845104/32951132 swapFree=67111364/67111528
[pid=21060] ppid=21058 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/21060/stat : 21060 (java) S 21058 21060 20448 0 -1 4202496 658 0 0 0 0 0 0 0 23 0 1 0 530158212 9318400 148 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242970548224 0 2147483391 4096 0 18446744071699109054 0 0 17 5 0 0 0
/proc/21060/statm: 2275 148 118 9 0 67 0
[startup+0.071892 s]
/proc/loadavg: 7.87 7.98 7.99 1/173 21060
/proc/meminfo: memFree=30845104/32951132 swapFree=67111364/67111528
[pid=21060] ppid=21058 vsize=15610396 CPUtime=0.06 cores=1,3,5,7
/proc/21060/stat : 21060 (java) S 21058 21060 20448 0 -1 4202496 4379 0 1 0 5 1 0 0 23 0 18 0 530158212 15985045504 3819 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21060/statm: 3902599 3820 1778 9 0 3893318 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15610396
[startup+0.100901 s]
/proc/loadavg: 7.87 7.98 7.99 1/173 21060
/proc/meminfo: memFree=30845104/32951132 swapFree=67111364/67111528
[pid=21060] ppid=21058 vsize=15676956 CPUtime=0.09 cores=1,3,5,7
/proc/21060/stat : 21060 (java) S 21058 21060 20448 0 -1 4202496 5557 0 1 0 8 1 0 0 23 0 18 0 530158212 16053202944 4964 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21060/statm: 3919239 4964 2117 9 0 3909958 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676956
[startup+0.300857 s]
/proc/loadavg: 7.87 7.98 7.99 1/173 21060
/proc/meminfo: memFree=30845104/32951132 swapFree=67111364/67111528
[pid=21060] ppid=21058 vsize=15683100 CPUtime=0.51 cores=1,3,5,7
/proc/21060/stat : 21060 (java) S 21058 21060 20448 0 -1 4202496 14501 0 1 0 48 3 0 0 23 0 18 0 530158212 16059494400 13206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21060/statm: 3920775 13212 2207 9 0 3911494 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15683100
[startup+0.700793 s]
/proc/loadavg: 7.87 7.98 7.99 1/173 21060
/proc/meminfo: memFree=30845104/32951132 swapFree=67111364/67111528
[pid=21060] ppid=21058 vsize=15683100 CPUtime=0.91 cores=1,3,5,7
/proc/21060/stat : 21060 (java) S 21058 21060 20448 0 -1 4202496 41493 0 1 0 86 5 0 0 23 0 18 0 530158212 16059494400 40196 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21060/statm: 3920775 40196 2223 9 0 3911494 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 15683100
[startup+1.50065 s]
/proc/loadavg: 7.87 7.98 7.99 2/191 21078
/proc/meminfo: memFree=30685868/32951132 swapFree=67111364/67111528
[pid=21060] ppid=21058 vsize=15683100 CPUtime=1.74 cores=1,3,5,7
/proc/21060/stat : 21060 (java) S 21058 21060 20448 0 -1 4202496 71332 0 1 0 164 10 0 0 23 0 18 0 530158212 16059494400 70017 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21060/statm: 3920775 70025 2223 9 0 3911494 0
[pid=21060/tid=21062] ppid=21058 vsize=15683100 CPUtime=1.46 cores=1,3,5,7
/proc/21060/task/21062/stat : 21062 (java) R 21058 21060 20448 0 -1 4202560 62328 0 1 0 137 9 0 0 19 0 18 0 530158213 16059494400 70028 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 46912505639200 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21060/tid=21063] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21063/stat : 21063 (java) S 21058 21060 20448 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 18 0 530158214 16059494400 70032 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21064] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21064/stat : 21064 (java) S 21058 21060 20448 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 18 0 530158214 16059494400 70037 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21065] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21065/stat : 21065 (java) S 21058 21060 20448 0 -1 4202560 134 0 0 0 0 0 0 0 16 0 18 0 530158214 16059494400 70041 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21066] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21066/stat : 21066 (java) S 21058 21060 20448 0 -1 4202560 1285 0 0 0 0 0 0 0 15 0 18 0 530158214 16059494400 70046 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21067] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21067/stat : 21067 (java) S 21058 21060 20448 0 -1 4202560 1341 0 0 0 0 0 0 0 16 0 18 0 530158214 16059494400 70050 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21068] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21068/stat : 21068 (java) S 21058 21060 20448 0 -1 4202560 1237 0 0 0 0 0 0 0 16 0 18 0 530158214 16059494400 70054 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21069] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21069/stat : 21069 (java) S 21058 21060 20448 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 18 0 530158214 16059494400 70059 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21070] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21070/stat : 21070 (java) S 21058 21060 20448 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 530158214 16059494400 70062 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21071] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21071/stat : 21071 (java) S 21058 21060 20448 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 18 0 530158215 16059494400 70066 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366720 0 0 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21072] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21072/stat : 21072 (java) S 21058 21060 20448 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 530158215 16059494400 70070 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21073] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21073/stat : 21073 (java) S 21058 21060 20448 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 530158215 16059494400 70074 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21074] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21074/stat : 21074 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530158217 16059494400 70078 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982373809 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21075] ppid=21058 vsize=15683100 CPUtime=0.11 cores=1,3,5,7
/proc/21060/task/21075/stat : 21075 (java) S 21058 21060 20448 0 -1 4202560 1226 0 0 0 11 0 0 0 17 0 18 0 530158217 16059494400 70083 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21076] ppid=21058 vsize=15683100 CPUtime=0.1 cores=1,3,5,7
/proc/21060/task/21076/stat : 21076 (java) S 21058 21060 20448 0 -1 4202560 2219 0 0 0 10 0 0 0 15 0 18 0 530158217 16059494400 70087 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21077] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21077/stat : 21077 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530158217 16059494400 70091 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21078] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21078/stat : 21078 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530158217 16059494400 70095 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366720 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 15683100
[startup+3.10138 s]
/proc/loadavg: 7.87 7.98 7.99 3/189 21095
/proc/meminfo: memFree=30552648/32951132 swapFree=67111364/67111528
[pid=21060] ppid=21058 vsize=15683100 CPUtime=3.42 cores=1,3,5,7
/proc/21060/stat : 21060 (java) S 21058 21060 20448 0 -1 4202496 144814 0 1 0 323 19 0 0 23 0 18 0 530158212 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21060/statm: 3920775 143412 2241 9 0 3911494 0
[pid=21060/tid=21062] ppid=21058 vsize=15683100 CPUtime=3.05 cores=1,3,5,7
/proc/21060/task/21062/stat : 21062 (java) R 21058 21060 20448 0 -1 4202560 127648 0 1 0 288 17 0 0 23 0 18 0 530158213 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 46912505548703 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21060/tid=21063] ppid=21058 vsize=15683100 CPUtime=0.01 cores=1,3,5,7
/proc/21060/task/21063/stat : 21063 (java) S 21058 21060 20448 0 -1 4202560 2621 0 0 0 1 0 0 0 16 0 18 0 530158214 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21064] ppid=21058 vsize=15683100 CPUtime=0.01 cores=1,3,5,7
/proc/21060/task/21064/stat : 21064 (java) S 21058 21060 20448 0 -1 4202560 89 0 0 0 1 0 0 0 15 0 18 0 530158214 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21065] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21065/stat : 21065 (java) S 21058 21060 20448 0 -1 4202560 134 0 0 0 0 0 0 0 16 0 18 0 530158214 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21066] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21066/stat : 21066 (java) S 21058 21060 20448 0 -1 4202560 1286 0 0 0 0 0 0 0 16 0 18 0 530158214 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21067] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21067/stat : 21067 (java) S 21058 21060 20448 0 -1 4202560 6462 0 0 0 0 0 0 0 16 0 18 0 530158214 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21068] ppid=21058 vsize=15683100 CPUtime=0.01 cores=1,3,5,7
/proc/21060/task/21068/stat : 21068 (java) S 21058 21060 20448 0 -1 4202560 1237 0 0 0 1 0 0 0 15 0 18 0 530158214 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21069] ppid=21058 vsize=15683100 CPUtime=0.01 cores=1,3,5,7
/proc/21060/task/21069/stat : 21069 (java) S 21058 21060 20448 0 -1 4202560 47 0 0 0 1 0 0 0 16 0 18 0 530158214 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21070] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21070/stat : 21070 (java) S 21058 21060 20448 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 530158214 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21071] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21071/stat : 21071 (java) S 21058 21060 20448 0 -1 4202560 335 0 0 0 0 0 0 0 15 0 18 0 530158215 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366720 0 0 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21072] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21072/stat : 21072 (java) S 21058 21060 20448 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 530158215 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21073] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21073/stat : 21073 (java) S 21058 21060 20448 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 530158215 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21074] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21074/stat : 21074 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530158217 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982373809 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21075] ppid=21058 vsize=15683100 CPUtime=0.14 cores=1,3,5,7
/proc/21060/task/21075/stat : 21075 (java) S 21058 21060 20448 0 -1 4202560 1314 0 0 0 14 0 0 0 15 0 18 0 530158217 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21076] ppid=21058 vsize=15683100 CPUtime=0.13 cores=1,3,5,7
/proc/21060/task/21076/stat : 21076 (java) S 21058 21060 20448 0 -1 4202560 2246 0 0 0 13 0 0 0 15 0 18 0 530158217 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21077] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21077/stat : 21077 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530158217 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21078] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21078/stat : 21078 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530158217 16059494400 143412 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366720 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 15683100
[startup+6.30085 s]
/proc/loadavg: 7.56 7.92 7.97 2/189 21095
/proc/meminfo: memFree=30246216/32951132 swapFree=67111364/67111528
[pid=21060] ppid=21058 vsize=15683100 CPUtime=6.66 cores=1,3,5,7
/proc/21060/stat : 21060 (java) S 21058 21060 20448 0 -1 4202496 215381 0 1 0 638 28 0 0 23 0 18 0 530158212 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21060/statm: 3920775 211936 2241 9 0 3911494 0
[pid=21060/tid=21062] ppid=21058 vsize=15683100 CPUtime=6.23 cores=1,3,5,7
/proc/21060/task/21062/stat : 21062 (java) S 21058 21060 20448 0 -1 4202560 187829 0 1 0 597 26 0 0 25 0 18 0 530158213 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21063] ppid=21058 vsize=15683100 CPUtime=0.02 cores=1,3,5,7
/proc/21060/task/21063/stat : 21063 (java) R 21058 21060 20448 0 -1 4202560 12861 0 0 0 2 0 0 0 15 0 18 0 530158214 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21060/tid=21064] ppid=21058 vsize=15683100 CPUtime=0.01 cores=1,3,5,7
/proc/21060/task/21064/stat : 21064 (java) R 21058 21060 20448 0 -1 4202560 89 0 0 0 1 0 0 0 15 0 18 0 530158214 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242970503479 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21060/tid=21065] ppid=21058 vsize=15683100 CPUtime=0.01 cores=1,3,5,7
/proc/21060/task/21065/stat : 21065 (java) R 21058 21060 20448 0 -1 4202560 136 0 0 0 1 0 0 0 15 0 18 0 530158214 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242970503479 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21060/tid=21066] ppid=21058 vsize=15683100 CPUtime=0.01 cores=1,3,5,7
/proc/21060/task/21066/stat : 21066 (java) R 21058 21060 20448 0 -1 4202560 1286 0 0 0 1 0 0 0 15 0 18 0 530158214 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242970503479 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21060/tid=21067] ppid=21058 vsize=15683100 CPUtime=0.01 cores=1,3,5,7
/proc/21060/task/21067/stat : 21067 (java) R 21058 21060 20448 0 -1 4202560 6462 0 0 0 1 0 0 0 15 0 18 0 530158214 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242970503479 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21060/tid=21068] ppid=21058 vsize=15683100 CPUtime=0.01 cores=1,3,5,7
/proc/21060/task/21068/stat : 21068 (java) R 21058 21060 20448 0 -1 4202560 1238 0 0 0 1 0 0 0 15 0 18 0 530158214 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242970503479 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21060/tid=21069] ppid=21058 vsize=15683100 CPUtime=0.01 cores=1,3,5,7
/proc/21060/task/21069/stat : 21069 (java) R 21058 21060 20448 0 -1 4202560 47 0 0 0 1 0 0 0 15 0 18 0 530158214 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242970503479 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21060/tid=21070] ppid=21058 vsize=15683100 CPUtime=0.01 cores=1,3,5,7
/proc/21060/task/21070/stat : 21070 (java) S 21058 21060 20448 0 -1 4202560 10 0 0 0 1 0 0 0 15 0 18 0 530158214 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21071] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21071/stat : 21071 (java) S 21058 21060 20448 0 -1 4202560 478 0 0 0 0 0 0 0 15 0 18 0 530158215 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 0 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21072] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21072/stat : 21072 (java) S 21058 21060 20448 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 18 0 530158215 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21073] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21073/stat : 21073 (java) S 21058 21060 20448 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 530158215 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21074] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21074/stat : 21074 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530158217 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982373809 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21075] ppid=21058 vsize=15683100 CPUtime=0.14 cores=1,3,5,7
/proc/21060/task/21075/stat : 21075 (java) S 21058 21060 20448 0 -1 4202560 1314 0 0 0 14 0 0 0 15 0 18 0 530158217 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21076] ppid=21058 vsize=15683100 CPUtime=0.13 cores=1,3,5,7
/proc/21060/task/21076/stat : 21076 (java) S 21058 21060 20448 0 -1 4202560 2246 0 0 0 13 0 0 0 15 0 18 0 530158217 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21077] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21077/stat : 21077 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530158217 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21078] ppid=21058 vsize=15683100 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21078/stat : 21078 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530158217 16059494400 211936 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366720 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 15683100
[startup+12.7007 s]
/proc/loadavg: 7.27 7.85 7.94 2/193 21099
/proc/meminfo: memFree=29676064/32951132 swapFree=67111364/67111528
[pid=21060] ppid=21058 vsize=15687212 CPUtime=13.39 cores=1,3,5,7
/proc/21060/stat : 21060 (java) S 21058 21060 20448 0 -1 4202496 299352 0 1 0 1298 41 0 0 23 0 22 0 530158212 16063705088 294076 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21060/statm: 3921803 294076 2259 9 0 3912522 0
[pid=21060/tid=21062] ppid=21058 vsize=15687212 CPUtime=12.55 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=25989976/32951132 swapFree=67111364/67111528
[pid=21060] ppid=21058 vsize=15687212 CPUtime=4136.19 cores=1,3,5,7
/proc/21060/stat : 21060 (java) S 21058 21060 20448 0 -1 4202496 1398336 0 1 0 413371 248 0 0 23 0 22 0 530158212 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21060/statm: 3921803 721502 2297 9 0 3912522 0
[pid=21060/tid=21062] ppid=21058 vsize=15687212 CPUtime=95.35 cores=1,3,5,7
/proc/21060/task/21062/stat : 21062 (java) S 21058 21060 20448 0 -1 4202560 222774 0 1 0 9503 32 0 0 25 0 22 0 530158213 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21063] ppid=21058 vsize=15687212 CPUtime=3.35 cores=1,3,5,7
/proc/21060/task/21063/stat : 21063 (java) S 21058 21060 20448 0 -1 4202560 160506 0 0 0 309 26 0 0 15 0 22 0 530158214 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21064] ppid=21058 vsize=15687212 CPUtime=3.31 cores=1,3,5,7
/proc/21060/task/21064/stat : 21064 (java) S 21058 21060 20448 0 -1 4202560 147568 0 0 0 307 24 0 0 16 0 22 0 530158214 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21065] ppid=21058 vsize=15687212 CPUtime=2.82 cores=1,3,5,7
/proc/21060/task/21065/stat : 21065 (java) S 21058 21060 20448 0 -1 4202560 165467 0 0 0 255 27 0 0 16 0 22 0 530158214 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21066] ppid=21058 vsize=15687212 CPUtime=2.72 cores=1,3,5,7
/proc/21060/task/21066/stat : 21066 (java) S 21058 21060 20448 0 -1 4202560 128677 0 0 0 250 22 0 0 15 0 22 0 530158214 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21067] ppid=21058 vsize=15687212 CPUtime=2.72 cores=1,3,5,7
/proc/21060/task/21067/stat : 21067 (java) S 21058 21060 20448 0 -1 4202560 143696 0 0 0 246 26 0 0 16 0 22 0 530158214 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21068] ppid=21058 vsize=15687212 CPUtime=3.02 cores=1,3,5,7
/proc/21060/task/21068/stat : 21068 (java) S 21058 21060 20448 0 -1 4202560 157578 0 0 0 276 26 0 0 15 0 22 0 530158214 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21069] ppid=21058 vsize=15687212 CPUtime=3.12 cores=1,3,5,7
/proc/21060/task/21069/stat : 21069 (java) S 21058 21060 20448 0 -1 4202560 110698 0 0 0 293 19 0 0 15 0 22 0 530158214 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21070] ppid=21058 vsize=15687212 CPUtime=2.78 cores=1,3,5,7
/proc/21060/task/21070/stat : 21070 (java) S 21058 21060 20448 0 -1 4202560 136570 0 0 0 256 22 0 0 16 0 22 0 530158214 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21071] ppid=21058 vsize=15687212 CPUtime=3.26 cores=1,3,5,7
/proc/21060/task/21071/stat : 21071 (java) S 21058 21060 20448 0 -1 4202560 4356 0 0 0 316 10 0 0 15 0 22 0 530158215 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366720 0 0 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21072] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21072/stat : 21072 (java) S 21058 21060 20448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530158215 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21073] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21073/stat : 21073 (java) S 21058 21060 20448 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530158215 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21074] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21074/stat : 21074 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530158217 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982373809 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21075] ppid=21058 vsize=15687212 CPUtime=1.6 cores=1,3,5,7
/proc/21060/task/21075/stat : 21075 (java) S 21058 21060 20448 0 -1 4202560 10603 0 0 0 158 2 0 0 16 0 22 0 530158217 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21076] ppid=21058 vsize=15687212 CPUtime=1.02 cores=1,3,5,7
/proc/21060/task/21076/stat : 21076 (java) S 21058 21060 20448 0 -1 4202560 2403 0 0 0 102 0 0 0 15 0 22 0 530158217 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21077] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21077/stat : 21077 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530158217 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21078] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21078/stat : 21078 (java) S 21058 21060 20448 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 530158217 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366720 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21096] ppid=21058 vsize=15687212 CPUtime=1021.84 cores=1,3,5,7
/proc/21060/task/21096/stat : 21096 (java) R 21058 21060 20448 0 -1 4202560 73 0 0 0 102183 1 0 0 25 0 22 0 530159320 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 46912506255732 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21060/tid=21097] ppid=21058 vsize=15687212 CPUtime=991.83 cores=1,3,5,7
/proc/21060/task/21097/stat : 21097 (java) R 21058 21060 20448 0 -1 4202560 69 0 0 0 99183 0 0 0 25 0 22 0 530159320 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 46912506425827 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21060/tid=21098] ppid=21058 vsize=15687212 CPUtime=988.49 cores=1,3,5,7
/proc/21060/task/21098/stat : 21098 (java) R 21058 21060 20448 0 -1 4202560 4061 0 0 0 98848 1 0 0 25 0 22 0 530159321 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 46912506116411 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21060/tid=21099] ppid=21058 vsize=15687212 CPUtime=1008.77 cores=1,3,5,7
/proc/21060/task/21099/stat : 21099 (java) R 21058 21060 20448 0 -1 4202560 1784 0 0 0 100877 0 0 0 25 0 22 0 530159321 16063705088 721502 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 46912506256068 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4136.19
Current children cumulated vsize (KiB) 15687212
[startup+1242.3 s]
/proc/loadavg: 8.29 8.07 7.81 9/218 21175
/proc/meminfo: memFree=26257224/32951132 swapFree=67111364/67111528
[pid=21060] ppid=21058 vsize=15687212 CPUtime=4375.51 cores=1,3,5,7
/proc/21060/stat : 21060 (java) S 21058 21060 20448 0 -1 4202496 1411700 0 1 0 437299 252 0 0 23 0 22 0 530158212 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21060/statm: 3921803 655206 2297 9 0 3912522 0
[pid=21060/tid=21062] ppid=21058 vsize=15687212 CPUtime=95.35 cores=1,3,5,7
/proc/21060/task/21062/stat : 21062 (java) S 21058 21060 20448 0 -1 4202560 222774 0 1 0 9503 32 0 0 25 0 22 0 530158213 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21063] ppid=21058 vsize=15687212 CPUtime=3.5 cores=1,3,5,7
/proc/21060/task/21063/stat : 21063 (java) S 21058 21060 20448 0 -1 4202560 160866 0 0 0 324 26 0 0 16 0 22 0 530158214 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21064] ppid=21058 vsize=15687212 CPUtime=3.58 cores=1,3,5,7
/proc/21060/task/21064/stat : 21064 (java) S 21058 21060 20448 0 -1 4202560 150341 0 0 0 333 25 0 0 16 0 22 0 530158214 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21065] ppid=21058 vsize=15687212 CPUtime=2.98 cores=1,3,5,7
/proc/21060/task/21065/stat : 21065 (java) S 21058 21060 20448 0 -1 4202560 165476 0 0 0 271 27 0 0 16 0 22 0 530158214 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21066] ppid=21058 vsize=15687212 CPUtime=3.03 cores=1,3,5,7
/proc/21060/task/21066/stat : 21066 (java) S 21058 21060 20448 0 -1 4202560 130284 0 0 0 281 22 0 0 15 0 22 0 530158214 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21067] ppid=21058 vsize=15687212 CPUtime=2.93 cores=1,3,5,7
/proc/21060/task/21067/stat : 21067 (java) S 21058 21060 20448 0 -1 4202560 146720 0 0 0 266 27 0 0 15 0 22 0 530158214 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21068] ppid=21058 vsize=15687212 CPUtime=3.21 cores=1,3,5,7
/proc/21060/task/21068/stat : 21068 (java) S 21058 21060 20448 0 -1 4202560 161315 0 0 0 294 27 0 0 16 0 22 0 530158214 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21069] ppid=21058 vsize=15687212 CPUtime=3.34 cores=1,3,5,7
/proc/21060/task/21069/stat : 21069 (java) S 21058 21060 20448 0 -1 4202560 111073 0 0 0 315 19 0 0 15 0 22 0 530158214 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21070] ppid=21058 vsize=15687212 CPUtime=2.91 cores=1,3,5,7
/proc/21060/task/21070/stat : 21070 (java) S 21058 21060 20448 0 -1 4202560 137671 0 0 0 269 22 0 0 15 0 22 0 530158214 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21071] ppid=21058 vsize=15687212 CPUtime=3.36 cores=1,3,5,7
/proc/21060/task/21071/stat : 21071 (java) S 21058 21060 20448 0 -1 4202560 4431 0 0 0 324 12 0 0 15 0 22 0 530158215 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366720 0 0 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21072] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21072/stat : 21072 (java) S 21058 21060 20448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530158215 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21073] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21073/stat : 21073 (java) S 21058 21060 20448 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530158215 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21074] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21074/stat : 21074 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530158217 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982373809 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21075] ppid=21058 vsize=15687212 CPUtime=1.6 cores=1,3,5,7
/proc/21060/task/21075/stat : 21075 (java) S 21058 21060 20448 0 -1 4202560 10603 0 0 0 158 2 0 0 16 0 22 0 530158217 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21076] ppid=21058 vsize=15687212 CPUtime=1.02 cores=1,3,5,7
/proc/21060/task/21076/stat : 21076 (java) S 21058 21060 20448 0 -1 4202560 2403 0 0 0 102 0 0 0 15 0 22 0 530158217 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21077] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21077/stat : 21077 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530158217 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21078] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21078/stat : 21078 (java) S 21058 21060 20448 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 530158217 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366720 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21096] ppid=21058 vsize=15687212 CPUtime=1081.14 cores=1,3,5,7
/proc/21060/task/21096/stat : 21096 (java) R 21058 21060 20448 0 -1 4202560 205 0 0 0 108113 1 0 0 25 0 22 0 530159320 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 46912506095650 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21060/tid=21097] ppid=21058 vsize=15687212 CPUtime=1051.18 cores=1,3,5,7
/proc/21060/task/21097/stat : 21097 (java) R 21058 21060 20448 0 -1 4202560 71 0 0 0 105118 0 0 0 25 0 22 0 530159320 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 46912506255889 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21060/tid=21098] ppid=21058 vsize=15687212 CPUtime=1047.97 cores=1,3,5,7
/proc/21060/task/21098/stat : 21098 (java) R 21058 21060 20448 0 -1 4202560 4160 0 0 0 104796 1 0 0 25 0 22 0 530159321 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 46912505896790 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21060/tid=21099] ppid=21058 vsize=15687212 CPUtime=1068.23 cores=1,3,5,7
/proc/21060/task/21099/stat : 21099 (java) R 21058 21060 20448 0 -1 4202560 1852 0 0 0 106823 0 0 0 25 0 22 0 530159321 16063705088 655206 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 46912506116174 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4375.51
Current children cumulated vsize (KiB) 15687212
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 6.78 7.75 7.72 5/191 21197
/proc/meminfo: memFree=28094384/32951132 swapFree=67111364/67111528
[pid=21060] ppid=21058 vsize=15687212 CPUtime=4605.33 cores=1,3,5,7
/proc/21060/stat : 21060 (java) S 21058 21060 20448 0 -1 4202496 1485450 0 1 0 460268 265 0 0 23 0 22 0 530158212 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21060/statm: 3921803 689213 2297 9 0 3912522 0
[pid=21060/tid=21062] ppid=21058 vsize=15687212 CPUtime=95.35 cores=1,3,5,7
/proc/21060/task/21062/stat : 21062 (java) S 21058 21060 20448 0 -1 4202560 222774 0 1 0 9503 32 0 0 25 0 22 0 530158213 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21063] ppid=21058 vsize=15687212 CPUtime=3.75 cores=1,3,5,7
/proc/21060/task/21063/stat : 21063 (java) S 21058 21060 20448 0 -1 4202560 167446 0 0 0 348 27 0 0 15 0 22 0 530158214 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21064] ppid=21058 vsize=15687212 CPUtime=3.85 cores=1,3,5,7
/proc/21060/task/21064/stat : 21064 (java) S 21058 21060 20448 0 -1 4202560 163489 0 0 0 358 27 0 0 16 0 22 0 530158214 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21065] ppid=21058 vsize=15687212 CPUtime=3.18 cores=1,3,5,7
/proc/21060/task/21065/stat : 21065 (java) S 21058 21060 20448 0 -1 4202560 173869 0 0 0 290 28 0 0 15 0 22 0 530158214 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21066] ppid=21058 vsize=15687212 CPUtime=3.22 cores=1,3,5,7
/proc/21060/task/21066/stat : 21066 (java) S 21058 21060 20448 0 -1 4202560 135377 0 0 0 299 23 0 0 16 0 22 0 530158214 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21067] ppid=21058 vsize=15687212 CPUtime=3.16 cores=1,3,5,7
/proc/21060/task/21067/stat : 21067 (java) S 21058 21060 20448 0 -1 4202560 159505 0 0 0 286 30 0 0 16 0 22 0 530158214 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 3 0 0 0
[pid=21060/tid=21068] ppid=21058 vsize=15687212 CPUtime=3.35 cores=1,3,5,7
/proc/21060/task/21068/stat : 21068 (java) S 21058 21060 20448 0 -1 4202560 169221 0 0 0 307 28 0 0 15 0 22 0 530158214 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21069] ppid=21058 vsize=15687212 CPUtime=3.6 cores=1,3,5,7
/proc/21060/task/21069/stat : 21069 (java) S 21058 21060 20448 0 -1 4202560 120610 0 0 0 339 21 0 0 16 0 22 0 530158214 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21070] ppid=21058 vsize=15687212 CPUtime=3.09 cores=1,3,5,7
/proc/21060/task/21070/stat : 21070 (java) S 21058 21060 20448 0 -1 4202560 147658 0 0 0 285 24 0 0 16 0 22 0 530158214 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 1 0 0 0
[pid=21060/tid=21071] ppid=21058 vsize=15687212 CPUtime=3.57 cores=1,3,5,7
/proc/21060/task/21071/stat : 21071 (java) S 21058 21060 20448 0 -1 4202560 4684 0 0 0 345 12 0 0 15 0 22 0 530158215 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366720 0 0 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21072] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21072/stat : 21072 (java) S 21058 21060 20448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530158215 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21073] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21073/stat : 21073 (java) S 21058 21060 20448 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530158215 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21074] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21074/stat : 21074 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530158217 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982373809 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21075] ppid=21058 vsize=15687212 CPUtime=1.6 cores=1,3,5,7
/proc/21060/task/21075/stat : 21075 (java) S 21058 21060 20448 0 -1 4202560 10603 0 0 0 158 2 0 0 16 0 22 0 530158217 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21076] ppid=21058 vsize=15687212 CPUtime=1.02 cores=1,3,5,7
/proc/21060/task/21076/stat : 21076 (java) S 21058 21060 20448 0 -1 4202560 2403 0 0 0 102 0 0 0 15 0 22 0 530158217 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21077] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21077/stat : 21077 (java) S 21058 21060 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530158217 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366105 0 4 0 16800975 18446604471147381824 0 0 -1 5 0 0 0
[pid=21060/tid=21078] ppid=21058 vsize=15687212 CPUtime=0 cores=1,3,5,7
/proc/21060/task/21078/stat : 21078 (java) S 21058 21060 20448 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 530158217 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 242982366720 0 4 0 16800975 18446604471147381824 0 0 -1 7 0 0 0
[pid=21060/tid=21096] ppid=21058 vsize=15687212 CPUtime=1138.19 cores=1,3,5,7
/proc/21060/task/21096/stat : 21096 (java) R 21058 21060 20448 0 -1 4202560 211 0 0 0 113818 1 0 0 25 0 22 0 530159320 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 46912506255675 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21060/tid=21097] ppid=21058 vsize=15687212 CPUtime=1107.92 cores=1,3,5,7
/proc/21060/task/21097/stat : 21097 (java) R 21058 21060 20448 0 -1 4202560 74 0 0 0 110792 0 0 0 25 0 22 0 530159320 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 46912505602208 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21060/tid=21098] ppid=21058 vsize=15687212 CPUtime=1105.03 cores=1,3,5,7
/proc/21060/task/21098/stat : 21098 (java) R 21058 21060 20448 0 -1 4202560 4174 0 0 0 110502 1 0 0 25 0 22 0 530159321 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 46912505602232 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21060/tid=21099] ppid=21058 vsize=15687212 CPUtime=1125.28 cores=1,3,5,7
/proc/21060/task/21099/stat : 21099 (java) R 21058 21060 20448 0 -1 4202560 1893 0 0 0 112528 0 0 0 25 0 22 0 530159321 16063705088 689213 33554432000 1073741824 1073778376 140734167474896 18446744073709551615 47818606029888 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4605.33
Current children cumulated vsize (KiB) 15687212
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.11 s]
/proc/loadavg: 6.78 7.75 7.72 5/191 21197
/proc/meminfo: memFree=28094384/32951132 swapFree=67111364/67111528
[pid=21060] ppid=21058 vsize=0 CPUtime=4605.45 cores=1,3,5,7
/proc/21060/stat : 21060 (java) Z 21058 21060 20448 0 -1 4203548 1485477 0 1 0 460270 275 0 0 17 0 2 0 530158212 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21060/statm: 0 0 0 0 0 0 0
[pid=21060/tid=21099] ppid=21058 vsize=0 CPUtime=1125.38 cores=1,3,5,7
/proc/21060/task/21099/stat : 21099 (java) R 21058 21060 20448 0 -1 4203588 1893 0 0 0 112528 10 0 0 25 0 2 0 530159321 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4605.45
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1300.11
CPU time (s): 4605.47
CPU user time (s): 4602.71
CPU system time (s): 2.75658
CPU usage (%): 354.236
Max. virtual memory (cumulated for all children) (KiB): 15689228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4602.71
system time used= 2.75658
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1485477
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= 48963
involuntary context switches= 66598
runsolver used 2.17967 second user time and 4.97024 second system time
The end