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: 63794 MiB (62689 MiB free)
  memory of node 1: 64507 MiB (61957 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496985-1751390265/watcher-4496985-1751390265 -o /tmp/evaluation-result-4496985-1751390265/solver-4496985-1751390265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751386099-51668 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4496985-1751390265.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=53054, runsolver pid=53051
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 4.12 4.19 4.15 5/250 53055
/proc/meminfo: memFree=127638796/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=52936 memory=12060 CPUtime=0.08 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 1542 0 0 0 8 0 0 0 20 0 1 0 54706231 54206464 2983 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 13234 2983 1760 2271 0 7872 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 52936 KiB
Current children cumulated memory: 12060 KiB

[startup+0.212797 s]*
/proc/loadavg: 4.12 4.19 4.15 5/250 53055
/proc/meminfo: memFree=127637032/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=0.2 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 19 1 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+0.312927 s]*
/proc/loadavg: 4.12 4.19 4.15 5/250 53055
/proc/meminfo: memFree=127637032/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=0.3 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 28 2 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+0.700272 s]
/proc/loadavg: 4.12 4.19 4.15 7/250 53055
/proc/meminfo: memFree=127624872/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=0.67 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 61 6 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+1.50028 s]
/proc/loadavg: 4.12 4.19 4.15 5/250 53055
/proc/meminfo: memFree=127604520/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=1.47 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 135 12 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+3.1126 s]
/proc/loadavg: 4.11 4.19 4.15 5/250 53055
/proc/meminfo: memFree=127597256/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=3.08 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 281 27 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+6.30027 s]
/proc/loadavg: 4.11 4.19 4.15 5/250 53055
/proc/meminfo: memFree=127585600/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=6.26 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 572 54 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.20 4.15 5/250 53055
/proc/meminfo: memFree=127499608/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=12.64 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 1149 115 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.19 4.15 5/250 53100
/proc/meminfo: memFree=127990064/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=25.41 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 2297 244 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+51.1127 s]
/proc/loadavg: 4.09 4.17 4.14 5/250 53101
/proc/meminfo: memFree=127831968/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=50.97 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 4607 490 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

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

# cumulated CPU time of all completed processes:  user=54.4332 s, system=5.76782 s

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

[startup+51.2003 s]
/proc/loadavg: 4.09 4.17 4.14 5/250 53101
/proc/meminfo: memFree=127831968/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=51.05 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 4615 490 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+54.4003 s]
/proc/loadavg: 4.16 4.19 4.15 5/250 53101
/proc/meminfo: memFree=127826192/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=54.24 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 4905 519 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 54.24 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+57.6003 s]
/proc/loadavg: 4.16 4.19 4.15 5/250 53101
/proc/meminfo: memFree=127810440/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=57.43 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 5192 551 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 57.43 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+59.2003 s]
/proc/loadavg: 4.15 4.18 4.15 5/250 53101
/proc/meminfo: memFree=127810700/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=59.03 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 5337 566 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 59.03 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+60.0003 s]*
/proc/loadavg: 4.15 4.18 4.15 5/250 53101
/proc/meminfo: memFree=127784076/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=59.84 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 5411 573 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 59.84 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+60.2003 s]
/proc/loadavg: 4.15 4.18 4.15 5/250 53101
/proc/meminfo: memFree=127784076/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56564 memory=16080 CPUtime=60.03 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2527 0 0 0 5428 575 0 0 20 0 1 0 54706231 57921536 4020 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14141 4020 1888 2271 0 8779 0
Current children cumulated CPU time: 60.03 s
Current children cumulated vsize: 56564 KiB
Current children cumulated memory: 16080 KiB

[startup+60.3003 s]
/proc/loadavg: 4.15 4.18 4.15 5/250 53101
/proc/meminfo: memFree=127784076/131382112 swapFree=33010684/33010684
[pid=53054] ppid=53051 vsize=56832 memory=16336 CPUtime=60.13 cores=0,2
/proc/53054/stat : 53054 (ExactPR) R 53051 53054 51658 0 -1 4194304 2577 0 0 0 5437 576 0 0 20 0 1 0 54706231 58195968 4084 18446744073709551615 93940139868160 93940149168005 140723008724128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93940150954304 93940150993384 93940165373952 140723008727429 140723008727564 140723008727564 140723008733166 0
/proc/53054/statm: 14208 4084 1888 2271 0 8846 0
Current children cumulated CPU time: 60.13 s
Current children cumulated vsize: 56832 KiB
Current children cumulated memory: 16336 KiB

Child status: 30

Real time (s): 60.3645
CPU time (s): 60.2011
CPU user time (s): 54.4332
CPU system time (s): 5.76782
CPU usage (%): 99.7293
Max. virtual memory (cumulated for all children) (KiB): 56832
Max. memory (cumulated for all children) (KiB): 16336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.4332
system time used= 5.76782
maximum resident set size= 17872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2905
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= 110
involuntary context switches= 143


# summary of solver processes directly reported to runsolver:
#   pid: 53054
#   total CPU time (s): 60.2011
#   total CPU user time (s): 54.4332
#   total CPU system time (s): 5.76782

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.310811 second user time and 0.623975 second system time

The end