runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14948 MiB free)
memory of node 1: 16384 MiB (14829 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396637-1568407897/watcher-4396637-1568407897 -o /tmp/evaluation-result-4396637-1568407897/solver-4396637-1568407897 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568396747-1256 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=818939329 HOME/instance-4396637-1568407897.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4145, runsolver pid=4142
Current StackSize limit: 8192 KiB
[startup+0.10017 s]*
/proc/loadavg: 1.67 1.38 1.42 3/219 4202
/proc/meminfo: memFree=30483336/32770624 swapFree=66940916/67108860
[pid=4145] ppid=4142 vsize=9972712 memory=17076 CPUtime=0.1 cores=0,2,4,6
/proc/4145/stat : 4145 (java) S 4142 4145 1225 0 -1 1077944320 4522 13030 0 0 1 1 5 3 20 0 6 0 417028373 10212057088 4269 33554432000 4194304 4196468 140729640914768 140729640897312 140414735994615 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
/proc/4145/statm: 2493178 4269 1935 1 0 2481616 0
[pid=4145/tid=4198] ppid=4142 vsize=9972712 memory=-8530506832973971393 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4198/stat : 4198 (java) R 4142 4145 1225 0 -1 4202560 2351 13030 0 0 0 0 5 3 20 0 6 0 417028382 10212057088 4335 33554432000 4194304 4196468 140729640914768 140414707831376 140414721024848 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4199] ppid=4142 vsize=9977852 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4199/stat : 4199 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 6 0 417028383 10217320448 4335 33554432000 4194304 4196468 140729640914768 140414740237328 140414736004821 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4200] ppid=4142 vsize=9983652 memory=140538238723712 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4200/stat : 4200 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 6 0 417028383 10223259648 4335 33554432000 4194304 4196468 140729640914768 140414308838544 140414736004821 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4201] ppid=4142 vsize=9988792 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4201/stat : 4201 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 6 0 417028383 10228523008 4335 33554432000 4194304 4196468 140729640914768 140414307785488 140414736004821 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4202] ppid=4142 vsize=9988792 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4202/stat : 4202 (java) S 4142 4145 1225 0 -1 1077944384 2 13030 0 0 0 0 5 3 20 0 6 0 417028383 10228523008 4335 33554432000 4194304 4196468 140729640914768 140414306732944 140414736004821 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210025 s]*
/proc/loadavg: 1.69 1.39 1.42 3/228 4211
/proc/meminfo: memFree=30464992/32770624 swapFree=66940916/67108860
[pid=4145] ppid=4142 vsize=10819664 memory=39236 CPUtime=0.26 cores=0,2,4,6
/proc/4145/stat : 4145 (java) S 4142 4145 1225 0 -1 1077944320 7159 13030 0 0 16 2 5 3 20 0 15 0 417028373 11079335936 9809 33554432000 4194304 4196468 140729640914768 140729640897312 140414735994615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
/proc/4145/statm: 2704916 9809 3162 1 0 2667149 0
[pid=4145/tid=4198] ppid=4142 vsize=10819664 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4145/task/4198/stat : 4198 (java) R 4142 4145 1225 0 -1 4202560 3646 13030 0 0 11 1 5 3 20 0 15 0 417028382 11079335936 10321 33554432000 4194304 4196468 140729640914768 140414707819040 140414736016541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4199] ppid=4142 vsize=10819664 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4199/stat : 4199 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028383 11079335936 10321 33554432000 4194304 4196468 140729640914768 140414740237328 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4200] ppid=4142 vsize=10819664 memory=140538238734154 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4200/stat : 4200 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028383 11079335936 10321 33554432000 4194304 4196468 140729640914768 140414308838544 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4201] ppid=4142 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4201/stat : 4201 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028383 11079335936 10321 33554432000 4194304 4196468 140729640914768 140414307785488 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4202] ppid=4142 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4202/stat : 4202 (java) S 4142 4145 1225 0 -1 1077944384 2 13030 0 0 0 0 5 3 20 0 15 0 417028383 11079335936 10321 33554432000 4194304 4196468 140729640914768 140414306732944 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4203] ppid=4142 vsize=10819664 memory=140538238723712 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4203/stat : 4203 (java) S 4142 4145 1225 0 -1 1077944384 2 13030 0 0 0 0 5 3 20 0 15 0 417028384 11079335936 10321 33554432000 4194304 4196468 140729640914768 140414195341552 140414736005762 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4204] ppid=4142 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4204/stat : 4204 (java) S 4142 4145 1225 0 -1 1077944384 33 13030 0 0 0 0 5 3 20 0 15 0 417028384 11079335936 10321 33554432000 4194304 4196468 140729640914768 140414194287776 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4205] ppid=4142 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4205/stat : 4205 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028385 11079335936 10321 33554432000 4194304 4196468 140729640914768 140413620970224 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4206] ppid=4142 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4206/stat : 4206 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028387 11079335936 10321 33554432000 4194304 4196468 140729640914768 140413313570768 140414736013211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4207] ppid=4142 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4145/task/4207/stat : 4207 (java) S 4142 4145 1225 0 -1 1077944384 473 13030 0 0 1 0 5 3 20 0 15 0 417028387 11079335936 10321 33554432000 4194304 4196468 140729640914768 140414160730864 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4208] ppid=4142 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4208/stat : 4208 (java) S 4142 4145 1225 0 -1 1077944384 182 13030 0 0 0 0 5 3 20 0 15 0 417028387 11079335936 10321 33554432000 4194304 4196468 140729640914768 140414159678320 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4209] ppid=4142 vsize=10819664 memory=140538238723712 CPUtime=0.11 cores=0,2,4,6
/proc/4145/task/4209/stat : 4209 (java) R 4142 4145 1225 0 -1 4202560 614 13030 0 0 3 0 5 3 20 0 15 0 417028387 11079335936 10385 33554432000 4194304 4196468 140729640914768 140413835930096 140414715130275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4210] ppid=4142 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4210/stat : 4210 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028388 11079335936 10385 33554432000 4194304 4196468 140729640914768 140413280013152 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4211] ppid=4142 vsize=10819664 memory=140538238723712 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4211/stat : 4211 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028388 11079335936 10385 33554432000 4194304 4196468 140729640914768 140413834877488 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39236 KiB
[startup+0.310333 s]*
/proc/loadavg: 1.69 1.39 1.42 3/228 4211
/proc/meminfo: memFree=30451304/32770624 swapFree=66940916/67108860
[pid=4145] ppid=4142 vsize=10820148 memory=50348 CPUtime=0.4 cores=0,2,4,6
/proc/4145/stat : 4145 (java) S 4142 4145 1225 0 -1 1077944320 10851 13030 0 0 28 4 5 3 20 0 15 0 417028373 11079831552 12587 33554432000 4194304 4196468 140729640914768 140729640897312 140414735994615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
/proc/4145/statm: 2705037 12587 3294 1 0 2667149 0
[pid=4145/tid=4198] ppid=4142 vsize=10820148 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/4145/task/4198/stat : 4198 (java) R 4142 4145 1225 0 -1 4202560 7312 13030 0 0 19 3 5 3 20 0 15 0 417028382 11079831552 12587 33554432000 4194304 4196468 140729640914768 140414707794528 140414736016541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4199] ppid=4142 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4199/stat : 4199 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028383 11079831552 12587 33554432000 4194304 4196468 140729640914768 140414740237328 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4200] ppid=4142 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4200/stat : 4200 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028383 11079831552 12587 33554432000 4194304 4196468 140729640914768 140414308838544 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4201] ppid=4142 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4201/stat : 4201 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028383 11079831552 12587 33554432000 4194304 4196468 140729640914768 140414307785488 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4202] ppid=4142 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4202/stat : 4202 (java) S 4142 4145 1225 0 -1 1077944384 2 13030 0 0 0 0 5 3 20 0 15 0 417028383 11079831552 12587 33554432000 4194304 4196468 140729640914768 140414306732944 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4203] ppid=4142 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4203/stat : 4203 (java) S 4142 4145 1225 0 -1 1077944384 2 13030 0 0 0 0 5 3 20 0 15 0 417028384 11079831552 12587 33554432000 4194304 4196468 140729640914768 140414195341552 140414736005762 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4204] ppid=4142 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4204/stat : 4204 (java) S 4142 4145 1225 0 -1 1077944384 33 13030 0 0 0 0 5 3 20 0 15 0 417028384 11079831552 12587 33554432000 4194304 4196468 140729640914768 140414194287776 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4205] ppid=4142 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4205/stat : 4205 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028385 11079831552 12587 33554432000 4194304 4196468 140729640914768 140413620970224 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4206] ppid=4142 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4206/stat : 4206 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028387 11079831552 12587 33554432000 4194304 4196468 140729640914768 140413313570768 140414736013211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4207] ppid=4142 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4145/task/4207/stat : 4207 (java) S 4142 4145 1225 0 -1 1077944384 473 13030 0 0 1 0 5 3 20 0 15 0 417028387 11079831552 12587 33554432000 4194304 4196468 140729640914768 140414160730864 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4208] ppid=4142 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/4145/task/4208/stat : 4208 (java) S 4142 4145 1225 0 -1 1077944384 192 13030 0 0 1 0 5 3 20 0 15 0 417028387 11079831552 12587 33554432000 4194304 4196468 140729640914768 140414159678320 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4209] ppid=4142 vsize=10820148 memory=140538238723712 CPUtime=0.13 cores=0,2,4,6
/proc/4145/task/4209/stat : 4209 (java) R 4142 4145 1225 0 -1 4202560 624 13030 0 0 5 0 5 3 20 0 15 0 417028387 11079831552 12587 33554432000 4194304 4196468 140729640914768 140413835930096 140414714546609 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4210] ppid=4142 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4210/stat : 4210 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028388 11079831552 12587 33554432000 4194304 4196468 140729640914768 140413280013152 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4211] ppid=4142 vsize=10820148 memory=140538238723712 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4211/stat : 4211 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028388 11079831552 12587 33554432000 4194304 4196468 140729640914768 140413834877488 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50348 KiB
[startup+0.703069 s]
/proc/loadavg: 1.69 1.39 1.42 4/228 4211
/proc/meminfo: memFree=30437648/32770624 swapFree=66940916/67108860
[pid=4145] ppid=4142 vsize=10824360 memory=83504 CPUtime=1.12 cores=0,2,4,6
/proc/4145/stat : 4145 (java) S 4142 4145 1225 0 -1 1077944320 15131 13030 0 0 98 6 5 3 20 0 15 0 417028373 11084144640 20876 33554432000 4194304 4196468 140729640914768 140729640897312 140414735994615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
/proc/4145/statm: 2706090 20876 3508 1 0 2668173 0
[pid=4145/tid=4198] ppid=4142 vsize=10824360 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/4145/task/4198/stat : 4198 (java) R 4142 4145 1225 0 -1 4202560 10343 13030 0 0 55 5 5 3 20 0 15 0 417028382 11084144640 20876 33554432000 4194304 4196468 140729640914768 140414707821776 140414308982521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4199] ppid=4142 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4199/stat : 4199 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028383 11084144640 20876 33554432000 4194304 4196468 140729640914768 140414740237328 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4200] ppid=4142 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4200/stat : 4200 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028383 11084144640 20876 33554432000 4194304 4196468 140729640914768 140414308838544 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4201] ppid=4142 vsize=10824360 memory=140538108064528 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4201/stat : 4201 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028383 11084144640 20876 33554432000 4194304 4196468 140729640914768 140414307785488 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4202] ppid=4142 vsize=10824360 memory=140539919860301 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4202/stat : 4202 (java) S 4142 4145 1225 0 -1 1077944384 2 13030 0 0 0 0 5 3 20 0 15 0 417028383 11084144640 20876 33554432000 4194304 4196468 140729640914768 140414306732944 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4203] ppid=4142 vsize=10824360 memory=624 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4203/stat : 4203 (java) S 4142 4145 1225 0 -1 1077944384 5 13030 0 0 0 0 5 3 20 0 15 0 417028384 11084144640 20876 33554432000 4194304 4196468 140729640914768 140414195341552 140414736005762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4204] ppid=4142 vsize=10824360 memory=6297835844906604903 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4204/stat : 4204 (java) S 4142 4145 1225 0 -1 1077944384 33 13030 0 0 0 0 5 3 20 0 15 0 417028384 11084144640 20876 33554432000 4194304 4196468 140729640914768 140414194287776 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4205] ppid=4142 vsize=10824360 memory=7380108234216663121 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4205/stat : 4205 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028385 11084144640 20876 33554432000 4194304 4196468 140729640914768 140413620970224 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4206] ppid=4142 vsize=10824360 memory=14012 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4206/stat : 4206 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028387 11084144640 20876 33554432000 4194304 4196468 140729640914768 140413313570768 140414736013211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4207] ppid=4142 vsize=10824360 memory=2112 CPUtime=0.17 cores=0,2,4,6
/proc/4145/task/4207/stat : 4207 (java) S 4142 4145 1225 0 -1 1077944384 945 13030 0 0 9 0 5 3 20 0 15 0 417028387 11084144640 20876 33554432000 4194304 4196468 140729640914768 140414160730864 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4208] ppid=4142 vsize=10824360 memory=12040 CPUtime=0.24 cores=0,2,4,6
/proc/4145/task/4208/stat : 4208 (java) R 4142 4145 1225 0 -1 4202560 743 13030 0 0 16 0 5 3 20 0 15 0 417028387 11084144640 20876 33554432000 4194304 4196468 140729640914768 140414159664864 140414715240439 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4209] ppid=4142 vsize=10824360 memory=23716 CPUtime=0.25 cores=0,2,4,6
/proc/4145/task/4209/stat : 4209 (java) R 4142 4145 1225 0 -1 4202560 844 13030 0 0 17 0 5 3 20 0 15 0 417028387 11084144640 20876 33554432000 4194304 4196468 140729640914768 140413835930096 140414721127587 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4210] ppid=4142 vsize=10824360 memory=1556 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4210/stat : 4210 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028388 11084144640 20876 33554432000 4194304 4196468 140729640914768 140413280013152 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4211] ppid=4142 vsize=10824360 memory=532 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4211/stat : 4211 (java) S 4142 4145 1225 0 -1 1077944384 1 13030 0 0 0 0 5 3 20 0 15 0 417028388 11084144640 20876 33554432000 4194304 4196468 140729640914768 140413834877488 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83504 KiB
[startup+1.50078 s]
/proc/loadavg: 1.69 1.39 1.42 5/228 4211
/proc/meminfo: memFree=30376208/32770624 swapFree=66940916/67108860
[pid=4145] ppid=4142 vsize=10832628 memory=230980 CPUtime=3.37 cores=0,2,4,6
/proc/4145/stat : 4145 (java) S 4142 4145 1225 0 -1 1077944320 24955 13030 0 0 318 11 5 3 20 0 15 0 417028373 11092611072 57745 33554432000 4194304 4196468 140729640914768 140729640897312 140414735994615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
/proc/4145/statm: 2708157 57745 3584 1 0 2670221 0
[pid=4145/tid=4198] ppid=4142 vsize=10832628 memory=67140 CPUtime=1.43 cores=0,2,4,6
/proc/4145/task/4198/stat : 4198 (java) R 4142 4145 1225 0 -1 4202560 14923 13030 0 0 128 7 5 3 20 0 15 0 417028382 11092611072 57745 33554432000 4194304 4196468 140729640914768 140414707825712 140414714439416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4199] ppid=4142 vsize=10832628 memory=8112282956445269571 CPUtime=0.09 cores=0,2,4,6
/proc/4145/task/4199/stat : 4199 (java) S 4142 4145 1225 0 -1 1077944384 42 13030 0 0 1 0 5 3 20 0 15 0 417028383 11092611072 57745 33554432000 4194304 4196468 140729640914768 140414740237328 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4200] ppid=4142 vsize=10832628 memory=281076216160416 CPUtime=0.09 cores=0,2,4,6
/proc/4145/task/4200/stat : 4200 (java) S 4142 4145 1225 0 -1 1077944384 14 13030 0 0 1 0 5 3 20 0 15 0 417028383 11092611072 57745 33554432000 4194304 4196468 140729640914768 140414308838544 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4201] ppid=4142 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4145/task/4201/stat : 4201 (java) S 4142 4145 1225 0 -1 1077944384 228 13030 0 0 1 0 5 3 20 0 15 0 417028383 11092611072 57745 33554432000 4194304 4196468 140729640914768 140414307785488 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4202] ppid=4142 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4145/task/4202/stat : 4202 (java) S 4142 4145 1225 0 -1 1077944384 91 13030 0 0 1 0 5 3 20 0 15 0 417028383 11092611072 57745 33554432000 4194304 4196468 140729640914768 140414306732944 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4203] ppid=4142 vsize=10832628 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4145/task/4203/stat : 4203 (java) S 4142 4145 1225 0 -1 1077944384 930 13030 0 0 1 0 5 3 20 0 15 0 417028384 11092611072 57745 33554432000 4194304 4196468 140729640914768 140414195341552 140414736005762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4204] ppid=4142 vsize=10832628 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4204/stat : 4204 (java) S 4142 4145 1225 0 -1 1077944384 33 13030 0 0 0 0 5 3 20 0 15 0 417028384 11092611072 57745 33554432000 4194304 4196468 140729640914768 140414194287840 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4205] ppid=4142 vsize=10832628 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4205/stat : 4205 (java) S 4142 4145 1225 0 -1 1077944384 2 13030 0 0 0 0 5 3 20 0 15 0 417028385 11092611072 57745 33554432000 4194304 4196468 140729640914768 140413620970240 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4206] ppid=4142 vsize=10832628 memory=-2245088631185882904 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4206/stat : 4206 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028387 11092611072 57745 33554432000 4194304 4196468 140729640914768 140413313570768 140414736013211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4207] ppid=4142 vsize=10832628 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/4145/task/4207/stat : 4207 (java) R 4142 4145 1225 0 -1 1077944384 2931 13030 0 0 68 0 5 3 20 0 15 0 417028387 11092611072 57745 33554432000 4194304 4196468 140729640914768 140414160730864 140414736005762 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4208] ppid=4142 vsize=10832628 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/4145/task/4208/stat : 4208 (java) S 4142 4145 1225 0 -1 1077944384 2050 13030 0 0 68 0 5 3 20 0 15 0 417028387 11092611072 57745 33554432000 4194304 4196468 140729640914768 140414159678320 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4209] ppid=4142 vsize=10832628 memory=8112282956445269571 CPUtime=0.5 cores=0,2,4,6
/proc/4145/task/4209/stat : 4209 (java) R 4142 4145 1225 0 -1 4202560 1498 13030 0 0 42 0 5 3 20 0 15 0 417028387 11092611072 57745 33554432000 4194304 4196468 140729640914768 140413835930096 140414720242947 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4210] ppid=4142 vsize=10832628 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4210/stat : 4210 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028388 11092611072 57745 33554432000 4194304 4196468 140729640914768 140413280013152 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4211] ppid=4142 vsize=10832628 memory=281076216404864 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4211/stat : 4211 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028388 11092611072 57745 33554432000 4194304 4196468 140729640914768 140413834877488 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
Current children cumulated CPU time: 3.37 s
Current children cumulated vsize: 10832628 KiB
################
# More data... #
################
/proc/4145/task/4198/stat : 4198 (java) R 4142 4145 1225 0 -1 4202560 75688 13030 0 0 225311 43 5 3 20 0 15 0 417028382 11107311616 272322 33554432000 4194304 4196468 140729640914768 140414707830720 140414311640571 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4199] ppid=4142 vsize=10846984 memory=1091340 CPUtime=4.3 cores=0,2,4,6
/proc/4145/task/4199/stat : 4199 (java) S 4142 4145 1225 0 -1 1077944384 10898 13030 0 0 403 19 5 3 20 0 15 0 417028383 11107311616 272322 33554432000 4194304 4196468 140729640914768 140414740237328 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4200] ppid=4142 vsize=10846984 memory=1093392 CPUtime=4.27 cores=0,2,4,6
/proc/4145/task/4200/stat : 4200 (java) S 4142 4145 1225 0 -1 1077944384 16127 13030 0 0 400 19 5 3 20 0 15 0 417028383 11107311616 272322 33554432000 4194304 4196468 140729640914768 140414308838544 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4201] ppid=4142 vsize=10846984 memory=1092364 CPUtime=4.29 cores=0,2,4,6
/proc/4145/task/4201/stat : 4201 (java) S 4142 4145 1225 0 -1 1077944384 8806 13030 0 0 400 21 5 3 20 0 15 0 417028383 11107311616 272322 33554432000 4194304 4196468 140729640914768 140414307785488 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4202] ppid=4142 vsize=10846984 memory=281076217285568 CPUtime=4.27 cores=0,2,4,6
/proc/4145/task/4202/stat : 4202 (java) S 4142 4145 1225 0 -1 1077944384 15942 13030 0 0 397 22 5 3 20 0 15 0 417028383 11107311616 272322 33554432000 4194304 4196468 140729640914768 140414306732944 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4203] ppid=4142 vsize=10846984 memory=1091340 CPUtime=3.02 cores=0,2,4,6
/proc/4145/task/4203/stat : 4203 (java) S 4142 4145 1225 0 -1 1077944384 15637 13030 0 0 270 24 5 3 20 0 15 0 417028384 11107311616 272322 33554432000 4194304 4196468 140729640914768 140414195341552 140414736005762 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4204] ppid=4142 vsize=10846984 memory=1090312 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4204/stat : 4204 (java) S 4142 4145 1225 0 -1 1077944384 90 13030 0 0 0 0 5 3 20 0 15 0 417028384 11107311616 272322 33554432000 4194304 4196468 140729640914768 140414194287840 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4205] ppid=4142 vsize=10846984 memory=1089288 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4205/stat : 4205 (java) S 4142 4145 1225 0 -1 1077944384 41 13030 0 0 0 0 5 3 20 0 15 0 417028385 11107311616 272322 33554432000 4194304 4196468 140729640914768 140413620970240 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4206] ppid=4142 vsize=10846984 memory=1089288 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4206/stat : 4206 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028387 11107311616 272322 33554432000 4194304 4196468 140729640914768 140413313570768 140414736013211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4207] ppid=4142 vsize=10846984 memory=1089288 CPUtime=9.37 cores=0,2,4,6
/proc/4145/task/4207/stat : 4207 (java) S 4142 4145 1225 0 -1 1077944384 43600 13030 0 0 922 7 5 3 20 0 15 0 417028387 11107311616 272322 33554432000 4194304 4196468 140729640914768 140414160730864 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4208] ppid=4142 vsize=10846984 memory=1089288 CPUtime=9.55 cores=0,2,4,6
/proc/4145/task/4208/stat : 4208 (java) S 4142 4145 1225 0 -1 1077944384 54403 13030 0 0 941 6 5 3 20 0 15 0 417028387 11107311616 272322 33554432000 4194304 4196468 140729640914768 140414159678320 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4209] ppid=4142 vsize=10846984 memory=1764 CPUtime=2.62 cores=0,2,4,6
/proc/4145/task/4209/stat : 4209 (java) S 4142 4145 1225 0 -1 1077944384 34737 13030 0 0 248 6 5 3 20 0 15 0 417028387 11107311616 272322 33554432000 4194304 4196468 140729640914768 140413835930096 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4210] ppid=4142 vsize=10846984 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4210/stat : 4210 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028388 11107311616 272322 33554432000 4194304 4196468 140729640914768 140413280013152 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4211] ppid=4142 vsize=10846984 memory=39896 CPUtime=1.2 cores=0,2,4,6
/proc/4145/task/4211/stat : 4211 (java) S 4142 4145 1225 0 -1 1077944384 2200 13030 0 0 58 54 5 3 20 0 15 0 417028388 11107311616 272322 33554432000 4194304 4196468 140729640914768 140413834877488 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
Current children cumulated CPU time: 2295.92 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1089288 KiB
[startup+2322.3 s]
/proc/loadavg: 1.46 1.45 1.43 3/227 4698
/proc/meminfo: memFree=28832020/32770624 swapFree=66940920/67108860
[pid=4145] ppid=4142 vsize=10846984 memory=1088260 CPUtime=2356.25 cores=0,2,4,6
/proc/4145/stat : 4145 (java) S 4142 4145 1225 0 -1 1077944320 281393 13030 0 0 235413 204 5 3 20 0 15 0 417028373 11107311616 272065 33554432000 4194304 4196468 140729640914768 140729640897312 140414735994615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
/proc/4145/statm: 2711746 272065 3641 1 0 2673805 0
[pid=4145/tid=4198] ppid=4142 vsize=10846984 memory=1088260 CPUtime=2313.4 cores=0,2,4,6
/proc/4145/task/4198/stat : 4198 (java) R 4142 4145 1225 0 -1 4202560 76132 13030 0 0 231289 43 5 3 20 0 15 0 417028382 11107311616 272065 33554432000 4194304 4196468 140729640914768 140414707830576 140414327350338 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4199] ppid=4142 vsize=10846984 memory=1088260 CPUtime=4.41 cores=0,2,4,6
/proc/4145/task/4199/stat : 4199 (java) S 4142 4145 1225 0 -1 1077944384 11012 13030 0 0 414 19 5 3 20 0 15 0 417028383 11107311616 272065 33554432000 4194304 4196468 140729640914768 140414740237328 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4200] ppid=4142 vsize=10846984 memory=1088260 CPUtime=4.39 cores=0,2,4,6
/proc/4145/task/4200/stat : 4200 (java) S 4142 4145 1225 0 -1 1077944384 16296 13030 0 0 411 20 5 3 20 0 15 0 417028383 11107311616 272065 33554432000 4194304 4196468 140729640914768 140414308838544 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4201] ppid=4142 vsize=10846984 memory=1088260 CPUtime=4.4 cores=0,2,4,6
/proc/4145/task/4201/stat : 4201 (java) S 4142 4145 1225 0 -1 1077944384 8825 13030 0 0 410 22 5 3 20 0 15 0 417028383 11107311616 272065 33554432000 4194304 4196468 140729640914768 140414307785488 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4202] ppid=4142 vsize=10846984 memory=1088260 CPUtime=4.38 cores=0,2,4,6
/proc/4145/task/4202/stat : 4202 (java) S 4142 4145 1225 0 -1 1077944384 15986 13030 0 0 408 22 5 3 20 0 15 0 417028383 11107311616 272065 33554432000 4194304 4196468 140729640914768 140414306732944 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4203] ppid=4142 vsize=10846984 memory=1088260 CPUtime=3.09 cores=0,2,4,6
/proc/4145/task/4203/stat : 4203 (java) S 4142 4145 1225 0 -1 1077944384 15837 13030 0 0 277 24 5 3 20 0 15 0 417028384 11107311616 272065 33554432000 4194304 4196468 140729640914768 140414195341552 140414736005762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4204] ppid=4142 vsize=10846984 memory=1088260 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4204/stat : 4204 (java) S 4142 4145 1225 0 -1 1077944384 90 13030 0 0 0 0 5 3 20 0 15 0 417028384 11107311616 272065 33554432000 4194304 4196468 140729640914768 140414194287840 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4205] ppid=4142 vsize=10846984 memory=1088260 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4205/stat : 4205 (java) S 4142 4145 1225 0 -1 1077944384 41 13030 0 0 0 0 5 3 20 0 15 0 417028385 11107311616 272065 33554432000 4194304 4196468 140729640914768 140413620970240 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4206] ppid=4142 vsize=10846984 memory=1088260 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4206/stat : 4206 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028387 11107311616 272065 33554432000 4194304 4196468 140729640914768 140413313570768 140414736013211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4207] ppid=4142 vsize=10846984 memory=928 CPUtime=9.37 cores=0,2,4,6
/proc/4145/task/4207/stat : 4207 (java) S 4142 4145 1225 0 -1 1077944384 43602 13030 0 0 922 7 5 3 20 0 15 0 417028387 11107311616 272065 33554432000 4194304 4196468 140729640914768 140414160730864 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4208] ppid=4142 vsize=10846984 memory=1804 CPUtime=9.55 cores=0,2,4,6
/proc/4145/task/4208/stat : 4208 (java) S 4142 4145 1225 0 -1 1077944384 54405 13030 0 0 941 6 5 3 20 0 15 0 417028387 11107311616 272065 33554432000 4194304 4196468 140729640914768 140414159678320 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4209] ppid=4142 vsize=10846984 memory=1088260 CPUtime=2.62 cores=0,2,4,6
/proc/4145/task/4209/stat : 4209 (java) S 4142 4145 1225 0 -1 1077944384 34739 13030 0 0 248 6 5 3 20 0 15 0 417028387 11107311616 272065 33554432000 4194304 4196468 140729640914768 140413835930096 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4210] ppid=4142 vsize=10846984 memory=-8990767739041718176 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4210/stat : 4210 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028388 11107311616 272065 33554432000 4194304 4196468 140729640914768 140413280013152 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4211] ppid=4142 vsize=10846984 memory=-9001734013606258791 CPUtime=1.23 cores=0,2,4,6
/proc/4145/task/4211/stat : 4211 (java) S 4142 4145 1225 0 -1 1077944384 2217 13030 0 0 60 55 5 3 20 0 15 0 417028388 11107311616 272065 33554432000 4194304 4196468 140729640914768 140413834877488 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
Current children cumulated CPU time: 2356.25 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1088260 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2365.9 s]
/proc/loadavg: 1.39 1.44 1.42 3/227 4709
/proc/meminfo: memFree=28830292/32770624 swapFree=66940920/67108860
[pid=4145] ppid=4142 vsize=10846984 memory=1089796 CPUtime=2400.09 cores=0,2,4,6
/proc/4145/stat : 4145 (java) S 4142 4145 1225 0 -1 1077944320 282388 13030 0 0 239795 206 5 3 20 0 15 0 417028373 11107311616 272449 33554432000 4194304 4196468 140729640914768 140729640897312 140414735994615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
/proc/4145/statm: 2711746 272449 3641 1 0 2673805 0
[pid=4145/tid=4198] ppid=4142 vsize=10846984 memory=1089796 CPUtime=2356.83 cores=0,2,4,6
/proc/4145/task/4198/stat : 4198 (java) R 4142 4145 1225 0 -1 4202560 76512 13030 0 0 235632 43 5 3 20 0 15 0 417028382 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414707830832 140414311640812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4199] ppid=4142 vsize=10846984 memory=1088260 CPUtime=4.49 cores=0,2,4,6
/proc/4145/task/4199/stat : 4199 (java) S 4142 4145 1225 0 -1 1077944384 11275 13030 0 0 422 19 5 3 20 0 15 0 417028383 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414740237328 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4200] ppid=4142 vsize=10846984 memory=1089796 CPUtime=4.47 cores=0,2,4,6
/proc/4145/task/4200/stat : 4200 (java) S 4142 4145 1225 0 -1 1077944384 16337 13030 0 0 419 20 5 3 20 0 15 0 417028383 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414308838544 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4201] ppid=4142 vsize=10846984 memory=1089796 CPUtime=4.48 cores=0,2,4,6
/proc/4145/task/4201/stat : 4201 (java) S 4142 4145 1225 0 -1 1077944384 8832 13030 0 0 418 22 5 3 20 0 15 0 417028383 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414307785488 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4202] ppid=4142 vsize=10846984 memory=1089796 CPUtime=4.47 cores=0,2,4,6
/proc/4145/task/4202/stat : 4202 (java) S 4142 4145 1225 0 -1 1077944384 16065 13030 0 0 416 23 5 3 20 0 15 0 417028383 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414306732944 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4203] ppid=4142 vsize=10846984 memory=1089796 CPUtime=3.16 cores=0,2,4,6
/proc/4145/task/4203/stat : 4203 (java) S 4142 4145 1225 0 -1 1077944384 16038 13030 0 0 283 25 5 3 20 0 15 0 417028384 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414195341552 140414736005762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4204] ppid=4142 vsize=10846984 memory=1089796 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4204/stat : 4204 (java) S 4142 4145 1225 0 -1 1077944384 90 13030 0 0 0 0 5 3 20 0 15 0 417028384 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414194287840 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4205] ppid=4142 vsize=10846984 memory=1089796 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4205/stat : 4205 (java) S 4142 4145 1225 0 -1 1077944384 41 13030 0 0 0 0 5 3 20 0 15 0 417028385 11107311616 272449 33554432000 4194304 4196468 140729640914768 140413620970240 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4206] ppid=4142 vsize=10846984 memory=1428 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4206/stat : 4206 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028387 11107311616 272449 33554432000 4194304 4196468 140729640914768 140413313570768 140414736013211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4207] ppid=4142 vsize=10846984 memory=1772 CPUtime=9.37 cores=0,2,4,6
/proc/4145/task/4207/stat : 4207 (java) S 4142 4145 1225 0 -1 1077944384 43604 13030 0 0 922 7 5 3 20 0 15 0 417028387 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414160730864 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4208] ppid=4142 vsize=10846984 memory=3620 CPUtime=9.55 cores=0,2,4,6
/proc/4145/task/4208/stat : 4208 (java) S 4142 4145 1225 0 -1 1077944384 54407 13030 0 0 941 6 5 3 20 0 15 0 417028387 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414159678320 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4209] ppid=4142 vsize=10846984 memory=39904 CPUtime=2.62 cores=0,2,4,6
/proc/4145/task/4209/stat : 4209 (java) S 4142 4145 1225 0 -1 1077944384 34741 13030 0 0 248 6 5 3 20 0 15 0 417028387 11107311616 272449 33554432000 4194304 4196468 140729640914768 140413835930096 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4210] ppid=4142 vsize=10846984 memory=1089796 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4210/stat : 4210 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028388 11107311616 272449 33554432000 4194304 4196468 140729640914768 140413280013152 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4211] ppid=4142 vsize=10846984 memory=3620 CPUtime=1.25 cores=0,2,4,6
/proc/4145/task/4211/stat : 4211 (java) S 4142 4145 1225 0 -1 1077944384 2235 13030 0 0 61 56 5 3 20 0 15 0 417028388 11107311616 272449 33554432000 4194304 4196468 140729640914768 140413834877488 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1089796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2365.95 s]
# the end of solver process 4145 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.04 s, system=2.10378 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2365.9 s]
/proc/loadavg: 1.39 1.44 1.42 3/227 4709
/proc/meminfo: memFree=28830292/32770624 swapFree=66940920/67108860
[pid=4145] ppid=4142 vsize=10846984 memory=1089796 CPUtime=2400.09 cores=0,2,4,6
/proc/4145/stat : 4145 (java) S 4142 4145 1225 0 -1 1077944320 282388 13030 0 0 239795 206 5 3 20 0 15 0 417028373 11107311616 272449 33554432000 4194304 4196468 140729640914768 140729640897312 140414735994615 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
/proc/4145/statm: 2711746 272449 3641 1 0 2673805 0
[pid=4145/tid=4198] ppid=4142 vsize=10846984 memory=1089796 CPUtime=2356.83 cores=0,2,4,6
/proc/4145/task/4198/stat : 4198 (java) R 4142 4145 1225 0 -1 4202560 76512 13030 0 0 235632 43 5 3 20 0 15 0 417028382 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414707830832 140414311640812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4199] ppid=4142 vsize=10846984 memory=1088260 CPUtime=4.49 cores=0,2,4,6
/proc/4145/task/4199/stat : 4199 (java) S 4142 4145 1225 0 -1 1077944384 11275 13030 0 0 422 19 5 3 20 0 15 0 417028383 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414740237328 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4200] ppid=4142 vsize=10846984 memory=1089796 CPUtime=4.47 cores=0,2,4,6
/proc/4145/task/4200/stat : 4200 (java) S 4142 4145 1225 0 -1 1077944384 16337 13030 0 0 419 20 5 3 20 0 15 0 417028383 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414308838544 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4201] ppid=4142 vsize=10846984 memory=1089796 CPUtime=4.48 cores=0,2,4,6
/proc/4145/task/4201/stat : 4201 (java) S 4142 4145 1225 0 -1 1077944384 8832 13030 0 0 418 22 5 3 20 0 15 0 417028383 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414307785488 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4202] ppid=4142 vsize=10846984 memory=1089796 CPUtime=4.47 cores=0,2,4,6
/proc/4145/task/4202/stat : 4202 (java) S 4142 4145 1225 0 -1 1077944384 16065 13030 0 0 416 23 5 3 20 0 15 0 417028383 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414306732944 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4203] ppid=4142 vsize=10846984 memory=1089796 CPUtime=3.16 cores=0,2,4,6
/proc/4145/task/4203/stat : 4203 (java) S 4142 4145 1225 0 -1 1077944384 16038 13030 0 0 283 25 5 3 20 0 15 0 417028384 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414195341552 140414736005762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4204] ppid=4142 vsize=10846984 memory=1089796 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4204/stat : 4204 (java) S 4142 4145 1225 0 -1 1077944384 90 13030 0 0 0 0 5 3 20 0 15 0 417028384 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414194287840 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4205] ppid=4142 vsize=10846984 memory=1089796 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4205/stat : 4205 (java) S 4142 4145 1225 0 -1 1077944384 41 13030 0 0 0 0 5 3 20 0 15 0 417028385 11107311616 272449 33554432000 4194304 4196468 140729640914768 140413620970240 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4206] ppid=4142 vsize=10846984 memory=1428 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4206/stat : 4206 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028387 11107311616 272449 33554432000 4194304 4196468 140729640914768 140413313570768 140414736013211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4207] ppid=4142 vsize=10846984 memory=1772 CPUtime=9.37 cores=0,2,4,6
/proc/4145/task/4207/stat : 4207 (java) S 4142 4145 1225 0 -1 1077944384 43604 13030 0 0 922 7 5 3 20 0 15 0 417028387 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414160730864 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4208] ppid=4142 vsize=10846984 memory=3620 CPUtime=9.55 cores=0,2,4,6
/proc/4145/task/4208/stat : 4208 (java) S 4142 4145 1225 0 -1 1077944384 54407 13030 0 0 941 6 5 3 20 0 15 0 417028387 11107311616 272449 33554432000 4194304 4196468 140729640914768 140414159678320 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4209] ppid=4142 vsize=10846984 memory=39904 CPUtime=2.62 cores=0,2,4,6
/proc/4145/task/4209/stat : 4209 (java) S 4142 4145 1225 0 -1 1077944384 34741 13030 0 0 248 6 5 3 20 0 15 0 417028387 11107311616 272449 33554432000 4194304 4196468 140729640914768 140413835930096 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4210] ppid=4142 vsize=10846984 memory=1089796 CPUtime=0.08 cores=0,2,4,6
/proc/4145/task/4210/stat : 4210 (java) S 4142 4145 1225 0 -1 1077944384 3 13030 0 0 0 0 5 3 20 0 15 0 417028388 11107311616 272449 33554432000 4194304 4196468 140729640914768 140413280013152 140414736004821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
[pid=4145/tid=4211] ppid=4142 vsize=10846984 memory=3620 CPUtime=1.25 cores=0,2,4,6
/proc/4145/task/4211/stat : 4211 (java) S 4142 4145 1225 0 -1 1077944384 2235 13030 0 0 61 56 5 3 20 0 15 0 417028388 11107311616 272449 33554432000 4194304 4196468 140729640914768 140413834877488 140414736005762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 8728576 140729640917744 140729640920261 140729640920261 140729640923087 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1089796 KiB
Child status: 143
Real time (s): 2365.95
CPU time (s): 2400.14
CPU user time (s): 2398.04
CPU system time (s): 2.10378
CPU usage (%): 101.445
Max. virtual memory (cumulated for all children) (KiB): 10849632
Max. memory (cumulated for all children) (KiB): 1717640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.04
system time used= 2.10378
maximum resident set size= 1721232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119315
involuntary context switches= 4115
# summary of solver processes directly reported to runsolver:
# pid: 4145
# total CPU time (s): 2400.14
# total CPU user time (s): 2398.04
# total CPU system time (s): 2.10378
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9641 second user time and 22.1665 second system time
The end