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: 63931 MiB (60939 MiB free)
  memory of node 1: 64510 MiB (63023 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444029-1721316889/watcher-4444029-1721316889 -o /tmp/evaluation-result-4444029-1721316889/solver-4444029-1721316889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721316865-982674 --watchdog 3760 ./LS-Mab -f HOME/instance-4444029-1721316889.opb -t 3600 -s 2117188013 --no-s 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=983985, runsolver pid=983982

[startup+0.100745 s]*
/proc/loadavg: 2.41 1.47 1.98 5/260 983986
/proc/meminfo: memFree=126923104/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=49300 memory=18100 CPUtime=0.09 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 3894 0 0 0 9 0 0 0 20 0 1 0 183853095 50483200 4525 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 12325 4525 749 2403 0 9435 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49300 KiB
Current children cumulated memory: 18100 KiB

[startup+0.205804 s]*
/proc/loadavg: 2.41 1.47 1.98 5/260 983986
/proc/meminfo: memFree=126899920/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=70684 memory=41064 CPUtime=0.19 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 9647 0 0 0 19 0 0 0 20 0 1 0 183853095 72380416 10266 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 17671 10266 749 2403 0 14781 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70684 KiB
Current children cumulated memory: 41064 KiB

[startup+0.305764 s]*
/proc/loadavg: 2.41 1.47 1.98 5/260 983986
/proc/meminfo: memFree=126888832/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=51944 CPUtime=0.3 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12379 0 0 0 29 1 0 0 20 0 1 0 183853095 74407936 12986 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 12986 764 2403 0 15276 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 51944 KiB

[startup+0.700244 s]
/proc/loadavg: 2.41 1.47 1.98 5/260 983986
/proc/meminfo: memFree=126887824/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=0.68 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 67 1 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+1.50024 s]
/proc/loadavg: 2.41 1.47 1.98 5/260 983986
/proc/meminfo: memFree=126887736/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=1.48 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 146 2 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+3.10582 s]
/proc/loadavg: 2.54 1.51 1.99 5/260 983986
/proc/meminfo: memFree=126887736/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=3.09 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 305 4 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+6.30023 s]
/proc/loadavg: 2.54 1.51 1.99 5/260 983986
/proc/meminfo: memFree=126887680/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=6.27 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 621 6 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+12.7002 s]
/proc/loadavg: 2.84 1.61 2.02 5/260 983987
/proc/meminfo: memFree=126887568/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=12.66 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 1252 14 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+25.5002 s]
/proc/loadavg: 3.02 1.69 2.04 5/257 983989
/proc/meminfo: memFree=126887484/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=25.43 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 2517 26 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+51.1057 s]
/proc/loadavg: 3.41 1.89 2.10 5/257 983993
/proc/meminfo: memFree=126886748/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=50.97 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 5048 49 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 2.26 2.21 5/257 984002
/proc/meminfo: memFree=126886336/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=102.05 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 10107 98 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

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

# cumulated CPU time of all completed processes:  user=146.279 s, system=1.45467 s

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

[startup+102.4 s]
/proc/loadavg: 3.81 2.26 2.21 5/257 984002
/proc/meminfo: memFree=126886336/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=102.15 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 10117 98 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 102.15 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+128 s]*
/proc/loadavg: 3.95 2.42 2.27 5/257 984006
/proc/meminfo: memFree=126886204/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=127.7 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 12646 124 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 127.7 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+140.8 s]
/proc/loadavg: 3.96 2.47 2.29 5/257 984009
/proc/meminfo: memFree=126886016/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=140.46 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 13910 136 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 140.46 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+144 s]*
/proc/loadavg: 3.96 2.50 2.30 5/257 984009
/proc/meminfo: memFree=126885532/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=143.66 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 14226 140 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 143.66 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+145.6 s]
/proc/loadavg: 3.96 2.50 2.30 5/257 984009
/proc/meminfo: memFree=126885788/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=145.25 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 14384 141 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 145.25 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+147.2 s]
/proc/loadavg: 3.96 2.52 2.30 5/257 984009
/proc/meminfo: memFree=126885780/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=146.85 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 14542 143 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 146.85 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+147.6 s]
/proc/loadavg: 3.96 2.52 2.30 5/257 984009
/proc/meminfo: memFree=126885780/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=147.25 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 14581 144 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 147.25 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

[startup+148 s]*
/proc/loadavg: 3.96 2.52 2.30 5/257 984009
/proc/meminfo: memFree=126885780/131524600 swapFree=131071996/131071996
[pid=983985] ppid=983982 vsize=72664 memory=52532 CPUtime=147.66 cores=1,3
/proc/983985/stat : 983985 (LS-Mab) R 983982 983985 982662 0 -1 4194304 12490 0 0 0 14621 145 0 0 20 0 1 0 183853095 74407936 13133 134679101440 4194304 14036057 140733557284256 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 30203904 140733557290011 140733557290119 140733557290119 140733557297135 0
/proc/983985/statm: 18166 13133 780 2403 0 15276 0
Current children cumulated CPU time: 147.66 s
Current children cumulated vsize: 72664 KiB
Current children cumulated memory: 52532 KiB

Child status: 0

Real time (s): 148.078
CPU time (s): 147.734
CPU user time (s): 146.279
CPU system time (s): 1.45467
CPU usage (%): 99.7677
Max. virtual memory (cumulated for all children) (KiB): 72664
Max. memory (cumulated for all children) (KiB): 52532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 146.279
system time used= 1.45467
maximum resident set size= 52532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12493
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= 1
involuntary context switches= 117


# summary of solver processes directly reported to runsolver:
#   pid: 983985
#   total CPU time (s): 147.734
#   total CPU user time (s): 146.279
#   total CPU system time (s): 1.45467

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.295505 second user time and 0.743761 second system time

The end