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

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

[startup+0.100061 s]*
/proc/loadavg: 4.14 4.11 4.09 5/268 23649
/proc/meminfo: memFree=123726836/131249992 swapFree=33010684/33010684
[pid=23644] ppid=23641 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23644/stat : 23644 (scip-naps-1.00.) S 23641 23644 19810 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 30759642 4292608 736 18446744073709551615 94434932256768 94434933151301 140721669872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434933390352 94434933438096 94434944905216 140721669880225 140721669880322 140721669880322 140721669885924 0
/proc/23644/statm: 1048 736 672 219 0 110 0
[pid=23649] ppid=23644 vsize=1186920 memory=31792 CPUtime=0.06 cores=0,2
/proc/23649/stat : 23649 (python3) R 23644 23644 19810 0 -1 4194304 3712 0 0 0 5 1 0 0 20 0 1 0 30759644 1215406080 7948 18446744073709551615 94564592893952 94564592894329 140724931241344 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94564592905624 94564592906244 94564595499008 140724931246424 140724931246626 140724931246626 140724931252199 0
/proc/23649/statm: 296730 7948 4876 1 0 268752 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34736 KiB

[startup+0.205493 s]*
/proc/loadavg: 4.13 4.11 4.09 5/268 23649
/proc/meminfo: memFree=123620916/131249992 swapFree=33010684/33010684
[pid=23644] ppid=23641 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23644/stat : 23644 (scip-naps-1.00.) S 23641 23644 19810 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 30759642 4292608 736 18446744073709551615 94434932256768 94434933151301 140721669872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434933390352 94434933438096 94434944905216 140721669880225 140721669880322 140721669880322 140721669885924 0
/proc/23644/statm: 1048 736 672 219 0 110 0
[pid=23649] ppid=23644 vsize=1216164 memory=67504 CPUtime=0.16 cores=0,2
/proc/23649/stat : 23649 (python3) R 23644 23644 19810 0 -1 4194304 10151 0 0 0 14 2 0 0 20 0 1 0 30759644 1245351936 16876 18446744073709551615 94564592893952 94564592894329 140724931241344 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94564592905624 94564592906244 94564595499008 140724931246424 140724931246626 140724931246626 140724931252199 0
/proc/23649/statm: 304041 16876 7628 1 0 275399 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1220356 KiB
Current children cumulated memory: 70448 KiB

[startup+0.305466 s]*
/proc/loadavg: 4.13 4.11 4.09 5/268 23649
/proc/meminfo: memFree=123511088/131249992 swapFree=33010684/33010684
[pid=23644] ppid=23641 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23644/stat : 23644 (scip-naps-1.00.) S 23641 23644 19810 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 30759642 4292608 736 18446744073709551615 94434932256768 94434933151301 140721669872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434933390352 94434933438096 94434944905216 140721669880225 140721669880322 140721669880322 140721669885924 0
/proc/23644/statm: 1048 736 672 219 0 110 0
[pid=23649] ppid=23644 vsize=1244988 memory=95792 CPUtime=0.27 cores=0,2
/proc/23649/stat : 23649 (python3) R 23644 23644 19810 0 -1 4194304 17216 0 0 0 23 4 0 0 20 0 1 0 30759644 1274867712 23948 18446744073709551615 94564592893952 94564592894329 140724931241344 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94564592905624 94564592906244 94564595499008 140724931246424 140724931246626 140724931246626 140724931252199 0
/proc/23649/statm: 311247 23948 7628 1 0 282605 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1249180 KiB
Current children cumulated memory: 98736 KiB

[startup+0.700198 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 23649
/proc/meminfo: memFree=123242028/131249992 swapFree=33010684/33010684
[pid=23644] ppid=23641 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23644/stat : 23644 (scip-naps-1.00.) S 23641 23644 19810 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 30759642 4292608 736 18446744073709551615 94434932256768 94434933151301 140721669872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434933390352 94434933438096 94434944905216 140721669880225 140721669880322 140721669880322 140721669885924 0
/proc/23644/statm: 1048 736 672 219 0 110 0
[pid=23649] ppid=23644 vsize=1347900 memory=198552 CPUtime=0.65 cores=0,2
/proc/23649/stat : 23649 (python3) R 23644 23644 19810 0 -1 4194304 42396 0 0 0 57 8 0 0 20 0 1 0 30759644 1380249600 49638 18446744073709551615 94564592893952 94564592894329 140724931241344 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94564592905624 94564592906244 94564595499008 140724931246424 140724931246626 140724931246626 140724931252199 0
/proc/23649/statm: 336975 49638 7628 1 0 308333 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1352092 KiB
Current children cumulated memory: 201496 KiB

[startup+1.50021 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 23649
/proc/meminfo: memFree=122819940/131249992 swapFree=33010684/33010684
[pid=23644] ppid=23641 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23644/stat : 23644 (scip-naps-1.00.) S 23641 23644 19810 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 30759642 4292608 736 18446744073709551615 94434932256768 94434933151301 140721669872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434933390352 94434933438096 94434944905216 140721669880225 140721669880322 140721669880322 140721669885924 0
/proc/23644/statm: 1048 736 672 219 0 110 0
[pid=23649] ppid=23644 vsize=1662172 memory=513140 CPUtime=1.45 cores=0,2
/proc/23649/stat : 23649 (python3) R 23644 23644 19810 0 -1 4194304 120323 0 0 0 127 18 0 0 20 0 1 0 30759644 1702064128 128285 18446744073709551615 94564592893952 94564592894329 140724931241344 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94564592905624 94564592906244 94564595499008 140724931246424 140724931246626 140724931246626 140724931252199 0
/proc/23649/statm: 415543 128285 7852 1 0 386901 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1666364 KiB
Current children cumulated memory: 516084 KiB

[startup+3.10545 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 23649
/proc/meminfo: memFree=122219176/131249992 swapFree=33010684/33010684
[pid=23644] ppid=23641 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23644/stat : 23644 (scip-naps-1.00.) S 23641 23644 19810 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 30759642 4292608 736 18446744073709551615 94434932256768 94434933151301 140721669872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434933390352 94434933438096 94434944905216 140721669880225 140721669880322 140721669880322 140721669885924 0
/proc/23644/statm: 1048 736 672 219 0 110 0
[pid=23649] ppid=23644 vsize=1808196 memory=659044 CPUtime=3.05 cores=0,2
/proc/23649/stat : 23649 (python3) R 23644 23644 19810 0 -1 4194304 155234 0 0 0 281 24 0 0 20 0 1 0 30759644 1851592704 164761 18446744073709551615 94564592893952 94564592894329 140724931241344 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94564592905624 94564592906244 94564595499008 140724931246424 140724931246626 140724931246626 140724931252199 0
/proc/23649/statm: 452049 164761 7916 1 0 423407 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1812388 KiB
Current children cumulated memory: 661988 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 23649
/proc/meminfo: memFree=122232032/131249992 swapFree=33010684/33010684
[pid=23644] ppid=23641 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23644/stat : 23644 (scip-naps-1.00.) S 23641 23644 19810 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 30759642 4292608 736 18446744073709551615 94434932256768 94434933151301 140721669872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434933390352 94434933438096 94434944905216 140721669880225 140721669880322 140721669880322 140721669885924 0
/proc/23644/statm: 1048 736 672 219 0 110 0
[pid=23649] ppid=23644 vsize=2184640 memory=982956 CPUtime=6.23 cores=0,2
/proc/23649/stat : 23649 (python3) R 23644 23644 19810 0 -1 4194304 183629 0 0 0 589 34 0 0 20 0 1 0 30759644 2237071360 245739 18446744073709551615 94564592893952 94564592894329 140724931241344 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94564592905624 94564592906244 94564595499008 140724931246424 140724931246626 140724931246626 140724931252199 0
/proc/23649/statm: 546160 245739 7948 1 0 517518 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 2188832 KiB
Current children cumulated memory: 985900 KiB

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

# cumulated CPU time of all completed processes:  user=9.04016 s, system=0.514666 s

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

[startup+6.40024 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 23649
/proc/meminfo: memFree=122232032/131249992 swapFree=33010684/33010684
[pid=23644] ppid=23641 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23644/stat : 23644 (scip-naps-1.00.) S 23641 23644 19810 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 30759642 4292608 736 18446744073709551615 94434932256768 94434933151301 140721669872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434933390352 94434933438096 94434944905216 140721669880225 140721669880322 140721669880322 140721669885924 0
/proc/23644/statm: 1048 736 672 219 0 110 0
[pid=23649] ppid=23644 vsize=2224536 memory=1018412 CPUtime=6.33 cores=0,2
/proc/23649/stat : 23649 (python3) R 23644 23644 19810 0 -1 4194304 188890 0 0 0 598 35 0 0 20 0 1 0 30759644 2277924864 254603 18446744073709551615 94564592893952 94564592894329 140724931241344 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94564592905624 94564592906244 94564595499008 140724931246424 140724931246626 140724931246626 140724931252199 0
/proc/23649/statm: 556134 254603 7980 1 0 527492 0
Current children cumulated CPU time: 6.33 s
Current children cumulated vsize: 2228728 KiB
Current children cumulated memory: 1021356 KiB

[startup+8.00011 s]*
/proc/loadavg: 4.12 4.11 4.09 5/268 23649
/proc/meminfo: memFree=121808076/131249992 swapFree=33010684/33010684
[pid=23644] ppid=23641 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23644/stat : 23644 (scip-naps-1.00.) S 23641 23644 19810 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 30759642 4292608 736 18446744073709551615 94434932256768 94434933151301 140721669872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434933390352 94434933438096 94434944905216 140721669880225 140721669880322 140721669880322 140721669885924 0
/proc/23644/statm: 1048 736 672 219 0 110 0
[pid=23649] ppid=23644 vsize=2490724 memory=1275560 CPUtime=7.94 cores=0,2
/proc/23649/stat : 23649 (python3) R 23644 23644 19810 0 -1 4194304 246896 0 0 0 748 46 0 0 20 0 1 0 30759644 2550501376 318890 18446744073709551615 94564592893952 94564592894329 140724931241344 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94564592905624 94564592906244 94564595499008 140724931246424 140724931246626 140724931246626 140724931252199 0
/proc/23649/statm: 622681 318890 8172 1 0 594039 0
Current children cumulated CPU time: 7.94 s
Current children cumulated vsize: 2494916 KiB
Current children cumulated memory: 1278504 KiB

[startup+8.80012 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 23649
/proc/meminfo: memFree=121808076/131249992 swapFree=33010684/33010684
[pid=23644] ppid=23641 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23644/stat : 23644 (scip-naps-1.00.) S 23641 23644 19810 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 30759642 4292608 736 18446744073709551615 94434932256768 94434933151301 140721669872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434933390352 94434933438096 94434944905216 140721669880225 140721669880322 140721669880322 140721669885924 0
/proc/23644/statm: 1048 736 672 219 0 110 0
[pid=23649] ppid=23644 vsize=2490724 memory=1275560 CPUtime=8.73 cores=0,2
/proc/23649/stat : 23649 (python3) R 23644 23644 19810 0 -1 4194304 246896 0 0 0 827 46 0 0 20 0 1 0 30759644 2550501376 318890 18446744073709551615 94564592893952 94564592894329 140724931241344 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94564592905624 94564592906244 94564595499008 140724931246424 140724931246626 140724931246626 140724931252199 0
/proc/23649/statm: 622681 318890 8172 1 0 594039 0
Current children cumulated CPU time: 8.73 s
Current children cumulated vsize: 2494916 KiB
Current children cumulated memory: 1278504 KiB

[startup+9.2002 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 23649
/proc/meminfo: memFree=121810020/131249992 swapFree=33010684/33010684
[pid=23644] ppid=23641 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23644/stat : 23644 (scip-naps-1.00.) S 23641 23644 19810 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 30759642 4292608 736 18446744073709551615 94434932256768 94434933151301 140721669872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434933390352 94434933438096 94434944905216 140721669880225 140721669880322 140721669880322 140721669885924 0
/proc/23644/statm: 1048 736 672 219 0 110 0
[pid=23649] ppid=23644 vsize=2490980 memory=1276968 CPUtime=9.13 cores=0,2
/proc/23649/stat : 23649 (python3) R 23644 23644 19810 0 -1 4194304 247247 0 0 0 867 46 0 0 20 0 1 0 30759644 2550763520 319242 18446744073709551615 94564592893952 94564592894329 140724931241344 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94564592905624 94564592906244 94564595499008 140724931246424 140724931246626 140724931246626 140724931252199 0
/proc/23649/statm: 622745 319242 8172 1 0 594103 0
Current children cumulated CPU time: 9.13 s
Current children cumulated vsize: 2495172 KiB
Current children cumulated memory: 1279912 KiB

[startup+9.60019 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 23649
/proc/meminfo: memFree=121810020/131249992 swapFree=33010684/33010684
[pid=23644] ppid=23641 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23644/stat : 23644 (scip-naps-1.00.) S 23641 23644 19810 0 -1 4194304 256 337 0 0 0 0 0 0 20 0 1 0 30759642 4292608 736 18446744073709551615 94434932256768 94434933151301 140721669872928 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94434933390352 94434933438096 94434944905216 140721669880225 140721669880322 140721669880322 140721669885924 0
/proc/23644/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 9.60893
CPU time (s): 9.55483
CPU user time (s): 9.04016
CPU system time (s): 0.514666
CPU usage (%): 99.437
Max. virtual memory (cumulated for all children) (KiB): 2495172
Max. memory (cumulated for all children) (KiB): 1279912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.04017
system time used= 0.514666
maximum resident set size= 1323800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247885
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= 21


# summary of solver processes directly reported to runsolver:
#   pid: 23644
#   total CPU time (s): 9.55483
#   total CPU user time (s): 9.04016
#   total CPU system time (s): 0.514666

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.0245 second user time and 0.074576 second system time

The end