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 (3085 MiB free)
memory of node 1: 16384 MiB (1289 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304851-1534040064/watcher-4304851-1534040064 -o /tmp/evaluation-result-4304851-1534040064/solver-4304851-1534040064 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534037558-11009 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=436843423 HOME/instance-4304851-1534040064.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=11644, runsolver pid=11641
[startup+0.100064 s]*
/proc/loadavg: 1.07 1.21 1.36 3/212 11701
/proc/meminfo: memFree=4473624/32770624 swapFree=67108856/67108860
[pid=11644] ppid=11641 vsize=10005480 memory=16812 CPUtime=0.08 cores=0,2,4,6
/proc/11644/stat : 11644 (java) S 11641 11644 9992 0 -1 1077944320 4363 13168 0 0 1 0 5 2 20 0 6 0 221569568 10245611520 4203 33554432000 4194304 4196468 140732435893632 140732435876176 140456788475639 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
/proc/11644/statm: 2501370 4203 1934 1 0 2489808 0
[pid=11644/tid=11697] ppid=11641 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/11644/task/11697/stat : 11697 (java) R 11641 11644 9992 0 -1 4202560 2178 13168 0 0 1 0 5 2 20 0 6 0 221569577 10245611520 4203 33554432000 4194304 4196468 140732435893632 140456760312400 140456788497565 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11698] ppid=11641 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11698/stat : 11698 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 6 0 221569577 10245611520 4203 33554432000 4194304 4196468 140732435893632 140456792717968 140456788485845 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11699] ppid=11641 vsize=10005480 memory=139763236652672 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11699/stat : 11699 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 6 0 221569577 10245611520 4203 33554432000 4194304 4196468 140732435893632 140456647436816 140456788485845 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11700] ppid=11641 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11700/stat : 11700 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 6 0 221569577 10245611520 4203 33554432000 4194304 4196468 140732435893632 140456646384016 140456788485845 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11701] ppid=11641 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11701/stat : 11701 (java) S 11641 11644 9992 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 6 0 221569577 10245611520 4203 33554432000 4194304 4196468 140732435893632 140456645331216 140456788485845 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210147 s]*
/proc/loadavg: 1.07 1.21 1.36 3/221 11710
/proc/meminfo: memFree=4450836/32770624 swapFree=67108856/67108860
[pid=11644] ppid=11641 vsize=10982744 memory=44248 CPUtime=0.25 cores=0,2,4,6
/proc/11644/stat : 11644 (java) S 11641 11644 9992 0 -1 1077944320 7745 13168 0 0 17 1 5 2 20 0 15 0 221569568 11246329856 11062 33554432000 4194304 4196468 140732435893632 140732435876176 140456788475639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
/proc/11644/statm: 2745686 11062 2961 1 0 2708109 0
[pid=11644/tid=11697] ppid=11641 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/11644/task/11697/stat : 11697 (java) R 11641 11644 9992 0 -1 4202560 4376 13168 0 0 11 0 5 2 20 0 15 0 221569577 11246329856 11128 33554432000 4194304 4196468 140732435893632 140456760274192 140456768751360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11698] ppid=11641 vsize=10982744 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11698/stat : 11698 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569577 11246329856 11128 33554432000 4194304 4196468 140732435893632 140456792717968 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11699] ppid=11641 vsize=10982744 memory=139763236652672 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11699/stat : 11699 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569577 11246329856 11128 33554432000 4194304 4196468 140732435893632 140456647436816 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11700] ppid=11641 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11700/stat : 11700 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569577 11246329856 11128 33554432000 4194304 4196468 140732435893632 140456646384016 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11701] ppid=11641 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11701/stat : 11701 (java) S 11641 11644 9992 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 221569577 11246329856 11128 33554432000 4194304 4196468 140732435893632 140456645331216 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11702] ppid=11641 vsize=10982744 memory=139763236652672 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11702/stat : 11702 (java) S 11641 11644 9992 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 221569579 11246329856 11128 33554432000 4194304 4196468 140732435893632 140455757949808 140456788486786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11703] ppid=11641 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11703/stat : 11703 (java) S 11641 11644 9992 0 -1 1077944384 13 13168 0 0 0 0 5 2 20 0 15 0 221569579 11246329856 11128 33554432000 4194304 4196468 140732435893632 140455631119904 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11704] ppid=11641 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11704/stat : 11704 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569580 11246329856 11128 33554432000 4194304 4196468 140732435893632 140455429793136 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11705] ppid=11641 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11705/stat : 11705 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569582 11246329856 11128 33554432000 4194304 4196468 140732435893632 140455122393424 140456788494235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11706] ppid=11641 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11644/task/11706/stat : 11706 (java) S 11641 11644 9992 0 -1 1077944384 418 13168 0 0 1 0 5 2 20 0 15 0 221569582 11246329856 11128 33554432000 4194304 4196468 140732435893632 140455756896624 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11707] ppid=11641 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11644/task/11707/stat : 11707 (java) S 11641 11644 9992 0 -1 1077944384 187 13168 0 0 1 0 5 2 20 0 15 0 221569582 11246329856 11194 33554432000 4194304 4196468 140732435893632 140455755843824 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11708] ppid=11641 vsize=10982744 memory=139763236652672 CPUtime=0.1 cores=0,2,4,6
/proc/11644/task/11708/stat : 11708 (java) S 11641 11644 9992 0 -1 1077944384 609 13168 0 0 3 0 5 2 20 0 15 0 221569582 11246329856 11194 33554432000 4194304 4196468 140732435893632 140455754791024 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11709] ppid=11641 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11709/stat : 11709 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569583 11246329856 11194 33554432000 4194304 4196468 140732435893632 140454691596512 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11710] ppid=11641 vsize=10982744 memory=139763236652672 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11710/stat : 11710 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569583 11246329856 11194 33554432000 4194304 4196468 140732435893632 140455753739440 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44248 KiB
[startup+0.310481 s]*
/proc/loadavg: 1.07 1.21 1.36 3/221 11710
/proc/meminfo: memFree=4437944/32770624 swapFree=67108856/67108860
[pid=11644] ppid=11641 vsize=10983192 memory=55980 CPUtime=0.38 cores=0,2,4,6
/proc/11644/stat : 11644 (java) S 11641 11644 9992 0 -1 1077944320 10534 13168 0 0 29 2 5 2 20 0 15 0 221569568 11246788608 13995 33554432000 4194304 4196468 140732435893632 140732435876176 140456788475639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
/proc/11644/statm: 2745798 13995 3080 1 0 2708109 0
[pid=11644/tid=11697] ppid=11641 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/11644/task/11697/stat : 11697 (java) R 11641 11644 9992 0 -1 4202560 7090 13168 0 0 20 1 5 2 20 0 15 0 221569577 11246788608 13995 33554432000 4194304 4196468 140732435893632 140456760287648 140456768752464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11698] ppid=11641 vsize=10983192 memory=7012775675443564880 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11698/stat : 11698 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569577 11246788608 13995 33554432000 4194304 4196468 140732435893632 140456792717968 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11699] ppid=11641 vsize=10983192 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11699/stat : 11699 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569577 11246788608 13995 33554432000 4194304 4196468 140732435893632 140456647436816 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11700] ppid=11641 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11700/stat : 11700 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569577 11246788608 13995 33554432000 4194304 4196468 140732435893632 140456646384016 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11701] ppid=11641 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11701/stat : 11701 (java) S 11641 11644 9992 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 221569577 11246788608 13995 33554432000 4194304 4196468 140732435893632 140456645331216 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11702] ppid=11641 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11702/stat : 11702 (java) S 11641 11644 9992 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 221569579 11246788608 13995 33554432000 4194304 4196468 140732435893632 140455757949808 140456788486786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11703] ppid=11641 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11703/stat : 11703 (java) S 11641 11644 9992 0 -1 1077944384 13 13168 0 0 0 0 5 2 20 0 15 0 221569579 11246788608 13995 33554432000 4194304 4196468 140732435893632 140455631119904 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11704] ppid=11641 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11704/stat : 11704 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569580 11246788608 13995 33554432000 4194304 4196468 140732435893632 140455429793136 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11705] ppid=11641 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11705/stat : 11705 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569582 11246788608 13995 33554432000 4194304 4196468 140732435893632 140455122393424 140456788494235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11706] ppid=11641 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11644/task/11706/stat : 11706 (java) S 11641 11644 9992 0 -1 1077944384 420 13168 0 0 1 0 5 2 20 0 15 0 221569582 11246788608 13995 33554432000 4194304 4196468 140732435893632 140455756896624 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11707] ppid=11641 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11644/task/11707/stat : 11707 (java) S 11641 11644 9992 0 -1 1077944384 187 13168 0 0 1 0 5 2 20 0 15 0 221569582 11246788608 13995 33554432000 4194304 4196468 140732435893632 140455755843824 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11708] ppid=11641 vsize=10983192 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/11644/task/11708/stat : 11708 (java) S 11641 11644 9992 0 -1 1077944384 619 13168 0 0 4 0 5 2 20 0 15 0 221569582 11246788608 13995 33554432000 4194304 4196468 140732435893632 140455754791024 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11709] ppid=11641 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11709/stat : 11709 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569583 11246788608 13995 33554432000 4194304 4196468 140732435893632 140454691596512 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11710] ppid=11641 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11710/stat : 11710 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569583 11246788608 13995 33554432000 4194304 4196468 140732435893632 140455753739440 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55980 KiB
[startup+0.70075 s]
/proc/loadavg: 1.07 1.21 1.36 3/221 11710
/proc/meminfo: memFree=4427640/32770624 swapFree=67108856/67108860
[pid=11644] ppid=11641 vsize=10983192 memory=88456 CPUtime=0.98 cores=0,2,4,6
/proc/11644/stat : 11644 (java) S 11641 11644 9992 0 -1 1077944320 16736 13168 0 0 88 3 5 2 20 0 15 0 221569568 11246788608 22114 33554432000 4194304 4196468 140732435893632 140732435876176 140456788475639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
/proc/11644/statm: 2745798 22114 3241 1 0 2708109 0
[pid=11644/tid=11697] ppid=11641 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/11644/task/11697/stat : 11697 (java) R 11641 11644 9992 0 -1 4202560 12263 13168 0 0 56 2 5 2 20 0 15 0 221569577 11246788608 22114 33554432000 4194304 4196468 140732435893632 140456760295832 140456768750973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11698] ppid=11641 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11698/stat : 11698 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569577 11246788608 22114 33554432000 4194304 4196468 140732435893632 140456792717968 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11699] ppid=11641 vsize=10983192 memory=3768 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11699/stat : 11699 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569577 11246788608 22114 33554432000 4194304 4196468 140732435893632 140456647436816 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11700] ppid=11641 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11700/stat : 11700 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569577 11246788608 22114 33554432000 4194304 4196468 140732435893632 140456646384016 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11701] ppid=11641 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11701/stat : 11701 (java) S 11641 11644 9992 0 -1 1077944384 2 13168 0 0 0 0 5 2 20 0 15 0 221569577 11246788608 22114 33554432000 4194304 4196468 140732435893632 140456645331216 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11702] ppid=11641 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11702/stat : 11702 (java) S 11641 11644 9992 0 -1 1077944384 5 13168 0 0 0 0 5 2 20 0 15 0 221569579 11246788608 22114 33554432000 4194304 4196468 140732435893632 140455757949808 140456788486786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11703] ppid=11641 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11703/stat : 11703 (java) S 11641 11644 9992 0 -1 1077944384 13 13168 0 0 0 0 5 2 20 0 15 0 221569579 11246788608 22114 33554432000 4194304 4196468 140732435893632 140455631119904 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11704] ppid=11641 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11704/stat : 11704 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569580 11246788608 22114 33554432000 4194304 4196468 140732435893632 140455429793136 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11705] ppid=11641 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11705/stat : 11705 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569582 11246788608 22114 33554432000 4194304 4196468 140732435893632 140455122393424 140456788494235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11706] ppid=11641 vsize=10983192 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/11644/task/11706/stat : 11706 (java) S 11641 11644 9992 0 -1 1077944384 997 13168 0 0 10 0 5 2 20 0 15 0 221569582 11246788608 22114 33554432000 4194304 4196468 140732435893632 140455756896624 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11707] ppid=11641 vsize=10983192 memory=15460 CPUtime=0.14 cores=0,2,4,6
/proc/11644/task/11707/stat : 11707 (java) S 11641 11644 9992 0 -1 1077944384 554 13168 0 0 7 0 5 2 20 0 15 0 221569582 11246788608 22114 33554432000 4194304 4196468 140732435893632 140455755843824 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11708] ppid=11641 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/11644/task/11708/stat : 11708 (java) S 11641 11644 9992 0 -1 1077944384 698 13168 0 0 13 0 5 2 20 0 15 0 221569582 11246788608 22114 33554432000 4194304 4196468 140732435893632 140455754791024 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11709] ppid=11641 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11709/stat : 11709 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569583 11246788608 22114 33554432000 4194304 4196468 140732435893632 140454691596512 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11710] ppid=11641 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11710/stat : 11710 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569583 11246788608 22114 33554432000 4194304 4196468 140732435893632 140455753739440 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88456 KiB
[startup+1.50083 s]
/proc/loadavg: 1.07 1.21 1.36 3/221 11710
/proc/meminfo: memFree=4384072/32770624 swapFree=67108856/67108860
[pid=11644] ppid=11641 vsize=10998092 memory=179712 CPUtime=2.26 cores=0,2,4,6
/proc/11644/stat : 11644 (java) S 11641 11644 9992 0 -1 1077944320 23985 13168 0 0 211 8 5 2 20 0 15 0 221569568 11262046208 44928 33554432000 4194304 4196468 140732435893632 140732435876176 140456788475639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
/proc/11644/statm: 2749523 44928 3465 1 0 2711181 0
[pid=11644/tid=11697] ppid=11641 vsize=10998092 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/11644/task/11697/stat : 11697 (java) R 11641 11644 9992 0 -1 4202560 17978 13168 0 0 131 4 5 2 20 0 15 0 221569577 11262046208 44928 33554432000 4194304 4196468 140732435893632 140456760305872 140456780717029 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11698] ppid=11641 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11698/stat : 11698 (java) S 11641 11644 9992 0 -1 1077944384 27 13168 0 0 0 0 5 2 20 0 15 0 221569577 11262046208 44928 33554432000 4194304 4196468 140732435893632 140456792717968 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11699] ppid=11641 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11644/task/11699/stat : 11699 (java) S 11641 11644 9992 0 -1 1077944384 207 13168 0 0 1 0 5 2 20 0 15 0 221569577 11262046208 44928 33554432000 4194304 4196468 140732435893632 140456647436816 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11700] ppid=11641 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11644/task/11700/stat : 11700 (java) S 11641 11644 9992 0 -1 1077944384 31 13168 0 0 1 0 5 2 20 0 15 0 221569577 11262046208 44928 33554432000 4194304 4196468 140732435893632 140456646384016 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11701] ppid=11641 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11701/stat : 11701 (java) S 11641 11644 9992 0 -1 1077944384 64 13168 0 0 0 0 5 2 20 0 15 0 221569577 11262046208 44928 33554432000 4194304 4196468 140732435893632 140456645331216 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11702] ppid=11641 vsize=10998092 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/11644/task/11702/stat : 11702 (java) S 11641 11644 9992 0 -1 1077944384 65 13168 0 0 1 0 5 2 20 0 15 0 221569579 11262046208 44928 33554432000 4194304 4196468 140732435893632 140455757949808 140456788486786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11703] ppid=11641 vsize=10998092 memory=279526269593856 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11703/stat : 11703 (java) S 11641 11644 9992 0 -1 1077944384 14 13168 0 0 0 0 5 2 20 0 15 0 221569579 11262046208 44928 33554432000 4194304 4196468 140732435893632 140455631119968 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11704] ppid=11641 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11704/stat : 11704 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569580 11262046208 44928 33554432000 4194304 4196468 140732435893632 140455429793136 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11705] ppid=11641 vsize=10998092 memory=11796 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11705/stat : 11705 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569582 11262046208 44928 33554432000 4194304 4196468 140732435893632 140455122393424 140456788494235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11706] ppid=11641 vsize=10998092 memory=5772 CPUtime=0.27 cores=0,2,4,6
/proc/11644/task/11706/stat : 11706 (java) S 11641 11644 9992 0 -1 1077944384 1133 13168 0 0 20 0 5 2 20 0 15 0 221569582 11262046208 44928 33554432000 4194304 4196468 140732435893632 140455756896624 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11707] ppid=11641 vsize=10998092 memory=4616 CPUtime=0.28 cores=0,2,4,6
/proc/11644/task/11707/stat : 11707 (java) S 11641 11644 9992 0 -1 1077944384 1043 13168 0 0 21 0 5 2 20 0 15 0 221569582 11262046208 44928 33554432000 4194304 4196468 140732435893632 140455755843824 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11708] ppid=11641 vsize=10998092 memory=1388 CPUtime=0.38 cores=0,2,4,6
/proc/11644/task/11708/stat : 11708 (java) S 11641 11644 9992 0 -1 1077944384 1223 13168 0 0 30 1 5 2 20 0 15 0 221569582 11262046208 44928 33554432000 4194304 4196468 140732435893632 140455754791024 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11709] ppid=11641 vsize=10998092 memory=1228 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11709/stat : 11709 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569583 11262046208 44928 33554432000 4194304 4196468 140732435893632 140454691596512 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11710] ppid=11641 vsize=10998092 memory=880 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11710/stat : 11710 (java) S 11641 11644 9992 0 -1 1077944384 1 13168 0 0 0 0 5 2 20 0 15 0 221569583 11262046208 44928 33554432000 4194304 4196468 140732435893632 140455753739440 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/11644/task/11697/stat : 11697 (java) R 11641 11644 9992 0 -1 4202560 63834 13168 0 0 236751 25 5 2 20 0 15 0 221569577 11341758464 138941 33554432000 4194304 4196468 140732435893632 140456760310096 140456330188905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11698] ppid=11641 vsize=11075936 memory=555764 CPUtime=6.05 cores=0,2,4,6
/proc/11644/task/11698/stat : 11698 (java) S 11641 11644 9992 0 -1 1077944384 4768 13168 0 0 566 32 5 2 20 0 15 0 221569577 11341758464 138941 33554432000 4194304 4196468 140732435893632 140456792717968 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11699] ppid=11641 vsize=11075936 memory=555764 CPUtime=6 cores=0,2,4,6
/proc/11644/task/11699/stat : 11699 (java) S 11641 11644 9992 0 -1 1077944384 5877 13168 0 0 560 33 5 2 20 0 15 0 221569577 11341758464 138941 33554432000 4194304 4196468 140732435893632 140456647436816 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11700] ppid=11641 vsize=11075936 memory=555764 CPUtime=5.99 cores=0,2,4,6
/proc/11644/task/11700/stat : 11700 (java) S 11641 11644 9992 0 -1 1077944384 5833 13168 0 0 561 31 5 2 20 0 15 0 221569577 11341758464 138941 33554432000 4194304 4196468 140732435893632 140456646384016 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11701] ppid=11641 vsize=11075936 memory=555764 CPUtime=6 cores=0,2,4,6
/proc/11644/task/11701/stat : 11701 (java) S 11641 11644 9992 0 -1 1077944384 8835 13168 0 0 559 34 5 2 20 0 15 0 221569577 11341758464 138941 33554432000 4194304 4196468 140732435893632 140456645331216 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11702] ppid=11641 vsize=11075936 memory=555764 CPUtime=6 cores=0,2,4,6
/proc/11644/task/11702/stat : 11702 (java) S 11641 11644 9992 0 -1 1077944384 8823 13168 0 0 561 32 5 2 20 0 15 0 221569579 11341758464 138941 33554432000 4194304 4196468 140732435893632 140455757949808 140456788486786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11703] ppid=11641 vsize=11075936 memory=1172 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11703/stat : 11703 (java) S 11641 11644 9992 0 -1 1077944384 16 13168 0 0 0 0 5 2 20 0 15 0 221569579 11341758464 138941 33554432000 4194304 4196468 140732435893632 140455631120032 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11704] ppid=11641 vsize=11075936 memory=3768 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11704/stat : 11704 (java) S 11641 11644 9992 0 -1 1077944384 5 13168 0 0 0 0 5 2 20 0 15 0 221569580 11341758464 138941 33554432000 4194304 4196468 140732435893632 140455429793152 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11705] ppid=11641 vsize=11075936 memory=60512 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11705/stat : 11705 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569582 11341758464 138941 33554432000 4194304 4196468 140732435893632 140455122393424 140456788494235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11706] ppid=11641 vsize=11075936 memory=555764 CPUtime=2.69 cores=0,2,4,6
/proc/11644/task/11706/stat : 11706 (java) S 11641 11644 9992 0 -1 1077944384 14301 13168 0 0 261 1 5 2 20 0 15 0 221569582 11341758464 138941 33554432000 4194304 4196468 140732435893632 140455756896624 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11707] ppid=11641 vsize=11075936 memory=555764 CPUtime=1.86 cores=0,2,4,6
/proc/11644/task/11707/stat : 11707 (java) S 11641 11644 9992 0 -1 1077944384 7133 13168 0 0 177 2 5 2 20 0 15 0 221569582 11341758464 138941 33554432000 4194304 4196468 140732435893632 140455755843824 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11708] ppid=11641 vsize=11075936 memory=2412 CPUtime=1.43 cores=0,2,4,6
/proc/11644/task/11708/stat : 11708 (java) S 11641 11644 9992 0 -1 1077944384 13116 13168 0 0 133 3 5 2 20 0 15 0 221569582 11341758464 138941 33554432000 4194304 4196468 140732435893632 140455754791024 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11709] ppid=11641 vsize=11075936 memory=1568 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11709/stat : 11709 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569583 11341758464 138941 33554432000 4194304 4196468 140732435893632 140454691596512 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11710] ppid=11641 vsize=11075936 memory=928 CPUtime=1.36 cores=0,2,4,6
/proc/11644/task/11710/stat : 11710 (java) S 11641 11644 9992 0 -1 1077944384 2279 13168 0 0 69 60 5 2 20 0 15 0 221569583 11341758464 138941 33554432000 4194304 4196468 140732435893632 140455753739440 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
Current children cumulated CPU time: 2404.68 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 555764 KiB
[startup+2442.3 s]
/proc/loadavg: 1.34 1.34 1.38 3/219 11918
/proc/meminfo: memFree=3980844/32770624 swapFree=67108856/67108860
[pid=11644] ppid=11641 vsize=11075936 memory=555788 CPUtime=2465.11 cores=0,2,4,6
/proc/11644/stat : 11644 (java) S 11641 11644 9992 0 -1 1077944320 137733 13168 0 0 246288 216 5 2 20 0 15 0 221569568 11341758464 138947 33554432000 4194304 4196468 140732435893632 140732435876176 140456788475639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
/proc/11644/statm: 2768984 138947 3517 1 0 2730637 0
[pid=11644/tid=11697] ppid=11641 vsize=11075936 memory=555788 CPUtime=2427.46 cores=0,2,4,6
/proc/11644/task/11697/stat : 11697 (java) R 11641 11644 9992 0 -1 4202560 64182 13168 0 0 242713 26 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456760309264 140456323117320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11698] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.2 cores=0,2,4,6
/proc/11644/task/11698/stat : 11698 (java) S 11641 11644 9992 0 -1 1077944384 5011 13168 0 0 580 33 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456792717968 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11699] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.15 cores=0,2,4,6
/proc/11644/task/11699/stat : 11699 (java) S 11641 11644 9992 0 -1 1077944384 5933 13168 0 0 575 33 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456647436816 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11700] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.15 cores=0,2,4,6
/proc/11644/task/11700/stat : 11700 (java) S 11641 11644 9992 0 -1 1077944384 5851 13168 0 0 576 32 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456646384016 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11701] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.15 cores=0,2,4,6
/proc/11644/task/11701/stat : 11701 (java) S 11641 11644 9992 0 -1 1077944384 8849 13168 0 0 574 34 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456645331216 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11702] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.15 cores=0,2,4,6
/proc/11644/task/11702/stat : 11702 (java) S 11641 11644 9992 0 -1 1077944384 8852 13168 0 0 575 33 5 2 20 0 15 0 221569579 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455757949808 140456788486786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11703] ppid=11641 vsize=11075936 memory=555788 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11703/stat : 11703 (java) S 11641 11644 9992 0 -1 1077944384 16 13168 0 0 0 0 5 2 20 0 15 0 221569579 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455631120032 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11704] ppid=11641 vsize=11075936 memory=555788 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11704/stat : 11704 (java) S 11641 11644 9992 0 -1 1077944384 5 13168 0 0 0 0 5 2 20 0 15 0 221569580 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455429793152 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11705] ppid=11641 vsize=11075936 memory=3768 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11705/stat : 11705 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569582 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455122393424 140456788494235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11706] ppid=11641 vsize=11075936 memory=555788 CPUtime=2.69 cores=0,2,4,6
/proc/11644/task/11706/stat : 11706 (java) S 11641 11644 9992 0 -1 1077944384 14301 13168 0 0 261 1 5 2 20 0 15 0 221569582 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455756896624 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11707] ppid=11641 vsize=11075936 memory=3768 CPUtime=1.86 cores=0,2,4,6
/proc/11644/task/11707/stat : 11707 (java) S 11641 11644 9992 0 -1 1077944384 7133 13168 0 0 177 2 5 2 20 0 15 0 221569582 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455755843824 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11708] ppid=11641 vsize=11075936 memory=555788 CPUtime=1.43 cores=0,2,4,6
/proc/11644/task/11708/stat : 11708 (java) S 11641 11644 9992 0 -1 1077944384 13116 13168 0 0 133 3 5 2 20 0 15 0 221569582 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455754791024 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11709] ppid=11641 vsize=11075936 memory=555788 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11709/stat : 11709 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569583 11341758464 138947 33554432000 4194304 4196468 140732435893632 140454691596512 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11710] ppid=11641 vsize=11075936 memory=555788 CPUtime=1.4 cores=0,2,4,6
/proc/11644/task/11710/stat : 11710 (java) S 11641 11644 9992 0 -1 1077944384 2285 13168 0 0 71 62 5 2 20 0 15 0 221569583 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455753739440 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
Current children cumulated CPU time: 2465.11 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 555788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2496.9 s]
/proc/loadavg: 2.03 1.51 1.43 3/219 12049
/proc/meminfo: memFree=2539112/32770624 swapFree=67108856/67108860
[pid=11644] ppid=11641 vsize=11075936 memory=555788 CPUtime=2520.09 cores=0,2,4,6
/proc/11644/stat : 11644 (java) S 11641 11644 9992 0 -1 1077944320 138440 13168 0 0 251781 221 5 2 20 0 15 0 221569568 11341758464 138947 33554432000 4194304 4196468 140732435893632 140732435876176 140456788475639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
/proc/11644/statm: 2768984 138947 3517 1 0 2730637 0
[pid=11644/tid=11697] ppid=11641 vsize=11075936 memory=1228 CPUtime=2481.73 cores=0,2,4,6
/proc/11644/task/11697/stat : 11697 (java) R 11641 11644 9992 0 -1 4202560 64591 13168 0 0 248140 26 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456760309232 140456326987798 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11698] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.33 cores=0,2,4,6
/proc/11644/task/11698/stat : 11698 (java) S 11641 11644 9992 0 -1 1077944384 5038 13168 0 0 593 33 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456792717968 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11699] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.29 cores=0,2,4,6
/proc/11644/task/11699/stat : 11699 (java) S 11641 11644 9992 0 -1 1077944384 5977 13168 0 0 588 34 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456647436816 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11700] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.28 cores=0,2,4,6
/proc/11644/task/11700/stat : 11700 (java) S 11641 11644 9992 0 -1 1077944384 5863 13168 0 0 589 32 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456646384016 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11701] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.28 cores=0,2,4,6
/proc/11644/task/11701/stat : 11701 (java) S 11641 11644 9992 0 -1 1077944384 8866 13168 0 0 586 35 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456645331216 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11702] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.29 cores=0,2,4,6
/proc/11644/task/11702/stat : 11702 (java) S 11641 11644 9992 0 -1 1077944384 9028 13168 0 0 588 34 5 2 20 0 15 0 221569579 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455757949808 140456788486786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11703] ppid=11641 vsize=11075936 memory=555788 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11703/stat : 11703 (java) S 11641 11644 9992 0 -1 1077944384 16 13168 0 0 0 0 5 2 20 0 15 0 221569579 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455631120032 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11704] ppid=11641 vsize=11075936 memory=508 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11704/stat : 11704 (java) S 11641 11644 9992 0 -1 1077944384 5 13168 0 0 0 0 5 2 20 0 15 0 221569580 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455429793152 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11705] ppid=11641 vsize=11075936 memory=555788 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11705/stat : 11705 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569582 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455122393424 140456788494235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11706] ppid=11641 vsize=11075936 memory=555788 CPUtime=2.69 cores=0,2,4,6
/proc/11644/task/11706/stat : 11706 (java) S 11641 11644 9992 0 -1 1077944384 14303 13168 0 0 261 1 5 2 20 0 15 0 221569582 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455756896624 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11707] ppid=11641 vsize=11075936 memory=555788 CPUtime=1.86 cores=0,2,4,6
/proc/11644/task/11707/stat : 11707 (java) S 11641 11644 9992 0 -1 1077944384 7135 13168 0 0 177 2 5 2 20 0 15 0 221569582 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455755843824 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11708] ppid=11641 vsize=11075936 memory=555788 CPUtime=1.43 cores=0,2,4,6
/proc/11644/task/11708/stat : 11708 (java) S 11641 11644 9992 0 -1 1077944384 13118 13168 0 0 133 3 5 2 20 0 15 0 221569582 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455754791024 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11709] ppid=11641 vsize=11075936 memory=555788 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11709/stat : 11709 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569583 11341758464 138947 33554432000 4194304 4196468 140732435893632 140454691596512 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11710] ppid=11641 vsize=11075936 memory=555788 CPUtime=1.42 cores=0,2,4,6
/proc/11644/task/11710/stat : 11710 (java) S 11641 11644 9992 0 -1 1077944384 2301 13168 0 0 72 63 5 2 20 0 15 0 221569583 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455753739440 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 555788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2496.93 s]
# the end of solver process 11644 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.9 s, system=2.24486 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2496.9 s]
/proc/loadavg: 2.03 1.51 1.43 3/219 12049
/proc/meminfo: memFree=2539112/32770624 swapFree=67108856/67108860
[pid=11644] ppid=11641 vsize=11075936 memory=555788 CPUtime=2520.09 cores=0,2,4,6
/proc/11644/stat : 11644 (java) S 11641 11644 9992 0 -1 1077944320 138440 13168 0 0 251781 221 5 2 20 0 15 0 221569568 11341758464 138947 33554432000 4194304 4196468 140732435893632 140732435876176 140456788475639 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
/proc/11644/statm: 2768984 138947 3517 1 0 2730637 0
[pid=11644/tid=11697] ppid=11641 vsize=11075936 memory=1228 CPUtime=2481.73 cores=0,2,4,6
/proc/11644/task/11697/stat : 11697 (java) R 11641 11644 9992 0 -1 4202560 64591 13168 0 0 248140 26 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456760309232 140456326987798 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11698] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.33 cores=0,2,4,6
/proc/11644/task/11698/stat : 11698 (java) S 11641 11644 9992 0 -1 1077944384 5038 13168 0 0 593 33 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456792717968 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11699] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.29 cores=0,2,4,6
/proc/11644/task/11699/stat : 11699 (java) S 11641 11644 9992 0 -1 1077944384 5977 13168 0 0 588 34 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456647436816 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11700] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.28 cores=0,2,4,6
/proc/11644/task/11700/stat : 11700 (java) S 11641 11644 9992 0 -1 1077944384 5863 13168 0 0 589 32 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456646384016 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11701] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.28 cores=0,2,4,6
/proc/11644/task/11701/stat : 11701 (java) S 11641 11644 9992 0 -1 1077944384 8866 13168 0 0 586 35 5 2 20 0 15 0 221569577 11341758464 138947 33554432000 4194304 4196468 140732435893632 140456645331216 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11702] ppid=11641 vsize=11075936 memory=555788 CPUtime=6.29 cores=0,2,4,6
/proc/11644/task/11702/stat : 11702 (java) S 11641 11644 9992 0 -1 1077944384 9028 13168 0 0 588 34 5 2 20 0 15 0 221569579 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455757949808 140456788486786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11703] ppid=11641 vsize=11075936 memory=555788 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11703/stat : 11703 (java) S 11641 11644 9992 0 -1 1077944384 16 13168 0 0 0 0 5 2 20 0 15 0 221569579 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455631120032 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11704] ppid=11641 vsize=11075936 memory=508 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11704/stat : 11704 (java) S 11641 11644 9992 0 -1 1077944384 5 13168 0 0 0 0 5 2 20 0 15 0 221569580 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455429793152 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11705] ppid=11641 vsize=11075936 memory=555788 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11705/stat : 11705 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569582 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455122393424 140456788494235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11706] ppid=11641 vsize=11075936 memory=555788 CPUtime=2.69 cores=0,2,4,6
/proc/11644/task/11706/stat : 11706 (java) S 11641 11644 9992 0 -1 1077944384 14303 13168 0 0 261 1 5 2 20 0 15 0 221569582 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455756896624 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11707] ppid=11641 vsize=11075936 memory=555788 CPUtime=1.86 cores=0,2,4,6
/proc/11644/task/11707/stat : 11707 (java) S 11641 11644 9992 0 -1 1077944384 7135 13168 0 0 177 2 5 2 20 0 15 0 221569582 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455755843824 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11708] ppid=11641 vsize=11075936 memory=555788 CPUtime=1.43 cores=0,2,4,6
/proc/11644/task/11708/stat : 11708 (java) S 11641 11644 9992 0 -1 1077944384 13118 13168 0 0 133 3 5 2 20 0 15 0 221569582 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455754791024 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11709] ppid=11641 vsize=11075936 memory=555788 CPUtime=0.07 cores=0,2,4,6
/proc/11644/task/11709/stat : 11709 (java) S 11641 11644 9992 0 -1 1077944384 3 13168 0 0 0 0 5 2 20 0 15 0 221569583 11341758464 138947 33554432000 4194304 4196468 140732435893632 140454691596512 140456788485845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
[pid=11644/tid=11710] ppid=11641 vsize=11075936 memory=555788 CPUtime=1.42 cores=0,2,4,6
/proc/11644/task/11710/stat : 11710 (java) S 11641 11644 9992 0 -1 1077944384 2301 13168 0 0 72 63 5 2 20 0 15 0 221569583 11341758464 138947 33554432000 4194304 4196468 140732435893632 140455753739440 140456788486786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35758080 140732435901037 140732435903836 140732435903836 140732435906511 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 555788 KiB
Child status: 143
Real time (s): 2496.93
CPU time (s): 2520.14
CPU user time (s): 2517.9
CPU system time (s): 2.24486
CPU usage (%): 100.93
Max. virtual memory (cumulated for all children) (KiB): 11075936
Max. memory (cumulated for all children) (KiB): 555788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.9
system time used= 2.24486
maximum resident set size= 558180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 192804
involuntary context switches= 8579
# summary of solver processes directly reported to runsolver:
# pid: 11644
# total CPU time (s): 2520.14
# total CPU user time (s): 2517.9
# total CPU system time (s): 2.24486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1592 second user time and 23.3782 second system time
The end