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 (63145 MiB free)
  memory of node 1: 64473 MiB (58626 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=350514, runsolver pid=350511
Current StackSize limit: 8192 KiB


[startup+0.101057 s]*
/proc/loadavg: 4.21 4.21 4.27 5/246 350517
/proc/meminfo: memFree=124679592/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18056 CPUtime=0.09 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 3782 0 0 0 9 0 0 0 20 0 2 0 64119848 109375488 4514 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4514 960 32 0 6034 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=4026531971 CPUtime=0.04 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 1777 0 0 0 4 0 0 0 20 0 2 0 64119854 109375488 4514 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18056 KiB

[startup+0.214056 s]*
/proc/loadavg: 4.21 4.21 4.27 4/243 350536
/proc/meminfo: memFree=124680776/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18056 CPUtime=0.2 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 3786 0 0 0 20 0 0 0 20 0 2 0 64119848 109375488 4514 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4514 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=3472328300254199927 CPUtime=0.15 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 1781 0 0 0 15 0 0 0 20 0 2 0 64119854 109375488 4514 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18056 KiB

[startup+0.312386 s]*
/proc/loadavg: 4.21 4.21 4.27 5/246 350543
/proc/meminfo: memFree=124678072/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18056 CPUtime=0.29 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) R 350511 350514 348527 0 -1 1077936128 3786 0 0 0 29 0 0 0 20 0 2 0 64119848 109375488 4514 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4514 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=6944656592455350634 CPUtime=0.25 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 1781 0 0 0 25 0 0 0 20 0 2 0 64119854 109375488 4514 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18056 KiB

[startup+0.700277 s]
/proc/loadavg: 4.21 4.21 4.27 5/250 350550
/proc/meminfo: memFree=124648492/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18056 CPUtime=0.68 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 3786 0 0 0 67 1 0 0 20 0 2 0 64119848 109375488 4514 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4514 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=2316 CPUtime=0.62 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 1781 0 0 0 62 0 0 0 20 0 2 0 64119854 109375488 4514 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18056 KiB

[startup+1.50028 s]
/proc/loadavg: 4.21 4.21 4.27 5/250 350550
/proc/meminfo: memFree=124647920/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18200 CPUtime=1.48 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 5456 0 0 0 147 1 0 0 20 0 2 0 64119848 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4550 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=2316 CPUtime=1.42 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 3446 0 0 0 142 0 0 0 20 0 2 0 64119854 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18200 KiB

[startup+3.11299 s]
/proc/loadavg: 4.21 4.21 4.27 5/250 350644
/proc/meminfo: memFree=124608368/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18200 CPUtime=3.11 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 7054 0 0 0 308 3 0 0 20 0 2 0 64119848 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4550 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=-6530988475284094913 CPUtime=3.03 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 5039 0 0 0 303 0 0 0 20 0 2 0 64119854 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18200 KiB

[startup+6.30029 s]
/proc/loadavg: 4.19 4.21 4.27 6/250 350646
/proc/meminfo: memFree=124607480/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18200 CPUtime=6.3 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 8796 0 0 0 626 4 0 0 20 0 2 0 64119848 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4550 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18200 CPUtime=6.2 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 6776 0 0 0 620 0 0 0 20 0 2 0 64119854 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18200 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.20 4.27 6/250 350646
/proc/meminfo: memFree=124607524/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18200 CPUtime=12.74 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 10466 0 0 0 1265 9 0 0 20 0 2 0 64119848 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4550 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18200 CPUtime=12.58 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 8441 0 0 0 1258 0 0 0 20 0 2 0 64119854 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18200 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.23 4.28 8/250 350647
/proc/meminfo: memFree=124607060/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18200 CPUtime=25.59 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 13806 0 0 0 2541 18 0 0 20 0 2 0 64119848 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4550 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18200 CPUtime=25.34 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 11771 0 0 0 2534 0 0 0 20 0 2 0 64119854 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18200 KiB

[startup+51.1131 s]
/proc/loadavg: 4.26 4.22 4.27 6/250 350652
/proc/meminfo: memFree=124606388/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18200 CPUtime=51.33 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 18816 0 0 0 5096 37 0 0 20 0 2 0 64119848 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4550 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18200 CPUtime=50.88 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 16766 0 0 0 5088 0 0 0 20 0 2 0 64119854 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 51.33 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18200 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.20 4.26 6/247 350661
/proc/meminfo: memFree=124605596/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18200 CPUtime=102.76 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 22156 0 0 0 10200 76 0 0 20 0 2 0 64119848 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4550 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=12036 CPUtime=101.91 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 20096 0 0 0 10190 1 0 0 20 0 2 0 64119854 109375488 4550 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 102.76 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18200 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.18 4.25 6/247 350672
/proc/meminfo: memFree=124603988/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=163.06 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 25159 0 0 0 16186 120 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18200 CPUtime=161.74 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 23089 0 0 0 16173 1 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 163.06 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.19 4.25 6/247 350682
/proc/meminfo: memFree=124595288/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=223.36 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 26490 0 0 0 22171 165 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=35204 CPUtime=221.57 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 24415 0 0 0 22156 1 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 223.36 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 4.20 4.25 6/247 350693
/proc/meminfo: memFree=124594736/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=283.64 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 27821 0 0 0 28157 207 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18720 CPUtime=281.4 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 25741 0 0 0 28139 1 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0

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

/proc/meminfo: memFree=124561688/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=2996.78 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 87716 0 0 0 297451 2227 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18720 CPUtime=2973.56 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 85402 0 0 0 297350 6 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 2996.78 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB

[startup+3042.3 s]
/proc/loadavg: 5.12 4.47 4.40 6/247 352379
/proc/meminfo: memFree=124560864/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=3057.07 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 89047 0 0 0 303436 2271 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18720 CPUtime=3033.39 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 86728 0 0 0 303333 6 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 3057.07 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB

[startup+3102.3 s]
/proc/loadavg: 5.11 4.62 4.46 6/246 352389
/proc/meminfo: memFree=124560140/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=3117.37 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 90378 0 0 0 309421 2316 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18720 CPUtime=3093.22 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 88054 0 0 0 309315 7 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 3117.37 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB

[startup+3162.3 s]
/proc/loadavg: 4.56 4.55 4.45 6/246 352400
/proc/meminfo: memFree=124559460/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=3177.67 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 91709 0 0 0 315407 2360 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18720 CPUtime=3153.05 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 89380 0 0 0 315298 7 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 3177.67 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB

[startup+3222.3 s]
/proc/loadavg: 4.35 4.49 4.43 6/246 352410
/proc/meminfo: memFree=124558816/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=3237.95 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 93040 0 0 0 321386 2409 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18720 CPUtime=3212.87 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 90706 0 0 0 321280 7 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 3237.95 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.45 4.42 6/246 352422
/proc/meminfo: memFree=124557948/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=3298.24 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 94371 0 0 0 327370 2454 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18720 CPUtime=3272.7 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 92032 0 0 0 327263 7 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 3298.24 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.39 4.41 7/245 352434
/proc/meminfo: memFree=124557212/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=3358.54 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 95702 0 0 0 333353 2501 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=12036 CPUtime=3332.52 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 93358 0 0 0 333245 7 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 3358.54 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.34 4.38 6/247 352448
/proc/meminfo: memFree=124556220/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=3418.83 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 97033 0 0 0 339339 2544 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=12036 CPUtime=3392.35 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 94683 0 0 0 339228 7 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 3418.83 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.30 4.36 6/247 352459
/proc/meminfo: memFree=124555664/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=3479.12 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 98364 0 0 0 345325 2587 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=12036 CPUtime=3452.18 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 96009 0 0 0 345211 7 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 3479.12 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.31 4.36 6/247 352469
/proc/meminfo: memFree=124555420/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=3539.42 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 99695 0 0 0 351309 2633 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18720 CPUtime=3512 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 97335 0 0 0 351193 7 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 3539.42 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.28 4.35 6/241 352498
/proc/meminfo: memFree=124588468/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=3599.7 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 101026 0 0 0 357294 2676 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=18720 CPUtime=3571.83 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 98661 0 0 0 357176 7 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 3599.7 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3582.6 s]
/proc/loadavg: 4.16 4.28 4.35 6/241 352498
/proc/meminfo: memFree=124588468/131655788 swapFree=131071996/131071996
[pid=350514] ppid=350511 vsize=106812 memory=18720 CPUtime=3600.01 cores=4,6
/proc/350514/stat : 350514 (ParLS-PBO) S 350511 350514 348527 0 -1 1077936128 101026 0 0 0 357325 2676 0 0 20 0 2 0 64119848 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
/proc/350514/statm: 26703 4680 960 32 0 6038 0
[pid=350514/tid=350517] ppid=350511 vsize=106812 memory=15860 CPUtime=3572.13 cores=4,6
/proc/350514/task/350517/stat : 350517 (ParLS-PBO) R 350511 350514 348527 0 -1 4194368 98661 0 0 0 357206 7 0 0 20 0 2 0 64119854 109375488 4680 134679101440 4194304 4322517 140727749161520 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 18718720 140727749166093 140727749166213 140727749166213 140727749173228 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 18720 KiB

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

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

# cumulated CPU time of all completed processes:  user=3573.26 s, system=26.7655 s

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

Child status: 0

Real time (s): 3582.61
CPU time (s): 3600.02
CPU user time (s): 3573.26
CPU system time (s): 26.7655
CPU usage (%): 100.486
Max. virtual memory (cumulated for all children) (KiB): 106812
Max. memory (cumulated for all children) (KiB): 18720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.26
system time used= 26.7655
maximum resident set size= 19036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101147
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= 3258283
involuntary context switches= 1687


# summary of solver processes directly reported to runsolver:
#   pid: 350514
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3573.26
#   total CPU system time (s): 26.7655

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6702 second user time and 34.0074 second system time

The end