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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493997-1751150222/watcher-4493997-1751150222 -o /tmp/evaluation-result-4493997-1751150222/solver-4493997-1751150222 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19820 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4493997-1751150222.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=23031, runsolver pid=23028

[startup+0.10006 s]*
/proc/loadavg: 4.15 4.10 4.09 5/271 23036
/proc/meminfo: memFree=128755364/131249992 swapFree=33010684/33010684
[pid=23031] ppid=23028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23031/stat : 23031 (scip-naps-1.00.) S 23028 23031 19810 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 30700940 4292608 736 18446744073709551615 94241788178432 94241789072965 140722661585216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94241789312016 94241789359760 94241799892992 140722661587361 140722661587458 140722661587458 140722661593060 0
/proc/23031/statm: 1048 736 672 219 0 110 0
[pid=23036] ppid=23031 vsize=1186920 memory=31716 CPUtime=0.05 cores=0,2
/proc/23036/stat : 23036 (python3) R 23031 23031 19810 0 -1 4194304 3717 0 0 0 4 1 0 0 20 0 1 0 30700943 1215406080 7929 18446744073709551615 93858064535552 93858064535929 140736343295568 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93858064547224 93858064547844 93858067570688 140736343304536 140736343304738 140736343304738 140736343310311 0
/proc/23036/statm: 296730 7929 4857 1 0 268752 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34660 KiB

[startup+0.205474 s]*
/proc/loadavg: 4.15 4.10 4.09 5/271 23036
/proc/meminfo: memFree=128728652/131249992 swapFree=33010684/33010684
[pid=23031] ppid=23028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23031/stat : 23031 (scip-naps-1.00.) S 23028 23031 19810 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 30700940 4292608 736 18446744073709551615 94241788178432 94241789072965 140722661585216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94241789312016 94241789359760 94241799892992 140722661587361 140722661587458 140722661587458 140722661593060 0
/proc/23031/statm: 1048 736 672 219 0 110 0
[pid=23036] ppid=23031 vsize=1217484 memory=68708 CPUtime=0.16 cores=0,2
/proc/23036/stat : 23036 (python3) R 23031 23031 19810 0 -1 4194304 10475 0 0 0 13 3 0 0 20 0 1 0 30700943 1246703616 17177 18446744073709551615 93858064535552 93858064535929 140736343295568 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93858064547224 93858064547844 93858067570688 140736343304536 140736343304738 140736343304738 140736343310311 0
/proc/23036/statm: 304371 17177 7577 1 0 275729 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1221676 KiB
Current children cumulated memory: 71652 KiB

[startup+0.305433 s]*
/proc/loadavg: 4.15 4.10 4.09 5/271 23036
/proc/meminfo: memFree=128696396/131249992 swapFree=33010684/33010684
[pid=23031] ppid=23028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23031/stat : 23031 (scip-naps-1.00.) S 23028 23031 19810 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 30700940 4292608 736 18446744073709551615 94241788178432 94241789072965 140722661585216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94241789312016 94241789359760 94241799892992 140722661587361 140722661587458 140722661587458 140722661593060 0
/proc/23031/statm: 1048 736 672 219 0 110 0
[pid=23036] ppid=23031 vsize=1246204 memory=96996 CPUtime=0.26 cores=0,2
/proc/23036/stat : 23036 (python3) R 23031 23031 19810 0 -1 4194304 17558 0 0 0 22 4 0 0 20 0 1 0 30700943 1276112896 24249 18446744073709551615 93858064535552 93858064535929 140736343295568 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93858064547224 93858064547844 93858067570688 140736343304536 140736343304738 140736343304738 140736343310311 0
/proc/23036/statm: 311551 24249 7577 1 0 282909 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1250396 KiB
Current children cumulated memory: 99940 KiB

[startup+0.7002 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 23036
/proc/meminfo: memFree=128648264/131249992 swapFree=33010684/33010684
[pid=23031] ppid=23028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23031/stat : 23031 (scip-naps-1.00.) S 23028 23031 19810 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 30700940 4292608 736 18446744073709551615 94241788178432 94241789072965 140722661585216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94241789312016 94241789359760 94241799892992 140722661587361 140722661587458 140722661587458 140722661593060 0
/proc/23031/statm: 1048 736 672 219 0 110 0
[pid=23036] ppid=23031 vsize=1347708 memory=198008 CPUtime=0.65 cores=0,2
/proc/23036/stat : 23036 (python3) R 23031 23031 19810 0 -1 4194304 42314 0 0 0 57 8 0 0 20 0 1 0 30700943 1380052992 49502 18446744073709551615 93858064535552 93858064535929 140736343295568 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93858064547224 93858064547844 93858067570688 140736343304536 140736343304738 140736343304738 140736343310311 0
/proc/23036/statm: 336927 49502 7577 1 0 308285 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1351900 KiB
Current children cumulated memory: 200952 KiB

[startup+1.50016 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 23036
/proc/meminfo: memFree=128446916/131249992 swapFree=33010684/33010684
[pid=23031] ppid=23028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23031/stat : 23031 (scip-naps-1.00.) S 23028 23031 19810 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 30700940 4292608 736 18446744073709551615 94241788178432 94241789072965 140722661585216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94241789312016 94241789359760 94241799892992 140722661587361 140722661587458 140722661587458 140722661593060 0
/proc/23031/statm: 1048 736 672 219 0 110 0
[pid=23036] ppid=23031 vsize=1660448 memory=511216 CPUtime=1.45 cores=0,2
/proc/23036/stat : 23036 (python3) R 23031 23031 19810 0 -1 4194304 119865 0 0 0 125 20 0 0 20 0 1 0 30700943 1700298752 127804 18446744073709551615 93858064535552 93858064535929 140736343295568 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93858064547224 93858064547844 93858067570688 140736343304536 140736343304738 140736343304738 140736343310311 0
/proc/23036/statm: 415112 127804 7833 1 0 386470 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1664640 KiB
Current children cumulated memory: 514160 KiB

[startup+3.10542 s]
/proc/loadavg: 4.13 4.10 4.09 5/271 23036
/proc/meminfo: memFree=128133428/131249992 swapFree=33010684/33010684
[pid=23031] ppid=23028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23031/stat : 23031 (scip-naps-1.00.) S 23028 23031 19810 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 30700940 4292608 736 18446744073709551615 94241788178432 94241789072965 140722661585216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94241789312016 94241789359760 94241799892992 140722661587361 140722661587458 140722661587458 140722661593060 0
/proc/23031/statm: 1048 736 672 219 0 110 0
[pid=23036] ppid=23031 vsize=1803052 memory=654168 CPUtime=3.05 cores=0,2
/proc/23036/stat : 23036 (python3) R 23031 23031 19810 0 -1 4194304 154521 0 0 0 278 27 0 0 20 0 1 0 30700943 1846325248 163542 18446744073709551615 93858064535552 93858064535929 140736343295568 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93858064547224 93858064547844 93858067570688 140736343304536 140736343304738 140736343304738 140736343310311 0
/proc/23036/statm: 450763 163542 7897 1 0 422121 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1807244 KiB
Current children cumulated memory: 657112 KiB

[startup+6.30018 s]
/proc/loadavg: 4.13 4.10 4.09 5/271 23036
/proc/meminfo: memFree=128104660/131249992 swapFree=33010684/33010684
[pid=23031] ppid=23028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23031/stat : 23031 (scip-naps-1.00.) S 23028 23031 19810 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 30700940 4292608 736 18446744073709551615 94241788178432 94241789072965 140722661585216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94241789312016 94241789359760 94241799892992 140722661587361 140722661587458 140722661587458 140722661593060 0
/proc/23031/statm: 1048 736 672 219 0 110 0
[pid=23036] ppid=23031 vsize=2181524 memory=978692 CPUtime=6.24 cores=0,2
/proc/23036/stat : 23036 (python3) R 23031 23031 19810 0 -1 4194304 181608 0 0 0 589 35 0 0 20 0 1 0 30700943 2233880576 244673 18446744073709551615 93858064535552 93858064535929 140736343295568 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93858064547224 93858064547844 93858067570688 140736343304536 140736343304738 140736343304738 140736343310311 0
/proc/23036/statm: 545381 244673 7929 1 0 516739 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2185716 KiB
Current children cumulated memory: 981636 KiB

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

# cumulated CPU time of all completed processes:  user=9.4163 s, system=0.528512 s

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

[startup+6.4002 s]
/proc/loadavg: 4.13 4.10 4.09 5/271 23036
/proc/meminfo: memFree=128104660/131249992 swapFree=33010684/33010684
[pid=23031] ppid=23028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23031/stat : 23031 (scip-naps-1.00.) S 23028 23031 19810 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 30700940 4292608 736 18446744073709551615 94241788178432 94241789072965 140722661585216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94241789312016 94241789359760 94241799892992 140722661587361 140722661587458 140722661587458 140722661593060 0
/proc/23031/statm: 1048 736 672 219 0 110 0
[pid=23036] ppid=23031 vsize=2221424 memory=1014244 CPUtime=6.34 cores=0,2
/proc/23036/stat : 23036 (python3) R 23031 23031 19810 0 -1 4194304 186869 0 0 0 598 36 0 0 20 0 1 0 30700943 2274738176 253561 18446744073709551615 93858064535552 93858064535929 140736343295568 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93858064547224 93858064547844 93858067570688 140736343304536 140736343304738 140736343304738 140736343310311 0
/proc/23036/statm: 555356 253561 7961 1 0 526714 0
Current children cumulated CPU time: 6.34 s
Current children cumulated vsize: 2225616 KiB
Current children cumulated memory: 1017188 KiB

[startup+8.00017 s]*
/proc/loadavg: 4.12 4.10 4.09 5/271 23036
/proc/meminfo: memFree=127692988/131249992 swapFree=33010684/33010684
[pid=23031] ppid=23028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23031/stat : 23031 (scip-naps-1.00.) S 23028 23031 19810 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 30700940 4292608 736 18446744073709551615 94241788178432 94241789072965 140722661585216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94241789312016 94241789359760 94241799892992 140722661587361 140722661587458 140722661587458 140722661593060 0
/proc/23031/statm: 1048 736 672 219 0 110 0
[pid=23036] ppid=23031 vsize=2470288 memory=1258572 CPUtime=7.94 cores=0,2
/proc/23036/stat : 23036 (python3) R 23031 23031 19810 0 -1 4194304 244204 0 0 0 746 48 0 0 20 0 1 0 30700943 2529574912 314643 18446744073709551615 93858064535552 93858064535929 140736343295568 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93858064547224 93858064547844 93858067570688 140736343304536 140736343304738 140736343304738 140736343310311 0
/proc/23036/statm: 617572 314643 8057 1 0 588930 0
Current children cumulated CPU time: 7.94 s
Current children cumulated vsize: 2474480 KiB
Current children cumulated memory: 1261516 KiB

[startup+8.8001 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 23036
/proc/meminfo: memFree=127692988/131249992 swapFree=33010684/33010684
[pid=23031] ppid=23028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23031/stat : 23031 (scip-naps-1.00.) S 23028 23031 19810 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 30700940 4292608 736 18446744073709551615 94241788178432 94241789072965 140722661585216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94241789312016 94241789359760 94241799892992 140722661587361 140722661587458 140722661587458 140722661593060 0
/proc/23031/statm: 1048 736 672 219 0 110 0
[pid=23036] ppid=23031 vsize=2471056 memory=1259852 CPUtime=8.73 cores=0,2
/proc/23036/stat : 23036 (python3) R 23031 23031 19810 0 -1 4194304 244454 0 0 0 825 48 0 0 20 0 1 0 30700943 2530361344 314963 18446744073709551615 93858064535552 93858064535929 140736343295568 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93858064547224 93858064547844 93858067570688 140736343304536 140736343304738 140736343304738 140736343310311 0
/proc/23036/statm: 617764 314963 8121 1 0 589122 0
Current children cumulated CPU time: 8.73 s
Current children cumulated vsize: 2475248 KiB
Current children cumulated memory: 1262796 KiB

[startup+9.60019 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 23036
/proc/meminfo: memFree=127693004/131249992 swapFree=33010684/33010684
[pid=23031] ppid=23028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23031/stat : 23031 (scip-naps-1.00.) S 23028 23031 19810 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 30700940 4292608 736 18446744073709551615 94241788178432 94241789072965 140722661585216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94241789312016 94241789359760 94241799892992 140722661587361 140722661587458 140722661587458 140722661593060 0
/proc/23031/statm: 1048 736 672 219 0 110 0
[pid=23036] ppid=23031 vsize=2471312 memory=1260108 CPUtime=9.53 cores=0,2
/proc/23036/stat : 23036 (python3) R 23031 23031 19810 0 -1 4194304 244517 0 0 0 905 48 0 0 20 0 1 0 30700943 2530623488 315027 18446744073709551615 93858064535552 93858064535929 140736343295568 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93858064547224 93858064547844 93858067570688 140736343304536 140736343304738 140736343304738 140736343310311 0
/proc/23036/statm: 617828 315027 8121 1 0 589186 0
Current children cumulated CPU time: 9.53 s
Current children cumulated vsize: 2475504 KiB
Current children cumulated memory: 1263052 KiB

[startup+9.80017 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 23036
/proc/meminfo: memFree=127693004/131249992 swapFree=33010684/33010684
[pid=23031] ppid=23028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23031/stat : 23031 (scip-naps-1.00.) S 23028 23031 19810 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 30700940 4292608 736 18446744073709551615 94241788178432 94241789072965 140722661585216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94241789312016 94241789359760 94241799892992 140722661587361 140722661587458 140722661587458 140722661593060 0
/proc/23031/statm: 1048 736 672 219 0 110 0
[pid=23036] ppid=23031 vsize=2471312 memory=1260108 CPUtime=9.73 cores=0,2
/proc/23036/stat : 23036 (python3) R 23031 23031 19810 0 -1 4194304 244517 0 0 0 925 48 0 0 20 0 1 0 30700943 2530623488 315027 18446744073709551615 93858064535552 93858064535929 140736343295568 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93858064547224 93858064547844 93858067570688 140736343304536 140736343304738 140736343304738 140736343310311 0
/proc/23036/statm: 617828 315027 8121 1 0 589186 0
Current children cumulated CPU time: 9.73 s
Current children cumulated vsize: 2475504 KiB
Current children cumulated memory: 1263052 KiB

[startup+9.90017 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 23036
/proc/meminfo: memFree=127693004/131249992 swapFree=33010684/33010684
[pid=23031] ppid=23028 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23031/stat : 23031 (scip-naps-1.00.) S 23028 23031 19810 0 -1 4194304 256 343 0 0 0 0 0 0 20 0 1 0 30700940 4292608 736 18446744073709551615 94241788178432 94241789072965 140722661585216 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94241789312016 94241789359760 94241799892992 140722661587361 140722661587458 140722661587458 140722661593060 0
/proc/23031/statm: 1048 736 672 219 0 110 0
[pid=23036] ppid=23031 vsize=2419160 memory=1208072 CPUtime=9.83 cores=0,2
/proc/23036/stat : 23036 (python3) R 23031 23031 19810 0 -1 4194304 244518 0 0 0 935 48 0 0 20 0 1 0 30700943 2477219840 302018 18446744073709551615 93858064535552 93858064535929 140736343295568 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 93858064547224 93858064547844 93858067570688 140736343304536 140736343304738 140736343304738 140736343310311 0
/proc/23036/statm: 604790 302018 8121 1 0 576148 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 2423352 KiB
Current children cumulated memory: 1211016 KiB

Child status: 0

Real time (s): 9.99972
CPU time (s): 9.94481
CPU user time (s): 9.4163
CPU system time (s): 0.528512
CPU usage (%): 99.4509
Max. virtual memory (cumulated for all children) (KiB): 2509736
Max. memory (cumulated for all children) (KiB): 1295732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.4163
system time used= 0.528512
maximum resident set size= 1309168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 345
involuntary context switches= 19


# summary of solver processes directly reported to runsolver:
#   pid: 23031
#   total CPU time (s): 9.94481
#   total CPU user time (s): 9.4163
#   total CPU system time (s): 0.528512

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035445 second user time and 0.063338 second system time

The end