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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=53190, runsolver pid=53187

[startup+0.100066 s]*
/proc/loadavg: 4.11 4.17 4.14 5/250 53191
/proc/meminfo: memFree=127680112/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=51980 memory=11392 CPUtime=0.07 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 1320 0 0 0 7 0 0 0 20 0 1 0 54713979 53227520 2848 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 12995 2848 1728 2271 0 7633 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 51980 KiB
Current children cumulated memory: 11392 KiB

[startup+0.213032 s]*
/proc/loadavg: 4.11 4.17 4.14 5/250 53191
/proc/meminfo: memFree=127663920/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=55544 memory=15452 CPUtime=0.17 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 2397 0 0 0 16 1 0 0 20 0 1 0 54713979 56877056 3863 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 13886 3863 1920 2271 0 8524 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 55544 KiB
Current children cumulated memory: 15452 KiB

[startup+0.31305 s]*
/proc/loadavg: 4.11 4.17 4.14 5/250 53191
/proc/meminfo: memFree=127652012/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=60944 memory=20700 CPUtime=0.26 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 3664 0 0 0 25 1 0 0 20 0 1 0 54713979 62406656 5175 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15236 5175 1952 2271 0 9874 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 20700 KiB

[startup+0.700159 s]
/proc/loadavg: 4.11 4.17 4.14 5/250 53191
/proc/meminfo: memFree=127631788/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=60944 memory=20700 CPUtime=0.61 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 3665 0 0 0 57 4 0 0 20 0 1 0 54713979 62406656 5175 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15236 5175 1952 2271 0 9874 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 20700 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.17 4.14 5/250 53191
/proc/meminfo: memFree=127583284/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=60944 memory=20700 CPUtime=1.4 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 3665 0 0 0 131 9 0 0 20 0 1 0 54713979 62406656 5175 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15236 5175 1952 2271 0 9874 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 20700 KiB

[startup+3.10565 s]
/proc/loadavg: 4.11 4.17 4.14 5/250 53191
/proc/meminfo: memFree=127453592/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=60944 memory=20700 CPUtime=3 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 3665 0 0 0 282 18 0 0 20 0 1 0 54713979 62406656 5175 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15236 5175 1952 2271 0 9874 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 20700 KiB

[startup+6.30014 s]
/proc/loadavg: 4.10 4.17 4.14 5/250 53191
/proc/meminfo: memFree=127096076/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=60944 memory=20700 CPUtime=6.16 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 3665 0 0 0 580 36 0 0 20 0 1 0 54713979 62406656 5175 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15236 5175 1952 2271 0 9874 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 20700 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.17 4.14 6/250 53191
/proc/meminfo: memFree=127040384/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=60944 memory=20700 CPUtime=12.54 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 3665 0 0 0 1183 71 0 0 20 0 1 0 54713979 62406656 5175 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15236 5175 1952 2271 0 9874 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 20700 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.17 4.15 6/250 53237
/proc/meminfo: memFree=128533548/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=60944 memory=20700 CPUtime=25.31 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 3665 0 0 0 2381 150 0 0 20 0 1 0 54713979 62406656 5175 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15236 5175 1952 2271 0 9874 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 20700 KiB

[startup+51.1129 s]
/proc/loadavg: 4.09 4.16 4.14 6/251 53283
/proc/meminfo: memFree=128476684/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=60944 memory=20700 CPUtime=50.86 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 3665 0 0 0 4773 313 0 0 20 0 1 0 54713979 62406656 5175 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15236 5175 1952 2271 0 9874 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 20700 KiB

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

# cumulated CPU time of all completed processes:  user=56.7205 s, system=3.73354 s

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

[startup+51.2004 s]
/proc/loadavg: 4.09 4.16 4.14 6/251 53283
/proc/meminfo: memFree=128476684/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=60944 memory=20700 CPUtime=50.95 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 3665 0 0 0 4781 314 0 0 20 0 1 0 54713979 62406656 5175 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15236 5175 1952 2271 0 9874 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 20700 KiB

[startup+57.6003 s]
/proc/loadavg: 4.09 4.16 4.14 6/251 53283
/proc/meminfo: memFree=128476264/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=60944 memory=20700 CPUtime=57.34 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 3665 0 0 0 5380 354 0 0 20 0 1 0 54713979 62406656 5175 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15236 5175 1952 2271 0 9874 0
Current children cumulated CPU time: 57.34 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 20700 KiB

[startup+59.2002 s]
/proc/loadavg: 4.09 4.16 4.14 6/250 53283
/proc/meminfo: memFree=128476440/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=60944 memory=20700 CPUtime=58.93 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 3665 0 0 0 5529 364 0 0 20 0 1 0 54713979 62406656 5175 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15236 5175 1952 2271 0 9874 0
Current children cumulated CPU time: 58.93 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 20700 KiB

[startup+60.0002 s]*
/proc/loadavg: 4.08 4.15 4.14 6/250 53283
/proc/meminfo: memFree=128484756/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=60944 memory=20700 CPUtime=59.74 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 3665 0 0 0 5605 369 0 0 20 0 1 0 54713979 62406656 5175 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15236 5175 1952 2271 0 9874 0
Current children cumulated CPU time: 59.74 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 20700 KiB

[startup+60.4003 s]
/proc/loadavg: 4.08 4.15 4.14 6/250 53283
/proc/meminfo: memFree=128484756/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=60944 memory=20700 CPUtime=60.13 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 3665 0 0 0 5641 372 0 0 20 0 1 0 54713979 62406656 5175 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15236 5175 1952 2271 0 9874 0
Current children cumulated CPU time: 60.13 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 20700 KiB

[startup+60.6002 s]
/proc/loadavg: 4.08 4.15 4.14 6/250 53283
/proc/meminfo: memFree=128484756/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=63076 memory=25320 CPUtime=60.32 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 4318 0 0 0 5660 372 0 0 20 0 1 0 54713979 64589824 6330 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 15769 6330 1952 2271 0 10407 0
Current children cumulated CPU time: 60.32 s
Current children cumulated vsize: 63076 KiB
Current children cumulated memory: 25320 KiB

[startup+60.7003 s]
/proc/loadavg: 4.08 4.15 4.14 6/250 53283
/proc/meminfo: memFree=128484756/131382112 swapFree=33010684/33010684
[pid=53190] ppid=53187 vsize=64244 memory=26216 CPUtime=60.42 cores=5,7
/proc/53190/stat : 53190 (ExactPR) R 53187 53190 51658 0 -1 4194304 4562 0 0 0 5670 372 0 0 20 0 1 0 54713979 65785856 6554 18446744073709551615 94773791178752 94773800478597 140733939088640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94773802264896 94773802303976 94773817745408 140733939095941 140733939096076 140733939096076 140733939101678 0
/proc/53190/statm: 16061 6554 1952 2271 0 10699 0
Current children cumulated CPU time: 60.42 s
Current children cumulated vsize: 64244 KiB
Current children cumulated memory: 26216 KiB

Child status: 30

Real time (s): 60.7188
CPU time (s): 60.454
CPU user time (s): 56.7205
CPU system time (s): 3.73354
CPU usage (%): 99.5639
Max. virtual memory (cumulated for all children) (KiB): 64244
Max. memory (cumulated for all children) (KiB): 26216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 56.7205
system time used= 3.73354
maximum resident set size= 26856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4599
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= 108


# summary of solver processes directly reported to runsolver:
#   pid: 53190
#   total CPU time (s): 60.454
#   total CPU user time (s): 56.7205
#   total CPU system time (s): 3.73354

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.282838 second user time and 0.62184 second system time

The end