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-3478946-1307439842/watcher-3478946-1307439842 -o /tmp/evaluation-result-3478946-1307439842/solver-3478946-1307439842 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478946-1307439842.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.62 3.79 3.71 3/482 15623
/proc/meminfo: memFree=22523512/32951124 swapFree=41830676/67111528
[pid=15623] ppid=15621 vsize=86844 CPUtime=0 cores=0,2,4,6
/proc/15623/stat : 15623 (java) S 15621 15623 15115 0 -1 4202496 1390 0 1 0 0 0 0 0 25 0 2 0 855582165 88928256 1091 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/15623/statm: 21711 1107 854 9 0 12867 0
[pid=15623/tid=15624] ppid=15621 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15624/stat : 15624 (java) R 15621 15623 15115 0 -1 4202560 4385 0 1 0 0 0 0 0 25 0 2 0 855582166 10694979584 5201 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.062877 s]
/proc/loadavg: 3.62 3.79 3.71 3/482 15623
/proc/meminfo: memFree=22523512/32951124 swapFree=41830676/67111528
[pid=15623] ppid=15621 vsize=10472784 CPUtime=0.05 cores=0,2,4,6
/proc/15623/stat : 15623 (java) S 15621 15623 15115 0 -1 4202496 11637 0 1 0 4 1 0 0 25 0 18 0 855582165 10724130816 11333 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15623/statm: 2618196 11333 1730 9 0 2608937 0
[pid=15623/tid=15624] ppid=15621 vsize=10472784 CPUtime=0.05 cores=0,2,4,6
/proc/15623/task/15624/stat : 15624 (java) R 15621 15623 15115 0 -1 4202560 10461 0 1 0 4 1 0 0 25 0 18 0 855582166 10724130816 11333 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 47179453138518 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472784
[startup+0.10691 s]
/proc/loadavg: 3.62 3.79 3.71 3/482 15623
/proc/meminfo: memFree=22523512/32951124 swapFree=41830676/67111528
[pid=15623] ppid=15621 vsize=10540348 CPUtime=0.1 cores=0,2,4,6
/proc/15623/stat : 15623 (java) S 15621 15623 15115 0 -1 4202496 13177 0 1 0 9 1 0 0 25 0 18 0 855582165 10793316352 12842 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15623/statm: 2635087 12842 2093 9 0 2625821 0
[pid=15623/tid=15624] ppid=15621 vsize=10540348 CPUtime=0.08 cores=0,2,4,6
/proc/15623/task/15624/stat : 15624 (java) R 15621 15623 15115 0 -1 4202560 11237 0 1 0 7 1 0 0 18 0 18 0 855582166 10793316352 12842 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540348
[startup+0.300862 s]
/proc/loadavg: 3.62 3.79 3.71 3/482 15623
/proc/meminfo: memFree=22523512/32951124 swapFree=41830676/67111528
[pid=15623] ppid=15621 vsize=10542452 CPUtime=0.48 cores=0,2,4,6
/proc/15623/stat : 15623 (java) S 15621 15623 15115 0 -1 4202496 16253 0 1 0 46 2 0 0 25 0 18 0 855582165 10795470848 15791 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15623/statm: 2635613 15792 2200 9 0 2626347 0
[pid=15623/tid=15624] ppid=15621 vsize=10542452 CPUtime=0.28 cores=0,2,4,6
/proc/15623/task/15624/stat : 15624 (java) R 15621 15623 15115 0 -1 4202560 13480 0 1 0 26 2 0 0 18 0 18 0 855582166 10795470848 15793 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 46912505610874 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542452
[startup+0.700819 s]
/proc/loadavg: 3.62 3.79 3.71 3/482 15623
/proc/meminfo: memFree=22523512/32951124 swapFree=41830676/67111528
[pid=15623] ppid=15621 vsize=10546836 CPUtime=1.26 cores=0,2,4,6
/proc/15623/stat : 15623 (java) S 15621 15623 15115 0 -1 4202496 54091 0 1 0 118 8 0 0 25 0 18 0 855582165 10799960064 52455 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15623/statm: 2636709 52461 2216 9 0 2627443 0
[pid=15623/tid=15624] ppid=15621 vsize=10546836 CPUtime=0.68 cores=0,2,4,6
/proc/15623/task/15624/stat : 15624 (java) R 15621 15623 15115 0 -1 4202560 48185 0 1 0 61 7 0 0 18 0 18 0 855582166 10799960064 52475 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 47179454540627 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 10546836
[startup+1.50069 s]
/proc/loadavg: 3.62 3.79 3.71 4/500 15641
/proc/meminfo: memFree=22175672/32951124 swapFree=41830676/67111528
[pid=15623] ppid=15621 vsize=10546836 CPUtime=2.13 cores=0,2,4,6
/proc/15623/stat : 15623 (java) S 15621 15623 15115 0 -1 4202496 151991 0 1 0 193 20 0 0 25 0 18 0 855582165 10799960064 150355 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15623/statm: 2636709 150360 2216 9 0 2627443 0
[pid=15623/tid=15624] ppid=15621 vsize=10546836 CPUtime=1.48 cores=0,2,4,6
/proc/15623/task/15624/stat : 15624 (java) R 15621 15623 15115 0 -1 4202560 146038 0 1 0 129 19 0 0 19 0 18 0 855582166 10799960064 150363 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15623/tid=15626] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15626/stat : 15626 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855582167 10799960064 150366 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15627] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15627/stat : 15627 (java) S 15621 15623 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855582167 10799960064 150369 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15628] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15628/stat : 15628 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855582167 10799960064 150372 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15629] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15629/stat : 15629 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855582167 10799960064 150375 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15630] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15630/stat : 15630 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855582167 10799960064 150377 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15631] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15631/stat : 15631 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855582167 10799960064 150380 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15632] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15632/stat : 15632 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855582167 10799960064 150383 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15633] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15633/stat : 15633 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855582167 10799960064 150386 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15634] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15634/stat : 15634 (java) S 15621 15623 15115 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855582168 10799960064 150389 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 0 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15635] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15635/stat : 15635 (java) S 15621 15623 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855582169 10799960064 150392 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15636] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15636/stat : 15636 (java) S 15621 15623 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855582169 10799960064 150395 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15637] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15637/stat : 15637 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855582171 10799960064 150398 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134537649 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15638] ppid=15621 vsize=10546836 CPUtime=0.31 cores=0,2,4,6
/proc/15623/task/15638/stat : 15638 (java) S 15621 15623 15115 0 -1 4202560 2081 0 0 0 31 0 0 0 16 0 18 0 855582171 10799960064 150401 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15639] ppid=15621 vsize=10546836 CPUtime=0.31 cores=0,2,4,6
/proc/15623/task/15639/stat : 15639 (java) S 15621 15623 15115 0 -1 4202560 2727 0 0 0 31 0 0 0 18 0 18 0 855582171 10799960064 150404 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
[pid=15623/tid=15640] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15640/stat : 15640 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855582171 10799960064 150407 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15641] ppid=15621 vsize=10546836 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15641/stat : 15641 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855582171 10799960064 150410 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 10546836
[startup+3.10132 s]
/proc/loadavg: 3.62 3.79 3.71 4/500 15641
/proc/meminfo: memFree=21626228/32951124 swapFree=41830676/67111528
[pid=15623] ppid=15621 vsize=10550948 CPUtime=4.8 cores=0,2,4,6
/proc/15623/stat : 15623 (java) S 15621 15623 15115 0 -1 4202496 307810 0 1 0 441 39 0 0 25 0 22 0 855582165 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15623/statm: 2637737 306171 2239 9 0 2628471 0
[pid=15623/tid=15624] ppid=15621 vsize=10550948 CPUtime=2.5 cores=0,2,4,6
/proc/15623/task/15624/stat : 15624 (java) S 15621 15623 15115 0 -1 4202560 272515 0 1 0 216 34 0 0 17 0 22 0 855582166 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15626] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15626/stat : 15626 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582167 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15627] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15627/stat : 15627 (java) S 15621 15623 15115 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 855582167 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15628] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15628/stat : 15628 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582167 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15629] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15629/stat : 15629 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582167 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15630] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15630/stat : 15630 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582167 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15631] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15631/stat : 15631 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582167 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15632] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15632/stat : 15632 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582167 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15633] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15633/stat : 15633 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582167 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15634] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15634/stat : 15634 (java) S 15621 15623 15115 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 855582168 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 0 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15635] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15635/stat : 15635 (java) S 15621 15623 15115 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 855582169 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15636] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15636/stat : 15636 (java) S 15621 15623 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855582169 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15637] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15637/stat : 15637 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582171 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134537649 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15638] ppid=15621 vsize=10550948 CPUtime=0.57 cores=0,2,4,6
/proc/15623/task/15638/stat : 15638 (java) S 15621 15623 15115 0 -1 4202560 2155 0 0 0 57 0 0 0 15 0 22 0 855582171 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15639] ppid=15621 vsize=10550948 CPUtime=0.56 cores=0,2,4,6
/proc/15623/task/15639/stat : 15639 (java) S 15621 15623 15115 0 -1 4202560 2767 0 0 0 56 0 0 0 15 0 22 0 855582171 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15640] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15640/stat : 15640 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582171 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15641] ppid=15621 vsize=10550948 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15641/stat : 15641 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855582171 10804170752 306171 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 10550948
[startup+6.30074 s]
/proc/loadavg: 3.65 3.79 3.71 5/504 15645
/proc/meminfo: memFree=20550840/32951124 swapFree=41830676/67111528
[pid=15623] ppid=15621 vsize=10552808 CPUtime=11.48 cores=0,2,4,6
/proc/15623/stat : 15623 (java) S 15621 15623 15115 0 -1 4202496 568132 0 1 0 1081 67 0 0 25 0 22 0 855582165 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15623/statm: 2638202 563652 2266 9 0 2628936 0
[pid=15623/tid=15624] ppid=15621 vsize=10552808 CPUtime=2.5 cores=0,2,4,6
/proc/15623/task/15624/stat : 15624 (java) S 15621 15623 15115 0 -1 4202560 272515 0 1 0 216 34 0 0 15 0 22 0 855582166 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15626] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15626/stat : 15626 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 855582167 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
[pid=15623/tid=15627] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15627/stat : 15627 (java) S 15621 15623 15115 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 22 0 855582167 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
[pid=15623/tid=15628] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15628/stat : 15628 (java) S 15621 15623 15115 0 -1 4202560 686 0 0 0 0 0 0 0 18 0 22 0 855582167 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
[pid=15623/tid=15629] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15629/stat : 15629 (java) S 15621 15623 15115 0 -1 4202560 657 0 0 0 0 0 0 0 18 0 22 0 855582167 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15630] ppid=15621 vsize=10552808 CPUtime=0.07 cores=0,2,4,6
/proc/15623/task/15630/stat : 15630 (java) S 15621 15623 15115 0 -1 4202560 5288 0 0 0 7 0 0 0 18 0 22 0 855582167 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15631] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15631/stat : 15631 (java) S 15621 15623 15115 0 -1 4202560 149 0 0 0 0 0 0 0 18 0 22 0 855582167 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
[pid=15623/tid=15632] ppid=15621 vsize=10552808 CPUtime=0.08 cores=0,2,4,6
/proc/15623/task/15632/stat : 15632 (java) S 15621 15623 15115 0 -1 4202560 5732 0 0 0 8 0 0 0 18 0 22 0 855582167 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
[pid=15623/tid=15633] ppid=15621 vsize=10552808 CPUtime=0.08 cores=0,2,4,6
/proc/15623/task/15633/stat : 15633 (java) S 15621 15623 15115 0 -1 4202560 5172 0 0 0 8 0 0 0 18 0 22 0 855582167 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15634] ppid=15621 vsize=10552808 CPUtime=0.27 cores=0,2,4,6
/proc/15623/task/15634/stat : 15634 (java) S 15621 15623 15115 0 -1 4202560 20865 0 0 0 25 2 0 0 16 0 22 0 855582168 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 0 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
[pid=15623/tid=15635] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15635/stat : 15635 (java) S 15621 15623 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855582169 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15636] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15636/stat : 15636 (java) S 15621 15623 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855582169 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15637] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15637/stat : 15637 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582171 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134537649 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15638] ppid=15621 vsize=10552808 CPUtime=0.78 cores=0,2,4,6
/proc/15623/task/15638/stat : 15638 (java) S 15621 15623 15115 0 -1 4202560 3193 0 0 0 78 0 0 0 15 0 22 0 855582171 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15639] ppid=15621 vsize=10552808 CPUtime=0.85 cores=0,2,4,6
/proc/15623/task/15639/stat : 15639 (java) S 15621 15623 15115 0 -1 4202560 5930 0 0 0 84 1 0 0 15 0 22 0 855582171 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15640] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15640/stat : 15640 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582171 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15641] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15641/stat : 15641 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 855582171 10806075392 563652 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/15623/task/15628/stat : 15628 (java) S 15621 15623 15115 0 -1 4202560 2701 0 0 0 45 0 0 0 15 0 22 0 855582167 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15629] ppid=15621 vsize=10552808 CPUtime=0.49 cores=0,2,4,6
/proc/15623/task/15629/stat : 15629 (java) S 15621 15623 15115 0 -1 4202560 4459 0 0 0 49 0 0 0 16 0 22 0 855582167 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15630] ppid=15621 vsize=10552808 CPUtime=0.59 cores=0,2,4,6
/proc/15623/task/15630/stat : 15630 (java) S 15621 15623 15115 0 -1 4202560 7154 0 0 0 59 0 0 0 15 0 22 0 855582167 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15631] ppid=15621 vsize=10552808 CPUtime=0.44 cores=0,2,4,6
/proc/15623/task/15631/stat : 15631 (java) S 15621 15623 15115 0 -1 4202560 4125 0 0 0 44 0 0 0 15 0 22 0 855582167 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15632] ppid=15621 vsize=10552808 CPUtime=0.5 cores=0,2,4,6
/proc/15623/task/15632/stat : 15632 (java) S 15621 15623 15115 0 -1 4202560 9308 0 0 0 49 1 0 0 15 0 22 0 855582167 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15633] ppid=15621 vsize=10552808 CPUtime=0.64 cores=0,2,4,6
/proc/15623/task/15633/stat : 15633 (java) S 15621 15623 15115 0 -1 4202560 7343 0 0 0 64 0 0 0 15 0 22 0 855582167 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15634] ppid=15621 vsize=10552808 CPUtime=18.38 cores=0,2,4,6
/proc/15623/task/15634/stat : 15634 (java) S 15621 15623 15115 0 -1 4202560 41341 0 0 0 1832 6 0 0 15 0 22 0 855582168 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 0 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
[pid=15623/tid=15635] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15635/stat : 15635 (java) S 15621 15623 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855582169 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15636] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15636/stat : 15636 (java) S 15621 15623 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855582169 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15637] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15637/stat : 15637 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582171 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134537649 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15638] ppid=15621 vsize=10552808 CPUtime=0.95 cores=0,2,4,6
/proc/15623/task/15638/stat : 15638 (java) S 15621 15623 15115 0 -1 4202560 3217 0 0 0 95 0 0 0 15 0 22 0 855582171 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15639] ppid=15621 vsize=10552808 CPUtime=1.12 cores=0,2,4,6
/proc/15623/task/15639/stat : 15639 (java) S 15621 15623 15115 0 -1 4202560 7828 0 0 0 111 1 0 0 15 0 22 0 855582171 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15640] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15640/stat : 15640 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582171 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15641] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15641/stat : 15641 (java) S 15621 15623 15115 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 855582171 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15642] ppid=15621 vsize=10552808 CPUtime=799.99 cores=0,2,4,6
/proc/15623/task/15642/stat : 15642 (java) R 15621 15623 15115 0 -1 4202560 2027 0 0 0 79997 2 0 0 25 0 22 0 855582418 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 46912505925574 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15623/tid=15643] ppid=15621 vsize=10552808 CPUtime=799.99 cores=0,2,4,6
/proc/15623/task/15643/stat : 15643 (java) R 15621 15623 15115 0 -1 4202560 561587 0 0 0 79937 62 0 0 25 0 22 0 855582418 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 46912505931894 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15623/tid=15644] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15644/stat : 15644 (java) S 15621 15623 15115 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 855582420 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
[pid=15623/tid=15645] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15645/stat : 15645 (java) S 15621 15623 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855582420 10806075392 924728 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1627.27
Current children cumulated vsize (KiB) 10552808
[startup+882.301 s]
/proc/loadavg: 3.91 3.89 3.81 5/504 15719
/proc/meminfo: memFree=22374108/32951124 swapFree=41830676/67111528
[pid=15623] ppid=15621 vsize=10552808 CPUtime=1746.95 cores=0,2,4,6
/proc/15623/stat : 15623 (java) S 15621 15623 15115 0 -1 4202496 934934 0 1 0 174580 115 0 0 25 0 22 0 855582165 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15623/statm: 2638202 927618 2268 9 0 2628936 0
[pid=15623/tid=15624] ppid=15621 vsize=10552808 CPUtime=2.5 cores=0,2,4,6
/proc/15623/task/15624/stat : 15624 (java) S 15621 15623 15115 0 -1 4202560 272540 0 1 0 216 34 0 0 15 0 22 0 855582166 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15626] ppid=15621 vsize=10552808 CPUtime=0.56 cores=0,2,4,6
/proc/15623/task/15626/stat : 15626 (java) S 15621 15623 15115 0 -1 4202560 3804 0 0 0 56 0 0 0 16 0 22 0 855582167 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15627] ppid=15621 vsize=10552808 CPUtime=0.58 cores=0,2,4,6
/proc/15623/task/15627/stat : 15627 (java) S 15621 15623 15115 0 -1 4202560 5151 0 0 0 58 0 0 0 15 0 22 0 855582167 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15628] ppid=15621 vsize=10552808 CPUtime=0.49 cores=0,2,4,6
/proc/15623/task/15628/stat : 15628 (java) S 15621 15623 15115 0 -1 4202560 2852 0 0 0 49 0 0 0 15 0 22 0 855582167 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15629] ppid=15621 vsize=10552808 CPUtime=0.53 cores=0,2,4,6
/proc/15623/task/15629/stat : 15629 (java) S 15621 15623 15115 0 -1 4202560 4840 0 0 0 53 0 0 0 16 0 22 0 855582167 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15630] ppid=15621 vsize=10552808 CPUtime=0.61 cores=0,2,4,6
/proc/15623/task/15630/stat : 15630 (java) S 15621 15623 15115 0 -1 4202560 7444 0 0 0 61 0 0 0 16 0 22 0 855582167 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15631] ppid=15621 vsize=10552808 CPUtime=0.48 cores=0,2,4,6
/proc/15623/task/15631/stat : 15631 (java) S 15621 15623 15115 0 -1 4202560 4218 0 0 0 48 0 0 0 15 0 22 0 855582167 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15632] ppid=15621 vsize=10552808 CPUtime=0.51 cores=0,2,4,6
/proc/15623/task/15632/stat : 15632 (java) S 15621 15623 15115 0 -1 4202560 9381 0 0 0 50 1 0 0 15 0 22 0 855582167 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15633] ppid=15621 vsize=10552808 CPUtime=0.69 cores=0,2,4,6
/proc/15623/task/15633/stat : 15633 (java) S 15621 15623 15115 0 -1 4202560 7343 0 0 0 69 0 0 0 15 0 22 0 855582167 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15634] ppid=15621 vsize=10552808 CPUtime=18.76 cores=0,2,4,6
/proc/15623/task/15634/stat : 15634 (java) S 15621 15623 15115 0 -1 4202560 41489 0 0 0 1870 6 0 0 15 0 22 0 855582168 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 0 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
[pid=15623/tid=15635] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15635/stat : 15635 (java) S 15621 15623 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855582169 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15636] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15636/stat : 15636 (java) S 15621 15623 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855582169 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15637] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15637/stat : 15637 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582171 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134537649 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15638] ppid=15621 vsize=10552808 CPUtime=0.95 cores=0,2,4,6
/proc/15623/task/15638/stat : 15638 (java) S 15621 15623 15115 0 -1 4202560 3217 0 0 0 95 0 0 0 15 0 22 0 855582171 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15639] ppid=15621 vsize=10552808 CPUtime=1.12 cores=0,2,4,6
/proc/15623/task/15639/stat : 15639 (java) S 15621 15623 15115 0 -1 4202560 7828 0 0 0 111 1 0 0 15 0 22 0 855582171 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15640] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15640/stat : 15640 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582171 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15641] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15641/stat : 15641 (java) S 15621 15623 15115 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 855582171 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15642] ppid=15621 vsize=10552808 CPUtime=859.51 cores=0,2,4,6
/proc/15623/task/15642/stat : 15642 (java) R 15621 15623 15115 0 -1 4202560 2028 0 0 0 85949 2 0 0 25 0 22 0 855582418 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 46912505908946 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15623/tid=15643] ppid=15621 vsize=10552808 CPUtime=859.51 cores=0,2,4,6
/proc/15623/task/15643/stat : 15643 (java) R 15621 15623 15115 0 -1 4202560 561591 0 0 0 85889 62 0 0 25 0 22 0 855582418 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 46912505826585 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15623/tid=15644] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15644/stat : 15644 (java) S 15621 15623 15115 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 855582420 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
[pid=15623/tid=15645] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15645/stat : 15645 (java) S 15621 15623 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855582420 10806075392 927618 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1746.95
Current children cumulated vsize (KiB) 10552808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+908.901 s]
/proc/loadavg: 3.94 3.90 3.81 5/504 15720
/proc/meminfo: memFree=21888868/32951124 swapFree=41830676/67111528
[pid=15623] ppid=15621 vsize=10552808 CPUtime=1800.19 cores=0,2,4,6
/proc/15623/stat : 15623 (java) S 15621 15623 15115 0 -1 4202496 935682 0 1 0 179904 115 0 0 25 0 22 0 855582165 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15623/statm: 2638202 928356 2268 9 0 2628936 0
[pid=15623/tid=15624] ppid=15621 vsize=10552808 CPUtime=2.5 cores=0,2,4,6
/proc/15623/task/15624/stat : 15624 (java) S 15621 15623 15115 0 -1 4202560 272540 0 1 0 216 34 0 0 15 0 22 0 855582166 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15626] ppid=15621 vsize=10552808 CPUtime=0.56 cores=0,2,4,6
/proc/15623/task/15626/stat : 15626 (java) S 15621 15623 15115 0 -1 4202560 3875 0 0 0 56 0 0 0 16 0 22 0 855582167 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15627] ppid=15621 vsize=10552808 CPUtime=0.58 cores=0,2,4,6
/proc/15623/task/15627/stat : 15627 (java) S 15621 15623 15115 0 -1 4202560 5151 0 0 0 58 0 0 0 15 0 22 0 855582167 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15628] ppid=15621 vsize=10552808 CPUtime=0.5 cores=0,2,4,6
/proc/15623/task/15628/stat : 15628 (java) S 15621 15623 15115 0 -1 4202560 3174 0 0 0 50 0 0 0 16 0 22 0 855582167 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15629] ppid=15621 vsize=10552808 CPUtime=0.53 cores=0,2,4,6
/proc/15623/task/15629/stat : 15629 (java) S 15621 15623 15115 0 -1 4202560 4840 0 0 0 53 0 0 0 15 0 22 0 855582167 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15630] ppid=15621 vsize=10552808 CPUtime=0.61 cores=0,2,4,6
/proc/15623/task/15630/stat : 15630 (java) S 15621 15623 15115 0 -1 4202560 7444 0 0 0 61 0 0 0 15 0 22 0 855582167 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15631] ppid=15621 vsize=10552808 CPUtime=0.49 cores=0,2,4,6
/proc/15623/task/15631/stat : 15631 (java) S 15621 15623 15115 0 -1 4202560 4350 0 0 0 49 0 0 0 16 0 22 0 855582167 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15632] ppid=15621 vsize=10552808 CPUtime=0.53 cores=0,2,4,6
/proc/15623/task/15632/stat : 15632 (java) S 15621 15623 15115 0 -1 4202560 9553 0 0 0 52 1 0 0 16 0 22 0 855582167 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15633] ppid=15621 vsize=10552808 CPUtime=0.69 cores=0,2,4,6
/proc/15623/task/15633/stat : 15633 (java) S 15621 15623 15115 0 -1 4202560 7389 0 0 0 69 0 0 0 16 0 22 0 855582167 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15634] ppid=15621 vsize=10552808 CPUtime=18.76 cores=0,2,4,6
/proc/15623/task/15634/stat : 15634 (java) S 15621 15623 15115 0 -1 4202560 41491 0 0 0 1870 6 0 0 15 0 22 0 855582168 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 0 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
[pid=15623/tid=15635] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15635/stat : 15635 (java) S 15621 15623 15115 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855582169 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15636] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15636/stat : 15636 (java) S 15621 15623 15115 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855582169 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15637] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15637/stat : 15637 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582171 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134537649 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15638] ppid=15621 vsize=10552808 CPUtime=0.95 cores=0,2,4,6
/proc/15623/task/15638/stat : 15638 (java) S 15621 15623 15115 0 -1 4202560 3217 0 0 0 95 0 0 0 15 0 22 0 855582171 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15639] ppid=15621 vsize=10552808 CPUtime=1.12 cores=0,2,4,6
/proc/15623/task/15639/stat : 15639 (java) S 15621 15623 15115 0 -1 4202560 7828 0 0 0 111 1 0 0 15 0 22 0 855582171 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 4 0 0 0
[pid=15623/tid=15640] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15640/stat : 15640 (java) S 15621 15623 15115 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855582171 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134529945 0 4 0 16800975 18446604442832886656 0 0 -1 6 0 0 0
[pid=15623/tid=15641] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15641/stat : 15641 (java) S 15621 15623 15115 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 855582171 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 2 0 0 0
[pid=15623/tid=15642] ppid=15621 vsize=10552808 CPUtime=886.11 cores=0,2,4,6
/proc/15623/task/15642/stat : 15642 (java) R 15621 15623 15115 0 -1 4202560 2028 0 0 0 88609 2 0 0 25 0 22 0 855582418 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 46912505908768 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15623/tid=15643] ppid=15621 vsize=10552808 CPUtime=886.11 cores=0,2,4,6
/proc/15623/task/15643/stat : 15643 (java) R 15621 15623 15115 0 -1 4202560 561592 0 0 0 88549 62 0 0 25 0 22 0 855582418 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 46912505932232 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15623/tid=15644] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15644/stat : 15644 (java) S 15621 15623 15115 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 855582420 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
[pid=15623/tid=15645] ppid=15621 vsize=10552808 CPUtime=0 cores=0,2,4,6
/proc/15623/task/15645/stat : 15645 (java) S 15621 15623 15115 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 855582420 10806075392 928356 33554432000 1073741824 1073778376 140737451810672 18446744073709551615 228134530560 0 4 0 16800975 18446604442832886656 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 10552808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+909.024 s]
/proc/loadavg: 3.94 3.90 3.81 5/504 15720
/proc/meminfo: memFree=21888868/32951124 swapFree=41830676/67111528
[pid=15623] ppid=15621 vsize=0 CPUtime=1800.37 cores=0,2,4,6
/proc/15623/stat : 15623 (java) Z 15621 15623 15115 0 -1 4203548 935713 0 1 0 179917 120 0 0 17 0 2 0 855582165 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15623/statm: 0 0 0 0 0 0 0
[pid=15623/tid=15645] ppid=15621 vsize=0 CPUtime=0.05 cores=0,2,4,6
/proc/15623/task/15645/stat : 15645 (java) R 15621 15623 15115 0 -1 4203588 7 0 0 0 0 5 0 0 18 0 2 0 855582420 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0
[startup+909.101 s]
/proc/loadavg: 3.94 3.90 3.81 5/504 15720
/proc/meminfo: memFree=21888868/32951124 swapFree=41830676/67111528
[pid=15623] ppid=15621 vsize=0 CPUtime=1800.45 cores=0,2,4,6
/proc/15623/stat : 15623 (java) Z 15621 15623 15115 0 -1 4203548 935713 0 1 0 179917 128 0 0 17 0 2 0 855582165 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15623/statm: 0 0 0 0 0 0 0
[pid=15623/tid=15645] ppid=15621 vsize=0 CPUtime=0.12 cores=0,2,4,6
/proc/15623/task/15645/stat : 15645 (java) R 15621 15623 15115 0 -1 4203588 7 0 0 0 0 12 0 0 18 0 2 0 855582420 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 909.125
CPU time (s): 1800.49
CPU user time (s): 1799.18
CPU system time (s): 1.3088
CPU usage (%): 198.046
Max. virtual memory (cumulated for all children) (KiB): 10552808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 1.3088
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 935713
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= 24050
involuntary context switches= 27734
runsolver used 4.54031 second user time and 9.55055 second system time
The end