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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494033-1751150234/watcher-4494033-1751150234 -o /tmp/evaluation-result-4494033-1751150234/solver-4494033-1751150234 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19820 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4494033-1751150234.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=23080, runsolver pid=23077

[startup+0.10006 s]*
/proc/loadavg: 4.11 4.10 4.09 5/271 23085
/proc/meminfo: memFree=128559960/131249992 swapFree=33010684/33010684
[pid=23080] ppid=23077 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23080/stat : 23080 (scip-naps-1.00.) S 23077 23080 19810 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 30702153 4292608 768 18446744073709551615 93837485953024 93837486847557 140732830172960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93837487086608 93837487134352 93837492436992 140732830177697 140732830177794 140732830177794 140732830183396 0
/proc/23080/statm: 1048 768 704 219 0 110 0
[pid=23085] ppid=23080 vsize=1184756 memory=28932 CPUtime=0.04 cores=0,2
/proc/23085/stat : 23085 (python3) R 23080 23080 19810 0 -1 4194304 3217 0 0 0 3 1 0 0 20 0 1 0 30702156 1213190144 7201 18446744073709551615 94895463243776 94895463244153 140735844265664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94895463255448 94895463256068 94895464235008 140735844272472 140735844272674 140735844272674 140735844278247 0
/proc/23085/statm: 296189 7201 4641 1 0 268257 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 1188948 KiB
Current children cumulated memory: 32004 KiB

[startup+0.205457 s]*
/proc/loadavg: 4.11 4.10 4.09 5/271 23085
/proc/meminfo: memFree=128541060/131249992 swapFree=33010684/33010684
[pid=23080] ppid=23077 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23080/stat : 23080 (scip-naps-1.00.) S 23077 23080 19810 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 30702153 4292608 768 18446744073709551615 93837485953024 93837486847557 140732830172960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93837487086608 93837487134352 93837492436992 140732830177697 140732830177794 140732830177794 140732830183396 0
/proc/23080/statm: 1048 768 704 219 0 110 0
[pid=23085] ppid=23080 vsize=1212784 memory=64132 CPUtime=0.15 cores=0,2
/proc/23085/stat : 23085 (python3) R 23080 23080 19810 0 -1 4194304 9370 0 0 0 12 3 0 0 20 0 1 0 30702156 1241890816 16033 18446744073709551615 94895463243776 94895463244153 140735844265664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94895463255448 94895463256068 94895464235008 140735844272472 140735844272674 140735844272674 140735844278247 0
/proc/23085/statm: 303196 16033 7553 1 0 274554 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1216976 KiB
Current children cumulated memory: 67204 KiB

[startup+0.305556 s]*
/proc/loadavg: 4.11 4.10 4.09 5/271 23085
/proc/meminfo: memFree=128548836/131249992 swapFree=33010684/33010684
[pid=23080] ppid=23077 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23080/stat : 23080 (scip-naps-1.00.) S 23077 23080 19810 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 30702153 4292608 768 18446744073709551615 93837485953024 93837486847557 140732830172960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93837487086608 93837487134352 93837492436992 140732830177697 140732830177794 140732830177794 140732830183396 0
/proc/23080/statm: 1048 768 704 219 0 110 0
[pid=23085] ppid=23080 vsize=1243964 memory=94468 CPUtime=0.25 cores=0,2
/proc/23085/stat : 23085 (python3) R 23080 23080 19810 0 -1 4194304 16957 0 0 0 21 4 0 0 20 0 1 0 30702156 1273819136 23617 18446744073709551615 94895463243776 94895463244153 140735844265664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94895463255448 94895463256068 94895464235008 140735844272472 140735844272674 140735844272674 140735844278247 0
/proc/23085/statm: 310991 23617 7553 1 0 282349 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1248156 KiB
Current children cumulated memory: 97540 KiB

[startup+0.700197 s]
/proc/loadavg: 4.11 4.10 4.09 5/271 23085
/proc/meminfo: memFree=128548836/131249992 swapFree=33010684/33010684
[pid=23080] ppid=23077 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23080/stat : 23080 (scip-naps-1.00.) S 23077 23080 19810 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 30702153 4292608 768 18446744073709551615 93837485953024 93837486847557 140732830172960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93837487086608 93837487134352 93837492436992 140732830177697 140732830177794 140732830177794 140732830183396 0
/proc/23080/statm: 1048 768 704 219 0 110 0
[pid=23085] ppid=23080 vsize=1351356 memory=201736 CPUtime=0.64 cores=0,2
/proc/23085/stat : 23085 (python3) R 23080 23080 19810 0 -1 4194304 43245 0 0 0 56 8 0 0 20 0 1 0 30702156 1383788544 50434 18446744073709551615 94895463243776 94895463244153 140735844265664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94895463255448 94895463256068 94895464235008 140735844272472 140735844272674 140735844272674 140735844278247 0
/proc/23085/statm: 337839 50434 7553 1 0 309197 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1355548 KiB
Current children cumulated memory: 204808 KiB

[startup+1.50022 s]
/proc/loadavg: 4.11 4.10 4.09 5/271 23085
/proc/meminfo: memFree=128364156/131249992 swapFree=33010684/33010684
[pid=23080] ppid=23077 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23080/stat : 23080 (scip-naps-1.00.) S 23077 23080 19810 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 30702153 4292608 768 18446744073709551615 93837485953024 93837486847557 140732830172960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93837487086608 93837487134352 93837492436992 140732830177697 140732830177794 140732830177794 140732830183396 0
/proc/23080/statm: 1048 768 704 219 0 110 0
[pid=23085] ppid=23080 vsize=1659820 memory=511000 CPUtime=1.43 cores=0,2
/proc/23085/stat : 23085 (python3) R 23080 23080 19810 0 -1 4194304 119288 0 0 0 123 20 0 0 20 0 1 0 30702156 1699655680 127750 18446744073709551615 94895463243776 94895463244153 140735844265664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94895463255448 94895463256068 94895464235008 140735844272472 140735844272674 140735844272674 140735844278247 0
/proc/23085/statm: 414955 127750 7809 1 0 386313 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 1664012 KiB
Current children cumulated memory: 514072 KiB

[startup+3.10538 s]
/proc/loadavg: 4.11 4.10 4.09 5/271 23085
/proc/meminfo: memFree=128067812/131249992 swapFree=33010684/33010684
[pid=23080] ppid=23077 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23080/stat : 23080 (scip-naps-1.00.) S 23077 23080 19810 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 30702153 4292608 768 18446744073709551615 93837485953024 93837486847557 140732830172960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93837487086608 93837487134352 93837492436992 140732830177697 140732830177794 140732830177794 140732830183396 0
/proc/23080/statm: 1048 768 704 219 0 110 0
[pid=23085] ppid=23080 vsize=1809872 memory=661096 CPUtime=3.04 cores=0,2
/proc/23085/stat : 23085 (python3) R 23080 23080 19810 0 -1 4194304 155775 0 0 0 278 26 0 0 20 0 1 0 30702156 1853308928 165274 18446744073709551615 94895463243776 94895463244153 140735844265664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94895463255448 94895463256068 94895464235008 140735844272472 140735844272674 140735844272674 140735844278247 0
/proc/23085/statm: 452468 165274 7873 1 0 423826 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1814064 KiB
Current children cumulated memory: 664168 KiB

[startup+6.30019 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23087
/proc/meminfo: memFree=127981396/131249992 swapFree=33010684/33010684
[pid=23080] ppid=23077 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23080/stat : 23080 (scip-naps-1.00.) S 23077 23080 19810 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 30702153 4292608 768 18446744073709551615 93837485953024 93837486847557 140732830172960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93837487086608 93837487134352 93837492436992 140732830177697 140732830177794 140732830177794 140732830183396 0
/proc/23080/statm: 1048 768 704 219 0 110 0
[pid=23085] ppid=23080 vsize=2212840 memory=998800 CPUtime=6.22 cores=0,2
/proc/23085/stat : 23085 (python3) R 23080 23080 19810 0 -1 4194304 188767 0 0 0 587 35 0 0 20 0 1 0 30702156 2265948160 249700 18446744073709551615 94895463243776 94895463244153 140735844265664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94895463255448 94895463256068 94895464235008 140735844272472 140735844272674 140735844272674 140735844278247 0
/proc/23085/statm: 553210 249700 7937 1 0 524568 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 2217032 KiB
Current children cumulated memory: 1001872 KiB

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

# cumulated CPU time of all completed processes:  user=8.85556 s, system=0.524439 s

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

[startup+6.40022 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23087
/proc/meminfo: memFree=127981396/131249992 swapFree=33010684/33010684
[pid=23080] ppid=23077 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23080/stat : 23080 (scip-naps-1.00.) S 23077 23080 19810 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 30702153 4292608 768 18446744073709551615 93837485953024 93837486847557 140732830172960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93837487086608 93837487134352 93837492436992 140732830177697 140732830177794 140732830177794 140732830183396 0
/proc/23080/statm: 1048 768 704 219 0 110 0
[pid=23085] ppid=23080 vsize=2216252 memory=1006224 CPUtime=6.32 cores=0,2
/proc/23085/stat : 23085 (python3) R 23080 23080 19810 0 -1 4194304 190615 0 0 0 597 35 0 0 20 0 1 0 30702156 2269442048 251556 18446744073709551615 94895463243776 94895463244153 140735844265664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94895463255448 94895463256068 94895464235008 140735844272472 140735844272674 140735844272674 140735844278247 0
/proc/23085/statm: 554063 251556 7937 1 0 525421 0
Current children cumulated CPU time: 6.32 s
Current children cumulated vsize: 2220444 KiB
Current children cumulated memory: 1009296 KiB

[startup+8.00013 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 23087
/proc/meminfo: memFree=127679184/131249992 swapFree=33010684/33010684
[pid=23080] ppid=23077 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23080/stat : 23080 (scip-naps-1.00.) S 23077 23080 19810 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 30702153 4292608 768 18446744073709551615 93837485953024 93837486847557 140732830172960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93837487086608 93837487134352 93837492436992 140732830177697 140732830177794 140732830177794 140732830183396 0
/proc/23080/statm: 1048 768 704 219 0 110 0
[pid=23085] ppid=23080 vsize=2493192 memory=1280320 CPUtime=7.92 cores=0,2
/proc/23085/stat : 23085 (python3) R 23080 23080 19810 0 -1 4194304 244359 0 0 0 745 47 0 0 20 0 1 0 30702156 2553028608 320080 18446744073709551615 94895463243776 94895463244153 140735844265664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94895463255448 94895463256068 94895464235008 140735844272472 140735844272674 140735844272674 140735844278247 0
/proc/23085/statm: 623298 320080 8129 1 0 594656 0
Current children cumulated CPU time: 7.92 s
Current children cumulated vsize: 2497384 KiB
Current children cumulated memory: 1283392 KiB

[startup+8.80016 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23087
/proc/meminfo: memFree=127679184/131249992 swapFree=33010684/33010684
[pid=23080] ppid=23077 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23080/stat : 23080 (scip-naps-1.00.) S 23077 23080 19810 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 30702153 4292608 768 18446744073709551615 93837485953024 93837486847557 140732830172960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93837487086608 93837487134352 93837492436992 140732830177697 140732830177794 140732830177794 140732830183396 0
/proc/23080/statm: 1048 768 704 219 0 110 0
[pid=23085] ppid=23080 vsize=2493192 memory=1280320 CPUtime=8.72 cores=0,2
/proc/23085/stat : 23085 (python3) R 23080 23080 19810 0 -1 4194304 244359 0 0 0 824 48 0 0 20 0 1 0 30702156 2553028608 320080 18446744073709551615 94895463243776 94895463244153 140735844265664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94895463255448 94895463256068 94895464235008 140735844272472 140735844272674 140735844272674 140735844278247 0
/proc/23085/statm: 623298 320080 8129 1 0 594656 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 2497384 KiB
Current children cumulated memory: 1283392 KiB

[startup+9.20019 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23087
/proc/meminfo: memFree=127675152/131249992 swapFree=33010684/33010684
[pid=23080] ppid=23077 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23080/stat : 23080 (scip-naps-1.00.) S 23077 23080 19810 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 30702153 4292608 768 18446744073709551615 93837485953024 93837486847557 140732830172960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93837487086608 93837487134352 93837492436992 140732830177697 140732830177794 140732830177794 140732830183396 0
/proc/23080/statm: 1048 768 704 219 0 110 0
[pid=23085] ppid=23080 vsize=2493448 memory=1280832 CPUtime=9.12 cores=0,2
/proc/23085/stat : 23085 (python3) R 23080 23080 19810 0 -1 4194304 244462 0 0 0 864 48 0 0 20 0 1 0 30702156 2553290752 320208 18446744073709551615 94895463243776 94895463244153 140735844265664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94895463255448 94895463256068 94895464235008 140735844272472 140735844272674 140735844272674 140735844278247 0
/proc/23085/statm: 623362 320208 8129 1 0 594720 0
Current children cumulated CPU time: 9.12 s
Current children cumulated vsize: 2497640 KiB
Current children cumulated memory: 1283904 KiB

[startup+9.40018 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23087
/proc/meminfo: memFree=127675152/131249992 swapFree=33010684/33010684
[pid=23080] ppid=23077 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23080/stat : 23080 (scip-naps-1.00.) S 23077 23080 19810 0 -1 4194304 257 336 0 0 0 0 0 0 20 0 1 0 30702153 4292608 768 18446744073709551615 93837485953024 93837486847557 140732830172960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93837487086608 93837487134352 93837492436992 140732830177697 140732830177794 140732830177794 140732830183396 0
/proc/23080/statm: 1048 768 704 219 0 110 0
[pid=23085] ppid=23080 vsize=2424276 memory=1209592 CPUtime=9.32 cores=0,2
/proc/23085/stat : 23085 (python3) R 23080 23080 19810 0 -1 4194304 244463 0 0 0 884 48 0 0 20 0 1 0 30702156 2482458624 302398 18446744073709551615 94895463243776 94895463244153 140735844265664 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94895463255448 94895463256068 94895464235008 140735844272472 140735844272674 140735844272674 140735844278247 0
/proc/23085/statm: 606069 302398 8129 1 0 577427 0
Current children cumulated CPU time: 9.32 s
Current children cumulated vsize: 2428468 KiB
Current children cumulated memory: 1212664 KiB

Child status: 0

Real time (s): 9.44912
CPU time (s): 9.38
CPU user time (s): 8.85556
CPU system time (s): 0.524439
CPU usage (%): 99.2685
Max. virtual memory (cumulated for all children) (KiB): 2497640
Max. memory (cumulated for all children) (KiB): 1283904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.85556
system time used= 0.524439
maximum resident set size= 1327076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245098
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= 334
involuntary context switches= 22


# summary of solver processes directly reported to runsolver:
#   pid: 23080
#   total CPU time (s): 9.38
#   total CPU user time (s): 8.85556
#   total CPU system time (s): 0.524439

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034799 second user time and 0.064348 second system time

The end