runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4243929-1500677830/watcher-4243929-1500677830 -o /tmp/evaluation-result-4243929-1500677830/solver-4243929-1500677830 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500676772-14303 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243929-1500677830.xml
pid=15775
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.26 4.39 5.05 2/262 15778
/proc/meminfo: memFree=30934688/32770624 swapFree=5720/211204
[pid=15778] ppid=15775 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/stat : 15778 (java) S 15775 15778 14271 0 -1 1077944320 1710 0 0 0 0 0 0 0 20 0 2 0 3049355 369864704 1935 33554432000 4194304 4196468 140730242307456 140730242290000 140282273484535 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
/proc/15778/statm: 90299 1935 1081 1 0 79210 0
[pid=15778/tid=15779] ppid=15775 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15779/stat : 15779 (java) S 15775 15778 14271 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 3049356 369864704 1935 33554432000 4194304 4196468 140730242307456 140282277726624 140282273495682 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[startup+0.100128 s]
/proc/loadavg: 2.26 4.39 5.05 2/262 15778
/proc/meminfo: memFree=30934688/32770624 swapFree=5720/211204
[pid=15778] ppid=15775 vsize=10900556 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15778/stat : 15778 (java) S 15775 15778 14271 0 -1 1077944320 4797 0 0 0 9 1 0 0 20 0 20 0 3049355 11162169344 6375 33554432000 4194304 4196468 140730242307456 140730242290000 140282273484535 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
/proc/15778/statm: 2725139 6375 2635 1 0 2713552 0
[pid=15778/tid=15779] ppid=15775 vsize=10900556 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15779/stat : 15779 (java) R 15775 15778 14271 0 -1 4202560 2874 0 0 0 7 0 0 0 20 0 20 0 3049356 11162169344 6375 33554432000 4194304 4196468 140730242307456 140282277717744 140282259552665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556
[startup+0.200405 s]
/proc/loadavg: 2.26 4.39 5.05 2/262 15778
/proc/meminfo: memFree=30934688/32770624 swapFree=5720/211204
[pid=15778] ppid=15775 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15778/stat : 15778 (java) S 15775 15778 14271 0 -1 1077944320 7052 0 0 0 24 2 0 0 20 0 20 0 3049355 11162169344 8929 33554432000 4194304 4196468 140730242307456 140730242290000 140282273484535 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
/proc/15778/statm: 2725139 8929 2852 1 0 2713552 0
[pid=15778/tid=15779] ppid=15775 vsize=10900556 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15779/stat : 15779 (java) R 15775 15778 14271 0 -1 4202560 4700 0 0 0 16 1 0 0 20 0 20 0 3049356 11162169344 8929 33554432000 4194304 4196468 140730242307456 140282277699824 140282257565052 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300285 s]
/proc/loadavg: 2.26 4.39 5.05 2/262 15778
/proc/meminfo: memFree=30934688/32770624 swapFree=5720/211204
[pid=15778] ppid=15775 vsize=10900632 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/15778/stat : 15778 (java) S 15775 15778 14271 0 -1 1077944320 8508 0 0 0 40 3 0 0 20 0 20 0 3049355 11162247168 10799 33554432000 4194304 4196468 140730242307456 140730242290000 140282273484535 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
/proc/15778/statm: 2725158 10799 3004 1 0 2713552 0
[pid=15778/tid=15779] ppid=15775 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15779/stat : 15779 (java) R 15775 15778 14271 0 -1 4202560 5527 0 0 0 25 2 0 0 20 0 20 0 3049356 11162247168 10799 33554432000 4194304 4196468 140730242307456 140282277716672 140282273506461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10900632
[startup+0.700309 s]
/proc/loadavg: 2.26 4.39 5.05 2/262 15778
/proc/meminfo: memFree=30934688/32770624 swapFree=5720/211204
[pid=15778] ppid=15775 vsize=10900632 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/15778/stat : 15778 (java) S 15775 15778 14271 0 -1 1077944320 12970 0 0 0 150 5 0 0 20 0 20 0 3049355 11162247168 27998 33554432000 4194304 4196468 140730242307456 140730242290000 140282273484535 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
/proc/15778/statm: 2725158 27998 3077 1 0 2713552 0
[pid=15778/tid=15779] ppid=15775 vsize=10900632 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15779/stat : 15779 (java) R 15775 15778 14271 0 -1 4202560 5833 0 0 0 64 3 0 0 20 0 20 0 3049356 11162247168 27998 33554432000 4194304 4196468 140730242307456 140282277706216 140281905361425 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10900632
[startup+1.50076 s]
/proc/loadavg: 2.26 4.39 5.05 10/282 15798
/proc/meminfo: memFree=30639276/32770624 swapFree=5720/211220
[pid=15778] ppid=15775 vsize=10900632 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/15778/stat : 15778 (java) S 15775 15778 14271 0 -1 1077944320 14394 0 0 0 342 98 0 0 20 0 20 0 3049355 11162247168 122328 33554432000 4194304 4196468 140730242307456 140730242290000 140282273484535 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
/proc/15778/statm: 2725158 122328 3109 1 0 2713552 0
[pid=15778/tid=15779] ppid=15775 vsize=10900632 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15779/stat : 15779 (java) S 15775 15778 14271 0 -1 1077944384 5985 0 0 0 113 6 0 0 20 0 20 0 3049356 11162247168 122328 33554432000 4194304 4196468 140730242307456 140282277717456 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15781] ppid=15775 vsize=10900632 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15781/stat : 15781 (java) R 15775 15778 14271 0 -1 4202560 119 0 0 0 15 10 0 0 20 0 20 0 3049357 11162247168 122328 33554432000 4194304 4196468 140730242307456 140282226105432 140282266581236 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15782] ppid=15775 vsize=10900632 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15782/stat : 15782 (java) R 15775 15778 14271 0 -1 4202560 140 0 0 0 14 11 0 0 20 0 20 0 3049357 11162247168 122840 33554432000 4194304 4196468 140730242307456 140282225052632 140282258512409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15783] ppid=15775 vsize=10900632 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15783/stat : 15783 (java) R 15775 15778 14271 0 -1 4202560 134 0 0 0 16 10 0 0 20 0 20 0 3049357 11162247168 122840 33554432000 4194304 4196468 140730242307456 140282224000344 140282258512409 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15784] ppid=15775 vsize=10900632 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15784/stat : 15784 (java) R 15775 15778 14271 0 -1 4202560 145 0 0 0 15 11 0 0 20 0 20 0 3049357 11162247168 122840 33554432000 4194304 4196468 140730242307456 140282222947544 140282258512409 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15785] ppid=15775 vsize=10900632 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15785/stat : 15785 (java) R 15775 15778 14271 0 -1 4202560 128 0 0 0 13 10 0 0 20 0 20 0 3049357 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281876503128 140282258512409 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15786] ppid=15775 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15786/stat : 15786 (java) R 15775 15778 14271 0 -1 4202560 153 0 0 0 16 11 0 0 20 0 20 0 3049357 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281875450328 140282266581236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15787] ppid=15775 vsize=10900632 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15787/stat : 15787 (java) R 15775 15778 14271 0 -1 4202560 140 0 0 0 15 11 0 0 20 0 20 0 3049357 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281874398040 140282258512409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15788] ppid=15775 vsize=10900632 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15788/stat : 15788 (java) R 15775 15778 14271 0 -1 4202560 130 0 0 0 13 11 0 0 20 0 20 0 3049357 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281873344928 140282258511405 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15789] ppid=15775 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15789/stat : 15789 (java) S 15775 15778 14271 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3049359 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281748894880 140282273494741 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15790] ppid=15775 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15790/stat : 15790 (java) S 15775 15778 14271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3049360 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281747842336 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15791] ppid=15775 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15791/stat : 15791 (java) S 15775 15778 14271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3049360 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281746790000 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15792] ppid=15775 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15792/stat : 15792 (java) S 15775 15778 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3049363 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281745738320 140282273503131 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15793] ppid=15775 vsize=10900632 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15793/stat : 15793 (java) S 15775 15778 14271 0 -1 1077944384 1326 0 0 0 22 0 0 0 20 0 20 0 3049363 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281744685168 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15794] ppid=15775 vsize=10900632 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15794/stat : 15794 (java) S 15775 15778 14271 0 -1 1077944384 2381 0 0 0 42 0 0 0 20 0 20 0 3049363 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281743632368 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15795] ppid=15775 vsize=10900632 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15795/stat : 15795 (java) S 15775 15778 14271 0 -1 1077944384 1033 0 0 0 24 0 0 0 20 0 20 0 3049363 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281742580080 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15796] ppid=15775 vsize=10900632 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15796/stat : 15796 (java) S 15775 15778 14271 0 -1 1077944384 1131 0 0 0 18 0 0 0 20 0 20 0 3049363 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281741527280 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15797] ppid=15775 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15797/stat : 15797 (java) S 15775 15778 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3049364 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281740475232 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15798] ppid=15775 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15798/stat : 15798 (java) S 15775 15778 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3049364 11162247168 122840 33554432000 4194304 4196468 140730242307456 140281739422512 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 10900632
[startup+3.10197 s]
/proc/loadavg: 2.26 4.39 5.05 10/282 15798
/proc/meminfo: memFree=30328196/32770624 swapFree=5720/211248
[pid=15778] ppid=15775 vsize=10900632 CPUtime=12.53 cores=1,3,5,7,9,11,13,15
/proc/15778/stat : 15778 (java) S 15775 15778 14271 0 -1 1077944320 17043 0 0 0 1037 216 0 0 20 0 20 0 3049355 11162247168 191229 33554432000 4194304 4196468 140730242307456 140730242290000 140282273484535 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
/proc/15778/statm: 2725158 191229 3125 1 0 2713552 0
[pid=15778/tid=15779] ppid=15775 vsize=10900632 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15779/stat : 15779 (java) R 15775 15778 14271 0 -1 4202560 6115 0 0 0 147 6 0 0 20 0 20 0 3049356 11162247168 191229 33554432000 4194304 4196468 140730242307456 140282277721912 140281905489819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15781] ppid=15775 vsize=10900632 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15781/stat : 15781 (java) S 15775 15778 14271 0 -1 1077944384 291 0 0 0 93 24 0 0 20 0 20 0 3049357 11162247168 191229 33554432000 4194304 4196468 140730242307456 140282226105232 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15782] ppid=15775 vsize=10900632 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15782/stat : 15782 (java) S 15775 15778 14271 0 -1 1077944384 542 0 0 0 93 26 0 0 20 0 20 0 3049357 11162247168 191229 33554432000 4194304 4196468 140730242307456 140282225052432 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15783] ppid=15775 vsize=10900632 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15783/stat : 15783 (java) S 15775 15778 14271 0 -1 1077944384 375 0 0 0 95 24 0 0 20 0 20 0 3049357 11162247168 191229 33554432000 4194304 4196468 140730242307456 140282224000144 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15784] ppid=15775 vsize=10900632 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15784/stat : 15784 (java) S 15775 15778 14271 0 -1 1077944384 343 0 0 0 93 27 0 0 20 0 20 0 3049357 11162247168 191229 33554432000 4194304 4196468 140730242307456 140282222947344 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15785] ppid=15775 vsize=10900632 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15785/stat : 15785 (java) S 15775 15778 14271 0 -1 1077944384 297 0 0 0 92 25 0 0 20 0 20 0 3049357 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281876502928 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15786] ppid=15775 vsize=10900632 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15786/stat : 15786 (java) S 15775 15778 14271 0 -1 1077944384 662 0 0 0 95 25 0 0 20 0 20 0 3049357 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281875450128 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15787] ppid=15775 vsize=10900632 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15787/stat : 15787 (java) S 15775 15778 14271 0 -1 1077944384 313 0 0 0 94 26 0 0 20 0 20 0 3049357 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281874397840 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15788] ppid=15775 vsize=10900632 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15788/stat : 15788 (java) S 15775 15778 14271 0 -1 1077944384 341 0 0 0 90 25 0 0 20 0 20 0 3049357 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281873345040 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15789] ppid=15775 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15789/stat : 15789 (java) S 15775 15778 14271 0 -1 1077944384 495 0 0 0 32 0 0 0 20 0 20 0 3049359 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281748896368 140282273495682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15790] ppid=15775 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15790/stat : 15790 (java) S 15775 15778 14271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3049360 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281747842336 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15791] ppid=15775 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15791/stat : 15791 (java) S 15775 15778 14271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3049360 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281746790000 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15792] ppid=15775 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15792/stat : 15792 (java) S 15775 15778 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3049363 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281745738320 140282273503131 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15793] ppid=15775 vsize=10900632 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15793/stat : 15793 (java) S 15775 15778 14271 0 -1 1077944384 1326 0 0 0 22 0 0 0 20 0 20 0 3049363 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281744685168 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15794] ppid=15775 vsize=10900632 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15794/stat : 15794 (java) S 15775 15778 14271 0 -1 1077944384 2381 0 0 0 42 0 0 0 20 0 20 0 3049363 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281743632368 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15795] ppid=15775 vsize=10900632 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15795/stat : 15795 (java) S 15775 15778 14271 0 -1 1077944384 1033 0 0 0 24 0 0 0 20 0 20 0 3049363 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281742580080 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15796] ppid=15775 vsize=10900632 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15796/stat : 15796 (java) S 15775 15778 14271 0 -1 1077944384 1161 0 0 0 19 0 0 0 20 0 20 0 3049363 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281741527280 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15797] ppid=15775 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15797/stat : 15797 (java) S 15775 15778 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3049364 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281740475232 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15798] ppid=15775 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15798/stat : 15798 (java) S 15775 15778 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3049364 11162247168 191229 33554432000 4194304 4196468 140730242307456 140281739422512 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 10900632
[startup+6.30095 s]
/proc/loadavg: 2.24 4.35 5.03 3/283 15799
/proc/meminfo: memFree=30175240/32770624 swapFree=5720/211248
[pid=15778] ppid=15775 vsize=10967196 CPUtime=17.37 cores=1,3,5,7,9,11,13,15
/proc/15778/stat : 15778 (java) S 15775 15778 14271 0 -1 1077944320 23947 0 0 0 1520 217 0 0 20 0 21 0 3049355 11230408704 192346 33554432000 4194304 4196468 140730242307456 140730242290000 140282273484535 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
/proc/15778/statm: 2741799 192346 3152 1 0 2730193 0
[pid=15778/tid=15779] ppid=15775 vsize=10967196 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15779/stat : 15779 (java) R 15775 15778 14271 0 -1 4202560 6836 0 0 0 466 6 0 0 20 0 21 0 3049356 11230408704 192346 33554432000 4194304 4196468 140730242307456 140282277720792 140281906421573 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15781] ppid=15775 vsize=10967196 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15781/stat : 15781 (java) S 15775 15778 14271 0 -1 1077944384 291 0 0 0 93 24 0 0 20 0 21 0 3049357 11230408704 192346 33554432000 4194304 4196468 140730242307456 140282226105232 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15782] ppid=15775 vsize=10967196 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15782/stat : 15782 (java) S 15775 15778 14271 0 -1 1077944384 542 0 0 0 93 26 0 0 20 0 21 0 3049357 11230408704 192346 33554432000 4194304 4196468 140730242307456 140282225052432 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15783] ppid=15775 vsize=10967196 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15783/stat : 15783 (java) S 15775 15778 14271 0 -1 1077944384 375 0 0 0 95 24 0 0 20 0 21 0 3049357 11230408704 192346 33554432000 4194304 4196468 140730242307456 140282224000144 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15784] ppid=15775 vsize=10967196 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15784/stat : 15784 (java) S 15775 15778 14271 0 -1 1077944384 343 0 0 0 93 27 0 0 20 0 21 0 3049357 11230408704 192346 33554432000 4194304 4196468 140730242307456 140282222947344 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15785] ppid=15775 vsize=10967196 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15785/stat : 15785 (java) S 15775 15778 14271 0 -1 1077944384 297 0 0 0 92 25 0 0 20 0 21 0 3049357 11230408704 192346 33554432000 4194304 4196468 140730242307456 140281876502928 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15786] ppid=15775 vsize=10967196 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15786/stat : 15786 (java) S 15775 15778 14271 0 -1 1077944384 662 0 0 0 95 25 0 0 20 0 21 0 3049357 11230408704 192346 33554432000 4194304 4196468 140730242307456 140281875450128 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15787] ppid=15775 vsize=10967196 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15787/stat : 15787 (java) S 15775 15778 14271 0 -1 1077944384 313 0 0 0 94 26 0 0 20 0 21 0 3049357 11230408704 192346 33554432000 4194304 4196468 140730242307456 140281874397840 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15788] ppid=15775 vsize=10967196 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15788/stat : 15788 (java) S 15775 15778 14271 0 -1 1077944384 341 0 0 0 90 25 0 0 20 0 21 0 3049357 11230408704 192346 33554432000 4194304 4196468 140730242307456 140281873345040 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15789] ppid=15775 vsize=10967196 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15789/stat : 15789 (java) S 15775 15778 14271 0 -1 1077944384 733 0 0 0 32 0 0 0 20 0 21 0 3049359 11230408704 192346 33554432000 4194304 4196468 140730242307456 140281748896368 140282273495682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15790] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15790/stat : 15790 (java) S 15775 15778 14271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 3049360 11230408704 192346 33554432000 4194304 4196468 140730242307456 140281747842336 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15791] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15791/stat : 15791 (java) S 15775 15778 14271 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3049360 11230408704 192346 33554432000 4194304 4196468 140730242307456 140281746790000 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15792] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=15778/tid=15797] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15797/stat : 15797 (java) S 15775 15778 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3049364 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281740475232 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15798] ppid=15775 vsize=10967196 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15798/stat : 15798 (java) S 15775 15778 14271 0 -1 1077944384 2179 0 0 0 58 70 0 0 20 0 21 0 3049364 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281739422512 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15799] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15799/stat : 15799 (java) S 15775 15778 14271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3049670 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281738368560 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
Current children cumulated CPU time (s) 2300.55
Current children cumulated vsize (KiB) 10967196
[startup+2322.3 s]
/proc/loadavg: 2.07 2.04 2.29 3/283 15984
/proc/meminfo: memFree=29134164/32770624 swapFree=5720/213676
[pid=15778] ppid=15775 vsize=10967196 CPUtime=2360.56 cores=1,3,5,7,9,11,13,15
/proc/15778/stat : 15778 (java) S 15775 15778 14271 0 -1 1077944320 107604 0 0 0 235142 914 0 0 20 0 21 0 3049355 11230408704 552097 33554432000 4194304 4196468 140730242307456 140730242290000 140282273484535 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
/proc/15778/statm: 2741799 552097 3155 1 0 2730193 0
[pid=15778/tid=15779] ppid=15775 vsize=10967196 CPUtime=2314.96 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15779/stat : 15779 (java) R 15775 15778 14271 0 -1 4202560 58363 0 0 0 231481 15 0 0 20 0 21 0 3049356 11230408704 552097 33554432000 4194304 4196468 140730242307456 140282277723520 140281906229172 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15781] ppid=15775 vsize=10967196 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15781/stat : 15781 (java) S 15775 15778 14271 0 -1 1077944384 3322 0 0 0 393 99 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140282226105232 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15782] ppid=15775 vsize=10967196 CPUtime=4.96 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15782/stat : 15782 (java) S 15775 15778 14271 0 -1 1077944384 1816 0 0 0 395 101 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140282225052432 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15783] ppid=15775 vsize=10967196 CPUtime=5.07 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15783/stat : 15783 (java) S 15775 15778 14271 0 -1 1077944384 2143 0 0 0 403 104 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140282224000144 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15784] ppid=15775 vsize=10967196 CPUtime=5.04 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15784/stat : 15784 (java) S 15775 15778 14271 0 -1 1077944384 2963 0 0 0 399 105 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140282222947344 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15785] ppid=15775 vsize=10967196 CPUtime=5.04 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15785/stat : 15785 (java) S 15775 15778 14271 0 -1 1077944384 2518 0 0 0 405 99 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281876502928 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15786] ppid=15775 vsize=10967196 CPUtime=4.96 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15786/stat : 15786 (java) S 15775 15778 14271 0 -1 1077944384 1867 0 0 0 396 100 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281875450128 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15787] ppid=15775 vsize=10967196 CPUtime=5.05 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15787/stat : 15787 (java) S 15775 15778 14271 0 -1 1077944384 2223 0 0 0 399 106 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281874397840 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15788] ppid=15775 vsize=10967196 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15788/stat : 15788 (java) S 15775 15778 14271 0 -1 1077944384 1926 0 0 0 390 102 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281873345040 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15789] ppid=15775 vsize=10967196 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15789/stat : 15789 (java) S 15775 15778 14271 0 -1 1077944384 8140 0 0 0 122 4 0 0 20 0 21 0 3049359 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281748896368 140282273495682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15790] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15790/stat : 15790 (java) S 15775 15778 14271 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 21 0 3049360 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281747842400 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15791] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15791/stat : 15791 (java) S 15775 15778 14271 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 3049360 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281746790016 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15792] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15792/stat : 15792 (java) S 15775 15778 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3049363 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281745738320 140282273503131 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15793] ppid=15775 vsize=10967196 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15793/stat : 15793 (java) S 15775 15778 14271 0 -1 1077944384 4834 0 0 0 62 1 0 0 20 0 21 0 3049363 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281744685168 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15794] ppid=15775 vsize=10967196 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15794/stat : 15794 (java) S 15775 15778 14271 0 -1 1077944384 5835 0 0 0 122 1 0 0 20 0 21 0 3049363 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281743632368 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15795] ppid=15775 vsize=10967196 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15795/stat : 15795 (java) S 15775 15778 14271 0 -1 1077944384 4867 0 0 0 77 1 0 0 20 0 21 0 3049363 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281742580080 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15796] ppid=15775 vsize=10967196 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15796/stat : 15796 (java) S 15775 15778 14271 0 -1 1077944384 3163 0 0 0 29 1 0 0 20 0 21 0 3049363 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281741527280 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15797] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15797/stat : 15797 (java) S 15775 15778 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3049364 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281740475232 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15798] ppid=15775 vsize=10967196 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15798/stat : 15798 (java) S 15775 15778 14271 0 -1 1077944384 2212 0 0 0 59 72 0 0 20 0 21 0 3049364 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281739422512 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15799] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15799/stat : 15799 (java) S 15775 15778 14271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3049670 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281738368560 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
Current children cumulated CPU time (s) 2360.56
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2361.81 s]
/proc/loadavg: 2.10 2.05 2.28 3/283 15985
/proc/meminfo: memFree=29132232/32770624 swapFree=5720/213740
[pid=15778] ppid=15775 vsize=10967196 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/15778/stat : 15778 (java) S 15775 15778 14271 0 -1 1077944320 108709 0 0 0 239093 914 0 0 20 0 21 0 3049355 11230408704 552097 33554432000 4194304 4196468 140730242307456 140730242290000 140282273484535 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
/proc/15778/statm: 2741799 552097 3155 1 0 2730193 0
[pid=15778/tid=15779] ppid=15775 vsize=10967196 CPUtime=2354.44 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15779/stat : 15779 (java) R 15775 15778 14271 0 -1 4202560 59415 0 0 0 235429 15 0 0 20 0 21 0 3049356 11230408704 552097 33554432000 4194304 4196468 140730242307456 140282277723520 140281906421214 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15781] ppid=15775 vsize=10967196 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15781/stat : 15781 (java) S 15775 15778 14271 0 -1 1077944384 3322 0 0 0 393 99 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140282226105232 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15782] ppid=15775 vsize=10967196 CPUtime=4.96 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15782/stat : 15782 (java) S 15775 15778 14271 0 -1 1077944384 1816 0 0 0 395 101 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140282225052432 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15783] ppid=15775 vsize=10967196 CPUtime=5.07 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15783/stat : 15783 (java) S 15775 15778 14271 0 -1 1077944384 2143 0 0 0 403 104 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140282224000144 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15784] ppid=15775 vsize=10967196 CPUtime=5.04 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15784/stat : 15784 (java) S 15775 15778 14271 0 -1 1077944384 2963 0 0 0 399 105 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140282222947344 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15785] ppid=15775 vsize=10967196 CPUtime=5.04 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15785/stat : 15785 (java) S 15775 15778 14271 0 -1 1077944384 2518 0 0 0 405 99 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281876502928 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15786] ppid=15775 vsize=10967196 CPUtime=4.96 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15786/stat : 15786 (java) S 15775 15778 14271 0 -1 1077944384 1867 0 0 0 396 100 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281875450128 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15787] ppid=15775 vsize=10967196 CPUtime=5.05 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15787/stat : 15787 (java) S 15775 15778 14271 0 -1 1077944384 2223 0 0 0 399 106 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281874397840 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15788] ppid=15775 vsize=10967196 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15788/stat : 15788 (java) S 15775 15778 14271 0 -1 1077944384 1926 0 0 0 390 102 0 0 20 0 21 0 3049357 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281873345040 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15789] ppid=15775 vsize=10967196 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15789/stat : 15789 (java) S 15775 15778 14271 0 -1 1077944384 8146 0 0 0 122 4 0 0 20 0 21 0 3049359 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281748896368 140282273495682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15790] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15790/stat : 15790 (java) S 15775 15778 14271 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 21 0 3049360 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281747842400 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15791] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15791/stat : 15791 (java) S 15775 15778 14271 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 3049360 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281746790016 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15792] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15792/stat : 15792 (java) S 15775 15778 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3049363 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281745738320 140282273503131 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15793] ppid=15775 vsize=10967196 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15793/stat : 15793 (java) S 15775 15778 14271 0 -1 1077944384 4842 0 0 0 62 1 0 0 20 0 21 0 3049363 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281744685168 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15794] ppid=15775 vsize=10967196 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15794/stat : 15794 (java) S 15775 15778 14271 0 -1 1077944384 5837 0 0 0 122 1 0 0 20 0 21 0 3049363 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281743632368 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15795] ppid=15775 vsize=10967196 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15795/stat : 15795 (java) S 15775 15778 14271 0 -1 1077944384 4869 0 0 0 77 1 0 0 20 0 21 0 3049363 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281742580080 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15796] ppid=15775 vsize=10967196 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15796/stat : 15796 (java) S 15775 15778 14271 0 -1 1077944384 3165 0 0 0 29 1 0 0 20 0 21 0 3049363 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281741527280 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15797] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15797/stat : 15797 (java) S 15775 15778 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3049364 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281740475232 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15798] ppid=15775 vsize=10967196 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15798/stat : 15798 (java) S 15775 15778 14271 0 -1 1077944384 2245 0 0 0 60 73 0 0 20 0 21 0 3049364 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281739422512 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15799] ppid=15775 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15799/stat : 15799 (java) S 15775 15778 14271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3049670 11230408704 552097 33554432000 4194304 4196468 140730242307456 140281738368560 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10967196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15778 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2362 s]
/proc/loadavg: 2.10 2.05 2.28 3/283 15985
/proc/meminfo: memFree=29132232/32770624 swapFree=5720/213740
[pid=15778] ppid=15775 vsize=11166888 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15
/proc/15778/stat : 15778 (java) S 15775 15778 14271 0 -1 1077944320 109197 0 0 0 239095 915 0 0 20 0 22 0 3049355 11434893312 552162 33554432000 4194304 4196468 140730242307456 140730242290000 140282273484535 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
/proc/15778/statm: 2791722 552162 3157 1 0 2780116 0
[pid=15778/tid=15779] ppid=15775 vsize=11166888 CPUtime=2354.46 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15779/stat : 15779 (java) S 15775 15778 14271 0 -1 1077944384 59447 0 0 0 235431 15 0 0 20 0 22 0 3049356 11434893312 552162 33554432000 4194304 4196468 140730242307456 140282277727408 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15781] ppid=15775 vsize=11166888 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15781/stat : 15781 (java) S 15775 15778 14271 0 -1 1077944384 3322 0 0 0 393 99 0 0 20 0 22 0 3049357 11434893312 552162 33554432000 4194304 4196468 140730242307456 140282226105232 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15782] ppid=15775 vsize=11166888 CPUtime=4.96 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15782/stat : 15782 (java) S 15775 15778 14271 0 -1 1077944384 1816 0 0 0 395 101 0 0 20 0 22 0 3049357 11434893312 552162 33554432000 4194304 4196468 140730242307456 140282225052432 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15783] ppid=15775 vsize=11166888 CPUtime=5.07 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15783/stat : 15783 (java) S 15775 15778 14271 0 -1 1077944384 2143 0 0 0 403 104 0 0 20 0 22 0 3049357 11434893312 552162 33554432000 4194304 4196468 140730242307456 140282224000144 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15784] ppid=15775 vsize=11166888 CPUtime=5.04 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15784/stat : 15784 (java) S 15775 15778 14271 0 -1 1077944384 2963 0 0 0 399 105 0 0 20 0 22 0 3049357 11434893312 552162 33554432000 4194304 4196468 140730242307456 140282222947344 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15785] ppid=15775 vsize=11166888 CPUtime=5.04 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15785/stat : 15785 (java) S 15775 15778 14271 0 -1 1077944384 2518 0 0 0 405 99 0 0 20 0 22 0 3049357 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281876502928 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15786] ppid=15775 vsize=11166888 CPUtime=4.96 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15786/stat : 15786 (java) S 15775 15778 14271 0 -1 1077944384 1867 0 0 0 396 100 0 0 20 0 22 0 3049357 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281875450128 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15787] ppid=15775 vsize=11166888 CPUtime=5.05 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15787/stat : 15787 (java) S 15775 15778 14271 0 -1 1077944384 2223 0 0 0 399 106 0 0 20 0 22 0 3049357 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281874397840 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15788] ppid=15775 vsize=11166888 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15788/stat : 15788 (java) S 15775 15778 14271 0 -1 1077944384 1926 0 0 0 390 102 0 0 20 0 22 0 3049357 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281873345040 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15789] ppid=15775 vsize=11166888 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15789/stat : 15789 (java) S 15775 15778 14271 0 -1 1077944384 8146 0 0 0 122 4 0 0 20 0 22 0 3049359 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281748896368 140282273495682 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15790] ppid=15775 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15790/stat : 15790 (java) S 15775 15778 14271 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 22 0 3049360 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281747842400 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15791] ppid=15775 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15791/stat : 15791 (java) S 15775 15778 14271 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 22 0 3049360 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281746790016 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15792] ppid=15775 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15792/stat : 15792 (java) S 15775 15778 14271 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 22 0 3049363 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281745738320 140282273503131 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15793] ppid=15775 vsize=11166888 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15793/stat : 15793 (java) S 15775 15778 14271 0 -1 1077944384 4842 0 0 0 62 1 0 0 20 0 22 0 3049363 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281744685168 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15794] ppid=15775 vsize=11166888 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15794/stat : 15794 (java) S 15775 15778 14271 0 -1 1077944384 5837 0 0 0 122 1 0 0 20 0 22 0 3049363 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281743632368 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15795] ppid=15775 vsize=11166888 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15795/stat : 15795 (java) S 15775 15778 14271 0 -1 1077944384 4869 0 0 0 77 1 0 0 20 0 22 0 3049363 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281742580080 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15796] ppid=15775 vsize=11166888 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15796/stat : 15796 (java) S 15775 15778 14271 0 -1 1077944384 3327 0 0 0 29 1 0 0 20 0 22 0 3049363 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281741527280 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15797] ppid=15775 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15797/stat : 15797 (java) S 15775 15778 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3049364 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281740475232 140282273494741 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
[pid=15778/tid=15798] ppid=15775 vsize=11166888 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/15778/task/15798/stat : 15798 (java) S 15775 15778 14271 0 -1 1077944384 2245 0 0 0 60 73 0 0 20 0 22 0 3049364 11434893312 552162 33554432000 4194304 4196468 140730242307456 140281739422512 140282273495682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38068224 140730242311339 140730242311492 140730242311492 140730242314191 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2362.08
CPU time (s): 2400.17
CPU user time (s): 2391
CPU system time (s): 9.16366
CPU usage (%): 101.613
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391
system time used= 9.16366
maximum resident set size= 2209052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109840
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54912
involuntary context switches= 122337
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3935 second user time and 18.2541 second system time
The end