runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742028-1338784595/watcher-3742028-1338784595 -o /tmp/evaluation-result-3742028-1338784595/solver-3742028-1338784595 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742028-1338784595.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: 3.79 3.85 3.67 4/197 8479
/proc/meminfo: memFree=27926764/32873844 swapFree=7120/7120
[pid=8479] ppid=8477 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/8479/stat : 8479 (java6) R 8477 8479 7918 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 344584343 278528 33 33554432000 1073741824 1073778376 140737067353728 140737067350904 233211784487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8479/statm: 68 33 25 9 0 25 0
[startup+0.057263 s]
/proc/loadavg: 3.79 3.85 3.67 4/197 8479
/proc/meminfo: memFree=27926764/32873844 swapFree=7120/7120
[pid=8479] ppid=8477 vsize=2367080 CPUtime=0.03 cores=1,3,5,7
/proc/8479/stat : 8479 (java) S 8477 8479 7918 0 -1 4202496 3777 0 1 0 2 1 0 0 20 0 13 0 344584343 2423889920 4474 33554432000 1073741824 1073778376 140737230757520 140737230748656 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8479/statm: 591770 4474 1702 9 0 582471 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2367080
[startup+0.100283 s]
/proc/loadavg: 3.79 3.85 3.67 4/197 8479
/proc/meminfo: memFree=27926764/32873844 swapFree=7120/7120
[pid=8479] ppid=8477 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/8479/stat : 8479 (java) S 8477 8479 7918 0 -1 4202496 4035 0 1 0 6 1 0 0 20 0 18 0 344584343 2764726272 5244 33554432000 1073741824 1073778376 140737230757520 140737230748656 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8479/statm: 674982 5265 1849 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928
[startup+0.30025 s]
/proc/loadavg: 3.79 3.85 3.67 4/197 8479
/proc/meminfo: memFree=27926764/32873844 swapFree=7120/7120
[pid=8479] ppid=8477 vsize=2699928 CPUtime=0.54 cores=1,3,5,7
/proc/8479/stat : 8479 (java) S 8477 8479 7918 0 -1 4202496 7496 0 1 0 52 2 0 0 20 0 18 0 344584343 2764726272 9834 33554432000 1073741824 1073778376 140737230757520 140737230748656 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8479/statm: 674982 9834 2217 9 0 665676 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2699928
[startup+0.700214 s]
/proc/loadavg: 3.79 3.85 3.67 4/197 8479
/proc/meminfo: memFree=27926764/32873844 swapFree=7120/7120
[pid=8479] ppid=8477 vsize=2966184 CPUtime=1.95 cores=1,3,5,7
/proc/8479/stat : 8479 (java) S 8477 8479 7918 0 -1 4202496 12962 0 1 0 191 4 0 0 20 0 22 0 344584343 3037372416 20387 33554432000 1073741824 1073778376 140737230757520 140737230748656 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8479/statm: 741546 20387 2254 9 0 732240 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 2966184
[startup+1.50085 s]
/proc/loadavg: 3.96 3.89 3.68 7/219 8501
/proc/meminfo: memFree=27776668/32873844 swapFree=7120/7120
[pid=8479] ppid=8477 vsize=2966184 CPUtime=4.43 cores=1,3,5,7
/proc/8479/stat : 8479 (java) S 8477 8479 7918 0 -1 4202496 21746 0 1 0 430 13 0 0 20 0 22 0 344584343 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140737230748656 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8479/statm: 741546 102220 2271 9 0 732240 0
[pid=8479/tid=8481] ppid=8477 vsize=2966184 CPUtime=0.4 cores=1,3,5,7
/proc/8479/task/8481/stat : 8481 (java) S 8477 8479 7918 0 -1 4202560 2877 0 1 0 38 2 0 0 20 0 22 0 344584344 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325773096088 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8482] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8482/stat : 8482 (java) S 8477 8479 7918 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 344584345 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325639407784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8483] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8483/stat : 8483 (java) S 8477 8479 7918 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344584345 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325638355240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8484] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8484/stat : 8484 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584345 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325637302696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8485] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8485/stat : 8485 (java) S 8477 8479 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344584345 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325636250152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8486] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8486/stat : 8486 (java) S 8477 8479 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344584345 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325635197608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8487] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8487/stat : 8487 (java) S 8477 8479 7918 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344584345 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325634145064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8488] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8488/stat : 8488 (java) S 8477 8479 7918 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344584346 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325633092520 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8489] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8489/stat : 8489 (java) S 8477 8479 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344584346 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325632039976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8490] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8490/stat : 8490 (java) S 8477 8479 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344584347 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325619841128 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8491] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8491/stat : 8491 (java) S 8477 8479 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344584347 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325618787448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8492] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8492/stat : 8492 (java) S 8477 8479 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344584347 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325617734792 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8493] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8493/stat : 8493 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584350 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325616683536 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8494] ppid=8477 vsize=2966184 CPUtime=0.83 cores=1,3,5,7
/proc/8479/task/8494/stat : 8494 (java) S 8477 8479 7918 0 -1 4202560 6024 0 0 0 82 1 0 0 20 0 22 0 344584350 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325615630904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8495] ppid=8477 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/8479/task/8495/stat : 8495 (java) S 8477 8479 7918 0 -1 4202560 11356 0 0 0 100 3 0 0 20 0 22 0 344584350 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325614578360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8496] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8496/stat : 8496 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584350 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325613526008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8497] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8497/stat : 8497 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584350 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325612473672 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8498] ppid=8477 vsize=2966184 CPUtime=1.01 cores=1,3,5,7
/proc/8479/task/8498/stat : 8498 (java) R 8477 8479 7918 0 -1 4202560 27 0 0 0 101 0 0 0 20 0 22 0 344584387 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325611415504 140325713626851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8499] ppid=8477 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/8479/task/8499/stat : 8499 (java) R 8477 8479 7918 0 -1 4202560 229 0 0 0 97 6 0 0 20 0 22 0 344584387 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325610363560 140325713722072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8500] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8500/stat : 8500 (java) S 8477 8479 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344584388 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325609313320 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8501] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8501/stat : 8501 (java) S 8477 8479 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344584388 3037372416 102220 33554432000 1073741824 1073778376 140737230757520 140325608260776 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 2966184
[startup+3.10079 s]
/proc/loadavg: 3.96 3.89 3.68 4/219 8501
/proc/meminfo: memFree=27510228/32873844 swapFree=7120/7120
[pid=8479] ppid=8477 vsize=2966184 CPUtime=7.76 cores=1,3,5,7
/proc/8479/stat : 8479 (java) S 8477 8479 7918 0 -1 4202496 21815 0 1 0 760 16 0 0 20 0 22 0 344584343 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140737230748656 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8479/statm: 741546 106356 2283 9 0 732240 0
[pid=8479/tid=8481] ppid=8477 vsize=2966184 CPUtime=0.4 cores=1,3,5,7
/proc/8479/task/8481/stat : 8481 (java) S 8477 8479 7918 0 -1 4202560 2877 0 1 0 38 2 0 0 20 0 22 0 344584344 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325773096088 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8482] ppid=8477 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/8479/task/8482/stat : 8482 (java) S 8477 8479 7918 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 344584345 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325639407784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8483] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8483/stat : 8483 (java) S 8477 8479 7918 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344584345 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325638355240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8484] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8484/stat : 8484 (java) S 8477 8479 7918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344584345 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325637302696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8485] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8485/stat : 8485 (java) S 8477 8479 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344584345 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325636250152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8486] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8486/stat : 8486 (java) S 8477 8479 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344584345 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325635197608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8487] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8487/stat : 8487 (java) S 8477 8479 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344584345 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325634145064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8488] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8488/stat : 8488 (java) S 8477 8479 7918 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344584346 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325633092520 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8489] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8489/stat : 8489 (java) S 8477 8479 7918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344584346 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325632039976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8490] ppid=8477 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/8479/task/8490/stat : 8490 (java) S 8477 8479 7918 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 22 0 344584347 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325619841128 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8491] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8491/stat : 8491 (java) S 8477 8479 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344584347 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325618787448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8492] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8492/stat : 8492 (java) S 8477 8479 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344584347 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325617734792 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8493] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8493/stat : 8493 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584350 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325616683536 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8494] ppid=8477 vsize=2966184 CPUtime=0.88 cores=1,3,5,7
/proc/8479/task/8494/stat : 8494 (java) S 8477 8479 7918 0 -1 4202560 6032 0 0 0 87 1 0 0 20 0 22 0 344584350 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325615630904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8495] ppid=8477 vsize=2966184 CPUtime=1.12 cores=1,3,5,7
/proc/8479/task/8495/stat : 8495 (java) S 8477 8479 7918 0 -1 4202560 11369 0 0 0 109 3 0 0 20 0 22 0 344584350 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325614578360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8496] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8496/stat : 8496 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584350 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325613526008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8497] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8497/stat : 8497 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584350 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325612473672 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8498] ppid=8477 vsize=2966184 CPUtime=2.55 cores=1,3,5,7
/proc/8479/task/8498/stat : 8498 (java) R 8477 8479 7918 0 -1 4202560 27 0 0 0 255 0 0 0 20 0 22 0 344584387 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325611415504 140325713053509 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8499] ppid=8477 vsize=2966184 CPUtime=2.58 cores=1,3,5,7
/proc/8479/task/8499/stat : 8499 (java) R 8477 8479 7918 0 -1 4202560 231 0 0 0 252 6 0 0 20 0 22 0 344584387 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325610365032 140325713721069 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8500] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8500/stat : 8500 (java) S 8477 8479 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344584388 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325609313320 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8501] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8501/stat : 8501 (java) S 8477 8479 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344584388 3037372416 106356 33554432000 1073741824 1073778376 140737230757520 140325608260776 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 2966184
[startup+6.30086 s]
/proc/loadavg: 3.96 3.89 3.68 5/219 8501
/proc/meminfo: memFree=27446992/32873844 swapFree=7120/7120
[pid=8479] ppid=8477 vsize=2966184 CPUtime=14.4 cores=1,3,5,7
/proc/8479/stat : 8479 (java) S 8477 8479 7918 0 -1 4202496 22806 0 1 0 1419 21 0 0 20 0 22 0 344584343 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140737230748656 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8479/statm: 741546 131732 2283 9 0 732240 0
[pid=8479/tid=8481] ppid=8477 vsize=2966184 CPUtime=0.4 cores=1,3,5,7
/proc/8479/task/8481/stat : 8481 (java) S 8477 8479 7918 0 -1 4202560 2877 0 1 0 38 2 0 0 20 0 22 0 344584344 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325773096088 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8482] ppid=8477 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/8479/task/8482/stat : 8482 (java) S 8477 8479 7918 0 -1 4202560 29 0 0 0 2 1 0 0 20 0 22 0 344584345 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325639407784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8483] ppid=8477 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/8479/task/8483/stat : 8483 (java) S 8477 8479 7918 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 344584345 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325638355240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8484] ppid=8477 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/8479/task/8484/stat : 8484 (java) S 8477 8479 7918 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 344584345 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325637302696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8485] ppid=8477 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/8479/task/8485/stat : 8485 (java) S 8477 8479 7918 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 344584345 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325636250152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8486] ppid=8477 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/8479/task/8486/stat : 8486 (java) S 8477 8479 7918 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 344584345 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325635197608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8487] ppid=8477 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/8479/task/8487/stat : 8487 (java) S 8477 8479 7918 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 344584345 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325634145064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8488] ppid=8477 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/8479/task/8488/stat : 8488 (java) S 8477 8479 7918 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 344584346 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325633092520 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8489] ppid=8477 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/8479/task/8489/stat : 8489 (java) S 8477 8479 7918 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 344584346 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325632039976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8490] ppid=8477 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/8479/task/8490/stat : 8490 (java) S 8477 8479 7918 0 -1 4202560 36 0 0 0 7 0 0 0 20 0 22 0 344584347 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325619841128 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8491] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8491/stat : 8491 (java) S 8477 8479 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344584347 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325618787448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8492] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8492/stat : 8492 (java) S 8477 8479 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344584347 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325617734792 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8493] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8493/stat : 8493 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584350 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325616683536 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8494] ppid=8477 vsize=2966184 CPUtime=1.02 cores=1,3,5,7
/proc/8479/task/8494/stat : 8494 (java) S 8477 8479 7918 0 -1 4202560 6918 0 0 0 101 1 0 0 20 0 22 0 344584350 3037372416 131732 33554432000 1073741824 1073778376 140737230757520 140325615630904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
/proc/8479/statm: 741546 220128 2285 9 0 732240 0
[pid=8479/tid=8481] ppid=8477 vsize=2966184 CPUtime=0.43 cores=1,3,5,7
/proc/8479/task/8481/stat : 8481 (java) S 8477 8479 7918 0 -1 4202560 2899 0 1 0 40 3 0 0 20 0 22 0 344584344 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325773096088 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8482] ppid=8477 vsize=2966184 CPUtime=3.67 cores=1,3,5,7
/proc/8479/task/8482/stat : 8482 (java) S 8477 8479 7918 0 -1 4202560 203 0 0 0 359 8 0 0 20 0 22 0 344584345 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325639407784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8483] ppid=8477 vsize=2966184 CPUtime=3.42 cores=1,3,5,7
/proc/8479/task/8483/stat : 8483 (java) S 8477 8479 7918 0 -1 4202560 202 0 0 0 334 8 0 0 20 0 22 0 344584345 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325638355240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8484] ppid=8477 vsize=2966184 CPUtime=3.42 cores=1,3,5,7
/proc/8479/task/8484/stat : 8484 (java) S 8477 8479 7918 0 -1 4202560 186 0 0 0 335 7 0 0 20 0 22 0 344584345 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325637302696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8485] ppid=8477 vsize=2966184 CPUtime=3.52 cores=1,3,5,7
/proc/8479/task/8485/stat : 8485 (java) S 8477 8479 7918 0 -1 4202560 173 0 0 0 345 7 0 0 20 0 22 0 344584345 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325636250152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8486] ppid=8477 vsize=2966184 CPUtime=3.56 cores=1,3,5,7
/proc/8479/task/8486/stat : 8486 (java) S 8477 8479 7918 0 -1 4202560 221 0 0 0 347 9 0 0 20 0 22 0 344584345 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325635197608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8487] ppid=8477 vsize=2966184 CPUtime=3.49 cores=1,3,5,7
/proc/8479/task/8487/stat : 8487 (java) S 8477 8479 7918 0 -1 4202560 182 0 0 0 342 7 0 0 20 0 22 0 344584345 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325634145064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8488] ppid=8477 vsize=2966184 CPUtime=3.48 cores=1,3,5,7
/proc/8479/task/8488/stat : 8488 (java) S 8477 8479 7918 0 -1 4202560 182 0 0 0 340 8 0 0 20 0 22 0 344584346 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325633092520 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8489] ppid=8477 vsize=2966184 CPUtime=3.61 cores=1,3,5,7
/proc/8479/task/8489/stat : 8489 (java) S 8477 8479 7918 0 -1 4202560 190 0 0 0 352 9 0 0 20 0 22 0 344584346 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325632039976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8490] ppid=8477 vsize=2966184 CPUtime=39.23 cores=1,3,5,7
/proc/8479/task/8490/stat : 8490 (java) S 8477 8479 7918 0 -1 4202560 142 0 0 0 3899 24 0 0 20 0 22 0 344584347 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325619841128 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8491] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8491/stat : 8491 (java) S 8477 8479 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344584347 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325618787448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8492] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8492/stat : 8492 (java) S 8477 8479 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344584347 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325617734792 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8493] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8493/stat : 8493 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584350 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325616683536 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8494] ppid=8477 vsize=2966184 CPUtime=1.68 cores=1,3,5,7
/proc/8479/task/8494/stat : 8494 (java) S 8477 8479 7918 0 -1 4202560 10502 0 0 0 166 2 0 0 20 0 22 0 344584350 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325615630904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8495] ppid=8477 vsize=2966184 CPUtime=1.31 cores=1,3,5,7
/proc/8479/task/8495/stat : 8495 (java) S 8477 8479 7918 0 -1 4202560 11380 0 0 0 128 3 0 0 20 0 22 0 344584350 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325614578360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8496] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8496/stat : 8496 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584350 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325613526008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8497] ppid=8477 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/8479/task/8497/stat : 8497 (java) S 8477 8479 7918 0 -1 4202560 45 0 0 0 22 20 0 0 20 0 22 0 344584350 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325612473672 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8498] ppid=8477 vsize=2966184 CPUtime=771.99 cores=1,3,5,7
/proc/8479/task/8498/stat : 8498 (java) R 8477 8479 7918 0 -1 4202560 339 0 0 0 77186 13 0 0 20 0 22 0 344584387 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325611417680 140325713626716 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8499] ppid=8477 vsize=2966184 CPUtime=772.21 cores=1,3,5,7
/proc/8479/task/8499/stat : 8499 (java) R 8477 8479 7918 0 -1 4202560 491 0 0 0 77201 20 0 0 20 0 22 0 344584387 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325610362976 140325713793997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8500] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8500/stat : 8500 (java) S 8477 8479 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344584388 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325609313320 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8501] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8501/stat : 8501 (java) S 8477 8479 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344584388 3037372416 220128 33554432000 1073741824 1073778376 140737230757520 140325608260776 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1619.13
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.79 3.88 3.80 4/219 8572
/proc/meminfo: memFree=27096644/32873844 swapFree=7120/7120
[pid=8479] ppid=8477 vsize=2966184 CPUtime=1735.21 cores=1,3,5,7
/proc/8479/stat : 8479 (java) S 8477 8479 7918 0 -1 4202496 28688 0 1 0 173390 131 0 0 20 0 22 0 344584343 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140737230748656 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8479/statm: 741546 225852 2285 9 0 732240 0
[pid=8479/tid=8481] ppid=8477 vsize=2966184 CPUtime=0.43 cores=1,3,5,7
/proc/8479/task/8481/stat : 8481 (java) S 8477 8479 7918 0 -1 4202560 2903 0 1 0 40 3 0 0 20 0 22 0 344584344 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325773096088 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8482] ppid=8477 vsize=2966184 CPUtime=3.92 cores=1,3,5,7
/proc/8479/task/8482/stat : 8482 (java) S 8477 8479 7918 0 -1 4202560 216 0 0 0 384 8 0 0 20 0 22 0 344584345 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325639407784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8483] ppid=8477 vsize=2966184 CPUtime=3.68 cores=1,3,5,7
/proc/8479/task/8483/stat : 8483 (java) S 8477 8479 7918 0 -1 4202560 219 0 0 0 360 8 0 0 20 0 22 0 344584345 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325638355240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8484] ppid=8477 vsize=2966184 CPUtime=3.66 cores=1,3,5,7
/proc/8479/task/8484/stat : 8484 (java) S 8477 8479 7918 0 -1 4202560 199 0 0 0 358 8 0 0 20 0 22 0 344584345 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325637302696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8485] ppid=8477 vsize=2966184 CPUtime=3.73 cores=1,3,5,7
/proc/8479/task/8485/stat : 8485 (java) S 8477 8479 7918 0 -1 4202560 186 0 0 0 365 8 0 0 20 0 22 0 344584345 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325636250152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8486] ppid=8477 vsize=2966184 CPUtime=3.79 cores=1,3,5,7
/proc/8479/task/8486/stat : 8486 (java) S 8477 8479 7918 0 -1 4202560 242 0 0 0 370 9 0 0 20 0 22 0 344584345 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325635197608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8487] ppid=8477 vsize=2966184 CPUtime=3.73 cores=1,3,5,7
/proc/8479/task/8487/stat : 8487 (java) S 8477 8479 7918 0 -1 4202560 194 0 0 0 365 8 0 0 20 0 22 0 344584345 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325634145064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8488] ppid=8477 vsize=2966184 CPUtime=3.68 cores=1,3,5,7
/proc/8479/task/8488/stat : 8488 (java) S 8477 8479 7918 0 -1 4202560 195 0 0 0 360 8 0 0 20 0 22 0 344584346 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325633092520 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8489] ppid=8477 vsize=2966184 CPUtime=3.87 cores=1,3,5,7
/proc/8479/task/8489/stat : 8489 (java) S 8477 8479 7918 0 -1 4202560 211 0 0 0 377 10 0 0 20 0 22 0 344584346 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325632039976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8490] ppid=8477 vsize=2966184 CPUtime=43.95 cores=1,3,5,7
/proc/8479/task/8490/stat : 8490 (java) S 8477 8479 7918 0 -1 4202560 146 0 0 0 4369 26 0 0 20 0 22 0 344584347 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325619841128 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8491] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8491/stat : 8491 (java) S 8477 8479 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344584347 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325618787448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8492] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8492/stat : 8492 (java) S 8477 8479 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344584347 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325617734792 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8493] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8493/stat : 8493 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584350 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325616683536 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8494] ppid=8477 vsize=2966184 CPUtime=1.68 cores=1,3,5,7
/proc/8479/task/8494/stat : 8494 (java) S 8477 8479 7918 0 -1 4202560 10502 0 0 0 166 2 0 0 20 0 22 0 344584350 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325615630904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8495] ppid=8477 vsize=2966184 CPUtime=1.31 cores=1,3,5,7
/proc/8479/task/8495/stat : 8495 (java) S 8477 8479 7918 0 -1 4202560 11380 0 0 0 128 3 0 0 20 0 22 0 344584350 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325614578360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8496] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8496/stat : 8496 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584350 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325613526008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8497] ppid=8477 vsize=2966184 CPUtime=0.45 cores=1,3,5,7
/proc/8479/task/8497/stat : 8497 (java) S 8477 8479 7918 0 -1 4202560 49 0 0 0 23 22 0 0 20 0 22 0 344584350 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325612473672 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8498] ppid=8477 vsize=2966184 CPUtime=826.57 cores=1,3,5,7
/proc/8479/task/8498/stat : 8498 (java) R 8477 8479 7918 0 -1 4202560 351 0 0 0 82643 14 0 0 20 0 22 0 344584387 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325611416736 140325713626750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8499] ppid=8477 vsize=2966184 CPUtime=826.8 cores=1,3,5,7
/proc/8479/task/8499/stat : 8499 (java) R 8477 8479 7918 0 -1 4202560 508 0 0 0 82659 21 0 0 20 0 22 0 344584387 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325610362864 140325714065829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8500] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8500/stat : 8500 (java) S 8477 8479 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344584388 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325609313320 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8501] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8501/stat : 8501 (java) S 8477 8479 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344584388 3037372416 225852 33554432000 1073741824 1073778376 140737230757520 140325608260776 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1735.21
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+916.001 s]
/proc/loadavg: 3.68 3.85 3.79 6/219 8572
/proc/meminfo: memFree=27092424/32873844 swapFree=7120/7120
[pid=8479] ppid=8477 vsize=2966184 CPUtime=1800.2 cores=1,3,5,7
/proc/8479/stat : 8479 (java) S 8477 8479 7918 0 -1 4202496 28749 0 1 0 179886 134 0 0 20 0 22 0 344584343 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140737230748656 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/8479/statm: 741546 226910 2285 9 0 732240 0
[pid=8479/tid=8481] ppid=8477 vsize=2966184 CPUtime=0.43 cores=1,3,5,7
/proc/8479/task/8481/stat : 8481 (java) S 8477 8479 7918 0 -1 4202560 2906 0 1 0 40 3 0 0 20 0 22 0 344584344 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325773096088 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8482] ppid=8477 vsize=2966184 CPUtime=3.99 cores=1,3,5,7
/proc/8479/task/8482/stat : 8482 (java) S 8477 8479 7918 0 -1 4202560 217 0 0 0 391 8 0 0 20 0 22 0 344584345 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325639407784 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8483] ppid=8477 vsize=2966184 CPUtime=3.74 cores=1,3,5,7
/proc/8479/task/8483/stat : 8483 (java) S 8477 8479 7918 0 -1 4202560 227 0 0 0 366 8 0 0 20 0 22 0 344584345 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325638355240 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8484] ppid=8477 vsize=2966184 CPUtime=3.74 cores=1,3,5,7
/proc/8479/task/8484/stat : 8484 (java) S 8477 8479 7918 0 -1 4202560 206 0 0 0 366 8 0 0 20 0 22 0 344584345 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325637302696 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8485] ppid=8477 vsize=2966184 CPUtime=3.81 cores=1,3,5,7
/proc/8479/task/8485/stat : 8485 (java) S 8477 8479 7918 0 -1 4202560 188 0 0 0 373 8 0 0 20 0 22 0 344584345 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325636250152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8486] ppid=8477 vsize=2966184 CPUtime=3.87 cores=1,3,5,7
/proc/8479/task/8486/stat : 8486 (java) S 8477 8479 7918 0 -1 4202560 243 0 0 0 378 9 0 0 20 0 22 0 344584345 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325635197608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8487] ppid=8477 vsize=2966184 CPUtime=3.82 cores=1,3,5,7
/proc/8479/task/8487/stat : 8487 (java) S 8477 8479 7918 0 -1 4202560 201 0 0 0 374 8 0 0 20 0 22 0 344584345 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325634145064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8488] ppid=8477 vsize=2966184 CPUtime=3.76 cores=1,3,5,7
/proc/8479/task/8488/stat : 8488 (java) S 8477 8479 7918 0 -1 4202560 196 0 0 0 368 8 0 0 20 0 22 0 344584346 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325633092520 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8489] ppid=8477 vsize=2966184 CPUtime=3.95 cores=1,3,5,7
/proc/8479/task/8489/stat : 8489 (java) S 8477 8479 7918 0 -1 4202560 224 0 0 0 385 10 0 0 20 0 22 0 344584346 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325632039976 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8490] ppid=8477 vsize=2966184 CPUtime=46.58 cores=1,3,5,7
/proc/8479/task/8490/stat : 8490 (java) S 8477 8479 7918 0 -1 4202560 148 0 0 0 4631 27 0 0 20 0 22 0 344584347 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325619841128 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8491] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8491/stat : 8491 (java) S 8477 8479 7918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344584347 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325618787448 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8492] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8492/stat : 8492 (java) S 8477 8479 7918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344584347 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325617734792 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8493] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8493/stat : 8493 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584350 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325616683536 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8494] ppid=8477 vsize=2966184 CPUtime=1.68 cores=1,3,5,7
/proc/8479/task/8494/stat : 8494 (java) S 8477 8479 7918 0 -1 4202560 10502 0 0 0 166 2 0 0 20 0 22 0 344584350 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325615630904 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8495] ppid=8477 vsize=2966184 CPUtime=1.31 cores=1,3,5,7
/proc/8479/task/8495/stat : 8495 (java) S 8477 8479 7918 0 -1 4202560 11380 0 0 0 128 3 0 0 20 0 22 0 344584350 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325614578360 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8496] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8496/stat : 8496 (java) S 8477 8479 7918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344584350 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325613526008 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8479/tid=8497] ppid=8477 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/8479/task/8497/stat : 8497 (java) S 8477 8479 7918 0 -1 4202560 51 0 0 0 24 22 0 0 20 0 22 0 344584350 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325612473672 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8498] ppid=8477 vsize=2966184 CPUtime=857.37 cores=1,3,5,7
/proc/8479/task/8498/stat : 8498 (java) R 8477 8479 7918 0 -1 4202560 357 0 0 0 85722 15 0 0 20 0 22 0 344584387 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325611417640 140325713501936 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8479/tid=8499] ppid=8477 vsize=2966184 CPUtime=857.58 cores=1,3,5,7
/proc/8479/task/8499/stat : 8499 (java) R 8477 8479 7918 0 -1 4202560 516 0 0 0 85735 23 0 0 20 0 22 0 344584387 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325610362768 140325713793969 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8479/tid=8500] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8500/stat : 8500 (java) S 8477 8479 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344584388 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325609313320 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8479/tid=8501] ppid=8477 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/8479/task/8501/stat : 8501 (java) S 8477 8479 7918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344584388 3037372416 226910 33554432000 1073741824 1073778376 140737230757520 140325608260776 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8479 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=697164
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=786728
# CPU time returned by wait4() is 1796.48
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 916.058
CPU time (s): 1800.2
CPU user time (s): 1798.86
CPU system time (s): 1.34
CPU usage (%): 196.516
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.7
system time used= 1.78673
maximum resident set size= 907756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28780
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38339
involuntary context switches= 63728
runsolver used 3.72143 second user time and 8.75367 second system time
The end