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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497077-1751390327/watcher-4497077-1751390327 -o /tmp/evaluation-result-4497077-1751390327/solver-4497077-1751390327 -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-4497077-1751390327.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
Current StackSize limit: 8192 KiB

solver pid=53145, runsolver pid=53142

[startup+0.100084 s]*
/proc/loadavg: 4.14 4.18 4.15 5/250 53146
/proc/meminfo: memFree=127781204/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=55132 memory=14132 CPUtime=0.09 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2003 0 0 0 8 1 0 0 20 0 1 0 54712449 56455168 3533 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 13783 3533 1856 2271 0 8421 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55132 KiB
Current children cumulated memory: 14132 KiB

[startup+0.213125 s]*
/proc/loadavg: 4.14 4.18 4.15 5/250 53146
/proc/meminfo: memFree=127780448/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=0.2 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 18 2 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+0.312959 s]*
/proc/loadavg: 4.14 4.18 4.15 5/250 53146
/proc/meminfo: memFree=127783364/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=0.3 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 27 3 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+0.7003 s]
/proc/loadavg: 4.14 4.18 4.15 5/250 53146
/proc/meminfo: memFree=127783812/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=0.67 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 61 6 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+1.5003 s]
/proc/loadavg: 4.14 4.18 4.15 5/250 53146
/proc/meminfo: memFree=127791876/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=1.48 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 136 12 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+3.11273 s]
/proc/loadavg: 4.14 4.18 4.15 5/250 53146
/proc/meminfo: memFree=127784680/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=3.08 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 283 25 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+6.3003 s]
/proc/loadavg: 4.13 4.18 4.15 5/250 53146
/proc/meminfo: memFree=127769056/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=6.26 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 574 52 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.17 4.15 5/250 53146
/proc/meminfo: memFree=127724924/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=12.64 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 1157 107 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.17 4.14 5/250 53191
/proc/meminfo: memFree=127039880/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=25.41 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 2319 222 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+51.112 s]
/proc/loadavg: 4.12 4.17 4.14 5/251 53238
/proc/meminfo: memFree=128512212/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=50.95 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 4657 438 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

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

# cumulated CPU time of all completed processes:  user=54.9729 s, system=5.19026 s

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

[startup+51.2003 s]
/proc/loadavg: 4.12 4.17 4.14 5/251 53238
/proc/meminfo: memFree=128512212/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=51.04 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 4665 439 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+54.4002 s]
/proc/loadavg: 4.12 4.17 4.14 5/251 53238
/proc/meminfo: memFree=128520488/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=54.24 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 4959 465 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 54.24 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+57.6002 s]
/proc/loadavg: 4.11 4.16 4.14 5/251 53238
/proc/meminfo: memFree=128520740/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=57.42 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 5248 494 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 57.42 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+59.2002 s]
/proc/loadavg: 4.11 4.16 4.14 5/251 53238
/proc/meminfo: memFree=128520740/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=59.02 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 5393 509 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 59.02 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+60.0002 s]*
/proc/loadavg: 4.11 4.16 4.14 5/251 53238
/proc/meminfo: memFree=128520740/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=59.83 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 5467 516 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 59.83 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+60.2002 s]
/proc/loadavg: 4.11 4.16 4.14 5/251 53238
/proc/meminfo: memFree=128520740/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=56056 memory=15668 CPUtime=60.03 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2362 0 0 0 5485 518 0 0 20 0 1 0 54712449 57401344 3917 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14014 3917 1888 2271 0 8652 0
Current children cumulated CPU time: 60.03 s
Current children cumulated vsize: 56056 KiB
Current children cumulated memory: 15668 KiB

[startup+60.3002 s]
/proc/loadavg: 4.11 4.16 4.14 5/251 53238
/proc/meminfo: memFree=128520740/131382112 swapFree=33010684/33010684
[pid=53145] ppid=53142 vsize=57244 memory=17204 CPUtime=60.12 cores=0,2
/proc/53145/stat : 53145 (ExactPR) R 53142 53145 51658 0 -1 4194304 2755 0 0 0 5494 518 0 0 20 0 1 0 54712449 58617856 4301 18446744073709551615 94029492285440 94029501585285 140733393744656 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94029503371584 94029503410664 94029521498112 140733393750405 140733393750540 140733393750540 140733393756142 0
/proc/53145/statm: 14311 4301 1888 2271 0 8949 0
Current children cumulated CPU time: 60.12 s
Current children cumulated vsize: 57244 KiB
Current children cumulated memory: 17204 KiB

Child status: 30

Real time (s): 60.3324
CPU time (s): 60.1632
CPU user time (s): 54.9729
CPU system time (s): 5.19026
CPU usage (%): 99.7194
Max. virtual memory (cumulated for all children) (KiB): 57244
Max. memory (cumulated for all children) (KiB): 17204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.9729
system time used= 5.19026
maximum resident set size= 20192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2863
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= 148


# summary of solver processes directly reported to runsolver:
#   pid: 53145
#   total CPU time (s): 60.1632
#   total CPU user time (s): 54.9729
#   total CPU system time (s): 5.19026

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.291461 second user time and 0.629445 second system time

The end