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 (3981 MiB free)
memory of node 1: 16384 MiB (1667 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304222-1534047725/watcher-4304222-1534047725 -o /tmp/evaluation-result-4304222-1534047725/solver-4304222-1534047725 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534040364-20982 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=479681553 -superng HOME/instance-4304222-1534047725.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
solver pid=22388, runsolver pid=22385
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 1.71 1.66 1.68 4/207 22445
/proc/meminfo: memFree=5780408/32770624 swapFree=67108380/67108860
[pid=22388] ppid=22385 vsize=10005480 memory=16548 CPUtime=0.09 cores=0,2,4,6
/proc/22388/stat : 22388 (java) S 22385 22388 18934 0 -1 1077944320 4326 13170 0 0 1 0 5 3 20 0 6 0 222335672 10245611520 4137 33554432000 4194304 4196468 140724024375728 140724024358272 140131023580919 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
/proc/22388/statm: 2501370 4137 1932 1 0 2489808 0
[pid=22388/tid=22441] ppid=22385 vsize=10005480 memory=4279135704047321741 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22441/stat : 22441 (java) R 22385 22388 18934 0 -1 4202560 2145 13170 0 0 0 0 5 3 20 0 6 0 222335682 10245611520 4203 33554432000 4194304 4196468 140724024375728 140130995417680 140131009263411 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22442] ppid=22385 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22442/stat : 22442 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 6 0 222335682 10245611520 4203 33554432000 4194304 4196468 140724024375728 140131027823248 140131023591125 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22443] ppid=22385 vsize=10005480 memory=140447733139072 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22443/stat : 22443 (java) S 22385 22388 18934 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 6 0 222335682 10245611520 4203 33554432000 4194304 4196468 140724024375728 140130893158928 140131023591125 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22444] ppid=22385 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22444/stat : 22444 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 6 0 222335682 10245611520 4203 33554432000 4194304 4196468 140724024375728 140130561943952 140131023591125 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22445] ppid=22385 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22445/stat : 22445 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 6 0 222335682 10245611520 4203 33554432000 4194304 4196468 140724024375728 140130560891152 140131023591125 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210018 s]*
/proc/loadavg: 1.71 1.66 1.68 3/216 22454
/proc/meminfo: memFree=5756844/32770624 swapFree=67108380/67108860
[pid=22388] ppid=22385 vsize=10982744 memory=44124 CPUtime=0.26 cores=0,2,4,6
/proc/22388/stat : 22388 (java) S 22385 22388 18934 0 -1 1077944320 7745 13170 0 0 17 1 5 3 20 0 15 0 222335672 11246329856 11031 33554432000 4194304 4196468 140724024375728 140724024358272 140131023580919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
/proc/22388/statm: 2745686 11031 2961 1 0 2708109 0
[pid=22388/tid=22441] ppid=22385 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/22388/task/22441/stat : 22441 (java) R 22385 22388 18934 0 -1 4202560 4382 13170 0 0 10 1 5 3 20 0 15 0 222335682 11246329856 11097 33554432000 4194304 4196468 140724024375728 140130995404608 140131003856640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22442] ppid=22385 vsize=10982744 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22442/stat : 22442 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335682 11246329856 11097 33554432000 4194304 4196468 140724024375728 140131027823248 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22443] ppid=22385 vsize=10982744 memory=288370823884850816 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22443/stat : 22443 (java) S 22385 22388 18934 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 222335682 11246329856 11097 33554432000 4194304 4196468 140724024375728 140130893158928 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22444] ppid=22385 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22444/stat : 22444 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335682 11246329856 11097 33554432000 4194304 4196468 140724024375728 140130561943952 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22445] ppid=22385 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22445/stat : 22445 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335682 11246329856 11163 33554432000 4194304 4196468 140724024375728 140130560891152 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22446] ppid=22385 vsize=10982744 memory=140447733139072 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22446/stat : 22446 (java) S 22385 22388 18934 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 222335684 11246329856 11163 33554432000 4194304 4196468 140724024375728 140130449488752 140131023592066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22447] ppid=22385 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22447/stat : 22447 (java) S 22385 22388 18934 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 222335684 11246329856 11163 33554432000 4194304 4196468 140724024375728 140129884694048 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22448] ppid=22385 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22448/stat : 22448 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335685 11246329856 11163 33554432000 4194304 4196468 140724024375728 140129683367280 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22449] ppid=22385 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22449/stat : 22449 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11246329856 11163 33554432000 4194304 4196468 140724024375728 140129375967568 140131023599515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22450] ppid=22385 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22388/task/22450/stat : 22450 (java) S 22385 22388 18934 0 -1 1077944384 430 13170 0 0 1 0 5 3 20 0 15 0 222335687 11246329856 11163 33554432000 4194304 4196468 140724024375728 140130448435568 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22451] ppid=22385 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22388/task/22451/stat : 22451 (java) S 22385 22388 18934 0 -1 1077944384 186 13170 0 0 1 0 5 3 20 0 15 0 222335687 11246329856 11163 33554432000 4194304 4196468 140724024375728 140130447382768 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22452] ppid=22385 vsize=10982744 memory=140447733139072 CPUtime=0.11 cores=0,2,4,6
/proc/22388/task/22452/stat : 22452 (java) S 22385 22388 18934 0 -1 1077944384 602 13170 0 0 3 0 5 3 20 0 15 0 222335687 11246329856 11163 33554432000 4194304 4196468 140724024375728 140130446329968 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22453] ppid=22385 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22453/stat : 22453 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11246329856 11163 33554432000 4194304 4196468 140724024375728 140128945170656 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22454] ppid=22385 vsize=10982744 memory=140447733139072 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22454/stat : 22454 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335688 11246329856 11163 33554432000 4194304 4196468 140724024375728 140130445278384 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44124 KiB
[startup+0.310263 s]*
/proc/loadavg: 1.71 1.66 1.68 3/216 22454
/proc/meminfo: memFree=5744564/32770624 swapFree=67108380/67108860
[pid=22388] ppid=22385 vsize=10983192 memory=56156 CPUtime=0.39 cores=0,2,4,6
/proc/22388/stat : 22388 (java) S 22385 22388 18934 0 -1 1077944320 10592 13170 0 0 28 3 5 3 20 0 15 0 222335672 11246788608 14039 33554432000 4194304 4196468 140724024375728 140724024358272 140131023580919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
/proc/22388/statm: 2745798 14039 3080 1 0 2708109 0
[pid=22388/tid=22441] ppid=22385 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/22388/task/22441/stat : 22441 (java) R 22385 22388 18934 0 -1 4202560 7141 13170 0 0 19 2 5 3 20 0 15 0 222335682 11246788608 14039 33554432000 4194304 4196468 140724024375728 140130995392928 140131003856299 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22442] ppid=22385 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22442/stat : 22442 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335682 11246788608 14039 33554432000 4194304 4196468 140724024375728 140131027823248 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22443] ppid=22385 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22443/stat : 22443 (java) S 22385 22388 18934 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 222335682 11246788608 14039 33554432000 4194304 4196468 140724024375728 140130893158928 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22444] ppid=22385 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22444/stat : 22444 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335682 11246788608 14039 33554432000 4194304 4196468 140724024375728 140130561943952 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22445] ppid=22385 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22445/stat : 22445 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335682 11246788608 14039 33554432000 4194304 4196468 140724024375728 140130560891152 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22446] ppid=22385 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22446/stat : 22446 (java) S 22385 22388 18934 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 222335684 11246788608 14039 33554432000 4194304 4196468 140724024375728 140130449488752 140131023592066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22447] ppid=22385 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22447/stat : 22447 (java) S 22385 22388 18934 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 222335684 11246788608 14039 33554432000 4194304 4196468 140724024375728 140129884694048 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22448] ppid=22385 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22448/stat : 22448 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335685 11246788608 14039 33554432000 4194304 4196468 140724024375728 140129683367280 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22449] ppid=22385 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22449/stat : 22449 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11246788608 14039 33554432000 4194304 4196468 140724024375728 140129375967568 140131023599515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22450] ppid=22385 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22388/task/22450/stat : 22450 (java) S 22385 22388 18934 0 -1 1077944384 433 13170 0 0 1 0 5 3 20 0 15 0 222335687 11246788608 14039 33554432000 4194304 4196468 140724024375728 140130448435568 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22451] ppid=22385 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22388/task/22451/stat : 22451 (java) S 22385 22388 18934 0 -1 1077944384 187 13170 0 0 1 0 5 3 20 0 15 0 222335687 11246788608 14039 33554432000 4194304 4196468 140724024375728 140130447382768 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22452] ppid=22385 vsize=10983192 memory=140447733139072 CPUtime=0.13 cores=0,2,4,6
/proc/22388/task/22452/stat : 22452 (java) S 22385 22388 18934 0 -1 1077944384 608 13170 0 0 5 0 5 3 20 0 15 0 222335687 11246788608 14039 33554432000 4194304 4196468 140724024375728 140130446329968 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22453] ppid=22385 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22453/stat : 22453 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11246788608 14039 33554432000 4194304 4196468 140724024375728 140128945170656 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22454] ppid=22385 vsize=10983192 memory=140447733139072 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22454/stat : 22454 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335688 11246788608 14039 33554432000 4194304 4196468 140724024375728 140130445278384 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56156 KiB
[startup+0.700777 s]
/proc/loadavg: 1.71 1.66 1.68 3/216 22454
/proc/meminfo: memFree=5733044/32770624 swapFree=67108380/67108860
[pid=22388] ppid=22385 vsize=10983192 memory=88776 CPUtime=0.99 cores=0,2,4,6
/proc/22388/stat : 22388 (java) S 22385 22388 18934 0 -1 1077944320 16761 13170 0 0 87 4 5 3 20 0 15 0 222335672 11246788608 22194 33554432000 4194304 4196468 140724024375728 140724024358272 140131023580919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
/proc/22388/statm: 2745798 22194 3238 1 0 2708109 0
[pid=22388/tid=22441] ppid=22385 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/22388/task/22441/stat : 22441 (java) R 22385 22388 18934 0 -1 4202560 12224 13170 0 0 55 3 5 3 20 0 15 0 222335682 11246788608 22194 33554432000 4194304 4196468 140724024375728 140130995401744 140131006767728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22442] ppid=22385 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22442/stat : 22442 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335682 11246788608 22194 33554432000 4194304 4196468 140724024375728 140131027823248 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22443] ppid=22385 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22443/stat : 22443 (java) S 22385 22388 18934 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 222335682 11246788608 22194 33554432000 4194304 4196468 140724024375728 140130893158928 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22444] ppid=22385 vsize=10983192 memory=140447578207024 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22444/stat : 22444 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335682 11246788608 22194 33554432000 4194304 4196468 140724024375728 140130561943952 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22445] ppid=22385 vsize=10983192 memory=140449725547097 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22445/stat : 22445 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335682 11246788608 22194 33554432000 4194304 4196468 140724024375728 140130560891152 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22446] ppid=22385 vsize=10983192 memory=1388 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22446/stat : 22446 (java) S 22385 22388 18934 0 -1 1077944384 5 13170 0 0 0 0 5 3 20 0 15 0 222335684 11246788608 22194 33554432000 4194304 4196468 140724024375728 140130449488752 140131023592066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22447] ppid=22385 vsize=10983192 memory=4639098309541127525 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22447/stat : 22447 (java) S 22385 22388 18934 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 222335684 11246788608 22194 33554432000 4194304 4196468 140724024375728 140129884694048 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22448] ppid=22385 vsize=10983192 memory=6082220498109361512 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22448/stat : 22448 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335685 11246788608 22194 33554432000 4194304 4196468 140724024375728 140129683367280 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22449] ppid=22385 vsize=10983192 memory=33668 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22449/stat : 22449 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11246788608 22194 33554432000 4194304 4196468 140724024375728 140129375967568 140131023599515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22450] ppid=22385 vsize=10983192 memory=14392 CPUtime=0.15 cores=0,2,4,6
/proc/22388/task/22450/stat : 22450 (java) S 22385 22388 18934 0 -1 1077944384 824 13170 0 0 7 0 5 3 20 0 15 0 222335687 11246788608 22194 33554432000 4194304 4196468 140724024375728 140130448435568 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22451] ppid=22385 vsize=10983192 memory=4004 CPUtime=0.17 cores=0,2,4,6
/proc/22388/task/22451/stat : 22451 (java) S 22385 22388 18934 0 -1 1077944384 810 13170 0 0 9 0 5 3 20 0 15 0 222335687 11246788608 22194 33554432000 4194304 4196468 140724024375728 140130447382768 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22452] ppid=22385 vsize=10983192 memory=500 CPUtime=0.21 cores=0,2,4,6
/proc/22388/task/22452/stat : 22452 (java) S 22385 22388 18934 0 -1 1077944384 677 13170 0 0 13 0 5 3 20 0 15 0 222335687 11246788608 22194 33554432000 4194304 4196468 140724024375728 140130446329968 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22453] ppid=22385 vsize=10983192 memory=1720 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22453/stat : 22453 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11246788608 22194 33554432000 4194304 4196468 140724024375728 140128945170656 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22454] ppid=22385 vsize=10983192 memory=1176 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22454/stat : 22454 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335688 11246788608 22194 33554432000 4194304 4196468 140724024375728 140130445278384 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88776 KiB
[startup+1.5009 s]
/proc/loadavg: 1.71 1.66 1.68 5/216 22454
/proc/meminfo: memFree=5687164/32770624 swapFree=67108380/67108860
[pid=22388] ppid=22385 vsize=10991948 memory=186228 CPUtime=3.14 cores=0,2,4,6
/proc/22388/stat : 22388 (java) S 22385 22388 18934 0 -1 1077944320 24095 13170 0 0 298 8 5 3 20 0 15 0 222335672 11255754752 46557 33554432000 4194304 4196468 140724024375728 140724024358272 140131023580919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
/proc/22388/statm: 2747987 46557 3446 1 0 2709645 0
[pid=22388/tid=22441] ppid=22385 vsize=10991948 memory=65264 CPUtime=1.47 cores=0,2,4,6
/proc/22388/task/22441/stat : 22441 (java) R 22385 22388 18934 0 -1 4202560 15175 13170 0 0 133 6 5 3 20 0 15 0 222335682 11255754752 46557 33554432000 4194304 4196468 140724024375728 140130995410008 140130576881432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22442] ppid=22385 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22442/stat : 22442 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335682 11255754752 46557 33554432000 4194304 4196468 140724024375728 140131027823248 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22443] ppid=22385 vsize=10991948 memory=280895156445344 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22443/stat : 22443 (java) S 22385 22388 18934 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 222335682 11255754752 46557 33554432000 4194304 4196468 140724024375728 140130893158928 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22444] ppid=22385 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22444/stat : 22444 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335682 11255754752 46557 33554432000 4194304 4196468 140724024375728 140130561943952 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22445] ppid=22385 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22445/stat : 22445 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335682 11255754752 46557 33554432000 4194304 4196468 140724024375728 140130560891152 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22446] ppid=22385 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22446/stat : 22446 (java) S 22385 22388 18934 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 222335684 11255754752 46557 33554432000 4194304 4196468 140724024375728 140130449488752 140131023592066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22447] ppid=22385 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22447/stat : 22447 (java) S 22385 22388 18934 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 222335684 11255754752 46557 33554432000 4194304 4196468 140724024375728 140129884694048 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22448] ppid=22385 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22448/stat : 22448 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335685 11255754752 46557 33554432000 4194304 4196468 140724024375728 140129683367280 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22449] ppid=22385 vsize=10991948 memory=-5921431000321636112 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22449/stat : 22449 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11255754752 46557 33554432000 4194304 4196468 140724024375728 140129375967568 140131023599515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22450] ppid=22385 vsize=10991948 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/22388/task/22450/stat : 22450 (java) R 22385 22388 18934 0 -1 4202560 2111 13170 0 0 60 0 5 3 20 0 15 0 222335687 11255754752 46557 33554432000 4194304 4196468 140724024375728 140130448418272 140131005144494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22451] ppid=22385 vsize=10991948 memory=10 CPUtime=0.67 cores=0,2,4,6
/proc/22388/task/22451/stat : 22451 (java) R 22385 22388 18934 0 -1 4202560 3002 13170 0 0 59 0 5 3 20 0 15 0 222335687 11255754752 46557 33554432000 4194304 4196468 140724024375728 140130447364336 140131007138244 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22452] ppid=22385 vsize=10991948 memory=6791534058613427641 CPUtime=0.52 cores=0,2,4,6
/proc/22388/task/22452/stat : 22452 (java) S 22385 22388 18934 0 -1 1077944384 1573 13170 0 0 44 0 5 3 20 0 15 0 222335687 11255754752 46557 33554432000 4194304 4196468 140724024375728 140130446329968 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22453] ppid=22385 vsize=10991948 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22453/stat : 22453 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11255754752 46557 33554432000 4194304 4196468 140724024375728 140128945170656 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22454] ppid=22385 vsize=10991948 memory=280895156689792 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22454/stat : 22454 (java) S 22385 22388 18934 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 222335688 11255754752 46557 33554432000 4194304 4196468 140724024375728 140130445278384 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
Current children cumulated CPU time: 3.14 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/22388/task/22441/stat : 22441 (java) R 22385 22388 18934 0 -1 4202560 293772 13170 0 0 213182 61 5 3 20 0 15 0 222335682 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140130995411968 140130584191379 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22442] ppid=22385 vsize=11080032 memory=1176 CPUtime=65.05 cores=0,2,4,6
/proc/22388/task/22442/stat : 22442 (java) S 22385 22388 18934 0 -1 1077944384 155938 13170 0 0 6377 120 5 3 20 0 15 0 222335682 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140131027823248 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22443] ppid=22385 vsize=11080032 memory=5490036 CPUtime=64.75 cores=0,2,4,6
/proc/22388/task/22443/stat : 22443 (java) S 22385 22388 18934 0 -1 1077944384 147701 13170 0 0 6348 119 5 3 20 0 15 0 222335682 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140130893158928 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22444] ppid=22385 vsize=11080032 memory=5490552 CPUtime=64.99 cores=0,2,4,6
/proc/22388/task/22444/stat : 22444 (java) S 22385 22388 18934 0 -1 1077944384 142469 13170 1 0 6374 117 5 3 20 0 15 0 222335682 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140130561943952 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22445] ppid=22385 vsize=11080032 memory=5490552 CPUtime=65.09 cores=0,2,4,6
/proc/22388/task/22445/stat : 22445 (java) S 22385 22388 18934 0 -1 1077944384 164310 13170 0 0 6382 119 5 3 20 0 15 0 222335682 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140130560891152 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22446] ppid=22385 vsize=11080032 memory=140447578137681 CPUtime=3.78 cores=0,2,4,6
/proc/22388/task/22446/stat : 22446 (java) S 22385 22388 18934 0 -1 1077944384 79999 13170 0 0 361 9 5 3 20 0 15 0 222335684 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140130449488752 140131023592066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22447] ppid=22385 vsize=11080032 memory=5490548 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22447/stat : 22447 (java) S 22385 22388 18934 0 -1 1077944384 40 13170 0 0 0 0 5 3 20 0 15 0 222335684 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140129884694112 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22448] ppid=22385 vsize=11080032 memory=5490552 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22448/stat : 22448 (java) S 22385 22388 18934 0 -1 1077944384 24 13170 0 0 0 0 5 3 20 0 15 0 222335685 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140129683367296 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22449] ppid=22385 vsize=11080032 memory=5490552 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22449/stat : 22449 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140129375967568 140131023599515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22450] ppid=22385 vsize=11080032 memory=5490552 CPUtime=14.28 cores=0,2,4,6
/proc/22388/task/22450/stat : 22450 (java) S 22385 22388 18934 0 -1 1077944384 96236 13170 0 0 1409 11 5 3 20 0 15 0 222335687 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140130448435568 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22451] ppid=22385 vsize=11080032 memory=5490036 CPUtime=13.83 cores=0,2,4,6
/proc/22388/task/22451/stat : 22451 (java) S 22385 22388 18934 0 -1 1077944384 80687 13170 0 0 1364 11 5 3 20 0 15 0 222335687 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140130447382768 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22452] ppid=22385 vsize=11080032 memory=5490036 CPUtime=3.52 cores=0,2,4,6
/proc/22388/task/22452/stat : 22452 (java) S 22385 22388 18934 0 -1 1077944384 64882 13170 0 0 333 11 5 3 20 0 15 0 222335687 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140130446329968 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22453] ppid=22385 vsize=11080032 memory=5490552 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22453/stat : 22453 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140128945170656 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22454] ppid=22385 vsize=11080032 memory=5490552 CPUtime=1.33 cores=0,2,4,6
/proc/22388/task/22454/stat : 22454 (java) S 22385 22388 18934 0 -1 1077944384 2426 13170 0 0 63 62 5 3 20 0 15 0 222335688 11345952768 1372509 33554432000 4194304 4196468 140724024375728 140130445278384 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
Current children cumulated CPU time: 2428.51 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 5490036 KiB
[startup+2262.3 s]
/proc/loadavg: 1.45 1.67 1.70 3/215 22650
/proc/meminfo: memFree=261052/32770624 swapFree=67108380/67108860
[pid=22388] ppid=22385 vsize=11080032 memory=5487496 CPUtime=2489.98 cores=0,2,4,6
/proc/22388/stat : 22388 (java) S 22385 22388 18934 0 -1 1077944320 1267525 13170 1 0 248360 630 5 3 20 0 15 0 222335672 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140724024358272 140131023580919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
/proc/22388/statm: 2770008 1371874 3540 1 0 2731661 0
[pid=22388/tid=22441] ppid=22385 vsize=11080032 memory=5487504 CPUtime=2192 cores=0,2,4,6
/proc/22388/task/22441/stat : 22441 (java) R 22385 22388 18934 0 -1 4202560 305927 13170 0 0 219130 62 5 3 20 0 15 0 222335682 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130995414640 140130588898246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22442] ppid=22385 vsize=11080032 memory=5487496 CPUtime=65.53 cores=0,2,4,6
/proc/22388/task/22442/stat : 22442 (java) S 22385 22388 18934 0 -1 1077944384 162333 13170 0 0 6424 121 5 3 20 0 15 0 222335682 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140131027823248 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22443] ppid=22385 vsize=11080032 memory=5487496 CPUtime=65.23 cores=0,2,4,6
/proc/22388/task/22443/stat : 22443 (java) S 22385 22388 18934 0 -1 1077944384 153857 13170 0 0 6395 120 5 3 20 0 15 0 222335682 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130893158928 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22444] ppid=22385 vsize=11080032 memory=5487496 CPUtime=65.46 cores=0,2,4,6
/proc/22388/task/22444/stat : 22444 (java) S 22385 22388 18934 0 -1 1077944384 147761 13170 1 0 6421 117 5 3 20 0 15 0 222335682 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130561943952 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22445] ppid=22385 vsize=11080032 memory=5487496 CPUtime=65.56 cores=0,2,4,6
/proc/22388/task/22445/stat : 22445 (java) S 22385 22388 18934 0 -1 1077944384 169075 13170 0 0 6429 119 5 3 20 0 15 0 222335682 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130560891152 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22446] ppid=22385 vsize=11080032 memory=5487496 CPUtime=3.79 cores=0,2,4,6
/proc/22388/task/22446/stat : 22446 (java) S 22385 22388 18934 0 -1 1077944384 80293 13170 0 0 362 9 5 3 20 0 15 0 222335684 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130449488752 140131023592066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22447] ppid=22385 vsize=11080032 memory=5487496 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22447/stat : 22447 (java) S 22385 22388 18934 0 -1 1077944384 40 13170 0 0 0 0 5 3 20 0 15 0 222335684 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140129884694112 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22448] ppid=22385 vsize=11080032 memory=5487496 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22448/stat : 22448 (java) S 22385 22388 18934 0 -1 1077944384 24 13170 0 0 0 0 5 3 20 0 15 0 222335685 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140129683367296 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22449] ppid=22385 vsize=11080032 memory=5487496 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22449/stat : 22449 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140129375967568 140131023599515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22450] ppid=22385 vsize=11080032 memory=5487496 CPUtime=14.29 cores=0,2,4,6
/proc/22388/task/22450/stat : 22450 (java) S 22385 22388 18934 0 -1 1077944384 96433 13170 0 0 1410 11 5 3 20 0 15 0 222335687 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130448435568 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22451] ppid=22385 vsize=11080032 memory=5487496 CPUtime=13.85 cores=0,2,4,6
/proc/22388/task/22451/stat : 22451 (java) S 22385 22388 18934 0 -1 1077944384 81799 13170 0 0 1366 11 5 3 20 0 15 0 222335687 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130447382768 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22452] ppid=22385 vsize=11080032 memory=5487496 CPUtime=3.52 cores=0,2,4,6
/proc/22388/task/22452/stat : 22452 (java) S 22385 22388 18934 0 -1 1077944384 65316 13170 0 0 333 11 5 3 20 0 15 0 222335687 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130446329968 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22453] ppid=22385 vsize=11080032 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22453/stat : 22453 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140128945170656 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22454] ppid=22385 vsize=11080032 memory=2216 CPUtime=1.36 cores=0,2,4,6
/proc/22388/task/22454/stat : 22454 (java) S 22385 22388 18934 0 -1 1077944384 2466 13170 0 0 64 64 5 3 20 0 15 0 222335688 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130445278384 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
Current children cumulated CPU time: 2489.98 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 5487496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2291.8 s]
/proc/loadavg: 1.47 1.66 1.69 3/217 22660
/proc/meminfo: memFree=259228/32770624 swapFree=67108380/67108860
[pid=22388] ppid=22385 vsize=11080032 memory=5487496 CPUtime=2520.04 cores=0,2,4,6
/proc/22388/stat : 22388 (java) S 22385 22388 18934 0 -1 1077944320 1294996 13170 1 0 251364 632 5 3 20 0 15 0 222335672 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140724024358272 140131023580919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
/proc/22388/statm: 2770008 1371874 3540 1 0 2731661 0
[pid=22388/tid=22441] ppid=22385 vsize=11080032 memory=6791534058613427641 CPUtime=2221.32 cores=0,2,4,6
/proc/22388/task/22441/stat : 22441 (java) R 22385 22388 18934 0 -1 4202560 315889 13170 0 0 222061 63 5 3 20 0 15 0 222335682 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130995414912 140130572903594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22442] ppid=22385 vsize=11080032 memory=7532 CPUtime=65.71 cores=0,2,4,6
/proc/22388/task/22442/stat : 22442 (java) S 22385 22388 18934 0 -1 1077944384 165725 13170 0 0 6442 121 5 3 20 0 15 0 222335682 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140131027823248 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22443] ppid=22385 vsize=11080032 memory=812 CPUtime=65.41 cores=0,2,4,6
/proc/22388/task/22443/stat : 22443 (java) S 22385 22388 18934 0 -1 1077944384 157216 13170 0 0 6413 120 5 3 20 0 15 0 222335682 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130893158928 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22444] ppid=22385 vsize=11080032 memory=1796 CPUtime=65.64 cores=0,2,4,6
/proc/22388/task/22444/stat : 22444 (java) S 22385 22388 18934 0 -1 1077944384 150844 13170 1 0 6439 117 5 3 20 0 15 0 222335682 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130561943952 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22445] ppid=22385 vsize=11080032 memory=33696 CPUtime=65.74 cores=0,2,4,6
/proc/22388/task/22445/stat : 22445 (java) S 22385 22388 18934 0 -1 1077944384 173953 13170 0 0 6447 119 5 3 20 0 15 0 222335682 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130560891152 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22446] ppid=22385 vsize=11080032 memory=14392 CPUtime=3.79 cores=0,2,4,6
/proc/22388/task/22446/stat : 22446 (java) S 22385 22388 18934 0 -1 1077944384 80615 13170 0 0 362 9 5 3 20 0 15 0 222335684 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130449488752 140131023592066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22447] ppid=22385 vsize=11080032 memory=4004 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22447/stat : 22447 (java) S 22385 22388 18934 0 -1 1077944384 40 13170 0 0 0 0 5 3 20 0 15 0 222335684 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140129884694112 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22448] ppid=22385 vsize=11080032 memory=500 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22448/stat : 22448 (java) S 22385 22388 18934 0 -1 1077944384 24 13170 0 0 0 0 5 3 20 0 15 0 222335685 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140129683367296 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22449] ppid=22385 vsize=11080032 memory=916 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22449/stat : 22449 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140129375967568 140131023599515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22450] ppid=22385 vsize=11080032 memory=3848 CPUtime=14.29 cores=0,2,4,6
/proc/22388/task/22450/stat : 22450 (java) S 22385 22388 18934 0 -1 1077944384 96435 13170 0 0 1410 11 5 3 20 0 15 0 222335687 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130448435568 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22451] ppid=22385 vsize=11080032 memory=2888 CPUtime=13.86 cores=0,2,4,6
/proc/22388/task/22451/stat : 22451 (java) S 22385 22388 18934 0 -1 1077944384 83666 13170 0 0 1367 11 5 3 20 0 15 0 222335687 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130447382768 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22452] ppid=22385 vsize=11080032 memory=2612 CPUtime=3.52 cores=0,2,4,6
/proc/22388/task/22452/stat : 22452 (java) S 22385 22388 18934 0 -1 1077944384 65821 13170 0 0 333 11 5 3 20 0 15 0 222335687 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130446329968 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22453] ppid=22385 vsize=11080032 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22453/stat : 22453 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 222335687 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140128945170656 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22454] ppid=22385 vsize=11080032 memory=1720 CPUtime=1.38 cores=0,2,4,6
/proc/22388/task/22454/stat : 22454 (java) S 22385 22388 18934 0 -1 1077944384 2567 13170 0 0 65 65 5 3 20 0 15 0 222335688 11345952768 1371874 33554432000 4194304 4196468 140724024375728 140130445278384 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 5487496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2292 s]
# the end of solver process 22388 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.84 s, system=6.42649 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2291.91 s]
/proc/loadavg: 1.47 1.66 1.69 3/217 22660
/proc/meminfo: memFree=259228/32770624 swapFree=67108380/67108860
[pid=22388] ppid=22385 vsize=11342184 memory=5487672 CPUtime=2520.15 cores=0,2,4,6
/proc/22388/stat : 22388 (java) S 22385 22388 18934 0 -1 1077944320 1295371 13170 1 0 251375 632 5 3 20 0 17 0 222335672 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140724024358272 140131023580919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
/proc/22388/statm: 2835546 1371918 3541 1 0 2797199 0
[pid=22388/tid=22441] ppid=22385 vsize=11342184 memory=33 CPUtime=2221.43 cores=0,2,4,6
/proc/22388/task/22441/stat : 22441 (java) R 22385 22388 18934 0 -1 4202560 315889 13170 0 0 222072 63 5 3 20 0 17 0 222335682 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140130995414912 140130588898206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22442] ppid=22385 vsize=11342184 memory=2340 CPUtime=65.71 cores=0,2,4,6
/proc/22388/task/22442/stat : 22442 (java) S 22385 22388 18934 0 -1 1077944384 165725 13170 0 0 6442 121 5 3 20 0 17 0 222335682 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140131027823248 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22443] ppid=22385 vsize=11342184 memory=5487496 CPUtime=65.41 cores=0,2,4,6
/proc/22388/task/22443/stat : 22443 (java) S 22385 22388 18934 0 -1 1077944384 157216 13170 0 0 6413 120 5 3 20 0 17 0 222335682 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140130893158928 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22444] ppid=22385 vsize=11342184 memory=5487496 CPUtime=65.64 cores=0,2,4,6
/proc/22388/task/22444/stat : 22444 (java) S 22385 22388 18934 0 -1 1077944384 150844 13170 1 0 6439 117 5 3 20 0 17 0 222335682 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140130561943952 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22445] ppid=22385 vsize=11342184 memory=5487496 CPUtime=65.74 cores=0,2,4,6
/proc/22388/task/22445/stat : 22445 (java) S 22385 22388 18934 0 -1 1077944384 173953 13170 0 0 6447 119 5 3 20 0 17 0 222335682 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140130560891152 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22446] ppid=22385 vsize=11342184 memory=5487496 CPUtime=3.79 cores=0,2,4,6
/proc/22388/task/22446/stat : 22446 (java) S 22385 22388 18934 0 -1 1077944384 80615 13170 0 0 362 9 5 3 20 0 17 0 222335684 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140130449488752 140131023592066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22447] ppid=22385 vsize=11342184 memory=5487496 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22447/stat : 22447 (java) S 22385 22388 18934 0 -1 1077944384 40 13170 0 0 0 0 5 3 20 0 17 0 222335684 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140129884694112 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22448] ppid=22385 vsize=11342184 memory=5487496 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22448/stat : 22448 (java) S 22385 22388 18934 0 -1 1077944384 24 13170 0 0 0 0 5 3 20 0 17 0 222335685 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140129683367296 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22449] ppid=22385 vsize=11342184 memory=5487496 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22449/stat : 22449 (java) S 22385 22388 18934 0 -1 1077944384 191 13170 0 0 0 0 5 3 20 0 17 0 222335687 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140129375967568 140131023599515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22450] ppid=22385 vsize=11342184 memory=5487496 CPUtime=14.29 cores=0,2,4,6
/proc/22388/task/22450/stat : 22450 (java) S 22385 22388 18934 0 -1 1077944384 96435 13170 0 0 1410 11 5 3 20 0 17 0 222335687 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140130448435568 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22451] ppid=22385 vsize=11342184 memory=5487496 CPUtime=13.86 cores=0,2,4,6
/proc/22388/task/22451/stat : 22451 (java) S 22385 22388 18934 0 -1 1077944384 83666 13170 0 0 1367 11 5 3 20 0 17 0 222335687 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140130447382768 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22452] ppid=22385 vsize=11342184 memory=5487496 CPUtime=3.52 cores=0,2,4,6
/proc/22388/task/22452/stat : 22452 (java) S 22385 22388 18934 0 -1 1077944384 65821 13170 0 0 333 11 5 3 20 0 17 0 222335687 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140130446329968 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22453] ppid=22385 vsize=11342184 memory=5487496 CPUtime=0.08 cores=0,2,4,6
/proc/22388/task/22453/stat : 22453 (java) S 22385 22388 18934 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 17 0 222335687 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140128945170656 140131023591125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
[pid=22388/tid=22454] ppid=22385 vsize=11342184 memory=5487496 CPUtime=1.38 cores=0,2,4,6
/proc/22388/task/22454/stat : 22454 (java) S 22385 22388 18934 0 -1 1077944384 2567 13170 0 0 65 65 5 3 20 0 17 0 222335688 11614396416 1371918 33554432000 4194304 4196468 140724024375728 140130445278384 140131023592066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 20164608 140724024384100 140724024386908 140724024386908 140724024389583 0
Current children cumulated CPU time: 2520.15 s
Current children cumulated vsize: 11342184 KiB
Current children cumulated memory: 5487672 KiB
Child status: 143
Real time (s): 2292
CPU time (s): 2520.26
CPU user time (s): 2513.84
CPU system time (s): 6.42649
CPU usage (%): 109.959
Max. virtual memory (cumulated for all children) (KiB): 11342184
Max. memory (cumulated for all children) (KiB): 5492600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.84
system time used= 6.42649
maximum resident set size= 5492600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1310116
page faults= 1
swaps= 0
block input operations= 264
block output operations= 3128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78374
involuntary context switches= 5387
# summary of solver processes directly reported to runsolver:
# pid: 22388
# total CPU time (s): 2520.26
# total CPU user time (s): 2513.84
# total CPU system time (s): 6.42649
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7465 second user time and 23.0131 second system time
The end