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 (11637 MiB free)
memory of node 1: 16384 MiB (15675 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299061-1532817584/watcher-4299061-1532817584 -o /tmp/evaluation-result-4299061-1532817584/solver-4299061-1532817584 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532809638-1644 --watchdog 2580 java -jar HOME/bestMinicp.jar HOME/instance-4299061-1532817584.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=4290, runsolver pid=4287
[startup+0.100304 s]*
/proc/loadavg: 6.26 3.55 2.28 4/215 4305
/proc/meminfo: memFree=27954500/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10661052 memory=27420 CPUtime=0.12 cores=0,2,4,6
/proc/4290/stat : 4290 (java) S 4287 4290 1613 0 -1 1077944320 5273 0 0 0 11 1 0 0 20 0 15 0 99321563 10916917248 6855 33554432000 4194304 4196468 140728146899072 140728146881616 140212641865463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
/proc/4290/statm: 2665263 6855 2864 1 0 2627263 0
[pid=4290/tid=4292] ppid=4287 vsize=10661052 memory=-8969866929839633600 CPUtime=0.09 cores=0,2,4,6
/proc/4290/task/4292/stat : 4292 (java) R 4287 4290 1613 0 -1 4202560 3138 0 0 0 8 1 0 0 20 0 15 0 99321563 10916917248 6855 33554432000 4194304 4196468 140728146899072 140212646098152 140212641877398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4293] ppid=4287 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4293/stat : 4293 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916917248 6855 33554432000 4194304 4196468 140728146899072 140212567939984 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4294] ppid=4287 vsize=10661052 memory=140058067994240 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4294/stat : 4294 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916917248 6855 33554432000 4194304 4196468 140728146899072 140212566887184 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4295] ppid=4287 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4295/stat : 4295 (java) S 4287 4290 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99321564 10916917248 6855 33554432000 4194304 4196468 140728146899072 140212565834896 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4296] ppid=4287 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4296/stat : 4296 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916917248 6855 33554432000 4194304 4196468 140728146899072 140212564782096 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4297] ppid=4287 vsize=10661052 memory=140058067994240 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4297/stat : 4297 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321566 10916917248 6855 33554432000 4194304 4196468 140728146899072 140211879094384 140212641876610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4298] ppid=4287 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4298/stat : 4298 (java) S 4287 4290 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99321566 10916917248 6855 33554432000 4194304 4196468 140728146899072 140211878040352 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4299] ppid=4287 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4299/stat : 4299 (java) S 4287 4290 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99321566 10916917248 6855 33554432000 4194304 4196468 140728146899072 140211876988016 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4300] ppid=4287 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4300/stat : 4300 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916917248 6855 33554432000 4194304 4196468 140728146899072 140211875936336 140212641884059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4301] ppid=4287 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4301/stat : 4301 (java) S 4287 4290 1613 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 99321569 10916917248 6855 33554432000 4194304 4196468 140728146899072 140211874884208 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4302] ppid=4287 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4302/stat : 4302 (java) R 4287 4290 1613 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 99321569 10916917248 6855 33554432000 4194304 4196468 140728146899072 140211873831408 140212641876610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4303] ppid=4287 vsize=10661052 memory=140058067994240 CPUtime=0.01 cores=0,2,4,6
/proc/4290/task/4303/stat : 4303 (java) R 4287 4290 1613 0 -1 4202560 327 0 0 0 1 0 0 0 20 0 15 0 99321569 10916917248 6855 33554432000 4194304 4196468 140728146899072 140211872779120 140212625945950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4304] ppid=4287 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4304/stat : 4304 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916917248 6855 33554432000 4194304 4196468 140728146899072 140211871726560 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4305] ppid=4287 vsize=10661052 memory=140058067994240 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4305/stat : 4305 (java) S 4287 4290 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99321569 10916917248 6855 33554432000 4194304 4196468 140728146899072 140211870673328 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27420 KiB
[startup+0.210454 s]*
/proc/loadavg: 6.26 3.55 2.28 4/215 4305
/proc/meminfo: memFree=27942032/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10661052 memory=40364 CPUtime=0.33 cores=0,2,4,6
/proc/4290/stat : 4290 (java) S 4287 4290 1613 0 -1 1077944320 8162 0 0 0 31 2 0 0 20 0 15 0 99321563 10916917248 10091 33554432000 4194304 4196468 140728146899072 140728146881616 140212641865463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
/proc/4290/statm: 2665263 10091 2989 1 0 2627263 0
[pid=4290/tid=4292] ppid=4287 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4290/task/4292/stat : 4292 (java) R 4287 4290 1613 0 -1 4202560 5104 0 0 0 18 2 0 0 20 0 15 0 99321563 10916917248 10091 33554432000 4194304 4196468 140728146899072 140212646089728 140212627560432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4293] ppid=4287 vsize=10661052 memory=331 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4293/stat : 4293 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916917248 10091 33554432000 4194304 4196468 140728146899072 140212567939984 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4294] ppid=4287 vsize=10661052 memory=140058068010624 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4294/stat : 4294 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916917248 10091 33554432000 4194304 4196468 140728146899072 140212566887184 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4295] ppid=4287 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4295/stat : 4295 (java) S 4287 4290 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99321564 10916917248 10091 33554432000 4194304 4196468 140728146899072 140212565834896 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4296] ppid=4287 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4296/stat : 4296 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916917248 10091 33554432000 4194304 4196468 140728146899072 140212564782096 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4297] ppid=4287 vsize=10661052 memory=140058067994240 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4297/stat : 4297 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321566 10916917248 10091 33554432000 4194304 4196468 140728146899072 140211879094384 140212641876610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4298] ppid=4287 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4298/stat : 4298 (java) S 4287 4290 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99321566 10916917248 10091 33554432000 4194304 4196468 140728146899072 140211878040352 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4299] ppid=4287 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4299/stat : 4299 (java) S 4287 4290 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99321566 10916917248 10091 33554432000 4194304 4196468 140728146899072 140211876988016 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4300] ppid=4287 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4300/stat : 4300 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916917248 10091 33554432000 4194304 4196468 140728146899072 140211875936336 140212641884059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4301] ppid=4287 vsize=10661052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4290/task/4301/stat : 4301 (java) S 4287 4290 1613 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 15 0 99321569 10916917248 10091 33554432000 4194304 4196468 140728146899072 140211874884208 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4302] ppid=4287 vsize=10661052 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4290/task/4302/stat : 4302 (java) S 4287 4290 1613 0 -1 1077944384 502 0 0 0 3 0 0 0 20 0 15 0 99321569 10916917248 10091 33554432000 4194304 4196468 140728146899072 140211873831408 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4303] ppid=4287 vsize=10661052 memory=140058067994240 CPUtime=0.08 cores=0,2,4,6
/proc/4290/task/4303/stat : 4303 (java) R 4287 4290 1613 0 -1 4202560 834 0 0 0 8 0 0 0 20 0 15 0 99321569 10916917248 10091 33554432000 4194304 4196468 140728146899072 140211872775072 140212621772599 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4304] ppid=4287 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4304/stat : 4304 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916917248 10091 33554432000 4194304 4196468 140728146899072 140211871726560 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4305] ppid=4287 vsize=10661052 memory=140058067994240 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4305/stat : 4305 (java) S 4287 4290 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99321569 10916917248 10091 33554432000 4194304 4196468 140728146899072 140211870673328 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40364 KiB
[startup+0.317809 s]*
/proc/loadavg: 6.26 3.55 2.28 5/215 4305
/proc/meminfo: memFree=27937876/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10661128 memory=45172 CPUtime=0.58 cores=0,2,4,6
/proc/4290/stat : 4290 (java) S 4287 4290 1613 0 -1 1077944320 8840 0 0 0 55 3 0 0 20 0 15 0 99321563 10916995072 11293 33554432000 4194304 4196468 140728146899072 140728146881616 140212641865463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
/proc/4290/statm: 2665282 11293 3064 1 0 2627263 0
[pid=4290/tid=4292] ppid=4287 vsize=10661128 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/4290/task/4292/stat : 4292 (java) R 4287 4290 1613 0 -1 4202560 5481 0 0 0 28 2 0 0 20 0 15 0 99321563 10916995072 11805 33554432000 4194304 4196468 140728146899072 140212646102384 140212641877398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4293] ppid=4287 vsize=10661128 memory=4294977825 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4293/stat : 4293 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916995072 11805 33554432000 4194304 4196468 140728146899072 140212567939984 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4294] ppid=4287 vsize=10661128 memory=140058068009680 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4294/stat : 4294 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916995072 11805 33554432000 4194304 4196468 140728146899072 140212566887184 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4295] ppid=4287 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4295/stat : 4295 (java) S 4287 4290 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99321564 10916995072 11805 33554432000 4194304 4196468 140728146899072 140212565834896 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4296] ppid=4287 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4296/stat : 4296 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916995072 11805 33554432000 4194304 4196468 140728146899072 140212564782096 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4297] ppid=4287 vsize=10661128 memory=140058067994240 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4297/stat : 4297 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 11805 33554432000 4194304 4196468 140728146899072 140211879094384 140212641876610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4298] ppid=4287 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4298/stat : 4298 (java) S 4287 4290 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 11805 33554432000 4194304 4196468 140728146899072 140211878040352 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4299] ppid=4287 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4299/stat : 4299 (java) S 4287 4290 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 11805 33554432000 4194304 4196468 140728146899072 140211876988016 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4300] ppid=4287 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4300/stat : 4300 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 11805 33554432000 4194304 4196468 140728146899072 140211875936336 140212641884059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4301] ppid=4287 vsize=10661128 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4290/task/4301/stat : 4301 (java) S 4287 4290 1613 0 -1 1077944384 402 0 0 0 4 0 0 0 20 0 15 0 99321569 10916995072 11805 33554432000 4194304 4196468 140728146899072 140211874884208 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4302] ppid=4287 vsize=10661128 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/4290/task/4302/stat : 4302 (java) S 4287 4290 1613 0 -1 1077944384 638 0 0 0 6 0 0 0 20 0 15 0 99321569 10916995072 11805 33554432000 4194304 4196468 140728146899072 140211873831408 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4303] ppid=4287 vsize=10661128 memory=140058067994240 CPUtime=0.15 cores=0,2,4,6
/proc/4290/task/4303/stat : 4303 (java) R 4287 4290 1613 0 -1 4202560 957 0 0 0 15 0 0 0 20 0 15 0 99321569 10916995072 11805 33554432000 4194304 4196468 140728146899072 140211872776056 140212626052823 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4304] ppid=4287 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4304/stat : 4304 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 11805 33554432000 4194304 4196468 140728146899072 140211871726560 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4305] ppid=4287 vsize=10661128 memory=140058067994240 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4305/stat : 4305 (java) S 4287 4290 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 11805 33554432000 4194304 4196468 140728146899072 140211870673328 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 45172 KiB
[startup+0.700725 s]
/proc/loadavg: 6.26 3.55 2.28 5/215 4305
/proc/meminfo: memFree=27922488/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10661128 memory=66680 CPUtime=1.54 cores=0,2,4,6
/proc/4290/stat : 4290 (java) S 4287 4290 1613 0 -1 1077944320 11173 0 0 0 150 4 0 0 20 0 15 0 99321563 10916995072 16670 33554432000 4194304 4196468 140728146899072 140728146881616 140212641865463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
/proc/4290/statm: 2665282 16670 3107 1 0 2627263 0
[pid=4290/tid=4292] ppid=4287 vsize=10661128 memory=15980 CPUtime=0.68 cores=0,2,4,6
/proc/4290/task/4292/stat : 4292 (java) R 4287 4290 1613 0 -1 4202560 5648 0 0 0 65 3 0 0 20 0 15 0 99321563 10916995072 16670 33554432000 4194304 4196468 140728146899072 140212646103880 140212247524318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4293] ppid=4287 vsize=10661128 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4293/stat : 4293 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916995072 16670 33554432000 4194304 4196468 140728146899072 140212567939984 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4294] ppid=4287 vsize=10661128 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4294/stat : 4294 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916995072 16670 33554432000 4194304 4196468 140728146899072 140212566887184 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4295] ppid=4287 vsize=10661128 memory=496 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4295/stat : 4295 (java) S 4287 4290 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99321564 10916995072 16670 33554432000 4194304 4196468 140728146899072 140212565834896 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4296] ppid=4287 vsize=10661128 memory=928 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4296/stat : 4296 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916995072 16670 33554432000 4194304 4196468 140728146899072 140212564782096 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4297] ppid=4287 vsize=10661128 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4297/stat : 4297 (java) S 4287 4290 1613 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 16670 33554432000 4194304 4196468 140728146899072 140211879094384 140212641876610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4298] ppid=4287 vsize=10661128 memory=1968 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4298/stat : 4298 (java) S 4287 4290 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 16670 33554432000 4194304 4196468 140728146899072 140211878040352 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4299] ppid=4287 vsize=10661128 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4299/stat : 4299 (java) S 4287 4290 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 16670 33554432000 4194304 4196468 140728146899072 140211876988016 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4300] ppid=4287 vsize=10661128 memory=7157735280213317218 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4300/stat : 4300 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 16670 33554432000 4194304 4196468 140728146899072 140211875936336 140212641884059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4301] ppid=4287 vsize=10661128 memory=7668621184520841834 CPUtime=0.27 cores=0,2,4,6
/proc/4290/task/4301/stat : 4301 (java) S 4287 4290 1613 0 -1 1077944384 1448 0 0 0 27 0 0 0 20 0 15 0 99321569 10916995072 16670 33554432000 4194304 4196468 140728146899072 140211874884208 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4302] ppid=4287 vsize=10661128 memory=7378139000234011245 CPUtime=0.3 cores=0,2,4,6
/proc/4290/task/4302/stat : 4302 (java) S 4287 4290 1613 0 -1 1077944384 1312 0 0 0 30 0 0 0 20 0 15 0 99321569 10916995072 16670 33554432000 4194304 4196468 140728146899072 140211873831408 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4303] ppid=4287 vsize=10661128 memory=6291927133608563817 CPUtime=0.26 cores=0,2,4,6
/proc/4290/task/4303/stat : 4303 (java) S 4287 4290 1613 0 -1 1077944384 1392 0 0 0 26 0 0 0 20 0 15 0 99321569 10916995072 16670 33554432000 4194304 4196468 140728146899072 140211872779120 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4304] ppid=4287 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4304/stat : 4304 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 16670 33554432000 4194304 4196468 140728146899072 140211871726560 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4305] ppid=4287 vsize=10661128 memory=756 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4305/stat : 4305 (java) S 4287 4290 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 16670 33554432000 4194304 4196468 140728146899072 140211870673328 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 66680 KiB
[startup+1.50069 s]
/proc/loadavg: 6.26 3.55 2.28 3/215 4305
/proc/meminfo: memFree=27901512/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10661128 memory=108368 CPUtime=2.53 cores=0,2,4,6
/proc/4290/stat : 4290 (java) S 4287 4290 1613 0 -1 1077944320 14615 0 0 0 248 5 0 0 20 0 15 0 99321563 10916995072 27092 33554432000 4194304 4196468 140728146899072 140728146881616 140212641865463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
/proc/4290/statm: 2665282 27092 3117 1 0 2627263 0
[pid=4290/tid=4292] ppid=4287 vsize=10661128 memory=98108 CPUtime=1.47 cores=0,2,4,6
/proc/4290/task/4292/stat : 4292 (java) R 4287 4290 1613 0 -1 4202560 5918 0 0 0 144 3 0 0 20 0 15 0 99321563 10916995072 27092 33554432000 4194304 4196468 140728146899072 140212646102016 140212247522472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4293] ppid=4287 vsize=10661128 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4293/stat : 4293 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916995072 27092 33554432000 4194304 4196468 140728146899072 140212567939984 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4294] ppid=4287 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4294/stat : 4294 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916995072 27092 33554432000 4194304 4196468 140728146899072 140212566887184 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4295] ppid=4287 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4295/stat : 4295 (java) S 4287 4290 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99321564 10916995072 27092 33554432000 4194304 4196468 140728146899072 140212565834896 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4296] ppid=4287 vsize=10661128 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4296/stat : 4296 (java) S 4287 4290 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99321564 10916995072 27092 33554432000 4194304 4196468 140728146899072 140212564782096 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4297] ppid=4287 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4297/stat : 4297 (java) S 4287 4290 1613 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 27092 33554432000 4194304 4196468 140728146899072 140211879094384 140212641876610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
################
# More data... #
################
/proc/4290/task/4292/stat : 4292 (java) R 4287 4290 1613 0 -1 4202560 13157 0 0 0 243801 10 0 0 20 0 15 0 99321563 10916995072 57243 33554432000 4194304 4196468 140728146899072 140212646104512 140212247522042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4293] ppid=4287 vsize=10661128 memory=228972 CPUtime=1.48 cores=0,2,4,6
/proc/4290/task/4293/stat : 4293 (java) S 4287 4290 1613 0 -1 1077944384 2603 0 0 0 135 13 0 0 20 0 15 0 99321564 10916995072 57243 33554432000 4194304 4196468 140728146899072 140212567939984 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4294] ppid=4287 vsize=10661128 memory=228784 CPUtime=1.47 cores=0,2,4,6
/proc/4290/task/4294/stat : 4294 (java) S 4287 4290 1613 0 -1 1077944384 3009 0 0 0 134 13 0 0 20 0 15 0 99321564 10916995072 57243 33554432000 4194304 4196468 140728146899072 140212566887184 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4295] ppid=4287 vsize=10661128 memory=228972 CPUtime=1.48 cores=0,2,4,6
/proc/4290/task/4295/stat : 4295 (java) S 4287 4290 1613 0 -1 1077944384 2528 0 0 0 134 14 0 0 20 0 15 0 99321564 10916995072 57243 33554432000 4194304 4196468 140728146899072 140212565834896 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4296] ppid=4287 vsize=10661128 memory=228972 CPUtime=1.48 cores=0,2,4,6
/proc/4290/task/4296/stat : 4296 (java) S 4287 4290 1613 0 -1 1077944384 3071 0 0 0 132 16 0 0 20 0 15 0 99321564 10916995072 57243 33554432000 4194304 4196468 140728146899072 140212564782096 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4297] ppid=4287 vsize=10661128 memory=228972 CPUtime=1.72 cores=0,2,4,6
/proc/4290/task/4297/stat : 4297 (java) S 4287 4290 1613 0 -1 1077944384 5119 0 0 0 159 13 0 0 20 0 15 0 99321566 10916995072 57243 33554432000 4194304 4196468 140728146899072 140211879094384 140212641876610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4298] ppid=4287 vsize=10661128 memory=228972 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4298/stat : 4298 (java) S 4287 4290 1613 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 57243 33554432000 4194304 4196468 140728146899072 140211878040352 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4299] ppid=4287 vsize=10661128 memory=228972 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4299/stat : 4299 (java) S 4287 4290 1613 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 57243 33554432000 4194304 4196468 140728146899072 140211876988016 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4300] ppid=4287 vsize=10661128 memory=228972 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4300/stat : 4300 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 57243 33554432000 4194304 4196468 140728146899072 140211875936336 140212641884059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4301] ppid=4287 vsize=10661128 memory=228972 CPUtime=0.46 cores=0,2,4,6
/proc/4290/task/4301/stat : 4301 (java) S 4287 4290 1613 0 -1 1077944384 3355 0 0 0 46 0 0 0 20 0 15 0 99321569 10916995072 57243 33554432000 4194304 4196468 140728146899072 140211874884208 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4302] ppid=4287 vsize=10661128 memory=228972 CPUtime=0.4 cores=0,2,4,6
/proc/4290/task/4302/stat : 4302 (java) S 4287 4290 1613 0 -1 1077944384 2686 0 0 0 40 0 0 0 20 0 15 0 99321569 10916995072 57243 33554432000 4194304 4196468 140728146899072 140211873831408 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4303] ppid=4287 vsize=10661128 memory=228972 CPUtime=0.28 cores=0,2,4,6
/proc/4290/task/4303/stat : 4303 (java) S 4287 4290 1613 0 -1 1077944384 1545 0 0 0 28 0 0 0 20 0 15 0 99321569 10916995072 57243 33554432000 4194304 4196468 140728146899072 140211872779120 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4304] ppid=4287 vsize=10661128 memory=228972 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4304/stat : 4304 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 57243 33554432000 4194304 4196468 140728146899072 140211871726560 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4305] ppid=4287 vsize=10661128 memory=28680 CPUtime=0.7 cores=0,2,4,6
/proc/4290/task/4305/stat : 4305 (java) S 4287 4290 1613 0 -1 1077944384 576 0 0 0 32 38 0 0 20 0 15 0 99321569 10916995072 57243 33554432000 4194304 4196468 140728146899072 140211870673328 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
Current children cumulated CPU time: 2447.68 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 228972 KiB
[startup+2502.3 s]
/proc/loadavg: 1.23 1.26 1.38 3/217 4498
/proc/meminfo: memFree=27744304/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10661128 memory=231020 CPUtime=2507.8 cores=0,2,4,6
/proc/4290/stat : 4290 (java) S 4287 4290 1613 0 -1 1077944320 39225 0 0 0 250693 87 0 0 20 0 15 0 99321563 10916995072 57755 33554432000 4194304 4196468 140728146899072 140728146881616 140212641865463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
/proc/4290/statm: 2665282 57755 3141 1 0 2627263 0
[pid=4290/tid=4292] ppid=4287 vsize=10661128 memory=228972 CPUtime=2498.01 cores=0,2,4,6
/proc/4290/task/4292/stat : 4292 (java) R 4287 4290 1613 0 -1 4202560 13240 0 0 0 249791 10 0 0 20 0 15 0 99321563 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212646104816 140212247524426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4293] ppid=4287 vsize=10661128 memory=228972 CPUtime=1.52 cores=0,2,4,6
/proc/4290/task/4293/stat : 4293 (java) S 4287 4290 1613 0 -1 1077944384 2606 0 0 0 139 13 0 0 20 0 15 0 99321564 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212567939984 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4294] ppid=4287 vsize=10661128 memory=228972 CPUtime=1.51 cores=0,2,4,6
/proc/4290/task/4294/stat : 4294 (java) S 4287 4290 1613 0 -1 1077944384 3024 0 0 0 137 14 0 0 20 0 15 0 99321564 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212566887184 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4295] ppid=4287 vsize=10661128 memory=228972 CPUtime=1.52 cores=0,2,4,6
/proc/4290/task/4295/stat : 4295 (java) S 4287 4290 1613 0 -1 1077944384 2558 0 0 0 137 15 0 0 20 0 15 0 99321564 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212565834896 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4296] ppid=4287 vsize=10661128 memory=228972 CPUtime=1.53 cores=0,2,4,6
/proc/4290/task/4296/stat : 4296 (java) S 4287 4290 1613 0 -1 1077944384 3092 0 0 0 136 17 0 0 20 0 15 0 99321564 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212564782096 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4297] ppid=4287 vsize=10661128 memory=228972 CPUtime=1.77 cores=0,2,4,6
/proc/4290/task/4297/stat : 4297 (java) S 4287 4290 1613 0 -1 1077944384 5125 0 0 0 163 14 0 0 20 0 15 0 99321566 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211879094384 140212641876610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4298] ppid=4287 vsize=10661128 memory=231020 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4298/stat : 4298 (java) S 4287 4290 1613 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211878040352 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4299] ppid=4287 vsize=10661128 memory=231020 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4299/stat : 4299 (java) S 4287 4290 1613 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211876988016 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4300] ppid=4287 vsize=10661128 memory=231020 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4300/stat : 4300 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211875936336 140212641884059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4301] ppid=4287 vsize=10661128 memory=231020 CPUtime=0.46 cores=0,2,4,6
/proc/4290/task/4301/stat : 4301 (java) S 4287 4290 1613 0 -1 1077944384 3355 0 0 0 46 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211874884208 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4302] ppid=4287 vsize=10661128 memory=231020 CPUtime=0.4 cores=0,2,4,6
/proc/4290/task/4302/stat : 4302 (java) S 4287 4290 1613 0 -1 1077944384 2686 0 0 0 40 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211873831408 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4303] ppid=4287 vsize=10661128 memory=231020 CPUtime=0.28 cores=0,2,4,6
/proc/4290/task/4303/stat : 4303 (java) S 4287 4290 1613 0 -1 1077944384 1545 0 0 0 28 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211872779120 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4304] ppid=4287 vsize=10661128 memory=231020 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4304/stat : 4304 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211871726560 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4305] ppid=4287 vsize=10661128 memory=231020 CPUtime=0.71 cores=0,2,4,6
/proc/4290/task/4305/stat : 4305 (java) S 4287 4290 1613 0 -1 1077944384 582 0 0 0 32 39 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211870673328 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
Current children cumulated CPU time: 2507.8 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 231020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.5 s]
/proc/loadavg: 1.32 1.28 1.38 3/217 4498
/proc/meminfo: memFree=27742076/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10661128 memory=231020 CPUtime=2520.03 cores=0,2,4,6
/proc/4290/stat : 4290 (java) S 4287 4290 1613 0 -1 1077944320 39246 0 0 0 251915 88 0 0 20 0 15 0 99321563 10916995072 57755 33554432000 4194304 4196468 140728146899072 140728146881616 140212641865463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
/proc/4290/statm: 2665282 57755 3141 1 0 2627263 0
[pid=4290/tid=4292] ppid=4287 vsize=10661128 memory=231020 CPUtime=2510.19 cores=0,2,4,6
/proc/4290/task/4292/stat : 4292 (java) R 4287 4290 1613 0 -1 4202560 13256 0 0 0 251009 10 0 0 20 0 15 0 99321563 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212646104816 140212247522472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4293] ppid=4287 vsize=10661128 memory=231020 CPUtime=1.52 cores=0,2,4,6
/proc/4290/task/4293/stat : 4293 (java) S 4287 4290 1613 0 -1 1077944384 2606 0 0 0 139 13 0 0 20 0 15 0 99321564 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212567939984 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4294] ppid=4287 vsize=10661128 memory=231020 CPUtime=1.52 cores=0,2,4,6
/proc/4290/task/4294/stat : 4294 (java) S 4287 4290 1613 0 -1 1077944384 3027 0 0 0 138 14 0 0 20 0 15 0 99321564 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212566887184 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4295] ppid=4287 vsize=10661128 memory=231020 CPUtime=1.53 cores=0,2,4,6
/proc/4290/task/4295/stat : 4295 (java) S 4287 4290 1613 0 -1 1077944384 2558 0 0 0 138 15 0 0 20 0 15 0 99321564 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212565834896 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4296] ppid=4287 vsize=10661128 memory=231020 CPUtime=1.53 cores=0,2,4,6
/proc/4290/task/4296/stat : 4296 (java) S 4287 4290 1613 0 -1 1077944384 3094 0 0 0 136 17 0 0 20 0 15 0 99321564 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212564782096 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4297] ppid=4287 vsize=10661128 memory=231020 CPUtime=1.78 cores=0,2,4,6
/proc/4290/task/4297/stat : 4297 (java) S 4287 4290 1613 0 -1 1077944384 5125 0 0 0 164 14 0 0 20 0 15 0 99321566 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211879094384 140212641876610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4298] ppid=4287 vsize=10661128 memory=231020 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4298/stat : 4298 (java) S 4287 4290 1613 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211878040352 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4299] ppid=4287 vsize=10661128 memory=228972 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4299/stat : 4299 (java) S 4287 4290 1613 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211876988016 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4300] ppid=4287 vsize=10661128 memory=228972 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4300/stat : 4300 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211875936336 140212641884059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4301] ppid=4287 vsize=10661128 memory=231020 CPUtime=0.46 cores=0,2,4,6
/proc/4290/task/4301/stat : 4301 (java) S 4287 4290 1613 0 -1 1077944384 3355 0 0 0 46 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211874884208 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4302] ppid=4287 vsize=10661128 memory=231020 CPUtime=0.4 cores=0,2,4,6
/proc/4290/task/4302/stat : 4302 (java) S 4287 4290 1613 0 -1 1077944384 2686 0 0 0 40 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211873831408 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4303] ppid=4287 vsize=10661128 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/4290/task/4303/stat : 4303 (java) S 4287 4290 1613 0 -1 1077944384 1545 0 0 0 28 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211872779120 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4304] ppid=4287 vsize=10661128 memory=231020 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4304/stat : 4304 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211871726560 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4305] ppid=4287 vsize=10661128 memory=231020 CPUtime=0.71 cores=0,2,4,6
/proc/4290/task/4305/stat : 4305 (java) S 4287 4290 1613 0 -1 1077944384 582 0 0 0 32 39 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211870673328 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 231020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.51 s]
# the end of solver process 4290 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.16 s, system=0.88782 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2514.5 s]
/proc/loadavg: 1.32 1.28 1.38 3/217 4498
/proc/meminfo: memFree=27742076/32770624 swapFree=67108860/67108860
[pid=4290] ppid=4287 vsize=10661128 memory=231020 CPUtime=2520.03 cores=0,2,4,6
/proc/4290/stat : 4290 (java) S 4287 4290 1613 0 -1 1077944320 39246 0 0 0 251915 88 0 0 20 0 15 0 99321563 10916995072 57755 33554432000 4194304 4196468 140728146899072 140728146881616 140212641865463 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
/proc/4290/statm: 2665282 57755 3141 1 0 2627263 0
[pid=4290/tid=4292] ppid=4287 vsize=10661128 memory=231020 CPUtime=2510.19 cores=0,2,4,6
/proc/4290/task/4292/stat : 4292 (java) R 4287 4290 1613 0 -1 4202560 13256 0 0 0 251009 10 0 0 20 0 15 0 99321563 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212646104816 140212247522472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4293] ppid=4287 vsize=10661128 memory=231020 CPUtime=1.52 cores=0,2,4,6
/proc/4290/task/4293/stat : 4293 (java) S 4287 4290 1613 0 -1 1077944384 2606 0 0 0 139 13 0 0 20 0 15 0 99321564 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212567939984 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4294] ppid=4287 vsize=10661128 memory=231020 CPUtime=1.52 cores=0,2,4,6
/proc/4290/task/4294/stat : 4294 (java) S 4287 4290 1613 0 -1 1077944384 3027 0 0 0 138 14 0 0 20 0 15 0 99321564 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212566887184 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4295] ppid=4287 vsize=10661128 memory=231020 CPUtime=1.53 cores=0,2,4,6
/proc/4290/task/4295/stat : 4295 (java) S 4287 4290 1613 0 -1 1077944384 2558 0 0 0 138 15 0 0 20 0 15 0 99321564 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212565834896 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4296] ppid=4287 vsize=10661128 memory=231020 CPUtime=1.53 cores=0,2,4,6
/proc/4290/task/4296/stat : 4296 (java) S 4287 4290 1613 0 -1 1077944384 3094 0 0 0 136 17 0 0 20 0 15 0 99321564 10916995072 57755 33554432000 4194304 4196468 140728146899072 140212564782096 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4297] ppid=4287 vsize=10661128 memory=231020 CPUtime=1.78 cores=0,2,4,6
/proc/4290/task/4297/stat : 4297 (java) S 4287 4290 1613 0 -1 1077944384 5125 0 0 0 164 14 0 0 20 0 15 0 99321566 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211879094384 140212641876610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4298] ppid=4287 vsize=10661128 memory=231020 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4298/stat : 4298 (java) S 4287 4290 1613 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211878040352 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4299] ppid=4287 vsize=10661128 memory=228972 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4299/stat : 4299 (java) S 4287 4290 1613 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 99321566 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211876988016 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4300] ppid=4287 vsize=10661128 memory=228972 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4300/stat : 4300 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211875936336 140212641884059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4301] ppid=4287 vsize=10661128 memory=231020 CPUtime=0.46 cores=0,2,4,6
/proc/4290/task/4301/stat : 4301 (java) S 4287 4290 1613 0 -1 1077944384 3355 0 0 0 46 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211874884208 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4302] ppid=4287 vsize=10661128 memory=231020 CPUtime=0.4 cores=0,2,4,6
/proc/4290/task/4302/stat : 4302 (java) S 4287 4290 1613 0 -1 1077944384 2686 0 0 0 40 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211873831408 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4303] ppid=4287 vsize=10661128 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/4290/task/4303/stat : 4303 (java) S 4287 4290 1613 0 -1 1077944384 1545 0 0 0 28 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211872779120 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4304] ppid=4287 vsize=10661128 memory=231020 CPUtime=0 cores=0,2,4,6
/proc/4290/task/4304/stat : 4304 (java) S 4287 4290 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211871726560 140212641875669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
[pid=4290/tid=4305] ppid=4287 vsize=10661128 memory=231020 CPUtime=0.71 cores=0,2,4,6
/proc/4290/task/4305/stat : 4305 (java) S 4287 4290 1613 0 -1 1077944384 582 0 0 0 32 39 0 0 20 0 15 0 99321569 10916995072 57755 33554432000 4194304 4196468 140728146899072 140211870673328 140212641876610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9605120 140728146900106 140728146900233 140728146900233 140728146902991 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 231020 KiB
Child status: 143
Real time (s): 2514.51
CPU time (s): 2520.05
CPU user time (s): 2519.16
CPU system time (s): 0.88782
CPU usage (%): 100.22
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 231020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.16
system time used= 0.88782
maximum resident set size= 231980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39440
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104556
involuntary context switches= 4422
# summary of solver processes directly reported to runsolver:
# pid: 4290
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.16
# total CPU system time (s): 0.88782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9744 second user time and 22.8299 second system time
The end