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: 63837 MiB (62991 MiB free)
  memory of node 1: 64465 MiB (63232 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503439-1751166848/watcher-4503439-1751166848 -o /tmp/evaluation-result-4503439-1751166848/solver-4503439-1751166848 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751157646-15153 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1170459397 --ls=360 --inp-dombreaklim=0 HOME/instance-4503439-1751166848.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=17392, runsolver pid=17389

[startup+0.100065 s]*
/proc/loadavg: 4.15 4.13 4.14 5/252 17393
/proc/meminfo: memFree=129254500/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=34672 memory=11632 CPUtime=0.09 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 2348 0 0 0 9 0 0 0 20 0 1 0 32363433 35504128 2844 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 8701 2908 1024 1200 0 7181 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34672 KiB
Current children cumulated memory: 11632 KiB

[startup+0.217343 s]*
/proc/loadavg: 4.15 4.13 4.14 5/252 17393
/proc/meminfo: memFree=129254500/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=40444 memory=19424 CPUtime=0.19 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 3794 0 0 0 19 0 0 0 20 0 1 0 32363433 41414656 4856 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 10111 4856 1024 1200 0 8591 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40444 KiB
Current children cumulated memory: 19424 KiB

[startup+0.31429 s]*
/proc/loadavg: 4.15 4.13 4.14 5/252 17393
/proc/meminfo: memFree=129242592/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=50364 memory=26808 CPUtime=0.27 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 6008 0 0 0 26 1 0 0 20 0 1 0 32363433 51572736 6702 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 12591 6702 1024 1200 0 11071 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 50364 KiB
Current children cumulated memory: 26808 KiB

[startup+0.700272 s]
/proc/loadavg: 4.14 4.13 4.14 5/252 17393
/proc/meminfo: memFree=129242844/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=53432 memory=30776 CPUtime=0.62 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 6491 0 0 0 61 1 0 0 20 0 1 0 32363433 54714368 7694 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 13358 7694 1024 1200 0 11838 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30776 KiB

[startup+1.50017 s]
/proc/loadavg: 4.14 4.13 4.14 6/252 17393
/proc/meminfo: memFree=129242844/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=53432 memory=30776 CPUtime=1.4 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 6491 0 0 0 139 1 0 0 20 0 1 0 32363433 54714368 7694 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 13358 7694 1024 1200 0 11838 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30776 KiB

[startup+3.10529 s]
/proc/loadavg: 4.14 4.13 4.14 6/252 17393
/proc/meminfo: memFree=129243068/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=53432 memory=30776 CPUtime=2.99 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 6493 0 0 0 298 1 0 0 20 0 1 0 32363433 54714368 7694 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 13358 7694 1024 1200 0 11838 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30776 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.13 4.14 6/252 17393
/proc/meminfo: memFree=129235272/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=53432 memory=30776 CPUtime=6.16 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 6495 0 0 0 615 1 0 0 20 0 1 0 32363433 54714368 7694 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 13358 7694 1024 1200 0 11838 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30776 KiB

[startup+12.7001 s]
/proc/loadavg: 4.19 4.14 4.14 6/252 17393
/proc/meminfo: memFree=129235524/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=53432 memory=30776 CPUtime=12.51 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 6497 0 0 0 1250 1 0 0 20 0 1 0 32363433 54714368 7694 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 13358 7694 1024 1200 0 11838 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30776 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.14 6/252 17393
/proc/meminfo: memFree=129235776/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=53432 memory=30776 CPUtime=25.19 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 6499 0 0 0 2518 1 0 0 20 0 1 0 32363433 54714368 7694 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 13358 7694 1024 1200 0 11838 0
Current children cumulated CPU time: 25.19 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30776 KiB

[startup+51.1049 s]
/proc/loadavg: 4.17 4.14 4.14 6/252 17393
/proc/meminfo: memFree=129236296/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=53432 memory=30776 CPUtime=50.57 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 6501 0 0 0 5055 2 0 0 20 0 1 0 32363433 54714368 7694 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 13358 7694 1024 1200 0 11838 0
Current children cumulated CPU time: 50.57 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30776 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.14 6/252 17399
/proc/meminfo: memFree=129239996/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=53432 memory=30776 CPUtime=101.55 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 6505 0 0 0 10153 2 0 0 20 0 1 0 32363433 54714368 7694 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 13358 7694 1024 1200 0 11838 0
Current children cumulated CPU time: 101.55 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30776 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.13 6/252 17401
/proc/meminfo: memFree=129241580/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=53432 memory=30776 CPUtime=161.38 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 6507 0 0 0 16136 2 0 0 20 0 1 0 32363433 54714368 7694 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 13358 7694 1024 1200 0 11838 0
Current children cumulated CPU time: 161.38 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30776 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.13 6/251 17404
/proc/meminfo: memFree=129251704/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=53432 memory=30776 CPUtime=221.22 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 6509 0 0 0 22120 2 0 0 20 0 1 0 32363433 54714368 7694 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 13358 7694 1024 1200 0 11838 0
Current children cumulated CPU time: 221.22 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30776 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.13 6/251 17406
/proc/meminfo: memFree=129239384/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=53432 memory=30776 CPUtime=281.05 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 6511 0 0 0 28103 2 0 0 20 0 1 0 32363433 54714368 7694 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 13358 7694 1024 1200 0 11838 0
Current children cumulated CPU time: 281.05 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30776 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.12 6/251 17408
/proc/meminfo: memFree=129204644/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=53432 memory=30776 CPUtime=340.88 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 6513 0 0 0 34086 2 0 0 20 0 1 0 32363433 54714368 7694 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 13358 7694 1024 1200 0 11838 0
Current children cumulated CPU time: 340.88 s
Current children cumulated vsize: 53432 KiB
Current children cumulated memory: 30776 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.12 6/251 17455
/proc/meminfo: memFree=129212516/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=91868 memory=74048 CPUtime=400.71 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 14940 0 0 0 40066 5 0 0 20 0 1 0 32363433 94072832 18512 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 22967 18512 1248 1200 0 21447 0
Current children cumulated CPU time: 400.71 s
Current children cumulated vsize: 91868 KiB
Current children cumulated memory: 74048 KiB

[startup+414.753 s]
# the end of solver process 17392 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=413.079 s, system=0.058712 s

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

[startup+403.2 s]
/proc/loadavg: 4.14 4.12 4.12 6/251 17455
/proc/meminfo: memFree=129212516/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=91868 memory=74048 CPUtime=401.61 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 14940 0 0 0 40156 5 0 0 20 0 1 0 32363433 94072832 18512 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 22967 18512 1248 1200 0 21447 0
Current children cumulated CPU time: 401.61 s
Current children cumulated vsize: 91868 KiB
Current children cumulated memory: 74048 KiB

[startup+409.6 s]
/proc/loadavg: 4.13 4.12 4.12 6/251 17455
/proc/meminfo: memFree=129213024/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=91868 memory=74048 CPUtime=407.99 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 14962 0 0 0 40794 5 0 0 20 0 1 0 32363433 94072832 18512 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 22967 18512 1248 1200 0 21447 0
Current children cumulated CPU time: 407.99 s
Current children cumulated vsize: 91868 KiB
Current children cumulated memory: 74048 KiB

[startup+412.8 s]
/proc/loadavg: 4.12 4.11 4.12 6/251 17455
/proc/meminfo: memFree=129209188/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=92180 memory=74304 CPUtime=411.18 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 15018 0 0 0 41113 5 0 0 20 0 1 0 32363433 94392320 18576 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 23045 18576 1248 1200 0 21525 0
Current children cumulated CPU time: 411.18 s
Current children cumulated vsize: 92180 KiB
Current children cumulated memory: 74304 KiB

[startup+413.6 s]
/proc/loadavg: 4.12 4.11 4.12 6/251 17455
/proc/meminfo: memFree=129209188/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=92180 memory=74304 CPUtime=411.98 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 15018 0 0 0 41193 5 0 0 20 0 1 0 32363433 94392320 18576 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 23045 18576 1248 1200 0 21525 0
Current children cumulated CPU time: 411.98 s
Current children cumulated vsize: 92180 KiB
Current children cumulated memory: 74304 KiB

[startup+414.4 s]
/proc/loadavg: 4.12 4.11 4.12 6/251 17455
/proc/meminfo: memFree=129209440/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=92180 memory=74304 CPUtime=412.78 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 15018 0 0 0 41273 5 0 0 20 0 1 0 32363433 94392320 18576 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 23045 18576 1248 1200 0 21525 0
Current children cumulated CPU time: 412.78 s
Current children cumulated vsize: 92180 KiB
Current children cumulated memory: 74304 KiB

[startup+414.6 s]
/proc/loadavg: 4.12 4.11 4.12 6/251 17455
/proc/meminfo: memFree=129209440/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=92180 memory=74304 CPUtime=412.97 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 15018 0 0 0 41292 5 0 0 20 0 1 0 32363433 94392320 18576 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 23045 18576 1248 1200 0 21525 0
Current children cumulated CPU time: 412.97 s
Current children cumulated vsize: 92180 KiB
Current children cumulated memory: 74304 KiB

[startup+414.7 s]
/proc/loadavg: 4.12 4.11 4.12 6/251 17455
/proc/meminfo: memFree=129209440/131382120 swapFree=33010684/33010684
[pid=17392] ppid=17389 vsize=92180 memory=74304 CPUtime=413.07 cores=4,6
/proc/17392/stat : 17392 (Exact) R 17389 17392 15142 0 -1 4194304 15018 0 0 0 41302 5 0 0 20 0 1 0 32363433 94392320 18576 18446744073709551615 4198400 9112445 140737119684464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 19685376 140737119693094 140737119693293 140737119693293 140737119698895 0
/proc/17392/statm: 23045 18576 1248 1200 0 21525 0
Current children cumulated CPU time: 413.07 s
Current children cumulated vsize: 92180 KiB
Current children cumulated memory: 74304 KiB

Child status: 30

Real time (s): 414.753
CPU time (s): 413.137
CPU user time (s): 413.079
CPU system time (s): 0.058712
CPU usage (%): 99.6105
Max. virtual memory (cumulated for all children) (KiB): 92180
Max. memory (cumulated for all children) (KiB): 74304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 413.079
system time used= 0.058712
maximum resident set size= 74432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15020
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= 2
involuntary context switches= 1103


# summary of solver processes directly reported to runsolver:
#   pid: 17392
#   total CPU time (s): 413.137
#   total CPU user time (s): 413.079
#   total CPU system time (s): 0.058712

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.89415 second user time and 3.47923 second system time

The end