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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=75971, runsolver pid=75956
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 0.96 1.08 1.53 7/252 75972
/proc/meminfo: memFree=118053812/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=53756 memory=13056 CPUtime=0.09 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 1899 0 0 0 8 1 0 0 20 0 1 0 67127902 55046144 3264 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 13439 3264 1696 2271 0 8077 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53756 KiB
Current children cumulated memory: 13056 KiB

[startup+0.212767 s]*
/proc/loadavg: 0.96 1.08 1.53 7/252 75972
/proc/meminfo: memFree=118035672/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=71080 memory=33760 CPUtime=0.2 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 6119 0 0 0 18 2 0 0 20 0 1 0 67127902 72785920 8440 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 17770 8440 3104 2271 0 12408 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71080 KiB
Current children cumulated memory: 33760 KiB

[startup+0.313016 s]*
/proc/loadavg: 1.20 1.13 1.55 7/252 75972
/proc/meminfo: memFree=118010472/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=88648 memory=50656 CPUtime=0.3 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 10191 0 0 0 27 3 0 0 20 0 1 0 67127902 90775552 12664 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 22162 12664 3264 2271 0 16800 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 88648 KiB
Current children cumulated memory: 50656 KiB

[startup+0.700286 s]
/proc/loadavg: 1.20 1.13 1.55 7/252 75972
/proc/meminfo: memFree=117990564/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=99424 memory=60896 CPUtime=0.68 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 12684 0 0 0 63 5 0 0 20 0 1 0 67127902 101810176 15224 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 24856 15224 3328 2271 0 19494 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 99424 KiB
Current children cumulated memory: 60896 KiB

[startup+1.50031 s]
/proc/loadavg: 1.20 1.13 1.55 7/252 75972
/proc/meminfo: memFree=117982000/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=158424 memory=107520 CPUtime=1.47 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 27203 0 0 0 139 8 0 0 20 0 1 0 67127902 162226176 26880 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 39606 26880 3360 2271 0 34244 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 158424 KiB
Current children cumulated memory: 107520 KiB

[startup+3.11411 s]
/proc/loadavg: 1.20 1.13 1.55 4/243 76060
/proc/meminfo: memFree=117951476/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=158424 memory=107904 CPUtime=3.06 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 27288 0 0 0 296 10 0 0 20 0 1 0 67127902 162226176 26976 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 39606 26976 3360 2271 0 34244 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 158424 KiB
Current children cumulated memory: 107904 KiB

[startup+6.30032 s]
/proc/loadavg: 1.43 1.17 1.56 5/252 76107
/proc/meminfo: memFree=116734316/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=184048 memory=130304 CPUtime=6.23 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 32899 0 0 0 611 12 0 0 20 0 1 0 67127902 188465152 32576 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 46012 32576 3360 2271 0 40650 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 184048 KiB
Current children cumulated memory: 130304 KiB

[startup+12.7003 s]
/proc/loadavg: 1.63 1.22 1.57 5/252 76107
/proc/meminfo: memFree=113688340/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=184048 memory=130304 CPUtime=12.61 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 32913 0 0 0 1249 12 0 0 20 0 1 0 67127902 188465152 32576 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 46012 32576 3360 2271 0 40650 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 184048 KiB
Current children cumulated memory: 130304 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 1.31 1.60 5/252 76107
/proc/meminfo: memFree=105441428/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=197868 memory=137088 CPUtime=25.37 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 34591 0 0 0 2524 13 0 0 20 0 1 0 67127902 202616832 34272 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 49467 34272 3360 2271 0 44105 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 197868 KiB
Current children cumulated memory: 137088 KiB

[startup+51.1129 s]
/proc/loadavg: 2.84 1.59 1.68 5/252 76108
/proc/meminfo: memFree=101680656/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=253992 memory=166052 CPUtime=50.89 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 42327 0 0 0 5075 14 0 0 20 0 1 0 67127902 260087808 41513 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 63498 41513 3360 2271 0 58136 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 253992 KiB
Current children cumulated memory: 166052 KiB

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

# cumulated CPU time of all completed processes:  user=94.5457 s, system=0.176546 s

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

[startup+51.2004 s]
/proc/loadavg: 2.84 1.59 1.68 5/252 76108
/proc/meminfo: memFree=101680656/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=253992 memory=166052 CPUtime=50.98 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 42327 0 0 0 5084 14 0 0 20 0 1 0 67127902 260087808 41513 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 63498 41513 3360 2271 0 58136 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 253992 KiB
Current children cumulated memory: 166052 KiB

[startup+76.8003 s]
/proc/loadavg: 3.32 1.80 1.75 5/252 76109
/proc/meminfo: memFree=101653116/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=299536 memory=194980 CPUtime=76.49 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 49039 0 0 0 7633 16 0 0 20 0 1 0 67127902 306724864 48745 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 74884 48745 3360 2271 0 69522 0
Current children cumulated CPU time: 76.49 s
Current children cumulated vsize: 299536 KiB
Current children cumulated memory: 194980 KiB

[startup+83.2003 s]
/proc/loadavg: 3.37 1.84 1.76 5/252 76109
/proc/meminfo: memFree=101620872/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=308880 memory=201508 CPUtime=82.87 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 50190 0 0 0 8271 16 0 0 20 0 1 0 67127902 316293120 50377 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 77220 50377 3360 2271 0 71858 0
Current children cumulated CPU time: 82.87 s
Current children cumulated vsize: 308880 KiB
Current children cumulated memory: 201508 KiB

[startup+89.6003 s]
/proc/loadavg: 3.43 1.87 1.78 5/252 76109
/proc/meminfo: memFree=101605004/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=317356 memory=207524 CPUtime=89.24 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 51678 0 0 0 8908 16 0 0 20 0 1 0 67127902 324972544 51881 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 79339 51881 3360 2271 0 73977 0
Current children cumulated CPU time: 89.24 s
Current children cumulated vsize: 317356 KiB
Current children cumulated memory: 207524 KiB

[startup+92.8003 s]
/proc/loadavg: 3.47 1.91 1.79 5/252 76109
/proc/meminfo: memFree=101580428/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=318600 memory=209956 CPUtime=92.43 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 51865 0 0 0 9227 16 0 0 20 0 1 0 67127902 326246400 52489 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 79650 52489 3360 2271 0 74288 0
Current children cumulated CPU time: 92.43 s
Current children cumulated vsize: 318600 KiB
Current children cumulated memory: 209956 KiB

[startup+94.4003 s]
/proc/loadavg: 3.47 1.91 1.79 5/252 76109
/proc/meminfo: memFree=101528192/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=321812 memory=210596 CPUtime=94.03 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 52036 0 0 0 9387 16 0 0 20 0 1 0 67127902 329535488 52649 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 80453 52649 3360 2271 0 75091 0
Current children cumulated CPU time: 94.03 s
Current children cumulated vsize: 321812 KiB
Current children cumulated memory: 210596 KiB

[startup+94.8003 s]
/proc/loadavg: 3.47 1.91 1.79 5/252 76109
/proc/meminfo: memFree=101528192/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=322120 memory=210980 CPUtime=94.43 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 52119 0 0 0 9427 16 0 0 20 0 1 0 67127902 329850880 52745 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 80530 52745 3360 2271 0 75168 0
Current children cumulated CPU time: 94.43 s
Current children cumulated vsize: 322120 KiB
Current children cumulated memory: 210980 KiB

[startup+95.0002 s]*
/proc/loadavg: 3.47 1.91 1.79 5/252 76109
/proc/meminfo: memFree=101528192/131382112 swapFree=33010160/33010684
[pid=75971] ppid=75956 vsize=322120 memory=210980 CPUtime=94.64 cores=1,3
/proc/75971/stat : 75971 (ExactPR-S) R 75956 75971 75903 0 -1 4194304 52120 0 0 0 9448 16 0 0 20 0 1 0 67127902 329850880 52745 18446744073709551615 94062723055616 94062732355653 140729155090400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94062734141760 94062734180840 94062766944256 140729155094913 140729155095050 140729155095050 140729155100652 0
/proc/75971/statm: 80530 52745 3360 2271 0 75168 0
Current children cumulated CPU time: 94.64 s
Current children cumulated vsize: 322120 KiB
Current children cumulated memory: 210980 KiB

Child status: 0

Real time (s): 95.083
CPU time (s): 94.7223
CPU user time (s): 94.5457
CPU system time (s): 0.176546
CPU usage (%): 99.6206
Max. virtual memory (cumulated for all children) (KiB): 322120
Max. memory (cumulated for all children) (KiB): 210980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.5457
system time used= 0.176546
maximum resident set size= 211364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52130
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= 151
involuntary context switches= 124


# summary of solver processes directly reported to runsolver:
#   pid: 75971
#   total CPU time (s): 94.7223
#   total CPU user time (s): 94.5457
#   total CPU system time (s): 0.176546

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.478555 second user time and 0.996032 second system time

The end