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 (9538 MiB free)
memory of node 1: 16384 MiB (14144 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302723-1532897795/watcher-4302723-1532897795 -o /tmp/evaluation-result-4302723-1532897795/solver-4302723-1532897795 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532897795-31992 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=225371574 -superng HOME/instance-4302723-1532897795.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=32022, runsolver pid=32015
[startup+0.100064 s]*
/proc/loadavg: 0.71 0.75 1.02 3/211 32108
/proc/meminfo: memFree=24219240/32770624 swapFree=67108860/67108860
[pid=32022] ppid=32015 vsize=163220 memory=4704 CPUtime=0.08 cores=1,3,5,7
/proc/32022/stat : 32022 (java) S 32015 32022 29938 0 -1 1077944320 2268 12891 0 0 0 0 5 3 20 0 2 0 107342726 167137280 1176 33554432000 4194304 4196468 140725864391376 140725864373920 140688449711863 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
/proc/32022/statm: 40805 1176 874 1 0 32929 0
[pid=32022/tid=32127] ppid=32015 vsize=165324 memory=-8540663193526752614 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32127/stat : 32127 (java) D 32015 32022 29938 0 -1 1077944384 84 12891 0 0 0 0 5 3 20 0 2 0 107342737 169291776 1176 33554432000 4194304 4196468 140725864391376 140688421549408 140688442391085 0 0 4096 0 18446744072101813796 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 163220 KiB
Current children cumulated memory: 4704 KiB
[startup+0.219145 s]*
/proc/loadavg: 0.71 0.75 1.02 4/221 32154
/proc/meminfo: memFree=24191708/32770624 swapFree=67108860/67108860
[pid=32022] ppid=32015 vsize=10982744 memory=42844 CPUtime=0.25 cores=1,3,5,7
/proc/32022/stat : 32022 (java) S 32015 32022 29938 0 -1 1077944320 6932 12891 0 0 16 1 5 3 20 0 15 0 107342726 11246329856 10711 33554432000 4194304 4196468 140725864391376 140725864373920 140688449711863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
/proc/32022/statm: 2745686 10711 2958 1 0 2708109 0
[pid=32022/tid=32127] ppid=32015 vsize=10982744 memory=4871374705135476842 CPUtime=0.18 cores=1,3,5,7
/proc/32022/task/32127/stat : 32127 (java) R 32015 32022 29938 0 -1 4202560 3502 12891 0 0 10 0 5 3 20 0 15 0 107342737 11246329856 10711 33554432000 4194304 4196468 140725864391376 140688421501856 140688433792350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32129] ppid=32015 vsize=10982744 memory=4211973890953903498 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32129/stat : 32129 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342738 11246329856 10711 33554432000 4194304 4196468 140725864391376 140688453953936 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32130] ppid=32015 vsize=10982744 memory=140164749112960 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32130/stat : 32130 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342738 11246329856 10711 33554432000 4194304 4196468 140725864391376 140688308672784 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32131] ppid=32015 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32131/stat : 32131 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342738 11246329856 10711 33554432000 4194304 4196468 140725864391376 140688307620496 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32132] ppid=32015 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32132/stat : 32132 (java) S 32015 32022 29938 0 -1 1077944384 2 12891 0 0 0 0 5 3 20 0 15 0 107342738 11246329856 10711 33554432000 4194304 4196468 140725864391376 140688306567696 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32137] ppid=32015 vsize=10982744 memory=140164749112960 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32137/stat : 32137 (java) S 32015 32022 29938 0 -1 1077944384 2 12891 0 0 0 0 5 3 20 0 15 0 107342739 11246329856 10711 33554432000 4194304 4196468 140725864391376 140687874931312 140688449723010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32139] ppid=32015 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32139/stat : 32139 (java) S 32015 32022 29938 0 -1 1077944384 13 12891 0 0 0 0 5 3 20 0 15 0 107342739 11246329856 10711 33554432000 4194304 4196468 140725864391376 140687290918176 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32141] ppid=32015 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32141/stat : 32141 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342740 11246329856 10711 33554432000 4194304 4196468 140725864391376 140687089591920 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32143] ppid=32015 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32143/stat : 32143 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342742 11246329856 10711 33554432000 4194304 4196468 140725864391376 140686782192208 140688449730459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32144] ppid=32015 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32022/task/32144/stat : 32144 (java) S 32015 32022 29938 0 -1 1077944384 416 12891 0 0 1 0 5 3 20 0 15 0 107342742 11246329856 10711 33554432000 4194304 4196468 140725864391376 140687873878128 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32145] ppid=32015 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/32022/task/32145/stat : 32145 (java) S 32015 32022 29938 0 -1 1077944384 188 12891 0 0 1 0 5 3 20 0 15 0 107342742 11246329856 10711 33554432000 4194304 4196468 140725864391376 140687872825328 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32146] ppid=32015 vsize=10982744 memory=140164749112960 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32146/stat : 32146 (java) S 32015 32022 29938 0 -1 1077944384 611 12891 0 0 3 0 5 3 20 0 15 0 107342742 11246329856 10711 33554432000 4194304 4196468 140725864391376 140687871773040 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32151] ppid=32015 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32151/stat : 32151 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342743 11246329856 10711 33554432000 4194304 4196468 140725864391376 140686351395296 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32153] ppid=32015 vsize=10982744 memory=140164749112960 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32153/stat : 32153 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342743 11246329856 10711 33554432000 4194304 4196468 140725864391376 140687870720944 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42844 KiB
[startup+0.311009 s]*
/proc/loadavg: 0.71 0.75 1.02 2/221 32154
/proc/meminfo: memFree=24170244/32770624 swapFree=67108860/67108860
[pid=32022] ppid=32015 vsize=10983192 memory=54724 CPUtime=0.38 cores=1,3,5,7
/proc/32022/stat : 32022 (java) S 32015 32022 29938 0 -1 1077944320 9716 12891 0 0 27 3 5 3 20 0 15 0 107342726 11246788608 13681 33554432000 4194304 4196468 140725864391376 140725864373920 140688449711863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
/proc/32022/statm: 2745798 13681 3077 1 0 2708109 0
[pid=32022/tid=32127] ppid=32015 vsize=10983192 memory=140164647256325 CPUtime=0.27 cores=1,3,5,7
/proc/32022/task/32127/stat : 32127 (java) R 32015 32022 29938 0 -1 4202560 6269 12891 0 0 18 1 5 3 20 0 15 0 107342737 11246788608 13681 33554432000 4194304 4196468 140725864391376 140688421523872 140688431275415 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32129] ppid=32015 vsize=10983192 memory=3977295499660704336 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32129/stat : 32129 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342738 11246788608 13681 33554432000 4194304 4196468 140725864391376 140688453953936 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32130] ppid=32015 vsize=10983192 memory=140164749112960 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32130/stat : 32130 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342738 11246788608 13681 33554432000 4194304 4196468 140725864391376 140688308672784 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32131] ppid=32015 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32131/stat : 32131 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342738 11246788608 13681 33554432000 4194304 4196468 140725864391376 140688307620496 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32132] ppid=32015 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32132/stat : 32132 (java) S 32015 32022 29938 0 -1 1077944384 2 12891 0 0 0 0 5 3 20 0 15 0 107342738 11246788608 13681 33554432000 4194304 4196468 140725864391376 140688306567696 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32137] ppid=32015 vsize=10983192 memory=140164749112960 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32137/stat : 32137 (java) S 32015 32022 29938 0 -1 1077944384 2 12891 0 0 0 0 5 3 20 0 15 0 107342739 11246788608 13681 33554432000 4194304 4196468 140725864391376 140687874931312 140688449723010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32139] ppid=32015 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32139/stat : 32139 (java) S 32015 32022 29938 0 -1 1077944384 13 12891 0 0 0 0 5 3 20 0 15 0 107342739 11246788608 13681 33554432000 4194304 4196468 140725864391376 140687290918176 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32141] ppid=32015 vsize=10983192 memory=140164749112960 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32141/stat : 32141 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342740 11246788608 13681 33554432000 4194304 4196468 140725864391376 140687089591920 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32143] ppid=32015 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32143/stat : 32143 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342742 11246788608 13681 33554432000 4194304 4196468 140725864391376 140686782192208 140688449730459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32144] ppid=32015 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32022/task/32144/stat : 32144 (java) S 32015 32022 29938 0 -1 1077944384 416 12891 0 0 1 0 5 3 20 0 15 0 107342742 11246788608 13681 33554432000 4194304 4196468 140725864391376 140687873878128 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32145] ppid=32015 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/32022/task/32145/stat : 32145 (java) S 32015 32022 29938 0 -1 1077944384 189 12891 0 0 1 0 5 3 20 0 15 0 107342742 11246788608 13681 33554432000 4194304 4196468 140725864391376 140687872825328 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32146] ppid=32015 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/32022/task/32146/stat : 32146 (java) S 32015 32022 29938 0 -1 1077944384 621 12891 0 0 5 0 5 3 20 0 15 0 107342742 11246788608 13681 33554432000 4194304 4196468 140725864391376 140687871773040 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32151] ppid=32015 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32151/stat : 32151 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342743 11246788608 13681 33554432000 4194304 4196468 140725864391376 140686351395296 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32153] ppid=32015 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32153/stat : 32153 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342743 11246788608 13681 33554432000 4194304 4196468 140725864391376 140687870720944 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54724 KiB
[startup+0.700779 s]
/proc/loadavg: 0.71 0.75 1.02 4/221 32154
/proc/meminfo: memFree=24144248/32770624 swapFree=67108860/67108860
[pid=32022] ppid=32015 vsize=10983192 memory=89200 CPUtime=0.98 cores=1,3,5,7
/proc/32022/stat : 32022 (java) S 32015 32022 29938 0 -1 1077944320 16361 12891 0 0 85 5 5 3 20 0 15 0 107342726 11246788608 22300 33554432000 4194304 4196468 140725864391376 140725864373920 140688449711863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
/proc/32022/statm: 2745798 22300 3241 1 0 2708109 0
[pid=32022/tid=32127] ppid=32015 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/32022/task/32127/stat : 32127 (java) R 32015 32022 29938 0 -1 4202560 11768 12891 0 0 54 3 5 3 20 0 15 0 107342737 11246788608 22300 33554432000 4194304 4196468 140725864391376 140688421518224 140688449733789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32129] ppid=32015 vsize=10983192 memory=4 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32129/stat : 32129 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342738 11246788608 22300 33554432000 4194304 4196468 140725864391376 140688453953936 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32130] ppid=32015 vsize=10983192 memory=31 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32130/stat : 32130 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342738 11246788608 22300 33554432000 4194304 4196468 140725864391376 140688308672784 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32131] ppid=32015 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32131/stat : 32131 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342738 11246788608 22300 33554432000 4194304 4196468 140725864391376 140688307620496 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32132] ppid=32015 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32132/stat : 32132 (java) S 32015 32022 29938 0 -1 1077944384 2 12891 0 0 0 0 5 3 20 0 15 0 107342738 11246788608 22300 33554432000 4194304 4196468 140725864391376 140688306567696 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32137] ppid=32015 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32137/stat : 32137 (java) S 32015 32022 29938 0 -1 1077944384 5 12891 0 0 0 0 5 3 20 0 15 0 107342739 11246788608 22300 33554432000 4194304 4196468 140725864391376 140687874931312 140688449723010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32139] ppid=32015 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32139/stat : 32139 (java) S 32015 32022 29938 0 -1 1077944384 13 12891 0 0 0 0 5 3 20 0 15 0 107342739 11246788608 22300 33554432000 4194304 4196468 140725864391376 140687290918176 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32141] ppid=32015 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32141/stat : 32141 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342740 11246788608 22300 33554432000 4194304 4196468 140725864391376 140687089591920 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32143] ppid=32015 vsize=10983192 memory=8242475861747775793 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32143/stat : 32143 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342742 11246788608 22300 33554432000 4194304 4196468 140725864391376 140686782192208 140688449730459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32144] ppid=32015 vsize=10983192 memory=6081073784369991761 CPUtime=0.15 cores=1,3,5,7
/proc/32022/task/32144/stat : 32144 (java) S 32015 32022 29938 0 -1 1077944384 838 12891 0 0 7 0 5 3 20 0 15 0 107342742 11246788608 22300 33554432000 4194304 4196468 140725864391376 140687873878128 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32145] ppid=32015 vsize=10983192 memory=7223879631928058176 CPUtime=0.17 cores=1,3,5,7
/proc/32022/task/32145/stat : 32145 (java) S 32015 32022 29938 0 -1 1077944384 858 12891 0 0 9 0 5 3 20 0 15 0 107342742 11246788608 22300 33554432000 4194304 4196468 140725864391376 140687872825328 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32146] ppid=32015 vsize=10983192 memory=2984339746955739232 CPUtime=0.21 cores=1,3,5,7
/proc/32022/task/32146/stat : 32146 (java) S 32015 32022 29938 0 -1 1077944384 673 12891 0 0 13 0 5 3 20 0 15 0 107342742 11246788608 22300 33554432000 4194304 4196468 140725864391376 140687871773040 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32151] ppid=32015 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32151/stat : 32151 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342743 11246788608 22300 33554432000 4194304 4196468 140725864391376 140686351395296 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32153] ppid=32015 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32153/stat : 32153 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342743 11246788608 22300 33554432000 4194304 4196468 140725864391376 140687870720944 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89200 KiB
[startup+1.50068 s]
/proc/loadavg: 0.71 0.75 1.02 6/221 32154
/proc/meminfo: memFree=24061012/32770624 swapFree=67108860/67108860
[pid=32022] ppid=32015 vsize=10998092 memory=178032 CPUtime=2.22 cores=1,3,5,7
/proc/32022/stat : 32022 (java) S 32015 32022 29938 0 -1 1077944320 23150 12891 0 0 203 11 5 3 20 0 15 0 107342726 11262046208 44508 33554432000 4194304 4196468 140725864391376 140725864373920 140688449711863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
/proc/32022/statm: 2749523 44508 3468 1 0 2711181 0
[pid=32022/tid=32127] ppid=32015 vsize=10998092 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/32022/task/32127/stat : 32127 (java) R 32015 32022 29938 0 -1 4202560 17065 12891 0 0 125 6 5 3 20 0 15 0 107342737 11262046208 44508 33554432000 4194304 4196468 140725864391376 140688421536824 140688449723798 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32129] ppid=32015 vsize=10998092 memory=102148 CPUtime=0.09 cores=1,3,5,7
/proc/32022/task/32129/stat : 32129 (java) S 32015 32022 29938 0 -1 1077944384 195 12891 0 0 1 0 5 3 20 0 15 0 107342738 11262046208 44508 33554432000 4194304 4196468 140725864391376 140688453953936 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32130] ppid=32015 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32022/task/32130/stat : 32130 (java) S 32015 32022 29938 0 -1 1077944384 23 12891 0 0 1 0 5 3 20 0 15 0 107342738 11262046208 44508 33554432000 4194304 4196468 140725864391376 140688308672784 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32131] ppid=32015 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32022/task/32131/stat : 32131 (java) S 32015 32022 29938 0 -1 1077944384 65 12891 0 0 1 0 5 3 20 0 15 0 107342738 11262046208 44508 33554432000 4194304 4196468 140725864391376 140688307620496 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32132] ppid=32015 vsize=10998092 memory=280329294509664 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32132/stat : 32132 (java) S 32015 32022 29938 0 -1 1077944384 23 12891 0 0 0 0 5 3 20 0 15 0 107342738 11262046208 44508 33554432000 4194304 4196468 140725864391376 140688306567696 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32137] ppid=32015 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32022/task/32137/stat : 32137 (java) S 32015 32022 29938 0 -1 1077944384 49 12891 0 0 1 0 5 3 20 0 15 0 107342739 11262046208 44508 33554432000 4194304 4196468 140725864391376 140687874931312 140688449723010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32139] ppid=32015 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32139/stat : 32139 (java) S 32015 32022 29938 0 -1 1077944384 14 12891 0 0 0 0 5 3 20 0 15 0 107342739 11262046208 44508 33554432000 4194304 4196468 140725864391376 140687290918240 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32141] ppid=32015 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32141/stat : 32141 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342740 11262046208 44508 33554432000 4194304 4196468 140725864391376 140687089591936 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32143] ppid=32015 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32143/stat : 32143 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342742 11262046208 44508 33554432000 4194304 4196468 140725864391376 140686782192208 140688449730459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32144] ppid=32015 vsize=10998092 memory=4580 CPUtime=0.25 cores=1,3,5,7
/proc/32022/task/32144/stat : 32144 (java) S 32015 32022 29938 0 -1 1077944384 1003 12891 0 0 17 0 5 3 20 0 15 0 107342742 11262046208 44508 33554432000 4194304 4196468 140725864391376 140687873878128 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32145] ppid=32015 vsize=10998092 memory=7309741757730220119 CPUtime=0.29 cores=1,3,5,7
/proc/32022/task/32145/stat : 32145 (java) S 32015 32022 29938 0 -1 1077944384 1305 12891 0 0 21 0 5 3 20 0 15 0 107342742 11262046208 44508 33554432000 4194304 4196468 140725864391376 140687872825328 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32146] ppid=32015 vsize=10998092 memory=11353672598 CPUtime=0.4 cores=1,3,5,7
/proc/32022/task/32146/stat : 32146 (java) R 32015 32022 29938 0 -1 4202560 1208 12891 0 0 32 0 5 3 20 0 15 0 107342742 11262046208 44508 33554432000 4194304 4196468 140725864391376 140687871773040 140688449733210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32151] ppid=32015 vsize=10998092 memory=140164647384639 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32151/stat : 32151 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342743 11262046208 44508 33554432000 4194304 4196468 140725864391376 140686351395296 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32153] ppid=32015 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32153/stat : 32153 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342743 11262046208 44508 33554432000 4194304 4196468 140725864391376 140687870720944 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
Current children cumulated CPU time: 2.22 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 178032 KiB
[startup+3.11099 s]
/proc/loadavg: 0.97 0.80 1.03 7/221 32154
/proc/meminfo: memFree=23838360/32770624 swapFree=67108860/67108860
[pid=32022] ppid=32015 vsize=11008352 memory=230048 CPUtime=6.13 cores=1,3,5,7
/proc/32022/stat : 32022 (java) S 32015 32022 29938 0 -1 1077944320 32708 12891 1 0 589 16 5 3 20 0 15 0 107342726 11272552448 57512 33554432000 4194304 4196468 140725864391376 140725864373920 140688449711863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
/proc/32022/statm: 2752088 57512 3491 1 0 2713741 0
################
# More data... #
################
Current children cumulated memory: 230048 KiB
[startup+5.62252 s]
# the end of solver process 32022 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.2225 s, system=0.340675 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20093 s]
/proc/loadavg: 0.97 0.80 1.03 7/221 32154
/proc/meminfo: memFree=23838360/32770624 swapFree=67108860/67108860
[pid=32022] ppid=32015 vsize=11008352 memory=236972 CPUtime=6.41 cores=1,3,5,7
/proc/32022/stat : 32022 (java) S 32015 32022 29938 0 -1 1077944320 32897 12891 1 0 617 16 5 3 20 0 15 0 107342726 11272552448 59243 33554432000 4194304 4196468 140725864391376 140725864373920 140688449711863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
/proc/32022/statm: 2752088 59243 3491 1 0 2713741 0
[pid=32022/tid=32127] ppid=32015 vsize=11008352 memory=202872 CPUtime=3.06 cores=1,3,5,7
/proc/32022/task/32127/stat : 32127 (java) R 32015 32022 29938 0 -1 4202560 21335 12891 0 0 289 9 5 3 20 0 15 0 107342737 11272552448 59243 33554432000 4194304 4196468 140725864391376 140688421544608 140687991376007 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32129] ppid=32015 vsize=11008352 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/32022/task/32129/stat : 32129 (java) S 32015 32022 29938 0 -1 1077944384 195 12891 0 0 1 0 5 3 20 0 15 0 107342738 11272552448 59243 33554432000 4194304 4196468 140725864391376 140688453953936 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32130] ppid=32015 vsize=11008352 memory=140164749117857 CPUtime=0.09 cores=1,3,5,7
/proc/32022/task/32130/stat : 32130 (java) S 32015 32022 29938 0 -1 1077944384 23 12891 0 0 1 0 5 3 20 0 15 0 107342738 11272552448 59243 33554432000 4194304 4196468 140725864391376 140688308672784 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32131] ppid=32015 vsize=11008352 memory=140164749115649 CPUtime=0.09 cores=1,3,5,7
/proc/32022/task/32131/stat : 32131 (java) S 32015 32022 29938 0 -1 1077944384 65 12891 0 0 1 0 5 3 20 0 15 0 107342738 11272552448 59243 33554432000 4194304 4196468 140725864391376 140688307620496 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32132] ppid=32015 vsize=11008352 memory=140164749113441 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32132/stat : 32132 (java) S 32015 32022 29938 0 -1 1077944384 23 12891 0 0 0 0 5 3 20 0 15 0 107342738 11272552448 59243 33554432000 4194304 4196468 140725864391376 140688306567696 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32137] ppid=32015 vsize=11008352 memory=4226241864795947040 CPUtime=0.09 cores=1,3,5,7
/proc/32022/task/32137/stat : 32137 (java) S 32015 32022 29938 0 -1 1077944384 57 12891 0 0 1 0 5 3 20 0 15 0 107342739 11272552448 59243 33554432000 4194304 4196468 140725864391376 140687874931312 140688449723010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32139] ppid=32015 vsize=11008352 memory=288230613264370707 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32139/stat : 32139 (java) S 32015 32022 29938 0 -1 1077944384 14 12891 0 0 0 0 5 3 20 0 15 0 107342739 11272552448 59243 33554432000 4194304 4196468 140725864391376 140687290918240 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32141] ppid=32015 vsize=11008352 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32141/stat : 32141 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342740 11272552448 59243 33554432000 4194304 4196468 140725864391376 140687089591936 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32143] ppid=32015 vsize=11008352 memory=4714871424473664800 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32143/stat : 32143 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342742 11272552448 59243 33554432000 4194304 4196468 140725864391376 140686782192208 140688449730459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32144] ppid=32015 vsize=11008352 memory=-8383301583103171957 CPUtime=0.91 cores=1,3,5,7
/proc/32022/task/32144/stat : 32144 (java) R 32015 32022 29938 0 -1 4202560 1946 12891 1 0 82 1 5 3 20 0 15 0 107342742 11272552448 59243 33554432000 4194304 4196468 140725864391376 140687873878128 140688426936016 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32145] ppid=32015 vsize=11008352 memory=8514726395714825875 CPUtime=1.25 cores=1,3,5,7
/proc/32022/task/32145/stat : 32145 (java) R 32015 32022 29938 0 -1 4202560 2871 12891 0 0 116 1 5 3 20 0 15 0 107342742 11272552448 59243 33554432000 4194304 4196468 140725864391376 140687872825328 140688430283496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32146] ppid=32015 vsize=11008352 memory=3054156605335180436 CPUtime=1.32 cores=1,3,5,7
/proc/32022/task/32146/stat : 32146 (java) S 32015 32022 29938 0 -1 1077944384 4167 12891 0 0 122 2 5 3 20 0 15 0 107342742 11272552448 59243 33554432000 4194304 4196468 140725864391376 140687871773040 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32151] ppid=32015 vsize=11008352 memory=2317753097046303873 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32151/stat : 32151 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342743 11272552448 59243 33554432000 4194304 4196468 140725864391376 140686351395296 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32153] ppid=32015 vsize=11008352 memory=-8629894644521538155 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32153/stat : 32153 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342743 11272552448 59243 33554432000 4194304 4196468 140725864391376 140687870720944 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
Current children cumulated CPU time: 6.41 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 236972 KiB
[startup+4.80078 s]
/proc/loadavg: 0.97 0.80 1.03 8/221 32154
/proc/meminfo: memFree=23627192/32770624 swapFree=67108860/67108860
[pid=32022] ppid=32015 vsize=11077984 memory=341924 CPUtime=11 cores=1,3,5,7
/proc/32022/stat : 32022 (java) S 32015 32022 29938 0 -1 1077944320 71284 12891 1 0 1066 26 5 3 20 0 15 0 107342726 11343855616 85481 33554432000 4194304 4196468 140725864391376 140725864373920 140688449711863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
/proc/32022/statm: 2769496 85481 3508 1 0 2731149 0
[pid=32022/tid=32127] ppid=32015 vsize=11077984 memory=0 CPUtime=4.61 cores=1,3,5,7
/proc/32022/task/32127/stat : 32127 (java) R 32015 32022 29938 0 -1 4202560 42559 12891 0 0 440 13 5 3 20 0 15 0 107342737 11343855616 85481 33554432000 4194304 4196468 140725864391376 140688421540368 140687994322088 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32129] ppid=32015 vsize=11077984 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32129/stat : 32129 (java) S 32015 32022 29938 0 -1 1077944384 215 12891 0 0 3 0 5 3 20 0 15 0 107342738 11343855616 85481 33554432000 4194304 4196468 140725864391376 140688453953936 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32130] ppid=32015 vsize=11077984 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32130/stat : 32130 (java) S 32015 32022 29938 0 -1 1077944384 233 12891 0 0 3 0 5 3 20 0 15 0 107342738 11343855616 85481 33554432000 4194304 4196468 140725864391376 140688308672784 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32131] ppid=32015 vsize=11077984 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32131/stat : 32131 (java) S 32015 32022 29938 0 -1 1077944384 451 12891 0 0 3 0 5 3 20 0 15 0 107342738 11343855616 85481 33554432000 4194304 4196468 140725864391376 140688307620496 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32132] ppid=32015 vsize=11077984 memory=2241 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32132/stat : 32132 (java) S 32015 32022 29938 0 -1 1077944384 41 12891 0 0 3 0 5 3 20 0 15 0 107342738 11343855616 85481 33554432000 4194304 4196468 140725864391376 140688306567696 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32137] ppid=32015 vsize=11077984 memory=2244 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32137/stat : 32137 (java) S 32015 32022 29938 0 -1 1077944384 4557 12891 0 0 3 0 5 3 20 0 15 0 107342739 11343855616 85481 33554432000 4194304 4196468 140725864391376 140687874931312 140688449723010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32139] ppid=32015 vsize=11077984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32139/stat : 32139 (java) S 32015 32022 29938 0 -1 1077944384 14 12891 0 0 0 0 5 3 20 0 15 0 107342739 11343855616 85481 33554432000 4194304 4196468 140725864391376 140687290918240 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32141] ppid=32015 vsize=11077984 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32141/stat : 32141 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342740 11343855616 85481 33554432000 4194304 4196468 140725864391376 140687089591936 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32143] ppid=32015 vsize=11077984 memory=183496 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32143/stat : 32143 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342742 11343855616 85481 33554432000 4194304 4196468 140725864391376 140686782192208 140688449730459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32144] ppid=32015 vsize=11077984 memory=6944656592387989600 CPUtime=2.03 cores=1,3,5,7
/proc/32022/task/32144/stat : 32144 (java) R 32015 32022 29938 0 -1 4202560 3840 12891 1 0 194 1 5 3 20 0 15 0 107342742 11343855616 85481 33554432000 4194304 4196468 140725864391376 140687873864480 140688431236122 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32145] ppid=32015 vsize=11077984 memory=6944652027076318631 CPUtime=2.56 cores=1,3,5,7
/proc/32022/task/32145/stat : 32145 (java) R 32015 32022 29938 0 -1 4202560 9555 12891 0 0 243 5 5 3 20 0 15 0 107342742 11343855616 85481 33554432000 4194304 4196468 140725864391376 140687872810640 140688433208651 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32146] ppid=32015 vsize=11077984 memory=-7101718590825193272 CPUtime=1.8 cores=1,3,5,7
/proc/32022/task/32146/stat : 32146 (java) S 32015 32022 29938 0 -1 1077944384 7608 12891 0 0 170 2 5 3 20 0 15 0 107342742 11343855616 85481 33554432000 4194304 4196468 140725864391376 140687871773040 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32151] ppid=32015 vsize=11077984 memory=6944656592452807320 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32151/stat : 32151 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342743 11343855616 85481 33554432000 4194304 4196468 140725864391376 140686351395296 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32153] ppid=32015 vsize=11077984 memory=4206468019014099040 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32153/stat : 32153 (java) S 32015 32022 29938 0 -1 1077944384 11 12891 0 0 0 0 5 3 20 0 15 0 107342743 11343855616 85481 33554432000 4194304 4196468 140725864391376 140687870720944 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
Current children cumulated CPU time: 11 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 341924 KiB
[startup+5.20077 s]
/proc/loadavg: 0.97 0.80 1.03 7/208 32155
/proc/meminfo: memFree=23876172/32770624 swapFree=67108860/67108860
[pid=32022] ppid=32015 vsize=11077984 memory=374800 CPUtime=12.3 cores=1,3,5,7
/proc/32022/stat : 32022 (java) S 32015 32022 29938 0 -1 1077944320 71808 12891 1 0 1194 28 5 3 20 0 15 0 107342726 11343855616 93700 33554432000 4194304 4196468 140725864391376 140725864373920 140688449711863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
/proc/32022/statm: 2769496 93700 3514 1 0 2731149 0
[pid=32022/tid=32127] ppid=32015 vsize=11077984 memory=302867307758354770 CPUtime=5 cores=1,3,5,7
/proc/32022/task/32127/stat : 32127 (java) R 32015 32022 29938 0 -1 4202560 42597 12891 0 0 479 13 5 3 20 0 15 0 107342737 11343855616 93700 33554432000 4194304 4196468 140725864391376 140688421545200 140687995977924 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32129] ppid=32015 vsize=11077984 memory=4204233850122156064 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32129/stat : 32129 (java) S 32015 32022 29938 0 -1 1077944384 215 12891 0 0 3 0 5 3 20 0 15 0 107342738 11343855616 93700 33554432000 4194304 4196468 140725864391376 140688453953936 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32130] ppid=32015 vsize=11077984 memory=7950097325451407461 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32130/stat : 32130 (java) S 32015 32022 29938 0 -1 1077944384 238 12891 0 0 3 0 5 3 20 0 15 0 107342738 11343855616 93700 33554432000 4194304 4196468 140725864391376 140688308672784 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32131] ppid=32015 vsize=11077984 memory=7950097325451407461 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32131/stat : 32131 (java) S 32015 32022 29938 0 -1 1077944384 451 12891 0 0 3 0 5 3 20 0 15 0 107342738 11343855616 93700 33554432000 4194304 4196468 140725864391376 140688307620496 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32132] ppid=32015 vsize=11077984 memory=7380929659546194032 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32132/stat : 32132 (java) S 32015 32022 29938 0 -1 1077944384 49 12891 0 0 3 0 5 3 20 0 15 0 107342738 11343855616 93700 33554432000 4194304 4196468 140725864391376 140688306567696 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32137] ppid=32015 vsize=11077984 memory=6083067207509697901 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32137/stat : 32137 (java) S 32015 32022 29938 0 -1 1077944384 4558 12891 0 0 3 0 5 3 20 0 15 0 107342739 11343855616 93700 33554432000 4194304 4196468 140725864391376 140687874931312 140688449723010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32139] ppid=32015 vsize=11077984 memory=7380929659546194033 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32139/stat : 32139 (java) S 32015 32022 29938 0 -1 1077944384 14 12891 0 0 0 0 5 3 20 0 15 0 107342739 11343855616 93700 33554432000 4194304 4196468 140725864391376 140687290918304 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32141] ppid=32015 vsize=11077984 memory=7522821536427107664 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32141/stat : 32141 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 15 0 107342740 11343855616 93700 33554432000 4194304 4196468 140725864391376 140687089591936 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32143] ppid=32015 vsize=11077984 memory=7522821536427107664 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32143/stat : 32143 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342742 11343855616 93700 33554432000 4194304 4196468 140725864391376 140686782192208 140688449730459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32144] ppid=32015 vsize=11077984 memory=7950097325451405926 CPUtime=2.43 cores=1,3,5,7
/proc/32022/task/32144/stat : 32144 (java) R 32015 32022 29938 0 -1 4202560 4114 12891 1 0 234 1 5 3 20 0 15 0 107342742 11343855616 93700 33554432000 4194304 4196468 140725864391376 140687873870080 140688427459264 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32145] ppid=32015 vsize=11077984 memory=7950097325451405926 CPUtime=2.95 cores=1,3,5,7
/proc/32022/task/32145/stat : 32145 (java) R 32015 32022 29938 0 -1 4202560 9627 12891 0 0 281 6 5 3 20 0 15 0 107342742 11343855616 93700 33554432000 4194304 4196468 140725864391376 140687872811520 140688435775177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32146] ppid=32015 vsize=11077984 memory=7306334388393698919 CPUtime=1.9 cores=1,3,5,7
/proc/32022/task/32146/stat : 32146 (java) S 32015 32022 29938 0 -1 1077944384 7734 12891 0 0 179 3 5 3 20 0 15 0 107342742 11343855616 93700 33554432000 4194304 4196468 140725864391376 140687871773040 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32151] ppid=32015 vsize=11077984 memory=7522821536427107664 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32151/stat : 32151 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 15 0 107342743 11343855616 93700 33554432000 4194304 4196468 140725864391376 140686351395296 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32153] ppid=32015 vsize=11077984 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32153/stat : 32153 (java) S 32015 32022 29938 0 -1 1077944384 11 12891 0 0 0 0 5 3 20 0 15 0 107342743 11343855616 93700 33554432000 4194304 4196468 140725864391376 140687870720944 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 374800 KiB
[startup+5.60076 s]
/proc/loadavg: 0.97 0.80 1.03 7/208 32155
/proc/meminfo: memFree=23876172/32770624 swapFree=67108860/67108860
[pid=32022] ppid=32015 vsize=11208032 memory=376104 CPUtime=13.53 cores=1,3,5,7
/proc/32022/stat : 32022 (java) S 32015 32022 29938 0 -1 1077944320 72231 12891 1 0 1316 29 5 3 20 0 14 0 107342726 11477024768 94026 33554432000 4194304 4196468 140725864391376 140725864373920 140688449711863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 1 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
/proc/32022/statm: 2802008 94026 3517 1 0 2763661 0
[pid=32022/tid=32127] ppid=32015 vsize=11208032 memory=30664 CPUtime=5.4 cores=1,3,5,7
/proc/32022/task/32127/stat : 32127 (java) S 32015 32022 29938 0 -1 1077944384 42632 12891 0 0 518 14 5 3 20 0 14 0 107342737 11477024768 94026 33554432000 4194304 4196468 140725864391376 140688421555344 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32129] ppid=32015 vsize=11208032 memory=1292 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32129/stat : 32129 (java) S 32015 32022 29938 0 -1 1077944384 215 12891 0 0 3 0 5 3 20 0 14 0 107342738 11477024768 94026 33554432000 4194304 4196468 140725864391376 140688453953936 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32130] ppid=32015 vsize=11208032 memory=2444 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32130/stat : 32130 (java) S 32015 32022 29938 0 -1 1077944384 238 12891 0 0 3 0 5 3 20 0 14 0 107342738 11477024768 94026 33554432000 4194304 4196468 140725864391376 140688308672784 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32131] ppid=32015 vsize=11208032 memory=280329294398624 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32131/stat : 32131 (java) S 32015 32022 29938 0 -1 1077944384 451 12891 0 0 3 0 5 3 20 0 14 0 107342738 11477024768 94026 33554432000 4194304 4196468 140725864391376 140688307620496 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32132] ppid=32015 vsize=11208032 memory=6525858347538544147 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32132/stat : 32132 (java) S 32015 32022 29938 0 -1 1077944384 49 12891 0 0 3 0 5 3 20 0 14 0 107342738 11477024768 94026 33554432000 4194304 4196468 140725864391376 140688306567696 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32137] ppid=32015 vsize=11208032 memory=-7028383565733676694 CPUtime=0.11 cores=1,3,5,7
/proc/32022/task/32137/stat : 32137 (java) S 32015 32022 29938 0 -1 1077944384 4558 12891 0 0 3 0 5 3 20 0 14 0 107342739 11477024768 94026 33554432000 4194304 4196468 140725864391376 140687874931520 140688449723010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32139] ppid=32015 vsize=11208032 memory=-8253387840130273399 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32139/stat : 32139 (java) S 32015 32022 29938 0 -1 1077944384 14 12891 0 0 0 0 5 3 20 0 14 0 107342739 11477024768 94026 33554432000 4194304 4196468 140725864391376 140687290918304 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32141] ppid=32015 vsize=11208032 memory=8996927271496152618 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32141/stat : 32141 (java) S 32015 32022 29938 0 -1 1077944384 1 12891 0 0 0 0 5 3 20 0 14 0 107342740 11477024768 94026 33554432000 4194304 4196468 140725864391376 140687089591936 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32143] ppid=32015 vsize=11208032 memory=8996927245810234922 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32143/stat : 32143 (java) S 32015 32022 29938 0 -1 1077944384 26 12891 0 0 0 0 5 3 20 0 14 0 107342742 11477024768 94026 33554432000 4194304 4196468 140725864391376 140686782190976 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32144] ppid=32015 vsize=11208032 memory=8326441112149131689 CPUtime=2.83 cores=1,3,5,7
/proc/32022/task/32144/stat : 32144 (java) S 32015 32022 29938 0 -1 1077944384 4357 12891 1 0 274 1 5 3 20 0 14 0 107342742 11477024768 94026 33554432000 4194304 4196468 140725864391376 140687873863184 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32145] ppid=32015 vsize=11208032 memory=-7533522213388100735 CPUtime=3.35 cores=1,3,5,7
/proc/32022/task/32145/stat : 32145 (java) R 32015 32022 29938 0 -1 4202560 9700 12891 0 0 321 6 5 3 20 0 14 0 107342742 11477024768 94026 33554432000 4194304 4196468 140725864391376 140687872806304 140688434830489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32146] ppid=32015 vsize=11208032 memory=1832 CPUtime=1.93 cores=1,3,5,7
/proc/32022/task/32146/stat : 32146 (java) S 32015 32022 29938 0 -1 1077944384 7769 12891 0 0 182 3 5 3 20 0 14 0 107342742 11477024768 94026 33554432000 4194304 4196468 140725864391376 140687871773040 140688449723010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
[pid=32022/tid=32151] ppid=32015 vsize=11208032 memory=1948 CPUtime=0.08 cores=1,3,5,7
/proc/32022/task/32151/stat : 32151 (java) S 32015 32022 29938 0 -1 1077944384 3 12891 0 0 0 0 5 3 20 0 14 0 107342743 11477024768 94026 33554432000 4194304 4196468 140725864391376 140686351395296 140688449722069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20336640 140725864393321 140725864396129 140725864396129 140725864398799 0
Current children cumulated CPU time: 13.53 s
Current children cumulated vsize: 11208032 KiB
Current children cumulated memory: 376104 KiB
Child status: 0
Real time (s): 5.62259
CPU time (s): 13.5632
CPU user time (s): 13.2225
CPU system time (s): 0.340675
CPU usage (%): 241.227
Max. virtual memory (cumulated for all children) (KiB): 11208032
Max. memory (cumulated for all children) (KiB): 376104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.2225
system time used= 0.340675
maximum resident set size= 378120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85150
page faults= 1
swaps= 0
block input operations= 680
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6937
involuntary context switches= 88
# summary of solver processes directly reported to runsolver:
# pid: 32022
# total CPU time (s): 13.5632
# total CPU user time (s): 13.2225
# total CPU system time (s): 0.340675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.066896 second user time and 0.09422 second system time
The end