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 (4200 MiB free)
memory of node 1: 16384 MiB (1796 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402606-1568973574/watcher-4402606-1568973574 -o /var/tmp/evaluation-result-4402606-1568973574/solver-4402606-1568973574 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1568967598-26369 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1308241223 HOME/instance-4402606-1568973574.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28985, runsolver pid=28982
[startup+0.102266 s]*
/proc/loadavg: 2.34 1.93 1.83 3/222 29042
/proc/meminfo: memFree=6134332/32770624 swapFree=67001820/67108860
[pid=28985] ppid=28982 vsize=9972712 memory=15172 CPUtime=0.09 cores=0,2,4,6
/proc/28985/stat : 28985 (java) S 28982 28985 26338 0 -1 1077944320 4578 13354 0 0 1 0 5 3 20 0 6 0 473597018 10212057088 3793 33554432000 4194304 4196468 140726960869216 140726960851760 140592464617207 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
/proc/28985/statm: 2493178 3793 1934 1 0 2481616 0
[pid=28985/tid=29038] ppid=28982 vsize=9972712 memory=4279135703946854028 CPUtime=0.09 cores=0,2,4,6
/proc/28985/task/29038/stat : 29038 (java) R 28982 28985 26338 0 -1 4202560 2386 13354 0 0 1 0 5 3 20 0 6 0 473597027 10212057088 3859 33554432000 4194304 4196468 140726960869216 140592436453968 140592457714043 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29039] ppid=28982 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29039/stat : 29039 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 6 0 473597028 10212057088 3859 33554432000 4194304 4196468 140726960869216 140592468859920 140592464627413 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29040] ppid=28982 vsize=9972712 memory=140362565604992 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29040/stat : 29040 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 6 0 473597028 10212057088 3859 33554432000 4194304 4196468 140726960869216 140592400772240 140592464627413 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29041] ppid=28982 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29041/stat : 29041 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 6 0 473597028 10212057088 3859 33554432000 4194304 4196468 140726960869216 140592036580112 140592464627413 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29042] ppid=28982 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29042/stat : 29042 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 6 0 473597028 10212057088 3859 33554432000 4194304 4196468 140726960869216 140592035527568 140592464627413 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15172 KiB
[startup+0.210186 s]*
/proc/loadavg: 2.34 1.93 1.83 4/231 29051
/proc/meminfo: memFree=6114316/32770624 swapFree=67001820/67108860
[pid=28985] ppid=28982 vsize=10820164 memory=42524 CPUtime=0.26 cores=0,2,4,6
/proc/28985/stat : 28985 (java) S 28982 28985 26338 0 -1 1077944320 7573 13354 0 0 17 1 5 3 20 0 15 0 473597018 11079847936 10631 33554432000 4194304 4196468 140726960869216 140726960851760 140592464617207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
/proc/28985/statm: 2705041 10631 3285 1 0 2667149 0
[pid=28985/tid=29038] ppid=28982 vsize=10820164 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/28985/task/29038/stat : 29038 (java) R 28982 28985 26338 0 -1 4202560 3980 13354 0 0 10 1 5 3 20 0 15 0 473597027 11079847936 10631 33554432000 4194304 4196468 140726960869216 140592436428240 140592464639133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29039] ppid=28982 vsize=10820164 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29039/stat : 29039 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 15 0 473597028 11079847936 10631 33554432000 4194304 4196468 140726960869216 140592468859920 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29040] ppid=28982 vsize=10820164 memory=140362565604992 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29040/stat : 29040 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 15 0 473597028 11079847936 10631 33554432000 4194304 4196468 140726960869216 140592400772240 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29041] ppid=28982 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29041/stat : 29041 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597028 11079847936 10631 33554432000 4194304 4196468 140726960869216 140592036580112 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29042] ppid=28982 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29042/stat : 29042 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597028 11079847936 10631 33554432000 4194304 4196468 140726960869216 140592035527568 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29043] ppid=28982 vsize=10820164 memory=140362565604992 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29043/stat : 29043 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597029 11079847936 10631 33554432000 4194304 4196468 140726960869216 140591923960048 140592464628354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29044] ppid=28982 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29044/stat : 29044 (java) S 28982 28985 26338 0 -1 1077944384 33 13354 0 0 0 0 5 3 20 0 15 0 473597030 11079847936 10631 33554432000 4194304 4196468 140726960869216 140591922906272 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29045] ppid=28982 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29045/stat : 29045 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 15 0 473597030 11079847936 10631 33554432000 4194304 4196468 140726960869216 140591795004144 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29046] ppid=28982 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29046/stat : 29046 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597033 11079847936 10631 33554432000 4194304 4196468 140726960869216 140591191025616 140592464635803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29047] ppid=28982 vsize=10820164 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28985/task/29047/stat : 29047 (java) S 28982 28985 26338 0 -1 1077944384 478 13354 0 0 1 0 5 3 20 0 15 0 473597033 11079847936 10631 33554432000 4194304 4196468 140726960869216 140591889349360 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29048] ppid=28982 vsize=10820164 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/28985/task/29048/stat : 29048 (java) R 28982 28985 26338 0 -1 4202560 195 13354 0 0 1 0 5 3 20 0 15 0 473597033 11079847936 10631 33554432000 4194304 4196468 140726960869216 140591888296816 140592457602249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29049] ppid=28982 vsize=10820164 memory=140362565604992 CPUtime=0.11 cores=0,2,4,6
/proc/28985/task/29049/stat : 29049 (java) R 28982 28985 26338 0 -1 1077944384 666 13354 0 0 3 0 5 3 20 0 15 0 473597033 11079847936 10631 33554432000 4194304 4196468 140726960869216 140591887243760 140592464628354 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29050] ppid=28982 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29050/stat : 29050 (java) S 28982 28985 26338 0 -1 1077944384 3 13354 0 0 0 0 5 3 20 0 15 0 473597033 11079847936 10631 33554432000 4194304 4196468 140726960869216 140590721264480 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29051] ppid=28982 vsize=10820164 memory=140362565604992 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29051/stat : 29051 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 15 0 473597033 11079847936 10631 33554432000 4194304 4196468 140726960869216 140591886191152 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 42524 KiB
[startup+0.310737 s]*
/proc/loadavg: 2.34 1.93 1.83 3/231 29051
/proc/meminfo: memFree=6101780/32770624 swapFree=67001820/67108860
[pid=28985] ppid=28982 vsize=10820196 memory=50992 CPUtime=0.4 cores=0,2,4,6
/proc/28985/stat : 28985 (java) S 28982 28985 26338 0 -1 1077944320 10985 13354 0 0 29 3 5 3 20 0 15 0 473597018 11079880704 12748 33554432000 4194304 4196468 140726960869216 140726960851760 140592464617207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
/proc/28985/statm: 2705049 12748 3340 1 0 2667149 0
[pid=28985/tid=29038] ppid=28982 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/28985/task/29038/stat : 29038 (java) R 28982 28985 26338 0 -1 4202560 7336 13354 0 0 19 2 5 3 20 0 15 0 473597027 11079880704 12748 33554432000 4194304 4196468 140726960869216 140592436421312 140592443062817 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29039] ppid=28982 vsize=10820196 memory=7228928657774891088 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29039/stat : 29039 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 15 0 473597028 11079880704 12748 33554432000 4194304 4196468 140726960869216 140592468859920 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29040] ppid=28982 vsize=10820196 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29040/stat : 29040 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 15 0 473597028 11079880704 12748 33554432000 4194304 4196468 140726960869216 140592400772240 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29041] ppid=28982 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29041/stat : 29041 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597028 11079880704 12748 33554432000 4194304 4196468 140726960869216 140592036580112 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29042] ppid=28982 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29042/stat : 29042 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597028 11079880704 12748 33554432000 4194304 4196468 140726960869216 140592035527568 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29043] ppid=28982 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29043/stat : 29043 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597029 11079880704 12748 33554432000 4194304 4196468 140726960869216 140591923960048 140592464628354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29044] ppid=28982 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29044/stat : 29044 (java) S 28982 28985 26338 0 -1 1077944384 33 13354 0 0 0 0 5 3 20 0 15 0 473597030 11079880704 12748 33554432000 4194304 4196468 140726960869216 140591922906272 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29045] ppid=28982 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29045/stat : 29045 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 15 0 473597030 11079880704 12748 33554432000 4194304 4196468 140726960869216 140591795004144 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29046] ppid=28982 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29046/stat : 29046 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597033 11079880704 12748 33554432000 4194304 4196468 140726960869216 140591191025616 140592464635803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29047] ppid=28982 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/28985/task/29047/stat : 29047 (java) S 28982 28985 26338 0 -1 1077944384 490 13354 0 0 1 0 5 3 20 0 15 0 473597033 11079880704 12748 33554432000 4194304 4196468 140726960869216 140591889349360 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29048] ppid=28982 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/28985/task/29048/stat : 29048 (java) S 28982 28985 26338 0 -1 1077944384 205 13354 0 0 2 0 5 3 20 0 15 0 473597033 11079880704 12748 33554432000 4194304 4196468 140726960869216 140591888296816 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29049] ppid=28982 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/28985/task/29049/stat : 29049 (java) S 28982 28985 26338 0 -1 1077944384 701 13354 0 0 5 0 5 3 20 0 15 0 473597033 11079880704 12748 33554432000 4194304 4196468 140726960869216 140591887243760 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29050] ppid=28982 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29050/stat : 29050 (java) S 28982 28985 26338 0 -1 1077944384 3 13354 0 0 0 0 5 3 20 0 15 0 473597033 11079880704 12748 33554432000 4194304 4196468 140726960869216 140590721264480 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29051] ppid=28982 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29051/stat : 29051 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 15 0 473597033 11079880704 12748 33554432000 4194304 4196468 140726960869216 140591886191152 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50992 KiB
[startup+0.709675 s]
/proc/loadavg: 2.34 1.93 1.83 4/231 29051
/proc/meminfo: memFree=6088424/32770624 swapFree=67001820/67108860
[pid=28985] ppid=28982 vsize=10824364 memory=84900 CPUtime=1.16 cores=0,2,4,6
/proc/28985/stat : 28985 (java) S 28982 28985 26338 0 -1 1077944320 15439 13354 0 0 103 5 5 3 20 0 15 0 473597018 11084148736 21225 33554432000 4194304 4196468 140726960869216 140726960851760 140592464617207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
/proc/28985/statm: 2706091 21225 3510 1 0 2668173 0
[pid=28985/tid=29038] ppid=28982 vsize=10824364 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/28985/task/29038/stat : 29038 (java) R 28982 28985 26338 0 -1 4202560 10594 13354 0 0 56 4 5 3 20 0 15 0 473597027 11084148736 21225 33554432000 4194304 4196468 140726960869216 140592436444832 140592318765568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29039] ppid=28982 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29039/stat : 29039 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 15 0 473597028 11084148736 21225 33554432000 4194304 4196468 140726960869216 140592468859920 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29040] ppid=28982 vsize=10824364 memory=3280 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29040/stat : 29040 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 15 0 473597028 11084148736 21225 33554432000 4194304 4196468 140726960869216 140592400772240 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29041] ppid=28982 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29041/stat : 29041 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597028 11084148736 21225 33554432000 4194304 4196468 140726960869216 140592036580112 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29042] ppid=28982 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29042/stat : 29042 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597028 11084148736 21225 33554432000 4194304 4196468 140726960869216 140592035527568 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29043] ppid=28982 vsize=10824364 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29043/stat : 29043 (java) S 28982 28985 26338 0 -1 1077944384 5 13354 0 0 0 0 5 3 20 0 15 0 473597029 11084148736 21225 33554432000 4194304 4196468 140726960869216 140591923960048 140592464628354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29044] ppid=28982 vsize=10824364 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29044/stat : 29044 (java) S 28982 28985 26338 0 -1 1077944384 33 13354 0 0 0 0 5 3 20 0 15 0 473597030 11084148736 21225 33554432000 4194304 4196468 140726960869216 140591922906272 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29045] ppid=28982 vsize=10824364 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29045/stat : 29045 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 15 0 473597030 11084148736 21225 33554432000 4194304 4196468 140726960869216 140591795004144 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29046] ppid=28982 vsize=10824364 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29046/stat : 29046 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597033 11084148736 21225 33554432000 4194304 4196468 140726960869216 140591191025616 140592464635803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29047] ppid=28982 vsize=10824364 memory=13252 CPUtime=0.25 cores=0,2,4,6
/proc/28985/task/29047/stat : 29047 (java) R 28982 28985 26338 0 -1 4202560 1007 13354 0 0 17 0 5 3 20 0 15 0 473597033 11084148736 21225 33554432000 4194304 4196468 140726960869216 140591889335904 140592446140468 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29048] ppid=28982 vsize=10824364 memory=15460 CPUtime=0.19 cores=0,2,4,6
/proc/28985/task/29048/stat : 29048 (java) S 28982 28985 26338 0 -1 1077944384 603 13354 0 0 11 0 5 3 20 0 15 0 473597033 11084148736 21225 33554432000 4194304 4196468 140726960869216 140591888296816 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29049] ppid=28982 vsize=10824364 memory=17668 CPUtime=0.25 cores=0,2,4,6
/proc/28985/task/29049/stat : 29049 (java) S 28982 28985 26338 0 -1 1077944384 978 13354 0 0 17 0 5 3 20 0 15 0 473597033 11084148736 21225 33554432000 4194304 4196468 140726960869216 140591887243760 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29050] ppid=28982 vsize=10824364 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29050/stat : 29050 (java) S 28982 28985 26338 0 -1 1077944384 3 13354 0 0 0 0 5 3 20 0 15 0 473597033 11084148736 21225 33554432000 4194304 4196468 140726960869216 140590721264480 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29051] ppid=28982 vsize=10824364 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29051/stat : 29051 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 15 0 473597033 11084148736 21225 33554432000 4194304 4196468 140726960869216 140591886191152 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84900 KiB
[startup+1.50171 s]
/proc/loadavg: 2.34 1.93 1.83 6/231 29051
/proc/meminfo: memFree=6027284/32770624 swapFree=67001820/67108860
[pid=28985] ppid=28982 vsize=10826488 memory=246256 CPUtime=3.62 cores=0,2,4,6
/proc/28985/stat : 28985 (java) S 28982 28985 26338 0 -1 1077944320 22160 13354 0 0 340 14 5 3 20 0 15 0 473597018 11086323712 61564 33554432000 4194304 4196468 140726960869216 140726960851760 140592464617207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
/proc/28985/statm: 2706622 61564 3582 1 0 2668685 0
[pid=28985/tid=29038] ppid=28982 vsize=10826488 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/28985/task/29038/stat : 29038 (java) R 28982 28985 26338 0 -1 4202560 11997 13354 0 0 128 6 5 3 20 0 15 0 473597027 11086323712 61564 33554432000 4194304 4196468 140726960869216 140592436448624 140592071367282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29039] ppid=28982 vsize=10826488 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/28985/task/29039/stat : 29039 (java) S 28982 28985 26338 0 -1 1077944384 53 13354 0 0 2 1 5 3 20 0 15 0 473597028 11086323712 61564 33554432000 4194304 4196468 140726960869216 140592468859920 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29040] ppid=28982 vsize=10826488 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/28985/task/29040/stat : 29040 (java) S 28982 28985 26338 0 -1 1077944384 43 13354 0 0 2 1 5 3 20 0 15 0 473597028 11086323712 61564 33554432000 4194304 4196468 140726960869216 140592400772240 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29041] ppid=28982 vsize=10826488 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/28985/task/29041/stat : 29041 (java) S 28982 28985 26338 0 -1 1077944384 316 13354 0 0 2 1 5 3 20 0 15 0 473597028 11086323712 61564 33554432000 4194304 4196468 140726960869216 140592036580112 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29042] ppid=28982 vsize=10826488 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/28985/task/29042/stat : 29042 (java) S 28982 28985 26338 0 -1 1077944384 37 13354 0 0 2 1 5 3 20 0 15 0 473597028 11086323712 61564 33554432000 4194304 4196468 140726960869216 140592035527568 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29043] ppid=28982 vsize=10826488 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29043/stat : 29043 (java) S 28982 28985 26338 0 -1 1077944384 95 13354 0 0 0 0 5 3 20 0 15 0 473597029 11086323712 61564 33554432000 4194304 4196468 140726960869216 140591923960048 140592464628354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29044] ppid=28982 vsize=10826488 memory=280724833904896 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29044/stat : 29044 (java) S 28982 28985 26338 0 -1 1077944384 55 13354 0 0 0 0 5 3 20 0 15 0 473597030 11086323712 61564 33554432000 4194304 4196468 140726960869216 140591922906272 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29045] ppid=28982 vsize=10826488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29045/stat : 29045 (java) S 28982 28985 26338 0 -1 1077944384 1 13354 0 0 0 0 5 3 20 0 15 0 473597030 11086323712 61564 33554432000 4194304 4196468 140726960869216 140591795004128 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29046] ppid=28982 vsize=10826488 memory=8560 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29046/stat : 29046 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597033 11086323712 61564 33554432000 4194304 4196468 140726960869216 140591191025616 140592464635803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29047] ppid=28982 vsize=10826488 memory=6004 CPUtime=0.9 cores=0,2,4,6
/proc/28985/task/29047/stat : 29047 (java) R 28982 28985 26338 0 -1 4202560 2290 13354 0 0 82 0 5 3 20 0 15 0 473597033 11086323712 61564 33554432000 4194304 4196468 140726960869216 140591889335424 140592448117807 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29048] ppid=28982 vsize=10826488 memory=1056 CPUtime=0.85 cores=0,2,4,6
/proc/28985/task/29048/stat : 29048 (java) R 28982 28985 26338 0 -1 4202560 2852 13354 0 0 77 0 5 3 20 0 15 0 473597033 11086323712 61564 33554432000 4194304 4196468 140726960869216 140591888286080 140592446138645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29049] ppid=28982 vsize=10826488 memory=1540 CPUtime=0.47 cores=0,2,4,6
/proc/28985/task/29049/stat : 29049 (java) S 28982 28985 26338 0 -1 1077944384 2207 13354 0 0 39 0 5 3 20 0 15 0 473597033 11086323712 61564 33554432000 4194304 4196468 140726960869216 140591887243760 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29050] ppid=28982 vsize=10826488 memory=728 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29050/stat : 29050 (java) S 28982 28985 26338 0 -1 1077944384 3 13354 0 0 0 0 5 3 20 0 15 0 473597033 11086323712 61564 33554432000 4194304 4196468 140726960869216 140590721264480 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29051] ppid=28982 vsize=10826488 memory=3612 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29051/stat : 29051 (java) S 28982 28985 26338 0 -1 1077944384 3 13354 0 0 0 0 5 3 20 0 15 0 473597033 11086323712 61564 33554432000 4194304 4196468 140726960869216 140591886191152 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
Current children cumulated CPU time: 3.62 s
Current children cumulated vsize: 10826488 KiB
################
# More data... #
################
/proc/28985/task/29043/stat : 29043 (java) S 28982 28985 26338 0 -1 1077944384 8407 13354 0 0 104 3 5 3 20 0 15 0 473597029 11103121408 859366 33554432000 4194304 4196468 140726960869216 140591923960048 140592464628354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29044] ppid=28982 vsize=10842892 memory=1768 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29044/stat : 29044 (java) S 28982 28985 26338 0 -1 1077944384 63 13354 0 0 0 0 5 3 20 0 15 0 473597030 11103121408 859366 33554432000 4194304 4196468 140726960869216 140591922906336 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29045] ppid=28982 vsize=10842892 memory=111628 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29045/stat : 29045 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597030 11103121408 859366 33554432000 4194304 4196468 140726960869216 140591795004160 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29046] ppid=28982 vsize=10842892 memory=804 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29046/stat : 29046 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 15 0 473597033 11103121408 859366 33554432000 4194304 4196468 140726960869216 140591191025616 140592464635803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29047] ppid=28982 vsize=10842892 memory=1660 CPUtime=9.25 cores=0,2,4,6
/proc/28985/task/29047/stat : 29047 (java) S 28982 28985 26338 0 -1 1077944384 15641 13354 0 0 913 4 5 3 20 0 15 0 473597033 11103121408 859366 33554432000 4194304 4196468 140726960869216 140591889349360 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29048] ppid=28982 vsize=10842892 memory=1804 CPUtime=9.25 cores=0,2,4,6
/proc/28985/task/29048/stat : 29048 (java) S 28982 28985 26338 0 -1 1077944384 12746 13354 0 0 913 4 5 3 20 0 15 0 473597033 11103121408 859366 33554432000 4194304 4196468 140726960869216 140591888296816 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29049] ppid=28982 vsize=10842892 memory=920 CPUtime=3.17 cores=0,2,4,6
/proc/28985/task/29049/stat : 29049 (java) S 28982 28985 26338 0 -1 1077944384 14306 13354 0 0 305 4 5 3 20 0 15 0 473597033 11103121408 859366 33554432000 4194304 4196468 140726960869216 140591887243760 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29050] ppid=28982 vsize=10842892 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29050/stat : 29050 (java) S 28982 28985 26338 0 -1 1077944384 3 13354 0 0 0 0 5 3 20 0 15 0 473597033 11103121408 859366 33554432000 4194304 4196468 140726960869216 140590721264480 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29051] ppid=28982 vsize=10842892 memory=2684 CPUtime=1.61 cores=0,2,4,6
/proc/28985/task/29051/stat : 29051 (java) S 28982 28985 26338 0 -1 1077944384 2792 13354 0 0 77 76 5 3 20 0 15 0 473597033 11103121408 859366 33554432000 4194304 4196468 140726960869216 140591886191152 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 3437464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2476.04 s]
# the end of solver process 28985 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.44 s, system=3.32748 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2475.2 s]
/proc/loadavg: 1.58 1.68 1.71 3/234 29468
/proc/meminfo: memFree=6854232/32770624 swapFree=67001824/67108860
[pid=28985] ppid=28982 vsize=11039508 memory=3445656 CPUtime=2521.9 cores=0,2,4,6
/proc/28985/stat : 28985 (java) S 28982 28985 26338 0 -1 1077944320 135432 13354 0 0 251854 328 5 3 20 0 17 0 473597018 11304456192 861414 33554432000 4194304 4196468 140726960869216 140726960851760 140592464617207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
/proc/28985/statm: 2759877 861414 3639 1 0 2721935 0
[pid=28985/tid=29038] ppid=28982 vsize=11039508 memory=5859295735315000933 CPUtime=2466.35 cores=0,2,4,6
/proc/28985/task/29038/stat : 29038 (java) R 28982 28985 26338 0 -1 4202560 59006 13354 0 0 246592 35 5 3 20 0 17 0 473597027 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592436450424 140592082186560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29039] ppid=28982 vsize=11039508 memory=7597121115556964456 CPUtime=7.91 cores=0,2,4,6
/proc/28985/task/29039/stat : 29039 (java) S 28982 28985 26338 0 -1 1077944384 4459 13354 0 0 728 55 5 3 20 0 17 0 473597028 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592468859920 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29040] ppid=28982 vsize=11039508 memory=6791534058613427641 CPUtime=7.92 cores=0,2,4,6
/proc/28985/task/29040/stat : 29040 (java) S 28982 28985 26338 0 -1 1077944384 4855 13354 0 0 730 54 5 3 20 0 17 0 473597028 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592400772240 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29041] ppid=28982 vsize=11039508 memory=3256 CPUtime=7.91 cores=0,2,4,6
/proc/28985/task/29041/stat : 29041 (java) S 28982 28985 26338 0 -1 1077944384 6453 13354 0 0 729 54 5 3 20 0 17 0 473597028 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592036580112 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29042] ppid=28982 vsize=11039508 memory=3433368 CPUtime=7.93 cores=0,2,4,6
/proc/28985/task/29042/stat : 29042 (java) S 28982 28985 26338 0 -1 1077944384 4389 13354 0 0 729 56 5 3 20 0 17 0 473597028 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592035527568 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29043] ppid=28982 vsize=11039508 memory=4100 CPUtime=1.15 cores=0,2,4,6
/proc/28985/task/29043/stat : 29043 (java) S 28982 28985 26338 0 -1 1077944384 8407 13354 0 0 104 3 5 3 20 0 17 0 473597029 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591923960048 140592464628354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29044] ppid=28982 vsize=11039508 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29044/stat : 29044 (java) S 28982 28985 26338 0 -1 1077944384 63 13354 0 0 0 0 5 3 20 0 17 0 473597030 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591922906336 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29045] ppid=28982 vsize=11039508 memory=3260 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29045/stat : 29045 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 17 0 473597030 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591795004160 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29046] ppid=28982 vsize=11039508 memory=3437464 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29046/stat : 29046 (java) S 28982 28985 26338 0 -1 1077944384 47 13354 0 0 0 0 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591191025616 140592464635803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29047] ppid=28982 vsize=11039508 memory=1408 CPUtime=9.26 cores=0,2,4,6
/proc/28985/task/29047/stat : 29047 (java) S 28982 28985 26338 0 -1 1077944384 15642 13354 0 0 914 4 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591889349360 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29048] ppid=28982 vsize=11039508 memory=6791534058613427641 CPUtime=9.26 cores=0,2,4,6
/proc/28985/task/29048/stat : 29048 (java) S 28982 28985 26338 0 -1 1077944384 12747 13354 0 0 914 4 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591888296816 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29049] ppid=28982 vsize=11039508 memory=1408 CPUtime=3.2 cores=0,2,4,6
/proc/28985/task/29049/stat : 29049 (java) S 28982 28985 26338 0 -1 1077944384 14306 13354 0 0 308 4 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591887243760 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29050] ppid=28982 vsize=11039508 memory=3256 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29050/stat : 29050 (java) S 28982 28985 26338 0 -1 1077944384 3 13354 0 0 0 0 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140590721264480 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29051] ppid=28982 vsize=11039508 memory=796224 CPUtime=1.61 cores=0,2,4,6
/proc/28985/task/29051/stat : 29051 (java) S 28982 28985 26338 0 -1 1077944384 2794 13354 0 0 77 76 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591886191152 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29467] ppid=28982 vsize=11039508 memory=4100 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29467/stat : 29467 (java) S 28982 28985 26338 0 -1 1077944384 42 13354 0 0 0 0 5 3 20 0 17 0 473844420 11304456192 861414 33554432000 4194304 4196468 140726960869216 140590519935344 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29468] ppid=28982 vsize=11039508 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29468/stat : 29468 (java) S 28982 28985 26338 0 -1 1077944384 10 13354 0 0 0 0 5 3 20 0 17 0 473844441 11304456192 861414 33554432000 4194304 4196468 140726960869216 140590318609376 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
Current children cumulated CPU time: 2521.9 s
Current children cumulated vsize: 11039508 KiB
Current children cumulated memory: 3445656 KiB
[startup+2475.6 s]
/proc/loadavg: 1.58 1.68 1.71 3/234 29468
/proc/meminfo: memFree=6854232/32770624 swapFree=67001824/67108860
[pid=28985] ppid=28982 vsize=11039508 memory=3445656 CPUtime=2522.31 cores=0,2,4,6
/proc/28985/stat : 28985 (java) S 28982 28985 26338 0 -1 1077944320 135432 13354 0 0 251895 328 5 3 20 0 17 0 473597018 11304456192 861414 33554432000 4194304 4196468 140726960869216 140726960851760 140592464617207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
/proc/28985/statm: 2759877 861414 3639 1 0 2721935 0
[pid=28985/tid=29038] ppid=28982 vsize=11039508 memory=1660 CPUtime=2466.75 cores=0,2,4,6
/proc/28985/task/29038/stat : 29038 (java) R 28982 28985 26338 0 -1 4202560 59006 13354 0 0 246632 35 5 3 20 0 17 0 473597027 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592436452488 140592069059639 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29039] ppid=28982 vsize=11039508 memory=1804 CPUtime=7.91 cores=0,2,4,6
/proc/28985/task/29039/stat : 29039 (java) S 28982 28985 26338 0 -1 1077944384 4459 13354 0 0 728 55 5 3 20 0 17 0 473597028 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592468859920 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29040] ppid=28982 vsize=11039508 memory=920 CPUtime=7.92 cores=0,2,4,6
/proc/28985/task/29040/stat : 29040 (java) S 28982 28985 26338 0 -1 1077944384 4855 13354 0 0 730 54 5 3 20 0 17 0 473597028 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592400772240 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29041] ppid=28982 vsize=11039508 memory=3848 CPUtime=7.91 cores=0,2,4,6
/proc/28985/task/29041/stat : 29041 (java) S 28982 28985 26338 0 -1 1077944384 6453 13354 0 0 729 54 5 3 20 0 17 0 473597028 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592036580112 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29042] ppid=28982 vsize=11039508 memory=2684 CPUtime=7.93 cores=0,2,4,6
/proc/28985/task/29042/stat : 29042 (java) S 28982 28985 26338 0 -1 1077944384 4389 13354 0 0 729 56 5 3 20 0 17 0 473597028 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592035527568 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29043] ppid=28982 vsize=11039508 memory=4872558044660077418 CPUtime=1.15 cores=0,2,4,6
/proc/28985/task/29043/stat : 29043 (java) S 28982 28985 26338 0 -1 1077944384 8407 13354 0 0 104 3 5 3 20 0 17 0 473597029 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591923960048 140592464628354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29044] ppid=28982 vsize=11039508 memory=1984 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29044/stat : 29044 (java) S 28982 28985 26338 0 -1 1077944384 63 13354 0 0 0 0 5 3 20 0 17 0 473597030 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591922906336 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29045] ppid=28982 vsize=11039508 memory=2376 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29045/stat : 29045 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 17 0 473597030 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591795004160 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29046] ppid=28982 vsize=11039508 memory=1768 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29046/stat : 29046 (java) S 28982 28985 26338 0 -1 1077944384 47 13354 0 0 0 0 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591191025616 140592464635803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29047] ppid=28982 vsize=11039508 memory=111628 CPUtime=9.26 cores=0,2,4,6
/proc/28985/task/29047/stat : 29047 (java) S 28982 28985 26338 0 -1 1077944384 15642 13354 0 0 914 4 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591889349360 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29048] ppid=28982 vsize=11039508 memory=804 CPUtime=9.26 cores=0,2,4,6
/proc/28985/task/29048/stat : 29048 (java) S 28982 28985 26338 0 -1 1077944384 12747 13354 0 0 914 4 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591888296816 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29049] ppid=28982 vsize=11039508 memory=1660 CPUtime=3.2 cores=0,2,4,6
/proc/28985/task/29049/stat : 29049 (java) S 28982 28985 26338 0 -1 1077944384 14306 13354 0 0 308 4 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591887243760 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29050] ppid=28982 vsize=11039508 memory=1804 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29050/stat : 29050 (java) S 28982 28985 26338 0 -1 1077944384 3 13354 0 0 0 0 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140590721264480 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29051] ppid=28982 vsize=11039508 memory=920 CPUtime=1.61 cores=0,2,4,6
/proc/28985/task/29051/stat : 29051 (java) S 28982 28985 26338 0 -1 1077944384 2794 13354 0 0 77 76 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591886191152 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29467] ppid=28982 vsize=11039508 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29467/stat : 29467 (java) S 28982 28985 26338 0 -1 1077944384 42 13354 0 0 0 0 5 3 20 0 17 0 473844420 11304456192 861414 33554432000 4194304 4196468 140726960869216 140590519935344 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29468] ppid=28982 vsize=11039508 memory=2684 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29468/stat : 29468 (java) S 28982 28985 26338 0 -1 1077944384 10 13354 0 0 0 0 5 3 20 0 17 0 473844441 11304456192 861414 33554432000 4194304 4196468 140726960869216 140590318609376 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
Current children cumulated CPU time: 2522.31 s
Current children cumulated vsize: 11039508 KiB
Current children cumulated memory: 3445656 KiB
[startup+2476 s]*
/proc/loadavg: 1.58 1.68 1.71 3/234 29468
/proc/meminfo: memFree=6854356/32770624 swapFree=67001824/67108860
[pid=28985] ppid=28982 vsize=11039508 memory=3445656 CPUtime=2522.73 cores=0,2,4,6
/proc/28985/stat : 28985 (java) S 28982 28985 26338 0 -1 1077944320 135432 13354 0 0 251937 328 5 3 20 0 17 0 473597018 11304456192 861414 33554432000 4194304 4196468 140726960869216 140726960851760 140592464617207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
/proc/28985/statm: 2759877 861414 3639 1 0 2721935 0
[pid=28985/tid=29038] ppid=28982 vsize=11039508 memory=1398720917958146503 CPUtime=2467.16 cores=0,2,4,6
/proc/28985/task/29038/stat : 29038 (java) R 28982 28985 26338 0 -1 4202560 59006 13354 0 0 246673 35 5 3 20 0 17 0 473597027 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592436452488 140592078491255 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29039] ppid=28982 vsize=11039508 memory=4872558044660077418 CPUtime=7.91 cores=0,2,4,6
/proc/28985/task/29039/stat : 29039 (java) S 28982 28985 26338 0 -1 1077944384 4459 13354 0 0 728 55 5 3 20 0 17 0 473597028 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592468859920 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29040] ppid=28982 vsize=11039508 memory=1036 CPUtime=7.92 cores=0,2,4,6
/proc/28985/task/29040/stat : 29040 (java) S 28982 28985 26338 0 -1 1077944384 4855 13354 0 0 730 54 5 3 20 0 17 0 473597028 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592400772240 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29041] ppid=28982 vsize=11039508 memory=14008 CPUtime=7.91 cores=0,2,4,6
/proc/28985/task/29041/stat : 29041 (java) S 28982 28985 26338 0 -1 1077944384 6453 13354 0 0 729 54 5 3 20 0 17 0 473597028 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592036580112 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29042] ppid=28982 vsize=11039508 memory=12024 CPUtime=7.93 cores=0,2,4,6
/proc/28985/task/29042/stat : 29042 (java) S 28982 28985 26338 0 -1 1077944384 4389 13354 0 0 729 56 5 3 20 0 17 0 473597028 11304456192 861414 33554432000 4194304 4196468 140726960869216 140592035527568 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29043] ppid=28982 vsize=11039508 memory=988 CPUtime=1.15 cores=0,2,4,6
/proc/28985/task/29043/stat : 29043 (java) S 28982 28985 26338 0 -1 1077944384 8407 13354 0 0 104 3 5 3 20 0 17 0 473597029 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591923960048 140592464628354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29044] ppid=28982 vsize=11039508 memory=2052 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29044/stat : 29044 (java) S 28982 28985 26338 0 -1 1077944384 63 13354 0 0 0 0 5 3 20 0 17 0 473597030 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591922906336 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29045] ppid=28982 vsize=11039508 memory=1428 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29045/stat : 29045 (java) S 28982 28985 26338 0 -1 1077944384 2 13354 0 0 0 0 5 3 20 0 17 0 473597030 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591795004160 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29046] ppid=28982 vsize=11039508 memory=1716 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29046/stat : 29046 (java) S 28982 28985 26338 0 -1 1077944384 47 13354 0 0 0 0 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591191025616 140592464635803 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29047] ppid=28982 vsize=11039508 memory=784 CPUtime=9.26 cores=0,2,4,6
/proc/28985/task/29047/stat : 29047 (java) S 28982 28985 26338 0 -1 1077944384 15642 13354 0 0 914 4 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591889349360 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29048] ppid=28982 vsize=11039508 memory=8560 CPUtime=9.26 cores=0,2,4,6
/proc/28985/task/29048/stat : 29048 (java) S 28982 28985 26338 0 -1 1077944384 12747 13354 0 0 914 4 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591888296816 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29049] ppid=28982 vsize=11039508 memory=6132 CPUtime=3.21 cores=0,2,4,6
/proc/28985/task/29049/stat : 29049 (java) S 28982 28985 26338 0 -1 1077944384 14306 13354 0 0 309 4 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591887243760 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29050] ppid=28982 vsize=11039508 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29050/stat : 29050 (java) S 28982 28985 26338 0 -1 1077944384 3 13354 0 0 0 0 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140590721264480 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29051] ppid=28982 vsize=11039508 memory=8 CPUtime=1.61 cores=0,2,4,6
/proc/28985/task/29051/stat : 29051 (java) S 28982 28985 26338 0 -1 1077944384 2794 13354 0 0 77 76 5 3 20 0 17 0 473597033 11304456192 861414 33554432000 4194304 4196468 140726960869216 140591886191152 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29467] ppid=28982 vsize=11039508 memory=280724835166704 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29467/stat : 29467 (java) S 28982 28985 26338 0 -1 1077944384 42 13354 0 0 0 0 5 3 20 0 17 0 473844420 11304456192 861414 33554432000 4194304 4196468 140726960869216 140590519935344 140592464627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
[pid=28985/tid=29468] ppid=28982 vsize=11039508 memory=6127903421601166992 CPUtime=0.08 cores=0,2,4,6
/proc/28985/task/29468/stat : 29468 (java) S 28982 28985 26338 0 -1 1077944384 10 13354 0 0 0 0 5 3 20 0 17 0 473844441 11304456192 861414 33554432000 4194304 4196468 140726960869216 140590318609376 140592464628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13557760 140726960872035 140726960874677 140726960874677 140726960877519 0
Current children cumulated CPU time: 2522.73 s
Current children cumulated vsize: 11039508 KiB
Current children cumulated memory: 3445656 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2476.04
CPU time (s): 2522.76
CPU user time (s): 2519.44
CPU system time (s): 3.32748
CPU usage (%): 101.887
Max. virtual memory (cumulated for all children) (KiB): 11039508
Max. memory (cumulated for all children) (KiB): 3481412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.44
system time used= 3.32748
maximum resident set size= 3481412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148789
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64873
involuntary context switches= 1703
# summary of solver processes directly reported to runsolver:
# pid: 28985
# total CPU time (s): 2522.76
# total CPU user time (s): 2519.44
# total CPU system time (s): 3.32748
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1212 second user time and 24.62 second system time
The end