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 (5762 MiB free)
memory of node 1: 16384 MiB (10917 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293265-1532313333/watcher-4293265-1532313333 -o /tmp/evaluation-result-4293265-1532313333/solver-4293265-1532313333 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7919 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2129534001 HOME/instance-4293265-1532313333.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11200, runsolver pid=11197
[startup+0.100059 s]*
/proc/loadavg: 1.54 1.41 1.37 3/206 11257
/proc/meminfo: memFree=17075492/32770624 swapFree=67108860/67108860
[pid=11200] ppid=11197 vsize=9972712 memory=16808 CPUtime=0.09 cores=1,3,5,7
/proc/11200/stat : 11200 (java) S 11197 11200 7887 0 -1 1077944320 4342 13284 0 0 1 1 4 3 20 0 6 0 48896508 10212057088 4202 33554432000 4194304 4196468 140732585727536 140732585710080 139716992331511 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
/proc/11200/statm: 2493178 4202 1934 1 0 2481616 0
[pid=11200/tid=11253] ppid=11197 vsize=9972712 memory=4279135704047060365 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11253/stat : 11253 (java) R 11197 11200 7887 0 -1 4202560 2176 13284 0 0 0 0 4 3 20 0 6 0 48896517 10212057088 4202 33554432000 4194304 4196468 140732585727536 139716964168272 139716976411998 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11254] ppid=11197 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11254/stat : 11254 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 6 0 48896518 10212057088 4202 33554432000 4194304 4196468 140732585727536 139716996574352 139716992341717 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11255] ppid=11197 vsize=9972712 memory=139976322029184 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11255/stat : 11255 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 6 0 48896518 10212057088 4202 33554432000 4194304 4196468 140732585727536 139716900776976 139716992341717 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11256] ppid=11197 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11256/stat : 11256 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 6 0 48896518 10212057088 4202 33554432000 4194304 4196468 140732585727536 139716899724176 139716992341717 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11257] ppid=11197 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11257/stat : 11257 (java) S 11197 11200 7887 0 -1 1077944384 2 13284 0 0 0 0 4 3 20 0 6 0 48896518 10212057088 4202 33554432000 4194304 4196468 140732585727536 139716898671376 139716992341717 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16808 KiB
[startup+0.209928 s]*
/proc/loadavg: 1.54 1.41 1.37 3/215 11266
/proc/meminfo: memFree=17053092/32770624 swapFree=67108860/67108860
[pid=11200] ppid=11197 vsize=10818904 memory=43388 CPUtime=0.25 cores=1,3,5,7
/proc/11200/stat : 11200 (java) S 11197 11200 7887 0 -1 1077944320 7998 13284 0 0 16 2 4 3 20 0 15 0 48896508 11078557696 10847 33554432000 4194304 4196468 140732585727536 140732585710080 139716992331511 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
/proc/11200/statm: 2704726 10847 2979 1 0 2667149 0
[pid=11200/tid=11253] ppid=11197 vsize=10818904 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/11200/task/11253/stat : 11253 (java) R 11197 11200 7887 0 -1 4202560 4656 13284 0 0 10 1 4 3 20 0 15 0 48896517 11078557696 10913 33554432000 4194304 4196468 140732585727536 139716964152608 139716992353437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11254] ppid=11197 vsize=10818904 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11254/stat : 11254 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896518 11078557696 10913 33554432000 4194304 4196468 140732585727536 139716996574352 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11255] ppid=11197 vsize=10818904 memory=139976322029184 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11255/stat : 11255 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896518 11078557696 10913 33554432000 4194304 4196468 140732585727536 139716900776976 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11256] ppid=11197 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11256/stat : 11256 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896518 11078557696 10913 33554432000 4194304 4196468 140732585727536 139716899724176 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11257] ppid=11197 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11257/stat : 11257 (java) S 11197 11200 7887 0 -1 1077944384 2 13284 0 0 0 0 4 3 20 0 15 0 48896518 11078557696 10913 33554432000 4194304 4196468 140732585727536 139716898671376 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11258] ppid=11197 vsize=10818904 memory=139976322029184 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11258/stat : 11258 (java) S 11197 11200 7887 0 -1 1077944384 2 13284 0 0 0 0 4 3 20 0 15 0 48896519 11078557696 10913 33554432000 4194304 4196468 140732585727536 139716451780976 139716992342658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11259] ppid=11197 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11259/stat : 11259 (java) S 11197 11200 7887 0 -1 1077944384 13 13284 0 0 0 0 4 3 20 0 15 0 48896519 11078557696 10913 33554432000 4194304 4196468 140732585727536 139715890111520 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11260] ppid=11197 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11260/stat : 11260 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896520 11078557696 10913 33554432000 4194304 4196468 140732585727536 139715755893616 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11261] ppid=11197 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11261/stat : 11261 (java) S 11197 11200 7887 0 -1 1077944384 3 13284 0 0 0 0 4 3 20 0 15 0 48896522 11078557696 10913 33554432000 4194304 4196468 140732585727536 139715515602768 139716992350107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11262] ppid=11197 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11200/task/11262/stat : 11262 (java) S 11197 11200 7887 0 -1 1077944384 469 13284 0 0 1 0 4 3 20 0 15 0 48896522 11078557696 10913 33554432000 4194304 4196468 140732585727536 139716450728816 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11263] ppid=11197 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11263/stat : 11263 (java) S 11197 11200 7887 0 -1 1077944384 144 13284 0 0 0 0 4 3 20 0 15 0 48896522 11078557696 10913 33554432000 4194304 4196468 140732585727536 139716449676016 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11264] ppid=11197 vsize=10818904 memory=139976322029184 CPUtime=0.1 cores=1,3,5,7
/proc/11200/task/11264/stat : 11264 (java) R 11197 11200 7887 0 -1 4202560 609 13284 0 0 3 0 4 3 20 0 15 0 48896522 11078557696 10913 33554432000 4194304 4196468 140732585727536 139716448623216 139716970883794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11265] ppid=11197 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11265/stat : 11265 (java) S 11197 11200 7887 0 -1 1077944384 3 13284 0 0 0 0 4 3 20 0 15 0 48896523 11078557696 10913 33554432000 4194304 4196468 140732585727536 139715482045152 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11266] ppid=11197 vsize=10818904 memory=139976322029184 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11266/stat : 11266 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896523 11078557696 10913 33554432000 4194304 4196468 140732585727536 139716447570608 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43388 KiB
[startup+0.310221 s]*
/proc/loadavg: 1.54 1.41 1.37 3/215 11266
/proc/meminfo: memFree=17041556/32770624 swapFree=67108860/67108860
[pid=11200] ppid=11197 vsize=10819352 memory=54372 CPUtime=0.37 cores=1,3,5,7
/proc/11200/stat : 11200 (java) S 11197 11200 7887 0 -1 1077944320 10591 13284 0 0 27 3 4 3 20 0 15 0 48896508 11079016448 13593 33554432000 4194304 4196468 140732585727536 140732585710080 139716992331511 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
/proc/11200/statm: 2704838 13593 3098 1 0 2667149 0
[pid=11200/tid=11253] ppid=11197 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/11200/task/11253/stat : 11253 (java) R 11197 11200 7887 0 -1 4202560 7143 13284 0 0 19 2 4 3 20 0 15 0 48896517 11079016448 13593 33554432000 4194304 4196468 140732585727536 139716964143520 139716992353437 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11254] ppid=11197 vsize=10819352 memory=6442496454854463569 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11254/stat : 11254 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896518 11079016448 13593 33554432000 4194304 4196468 140732585727536 139716996574352 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11255] ppid=11197 vsize=10819352 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11255/stat : 11255 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896518 11079016448 13593 33554432000 4194304 4196468 140732585727536 139716900776976 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11256] ppid=11197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11256/stat : 11256 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896518 11079016448 13593 33554432000 4194304 4196468 140732585727536 139716899724176 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11257] ppid=11197 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11257/stat : 11257 (java) S 11197 11200 7887 0 -1 1077944384 2 13284 0 0 0 0 4 3 20 0 15 0 48896518 11079016448 13593 33554432000 4194304 4196468 140732585727536 139716898671376 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11258] ppid=11197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11258/stat : 11258 (java) S 11197 11200 7887 0 -1 1077944384 2 13284 0 0 0 0 4 3 20 0 15 0 48896519 11079016448 13593 33554432000 4194304 4196468 140732585727536 139716451780976 139716992342658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11259] ppid=11197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11259/stat : 11259 (java) S 11197 11200 7887 0 -1 1077944384 13 13284 0 0 0 0 4 3 20 0 15 0 48896519 11079016448 13593 33554432000 4194304 4196468 140732585727536 139715890111520 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11260] ppid=11197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11260/stat : 11260 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896520 11079016448 13593 33554432000 4194304 4196468 140732585727536 139715755893616 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11261] ppid=11197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11261/stat : 11261 (java) S 11197 11200 7887 0 -1 1077944384 3 13284 0 0 0 0 4 3 20 0 15 0 48896522 11079016448 13593 33554432000 4194304 4196468 140732585727536 139715515602768 139716992350107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11262] ppid=11197 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11200/task/11262/stat : 11262 (java) S 11197 11200 7887 0 -1 1077944384 469 13284 0 0 1 0 4 3 20 0 15 0 48896522 11079016448 13593 33554432000 4194304 4196468 140732585727536 139716450728816 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11263] ppid=11197 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11200/task/11263/stat : 11263 (java) S 11197 11200 7887 0 -1 1077944384 145 13284 0 0 1 0 4 3 20 0 15 0 48896522 11079016448 13593 33554432000 4194304 4196468 140732585727536 139716449676016 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11264] ppid=11197 vsize=10819352 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/11200/task/11264/stat : 11264 (java) S 11197 11200 7887 0 -1 1077944384 615 13284 0 0 4 0 4 3 20 0 15 0 48896522 11079016448 13593 33554432000 4194304 4196468 140732585727536 139716448623216 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11265] ppid=11197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11265/stat : 11265 (java) S 11197 11200 7887 0 -1 1077944384 3 13284 0 0 0 0 4 3 20 0 15 0 48896523 11079016448 13593 33554432000 4194304 4196468 140732585727536 139715482045152 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11266] ppid=11197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11266/stat : 11266 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896523 11079016448 13593 33554432000 4194304 4196468 140732585727536 139716447570608 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54372 KiB
[startup+0.700792 s]
/proc/loadavg: 1.54 1.41 1.37 3/215 11266
/proc/meminfo: memFree=17030764/32770624 swapFree=67108860/67108860
[pid=11200] ppid=11197 vsize=10819352 memory=86436 CPUtime=0.98 cores=1,3,5,7
/proc/11200/stat : 11200 (java) S 11197 11200 7887 0 -1 1077944320 16746 13284 0 0 86 5 4 3 20 0 15 0 48896508 11079016448 21609 33554432000 4194304 4196468 140732585727536 140732585710080 139716992331511 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
/proc/11200/statm: 2704838 21609 3237 1 0 2667149 0
[pid=11200/tid=11253] ppid=11197 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/11200/task/11253/stat : 11253 (java) R 11197 11200 7887 0 -1 4202560 12215 13284 0 0 55 3 4 3 20 0 15 0 48896517 11079016448 21609 33554432000 4194304 4196468 140732585727536 139716964152336 139716973895120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11254] ppid=11197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11254/stat : 11254 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896518 11079016448 21609 33554432000 4194304 4196468 140732585727536 139716996574352 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11255] ppid=11197 vsize=10819352 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11255/stat : 11255 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896518 11079016448 21609 33554432000 4194304 4196468 140732585727536 139716900776976 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11256] ppid=11197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11256/stat : 11256 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896518 11079016448 21609 33554432000 4194304 4196468 140732585727536 139716899724176 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11257] ppid=11197 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11257/stat : 11257 (java) S 11197 11200 7887 0 -1 1077944384 2 13284 0 0 0 0 4 3 20 0 15 0 48896518 11079016448 21609 33554432000 4194304 4196468 140732585727536 139716898671376 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11258] ppid=11197 vsize=10819352 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11258/stat : 11258 (java) S 11197 11200 7887 0 -1 1077944384 5 13284 0 0 0 0 4 3 20 0 15 0 48896519 11079016448 21609 33554432000 4194304 4196468 140732585727536 139716451780976 139716992342658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11259] ppid=11197 vsize=10819352 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11259/stat : 11259 (java) S 11197 11200 7887 0 -1 1077944384 13 13284 0 0 0 0 4 3 20 0 15 0 48896519 11079016448 21609 33554432000 4194304 4196468 140732585727536 139715890111520 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11260] ppid=11197 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11260/stat : 11260 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896520 11079016448 21609 33554432000 4194304 4196468 140732585727536 139715755893616 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11261] ppid=11197 vsize=10819352 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11261/stat : 11261 (java) S 11197 11200 7887 0 -1 1077944384 3 13284 0 0 0 0 4 3 20 0 15 0 48896522 11079016448 21609 33554432000 4194304 4196468 140732585727536 139715515602768 139716992350107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11262] ppid=11197 vsize=10819352 memory=13252 CPUtime=0.16 cores=1,3,5,7
/proc/11200/task/11262/stat : 11262 (java) S 11197 11200 7887 0 -1 1077944384 1047 13284 0 0 9 0 4 3 20 0 15 0 48896522 11079016448 21609 33554432000 4194304 4196468 140732585727536 139716450728816 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11263] ppid=11197 vsize=10819352 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/11200/task/11263/stat : 11263 (java) S 11197 11200 7887 0 -1 1077944384 577 13284 0 0 7 0 4 3 20 0 15 0 48896522 11079016448 21609 33554432000 4194304 4196468 140732585727536 139716449676016 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11264] ppid=11197 vsize=10819352 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/11200/task/11264/stat : 11264 (java) S 11197 11200 7887 0 -1 1077944384 684 13284 0 0 13 0 4 3 20 0 15 0 48896522 11079016448 21609 33554432000 4194304 4196468 140732585727536 139716448623216 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11265] ppid=11197 vsize=10819352 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11265/stat : 11265 (java) S 11197 11200 7887 0 -1 1077944384 3 13284 0 0 0 0 4 3 20 0 15 0 48896523 11079016448 21609 33554432000 4194304 4196468 140732585727536 139715482045152 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11266] ppid=11197 vsize=10819352 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11266/stat : 11266 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896523 11079016448 21609 33554432000 4194304 4196468 140732585727536 139716447570608 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86436 KiB
[startup+1.50074 s]
/proc/loadavg: 1.54 1.41 1.37 3/215 11266
/proc/meminfo: memFree=16984308/32770624 swapFree=67108860/67108860
[pid=11200] ppid=11197 vsize=10834252 memory=183176 CPUtime=2.48 cores=1,3,5,7
/proc/11200/stat : 11200 (java) S 11197 11200 7887 0 -1 1077944320 23746 13284 0 0 231 10 4 3 20 0 15 0 48896508 11094274048 45794 33554432000 4194304 4196468 140732585727536 140732585710080 139716992331511 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
/proc/11200/statm: 2708563 45794 3481 1 0 2670221 0
[pid=11200/tid=11253] ppid=11197 vsize=10834252 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/11200/task/11253/stat : 11253 (java) R 11197 11200 7887 0 -1 4202560 17436 13284 0 0 129 6 4 3 20 0 15 0 48896517 11094274048 45794 33554432000 4194304 4196468 140732585727536 139716964148464 139716976411998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11254] ppid=11197 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11200/task/11254/stat : 11254 (java) S 11197 11200 7887 0 -1 1077944384 24 13284 0 0 1 0 4 3 20 0 15 0 48896518 11094274048 45794 33554432000 4194304 4196468 140732585727536 139716996574352 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11255] ppid=11197 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11200/task/11255/stat : 11255 (java) S 11197 11200 7887 0 -1 1077944384 162 13284 0 0 1 0 4 3 20 0 15 0 48896518 11094274048 45794 33554432000 4194304 4196468 140732585727536 139716900776976 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11256] ppid=11197 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11200/task/11256/stat : 11256 (java) S 11197 11200 7887 0 -1 1077944384 16 13284 0 0 1 0 4 3 20 0 15 0 48896518 11094274048 45794 33554432000 4194304 4196468 140732585727536 139716899724176 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11257] ppid=11197 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11200/task/11257/stat : 11257 (java) S 11197 11200 7887 0 -1 1077944384 71 13284 0 0 1 0 4 3 20 0 15 0 48896518 11094274048 45794 33554432000 4194304 4196468 140732585727536 139716898671376 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11258] ppid=11197 vsize=10834252 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/11200/task/11258/stat : 11258 (java) S 11197 11200 7887 0 -1 1077944384 56 13284 0 0 1 0 4 3 20 0 15 0 48896519 11094274048 45794 33554432000 4194304 4196468 140732585727536 139716451780976 139716992342658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11259] ppid=11197 vsize=10834252 memory=279952410880256 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11259/stat : 11259 (java) S 11197 11200 7887 0 -1 1077944384 13 13284 0 0 0 0 4 3 20 0 15 0 48896519 11094274048 45794 33554432000 4194304 4196468 140732585727536 139715890111584 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11260] ppid=11197 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11260/stat : 11260 (java) S 11197 11200 7887 0 -1 1077944384 2 13284 0 0 0 0 4 3 20 0 15 0 48896520 11094274048 45794 33554432000 4194304 4196468 140732585727536 139715755893632 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11261] ppid=11197 vsize=10834252 memory=1952 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11261/stat : 11261 (java) S 11197 11200 7887 0 -1 1077944384 3 13284 0 0 0 0 4 3 20 0 15 0 48896522 11094274048 45794 33554432000 4194304 4196468 140732585727536 139715515602768 139716992350107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11262] ppid=11197 vsize=10834252 memory=1232 CPUtime=0.35 cores=1,3,5,7
/proc/11200/task/11262/stat : 11262 (java) S 11197 11200 7887 0 -1 1077944384 1317 13284 0 0 28 0 4 3 20 0 15 0 48896522 11094274048 45794 33554432000 4194304 4196468 140732585727536 139716450728816 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11263] ppid=11197 vsize=10834252 memory=8372 CPUtime=0.34 cores=1,3,5,7
/proc/11200/task/11263/stat : 11263 (java) S 11197 11200 7887 0 -1 1077944384 1094 13284 0 0 27 0 4 3 20 0 15 0 48896522 11094274048 45794 33554432000 4194304 4196468 140732585727536 139716449676016 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11264] ppid=11197 vsize=10834252 memory=1708 CPUtime=0.44 cores=1,3,5,7
/proc/11200/task/11264/stat : 11264 (java) S 11197 11200 7887 0 -1 1077944384 1359 13284 0 0 37 0 4 3 20 0 15 0 48896522 11094274048 45794 33554432000 4194304 4196468 140732585727536 139716448623216 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11265] ppid=11197 vsize=10834252 memory=5412 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11265/stat : 11265 (java) S 11197 11200 7887 0 -1 1077944384 3 13284 0 0 0 0 4 3 20 0 15 0 48896523 11094274048 45794 33554432000 4194304 4196468 140732585727536 139715482045152 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11266] ppid=11197 vsize=10834252 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11266/stat : 11266 (java) S 11197 11200 7887 0 -1 1077944384 1 13284 0 0 0 0 4 3 20 0 15 0 48896523 11094274048 45794 33554432000 4194304 4196468 140732585727536 139716447570608 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/11200/statm: 2711128 2057156 3515 1 0 2672781 0
[pid=11200/tid=11253] ppid=11197 vsize=10844512 memory=1836 CPUtime=1887.55 cores=1,3,5,7
/proc/11200/task/11253/stat : 11253 (java) S 11197 11200 7887 0 -1 1077944384 121083 13284 0 0 188727 21 4 3 20 0 15 0 48896517 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716964165488 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11254] ppid=11197 vsize=10844512 memory=12976 CPUtime=155.26 cores=1,3,5,7
/proc/11200/task/11254/stat : 11254 (java) R 11197 11200 7887 0 -1 4202560 44958 13284 0 0 15279 240 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716996573936 139716984959719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11255] ppid=11197 vsize=10844512 memory=792 CPUtime=157.26 cores=1,3,5,7
/proc/11200/task/11255/stat : 11255 (java) R 11197 11200 7887 0 -1 4202560 69098 13284 0 0 15488 231 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716900776872 139716984959719 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11256] ppid=11197 vsize=10844512 memory=1952 CPUtime=155.82 cores=1,3,5,7
/proc/11200/task/11256/stat : 11256 (java) R 11197 11200 7887 0 -1 4202560 56909 13284 0 0 15334 241 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716899723760 139716984959719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11257] ppid=11197 vsize=10844512 memory=1232 CPUtime=157.68 cores=1,3,5,7
/proc/11200/task/11257/stat : 11257 (java) R 11197 11200 7887 0 -1 4202560 47860 13284 0 0 15533 228 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716898671576 139716977316752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11258] ppid=11197 vsize=10844512 memory=8228624 CPUtime=1.14 cores=1,3,5,7
/proc/11200/task/11258/stat : 11258 (java) S 11197 11200 7887 0 -1 1077944384 116890 13284 0 0 101 6 4 3 20 0 15 0 48896519 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716451779296 139716992341717 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11259] ppid=11197 vsize=10844512 memory=4124 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11259/stat : 11259 (java) S 11197 11200 7887 0 -1 1077944384 18 13284 0 0 0 0 4 3 20 0 15 0 48896519 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715890111584 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11260] ppid=11197 vsize=10844512 memory=8117760 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11260/stat : 11260 (java) S 11197 11200 7887 0 -1 1077944384 10 13284 0 0 0 0 4 3 20 0 15 0 48896520 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715755893632 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11261] ppid=11197 vsize=10844512 memory=2400 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11261/stat : 11261 (java) S 11197 11200 7887 0 -1 1077944384 3 13284 0 0 0 0 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715515602768 139716992350107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11262] ppid=11197 vsize=10844512 memory=792 CPUtime=2.03 cores=1,3,5,7
/proc/11200/task/11262/stat : 11262 (java) S 11197 11200 7887 0 -1 1077944384 17578 13284 0 0 194 2 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716450728864 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11263] ppid=11197 vsize=10844512 memory=1952 CPUtime=1.93 cores=1,3,5,7
/proc/11200/task/11263/stat : 11263 (java) S 11197 11200 7887 0 -1 1077944384 13116 13284 0 0 184 2 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716449676064 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11264] ppid=11197 vsize=10844512 memory=1232 CPUtime=1.39 cores=1,3,5,7
/proc/11200/task/11264/stat : 11264 (java) S 11197 11200 7887 0 -1 1077944384 11119 13284 0 0 130 2 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716448622976 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11265] ppid=11197 vsize=10844512 memory=196 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11265/stat : 11265 (java) S 11197 11200 7887 0 -1 1077944384 3 13284 0 0 0 0 4 3 20 0 15 0 48896523 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715482045152 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11266] ppid=11197 vsize=10844512 memory=186 CPUtime=0.6 cores=1,3,5,7
/proc/11200/task/11266/stat : 11266 (java) S 11197 11200 7887 0 -1 1077944384 2268 13284 0 0 25 28 4 3 20 0 15 0 48896523 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716447570608 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
Current children cumulated CPU time: 2520.14 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8228624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2050.64 s]
# the end of solver process 11200 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.89 s, system=10.0646 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2049.6 s]
/proc/loadavg: 2.48 2.28 2.00 6/215 11474
/proc/meminfo: memFree=10679528/32770624 swapFree=67108860/67108860
[pid=11200] ppid=11197 vsize=10844512 memory=8228624 CPUtime=2524.01 cores=1,3,5,7
/proc/11200/stat : 11200 (java) S 11197 11200 7887 0 -1 1077944320 503208 13284 0 0 251397 997 4 3 20 0 15 0 48896508 11104780288 2057156 33554432000 4194304 4196468 140732585727536 140732585710080 139716992331511 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
/proc/11200/statm: 2711128 2057156 3515 1 0 2672781 0
[pid=11200/tid=11253] ppid=11197 vsize=10844512 memory=196 CPUtime=1887.55 cores=1,3,5,7
/proc/11200/task/11253/stat : 11253 (java) S 11197 11200 7887 0 -1 1077944384 121083 13284 0 0 188727 21 4 3 20 0 15 0 48896517 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716964165488 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11254] ppid=11197 vsize=10844512 memory=186 CPUtime=156.22 cores=1,3,5,7
/proc/11200/task/11254/stat : 11254 (java) R 11197 11200 7887 0 -1 4202560 44958 13284 0 0 15375 240 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716996573936 139716984959719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11255] ppid=11197 vsize=10844512 memory=6791534058613427641 CPUtime=158.2 cores=1,3,5,7
/proc/11200/task/11255/stat : 11255 (java) R 11197 11200 7887 0 -1 4202560 69098 13284 0 0 15582 231 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716900776872 139716984959719 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11256] ppid=11197 vsize=10844512 memory=2340 CPUtime=156.79 cores=1,3,5,7
/proc/11200/task/11256/stat : 11256 (java) R 11197 11200 7887 0 -1 4202560 56909 13284 0 0 15430 242 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716899723760 139716984959719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11257] ppid=11197 vsize=10844512 memory=2244 CPUtime=158.68 cores=1,3,5,7
/proc/11200/task/11257/stat : 11257 (java) R 11197 11200 7887 0 -1 4202560 47955 13284 0 0 15633 228 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716898671576 139716977029263 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11258] ppid=11197 vsize=10844512 memory=932 CPUtime=1.14 cores=1,3,5,7
/proc/11200/task/11258/stat : 11258 (java) S 11197 11200 7887 0 -1 1077944384 116890 13284 0 0 101 6 4 3 20 0 15 0 48896519 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716451779296 139716992341717 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11259] ppid=11197 vsize=10844512 memory=8228624 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11259/stat : 11259 (java) S 11197 11200 7887 0 -1 1077944384 18 13284 0 0 0 0 4 3 20 0 15 0 48896519 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715890111584 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11260] ppid=11197 vsize=10844512 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11260/stat : 11260 (java) S 11197 11200 7887 0 -1 1077944384 10 13284 0 0 0 0 4 3 20 0 15 0 48896520 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715755893632 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11261] ppid=11197 vsize=10844512 memory=3096 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11261/stat : 11261 (java) S 11197 11200 7887 0 -1 1077944384 7 13284 0 0 0 0 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715515602416 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11262] ppid=11197 vsize=10844512 memory=1154248 CPUtime=2.03 cores=1,3,5,7
/proc/11200/task/11262/stat : 11262 (java) S 11197 11200 7887 0 -1 1077944384 17578 13284 0 0 194 2 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716450728864 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11263] ppid=11197 vsize=10844512 memory=8226564 CPUtime=1.93 cores=1,3,5,7
/proc/11200/task/11263/stat : 11263 (java) S 11197 11200 7887 0 -1 1077944384 13116 13284 0 0 184 2 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716449676064 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11264] ppid=11197 vsize=10844512 memory=7374755871725216619 CPUtime=1.39 cores=1,3,5,7
/proc/11200/task/11264/stat : 11264 (java) S 11197 11200 7887 0 -1 1077944384 11119 13284 0 0 130 2 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716448622976 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11265] ppid=11197 vsize=10844512 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11265/stat : 11265 (java) S 11197 11200 7887 0 -1 1077944384 3 13284 0 0 0 0 4 3 20 0 15 0 48896523 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715482045152 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11266] ppid=11197 vsize=10844512 memory=7738970202182215779 CPUtime=0.6 cores=1,3,5,7
/proc/11200/task/11266/stat : 11266 (java) S 11197 11200 7887 0 -1 1077944384 2270 13284 0 0 25 28 4 3 20 0 15 0 48896523 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716447570608 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
Current children cumulated CPU time: 2524.01 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8228624 KiB
[startup+2050.4 s]
/proc/loadavg: 2.48 2.28 2.00 6/215 11474
/proc/meminfo: memFree=10679528/32770624 swapFree=67108860/67108860
[pid=11200] ppid=11197 vsize=10844512 memory=8228624 CPUtime=2527.1 cores=1,3,5,7
/proc/11200/stat : 11200 (java) S 11197 11200 7887 0 -1 1077944320 503315 13284 0 0 251705 998 4 3 20 0 15 0 48896508 11104780288 2057156 33554432000 4194304 4196468 140732585727536 140732585710080 139716992331511 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
/proc/11200/statm: 2711128 2057156 3515 1 0 2672781 0
[pid=11200/tid=11253] ppid=11197 vsize=10844512 memory=8228624 CPUtime=1887.55 cores=1,3,5,7
/proc/11200/task/11253/stat : 11253 (java) S 11197 11200 7887 0 -1 1077944384 121083 13284 0 0 188727 21 4 3 20 0 15 0 48896517 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716964165488 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11254] ppid=11197 vsize=10844512 memory=8228624 CPUtime=156.99 cores=1,3,5,7
/proc/11200/task/11254/stat : 11254 (java) R 11197 11200 7887 0 -1 4202560 44958 13284 0 0 15451 241 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716996573936 139716984959719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11255] ppid=11197 vsize=10844512 memory=4124 CPUtime=158.96 cores=1,3,5,7
/proc/11200/task/11255/stat : 11255 (java) R 11197 11200 7887 0 -1 4202560 69098 13284 0 0 15658 231 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716900776872 139716984959719 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11256] ppid=11197 vsize=10844512 memory=8117760 CPUtime=157.56 cores=1,3,5,7
/proc/11200/task/11256/stat : 11256 (java) R 11197 11200 7887 0 -1 4202560 56909 13284 0 0 15507 242 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716899723760 139716984959719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11257] ppid=11197 vsize=10844512 memory=2400 CPUtime=159.48 cores=1,3,5,7
/proc/11200/task/11257/stat : 11257 (java) R 11197 11200 7887 0 -1 4202560 48062 13284 0 0 15713 228 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716898671576 139716977029263 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11258] ppid=11197 vsize=10844512 memory=792 CPUtime=1.14 cores=1,3,5,7
/proc/11200/task/11258/stat : 11258 (java) S 11197 11200 7887 0 -1 1077944384 116890 13284 0 0 101 6 4 3 20 0 15 0 48896519 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716451779296 139716992341717 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11259] ppid=11197 vsize=10844512 memory=1952 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11259/stat : 11259 (java) S 11197 11200 7887 0 -1 1077944384 18 13284 0 0 0 0 4 3 20 0 15 0 48896519 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715890111584 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11260] ppid=11197 vsize=10844512 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11260/stat : 11260 (java) S 11197 11200 7887 0 -1 1077944384 10 13284 0 0 0 0 4 3 20 0 15 0 48896520 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715755893632 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11261] ppid=11197 vsize=10844512 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11261/stat : 11261 (java) S 11197 11200 7887 0 -1 1077944384 7 13284 0 0 0 0 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715515602416 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11262] ppid=11197 vsize=10844512 memory=6791534058613427641 CPUtime=2.03 cores=1,3,5,7
/proc/11200/task/11262/stat : 11262 (java) S 11197 11200 7887 0 -1 1077944384 17578 13284 0 0 194 2 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716450728864 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11263] ppid=11197 vsize=10844512 memory=1836 CPUtime=1.93 cores=1,3,5,7
/proc/11200/task/11263/stat : 11263 (java) S 11197 11200 7887 0 -1 1077944384 13116 13284 0 0 184 2 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716449676064 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11264] ppid=11197 vsize=10844512 memory=12976 CPUtime=1.39 cores=1,3,5,7
/proc/11200/task/11264/stat : 11264 (java) S 11197 11200 7887 0 -1 1077944384 11119 13284 0 0 130 2 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716448622976 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11265] ppid=11197 vsize=10844512 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11265/stat : 11265 (java) S 11197 11200 7887 0 -1 1077944384 3 13284 0 0 0 0 4 3 20 0 15 0 48896523 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715482045152 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11266] ppid=11197 vsize=10844512 memory=1952 CPUtime=0.6 cores=1,3,5,7
/proc/11200/task/11266/stat : 11266 (java) S 11197 11200 7887 0 -1 1077944384 2270 13284 0 0 25 28 4 3 20 0 15 0 48896523 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716447570608 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
Current children cumulated CPU time: 2527.1 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8228624 KiB
[startup+2050.6 s]
/proc/loadavg: 2.48 2.28 2.00 6/215 11474
/proc/meminfo: memFree=10679528/32770624 swapFree=67108860/67108860
[pid=11200] ppid=11197 vsize=10844512 memory=8228624 CPUtime=2527.88 cores=1,3,5,7
/proc/11200/stat : 11200 (java) S 11197 11200 7887 0 -1 1077944320 503364 13284 0 0 251782 999 4 3 20 0 15 0 48896508 11104780288 2057156 33554432000 4194304 4196468 140732585727536 140732585710080 139716992331511 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
/proc/11200/statm: 2711128 2057156 3515 1 0 2672781 0
[pid=11200/tid=11253] ppid=11197 vsize=10844512 memory=6791534058613427641 CPUtime=1887.55 cores=1,3,5,7
/proc/11200/task/11253/stat : 11253 (java) S 11197 11200 7887 0 -1 1077944384 121083 13284 0 0 188727 21 4 3 20 0 15 0 48896517 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716964165488 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11254] ppid=11197 vsize=10844512 memory=1296 CPUtime=157.18 cores=1,3,5,7
/proc/11200/task/11254/stat : 11254 (java) R 11197 11200 7887 0 -1 4202560 44958 13284 0 0 15470 241 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716996573936 139716984959719 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11255] ppid=11197 vsize=10844512 memory=2400 CPUtime=159.15 cores=1,3,5,7
/proc/11200/task/11255/stat : 11255 (java) R 11197 11200 7887 0 -1 4202560 69098 13284 0 0 15677 231 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716900776872 139716984959719 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11256] ppid=11197 vsize=10844512 memory=1836 CPUtime=157.75 cores=1,3,5,7
/proc/11200/task/11256/stat : 11256 (java) R 11197 11200 7887 0 -1 4202560 56909 13284 0 0 15526 242 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716899723760 139716984959719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11257] ppid=11197 vsize=10844512 memory=12976 CPUtime=159.68 cores=1,3,5,7
/proc/11200/task/11257/stat : 11257 (java) R 11197 11200 7887 0 -1 4202560 48111 13284 0 0 15733 228 4 3 20 0 15 0 48896518 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716898671576 139716977282116 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11258] ppid=11197 vsize=10844512 memory=792 CPUtime=1.14 cores=1,3,5,7
/proc/11200/task/11258/stat : 11258 (java) S 11197 11200 7887 0 -1 1077944384 116890 13284 0 0 101 6 4 3 20 0 15 0 48896519 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716451779296 139716992341717 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11259] ppid=11197 vsize=10844512 memory=1952 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11259/stat : 11259 (java) S 11197 11200 7887 0 -1 1077944384 18 13284 0 0 0 0 4 3 20 0 15 0 48896519 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715890111584 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11260] ppid=11197 vsize=10844512 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11260/stat : 11260 (java) S 11197 11200 7887 0 -1 1077944384 10 13284 0 0 0 0 4 3 20 0 15 0 48896520 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715755893632 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11261] ppid=11197 vsize=10844512 memory=8372 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11261/stat : 11261 (java) S 11197 11200 7887 0 -1 1077944384 7 13284 0 0 0 0 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715515602416 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11262] ppid=11197 vsize=10844512 memory=1708 CPUtime=2.03 cores=1,3,5,7
/proc/11200/task/11262/stat : 11262 (java) S 11197 11200 7887 0 -1 1077944384 17578 13284 0 0 194 2 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716450728864 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11263] ppid=11197 vsize=10844512 memory=5412 CPUtime=1.93 cores=1,3,5,7
/proc/11200/task/11263/stat : 11263 (java) S 11197 11200 7887 0 -1 1077944384 13116 13284 0 0 184 2 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716449676064 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11264] ppid=11197 vsize=10844512 memory=4612 CPUtime=1.39 cores=1,3,5,7
/proc/11200/task/11264/stat : 11264 (java) S 11197 11200 7887 0 -1 1077944384 11119 13284 0 0 130 2 4 3 20 0 15 0 48896522 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716448622976 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11265] ppid=11197 vsize=10844512 memory=1012 CPUtime=0.07 cores=1,3,5,7
/proc/11200/task/11265/stat : 11265 (java) S 11197 11200 7887 0 -1 1077944384 3 13284 0 0 0 0 4 3 20 0 15 0 48896523 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139715482045152 139716992341717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
[pid=11200/tid=11266] ppid=11197 vsize=10844512 memory=1436 CPUtime=0.6 cores=1,3,5,7
/proc/11200/task/11266/stat : 11266 (java) S 11197 11200 7887 0 -1 1077944384 2270 13284 0 0 25 28 4 3 20 0 15 0 48896523 11104780288 2057156 33554432000 4194304 4196468 140732585727536 139716447570608 139716992342658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 10252288 140732585728622 140732585731420 140732585731420 140732585734095 0
Current children cumulated CPU time: 2527.88 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8228624 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2050.64
CPU time (s): 2527.96
CPU user time (s): 2517.89
CPU system time (s): 10.0646
CPU usage (%): 123.276
Max. virtual memory (cumulated for all children) (KiB): 10844512
Max. memory (cumulated for all children) (KiB): 8228624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.89
system time used= 10.0647
maximum resident set size= 8228796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516650
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60495
involuntary context switches= 10616
# summary of solver processes directly reported to runsolver:
# pid: 11200
# total CPU time (s): 2527.96
# total CPU user time (s): 2517.89
# total CPU system time (s): 10.0646
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0559 second user time and 18.7151 second system time
The end