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: 63708 MiB (60891 MiB free)
  memory of node 1: 64465 MiB (62340 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529671-1752253388/watcher-4529671-1752253388 -o /tmp/evaluation-result-4529671-1752253388/solver-4529671-1752253388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752253388-109749 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529671-1752253388.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=109786, runsolver pid=109779

[startup+0.100059 s]*
/proc/loadavg: 2.22 2.89 3.11 4/262 109806
/proc/meminfo: memFree=126165304/131250000 swapFree=33010672/33010684
[pid=109786] ppid=109779 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/109786/stat : 109786 (scip-naps-1.00a) S 109779 109786 109737 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 141017443 4292608 768 18446744073709551615 94055722643456 94055723537989 140732843035136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94055723777040 94055723824784 94055732543488 140732843043227 140732843043326 140732843043326 140732843048930 0
/proc/109786/statm: 1048 768 704 219 0 110 0
[pid=109799] ppid=109786 vsize=60108 memory=21996 CPUtime=0.03 cores=1,3
/proc/109799/stat : 109799 (python3) R 109786 109786 109737 0 -1 4194304 2605 0 0 0 3 0 0 0 20 0 1 0 141017447 61550592 5499 18446744073709551615 94110005805056 94110005805433 140735128086160 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94110005816728 94110005817348 94110008922112 140735128090959 140735128091168 140735128091168 140735128096743 0
/proc/109799/statm: 15027 5499 3328 1 0 3743 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 64300 KiB
Current children cumulated memory: 25068 KiB

[startup+0.205478 s]*
/proc/loadavg: 2.22 2.89 3.11 5/261 109808
/proc/meminfo: memFree=126161820/131250000 swapFree=33010672/33010684
[pid=109786] ppid=109779 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/109786/stat : 109786 (scip-naps-1.00a) S 109779 109786 109737 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 141017443 4292608 768 18446744073709551615 94055722643456 94055723537989 140732843035136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94055723777040 94055723824784 94055732543488 140732843043227 140732843043326 140732843043326 140732843048930 0
/proc/109786/statm: 1048 768 704 219 0 110 0
[pid=109799] ppid=109786 vsize=1190448 memory=35280 CPUtime=0.09 cores=1,3
/proc/109799/stat : 109799 (python3) D 109786 109786 109737 0 -1 4194304 4471 0 1 0 8 1 0 0 20 0 1 0 141017447 1219018752 8820 18446744073709551615 94110005805056 94110005805433 140735128086160 0 0 0 0 16781312 2 1 0 0 17 1 0 0 0 0 0 94110005816728 94110005817348 94110008922112 140735128090959 140735128091168 140735128091168 140735128096743 0
/proc/109799/statm: 297612 8820 5050 1 0 269521 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 1194640 KiB
Current children cumulated memory: 38352 KiB

[startup+0.305155 s]*
/proc/loadavg: 2.22 2.89 3.11 4/264 109813
/proc/meminfo: memFree=126086724/131250000 swapFree=33010672/33010684
[pid=109786] ppid=109779 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/109786/stat : 109786 (scip-naps-1.00a) S 109779 109786 109737 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 141017443 4292608 768 18446744073709551615 94055722643456 94055723537989 140732843035136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94055723777040 94055723824784 94055732543488 140732843043227 140732843043326 140732843043326 140732843048930 0
/proc/109786/statm: 1048 768 704 219 0 110 0
[pid=109799] ppid=109786 vsize=1213976 memory=65104 CPUtime=0.16 cores=1,3
/proc/109799/stat : 109799 (python3) R 109786 109786 109737 0 -1 4194304 9698 0 4 0 14 2 0 0 20 0 1 0 141017447 1243111424 16276 18446744073709551615 94110005805056 94110005805433 140735128086160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94110005816728 94110005817348 94110008922112 140735128090959 140735128091168 140735128091168 140735128096743 0
/proc/109799/statm: 303494 16276 7514 1 0 274852 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1218168 KiB
Current children cumulated memory: 68176 KiB

[startup+0.700157 s]
/proc/loadavg: 2.22 2.89 3.11 5/267 109822
/proc/meminfo: memFree=125910244/131250000 swapFree=33010672/33010684
[pid=109786] ppid=109779 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/109786/stat : 109786 (scip-naps-1.00a) S 109779 109786 109737 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 141017443 4292608 768 18446744073709551615 94055722643456 94055723537989 140732843035136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94055723777040 94055723824784 94055732543488 140732843043227 140732843043326 140732843043326 140732843048930 0
/proc/109786/statm: 1048 768 704 219 0 110 0
[pid=109799] ppid=109786 vsize=1314372 memory=164560 CPUtime=0.55 cores=1,3
/proc/109799/stat : 109799 (python3) R 109786 109786 109737 0 -1 4194304 34541 0 4 0 50 5 0 0 20 0 1 0 141017447 1345916928 41140 18446744073709551615 94110005805056 94110005805433 140735128086160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94110005816728 94110005817348 94110008922112 140735128090959 140735128091168 140735128091168 140735128096743 0
/proc/109799/statm: 328593 41140 7514 1 0 299951 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 1318564 KiB
Current children cumulated memory: 167632 KiB

[startup+1.50017 s]
/proc/loadavg: 2.22 2.89 3.11 5/267 109822
/proc/meminfo: memFree=125309980/131250000 swapFree=33010672/33010684
[pid=109786] ppid=109779 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/109786/stat : 109786 (scip-naps-1.00a) S 109779 109786 109737 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 141017443 4292608 768 18446744073709551615 94055722643456 94055723537989 140732843035136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94055723777040 94055723824784 94055732543488 140732843043227 140732843043326 140732843043326 140732843048930 0
/proc/109786/statm: 1048 768 704 219 0 110 0
[pid=109799] ppid=109786 vsize=1658176 memory=509288 CPUtime=1.35 cores=1,3
/proc/109799/stat : 109799 (python3) R 109786 109786 109737 0 -1 4194304 119489 0 4 0 118 17 0 0 20 0 1 0 141017447 1697972224 127322 18446744073709551615 94110005805056 94110005805433 140735128086160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94110005816728 94110005817348 94110008922112 140735128090959 140735128091168 140735128091168 140735128096743 0
/proc/109799/statm: 414544 127322 7770 1 0 385902 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 1662368 KiB
Current children cumulated memory: 512360 KiB

[startup+3.10567 s]
/proc/loadavg: 2.36 2.91 3.11 5/267 109822
/proc/meminfo: memFree=123310592/131250000 swapFree=33010672/33010684
[pid=109786] ppid=109779 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/109786/stat : 109786 (scip-naps-1.00a) S 109779 109786 109737 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 141017443 4292608 768 18446744073709551615 94055722643456 94055723537989 140732843035136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94055723777040 94055723824784 94055732543488 140732843043227 140732843043326 140732843043326 140732843048930 0
/proc/109786/statm: 1048 768 704 219 0 110 0
[pid=109799] ppid=109786 vsize=1803084 memory=654124 CPUtime=2.95 cores=1,3
/proc/109799/stat : 109799 (python3) R 109786 109786 109737 0 -1 4194304 154627 0 4 0 273 22 0 0 20 0 1 0 141017447 1846358016 163531 18446744073709551615 94110005805056 94110005805433 140735128086160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94110005816728 94110005817348 94110008922112 140735128090959 140735128091168 140735128091168 140735128096743 0
/proc/109799/statm: 450771 163531 7834 1 0 422129 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 1807276 KiB
Current children cumulated memory: 657196 KiB

[startup+6.30019 s]
/proc/loadavg: 2.36 2.91 3.11 5/267 109823
/proc/meminfo: memFree=121452616/131250000 swapFree=33010672/33010684
[pid=109786] ppid=109779 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/109786/stat : 109786 (scip-naps-1.00a) S 109779 109786 109737 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 141017443 4292608 768 18446744073709551615 94055722643456 94055723537989 140732843035136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94055723777040 94055723824784 94055732543488 140732843043227 140732843043326 140732843043326 140732843048930 0
/proc/109786/statm: 1048 768 704 219 0 110 0
[pid=109799] ppid=109786 vsize=2054156 memory=860596 CPUtime=6.14 cores=1,3
/proc/109799/stat : 109799 (python3) R 109786 109786 109737 0 -1 4194304 163935 0 4 0 588 26 0 0 20 0 1 0 141017447 2103455744 215149 18446744073709551615 94110005805056 94110005805433 140735128086160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94110005816728 94110005817348 94110008922112 140735128090959 140735128091168 140735128091168 140735128096743 0
/proc/109799/statm: 513539 215149 7866 1 0 484897 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 2058348 KiB
Current children cumulated memory: 863668 KiB

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

# cumulated CPU time of all completed processes:  user=9.81302 s, system=0.486512 s

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

[startup+6.40023 s]
/proc/loadavg: 2.36 2.91 3.11 5/267 109823
/proc/meminfo: memFree=121452616/131250000 swapFree=33010672/33010684
[pid=109786] ppid=109779 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/109786/stat : 109786 (scip-naps-1.00a) S 109779 109786 109737 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 141017443 4292608 768 18446744073709551615 94055722643456 94055723537989 140732843035136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94055723777040 94055723824784 94055732543488 140732843043227 140732843043326 140732843043326 140732843048930 0
/proc/109786/statm: 1048 768 704 219 0 110 0
[pid=109799] ppid=109786 vsize=2054156 memory=860596 CPUtime=6.24 cores=1,3
/proc/109799/stat : 109799 (python3) R 109786 109786 109737 0 -1 4194304 163935 0 4 0 598 26 0 0 20 0 1 0 141017447 2103455744 215149 18446744073709551615 94110005805056 94110005805433 140735128086160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94110005816728 94110005817348 94110008922112 140735128090959 140735128091168 140735128091168 140735128096743 0
/proc/109799/statm: 513539 215149 7866 1 0 484897 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2058348 KiB
Current children cumulated memory: 863668 KiB

[startup+8.00017 s]*
/proc/loadavg: 2.49 2.93 3.12 5/267 109823
/proc/meminfo: memFree=119358120/131250000 swapFree=33010672/33010684
[pid=109786] ppid=109779 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/109786/stat : 109786 (scip-naps-1.00a) S 109779 109786 109737 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 141017443 4292608 768 18446744073709551615 94055722643456 94055723537989 140732843035136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94055723777040 94055723824784 94055732543488 140732843043227 140732843043326 140732843043326 140732843048930 0
/proc/109786/statm: 1048 768 704 219 0 110 0
[pid=109799] ppid=109786 vsize=2461428 memory=1248324 CPUtime=7.84 cores=1,3
/proc/109799/stat : 109799 (python3) R 109786 109786 109737 0 -1 4194304 243153 0 4 0 742 42 0 0 20 0 1 0 141017447 2520502272 312081 18446744073709551615 94110005805056 94110005805433 140735128086160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94110005816728 94110005817348 94110008922112 140735128090959 140735128091168 140735128091168 140735128096743 0
/proc/109799/statm: 615357 312081 8026 1 0 586715 0
Current children cumulated CPU time: 7.84 s
Current children cumulated vsize: 2465620 KiB
Current children cumulated memory: 1251396 KiB

[startup+9.60017 s]
/proc/loadavg: 2.49 2.93 3.12 5/267 109823
/proc/meminfo: memFree=118773028/131250000 swapFree=33010672/33010684
[pid=109786] ppid=109779 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/109786/stat : 109786 (scip-naps-1.00a) S 109779 109786 109737 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 141017443 4292608 768 18446744073709551615 94055722643456 94055723537989 140732843035136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94055723777040 94055723824784 94055732543488 140732843043227 140732843043326 140732843043326 140732843048930 0
/proc/109786/statm: 1048 768 704 219 0 110 0
[pid=109799] ppid=109786 vsize=2471196 memory=1259492 CPUtime=9.43 cores=1,3
/proc/109799/stat : 109799 (python3) R 109786 109786 109737 0 -1 4194304 243962 0 4 0 900 43 0 0 20 0 1 0 141017447 2530504704 314873 18446744073709551615 94110005805056 94110005805433 140735128086160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94110005816728 94110005817348 94110008922112 140735128090959 140735128091168 140735128091168 140735128096743 0
/proc/109799/statm: 617799 314873 8090 1 0 589157 0
Current children cumulated CPU time: 9.43 s
Current children cumulated vsize: 2475388 KiB
Current children cumulated memory: 1262564 KiB

[startup+10.0002 s]*
/proc/loadavg: 2.49 2.93 3.12 4/262 109831
/proc/meminfo: memFree=119491180/131250000 swapFree=33010672/33010684
[pid=109786] ppid=109779 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/109786/stat : 109786 (scip-naps-1.00a) S 109779 109786 109737 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 141017443 4292608 768 18446744073709551615 94055722643456 94055723537989 140732843035136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94055723777040 94055723824784 94055732543488 140732843043227 140732843043326 140732843043326 140732843048930 0
/proc/109786/statm: 1048 768 704 219 0 110 0
[pid=109799] ppid=109786 vsize=2471196 memory=1259748 CPUtime=9.83 cores=1,3
/proc/109799/stat : 109799 (python3) R 109786 109786 109737 0 -1 4194304 244027 0 4 0 940 43 0 0 20 0 1 0 141017447 2530504704 314937 18446744073709551615 94110005805056 94110005805433 140735128086160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94110005816728 94110005817348 94110008922112 140735128090959 140735128091168 140735128091168 140735128096743 0
/proc/109799/statm: 617799 314937 8090 1 0 589157 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 2475388 KiB
Current children cumulated memory: 1262820 KiB

[startup+10.4002 s]
/proc/loadavg: 2.49 2.93 3.12 4/262 109831
/proc/meminfo: memFree=119491180/131250000 swapFree=33010672/33010684
[pid=109786] ppid=109779 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/109786/stat : 109786 (scip-naps-1.00a) S 109779 109786 109737 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 141017443 4292608 768 18446744073709551615 94055722643456 94055723537989 140732843035136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94055723777040 94055723824784 94055732543488 140732843043227 140732843043326 140732843043326 140732843048930 0
/proc/109786/statm: 1048 768 704 219 0 110 0
[pid=109799] ppid=109786 vsize=1990988 memory=788920 CPUtime=10.22 cores=1,3
/proc/109799/stat : 109799 (python3) R 109786 109786 109737 0 -1 4194304 244030 0 4 0 979 43 0 0 20 0 1 0 141017447 2038771712 197230 18446744073709551615 94110005805056 94110005805433 140735128086160 0 0 0 0 16781312 16386 0 0 0 17 1 0 0 0 0 0 94110005816728 94110005817348 94110008922112 140735128090959 140735128091168 140735128091168 140735128096743 0
/proc/109799/statm: 497747 197230 8090 1 0 469105 0
Current children cumulated CPU time: 10.22 s
Current children cumulated vsize: 1995180 KiB
Current children cumulated memory: 791992 KiB

Child status: 0

Real time (s): 10.4546
CPU time (s): 10.2995
CPU user time (s): 9.81302
CPU system time (s): 0.486512
CPU usage (%): 98.5164
Max. virtual memory (cumulated for all children) (KiB): 2509308
Max. memory (cumulated for all children) (KiB): 1295212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.81302
system time used= 0.486512
maximum resident set size= 1308752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244674
page faults= 4
swaps= 0
block input operations= 24
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 426
involuntary context switches= 19


# summary of solver processes directly reported to runsolver:
#   pid: 109786
#   total CPU time (s): 10.2995
#   total CPU user time (s): 9.81302
#   total CPU system time (s): 0.486512

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040907 second user time and 0.067288 second system time

The end