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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430858-1722986009/watcher-4430858-1722986009 -o /tmp/evaluation-result-4430858-1722986009/solver-4430858-1722986009 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722982429-355186 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4430858-1722986009.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=357156, runsolver pid=357153

[startup+0.100078 s]*
/proc/loadavg: 4.11 4.19 4.24 4/243 357159
/proc/meminfo: memFree=124677176/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8524 CPUtime=0.1 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) R 357153 357156 355174 0 -1 1077936128 1363 0 0 0 10 0 0 0 20 0 2 0 65197441 101060608 2131 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2131 991 32 0 3471 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=4026531959 CPUtime=0.07 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 620 0 0 0 7 0 0 0 20 0 2 0 65197444 101060608 2131 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8524 KiB

[startup+0.212821 s]*
/proc/loadavg: 4.11 4.19 4.24 5/246 357165
/proc/meminfo: memFree=124676028/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8524 CPUtime=0.21 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) R 357153 357156 355174 0 -1 1077936128 1363 0 0 0 21 0 0 0 20 0 2 0 65197441 101060608 2131 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2131 991 32 0 3471 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8245937348197351555 CPUtime=0.18 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 620 0 0 0 18 0 0 0 20 0 2 0 65197444 101060608 2131 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8524 KiB

[startup+0.312742 s]*
/proc/loadavg: 4.11 4.19 4.24 5/246 357165
/proc/meminfo: memFree=124675860/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8524 CPUtime=0.31 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 1363 0 0 0 31 0 0 0 20 0 2 0 65197441 101060608 2131 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2131 991 32 0 3471 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=6720663255272341351 CPUtime=0.28 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 620 0 0 0 28 0 0 0 20 0 2 0 65197444 101060608 2131 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8524 KiB

[startup+0.700278 s]
/proc/loadavg: 4.11 4.19 4.24 6/245 357171
/proc/meminfo: memFree=124674700/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8524 CPUtime=0.69 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 1363 0 0 0 69 0 0 0 20 0 2 0 65197441 101060608 2131 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2131 991 32 0 3471 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=12744 CPUtime=0.66 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 620 0 0 0 66 0 0 0 20 0 2 0 65197444 101060608 2131 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8524 KiB

[startup+1.50028 s]
/proc/loadavg: 4.18 4.21 4.24 5/244 357186
/proc/meminfo: memFree=124650508/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8880 CPUtime=1.5 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 1968 0 0 0 149 1 0 0 20 0 2 0 65197441 101060608 2220 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2220 991 32 0 3471 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=12036 CPUtime=1.45 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 1220 0 0 0 145 0 0 0 20 0 2 0 65197444 101060608 2220 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8880 KiB

[startup+3.11392 s]
/proc/loadavg: 4.18 4.21 4.24 5/238 357267
/proc/meminfo: memFree=124389468/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8880 CPUtime=3.12 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 2573 0 0 0 310 2 0 0 20 0 2 0 65197441 101060608 2220 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2220 991 32 0 3471 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8524 CPUtime=3.06 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 1820 0 0 0 306 0 0 0 20 0 2 0 65197444 101060608 2220 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8880 KiB

[startup+6.30025 s]
/proc/loadavg: 4.17 4.20 4.24 6/247 357290
/proc/meminfo: memFree=123541100/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8892 CPUtime=6.32 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 3198 0 0 0 629 3 0 0 20 0 2 0 65197441 101060608 2223 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2223 991 32 0 3474 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8892 CPUtime=6.24 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 2440 0 0 0 624 0 0 0 20 0 2 0 65197444 101060608 2223 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 6.32 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8892 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.20 4.24 7/250 357294
/proc/meminfo: memFree=119117984/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=12.75 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 3824 0 0 0 1269 6 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=12.62 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 3061 0 0 0 1262 0 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.19 4.24 7/250 357296
/proc/meminfo: memFree=118806196/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=25.62 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 5034 0 0 0 2548 14 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=25.38 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 4261 0 0 0 2538 0 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 25.62 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+51.1136 s]
/proc/loadavg: 4.08 4.17 4.23 7/250 357300
/proc/meminfo: memFree=118785708/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=51.34 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) R 357153 357156 355174 0 -1 1077936128 6849 0 0 0 5104 30 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=50.91 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 6061 0 0 0 5091 0 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 51.34 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.16 4.22 7/250 357309
/proc/meminfo: memFree=118784480/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=102.76 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 8059 0 0 0 10212 64 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=101.93 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 7261 0 0 0 10193 0 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 102.76 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+162.3 s]
/proc/loadavg: 4.28 4.21 4.23 7/247 357320
/proc/meminfo: memFree=118783648/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=163.03 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 9269 0 0 0 16196 107 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=161.74 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 8461 0 0 0 16174 0 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 163.03 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+222.3 s]
/proc/loadavg: 5.10 4.41 4.30 7/247 357330
/proc/meminfo: memFree=118782824/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=223.3 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 9874 0 0 0 22182 148 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=221.55 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 9061 0 0 0 22155 0 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 223.3 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+282.3 s]
/proc/loadavg: 6.36 4.95 4.49 7/247 357342
/proc/meminfo: memFree=118782128/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=283.58 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 10479 0 0 0 28166 192 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=281.35 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 9661 0 0 0 28135 0 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 283.58 s

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

/proc/meminfo: memFree=118667948/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=3056.17 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 38309 0 0 0 303450 2167 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=3032.57 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 37256 0 0 0 303253 4 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 3056.17 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.15 4.21 7/245 359043
/proc/meminfo: memFree=118667336/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=3116.44 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 38914 0 0 0 309433 2211 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=3092.38 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 37856 0 0 0 309234 4 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 3116.44 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.16 4.21 7/245 359054
/proc/meminfo: memFree=118666520/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=3176.72 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 39519 0 0 0 315422 2250 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=3152.19 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 38456 0 0 0 315215 4 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 3176.72 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.19 4.22 7/245 359064
/proc/meminfo: memFree=118665744/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=3237 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 40124 0 0 0 321409 2291 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=3212 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 39056 0 0 0 321196 4 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 3237 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.23 4.23 7/245 359075
/proc/meminfo: memFree=118664472/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=3297.28 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 40729 0 0 0 327395 2333 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=3271.81 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 39656 0 0 0 327177 4 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 3297.28 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.20 4.22 7/245 359086
/proc/meminfo: memFree=118664004/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=3357.56 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 41334 0 0 0 333383 2373 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=3331.63 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 40255 0 0 0 333159 4 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 3357.56 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.19 4.21 7/247 359102
/proc/meminfo: memFree=118651640/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=3417.84 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 41939 0 0 0 339367 2417 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=3391.44 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 40854 0 0 0 339140 4 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 3417.84 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.17 4.20 7/247 359113
/proc/meminfo: memFree=118647516/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=3478.13 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 42544 0 0 0 345350 2463 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=3451.25 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 41454 0 0 0 345121 4 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 3478.13 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.96 4.37 4.26 7/247 359123
/proc/meminfo: memFree=118645400/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=3538.4 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 43149 0 0 0 351336 2504 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=3511.07 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 42054 0 0 0 351103 4 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 3538.4 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

[startup+3582.3 s]
/proc/loadavg: 5.07 4.55 4.33 7/247 359134
/proc/meminfo: memFree=118644752/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=3598.69 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 43754 0 0 0 357322 2547 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=3570.89 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 42654 0 0 0 357084 5 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 3598.69 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3583.7 s]
/proc/loadavg: 5.07 4.55 4.33 7/247 359134
/proc/meminfo: memFree=118644780/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=3600.09 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 43754 0 0 0 357462 2547 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=3572.29 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 42654 0 0 0 357224 5 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

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

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

# cumulated CPU time of all completed processes:  user=3574.63 s, system=25.4795 s

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

[startup+3583.7 s]
/proc/loadavg: 5.07 4.55 4.33 7/247 359134
/proc/meminfo: memFree=118644780/131655788 swapFree=131071996/131071996
[pid=357156] ppid=357153 vsize=98692 memory=8908 CPUtime=3600.09 cores=4,6
/proc/357156/stat : 357156 (ParLS-PBO) S 357153 357156 355174 0 -1 1077936128 43754 0 0 0 357462 2547 0 0 20 0 2 0 65197441 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 17 6 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
/proc/357156/statm: 24673 2227 991 32 0 3478 0
[pid=357156/tid=357159] ppid=357153 vsize=98692 memory=8908 CPUtime=3572.29 cores=4,6
/proc/357156/task/357159/stat : 357159 (ParLS-PBO) R 357153 357156 355174 0 -1 4194368 42654 0 0 0 357224 5 0 0 20 0 2 0 65197444 101060608 2227 134679101440 4194304 4322517 140722915824176 0 0 0 0 0 16384 0 0 0 -1 4 0 0 0 0 0 4356072 4359040 10833920 140722915832845 140722915832965 140722915832965 140722915839980 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 98692 KiB
Current children cumulated memory: 8908 KiB

Child status: 0

Real time (s): 3583.71
CPU time (s): 3600.11
CPU user time (s): 3574.63
CPU system time (s): 25.4795
CPU usage (%): 100.458
Max. virtual memory (cumulated for all children) (KiB): 98692
Max. memory (cumulated for all children) (KiB): 8908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.63
system time used= 25.4795
maximum resident set size= 9168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44005
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= 3257117
involuntary context switches= 1273


# summary of solver processes directly reported to runsolver:
#   pid: 357156
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3574.63
#   total CPU system time (s): 25.4795

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4943 second user time and 37.2337 second system time

The end