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 (4666 MiB free)
memory of node 1: 16384 MiB (8976 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290154-1532266439/watcher-4290154-1532266439 -o /tmp/evaluation-result-4290154-1532266439/solver-4290154-1532266439 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532260671-3379 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290154-1532266439.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=4286, runsolver pid=4283
[startup+0.100059 s]*
/proc/loadavg: 3.69 5.11 4.55 3/221 4301
/proc/meminfo: memFree=13952324/32770624 swapFree=67108860/67108860
[pid=4286] ppid=4283 vsize=10659012 memory=30464 CPUtime=0.12 cores=1,3,5,7
/proc/4286/stat : 4286 (java) S 4283 4286 3347 0 -1 1077944320 6702 0 0 0 11 1 0 0 20 0 15 0 44207083 10914828288 7616 33554432000 4194304 4196468 140724861945984 140724861928528 140643076603639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
/proc/4286/statm: 2664753 7616 2842 1 0 2627263 0
[pid=4286/tid=4288] ppid=4283 vsize=10659012 memory=-8392280307677361344 CPUtime=0.09 cores=1,3,5,7
/proc/4286/task/4288/stat : 4288 (java) R 4283 4286 3347 0 -1 4202560 4528 0 0 0 8 1 0 0 20 0 15 0 44207084 10914828288 7616 33554432000 4194304 4196468 140724861945984 140643080832160 140643060684126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4289] ppid=4283 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4289/stat : 4289 (java) S 4283 4286 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44207084 10914828288 7616 33554432000 4194304 4196468 140724861945984 140643002677648 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4290] ppid=4283 vsize=10659012 memory=140687506749056 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4290/stat : 4290 (java) S 4283 4286 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44207084 10914828288 7616 33554432000 4194304 4196468 140724861945984 140643001624848 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4291] ppid=4283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4291/stat : 4291 (java) S 4283 4286 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44207084 10914828288 7616 33554432000 4194304 4196468 140724861945984 140643000572560 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4292] ppid=4283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4292/stat : 4292 (java) S 4283 4286 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44207084 10914828288 7616 33554432000 4194304 4196468 140724861945984 140642680302096 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4293] ppid=4283 vsize=10659012 memory=140687506749056 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4293/stat : 4293 (java) S 4283 4286 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44207086 10914828288 7616 33554432000 4194304 4196468 140724861945984 140642434693744 140643076614786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4294] ppid=4283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4294/stat : 4294 (java) S 4283 4286 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44207086 10914828288 7616 33554432000 4194304 4196468 140724861945984 140642433639712 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4295] ppid=4283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4295/stat : 4295 (java) S 4283 4286 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44207086 10914828288 7616 33554432000 4194304 4196468 140724861945984 140642432587376 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4296] ppid=4283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4296/stat : 4296 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44207089 10914828288 7616 33554432000 4194304 4196468 140724861945984 140642431535696 140643076622235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4297] ppid=4283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4297/stat : 4297 (java) S 4283 4286 3347 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 44207089 10914828288 7616 33554432000 4194304 4196468 140724861945984 140642430482544 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4298] ppid=4283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4298/stat : 4298 (java) S 4283 4286 3347 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 44207089 10914828288 7616 33554432000 4194304 4196468 140724861945984 140642429429744 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4299] ppid=4283 vsize=10659012 memory=140687506749056 CPUtime=0.02 cores=1,3,5,7
/proc/4286/task/4299/stat : 4299 (java) S 4283 4286 3347 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 44207089 10914828288 7616 33554432000 4194304 4196468 140724861945984 140642428377456 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4300] ppid=4283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4300/stat : 4300 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44207089 10914828288 7616 33554432000 4194304 4196468 140724861945984 140642427324896 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4301] ppid=4283 vsize=10659012 memory=140687506749056 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4301/stat : 4301 (java) S 4283 4286 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44207089 10914828288 7616 33554432000 4194304 4196468 140724861945984 140642426272688 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30464 KiB
[startup+0.21135 s]*
/proc/loadavg: 3.69 5.11 4.55 3/221 4301
/proc/meminfo: memFree=13938656/32770624 swapFree=67108860/67108860
[pid=4286] ppid=4283 vsize=10659012 memory=42092 CPUtime=0.33 cores=1,3,5,7
/proc/4286/stat : 4286 (java) S 4283 4286 3347 0 -1 1077944320 8124 0 0 0 32 1 0 0 20 0 15 0 44207083 10914828288 10523 33554432000 4194304 4196468 140724861945984 140724861928528 140643076603639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
/proc/4286/statm: 2664753 10523 3007 1 0 2627263 0
[pid=4286/tid=4288] ppid=4283 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4286/task/4288/stat : 4288 (java) R 4283 4286 3347 0 -1 4202560 5038 0 0 0 19 1 0 0 20 0 15 0 44207084 10914828288 10523 33554432000 4194304 4196468 140724861945984 140643080833712 140643060684126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4289] ppid=4283 vsize=10659012 memory=342 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4289/stat : 4289 (java) S 4283 4286 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44207084 10914828288 10523 33554432000 4194304 4196468 140724861945984 140643002677648 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4290] ppid=4283 vsize=10659012 memory=140687506928028 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4290/stat : 4290 (java) S 4283 4286 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44207084 10914828288 10523 33554432000 4194304 4196468 140724861945984 140643001624848 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4291] ppid=4283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4291/stat : 4291 (java) S 4283 4286 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44207084 10914828288 10523 33554432000 4194304 4196468 140724861945984 140643000572560 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4292] ppid=4283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4292/stat : 4292 (java) S 4283 4286 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44207084 10914828288 10523 33554432000 4194304 4196468 140724861945984 140642680302096 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4293] ppid=4283 vsize=10659012 memory=140687506749056 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4293/stat : 4293 (java) S 4283 4286 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44207086 10914828288 10523 33554432000 4194304 4196468 140724861945984 140642434693744 140643076614786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4294] ppid=4283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4294/stat : 4294 (java) S 4283 4286 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44207086 10914828288 10523 33554432000 4194304 4196468 140724861945984 140642433639712 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4295] ppid=4283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4295/stat : 4295 (java) S 4283 4286 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44207086 10914828288 10523 33554432000 4194304 4196468 140724861945984 140642432587376 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4296] ppid=4283 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4296/stat : 4296 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44207089 10914828288 10523 33554432000 4194304 4196468 140724861945984 140642431535696 140643076622235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4297] ppid=4283 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4286/task/4297/stat : 4297 (java) S 4283 4286 3347 0 -1 1077944384 614 0 0 0 2 0 0 0 20 0 15 0 44207089 10914828288 10523 33554432000 4194304 4196468 140724861945984 140642430482544 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4298] ppid=4283 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4286/task/4298/stat : 4298 (java) S 4283 4286 3347 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 15 0 44207089 10914828288 10523 33554432000 4194304 4196468 140724861945984 140642429429744 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4299] ppid=4283 vsize=10659012 memory=140687506749056 CPUtime=0.07 cores=1,3,5,7
/proc/4286/task/4299/stat : 4299 (java) R 4283 4286 3347 0 -1 4202560 693 0 0 0 7 0 0 0 20 0 15 0 44207089 10914828288 10523 33554432000 4194304 4196468 140724861945984 140642428377456 140643068822909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4300] ppid=4283 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4300/stat : 4300 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44207089 10914828288 10523 33554432000 4194304 4196468 140724861945984 140642427324896 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4301] ppid=4283 vsize=10659012 memory=140687506749056 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4301/stat : 4301 (java) S 4283 4286 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44207089 10914828288 10523 33554432000 4194304 4196468 140724861945984 140642426272688 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42092 KiB
[startup+0.314751 s]*
/proc/loadavg: 3.69 5.11 4.55 4/221 4301
/proc/meminfo: memFree=13934128/32770624 swapFree=67108860/67108860
[pid=4286] ppid=4283 vsize=10659088 memory=47256 CPUtime=0.56 cores=1,3,5,7
/proc/4286/stat : 4286 (java) S 4283 4286 3347 0 -1 1077944320 8952 0 0 0 54 2 0 0 20 0 15 0 44207083 10914906112 11814 33554432000 4194304 4196468 140724861945984 140724861928528 140643076603639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
/proc/4286/statm: 2664772 11814 3053 1 0 2627263 0
[pid=4286/tid=4288] ppid=4283 vsize=10659088 memory=7311146985107750967 CPUtime=0.31 cores=1,3,5,7
/proc/4286/task/4288/stat : 4288 (java) R 4283 4286 3347 0 -1 4202560 5635 0 0 0 29 2 0 0 20 0 15 0 44207084 10914906112 12326 33554432000 4194304 4196468 140724861945984 140643080839008 140642682371987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4289] ppid=4283 vsize=10659088 memory=290763875203416087 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4289/stat : 4289 (java) S 4283 4286 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44207084 10914906112 12326 33554432000 4194304 4196468 140724861945984 140643002677648 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4290] ppid=4283 vsize=10659088 memory=14557699591190168 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4290/stat : 4290 (java) S 4283 4286 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44207084 10914906112 12326 33554432000 4194304 4196468 140724861945984 140643001624848 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4291] ppid=4283 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4291/stat : 4291 (java) S 4283 4286 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44207084 10914906112 12326 33554432000 4194304 4196468 140724861945984 140643000572560 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4292] ppid=4283 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4292/stat : 4292 (java) S 4283 4286 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44207084 10914906112 12326 33554432000 4194304 4196468 140724861945984 140642680302096 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4293] ppid=4283 vsize=10659088 memory=140687506749056 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4293/stat : 4293 (java) S 4283 4286 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44207086 10914906112 12326 33554432000 4194304 4196468 140724861945984 140642434693744 140643076614786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4294] ppid=4283 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4294/stat : 4294 (java) S 4283 4286 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44207086 10914906112 12326 33554432000 4194304 4196468 140724861945984 140642433639712 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4295] ppid=4283 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4295/stat : 4295 (java) S 4283 4286 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44207086 10914906112 12326 33554432000 4194304 4196468 140724861945984 140642432587376 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4296] ppid=4283 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4296/stat : 4296 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44207089 10914906112 12326 33554432000 4194304 4196468 140724861945984 140642431535696 140643076622235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4297] ppid=4283 vsize=10659088 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4286/task/4297/stat : 4297 (java) S 4283 4286 3347 0 -1 1077944384 722 0 0 0 5 0 0 0 20 0 15 0 44207089 10914906112 12326 33554432000 4194304 4196468 140724861945984 140642430482544 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4298] ppid=4283 vsize=10659088 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/4286/task/4298/stat : 4298 (java) S 4283 4286 3347 0 -1 1077944384 452 0 0 0 5 0 0 0 20 0 15 0 44207089 10914906112 12326 33554432000 4194304 4196468 140724861945984 140642429429744 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4299] ppid=4283 vsize=10659088 memory=140687506749056 CPUtime=0.13 cores=1,3,5,7
/proc/4286/task/4299/stat : 4299 (java) R 4283 4286 3347 0 -1 4202560 784 0 0 0 13 0 0 0 20 0 15 0 44207089 10914906112 12326 33554432000 4194304 4196468 140724861945984 140642428377456 140643069700475 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4300] ppid=4283 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4300/stat : 4300 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44207089 10914906112 12326 33554432000 4194304 4196468 140724861945984 140642427324896 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4301] ppid=4283 vsize=10659088 memory=140687506749056 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4301/stat : 4301 (java) S 4283 4286 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44207089 10914906112 12326 33554432000 4194304 4196468 140724861945984 140642426272688 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47256 KiB
[startup+0.700814 s]
/proc/loadavg: 3.69 5.11 4.55 5/221 4301
/proc/meminfo: memFree=13775900/32770624 swapFree=67108860/67108860
[pid=4286] ppid=4283 vsize=10659088 memory=213216 CPUtime=1.8 cores=1,3,5,7
/proc/4286/stat : 4286 (java) S 4283 4286 3347 0 -1 1077944320 18394 0 0 0 174 6 0 0 20 0 15 0 44207083 10914906112 53304 33554432000 4194304 4196468 140724861945984 140724861928528 140643076603639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
/proc/4286/statm: 2664772 53304 3098 1 0 2627263 0
[pid=4286/tid=4288] ppid=4283 vsize=10659088 memory=1844 CPUtime=0.66 cores=1,3,5,7
/proc/4286/task/4288/stat : 4288 (java) R 4283 4286 3347 0 -1 4202560 6082 0 0 0 63 3 0 0 20 0 15 0 44207084 10914906112 53304 33554432000 4194304 4196468 140724861945984 140643080839344 140642683950765 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4289] ppid=4283 vsize=10659088 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/4286/task/4289/stat : 4289 (java) S 4283 4286 3347 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 15 0 44207084 10914906112 53304 33554432000 4194304 4196468 140724861945984 140643002677648 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4290] ppid=4283 vsize=10659088 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4290/stat : 4290 (java) S 4283 4286 3347 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44207084 10914906112 53304 33554432000 4194304 4196468 140724861945984 140643001624848 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4291] ppid=4283 vsize=10659088 memory=12984 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4291/stat : 4291 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44207084 10914906112 53304 33554432000 4194304 4196468 140724861945984 140643000572560 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4292] ppid=4283 vsize=10659088 memory=5664 CPUtime=0.01 cores=1,3,5,7
/proc/4286/task/4292/stat : 4292 (java) S 4283 4286 3347 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 44207084 10914906112 53304 33554432000 4194304 4196468 140724861945984 140642680302096 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4293] ppid=4283 vsize=10659088 memory=4620 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4293/stat : 4293 (java) S 4283 4286 3347 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 44207086 10914906112 53304 33554432000 4194304 4196468 140724861945984 140642434693744 140643076614786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4294] ppid=4283 vsize=10659088 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4294/stat : 4294 (java) S 4283 4286 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44207086 10914906112 53304 33554432000 4194304 4196468 140724861945984 140642433639712 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4295] ppid=4283 vsize=10659088 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4295/stat : 4295 (java) S 4283 4286 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44207086 10914906112 53349 33554432000 4194304 4196468 140724861945984 140642432587376 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4296] ppid=4283 vsize=10659088 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4296/stat : 4296 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44207089 10914906112 53349 33554432000 4194304 4196468 140724861945984 140642431535696 140643076622235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4297] ppid=4283 vsize=10659088 memory=7739276948478455658 CPUtime=0.38 cores=1,3,5,7
/proc/4286/task/4297/stat : 4297 (java) R 4283 4286 3347 0 -1 4202560 4361 0 0 0 38 0 0 0 20 0 15 0 44207089 10914906112 53349 33554432000 4194304 4196468 140724861945984 140642430467224 140643056451868 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4298] ppid=4283 vsize=10659088 memory=6935658124599644240 CPUtime=0.38 cores=1,3,5,7
/proc/4286/task/4298/stat : 4298 (java) R 4283 4286 3347 0 -1 4202560 3600 0 0 0 38 0 0 0 20 0 15 0 44207089 10914906112 53349 33554432000 4194304 4196468 140724861945984 140642429429872 140643058013789 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4299] ppid=4283 vsize=10659088 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/4286/task/4299/stat : 4299 (java) S 4283 4286 3347 0 -1 1077944384 2858 0 0 0 30 0 0 0 20 0 15 0 44207089 10914906112 53349 33554432000 4194304 4196468 140724861945984 140642428377456 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4300] ppid=4283 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4300/stat : 4300 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44207089 10914906112 53349 33554432000 4194304 4196468 140724861945984 140642427324896 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4301] ppid=4283 vsize=10659088 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4301/stat : 4301 (java) S 4283 4286 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44207089 10914906112 53349 33554432000 4194304 4196468 140724861945984 140642426272688 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 213216 KiB
[startup+1.50081 s]
/proc/loadavg: 3.69 5.11 4.55 5/221 4301
/proc/meminfo: memFree=13732236/32770624 swapFree=67108860/67108860
[pid=4286] ppid=4283 vsize=10659088 memory=433556 CPUtime=3.68 cores=1,3,5,7
/proc/4286/stat : 4286 (java) S 4283 4286 3347 0 -1 1077944320 19348 0 0 0 352 16 0 0 20 0 15 0 44207083 10914906112 108389 33554432000 4194304 4196468 140724861945984 140724861928528 140643076603639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
/proc/4286/statm: 2664772 108389 3148 1 0 2627263 0
[pid=4286/tid=4288] ppid=4283 vsize=10659088 memory=8112282956445269571 CPUtime=1.32 cores=1,3,5,7
/proc/4286/task/4288/stat : 4288 (java) R 4283 4286 3347 0 -1 4202560 6144 0 0 0 127 5 0 0 20 0 15 0 44207084 10914906112 108389 33554432000 4194304 4196468 140724861945984 140643080838096 140643059062032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4289] ppid=4283 vsize=10659088 memory=-8754540793456063680 CPUtime=0.12 cores=1,3,5,7
/proc/4286/task/4289/stat : 4289 (java) S 4283 4286 3347 0 -1 1077944384 213 0 0 0 10 2 0 0 20 0 15 0 44207084 10914906112 108389 33554432000 4194304 4196468 140724861945984 140643002677648 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4290] ppid=4283 vsize=10659088 memory=-2843869621055772062 CPUtime=0.1 cores=1,3,5,7
/proc/4286/task/4290/stat : 4290 (java) S 4283 4286 3347 0 -1 1077944384 75 0 0 0 9 1 0 0 20 0 15 0 44207084 10914906112 108389 33554432000 4194304 4196468 140724861945984 140643001624848 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4291] ppid=4283 vsize=10659088 memory=5450919713671312938 CPUtime=0.11 cores=1,3,5,7
/proc/4286/task/4291/stat : 4291 (java) S 4283 4286 3347 0 -1 1077944384 142 0 0 0 9 2 0 0 20 0 15 0 44207084 10914906112 108389 33554432000 4194304 4196468 140724861945984 140643000572560 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4292] ppid=4283 vsize=10659088 memory=7005738693937936738 CPUtime=0.1 cores=1,3,5,7
/proc/4286/task/4292/stat : 4292 (java) S 4283 4286 3347 0 -1 1077944384 145 0 0 0 9 1 0 0 20 0 15 0 44207084 10914906112 108389 33554432000 4194304 4196468 140724861945984 140642680302096 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4293] ppid=4283 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4293/stat : 4293 (java) S 4283 4286 3347 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 44207086 10914906112 108389 33554432000 4194304 4196468 140724861945984 140642434693744 140643076614786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
################
# More data... #
################
/proc/4286/task/4293/stat : 4293 (java) S 4283 4286 3347 0 -1 1077944384 13336 0 0 0 337 4 0 0 20 0 16 0 44207086 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642434693744 140643076614786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4294] ppid=4283 vsize=10727700 memory=4071888 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4294/stat : 4294 (java) S 4283 4286 3347 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 44207086 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642433639776 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4295] ppid=4283 vsize=10727700 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4295/stat : 4295 (java) S 4283 4286 3347 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 16 0 44207086 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642432587392 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4296] ppid=4283 vsize=10727700 memory=4071888 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4296/stat : 4296 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642431535696 140643076622235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4297] ppid=4283 vsize=10727700 memory=1956 CPUtime=1.91 cores=1,3,5,7
/proc/4286/task/4297/stat : 4297 (java) S 4283 4286 3347 0 -1 1077944384 14505 0 0 0 189 2 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642430482544 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4298] ppid=4283 vsize=10727700 memory=4071888 CPUtime=2.24 cores=1,3,5,7
/proc/4286/task/4298/stat : 4298 (java) S 4283 4286 3347 0 -1 1077944384 11733 0 0 0 222 2 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642429429744 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4299] ppid=4283 vsize=10727700 memory=4071888 CPUtime=0.55 cores=1,3,5,7
/proc/4286/task/4299/stat : 4299 (java) S 4283 4286 3347 0 -1 1077944384 5646 0 0 0 54 1 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642428377456 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4300] ppid=4283 vsize=10727700 memory=4071888 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4300/stat : 4300 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642427324896 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4301] ppid=4283 vsize=10727700 memory=4071888 CPUtime=1.29 cores=1,3,5,7
/proc/4286/task/4301/stat : 4301 (java) S 4283 4286 3347 0 -1 1077944384 1806 0 0 0 56 73 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642426272688 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4302] ppid=4283 vsize=10727700 memory=4071888 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4302/stat : 4302 (java) S 4283 4286 3347 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 44208578 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642423121072 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
Current children cumulated CPU time: 2295.42 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4071888 KiB
[startup+2322.3 s]
/proc/loadavg: 2.24 2.17 2.30 3/222 4559
/proc/meminfo: memFree=12370360/32770624 swapFree=67108860/67108860
[pid=4286] ppid=4283 vsize=10727700 memory=4071888 CPUtime=2355.46 cores=1,3,5,7
/proc/4286/stat : 4286 (java) S 4283 4286 3347 0 -1 1077944320 172993 0 0 0 235153 393 0 0 20 0 16 0 44207083 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140724861928528 140643076603639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
/proc/4286/statm: 2681925 1017972 3193 1 0 2644416 0
[pid=4286/tid=4288] ppid=4283 vsize=10727700 memory=4071888 CPUtime=2309.93 cores=1,3,5,7
/proc/4286/task/4288/stat : 4288 (java) R 4283 4286 3347 0 -1 4202560 95553 0 0 0 230969 24 0 0 20 0 16 0 44207084 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140643080840504 140642684317689 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4289] ppid=4283 vsize=10727700 memory=1956 CPUtime=9.07 cores=1,3,5,7
/proc/4286/task/4289/stat : 4289 (java) S 4283 4286 3347 0 -1 1077944384 8170 0 0 0 831 76 0 0 20 0 16 0 44207084 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140643002677648 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4290] ppid=4283 vsize=10727700 memory=4071888 CPUtime=8.93 cores=1,3,5,7
/proc/4286/task/4290/stat : 4290 (java) S 4283 4286 3347 0 -1 1077944384 8310 0 0 0 815 78 0 0 20 0 16 0 44207084 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140643001624848 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4291] ppid=4283 vsize=10727700 memory=4071888 CPUtime=9.02 cores=1,3,5,7
/proc/4286/task/4291/stat : 4291 (java) S 4283 4286 3347 0 -1 1077944384 6532 0 0 0 829 73 0 0 20 0 16 0 44207084 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140643000572560 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4292] ppid=4283 vsize=10727700 memory=4071888 CPUtime=8.99 cores=1,3,5,7
/proc/4286/task/4292/stat : 4292 (java) S 4283 4286 3347 0 -1 1077944384 5859 0 0 0 828 71 0 0 20 0 16 0 44207084 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642680302096 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4293] ppid=4283 vsize=10727700 memory=4071888 CPUtime=3.41 cores=1,3,5,7
/proc/4286/task/4293/stat : 4293 (java) S 4283 4286 3347 0 -1 1077944384 13346 0 0 0 337 4 0 0 20 0 16 0 44207086 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642434693744 140643076614786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4294] ppid=4283 vsize=10727700 memory=4071888 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4294/stat : 4294 (java) S 4283 4286 3347 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 44207086 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642433639776 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4295] ppid=4283 vsize=10727700 memory=4071888 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4295/stat : 4295 (java) S 4283 4286 3347 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 16 0 44207086 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642432587392 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4296] ppid=4283 vsize=10727700 memory=4071888 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4296/stat : 4296 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642431535696 140643076622235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4297] ppid=4283 vsize=10727700 memory=4071888 CPUtime=1.91 cores=1,3,5,7
/proc/4286/task/4297/stat : 4297 (java) S 4283 4286 3347 0 -1 1077944384 14508 0 0 0 189 2 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642430482544 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4298] ppid=4283 vsize=10727700 memory=4071888 CPUtime=2.24 cores=1,3,5,7
/proc/4286/task/4298/stat : 4298 (java) S 4283 4286 3347 0 -1 1077944384 11739 0 0 0 222 2 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642429429744 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4299] ppid=4283 vsize=10727700 memory=4071888 CPUtime=0.55 cores=1,3,5,7
/proc/4286/task/4299/stat : 4299 (java) S 4283 4286 3347 0 -1 1077944384 5656 0 0 0 54 1 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642428377456 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4300] ppid=4283 vsize=10727700 memory=4071888 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4300/stat : 4300 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642427324896 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4301] ppid=4283 vsize=10727700 memory=4071888 CPUtime=1.33 cores=1,3,5,7
/proc/4286/task/4301/stat : 4301 (java) S 4283 4286 3347 0 -1 1077944384 1846 0 0 0 58 75 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642426272688 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4302] ppid=4283 vsize=10727700 memory=4071888 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4302/stat : 4302 (java) S 4283 4286 3347 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 44208578 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642423121072 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
Current children cumulated CPU time: 2355.46 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4071888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2366.8 s]
/proc/loadavg: 2.11 2.15 2.29 3/222 4560
/proc/meminfo: memFree=12297972/32770624 swapFree=67108860/67108860
[pid=4286] ppid=4283 vsize=10727700 memory=4071888 CPUtime=2400 cores=1,3,5,7
/proc/4286/stat : 4286 (java) S 4283 4286 3347 0 -1 1077944320 175358 0 0 0 239605 395 0 0 20 0 16 0 44207083 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140724861928528 140643076603639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
/proc/4286/statm: 2681925 1017972 3193 1 0 2644416 0
[pid=4286/tid=4288] ppid=4283 vsize=10727700 memory=1424 CPUtime=2354.43 cores=1,3,5,7
/proc/4286/task/4288/stat : 4288 (java) R 4283 4286 3347 0 -1 4202560 97852 0 0 0 235419 24 0 0 20 0 16 0 44207084 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140643080840504 140642686391829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4289] ppid=4283 vsize=10727700 memory=1232 CPUtime=9.07 cores=1,3,5,7
/proc/4286/task/4289/stat : 4289 (java) S 4283 4286 3347 0 -1 1077944384 8170 0 0 0 831 76 0 0 20 0 16 0 44207084 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140643002677648 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4290] ppid=4283 vsize=10727700 memory=1012 CPUtime=8.93 cores=1,3,5,7
/proc/4286/task/4290/stat : 4290 (java) S 4283 4286 3347 0 -1 1077944384 8310 0 0 0 815 78 0 0 20 0 16 0 44207084 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140643001624848 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4291] ppid=4283 vsize=10727700 memory=1956 CPUtime=9.02 cores=1,3,5,7
/proc/4286/task/4291/stat : 4291 (java) S 4283 4286 3347 0 -1 1077944384 6532 0 0 0 829 73 0 0 20 0 16 0 44207084 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140643000572560 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4292] ppid=4283 vsize=10727700 memory=1204 CPUtime=8.99 cores=1,3,5,7
/proc/4286/task/4292/stat : 4292 (java) S 4283 4286 3347 0 -1 1077944384 5859 0 0 0 828 71 0 0 20 0 16 0 44207084 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642680302096 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4293] ppid=4283 vsize=10727700 memory=8384 CPUtime=3.41 cores=1,3,5,7
/proc/4286/task/4293/stat : 4293 (java) S 4283 4286 3347 0 -1 1077944384 13356 0 0 0 337 4 0 0 20 0 16 0 44207086 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642434693744 140643076614786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4294] ppid=4283 vsize=10727700 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4294/stat : 4294 (java) S 4283 4286 3347 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 44207086 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642433639776 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4295] ppid=4283 vsize=10727700 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4295/stat : 4295 (java) S 4283 4286 3347 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 16 0 44207086 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642432587392 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4296] ppid=4283 vsize=10727700 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4296/stat : 4296 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642431535696 140643076622235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4297] ppid=4283 vsize=10727700 memory=1236 CPUtime=1.91 cores=1,3,5,7
/proc/4286/task/4297/stat : 4297 (java) S 4283 4286 3347 0 -1 1077944384 14511 0 0 0 189 2 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642430482544 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4298] ppid=4283 vsize=10727700 memory=9456 CPUtime=2.24 cores=1,3,5,7
/proc/4286/task/4298/stat : 4298 (java) S 4283 4286 3347 0 -1 1077944384 11745 0 0 0 222 2 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642429429744 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4299] ppid=4283 vsize=10727700 memory=1788 CPUtime=0.55 cores=1,3,5,7
/proc/4286/task/4299/stat : 4299 (java) S 4283 4286 3347 0 -1 1077944384 5666 0 0 0 54 1 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642428377456 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4300] ppid=4283 vsize=10727700 memory=644 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4300/stat : 4300 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642427324896 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4301] ppid=4283 vsize=10727700 memory=956 CPUtime=1.35 cores=1,3,5,7
/proc/4286/task/4301/stat : 4301 (java) S 4283 4286 3347 0 -1 1077944384 1883 0 0 0 58 77 0 0 20 0 16 0 44207089 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642426272688 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4302] ppid=4283 vsize=10727700 memory=2336 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4302/stat : 4302 (java) S 4283 4286 3347 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 44208578 10985164800 1017972 33554432000 4194304 4196468 140724861945984 140642423121072 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4071888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2367.09 s]
# the end of solver process 4286 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.16 s, system=3.97386 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2367 s]*
/proc/loadavg: 2.11 2.15 2.29 2/223 4563
/proc/meminfo: memFree=12295660/32770624 swapFree=67108860/67108860
[pid=4286] ppid=4283 vsize=10927392 memory=4072232 CPUtime=2400.02 cores=1,3,5,7
/proc/4286/stat : 4286 (java) S 4283 4286 3347 0 -1 1077944320 176236 0 0 0 239607 395 0 0 20 0 17 0 44207083 11189649408 1018058 33554432000 4194304 4196468 140724861945984 140724861928528 140643076603639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
/proc/4286/statm: 2731848 1018058 3196 1 0 2694339 0
[pid=4286/tid=4288] ppid=4283 vsize=10927392 memory=-6733704525061579059 CPUtime=2354.45 cores=1,3,5,7
/proc/4286/task/4288/stat : 4288 (java) S 4283 4286 3347 0 -1 1077944384 97921 0 0 0 235421 24 0 0 20 0 17 0 44207084 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140643080846512 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4289] ppid=4283 vsize=10927392 memory=4126316290023845779 CPUtime=9.07 cores=1,3,5,7
/proc/4286/task/4289/stat : 4289 (java) S 4283 4286 3347 0 -1 1077944384 8170 0 0 0 831 76 0 0 20 0 17 0 44207084 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140643002677648 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4290] ppid=4283 vsize=10927392 memory=7594597741370627182 CPUtime=8.93 cores=1,3,5,7
/proc/4286/task/4290/stat : 4290 (java) S 4283 4286 3347 0 -1 1077944384 8310 0 0 0 815 78 0 0 20 0 17 0 44207084 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140643001624848 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4291] ppid=4283 vsize=10927392 memory=7449350064487820399 CPUtime=9.02 cores=1,3,5,7
/proc/4286/task/4291/stat : 4291 (java) S 4283 4286 3347 0 -1 1077944384 6532 0 0 0 829 73 0 0 20 0 17 0 44207084 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140643000572560 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4292] ppid=4283 vsize=10927392 memory=6005662731693944419 CPUtime=8.99 cores=1,3,5,7
/proc/4286/task/4292/stat : 4292 (java) S 4283 4286 3347 0 -1 1077944384 5859 0 0 0 828 71 0 0 20 0 17 0 44207084 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140642680302096 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4293] ppid=4283 vsize=10927392 memory=-8253362762721939848 CPUtime=3.41 cores=1,3,5,7
/proc/4286/task/4293/stat : 4293 (java) S 4283 4286 3347 0 -1 1077944384 13402 0 0 0 337 4 0 0 20 0 17 0 44207086 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140642434693744 140643076614786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4294] ppid=4283 vsize=10927392 memory=7666654209792501603 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4294/stat : 4294 (java) S 4283 4286 3347 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 17 0 44207086 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140642433639776 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4295] ppid=4283 vsize=10927392 memory=7883361303302988397 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4295/stat : 4295 (java) S 4283 4286 3347 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 17 0 44207086 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140642432587392 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4296] ppid=4283 vsize=10927392 memory=7883361303302988397 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4296/stat : 4296 (java) S 4283 4286 3347 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 17 0 44207089 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140642431535696 140643076622235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4297] ppid=4283 vsize=10927392 memory=7883361303302988397 CPUtime=1.91 cores=1,3,5,7
/proc/4286/task/4297/stat : 4297 (java) S 4283 4286 3347 0 -1 1077944384 14511 0 0 0 189 2 0 0 20 0 17 0 44207089 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140642430482544 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4298] ppid=4283 vsize=10927392 memory=7883361303302988397 CPUtime=2.24 cores=1,3,5,7
/proc/4286/task/4298/stat : 4298 (java) S 4283 4286 3347 0 -1 1077944384 11834 0 0 0 222 2 0 0 20 0 17 0 44207089 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140642429429744 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4299] ppid=4283 vsize=10927392 memory=7883361303302988397 CPUtime=0.55 cores=1,3,5,7
/proc/4286/task/4299/stat : 4299 (java) S 4283 4286 3347 0 -1 1077944384 5759 0 0 0 54 1 0 0 20 0 17 0 44207089 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140642428377456 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4300] ppid=4283 vsize=10927392 memory=7956571258574694227 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4300/stat : 4300 (java) S 4283 4286 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 44207089 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140642427324896 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4301] ppid=4283 vsize=10927392 memory=7956571258574694227 CPUtime=1.35 cores=1,3,5,7
/proc/4286/task/4301/stat : 4301 (java) S 4283 4286 3347 0 -1 1077944384 1883 0 0 0 58 77 0 0 20 0 17 0 44207089 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140642426272688 140643076614786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4561] ppid=4283 vsize=10927392 memory=6228033443740609895 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4561/stat : 4561 (java) S 4283 4286 3347 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 17 0 44443764 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140642422068080 140643076613845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
[pid=4286/tid=4562] ppid=4283 vsize=10927392 memory=7883361303302988397 CPUtime=0 cores=1,3,5,7
/proc/4286/task/4562/stat : 4562 (java) R 4283 4286 3347 0 -1 4202560 288 0 0 0 0 0 0 0 20 0 17 0 44443764 11189649408 1018062 33554432000 4194304 4196468 140724861945984 140642421016208 140642680449857 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36990976 140724861953137 140724861953289 140724861953289 140724861956047 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4072232 KiB
Child status: 143
Real time (s): 2367.09
CPU time (s): 2400.13
CPU user time (s): 2396.16
CPU system time (s): 3.97386
CPU usage (%): 101.396
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 4072232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.16
system time used= 3.97386
maximum resident set size= 4072528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177330
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54193
involuntary context switches= 1003
# summary of solver processes directly reported to runsolver:
# pid: 4286
# total CPU time (s): 2400.13
# total CPU user time (s): 2396.16
# total CPU system time (s): 3.97386
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.4493 second user time and 17.0348 second system time
The end