runsolver version 3.4.2 (svn: 4680) 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: 64096 MiB (62725 MiB free)
  memory of node 1: 64473 MiB (58311 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430597-1722955371/watcher-4430597-1722955371 -o /tmp/evaluation-result-4430597-1722955371/solver-4430597-1722955371 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722948202-330993 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4430597-1722955371.opb --time_limit=3600 --nbcore=1 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=335137, runsolver pid=335134

[startup+0.100301 s]*
/proc/loadavg: 4.29 4.25 4.24 5/248 335138
/proc/meminfo: memFree=123937964/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=26940 memory=8348 CPUtime=0.09 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) R 335134 335137 330983 0 -1 4194304 1305 0 0 0 9 0 0 0 20 0 1 0 61907166 27586560 2087 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 6735 2087 944 32 0 1473 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26940 KiB
Current children cumulated memory: 8348 KiB

[startup+0.214302 s]*
/proc/loadavg: 4.29 4.25 4.24 5/249 335139
/proc/meminfo: memFree=123903428/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=41844 CPUtime=0.21 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 8307 0 0 0 18 3 0 0 20 0 2 0 61907166 130777088 10461 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 10461 944 32 0 12753 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=8245937348197351555 CPUtime=0.02 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 2814 0 0 0 1 1 0 0 20 0 2 0 61907185 130777088 10461 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 41844 KiB

[startup+0.3183 s]*
/proc/loadavg: 4.29 4.25 4.24 6/249 335139
/proc/meminfo: memFree=123901076/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=43752 CPUtime=0.29 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 8796 0 0 0 26 3 0 0 20 0 2 0 61907166 130777088 10938 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 10938 960 32 0 12762 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=-6530988462365899459 CPUtime=0.1 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 3303 0 0 0 9 1 0 0 20 0 2 0 61907185 130777088 10938 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 43752 KiB

[startup+0.700364 s]
/proc/loadavg: 4.29 4.25 4.24 5/249 335139
/proc/meminfo: memFree=123900732/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=43752 CPUtime=0.65 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 8796 0 0 0 62 3 0 0 20 0 2 0 61907166 130777088 10938 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 10938 960 32 0 12762 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=5488 CPUtime=0.47 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 3303 0 0 0 46 1 0 0 20 0 2 0 61907185 130777088 10938 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 43752 KiB

[startup+1.50031 s]
/proc/loadavg: 4.29 4.25 4.24 5/249 335139
/proc/meminfo: memFree=123900740/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=43900 CPUtime=1.46 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 11815 0 0 0 142 4 0 0 20 0 2 0 61907166 130777088 10975 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 10975 960 32 0 12767 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=5488 CPUtime=1.26 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 6317 0 0 0 125 1 0 0 20 0 2 0 61907185 130777088 10975 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 43900 KiB

[startup+3.1133 s]
/proc/loadavg: 4.27 4.24 4.23 5/249 335139
/proc/meminfo: memFree=123900712/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=43900 CPUtime=3.07 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 11916 0 0 0 303 4 0 0 20 0 2 0 61907166 130777088 10975 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 10975 960 32 0 12769 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=0 CPUtime=2.86 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 6418 0 0 0 285 1 0 0 20 0 2 0 61907185 130777088 10975 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 43900 KiB

[startup+6.30033 s]
/proc/loadavg: 4.27 4.24 4.23 5/249 335139
/proc/meminfo: memFree=123900760/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=44168 CPUtime=6.27 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 18056 0 0 0 621 6 0 0 20 0 2 0 61907166 130777088 11042 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11042 960 32 0 12775 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=44156 CPUtime=6.05 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 12547 0 0 0 603 2 0 0 20 0 2 0 61907185 130777088 11042 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 44168 KiB

[startup+12.7003 s]
/proc/loadavg: 4.24 4.24 4.23 5/249 335140
/proc/meminfo: memFree=123900444/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=44176 CPUtime=12.7 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 21260 0 0 0 1261 9 0 0 20 0 2 0 61907166 130777088 11044 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11044 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=4612 CPUtime=12.42 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 15745 0 0 0 1240 2 0 0 20 0 2 0 61907185 130777088 11044 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 44176 KiB

[startup+25.5003 s]
/proc/loadavg: 4.19 4.22 4.23 5/249 335142
/proc/meminfo: memFree=123898840/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=44176 CPUtime=25.55 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) R 335134 335137 330983 0 -1 1077936128 27514 0 0 0 2537 18 0 0 20 0 2 0 61907166 130777088 11044 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11044 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=44176 CPUtime=25.18 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 21989 0 0 0 2515 3 0 0 20 0 2 0 61907185 130777088 11044 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 25.55 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 44176 KiB

[startup+51.1132 s]
/proc/loadavg: 4.42 4.27 4.24 5/249 335146
/proc/meminfo: memFree=123897720/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=44176 CPUtime=51.27 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 36871 0 0 0 5094 33 0 0 20 0 2 0 61907166 130777088 11044 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11044 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=44176 CPUtime=50.7 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 31330 0 0 0 5066 4 0 0 20 0 2 0 61907185 130777088 11044 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 51.27 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 44176 KiB

[startup+102.3 s]
/proc/loadavg: 4.51 4.31 4.26 5/249 335156
/proc/meminfo: memFree=123896320/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=44176 CPUtime=102.65 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 43075 0 0 0 10203 62 0 0 20 0 2 0 61907166 130777088 11044 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11044 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=44176 CPUtime=101.69 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 37524 0 0 0 10165 4 0 0 20 0 2 0 61907185 130777088 11044 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 102.65 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 44176 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.27 4.25 5/249 335167
/proc/meminfo: memFree=123892712/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=44176 CPUtime=162.89 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 49279 0 0 0 16199 90 0 0 20 0 2 0 61907166 130777088 11044 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11044 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=44176 CPUtime=161.48 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 43717 0 0 0 16143 5 0 0 20 0 2 0 61907185 130777088 11044 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 162.89 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 44176 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 4.28 4.25 5/247 335178
/proc/meminfo: memFree=123888324/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=223.13 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 52387 0 0 0 22192 121 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=11428 CPUtime=221.25 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 46820 0 0 0 22120 5 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 223.13 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB

[startup+282.3 s]
/proc/loadavg: 4.42 4.30 4.26 5/247 335189
/proc/meminfo: memFree=123887836/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=283.37 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 53217 0 0 0 28186 151 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=45028 CPUtime=281.04 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 47644 0 0 0 28099 5 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 283.37 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB

################
# More data... #
################

/proc/meminfo: memFree=123853936/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=3054.94 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 90541 0 0 0 303939 1555 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=45028 CPUtime=3031.66 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 84734 0 0 0 303158 8 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 3054.94 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB

[startup+3102.3 s]
/proc/loadavg: 4.25 4.27 4.29 5/248 336904
/proc/meminfo: memFree=123853100/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=3115.2 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 91351 0 0 0 309936 1584 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=12736 CPUtime=3091.46 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 85539 0 0 0 309138 8 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 3115.2 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.25 4.27 5/248 336915
/proc/meminfo: memFree=123852524/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=3175.44 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 92161 0 0 0 315927 1617 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=12736 CPUtime=3151.26 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 86343 0 0 0 315118 8 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 3175.44 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB

[startup+3222.3 s]
/proc/loadavg: 4.23 4.24 4.27 5/245 336927
/proc/meminfo: memFree=123851632/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=3235.7 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) R 335134 335137 330983 0 -1 1077936128 92971 0 0 0 321921 1649 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=12736 CPUtime=3211.05 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 87148 0 0 0 321097 8 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 3235.7 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.21 4.26 6/245 336937
/proc/meminfo: memFree=123850680/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=3295.96 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) R 335134 335137 330983 0 -1 1077936128 93781 0 0 0 327917 1679 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=45028 CPUtime=3270.85 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 87953 0 0 0 327077 8 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 3295.96 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.20 4.25 5/245 336949
/proc/meminfo: memFree=123849992/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=3356.21 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) R 335134 335137 330983 0 -1 1077936128 94591 0 0 0 333909 1712 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=11428 CPUtime=3330.65 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 88758 0 0 0 333057 8 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 3356.21 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.19 4.24 5/245 336960
/proc/meminfo: memFree=123849280/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=3416.46 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) R 335134 335137 330983 0 -1 1077936128 95401 0 0 0 339906 1740 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=45028 CPUtime=3390.45 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 89563 0 0 0 339037 8 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 3416.46 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB

[startup+3462.3 s]
/proc/loadavg: 4.33 4.24 4.26 6/245 336970
/proc/meminfo: memFree=123848584/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=3476.72 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 96211 0 0 0 345902 1770 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=32052 CPUtime=3450.25 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 90368 0 0 0 345017 8 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 3476.72 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.21 4.25 6/248 336986
/proc/meminfo: memFree=123848204/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=3536.97 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 97021 0 0 0 351897 1800 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=45028 CPUtime=3510.05 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 91173 0 0 0 350996 9 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 3536.97 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.18 4.24 3/224 337090
/proc/meminfo: memFree=124063692/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=3597.23 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) S 335134 335137 330983 0 -1 1077936128 97831 0 0 0 357892 1831 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=5488 CPUtime=3569.86 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 91977 0 0 0 356977 9 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 3597.23 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3585.11 s]
/proc/loadavg: 3.80 4.13 4.22 2/224 337090
/proc/meminfo: memFree=124063660/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=3600.05 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) R 335134 335137 330983 0 -1 1077936128 97831 0 0 0 358171 1834 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=45028 CPUtime=3572.66 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 91977 0 0 0 357257 9 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3585.12 s]
# the end of solver process 335137 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3581.72 s, system=18.3505 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3585.11 s]
/proc/loadavg: 3.80 4.13 4.22 2/224 337090
/proc/meminfo: memFree=124063660/131655788 swapFree=131071472/131071996
[pid=335137] ppid=335134 vsize=127712 memory=45028 CPUtime=3600.05 cores=0,2
/proc/335137/stat : 335137 (ParLS-PBO) R 335134 335137 330983 0 -1 1077936128 97831 0 0 0 358171 1834 0 0 20 0 2 0 61907166 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 17 2 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
/proc/335137/statm: 31928 11257 960 32 0 12777 0
[pid=335137/tid=335139] ppid=335134 vsize=127712 memory=45028 CPUtime=3572.66 cores=0,2
/proc/335137/task/335139/stat : 335139 (ParLS-PBO) R 335134 335137 330983 0 -1 4194368 91977 0 0 0 357257 9 0 0 20 0 2 0 61907185 130777088 11257 134679101440 4194304 4322517 140727345815104 0 0 0 0 0 16384 0 0 0 -1 0 0 0 0 0 0 4356072 4359040 9875456 140727345820685 140727345820805 140727345820805 140727345827820 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 127712 KiB
Current children cumulated memory: 45028 KiB

Child status: 0

Real time (s): 3585.12
CPU time (s): 3600.07
CPU user time (s): 3581.72
CPU system time (s): 18.3505
CPU usage (%): 100.417
Max. virtual memory (cumulated for all children) (KiB): 127712
Max. memory (cumulated for all children) (KiB): 45028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.72
system time used= 18.3505
maximum resident set size= 45284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98034
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3266589
involuntary context switches= 21745


# summary of solver processes directly reported to runsolver:
#   pid: 335137
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3581.72
#   total CPU system time (s): 18.3505

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4638 second user time and 34.8223 second system time

The end