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 (2046 MiB free)
memory of node 1: 16384 MiB (13311 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295107-1532519915/watcher-4295107-1532519915 -o /tmp/evaluation-result-4295107-1532519915/solver-4295107-1532519915 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532498695-4224 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1156838292 -superng HOME/instance-4295107-1532519915.xml
running on 4 cores: 1,3,5,7
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=8184, runsolver pid=8181
[startup+0.100058 s]*
/proc/loadavg: 2.43 2.10 2.04 3/209 8241
/proc/meminfo: memFree=15721228/32770624 swapFree=67108860/67108860
[pid=8184] ppid=8181 vsize=9972712 memory=16816 CPUtime=0.09 cores=1,3,5,7
/proc/8184/stat : 8184 (java) S 8181 8184 4192 0 -1 1077944320 4364 13130 0 0 1 0 5 3 20 0 6 0 69554685 10212057088 4204 33554432000 4194304 4196468 140733691264144 140733691246688 139679755103991 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
/proc/8184/statm: 2493178 4204 1934 1 0 2481616 0
[pid=8184/tid=8237] ppid=8181 vsize=9972712 memory=4718545630382498451 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8237/stat : 8237 (java) R 8181 8184 4192 0 -1 4202560 2201 13130 0 0 0 0 5 3 20 0 6 0 69554694 10212057088 4270 33554432000 4194304 4196468 140733691264144 139679726940752 139679739184478 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8238] ppid=8181 vsize=9972712 memory=5793854888647473593 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8238/stat : 8238 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 6 0 69554695 10212057088 4270 33554432000 4194304 4196468 140733691264144 139679759346832 139679755114197 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8239] ppid=8181 vsize=9972712 memory=139637637580416 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8239/stat : 8239 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 6 0 69554695 10212057088 4270 33554432000 4194304 4196468 140733691264144 139679658236944 139679755114197 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8240] ppid=8181 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8240/stat : 8240 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 6 0 69554695 10212057088 4270 33554432000 4194304 4196468 140733691264144 139679657184144 139679755114197 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8241] ppid=8181 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8241/stat : 8241 (java) S 8181 8184 4192 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 6 0 69554695 10212057088 4270 33554432000 4194304 4196468 140733691264144 139679656131344 139679755114197 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.210231 s]*
/proc/loadavg: 2.43 2.10 2.04 3/218 8250
/proc/meminfo: memFree=15698892/32770624 swapFree=67108860/67108860
[pid=8184] ppid=8181 vsize=10818904 memory=42008 CPUtime=0.26 cores=1,3,5,7
/proc/8184/stat : 8184 (java) S 8181 8184 4192 0 -1 1077944320 7756 13130 0 0 16 2 5 3 20 0 15 0 69554685 11078557696 10502 33554432000 4194304 4196468 140733691264144 140733691246688 139679755103991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
/proc/8184/statm: 2704726 10502 2937 1 0 2667149 0
[pid=8184/tid=8237] ppid=8181 vsize=10818904 memory=-2899909650764262549 CPUtime=0.19 cores=1,3,5,7
/proc/8184/task/8237/stat : 8237 (java) R 8181 8184 4192 0 -1 4202560 4566 13130 0 0 10 1 5 3 20 0 15 0 69554694 11078557696 10634 33554432000 4194304 4196468 140733691264144 139679726921104 139679735379712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8238] ppid=8181 vsize=10818904 memory=4211973363842370954 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8238/stat : 8238 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554695 11078557696 10634 33554432000 4194304 4196468 140733691264144 139679759346832 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8239] ppid=8181 vsize=10818904 memory=139637637580416 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8239/stat : 8239 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554695 11078557696 10634 33554432000 4194304 4196468 140733691264144 139679658236944 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8240] ppid=8181 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8240/stat : 8240 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554695 11078557696 10700 33554432000 4194304 4196468 140733691264144 139679657184144 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8241] ppid=8181 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8241/stat : 8241 (java) S 8181 8184 4192 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 69554695 11078557696 10700 33554432000 4194304 4196468 140733691264144 139679656131344 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8242] ppid=8181 vsize=10818904 memory=139637637580416 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8242/stat : 8242 (java) S 8181 8184 4192 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 69554696 11078557696 10700 33554432000 4194304 4196468 140733691264144 139678756669808 139679755115138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8243] ppid=8181 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8243/stat : 8243 (java) S 8181 8184 4192 0 -1 1077944384 33 13130 0 0 0 0 5 3 20 0 15 0 69554696 11078557696 10700 33554432000 4194304 4196468 140733691264144 139678755615776 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8244] ppid=8181 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8244/stat : 8244 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554697 11078557696 10700 33554432000 4194304 4196468 140733691264144 139678644691824 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8245] ppid=8181 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8245/stat : 8245 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554699 11078557696 10700 33554432000 4194304 4196468 140733691264144 139678337292112 139679755122587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8246] ppid=8181 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8184/task/8246/stat : 8246 (java) S 8181 8184 4192 0 -1 1077944384 512 13130 0 0 1 0 5 3 20 0 15 0 69554699 11078557696 10700 33554432000 4194304 4196468 140733691264144 139678722059120 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8247] ppid=8181 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8247/stat : 8247 (java) S 8181 8184 4192 0 -1 1077944384 54 13130 0 0 0 0 5 3 20 0 15 0 69554699 11078557696 10700 33554432000 4194304 4196468 140733691264144 139678721006320 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8248] ppid=8181 vsize=10818904 memory=139637637580416 CPUtime=0.11 cores=1,3,5,7
/proc/8184/task/8248/stat : 8248 (java) S 8181 8184 4192 0 -1 1077944384 564 13130 0 0 3 0 5 3 20 0 15 0 69554699 11078557696 10700 33554432000 4194304 4196468 140733691264144 139678719953520 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8249] ppid=8181 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8249/stat : 8249 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554700 11078557696 10700 33554432000 4194304 4196468 140733691264144 139678303734496 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8250] ppid=8181 vsize=10818904 memory=139637637580416 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8250/stat : 8250 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554700 11078557696 10700 33554432000 4194304 4196468 140733691264144 139678718900912 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 42008 KiB
[startup+0.310308 s]*
/proc/loadavg: 2.43 2.10 2.04 3/218 8250
/proc/meminfo: memFree=15687604/32770624 swapFree=67108860/67108860
[pid=8184] ppid=8181 vsize=10819352 memory=53728 CPUtime=0.38 cores=1,3,5,7
/proc/8184/stat : 8184 (java) S 8181 8184 4192 0 -1 1077944320 10556 13130 0 0 28 2 5 3 20 0 15 0 69554685 11079016448 13432 33554432000 4194304 4196468 140733691264144 140733691246688 139679755103991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
/proc/8184/statm: 2704838 13432 3056 1 0 2667149 0
[pid=8184/tid=8237] ppid=8181 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/8184/task/8237/stat : 8237 (java) R 8181 8184 4192 0 -1 4202560 7174 13130 0 0 19 1 5 3 20 0 15 0 69554694 11079016448 13432 33554432000 4194304 4196468 140733691264144 139679726916000 139679735379321 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8238] ppid=8181 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8238/stat : 8238 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554695 11079016448 13432 33554432000 4194304 4196468 140733691264144 139679759346832 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8239] ppid=8181 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8239/stat : 8239 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554695 11079016448 13432 33554432000 4194304 4196468 140733691264144 139679658236944 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8240] ppid=8181 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8240/stat : 8240 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554695 11079016448 13432 33554432000 4194304 4196468 140733691264144 139679657184144 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8241] ppid=8181 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8241/stat : 8241 (java) S 8181 8184 4192 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 69554695 11079016448 13432 33554432000 4194304 4196468 140733691264144 139679656131344 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8242] ppid=8181 vsize=10819352 memory=139637637580415 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8242/stat : 8242 (java) S 8181 8184 4192 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 69554696 11079016448 13432 33554432000 4194304 4196468 140733691264144 139678756669808 139679755115138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8243] ppid=8181 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8243/stat : 8243 (java) S 8181 8184 4192 0 -1 1077944384 33 13130 0 0 0 0 5 3 20 0 15 0 69554696 11079016448 13432 33554432000 4194304 4196468 140733691264144 139678755615776 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8244] ppid=8181 vsize=10819352 memory=139637637580416 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8244/stat : 8244 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554697 11079016448 13432 33554432000 4194304 4196468 140733691264144 139678644691824 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8245] ppid=8181 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8245/stat : 8245 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554699 11079016448 13432 33554432000 4194304 4196468 140733691264144 139678337292112 139679755122587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8246] ppid=8181 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8184/task/8246/stat : 8246 (java) S 8181 8184 4192 0 -1 1077944384 513 13130 0 0 2 0 5 3 20 0 15 0 69554699 11079016448 13432 33554432000 4194304 4196468 140733691264144 139678722059120 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8247] ppid=8181 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/8184/task/8247/stat : 8247 (java) S 8181 8184 4192 0 -1 1077944384 54 13130 0 0 1 0 5 3 20 0 15 0 69554699 11079016448 13432 33554432000 4194304 4196468 140733691264144 139678721006320 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8248] ppid=8181 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/8184/task/8248/stat : 8248 (java) S 8181 8184 4192 0 -1 1077944384 574 13130 0 0 5 0 5 3 20 0 15 0 69554699 11079016448 13432 33554432000 4194304 4196468 140733691264144 139678719953520 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8249] ppid=8181 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8249/stat : 8249 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554700 11079016448 13432 33554432000 4194304 4196468 140733691264144 139678303734496 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8250] ppid=8181 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8250/stat : 8250 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554700 11079016448 13432 33554432000 4194304 4196468 140733691264144 139678718900912 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53728 KiB
[startup+0.700762 s]
/proc/loadavg: 2.43 2.10 2.04 3/218 8250
/proc/meminfo: memFree=15676624/32770624 swapFree=67108860/67108860
[pid=8184] ppid=8181 vsize=10819352 memory=86204 CPUtime=0.98 cores=1,3,5,7
/proc/8184/stat : 8184 (java) S 8181 8184 4192 0 -1 1077944320 16751 13130 0 0 86 4 5 3 20 0 15 0 69554685 11079016448 21551 33554432000 4194304 4196468 140733691264144 140733691246688 139679755103991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
/proc/8184/statm: 2704838 21551 3237 1 0 2667149 0
[pid=8184/tid=8237] ppid=8181 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/8184/task/8237/stat : 8237 (java) R 8181 8184 4192 0 -1 4202560 12266 13130 0 0 55 3 5 3 20 0 15 0 69554694 11079016448 21551 33554432000 4194304 4196468 140733691264144 139679726904552 139679755125917 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8238] ppid=8181 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8238/stat : 8238 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554695 11079016448 21551 33554432000 4194304 4196468 140733691264144 139679759346832 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8239] ppid=8181 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8239/stat : 8239 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554695 11079016448 21551 33554432000 4194304 4196468 140733691264144 139679658236944 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8240] ppid=8181 vsize=10819352 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8240/stat : 8240 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554695 11079016448 21551 33554432000 4194304 4196468 140733691264144 139679657184144 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8241] ppid=8181 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8241/stat : 8241 (java) S 8181 8184 4192 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 69554695 11079016448 21551 33554432000 4194304 4196468 140733691264144 139679656131344 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8242] ppid=8181 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8242/stat : 8242 (java) S 8181 8184 4192 0 -1 1077944384 5 13130 0 0 0 0 5 3 20 0 15 0 69554696 11079016448 21551 33554432000 4194304 4196468 140733691264144 139678756669808 139679755115138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8243] ppid=8181 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8243/stat : 8243 (java) S 8181 8184 4192 0 -1 1077944384 33 13130 0 0 0 0 5 3 20 0 15 0 69554696 11079016448 21551 33554432000 4194304 4196468 140733691264144 139678755615776 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8244] ppid=8181 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8244/stat : 8244 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554697 11079016448 21551 33554432000 4194304 4196468 140733691264144 139678644691824 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8245] ppid=8181 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8245/stat : 8245 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554699 11079016448 21551 33554432000 4194304 4196468 140733691264144 139678337292112 139679755122587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8246] ppid=8181 vsize=10819352 memory=30305 CPUtime=0.18 cores=1,3,5,7
/proc/8184/task/8246/stat : 8246 (java) S 8181 8184 4192 0 -1 1077944384 1175 13130 0 0 10 0 5 3 20 0 15 0 69554699 11079016448 21551 33554432000 4194304 4196468 140733691264144 139678722059120 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8247] ppid=8181 vsize=10819352 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/8184/task/8247/stat : 8247 (java) S 8181 8184 4192 0 -1 1077944384 420 13130 0 0 6 0 5 3 20 0 15 0 69554699 11079016448 21551 33554432000 4194304 4196468 140733691264144 139678721006320 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8248] ppid=8181 vsize=10819352 memory=3533419649945857444 CPUtime=0.21 cores=1,3,5,7
/proc/8184/task/8248/stat : 8248 (java) S 8181 8184 4192 0 -1 1077944384 646 13130 0 0 13 0 5 3 20 0 15 0 69554699 11079016448 21551 33554432000 4194304 4196468 140733691264144 139678719953520 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8249] ppid=8181 vsize=10819352 memory=-6305718312468242048 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8249/stat : 8249 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554700 11079016448 21551 33554432000 4194304 4196468 140733691264144 139678303734496 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8250] ppid=8181 vsize=10819352 memory=-7094132109863559211 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8250/stat : 8250 (java) S 8181 8184 4192 0 -1 1077944384 1 13130 0 0 0 0 5 3 20 0 15 0 69554700 11079016448 21551 33554432000 4194304 4196468 140733691264144 139678718900912 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86204 KiB
[startup+1.50073 s]
/proc/loadavg: 2.43 2.10 2.04 3/218 8250
/proc/meminfo: memFree=15630696/32770624 swapFree=67108860/67108860
[pid=8184] ppid=8181 vsize=10834252 memory=179572 CPUtime=2.25 cores=1,3,5,7
/proc/8184/stat : 8184 (java) S 8181 8184 4192 0 -1 1077944320 25277 13130 0 0 206 11 5 3 20 0 15 0 69554685 11094274048 44893 33554432000 4194304 4196468 140733691264144 140733691246688 139679755103991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
/proc/8184/statm: 2708563 44893 3471 1 0 2670221 0
[pid=8184/tid=8237] ppid=8181 vsize=10834252 memory=186 CPUtime=1.43 cores=1,3,5,7
/proc/8184/task/8237/stat : 8237 (java) R 8181 8184 4192 0 -1 4202560 18073 13130 0 0 129 6 5 3 20 0 15 0 69554694 11094274048 44893 33554432000 4194304 4196468 140733691264144 139679726933984 139679739147621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8238] ppid=8181 vsize=10834252 memory=118 CPUtime=0.09 cores=1,3,5,7
/proc/8184/task/8238/stat : 8238 (java) S 8181 8184 4192 0 -1 1077944384 19 13130 0 0 1 0 5 3 20 0 15 0 69554695 11094274048 44893 33554432000 4194304 4196468 140733691264144 139679759346832 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8239] ppid=8181 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8184/task/8239/stat : 8239 (java) S 8181 8184 4192 0 -1 1077944384 71 13130 0 0 1 0 5 3 20 0 15 0 69554695 11094274048 44893 33554432000 4194304 4196468 140733691264144 139679658236944 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8240] ppid=8181 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8184/task/8240/stat : 8240 (java) S 8181 8184 4192 0 -1 1077944384 23 13130 0 0 1 0 5 3 20 0 15 0 69554695 11094274048 44893 33554432000 4194304 4196468 140733691264144 139679657184144 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8241] ppid=8181 vsize=10834252 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8241/stat : 8241 (java) S 8181 8184 4192 0 -1 1077944384 246 13130 0 0 0 0 5 3 20 0 15 0 69554695 11094274048 44893 33554432000 4194304 4196468 140733691264144 139679656131344 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8242] ppid=8181 vsize=10834252 memory=3533419649945857444 CPUtime=0.09 cores=1,3,5,7
/proc/8184/task/8242/stat : 8242 (java) S 8181 8184 4192 0 -1 1077944384 977 13130 0 0 1 0 5 3 20 0 15 0 69554696 11094274048 44893 33554432000 4194304 4196468 140733691264144 139678756669808 139679755115138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8243] ppid=8181 vsize=10834252 memory=279275013976128 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8243/stat : 8243 (java) S 8181 8184 4192 0 -1 1077944384 33 13130 0 0 0 0 5 3 20 0 15 0 69554696 11094274048 44893 33554432000 4194304 4196468 140733691264144 139678755615840 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8244] ppid=8181 vsize=10834252 memory=279275013980576 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8244/stat : 8244 (java) S 8181 8184 4192 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 69554697 11094274048 44893 33554432000 4194304 4196468 140733691264144 139678644691840 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8245] ppid=8181 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8245/stat : 8245 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554699 11094274048 44893 33554432000 4194304 4196468 140733691264144 139678337292112 139679755122587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8246] ppid=8181 vsize=10834252 memory=6944656575208382560 CPUtime=0.3 cores=1,3,5,7
/proc/8184/task/8246/stat : 8246 (java) R 8181 8184 4192 0 -1 4202560 1336 13130 0 0 22 0 5 3 20 0 15 0 69554699 11094274048 44893 33554432000 4194304 4196468 140733691264144 139678722059120 139679736648095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8247] ppid=8181 vsize=10834252 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/8184/task/8247/stat : 8247 (java) S 8181 8184 4192 0 -1 1077944384 882 13130 0 0 17 0 5 3 20 0 15 0 69554699 11094274048 44893 33554432000 4194304 4196468 140733691264144 139678721006320 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8248] ppid=8181 vsize=10834252 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/8184/task/8248/stat : 8248 (java) S 8181 8184 4192 0 -1 1077944384 1413 13130 0 0 30 0 5 3 20 0 15 0 69554699 11094274048 44893 33554432000 4194304 4196468 140733691264144 139678719953520 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8249] ppid=8181 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8249/stat : 8249 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554700 11094274048 44893 33554432000 4194304 4196468 140733691264144 139678303734496 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8250] ppid=8181 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8250/stat : 8250 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554700 11094274048 44893 33554432000 4194304 4196468 140733691264144 139678718900912 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[startup+3.11005 s]
/proc/loadavg: 2.55 2.13 2.05 4/218 8250
/proc/meminfo: memFree=15514064/32770624 swapFree=67108860/67108860
[pid=8184] ppid=8181 vsize=10844512 memory=247532 CPUtime=6.1 cores=1,3,5,7
/proc/8184/stat : 8184 (java) S 8181 8184 4192 0 -1 1077944320 35732 13130 0 0 586 16 5 3 20 0 15 0 69554685 11104780288 61883 33554432000 4194304 4196468 140733691264144 140733691246688 139679755103991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
/proc/8184/statm: 2711128 61883 3494 1 0 2672781 0
[pid=8184/tid=8237] ppid=8181 vsize=10844512 memory=0 CPUtime=2.98 cores=1,3,5,7
/proc/8184/task/8237/stat : 8237 (java) R 8181 8184 4192 0 -1 4202560 23477 13130 0 0 282 8 5 3 20 0 15 0 69554694 11104780288 61883 33554432000 4194304 4196468 140733691264144 139679726936608 139679755115926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8238] ppid=8181 vsize=10844512 memory=80 CPUtime=0.1 cores=1,3,5,7
/proc/8184/task/8238/stat : 8238 (java) S 8181 8184 4192 0 -1 1077944384 53 13130 0 0 2 0 5 3 20 0 15 0 69554695 11104780288 61883 33554432000 4194304 4196468 140733691264144 139679759346832 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8239] ppid=8181 vsize=10844512 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8184/task/8239/stat : 8239 (java) S 8181 8184 4192 0 -1 1077944384 89 13130 0 0 3 0 5 3 20 0 15 0 69554695 11104780288 61883 33554432000 4194304 4196468 140733691264144 139679658236944 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8240] ppid=8181 vsize=10844512 memory=279275013976032 CPUtime=0.11 cores=1,3,5,7
/proc/8184/task/8240/stat : 8240 (java) S 8181 8184 4192 0 -1 1077944384 39 13130 0 0 3 0 5 3 20 0 15 0 69554695 11104780288 61883 33554432000 4194304 4196468 140733691264144 139679657184144 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8241] ppid=8181 vsize=10844512 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8184/task/8241/stat : 8241 (java) S 8181 8184 4192 0 -1 1077944384 255 13130 0 0 2 0 5 3 20 0 15 0 69554695 11104780288 61883 33554432000 4194304 4196468 140733691264144 139679656131344 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8242] ppid=8181 vsize=10844512 memory=55 CPUtime=0.11 cores=1,3,5,7
/proc/8184/task/8242/stat : 8242 (java) S 8181 8184 4192 0 -1 1077944384 1434 13130 0 0 3 0 5 3 20 0 15 0 69554696 11104780288 61883 33554432000 4194304 4196468 140733691264144 139678756669808 139679755115138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8243] ppid=8181 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8243/stat : 8243 (java) S 8181 8184 4192 0 -1 1077944384 36 13130 0 0 0 0 5 3 20 0 15 0 69554696 11104780288 61883 33554432000 4194304 4196468 140733691264144 139678755615840 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8244] ppid=8181 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8244/stat : 8244 (java) S 8181 8184 4192 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 69554697 11104780288 61883 33554432000 4194304 4196468 140733691264144 139678644691840 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8245] ppid=8181 vsize=10844512 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8245/stat : 8245 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554699 11104780288 61883 33554432000 4194304 4196468 140733691264144 139678337292112 139679755122587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8246] ppid=8181 vsize=10844512 memory=9130442918606700162 CPUtime=0.88 cores=1,3,5,7
/proc/8184/task/8246/stat : 8246 (java) S 8181 8184 4192 0 -1 1077944384 2016 13130 0 0 79 1 5 3 20 0 15 0 69554699 11104780288 61883 33554432000 4194304 4196468 140733691264144 139678722059120 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8247] ppid=8181 vsize=10844512 memory=667680 CPUtime=1.07 cores=1,3,5,7
/proc/8184/task/8247/stat : 8247 (java) S 8181 8184 4192 0 -1 1077944384 2408 13130 0 0 98 1 5 3 20 0 15 0 69554699 11104780288 61883 33554432000 4194304 4196468 140733691264144 139678721006320 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8248] ppid=8181 vsize=10844512 memory=0 CPUtime=1.17 cores=1,3,5,7
/proc/8184/task/8248/stat : 8248 (java) R 8181 8184 4192 0 -1 4202560 3723 13130 0 0 108 1 5 3 20 0 15 0 69554699 11104780288 61883 33554432000 4194304 4196468 140733691264144 139678719953408 139679747341118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8249] ppid=8181 vsize=10844512 memory=303993173188018202 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8249/stat : 8249 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554700 11104780288 61883 33554432000 4194304 4196468 140733691264144 139678303734496 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8250] ppid=8181 vsize=10844512 memory=302022869909766459 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8250/stat : 8250 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554700 11104780288 61883 33554432000 4194304 4196468 140733691264144 139678718900912 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
Current children cumulated CPU time: 6.1 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 247532 KiB
[startup+3.7988 s]
# the end of solver process 8184 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.56397 s, system=0.242971 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20464 s]
/proc/loadavg: 2.55 2.13 2.05 4/218 8250
/proc/meminfo: memFree=15514064/32770624 swapFree=67108860/67108860
[pid=8184] ppid=8181 vsize=10846560 memory=248900 CPUtime=6.3 cores=1,3,5,7
/proc/8184/stat : 8184 (java) S 8181 8184 4192 0 -1 1077944320 36131 13130 0 0 606 16 5 3 20 0 15 0 69554685 11106877440 62225 33554432000 4194304 4196468 140733691264144 140733691246688 139679755103991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
/proc/8184/statm: 2711640 62225 3495 1 0 2673293 0
[pid=8184/tid=8237] ppid=8181 vsize=10846560 memory=279275014717200 CPUtime=3.08 cores=1,3,5,7
/proc/8184/task/8237/stat : 8237 (java) R 8181 8184 4192 0 -1 4202560 23744 13130 0 0 292 8 5 3 20 0 15 0 69554694 11106877440 62225 33554432000 4194304 4196468 140733691264144 139679726936496 139679739147621 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8238] ppid=8181 vsize=10846560 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8184/task/8238/stat : 8238 (java) S 8181 8184 4192 0 -1 1077944384 53 13130 0 0 2 0 5 3 20 0 15 0 69554695 11106877440 62225 33554432000 4194304 4196468 140733691264144 139679759346832 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8239] ppid=8181 vsize=10846560 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8184/task/8239/stat : 8239 (java) S 8181 8184 4192 0 -1 1077944384 89 13130 0 0 3 0 5 3 20 0 15 0 69554695 11106877440 62225 33554432000 4194304 4196468 140733691264144 139679658236944 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8240] ppid=8181 vsize=10846560 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8184/task/8240/stat : 8240 (java) S 8181 8184 4192 0 -1 1077944384 39 13130 0 0 3 0 5 3 20 0 15 0 69554695 11106877440 62225 33554432000 4194304 4196468 140733691264144 139679657184144 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8241] ppid=8181 vsize=10846560 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8184/task/8241/stat : 8241 (java) S 8181 8184 4192 0 -1 1077944384 255 13130 0 0 2 0 5 3 20 0 15 0 69554695 11106877440 62225 33554432000 4194304 4196468 140733691264144 139679656131344 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8242] ppid=8181 vsize=10846560 memory=3009 CPUtime=0.11 cores=1,3,5,7
/proc/8184/task/8242/stat : 8242 (java) S 8181 8184 4192 0 -1 1077944384 1434 13130 0 0 3 0 5 3 20 0 15 0 69554696 11106877440 62225 33554432000 4194304 4196468 140733691264144 139678756669808 139679755115138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8243] ppid=8181 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8243/stat : 8243 (java) S 8181 8184 4192 0 -1 1077944384 36 13130 0 0 0 0 5 3 20 0 15 0 69554696 11106877440 62225 33554432000 4194304 4196468 140733691264144 139678755615840 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8244] ppid=8181 vsize=10846560 memory=-5628408999910123566 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8244/stat : 8244 (java) S 8181 8184 4192 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 69554697 11106877440 62225 33554432000 4194304 4196468 140733691264144 139678644691840 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8245] ppid=8181 vsize=10846560 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8245/stat : 8245 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554699 11106877440 62225 33554432000 4194304 4196468 140733691264144 139678337292112 139679755122587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8246] ppid=8181 vsize=10846560 memory=6944656592455360604 CPUtime=0.93 cores=1,3,5,7
/proc/8184/task/8246/stat : 8246 (java) S 8181 8184 4192 0 -1 1077944384 2029 13130 0 0 84 1 5 3 20 0 15 0 69554699 11106877440 62225 33554432000 4194304 4196468 140733691264144 139678722059120 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8247] ppid=8181 vsize=10846560 memory=-5628408999910123566 CPUtime=1.08 cores=1,3,5,7
/proc/8184/task/8247/stat : 8247 (java) S 8181 8184 4192 0 -1 1077944384 2429 13130 0 0 99 1 5 3 20 0 15 0 69554699 11106877440 62225 33554432000 4194304 4196468 140733691264144 139678721006320 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8248] ppid=8181 vsize=10846560 memory=164 CPUtime=1.21 cores=1,3,5,7
/proc/8184/task/8248/stat : 8248 (java) R 8181 8184 4192 0 -1 4202560 3819 13130 0 0 112 1 5 3 20 0 15 0 69554699 11106877440 62225 33554432000 4194304 4196468 140733691264144 139678719953520 139679755125338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8249] ppid=8181 vsize=10846560 memory=6944656592455350634 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8249/stat : 8249 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554700 11106877440 62225 33554432000 4194304 4196468 140733691264144 139678303734496 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8250] ppid=8181 vsize=10846560 memory=139637637580993 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8250/stat : 8250 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554700 11106877440 62225 33554432000 4194304 4196468 140733691264144 139678718900912 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 248900 KiB
[startup+3.60125 s]
/proc/loadavg: 2.55 2.13 2.05 4/218 8250
/proc/meminfo: memFree=15514064/32770624 swapFree=67108860/67108860
[pid=8184] ppid=8181 vsize=10914144 memory=307168 CPUtime=7.34 cores=1,3,5,7
/proc/8184/stat : 8184 (java) S 8181 8184 4192 0 -1 1077944320 61234 13130 0 0 707 19 5 3 20 0 15 0 69554685 11176083456 76792 33554432000 4194304 4196468 140733691264144 140733691246688 139679755103991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
/proc/8184/statm: 2728536 76792 3496 1 0 2690189 0
[pid=8184/tid=8237] ppid=8181 vsize=10914144 memory=0 CPUtime=3.47 cores=1,3,5,7
/proc/8184/task/8237/stat : 8237 (java) R 8181 8184 4192 0 -1 4202560 42758 13130 0 0 329 10 5 3 20 0 15 0 69554694 11176083456 76792 33554432000 4194304 4196468 140733691264144 139679726933312 139679739147621 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8238] ppid=8181 vsize=10914144 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8184/task/8238/stat : 8238 (java) S 8181 8184 4192 0 -1 1077944384 53 13130 0 0 2 0 5 3 20 0 15 0 69554695 11176083456 76792 33554432000 4194304 4196468 140733691264144 139679759346832 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8239] ppid=8181 vsize=10914144 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8184/task/8239/stat : 8239 (java) S 8181 8184 4192 0 -1 1077944384 89 13130 0 0 3 0 5 3 20 0 15 0 69554695 11176083456 76792 33554432000 4194304 4196468 140733691264144 139679658236944 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8240] ppid=8181 vsize=10914144 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8184/task/8240/stat : 8240 (java) S 8181 8184 4192 0 -1 1077944384 39 13130 0 0 3 0 5 3 20 0 15 0 69554695 11176083456 76792 33554432000 4194304 4196468 140733691264144 139679657184144 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8241] ppid=8181 vsize=10914144 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8184/task/8241/stat : 8241 (java) S 8181 8184 4192 0 -1 1077944384 255 13130 0 0 2 0 5 3 20 0 15 0 69554695 11176083456 76792 33554432000 4194304 4196468 140733691264144 139679656131344 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8242] ppid=8181 vsize=10914144 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/8184/task/8242/stat : 8242 (java) S 8181 8184 4192 0 -1 1077944384 1939 13130 0 0 3 0 5 3 20 0 15 0 69554696 11176083456 76792 33554432000 4194304 4196468 140733691264144 139678756669808 139679755115138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8243] ppid=8181 vsize=10914144 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8243/stat : 8243 (java) S 8181 8184 4192 0 -1 1077944384 36 13130 0 0 0 0 5 3 20 0 15 0 69554696 11176083456 76792 33554432000 4194304 4196468 140733691264144 139678755615840 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8244] ppid=8181 vsize=10914144 memory=14 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8244/stat : 8244 (java) S 8181 8184 4192 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 69554697 11176083456 76792 33554432000 4194304 4196468 140733691264144 139678644691840 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8245] ppid=8181 vsize=10914144 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8245/stat : 8245 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554699 11176083456 76792 33554432000 4194304 4196468 140733691264144 139678337292112 139679755122587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8246] ppid=8181 vsize=10914144 memory=7813587196152197430 CPUtime=1.32 cores=1,3,5,7
/proc/8184/task/8246/stat : 8246 (java) R 8181 8184 4192 0 -1 4202560 5608 13130 0 0 122 2 5 3 20 0 15 0 69554699 11176083456 76792 33554432000 4194304 4196468 140733691264144 139678722045000 139679740219077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8247] ppid=8181 vsize=10914144 memory=5859570522891898960 CPUtime=1.2 cores=1,3,5,7
/proc/8184/task/8247/stat : 8247 (java) R 8181 8184 4192 0 -1 4202560 2958 13130 0 0 111 1 5 3 20 0 15 0 69554699 11176083456 76792 33554432000 4194304 4196468 140733691264144 139678720999512 139679740001627 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8248] ppid=8181 vsize=10914144 memory=7588675599774802240 CPUtime=1.34 cores=1,3,5,7
/proc/8184/task/8248/stat : 8248 (java) S 8181 8184 4192 0 -1 1077944384 5290 13130 0 0 125 1 5 3 20 0 15 0 69554699 11176083456 76792 33554432000 4194304 4196468 140733691264144 139678719953520 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8249] ppid=8181 vsize=10914144 memory=6442212802344004192 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8249/stat : 8249 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554700 11176083456 76792 33554432000 4194304 4196468 140733691264144 139678303734496 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8250] ppid=8181 vsize=10914144 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8250/stat : 8250 (java) S 8181 8184 4192 0 -1 1077944384 11 13130 0 0 0 0 5 3 20 0 15 0 69554700 11176083456 76792 33554432000 4194304 4196468 140733691264144 139678718900912 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
Current children cumulated CPU time: 7.34 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 307168 KiB
[startup+3.70125 s]
/proc/loadavg: 2.55 2.13 2.05 4/218 8250
/proc/meminfo: memFree=15514064/32770624 swapFree=67108860/67108860
[pid=8184] ppid=8181 vsize=10916504 memory=312156 CPUtime=7.66 cores=1,3,5,7
/proc/8184/stat : 8184 (java) S 8181 8184 4192 0 -1 1077944320 62524 13130 0 0 739 19 5 3 20 0 15 0 69554685 11178500096 78039 33554432000 4194304 4196468 140733691264144 140733691246688 139679755103991 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
/proc/8184/statm: 2729126 78039 3497 1 0 2690779 0
[pid=8184/tid=8237] ppid=8181 vsize=10916504 memory=0 CPUtime=3.57 cores=1,3,5,7
/proc/8184/task/8237/stat : 8237 (java) R 8181 8184 4192 0 -1 4202560 43013 13130 0 0 339 10 5 3 20 0 15 0 69554694 11178500096 78039 33554432000 4194304 4196468 140733691264144 139679726929360 139679345024775 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8238] ppid=8181 vsize=10916504 memory=55 CPUtime=0.1 cores=1,3,5,7
/proc/8184/task/8238/stat : 8238 (java) S 8181 8184 4192 0 -1 1077944384 53 13130 0 0 2 0 5 3 20 0 15 0 69554695 11178500096 78039 33554432000 4194304 4196468 140733691264144 139679759346832 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8239] ppid=8181 vsize=10916504 memory=3303 CPUtime=0.11 cores=1,3,5,7
/proc/8184/task/8239/stat : 8239 (java) S 8181 8184 4192 0 -1 1077944384 89 13130 0 0 3 0 5 3 20 0 15 0 69554695 11178500096 78039 33554432000 4194304 4196468 140733691264144 139679658236944 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8240] ppid=8181 vsize=10916504 memory=80 CPUtime=0.11 cores=1,3,5,7
/proc/8184/task/8240/stat : 8240 (java) S 8181 8184 4192 0 -1 1077944384 39 13130 0 0 3 0 5 3 20 0 15 0 69554695 11178500096 78039 33554432000 4194304 4196468 140733691264144 139679657184144 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8241] ppid=8181 vsize=10916504 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8184/task/8241/stat : 8241 (java) S 8181 8184 4192 0 -1 1077944384 255 13130 0 0 2 0 5 3 20 0 15 0 69554695 11178500096 78039 33554432000 4194304 4196468 140733691264144 139679656131344 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8242] ppid=8181 vsize=10916504 memory=279275013976032 CPUtime=0.11 cores=1,3,5,7
/proc/8184/task/8242/stat : 8242 (java) S 8181 8184 4192 0 -1 1077944384 1939 13130 0 0 3 0 5 3 20 0 15 0 69554696 11178500096 78039 33554432000 4194304 4196468 140733691264144 139678756669808 139679755115138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8243] ppid=8181 vsize=10916504 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8243/stat : 8243 (java) S 8181 8184 4192 0 -1 1077944384 36 13130 0 0 0 0 5 3 20 0 15 0 69554696 11178500096 78054 33554432000 4194304 4196468 140733691264144 139678755615840 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8244] ppid=8181 vsize=10916504 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8244/stat : 8244 (java) S 8181 8184 4192 0 -1 1077944384 2 13130 0 0 0 0 5 3 20 0 15 0 69554697 11178500096 78054 33554432000 4194304 4196468 140733691264144 139678644691840 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8245] ppid=8181 vsize=10916504 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8245/stat : 8245 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554699 11178500096 78054 33554432000 4194304 4196468 140733691264144 139678337292112 139679755122587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8246] ppid=8181 vsize=10916504 memory=8 CPUtime=1.42 cores=1,3,5,7
/proc/8184/task/8246/stat : 8246 (java) R 8181 8184 4192 0 -1 4202560 6519 13130 0 0 132 2 5 3 20 0 15 0 69554699 11178500096 78054 33554432000 4194304 4196468 140733691264144 139678722045000 139679734790621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8247] ppid=8181 vsize=10916504 memory=8 CPUtime=1.29 cores=1,3,5,7
/proc/8184/task/8247/stat : 8247 (java) R 8181 8184 4192 0 -1 4202560 2987 13130 0 0 120 1 5 3 20 0 15 0 69554699 11178500096 78054 33554432000 4194304 4196468 140733691264144 139678720992416 139679738659235 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8248] ppid=8181 vsize=10916504 memory=8 CPUtime=1.38 cores=1,3,5,7
/proc/8184/task/8248/stat : 8248 (java) R 8181 8184 4192 0 -1 4202560 5389 13130 0 0 129 1 5 3 20 0 15 0 69554699 11178500096 78054 33554432000 4194304 4196468 140733691264144 139678719953520 139679748200732 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8249] ppid=8181 vsize=10916504 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8249/stat : 8249 (java) S 8181 8184 4192 0 -1 1077944384 3 13130 0 0 0 0 5 3 20 0 15 0 69554700 11178500096 78054 33554432000 4194304 4196468 140733691264144 139678303734496 139679755114197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
[pid=8184/tid=8250] ppid=8181 vsize=10916504 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/8184/task/8250/stat : 8250 (java) S 8181 8184 4192 0 -1 1077944384 11 13130 0 0 0 0 5 3 20 0 15 0 69554700 11178500096 78054 33554432000 4194304 4196468 140733691264144 139678718900912 139679755115138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33255424 140733691271339 140733691274588 140733691274588 140733691277263 0
Current children cumulated CPU time: 7.66 s
Current children cumulated vsize: 10916504 KiB
Current children cumulated memory: 312156 KiB
Child status: 0
Real time (s): 3.79885
CPU time (s): 7.80694
CPU user time (s): 7.56397
CPU system time (s): 0.242971
CPU usage (%): 205.508
Max. virtual memory (cumulated for all children) (KiB): 10916504
Max. memory (cumulated for all children) (KiB): 312156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.56397
system time used= 0.242971
maximum resident set size= 314380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6037
involuntary context switches= 31
# summary of solver processes directly reported to runsolver:
# pid: 8184
# total CPU time (s): 7.80694
# total CPU user time (s): 7.56397
# total CPU system time (s): 0.242971
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037123 second user time and 0.08414 second system time
The end