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-3743401-1338792175/watcher-3743401-1338792175 -o /tmp/evaluation-result-3743401-1338792175/solver-3743401-1338792175 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3743401-1338792175.opb
running on 4 cores: 0,2,4,6
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.83 3.94 3.90 4/197 10541
/proc/meminfo: memFree=26114252/32873844 swapFree=7384/7384
[pid=10541] ppid=10539 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/10541/stat : 10541 (java6) D 10539 10541 9217 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 345343068 9515008 183 33554432000 1073741824 1073778376 140735645475872 140735645466904 239873113781 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/10541/statm: 2323 183 140 9 0 71 0
[startup+0.022284 s]
/proc/loadavg: 3.83 3.94 3.90 4/197 10541
/proc/meminfo: memFree=26114252/32873844 swapFree=7384/7384
[pid=10541] ppid=10539 vsize=152584 CPUtime=0 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10539 10541 9217 0 -1 4202496 1449 0 1 0 0 0 0 0 20 0 2 0 345343068 156246016 1129 33554432000 1073741824 1073778376 140734514208368 140734514199504 239876472893 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 38146 1129 865 9 0 29255 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 152584
[startup+0.100186 s]
/proc/loadavg: 3.83 3.94 3.90 4/197 10541
/proc/meminfo: memFree=26114252/32873844 swapFree=7384/7384
[pid=10541] ppid=10539 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10539 10541 9217 0 -1 4202496 4720 0 1 0 8 0 0 0 20 0 18 0 345343068 2764726272 6422 33554432000 1073741824 1073778376 140734514208368 140734514199504 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 674982 6422 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2699928
[startup+0.30017 s]
/proc/loadavg: 3.83 3.94 3.90 4/197 10541
/proc/meminfo: memFree=26114252/32873844 swapFree=7384/7384
[pid=10541] ppid=10539 vsize=2699928 CPUtime=0.51 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10539 10541 9217 0 -1 4202496 6581 0 1 0 50 1 0 0 20 0 18 0 345343068 2764726272 16232 33554432000 1073741824 1073778376 140734514208368 140734514199504 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 674982 16232 2217 9 0 665676 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2699928
[startup+0.700283 s]
/proc/loadavg: 3.83 3.94 3.90 4/197 10541
/proc/meminfo: memFree=26114252/32873844 swapFree=7384/7384
[pid=10541] ppid=10539 vsize=2699928 CPUtime=1.22 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10539 10541 9217 0 -1 4202496 11197 0 1 0 116 6 0 0 20 0 18 0 345343068 2764726272 57758 33554432000 1073741824 1073778376 140734514208368 140734514199504 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 674982 58270 2230 9 0 665676 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 2699928
[startup+1.50061 s]
/proc/loadavg: 3.83 3.94 3.90 4/215 10559
/proc/meminfo: memFree=25689140/32873844 swapFree=7384/7384
[pid=10541] ppid=10539 vsize=2699928 CPUtime=2.55 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10539 10541 9217 0 -1 4202496 11527 0 1 0 234 21 0 0 20 0 18 0 345343068 2764726272 125906 33554432000 1073741824 1073778376 140734514208368 140734514199504 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 674982 125906 2248 9 0 665676 0
[pid=10541/tid=10543] ppid=10539 vsize=2699928 CPUtime=1.28 cores=0,2,4,6
/proc/10541/task/10543/stat : 10543 (java) S 10539 10541 9217 0 -1 4202560 2956 0 1 0 122 6 0 0 20 0 18 0 345343069 2764726272 125906 33554432000 1073741824 1073778376 140734514208368 140424991690072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10544] ppid=10539 vsize=2699928 CPUtime=0.06 cores=0,2,4,6
/proc/10541/task/10544/stat : 10544 (java) R 10539 10541 9217 0 -1 4202560 29 0 0 0 6 0 0 0 20 0 18 0 345343071 2764726272 125906 33554432000 1073741824 1073778376 140734514208368 140424975972952 140424998587308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10545] ppid=10539 vsize=2699928 CPUtime=0.11 cores=0,2,4,6
/proc/10541/task/10545/stat : 10545 (java) R 10539 10541 9217 0 -1 4202560 40 0 0 0 9 2 0 0 20 0 18 0 345343071 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424974920232 140424998590031 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10546] ppid=10539 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/10541/task/10546/stat : 10546 (java) R 10539 10541 9217 0 -1 4202560 33 0 0 0 5 2 0 0 20 0 18 0 345343071 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424973867352 140424994162315 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10547] ppid=10539 vsize=2699928 CPUtime=0.08 cores=0,2,4,6
/proc/10541/task/10547/stat : 10547 (java) R 10539 10541 9217 0 -1 4202560 38 0 0 0 7 1 0 0 20 0 18 0 345343071 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424972814512 140424995447948 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10548] ppid=10539 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/10541/task/10548/stat : 10548 (java) R 10539 10541 9217 0 -1 4202560 34 0 0 0 5 2 0 0 20 0 18 0 345343071 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424971762776 140424999186128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10549] ppid=10539 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/10541/task/10549/stat : 10549 (java) R 10539 10541 9217 0 -1 4202560 25 0 0 0 5 2 0 0 20 0 18 0 345343071 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424970710232 140424994969500 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10550] ppid=10539 vsize=2699928 CPUtime=0.04 cores=0,2,4,6
/proc/10541/task/10550/stat : 10550 (java) R 10539 10541 9217 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 18 0 345343071 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424969657176 140424998199680 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10551] ppid=10539 vsize=2699928 CPUtime=0.04 cores=0,2,4,6
/proc/10541/task/10551/stat : 10551 (java) R 10539 10541 9217 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 18 0 345343071 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424968604632 140424998587648 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10552] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10552/stat : 10552 (java) S 10539 10541 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345343072 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424838612232 239876486204 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10553] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10553/stat : 10553 (java) S 10539 10541 9217 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345343072 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424837559672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10554] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10554/stat : 10554 (java) S 10539 10541 9217 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345343072 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424836506504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10555] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10555/stat : 10555 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345343075 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424835455248 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10556] ppid=10539 vsize=2699928 CPUtime=0.27 cores=0,2,4,6
/proc/10541/task/10556/stat : 10556 (java) S 10539 10541 9217 0 -1 4202560 4110 0 0 0 26 1 0 0 20 0 18 0 345343075 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424834403128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10557] ppid=10539 vsize=2699928 CPUtime=0.28 cores=0,2,4,6
/proc/10541/task/10557/stat : 10557 (java) S 10539 10541 9217 0 -1 4202560 3036 0 0 0 28 0 0 0 20 0 18 0 345343075 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424833350584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10558] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10558/stat : 10558 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345343075 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424832297720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10559] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10559/stat : 10559 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345343075 2764726272 125907 33554432000 1073741824 1073778376 140734514208368 140424831245384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 2699928
[startup+3.10063 s]
/proc/loadavg: 3.83 3.94 3.90 4/215 10559
/proc/meminfo: memFree=25616964/32873844 swapFree=7384/7384
[pid=10541] ppid=10539 vsize=2699928 CPUtime=4.99 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10539 10541 9217 0 -1 4202496 12034 0 1 0 462 37 0 0 20 0 18 0 345343068 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140734514199504 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 674982 156387 2248 9 0 665676 0
[pid=10541/tid=10543] ppid=10539 vsize=2699928 CPUtime=2.6 cores=0,2,4,6
/proc/10541/task/10543/stat : 10543 (java) S 10539 10541 9217 0 -1 4202560 2958 0 1 0 253 7 0 0 20 0 18 0 345343069 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424991690312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10544] ppid=10539 vsize=2699928 CPUtime=0.18 cores=0,2,4,6
/proc/10541/task/10544/stat : 10544 (java) R 10539 10541 9217 0 -1 4202560 61 0 0 0 15 3 0 0 20 0 18 0 345343071 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424975972904 239873068167 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10545] ppid=10539 vsize=2699928 CPUtime=0.35 cores=0,2,4,6
/proc/10541/task/10545/stat : 10545 (java) R 10539 10541 9217 0 -1 4202560 94 0 0 0 29 6 0 0 20 0 18 0 345343071 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424974920360 239873068167 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10546] ppid=10539 vsize=2699928 CPUtime=0.28 cores=0,2,4,6
/proc/10541/task/10546/stat : 10546 (java) R 10539 10541 9217 0 -1 4202560 83 0 0 0 23 5 0 0 20 0 18 0 345343071 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424973867352 239873068167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10547] ppid=10539 vsize=2699928 CPUtime=0.18 cores=0,2,4,6
/proc/10541/task/10547/stat : 10547 (java) R 10539 10541 9217 0 -1 4202560 63 0 0 0 15 3 0 0 20 0 18 0 345343071 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424972814760 239873068167 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10548] ppid=10539 vsize=2699928 CPUtime=0.19 cores=0,2,4,6
/proc/10541/task/10548/stat : 10548 (java) R 10539 10541 9217 0 -1 4202560 276 0 0 0 15 4 0 0 20 0 18 0 345343071 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424971762776 140424995866799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10549] ppid=10539 vsize=2699928 CPUtime=0.18 cores=0,2,4,6
/proc/10541/task/10549/stat : 10549 (java) R 10539 10541 9217 0 -1 4202560 55 0 0 0 15 3 0 0 20 0 18 0 345343071 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424970710184 239873068167 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10550] ppid=10539 vsize=2699928 CPUtime=0.19 cores=0,2,4,6
/proc/10541/task/10550/stat : 10550 (java) R 10539 10541 9217 0 -1 4202560 67 0 0 0 16 3 0 0 20 0 18 0 345343071 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424969657128 140424999736482 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10551] ppid=10539 vsize=2699928 CPUtime=0.13 cores=0,2,4,6
/proc/10541/task/10551/stat : 10551 (java) R 10539 10541 9217 0 -1 4202560 49 0 0 0 11 2 0 0 20 0 18 0 345343071 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424968604584 239873068167 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10552] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10552/stat : 10552 (java) S 10539 10541 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345343072 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424838612232 239876486204 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10553] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10553/stat : 10553 (java) S 10539 10541 9217 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345343072 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424837559672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10554] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10554/stat : 10554 (java) S 10539 10541 9217 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345343072 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424836506504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10555] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10555/stat : 10555 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345343075 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424835455248 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10556] ppid=10539 vsize=2699928 CPUtime=0.28 cores=0,2,4,6
/proc/10541/task/10556/stat : 10556 (java) S 10539 10541 9217 0 -1 4202560 4110 0 0 0 26 2 0 0 20 0 18 0 345343075 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424834403128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10557] ppid=10539 vsize=2699928 CPUtime=0.28 cores=0,2,4,6
/proc/10541/task/10557/stat : 10557 (java) S 10539 10541 9217 0 -1 4202560 3036 0 0 0 28 0 0 0 20 0 18 0 345343075 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424833350584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10558] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10558/stat : 10558 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345343075 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424832297720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10559] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10559/stat : 10559 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345343075 2764726272 156387 33554432000 1073741824 1073778376 140734514208368 140424831245384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 2699928
[startup+6.30071 s]
/proc/loadavg: 3.76 3.92 3.90 4/215 10559
/proc/meminfo: memFree=25383132/32873844 swapFree=7384/7384
[pid=10541] ppid=10539 vsize=2699928 CPUtime=9.97 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10539 10541 9217 0 -1 4202496 12924 0 1 0 948 49 0 0 20 0 18 0 345343068 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140734514199504 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 674982 185030 2256 9 0 665676 0
[pid=10541/tid=10543] ppid=10539 vsize=2699928 CPUtime=5.16 cores=0,2,4,6
/proc/10541/task/10543/stat : 10543 (java) R 10539 10541 9217 0 -1 4202560 2994 0 1 0 508 8 0 0 20 0 18 0 345343069 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424991689736 140424845165179 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10544] ppid=10539 vsize=2699928 CPUtime=0.44 cores=0,2,4,6
/proc/10541/task/10544/stat : 10544 (java) S 10539 10541 9217 0 -1 4202560 220 0 0 0 40 4 0 0 20 0 18 0 345343071 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424975972776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10545] ppid=10539 vsize=2699928 CPUtime=0.64 cores=0,2,4,6
/proc/10541/task/10545/stat : 10545 (java) S 10539 10541 9217 0 -1 4202560 358 0 0 0 57 7 0 0 20 0 18 0 345343071 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424974920232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10546] ppid=10539 vsize=2699928 CPUtime=0.56 cores=0,2,4,6
/proc/10541/task/10546/stat : 10546 (java) S 10539 10541 9217 0 -1 4202560 261 0 0 0 50 6 0 0 20 0 18 0 345343071 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424973867176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10547] ppid=10539 vsize=2699928 CPUtime=0.44 cores=0,2,4,6
/proc/10541/task/10547/stat : 10547 (java) S 10539 10541 9217 0 -1 4202560 87 0 0 0 40 4 0 0 20 0 18 0 345343071 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424972814632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10548] ppid=10539 vsize=2699928 CPUtime=0.43 cores=0,2,4,6
/proc/10541/task/10548/stat : 10548 (java) S 10539 10541 9217 0 -1 4202560 295 0 0 0 37 6 0 0 20 0 18 0 345343071 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424971762600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10549] ppid=10539 vsize=2699928 CPUtime=0.51 cores=0,2,4,6
/proc/10541/task/10549/stat : 10549 (java) S 10539 10541 9217 0 -1 4202560 133 0 0 0 46 5 0 0 20 0 18 0 345343071 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424970710056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10550] ppid=10539 vsize=2699928 CPUtime=0.6 cores=0,2,4,6
/proc/10541/task/10550/stat : 10550 (java) S 10539 10541 9217 0 -1 4202560 145 0 0 0 55 5 0 0 20 0 18 0 345343071 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424969657000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10551] ppid=10539 vsize=2699928 CPUtime=0.4 cores=0,2,4,6
/proc/10541/task/10551/stat : 10551 (java) S 10539 10541 9217 0 -1 4202560 86 0 0 0 36 4 0 0 20 0 18 0 345343071 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424968604456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10552] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10552/stat : 10552 (java) S 10539 10541 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 345343072 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424838613352 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10553] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10553/stat : 10553 (java) S 10539 10541 9217 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345343072 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424837559672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10554] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10554/stat : 10554 (java) S 10539 10541 9217 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345343072 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424836506504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10555] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10555/stat : 10555 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345343075 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424835455248 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10556] ppid=10539 vsize=2699928 CPUtime=0.31 cores=0,2,4,6
/proc/10541/task/10556/stat : 10556 (java) R 10539 10541 9217 0 -1 4202560 4127 0 0 0 29 2 0 0 20 0 18 0 345343075 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424834381200 140424998147584 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10557] ppid=10539 vsize=2699928 CPUtime=0.28 cores=0,2,4,6
/proc/10541/task/10557/stat : 10557 (java) R 10539 10541 9217 0 -1 4202560 3036 0 0 0 28 0 0 0 20 0 18 0 345343075 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424833350584 140424998480279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10558] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10558/stat : 10558 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345343075 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424832297720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10559] ppid=10539 vsize=2699928 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10559/stat : 10559 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345343075 2764726272 185030 33554432000 1073741824 1073778376 140734514208368 140424831245384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (KiB) 2699928
[startup+12.7008 s]
/proc/loadavg: 3.78 3.92 3.90 5/219 10563
/proc/meminfo: memFree=25379092/32873844 swapFree=7384/7384
[pid=10541] ppid=10539 vsize=2966184 CPUtime=23.58 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10539 10541 9217 0 -1 4202496 13951 0 1 0 2308 50 0 0 20 0 22 0 345343068 3037372416 185578 33554432000 1073741824 1073778376 140734514208368 140734514199504 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 741546 185578 2271 9 0 732240 0
[pid=10541/tid=10543] ppid=10539 vsize=2966184 CPUtime=5.27 cores=0,2,4,6
################
# More data... #
################
/proc/10541/statm: 741546 223113 2284 9 0 732240 0
[pid=10541/tid=10543] ppid=10539 vsize=2966184 CPUtime=5.29 cores=0,2,4,6
/proc/10541/task/10543/stat : 10543 (java) S 10539 10541 9217 0 -1 4202560 3008 0 1 0 521 8 0 0 20 0 22 0 345343069 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424991691928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10544] ppid=10539 vsize=2966184 CPUtime=2.48 cores=0,2,4,6
/proc/10541/task/10544/stat : 10544 (java) S 10539 10541 9217 0 -1 4202560 240 0 0 0 242 6 0 0 20 0 22 0 345343071 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424975972776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10545] ppid=10539 vsize=2966184 CPUtime=2.65 cores=0,2,4,6
/proc/10541/task/10545/stat : 10545 (java) S 10539 10541 9217 0 -1 4202560 371 0 0 0 255 10 0 0 20 0 22 0 345343071 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424974920232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10546] ppid=10539 vsize=2966184 CPUtime=2.63 cores=0,2,4,6
/proc/10541/task/10546/stat : 10546 (java) S 10539 10541 9217 0 -1 4202560 285 0 0 0 254 9 0 0 20 0 22 0 345343071 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424973867176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10547] ppid=10539 vsize=2966184 CPUtime=2.39 cores=0,2,4,6
/proc/10541/task/10547/stat : 10547 (java) S 10539 10541 9217 0 -1 4202560 130 0 0 0 233 6 0 0 20 0 22 0 345343071 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424972814632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10548] ppid=10539 vsize=2966184 CPUtime=2.28 cores=0,2,4,6
/proc/10541/task/10548/stat : 10548 (java) S 10539 10541 9217 0 -1 4202560 309 0 0 0 220 8 0 0 20 0 22 0 345343071 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424971762600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10549] ppid=10539 vsize=2966184 CPUtime=2.5 cores=0,2,4,6
/proc/10541/task/10549/stat : 10549 (java) S 10539 10541 9217 0 -1 4202560 160 0 0 0 242 8 0 0 20 0 22 0 345343071 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424970710056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10550] ppid=10539 vsize=2966184 CPUtime=2.62 cores=0,2,4,6
/proc/10541/task/10550/stat : 10550 (java) S 10539 10541 9217 0 -1 4202560 182 0 0 0 254 8 0 0 20 0 22 0 345343071 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424969657000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10551] ppid=10539 vsize=2966184 CPUtime=2.46 cores=0,2,4,6
/proc/10541/task/10551/stat : 10551 (java) S 10539 10541 9217 0 -1 4202560 135 0 0 0 240 6 0 0 20 0 22 0 345343071 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424968604456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10552] ppid=10539 vsize=2966184 CPUtime=6.38 cores=0,2,4,6
/proc/10541/task/10552/stat : 10552 (java) S 10539 10541 9217 0 -1 4202560 25028 0 0 0 597 41 0 0 20 0 22 0 345343072 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424838613352 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10553] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10553/stat : 10553 (java) S 10539 10541 9217 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345343072 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424837559672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10554] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10554/stat : 10554 (java) S 10539 10541 9217 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 345343072 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424836506504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10555] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10555/stat : 10555 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345343075 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424835455248 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10556] ppid=10539 vsize=2966184 CPUtime=1.69 cores=0,2,4,6
/proc/10541/task/10556/stat : 10556 (java) S 10539 10541 9217 0 -1 4202560 12755 0 0 0 167 2 0 0 20 0 22 0 345343075 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424834403128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10557] ppid=10539 vsize=2966184 CPUtime=1.06 cores=0,2,4,6
/proc/10541/task/10557/stat : 10557 (java) S 10539 10541 9217 0 -1 4202560 3911 0 0 0 106 0 0 0 20 0 22 0 345343075 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424833350584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10558] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10558/stat : 10558 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345343075 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424832297720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10559] ppid=10539 vsize=2966184 CPUtime=0.31 cores=0,2,4,6
/proc/10541/task/10559/stat : 10559 (java) S 10539 10541 9217 0 -1 4202560 46 0 0 0 16 15 0 0 20 0 22 0 345343075 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424831245384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10560] ppid=10539 vsize=2966184 CPUtime=801.95 cores=0,2,4,6
/proc/10541/task/10560/stat : 10560 (java) R 10539 10541 9217 0 -1 4202560 188 0 0 0 80181 14 0 0 20 0 22 0 345343709 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140424830188192 140424845829881 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10561] ppid=10539 vsize=2966184 CPUtime=802.26 cores=0,2,4,6
/proc/10541/task/10561/stat : 10561 (java) R 10539 10541 9217 0 -1 4202560 540 0 0 0 80212 14 0 0 20 0 22 0 345343709 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140423687298256 140424845847045 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10562] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10562/stat : 10562 (java) S 10539 10541 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345343720 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140423686247208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10563] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10563/stat : 10563 (java) S 10539 10541 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345343721 3037372416 223113 33554432000 1073741824 1073778376 140734514208368 140423685194664 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1643.23
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.93 3.98 3.92 5/219 10639
/proc/meminfo: memFree=25344028/32873844 swapFree=7384/7384
[pid=10541] ppid=10539 vsize=2966184 CPUtime=1762.9 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10539 10541 9217 0 -1 4202496 61064 0 1 0 176147 143 0 0 20 0 22 0 345343068 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140734514199504 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 741546 224147 2284 9 0 732240 0
[pid=10541/tid=10543] ppid=10539 vsize=2966184 CPUtime=5.29 cores=0,2,4,6
/proc/10541/task/10543/stat : 10543 (java) S 10539 10541 9217 0 -1 4202560 3010 0 1 0 521 8 0 0 20 0 22 0 345343069 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424991691928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10544] ppid=10539 vsize=2966184 CPUtime=2.79 cores=0,2,4,6
/proc/10541/task/10544/stat : 10544 (java) S 10539 10541 9217 0 -1 4202560 240 0 0 0 273 6 0 0 20 0 22 0 345343071 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424975972776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10545] ppid=10539 vsize=2966184 CPUtime=2.95 cores=0,2,4,6
/proc/10541/task/10545/stat : 10545 (java) S 10539 10541 9217 0 -1 4202560 371 0 0 0 284 11 0 0 20 0 22 0 345343071 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424974920232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10546] ppid=10539 vsize=2966184 CPUtime=2.91 cores=0,2,4,6
/proc/10541/task/10546/stat : 10546 (java) S 10539 10541 9217 0 -1 4202560 285 0 0 0 282 9 0 0 20 0 22 0 345343071 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424973867176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10547] ppid=10539 vsize=2966184 CPUtime=2.71 cores=0,2,4,6
/proc/10541/task/10547/stat : 10547 (java) S 10539 10541 9217 0 -1 4202560 133 0 0 0 265 6 0 0 20 0 22 0 345343071 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424972814632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10548] ppid=10539 vsize=2966184 CPUtime=2.63 cores=0,2,4,6
/proc/10541/task/10548/stat : 10548 (java) S 10539 10541 9217 0 -1 4202560 310 0 0 0 254 9 0 0 20 0 22 0 345343071 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424971762600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10549] ppid=10539 vsize=2966184 CPUtime=2.82 cores=0,2,4,6
/proc/10541/task/10549/stat : 10549 (java) S 10539 10541 9217 0 -1 4202560 164 0 0 0 274 8 0 0 20 0 22 0 345343071 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424970710056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10550] ppid=10539 vsize=2966184 CPUtime=2.95 cores=0,2,4,6
/proc/10541/task/10550/stat : 10550 (java) S 10539 10541 9217 0 -1 4202560 183 0 0 0 287 8 0 0 20 0 22 0 345343071 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424969657000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10551] ppid=10539 vsize=2966184 CPUtime=2.8 cores=0,2,4,6
/proc/10541/task/10551/stat : 10551 (java) S 10539 10541 9217 0 -1 4202560 139 0 0 0 273 7 0 0 20 0 22 0 345343071 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424968604456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10552] ppid=10539 vsize=2966184 CPUtime=7.6 cores=0,2,4,6
/proc/10541/task/10552/stat : 10552 (java) S 10539 10541 9217 0 -1 4202560 37505 0 0 0 711 49 0 0 20 0 22 0 345343072 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424838613352 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10553] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10553/stat : 10553 (java) S 10539 10541 9217 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345343072 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424837559672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10554] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10554/stat : 10554 (java) S 10539 10541 9217 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 345343072 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424836506504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10555] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10555/stat : 10555 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345343075 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424835455248 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10556] ppid=10539 vsize=2966184 CPUtime=1.69 cores=0,2,4,6
/proc/10541/task/10556/stat : 10556 (java) S 10539 10541 9217 0 -1 4202560 12755 0 0 0 167 2 0 0 20 0 22 0 345343075 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424834403128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10557] ppid=10539 vsize=2966184 CPUtime=1.06 cores=0,2,4,6
/proc/10541/task/10557/stat : 10557 (java) S 10539 10541 9217 0 -1 4202560 3911 0 0 0 106 0 0 0 20 0 22 0 345343075 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424833350584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10558] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10558/stat : 10558 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345343075 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424832297720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10559] ppid=10539 vsize=2966184 CPUtime=0.33 cores=0,2,4,6
/proc/10541/task/10559/stat : 10559 (java) S 10539 10541 9217 0 -1 4202560 50 0 0 0 17 16 0 0 20 0 22 0 345343075 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424831245384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10560] ppid=10539 vsize=2966184 CPUtime=859.76 cores=0,2,4,6
/proc/10541/task/10560/stat : 10560 (java) R 10539 10541 9217 0 -1 4202560 221 0 0 0 85961 15 0 0 20 0 22 0 345343709 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140424830188912 140424845518510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10561] ppid=10539 vsize=2966184 CPUtime=860.04 cores=0,2,4,6
/proc/10541/task/10561/stat : 10561 (java) R 10539 10541 9217 0 -1 4202560 599 0 0 0 85989 15 0 0 20 0 22 0 345343709 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140423687297344 140424846354825 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10562] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10562/stat : 10562 (java) S 10539 10541 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345343720 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140423686247208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10563] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10563/stat : 10563 (java) S 10539 10541 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345343721 3037372416 224147 33554432000 1073741824 1073778376 140734514208368 140423685194664 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1762.9
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.801 s]
/proc/loadavg: 3.87 3.96 3.91 4/218 10639
/proc/meminfo: memFree=25343912/32873844 swapFree=7384/7384
[pid=10541] ppid=10539 vsize=2966184 CPUtime=1800.15 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10539 10541 9217 0 -1 4202496 61099 0 1 0 179870 145 0 0 20 0 22 0 345343068 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140734514199504 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 741546 224149 2284 9 0 732240 0
[pid=10541/tid=10543] ppid=10539 vsize=2966184 CPUtime=5.29 cores=0,2,4,6
/proc/10541/task/10543/stat : 10543 (java) S 10539 10541 9217 0 -1 4202560 3010 0 1 0 521 8 0 0 20 0 22 0 345343069 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424991691928 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10544] ppid=10539 vsize=2966184 CPUtime=2.88 cores=0,2,4,6
/proc/10541/task/10544/stat : 10544 (java) S 10539 10541 9217 0 -1 4202560 240 0 0 0 282 6 0 0 20 0 22 0 345343071 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424975972776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10545] ppid=10539 vsize=2966184 CPUtime=3.03 cores=0,2,4,6
/proc/10541/task/10545/stat : 10545 (java) S 10539 10541 9217 0 -1 4202560 371 0 0 0 292 11 0 0 20 0 22 0 345343071 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424974920232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10546] ppid=10539 vsize=2966184 CPUtime=3.01 cores=0,2,4,6
/proc/10541/task/10546/stat : 10546 (java) S 10539 10541 9217 0 -1 4202560 285 0 0 0 292 9 0 0 20 0 22 0 345343071 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424973867176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10547] ppid=10539 vsize=2966184 CPUtime=2.8 cores=0,2,4,6
/proc/10541/task/10547/stat : 10547 (java) S 10539 10541 9217 0 -1 4202560 134 0 0 0 274 6 0 0 20 0 22 0 345343071 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424972814632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10548] ppid=10539 vsize=2966184 CPUtime=2.71 cores=0,2,4,6
/proc/10541/task/10548/stat : 10548 (java) S 10539 10541 9217 0 -1 4202560 310 0 0 0 262 9 0 0 20 0 22 0 345343071 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424971762600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10549] ppid=10539 vsize=2966184 CPUtime=2.92 cores=0,2,4,6
/proc/10541/task/10549/stat : 10549 (java) S 10539 10541 9217 0 -1 4202560 164 0 0 0 284 8 0 0 20 0 22 0 345343071 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424970710056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10550] ppid=10539 vsize=2966184 CPUtime=3.04 cores=0,2,4,6
/proc/10541/task/10550/stat : 10550 (java) S 10539 10541 9217 0 -1 4202560 184 0 0 0 296 8 0 0 20 0 22 0 345343071 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424969657000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10551] ppid=10539 vsize=2966184 CPUtime=2.88 cores=0,2,4,6
/proc/10541/task/10551/stat : 10551 (java) S 10539 10541 9217 0 -1 4202560 139 0 0 0 281 7 0 0 20 0 22 0 345343071 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424968604456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10552] ppid=10539 vsize=2966184 CPUtime=7.62 cores=0,2,4,6
/proc/10541/task/10552/stat : 10552 (java) S 10539 10541 9217 0 -1 4202560 37507 0 0 0 711 51 0 0 20 0 22 0 345343072 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424838613352 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10553] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10553/stat : 10553 (java) S 10539 10541 9217 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345343072 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424837559672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10554] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10554/stat : 10554 (java) S 10539 10541 9217 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 345343072 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424836506504 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10555] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10555/stat : 10555 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345343075 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424835455248 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10556] ppid=10539 vsize=2966184 CPUtime=1.69 cores=0,2,4,6
/proc/10541/task/10556/stat : 10556 (java) S 10539 10541 9217 0 -1 4202560 12755 0 0 0 167 2 0 0 20 0 22 0 345343075 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424834403128 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10557] ppid=10539 vsize=2966184 CPUtime=1.06 cores=0,2,4,6
/proc/10541/task/10557/stat : 10557 (java) S 10539 10541 9217 0 -1 4202560 3911 0 0 0 106 0 0 0 20 0 22 0 345343075 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424833350584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10558] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10558/stat : 10558 (java) S 10539 10541 9217 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345343075 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424832297720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10559] ppid=10539 vsize=2966184 CPUtime=0.34 cores=0,2,4,6
/proc/10541/task/10559/stat : 10559 (java) S 10539 10541 9217 0 -1 4202560 52 0 0 0 17 17 0 0 20 0 22 0 345343075 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424831245384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10560] ppid=10539 vsize=2966184 CPUtime=877.98 cores=0,2,4,6
/proc/10541/task/10560/stat : 10560 (java) R 10539 10541 9217 0 -1 4202560 227 0 0 0 87783 15 0 0 20 0 22 0 345343709 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140424830188136 140424845990282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10561] ppid=10539 vsize=2966184 CPUtime=878.26 cores=0,2,4,6
/proc/10541/task/10561/stat : 10561 (java) R 10539 10541 9217 0 -1 4202560 622 0 0 0 87811 15 0 0 20 0 22 0 345343709 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140423687298256 140424845846974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10562] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10562/stat : 10562 (java) S 10539 10541 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345343720 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140423686247208 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10563] ppid=10539 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10563/stat : 10563 (java) S 10539 10541 9217 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345343721 3037372416 224149 33554432000 1073741824 1073778376 140734514208368 140423685194664 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
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 10541 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=979273
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=875714
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1800.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.84
CPU time (s): 1800.15
CPU user time (s): 1798.7
CPU system time (s): 1.45
CPU usage (%): 199.83
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.98
system time used= 1.87571
maximum resident set size= 946468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61133
page faults= 1
swaps= 0
block input operations= 0
block output operations= 888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43854
involuntary context switches= 68764
runsolver used 3.75043 second user time and 7.65384 second system time
The end