runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458440-1307162242/watcher-3458440-1307162242 -o /tmp/evaluation-result-3458440-1307162242/solver-3458440-1307162242 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458440-1307162242.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: 1.18 1.72 1.89 2/486 27928
/proc/meminfo: memFree=21376532/32951124 swapFree=67057928/67111528
[pid=27928] ppid=27926 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (java) S 27926 27928 23895 0 -1 4202496 5853 0 1 0 0 0 0 0 20 0 2 0 808639570 13850947584 5554 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27928/statm: 3381579 5566 917 9 0 3372735 0
[pid=27928/tid=27929] ppid=27926 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27929/stat : 27929 (java) R 27926 27928 23895 0 -1 4202560 6694 0 1 0 0 0 0 0 21 0 2 0 808639570 13850947584 7510 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0201909 s]
/proc/loadavg: 1.18 1.72 1.89 2/486 27928
/proc/meminfo: memFree=21376532/32951124 swapFree=67057928/67111528
[pid=27928] ppid=27926 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/27928/stat : 27928 (java) S 27926 27928 23895 0 -1 4202496 9479 0 1 0 0 0 0 0 20 0 2 0 808639570 13850947584 9180 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27928/statm: 3381579 9199 917 9 0 3372735 0
[pid=27928/tid=27929] ppid=27926 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27929/stat : 27929 (java) R 27926 27928 23895 0 -1 4202560 8397 0 1 0 0 0 0 0 21 0 2 0 808639570 13850947584 9213 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13526316
[startup+0.100137 s]
/proc/loadavg: 1.18 1.72 1.89 2/486 27928
/proc/meminfo: memFree=21376532/32951124 swapFree=67057928/67111528
[pid=27928] ppid=27926 vsize=13622016 CPUtime=0.1 cores=1,3,5,7
/proc/27928/stat : 27928 (java) S 27926 27928 23895 0 -1 4202496 15498 0 1 0 9 1 0 0 20 0 18 0 808639570 13948944384 15194 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27928/statm: 3405504 15194 2093 9 0 3396238 0
[pid=27928/tid=27929] ppid=27926 vsize=13622016 CPUtime=0.08 cores=1,3,5,7
/proc/27928/task/27929/stat : 27929 (java) R 27926 27928 23895 0 -1 4202560 13581 0 1 0 7 1 0 0 22 0 18 0 808639570 13948944384 15194 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 46912496216919 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622016
[startup+0.301102 s]
/proc/loadavg: 1.18 1.72 1.89 2/486 27928
/proc/meminfo: memFree=21376532/32951124 swapFree=67057928/67111528
[pid=27928] ppid=27926 vsize=13623836 CPUtime=0.48 cores=1,3,5,7
/proc/27928/stat : 27928 (java) S 27926 27928 23895 0 -1 4202496 18775 0 1 0 46 2 0 0 20 0 18 0 808639570 13950808064 18046 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27928/statm: 3405959 18046 2222 9 0 3396693 0
[pid=27928/tid=27929] ppid=27926 vsize=13623836 CPUtime=0.28 cores=1,3,5,7
/proc/27928/task/27929/stat : 27929 (java) R 27926 27928 23895 0 -1 4202560 15359 0 1 0 27 1 0 0 22 0 18 0 808639570 13950808064 18046 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 46912505176897 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623836
[startup+0.701034 s]
/proc/loadavg: 1.18 1.72 1.89 2/486 27928
/proc/meminfo: memFree=21376532/32951124 swapFree=67057928/67111528
[pid=27928] ppid=27926 vsize=13630276 CPUtime=1.5 cores=1,3,5,7
/proc/27928/stat : 27928 (java) S 27926 27928 23895 0 -1 4202496 60804 0 1 0 143 7 0 0 20 0 18 0 808639570 13957402624 58270 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27928/statm: 3407569 58270 2229 9 0 3398303 0
[pid=27928/tid=27929] ppid=27926 vsize=13630276 CPUtime=0.68 cores=1,3,5,7
/proc/27928/task/27929/stat : 27929 (java) R 27926 27928 23895 0 -1 4202560 51354 0 1 0 62 6 0 0 24 0 18 0 808639570 13957402624 58270 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 46912505785301 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13630276
[startup+1.50093 s]
/proc/loadavg: 1.18 1.72 1.89 6/514 27956
/proc/meminfo: memFree=20941524/32951124 swapFree=67057928/67111528
[pid=27928] ppid=27926 vsize=13631304 CPUtime=2.61 cores=1,3,5,7
/proc/27928/stat : 27928 (java) S 27926 27928 23895 0 -1 4202496 107273 0 1 0 249 12 0 0 20 0 19 0 808639570 13958455296 104738 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27928/statm: 3407826 104738 2240 9 0 3398560 0
[pid=27928/tid=27929] ppid=27926 vsize=13631304 CPUtime=1.48 cores=1,3,5,7
/proc/27928/task/27929/stat : 27929 (java) R 27926 27928 23895 0 -1 4202560 97752 0 1 0 137 11 0 0 25 0 19 0 808639570 13958455296 104738 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 46912505949015 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27928/tid=27934] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27934/stat : 27934 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808639572 13958455296 104738 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27935] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27935/stat : 27935 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 808639572 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27936] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27936/stat : 27936 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 808639572 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27937] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27937/stat : 27937 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27938] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27938/stat : 27938 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27939] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27939/stat : 27939 (java) S 27926 27928 23895 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=27928/tid=27940] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27940/stat : 27940 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27941] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27941/stat : 27941 (java) S 27926 27928 23895 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27947] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27947/stat : 27947 (java) S 27926 27928 23895 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 808639574 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 0 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27948] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27948/stat : 27948 (java) S 27926 27928 23895 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 808639574 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27949] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27949/stat : 27949 (java) S 27926 27928 23895 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 808639574 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27950] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27950/stat : 27950 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808639576 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273440177 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27951] ppid=27926 vsize=13631304 CPUtime=0.51 cores=1,3,5,7
/proc/27928/task/27951/stat : 27951 (java) S 27926 27928 23895 0 -1 4202560 3026 0 0 0 51 0 0 0 15 0 19 0 808639576 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27952] ppid=27926 vsize=13631304 CPUtime=0.6 cores=1,3,5,7
/proc/27928/task/27952/stat : 27952 (java) S 27926 27928 23895 0 -1 4202560 5332 0 0 0 60 0 0 0 15 0 19 0 808639576 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27953] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27953/stat : 27953 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808639576 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27954] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27954/stat : 27954 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808639576 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=27928/tid=27956] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27956/stat : 27956 (java) S 27926 27928 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808639659 13958455296 104739 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 13631304
[startup+3.10065 s]
/proc/loadavg: 1.25 1.73 1.89 3/514 27956
/proc/meminfo: memFree=20918584/32951124 swapFree=67057928/67111528
[pid=27928] ppid=27926 vsize=13631304 CPUtime=4.22 cores=1,3,5,7
/proc/27928/stat : 27928 (java) S 27926 27928 23895 0 -1 4202496 107447 0 1 0 410 12 0 0 20 0 19 0 808639570 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27928/statm: 3407826 104911 2241 9 0 3398560 0
[pid=27928/tid=27929] ppid=27926 vsize=13631304 CPUtime=3.08 cores=1,3,5,7
/proc/27928/task/27929/stat : 27929 (java) R 27926 27928 23895 0 -1 4202560 97922 0 1 0 297 11 0 0 25 0 19 0 808639570 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 46912505983047 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27928/tid=27934] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27934/stat : 27934 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808639572 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27935] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27935/stat : 27935 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 808639572 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27936] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27936/stat : 27936 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 808639572 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27937] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27937/stat : 27937 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27938] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27938/stat : 27938 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27939] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27939/stat : 27939 (java) S 27926 27928 23895 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=27928/tid=27940] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27940/stat : 27940 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27941] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27941/stat : 27941 (java) S 27926 27928 23895 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27947] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27947/stat : 27947 (java) S 27926 27928 23895 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 808639574 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 0 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27948] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27948/stat : 27948 (java) S 27926 27928 23895 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 808639574 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27949] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27949/stat : 27949 (java) S 27926 27928 23895 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 808639574 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27950] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27950/stat : 27950 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808639576 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273440177 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27951] ppid=27926 vsize=13631304 CPUtime=0.51 cores=1,3,5,7
/proc/27928/task/27951/stat : 27951 (java) S 27926 27928 23895 0 -1 4202560 3026 0 0 0 51 0 0 0 15 0 19 0 808639576 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27952] ppid=27926 vsize=13631304 CPUtime=0.61 cores=1,3,5,7
/proc/27928/task/27952/stat : 27952 (java) S 27926 27928 23895 0 -1 4202560 5335 0 0 0 61 0 0 0 15 0 19 0 808639576 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27953] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27953/stat : 27953 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808639576 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27954] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27954/stat : 27954 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808639576 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=27928/tid=27956] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27956/stat : 27956 (java) S 27926 27928 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808639659 13958455296 104911 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 13631304
[startup+6.30108 s]
/proc/loadavg: 1.25 1.73 1.89 3/514 27956
/proc/meminfo: memFree=20918776/32951124 swapFree=67057928/67111528
[pid=27928] ppid=27926 vsize=13631304 CPUtime=7.47 cores=1,3,5,7
/proc/27928/stat : 27928 (java) S 27926 27928 23895 0 -1 4202496 107798 0 1 0 735 12 0 0 20 0 19 0 808639570 13958455296 105133 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27928/statm: 3407826 105133 2244 9 0 3398560 0
[pid=27928/tid=27929] ppid=27926 vsize=13631304 CPUtime=6.28 cores=1,3,5,7
/proc/27928/task/27929/stat : 27929 (java) R 27926 27928 23895 0 -1 4202560 98247 0 1 0 617 11 0 0 25 0 19 0 808639570 13958455296 105133 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 46912505790410 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27928/tid=27934] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27934/stat : 27934 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 808639572 13958455296 105133 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27935] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27935/stat : 27935 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 808639572 13958455296 105133 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27936] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27936/stat : 27936 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 808639572 13958455296 105133 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27937] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27937/stat : 27937 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 105133 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27938] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27938/stat : 27938 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 105133 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27939] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27939/stat : 27939 (java) S 27926 27928 23895 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 105133 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=27928/tid=27940] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27940/stat : 27940 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 105133 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27941] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27941/stat : 27941 (java) S 27926 27928 23895 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 808639572 13958455296 105133 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27947] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27947/stat : 27947 (java) S 27926 27928 23895 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 808639574 13958455296 105134 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 0 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27948] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27948/stat : 27948 (java) S 27926 27928 23895 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 808639574 13958455296 105134 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27949] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27949/stat : 27949 (java) S 27926 27928 23895 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 808639574 13958455296 105134 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27950] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27950/stat : 27950 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808639576 13958455296 105134 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273440177 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27951] ppid=27926 vsize=13631304 CPUtime=0.51 cores=1,3,5,7
/proc/27928/task/27951/stat : 27951 (java) S 27926 27928 23895 0 -1 4202560 3026 0 0 0 51 0 0 0 15 0 19 0 808639576 13958455296 105134 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27952] ppid=27926 vsize=13631304 CPUtime=0.65 cores=1,3,5,7
/proc/27928/task/27952/stat : 27952 (java) S 27926 27928 23895 0 -1 4202560 5361 0 0 0 65 0 0 0 15 0 19 0 808639576 13958455296 105134 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=27928/tid=27939] ppid=27926 vsize=13631304 CPUtime=0.04 cores=1,3,5,7
/proc/27928/task/27939/stat : 27939 (java) S 27926 27928 23895 0 -1 4202560 14 0 0 0 4 0 0 0 15 0 19 0 808639572 13958455296 143665 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27940] ppid=27926 vsize=13631304 CPUtime=0.07 cores=1,3,5,7
/proc/27928/task/27940/stat : 27940 (java) S 27926 27928 23895 0 -1 4202560 4305 0 0 0 7 0 0 0 15 0 19 0 808639572 13958455296 143665 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27941] ppid=27926 vsize=13631304 CPUtime=0.04 cores=1,3,5,7
/proc/27928/task/27941/stat : 27941 (java) S 27926 27928 23895 0 -1 4202560 2184 0 0 0 4 0 0 0 15 0 19 0 808639572 13958455296 143665 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27947] ppid=27926 vsize=13631304 CPUtime=4.1 cores=1,3,5,7
/proc/27928/task/27947/stat : 27947 (java) S 27926 27928 23895 0 -1 4202560 21136 0 0 0 407 3 0 0 15 0 19 0 808639574 13958455296 143665 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 0 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=27928/tid=27948] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27948/stat : 27948 (java) S 27926 27928 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808639574 13958455296 143665 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27949] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27949/stat : 27949 (java) S 27926 27928 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808639574 13958455296 143665 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27950] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27950/stat : 27950 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808639576 13958455296 143665 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273440177 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27951] ppid=27926 vsize=13631304 CPUtime=0.59 cores=1,3,5,7
/proc/27928/task/27951/stat : 27951 (java) S 27926 27928 23895 0 -1 4202560 3040 0 0 0 59 0 0 0 16 0 19 0 808639576 13958455296 143665 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27952] ppid=27926 vsize=13631304 CPUtime=0.73 cores=1,3,5,7
/proc/27928/task/27952/stat : 27952 (java) S 27926 27928 23895 0 -1 4202560 5372 0 0 0 73 0 0 0 15 0 19 0 808639576 13958455296 143665 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27953] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27953/stat : 27953 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808639576 13958455296 143665 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27954] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27954/stat : 27954 (java) S 27926 27928 23895 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 808639576 13958455296 143665 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27956] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27956/stat : 27956 (java) S 27926 27928 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808639659 13958455296 143665 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1723.99
Current children cumulated vsize (KiB) 13631304
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 1.97 3/514 28058
/proc/meminfo: memFree=20528916/32951124 swapFree=67057928/67111528
[pid=27928] ppid=27926 vsize=13631304 CPUtime=1784 cores=1,3,5,7
/proc/27928/stat : 27928 (java) S 27926 27928 23895 0 -1 4202496 146711 0 1 0 178381 19 0 0 20 0 19 0 808639570 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27928/statm: 3407826 143666 2269 9 0 3398560 0
[pid=27928/tid=27929] ppid=27926 vsize=13631304 CPUtime=1777.92 cores=1,3,5,7
/proc/27928/task/27929/stat : 27929 (java) R 27926 27928 23895 0 -1 4202560 98838 0 1 0 177780 12 0 0 25 0 19 0 808639570 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 46912506114668 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27928/tid=27934] ppid=27926 vsize=13631304 CPUtime=0.06 cores=1,3,5,7
/proc/27928/task/27934/stat : 27934 (java) S 27926 27928 23895 0 -1 4202560 4171 0 0 0 6 0 0 0 16 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27935] ppid=27926 vsize=13631304 CPUtime=0.07 cores=1,3,5,7
/proc/27928/task/27935/stat : 27935 (java) S 27926 27928 23895 0 -1 4202560 3644 0 0 0 7 0 0 0 16 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27936] ppid=27926 vsize=13631304 CPUtime=0.06 cores=1,3,5,7
/proc/27928/task/27936/stat : 27936 (java) S 27926 27928 23895 0 -1 4202560 1985 0 0 0 6 0 0 0 15 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27937] ppid=27926 vsize=13631304 CPUtime=0.04 cores=1,3,5,7
/proc/27928/task/27937/stat : 27937 (java) S 27926 27928 23895 0 -1 4202560 453 0 0 0 4 0 0 0 16 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27938] ppid=27926 vsize=13631304 CPUtime=0.03 cores=1,3,5,7
/proc/27928/task/27938/stat : 27938 (java) S 27926 27928 23895 0 -1 4202560 312 0 0 0 3 0 0 0 15 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27939] ppid=27926 vsize=13631304 CPUtime=0.04 cores=1,3,5,7
/proc/27928/task/27939/stat : 27939 (java) S 27926 27928 23895 0 -1 4202560 14 0 0 0 4 0 0 0 15 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27940] ppid=27926 vsize=13631304 CPUtime=0.08 cores=1,3,5,7
/proc/27928/task/27940/stat : 27940 (java) S 27926 27928 23895 0 -1 4202560 4306 0 0 0 8 0 0 0 16 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27941] ppid=27926 vsize=13631304 CPUtime=0.04 cores=1,3,5,7
/proc/27928/task/27941/stat : 27941 (java) S 27926 27928 23895 0 -1 4202560 2184 0 0 0 4 0 0 0 15 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27947] ppid=27926 vsize=13631304 CPUtime=4.23 cores=1,3,5,7
/proc/27928/task/27947/stat : 27947 (java) S 27926 27928 23895 0 -1 4202560 21138 0 0 0 420 3 0 0 15 0 19 0 808639574 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 0 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=27928/tid=27948] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27948/stat : 27948 (java) S 27926 27928 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808639574 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27949] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27949/stat : 27949 (java) S 27926 27928 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808639574 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27950] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27950/stat : 27950 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273440177 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27951] ppid=27926 vsize=13631304 CPUtime=0.59 cores=1,3,5,7
/proc/27928/task/27951/stat : 27951 (java) S 27926 27928 23895 0 -1 4202560 3040 0 0 0 59 0 0 0 16 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27952] ppid=27926 vsize=13631304 CPUtime=0.73 cores=1,3,5,7
/proc/27928/task/27952/stat : 27952 (java) S 27926 27928 23895 0 -1 4202560 5372 0 0 0 73 0 0 0 15 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27953] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27953/stat : 27953 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27954] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27954/stat : 27954 (java) S 27926 27928 23895 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27956] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27956/stat : 27956 (java) S 27926 27928 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808639659 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1784
Current children cumulated vsize (KiB) 13631304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/514 28059
/proc/meminfo: memFree=20529280/32951124 swapFree=67057928/67111528
[pid=27928] ppid=27926 vsize=13631304 CPUtime=1800.01 cores=1,3,5,7
/proc/27928/stat : 27928 (java) S 27926 27928 23895 0 -1 4202496 146713 0 1 0 179982 19 0 0 20 0 19 0 808639570 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27928/statm: 3407826 143666 2269 9 0 3398560 0
[pid=27928/tid=27929] ppid=27926 vsize=13631304 CPUtime=1793.94 cores=1,3,5,7
/proc/27928/task/27929/stat : 27929 (java) R 27926 27928 23895 0 -1 4202560 98838 0 1 0 179382 12 0 0 25 0 19 0 808639570 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 46912506017666 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27928/tid=27934] ppid=27926 vsize=13631304 CPUtime=0.06 cores=1,3,5,7
/proc/27928/task/27934/stat : 27934 (java) S 27926 27928 23895 0 -1 4202560 4171 0 0 0 6 0 0 0 16 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27935] ppid=27926 vsize=13631304 CPUtime=0.07 cores=1,3,5,7
/proc/27928/task/27935/stat : 27935 (java) S 27926 27928 23895 0 -1 4202560 3644 0 0 0 7 0 0 0 16 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27936] ppid=27926 vsize=13631304 CPUtime=0.06 cores=1,3,5,7
/proc/27928/task/27936/stat : 27936 (java) S 27926 27928 23895 0 -1 4202560 1985 0 0 0 6 0 0 0 15 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27937] ppid=27926 vsize=13631304 CPUtime=0.04 cores=1,3,5,7
/proc/27928/task/27937/stat : 27937 (java) S 27926 27928 23895 0 -1 4202560 453 0 0 0 4 0 0 0 16 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27938] ppid=27926 vsize=13631304 CPUtime=0.03 cores=1,3,5,7
/proc/27928/task/27938/stat : 27938 (java) S 27926 27928 23895 0 -1 4202560 312 0 0 0 3 0 0 0 15 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27939] ppid=27926 vsize=13631304 CPUtime=0.04 cores=1,3,5,7
/proc/27928/task/27939/stat : 27939 (java) S 27926 27928 23895 0 -1 4202560 14 0 0 0 4 0 0 0 15 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27940] ppid=27926 vsize=13631304 CPUtime=0.08 cores=1,3,5,7
/proc/27928/task/27940/stat : 27940 (java) S 27926 27928 23895 0 -1 4202560 4306 0 0 0 8 0 0 0 16 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27941] ppid=27926 vsize=13631304 CPUtime=0.04 cores=1,3,5,7
/proc/27928/task/27941/stat : 27941 (java) S 27926 27928 23895 0 -1 4202560 2184 0 0 0 4 0 0 0 15 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27947] ppid=27926 vsize=13631304 CPUtime=4.23 cores=1,3,5,7
/proc/27928/task/27947/stat : 27947 (java) S 27926 27928 23895 0 -1 4202560 21138 0 0 0 420 3 0 0 15 0 19 0 808639574 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 0 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=27928/tid=27948] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27948/stat : 27948 (java) S 27926 27928 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808639574 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27949] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27949/stat : 27949 (java) S 27926 27928 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808639574 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27950] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27950/stat : 27950 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273440177 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27951] ppid=27926 vsize=13631304 CPUtime=0.59 cores=1,3,5,7
/proc/27928/task/27951/stat : 27951 (java) S 27926 27928 23895 0 -1 4202560 3040 0 0 0 59 0 0 0 16 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27952] ppid=27926 vsize=13631304 CPUtime=0.73 cores=1,3,5,7
/proc/27928/task/27952/stat : 27952 (java) S 27926 27928 23895 0 -1 4202560 5372 0 0 0 73 0 0 0 15 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27953] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27953/stat : 27953 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27954] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27954/stat : 27954 (java) S 27926 27928 23895 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27956] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27956/stat : 27956 (java) S 27926 27928 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808639659 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13631304
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/514 28059
/proc/meminfo: memFree=20529280/32951124 swapFree=67057928/67111528
[pid=27928] ppid=27926 vsize=13631304 CPUtime=1800.01 cores=1,3,5,7
/proc/27928/stat : 27928 (java) S 27926 27928 23895 0 -1 4202496 146713 0 1 0 179982 19 0 0 20 0 19 0 808639570 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27928/statm: 3407826 143666 2269 9 0 3398560 0
[pid=27928/tid=27929] ppid=27926 vsize=13631304 CPUtime=1793.94 cores=1,3,5,7
/proc/27928/task/27929/stat : 27929 (java) R 27926 27928 23895 0 -1 4202560 98838 0 1 0 179382 12 0 0 25 0 19 0 808639570 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 46912506017666 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27928/tid=27934] ppid=27926 vsize=13631304 CPUtime=0.06 cores=1,3,5,7
/proc/27928/task/27934/stat : 27934 (java) S 27926 27928 23895 0 -1 4202560 4171 0 0 0 6 0 0 0 16 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27935] ppid=27926 vsize=13631304 CPUtime=0.07 cores=1,3,5,7
/proc/27928/task/27935/stat : 27935 (java) S 27926 27928 23895 0 -1 4202560 3644 0 0 0 7 0 0 0 16 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27936] ppid=27926 vsize=13631304 CPUtime=0.06 cores=1,3,5,7
/proc/27928/task/27936/stat : 27936 (java) S 27926 27928 23895 0 -1 4202560 1985 0 0 0 6 0 0 0 15 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27937] ppid=27926 vsize=13631304 CPUtime=0.04 cores=1,3,5,7
/proc/27928/task/27937/stat : 27937 (java) S 27926 27928 23895 0 -1 4202560 453 0 0 0 4 0 0 0 16 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27938] ppid=27926 vsize=13631304 CPUtime=0.03 cores=1,3,5,7
/proc/27928/task/27938/stat : 27938 (java) S 27926 27928 23895 0 -1 4202560 312 0 0 0 3 0 0 0 15 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27939] ppid=27926 vsize=13631304 CPUtime=0.04 cores=1,3,5,7
/proc/27928/task/27939/stat : 27939 (java) S 27926 27928 23895 0 -1 4202560 14 0 0 0 4 0 0 0 15 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27940] ppid=27926 vsize=13631304 CPUtime=0.08 cores=1,3,5,7
/proc/27928/task/27940/stat : 27940 (java) S 27926 27928 23895 0 -1 4202560 4306 0 0 0 8 0 0 0 16 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27941] ppid=27926 vsize=13631304 CPUtime=0.04 cores=1,3,5,7
/proc/27928/task/27941/stat : 27941 (java) S 27926 27928 23895 0 -1 4202560 2184 0 0 0 4 0 0 0 15 0 19 0 808639572 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27947] ppid=27926 vsize=13631304 CPUtime=4.23 cores=1,3,5,7
/proc/27928/task/27947/stat : 27947 (java) S 27926 27928 23895 0 -1 4202560 21138 0 0 0 420 3 0 0 15 0 19 0 808639574 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 0 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
[pid=27928/tid=27948] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27948/stat : 27948 (java) S 27926 27928 23895 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808639574 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27949] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27949/stat : 27949 (java) S 27926 27928 23895 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808639574 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 7 0 0 0
[pid=27928/tid=27950] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27950/stat : 27950 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273440177 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27951] ppid=27926 vsize=13631304 CPUtime=0.59 cores=1,3,5,7
/proc/27928/task/27951/stat : 27951 (java) S 27926 27928 23895 0 -1 4202560 3040 0 0 0 59 0 0 0 16 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27952] ppid=27926 vsize=13631304 CPUtime=0.73 cores=1,3,5,7
/proc/27928/task/27952/stat : 27952 (java) S 27926 27928 23895 0 -1 4202560 5372 0 0 0 73 0 0 0 15 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27953] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27953/stat : 27953 (java) S 27926 27928 23895 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273432473 0 4 0 16800975 18446604455809669248 0 0 -1 3 0 0 0
[pid=27928/tid=27954] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27954/stat : 27954 (java) S 27926 27928 23895 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 808639576 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 1 0 0 0
[pid=27928/tid=27956] ppid=27926 vsize=13631304 CPUtime=0 cores=1,3,5,7
/proc/27928/task/27956/stat : 27956 (java) S 27926 27928 23895 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808639659 13958455296 143666 33554432000 1073741824 1073778376 140736342336800 18446744073709551615 254273433088 0 4 0 16800975 18446604455809669248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13631304
Child status: 143
Real time (s): 1798.38
CPU time (s): 1800.13
CPU user time (s): 1799.91
CPU system time (s): 0.223965
CPU usage (%): 100.098
Max. virtual memory (cumulated for all children) (KiB): 13631672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.223965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146744
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37806
involuntary context switches= 5799
runsolver used 8.49071 second user time and 19.939 second system time
The end