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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494321-1751150727/watcher-4494321-1751150727 -o /tmp/evaluation-result-4494321-1751150727/solver-4494321-1751150727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751145166-19822 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4494321-1751150727.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
Current StackSize limit: 8192 KiB

solver pid=23495, runsolver pid=23492

[startup+0.100063 s]*
/proc/loadavg: 4.05 4.09 4.09 5/270 23500
/proc/meminfo: memFree=123935400/131249992 swapFree=33010684/33010684
[pid=23495] ppid=23492 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23495/stat : 23495 (scip-naps-1.00.) S 23492 23495 19810 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 30751460 4292608 768 18446744073709551615 93944675946496 93944676841029 140727953807136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93944677080080 93944677127824 93944681504768 140727953815969 140727953816066 140727953816066 140727953821668 0
/proc/23495/statm: 1048 768 704 219 0 110 0
[pid=23500] ppid=23495 vsize=1187344 memory=32276 CPUtime=0.06 cores=1,3
/proc/23500/stat : 23500 (python3) R 23495 23495 19810 0 -1 4194304 3804 0 0 0 6 0 0 0 20 0 1 0 30751462 1215840256 8069 18446744073709551615 94761398538240 94761398538617 140727964709888 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94761398549912 94761398550532 94761404018688 140727964711256 140727964711458 140727964711458 140727964717031 0
/proc/23500/statm: 296836 8069 4901 1 0 268858 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191536 KiB
Current children cumulated memory: 35348 KiB

[startup+0.205754 s]*
/proc/loadavg: 4.05 4.09 4.09 5/270 23500
/proc/meminfo: memFree=123943064/131249992 swapFree=33010684/33010684
[pid=23495] ppid=23492 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23495/stat : 23495 (scip-naps-1.00.) S 23492 23495 19810 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 30751460 4292608 768 18446744073709551615 93944675946496 93944676841029 140727953807136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93944677080080 93944677127824 93944681504768 140727953815969 140727953816066 140727953816066 140727953821668 0
/proc/23495/statm: 1048 768 704 219 0 110 0
[pid=23500] ppid=23495 vsize=1218376 memory=69652 CPUtime=0.17 cores=1,3
/proc/23500/stat : 23500 (python3) R 23495 23495 19810 0 -1 4194304 10702 0 0 0 15 2 0 0 20 0 1 0 30751462 1247617024 17413 18446744073709551615 94761398538240 94761398538617 140727964709888 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94761398549912 94761398550532 94761404018688 140727964711256 140727964711458 140727964711458 140727964717031 0
/proc/23500/statm: 304594 17413 7589 1 0 275952 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1222568 KiB
Current children cumulated memory: 72724 KiB

[startup+0.30575 s]*
/proc/loadavg: 4.05 4.09 4.09 5/270 23500
/proc/meminfo: memFree=123941284/131249992 swapFree=33010684/33010684
[pid=23495] ppid=23492 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23495/stat : 23495 (scip-naps-1.00.) S 23492 23495 19810 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 30751460 4292608 768 18446744073709551615 93944675946496 93944676841029 140727953807136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93944677080080 93944677127824 93944681504768 140727953815969 140727953816066 140727953816066 140727953821668 0
/proc/23495/statm: 1048 768 704 219 0 110 0
[pid=23500] ppid=23495 vsize=1247224 memory=98068 CPUtime=0.27 cores=1,3
/proc/23500/stat : 23500 (python3) R 23495 23495 19810 0 -1 4194304 17787 0 0 0 24 3 0 0 20 0 1 0 30751462 1277157376 24517 18446744073709551615 94761398538240 94761398538617 140727964709888 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94761398549912 94761398550532 94761404018688 140727964711256 140727964711458 140727964711458 140727964717031 0
/proc/23500/statm: 311806 24517 7589 1 0 283164 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1251416 KiB
Current children cumulated memory: 101140 KiB

[startup+0.700168 s]
/proc/loadavg: 4.05 4.09 4.09 5/270 23500
/proc/meminfo: memFree=123823648/131249992 swapFree=33010684/33010684
[pid=23495] ppid=23492 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23495/stat : 23495 (scip-naps-1.00.) S 23492 23495 19810 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 30751460 4292608 768 18446744073709551615 93944675946496 93944676841029 140727953807136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93944677080080 93944677127824 93944681504768 140727953815969 140727953816066 140727953816066 140727953821668 0
/proc/23495/statm: 1048 768 704 219 0 110 0
[pid=23500] ppid=23495 vsize=1350136 memory=200636 CPUtime=0.66 cores=1,3
/proc/23500/stat : 23500 (python3) R 23495 23495 19810 0 -1 4194304 42933 0 0 0 59 7 0 0 20 0 1 0 30751462 1382539264 50159 18446744073709551615 94761398538240 94761398538617 140727964709888 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94761398549912 94761398550532 94761404018688 140727964711256 140727964711458 140727964711458 140727964717031 0
/proc/23500/statm: 337534 50159 7589 1 0 308892 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1354328 KiB
Current children cumulated memory: 203708 KiB

[startup+1.50017 s]
/proc/loadavg: 4.05 4.09 4.09 5/270 23500
/proc/meminfo: memFree=123555068/131249992 swapFree=33010684/33010684
[pid=23495] ppid=23492 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23495/stat : 23495 (scip-naps-1.00.) S 23492 23495 19810 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 30751460 4292608 768 18446744073709551615 93944675946496 93944676841029 140727953807136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93944677080080 93944677127824 93944681504768 140727953815969 140727953816066 140727953816066 140727953821668 0
/proc/23495/statm: 1048 768 704 219 0 110 0
[pid=23500] ppid=23495 vsize=1660644 memory=511936 CPUtime=1.46 cores=1,3
/proc/23500/stat : 23500 (python3) R 23495 23495 19810 0 -1 4194304 120553 0 0 0 127 19 0 0 20 0 1 0 30751462 1700499456 127984 18446744073709551615 94761398538240 94761398538617 140727964709888 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94761398549912 94761398550532 94761404018688 140727964711256 140727964711458 140727964711458 140727964717031 0
/proc/23500/statm: 415161 127984 7813 1 0 386519 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1664836 KiB
Current children cumulated memory: 515008 KiB

[startup+3.10565 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 23501
/proc/meminfo: memFree=122399100/131249992 swapFree=33010684/33010684
[pid=23495] ppid=23492 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23495/stat : 23495 (scip-naps-1.00.) S 23492 23495 19810 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 30751460 4292608 768 18446744073709551615 93944675946496 93944676841029 140727953807136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93944677080080 93944677127824 93944681504768 140727953815969 140727953816066 140727953816066 140727953821668 0
/proc/23495/statm: 1048 768 704 219 0 110 0
[pid=23500] ppid=23495 vsize=1804492 memory=655892 CPUtime=3.05 cores=1,3
/proc/23500/stat : 23500 (python3) R 23495 23495 19810 0 -1 4194304 155435 0 0 0 280 25 0 0 20 0 1 0 30751462 1847799808 163973 18446744073709551615 94761398538240 94761398538617 140727964709888 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94761398549912 94761398550532 94761404018688 140727964711256 140727964711458 140727964711458 140727964717031 0
/proc/23500/statm: 451123 163973 7909 1 0 422481 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1808684 KiB
Current children cumulated memory: 658964 KiB

[startup+6.30019 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 23501
/proc/meminfo: memFree=122171108/131249992 swapFree=33010684/33010684
[pid=23495] ppid=23492 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23495/stat : 23495 (scip-naps-1.00.) S 23492 23495 19810 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 30751460 4292608 768 18446744073709551615 93944675946496 93944676841029 140727953807136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93944677080080 93944677127824 93944681504768 140727953815969 140727953816066 140727953816066 140727953821668 0
/proc/23495/statm: 1048 768 704 219 0 110 0
[pid=23500] ppid=23495 vsize=2185004 memory=988844 CPUtime=6.24 cores=1,3
/proc/23500/stat : 23500 (python3) R 23495 23495 19810 0 -1 4194304 183110 0 0 0 590 34 0 0 20 0 1 0 30751462 2237444096 247211 18446744073709551615 94761398538240 94761398538617 140727964709888 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94761398549912 94761398550532 94761404018688 140727964711256 140727964711458 140727964711458 140727964717031 0
/proc/23500/statm: 546251 247211 7909 1 0 517609 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2189196 KiB
Current children cumulated memory: 991916 KiB

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

# cumulated CPU time of all completed processes:  user=9.06314 s, system=0.526818 s

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

[startup+6.40022 s]
/proc/loadavg: 4.12 4.11 4.09 5/270 23501
/proc/meminfo: memFree=122171108/131249992 swapFree=33010684/33010684
[pid=23495] ppid=23492 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23495/stat : 23495 (scip-naps-1.00.) S 23492 23495 19810 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 30751460 4292608 768 18446744073709551615 93944675946496 93944676841029 140727953807136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93944677080080 93944677127824 93944681504768 140727953815969 140727953816066 140727953816066 140727953821668 0
/proc/23495/statm: 1048 768 704 219 0 110 0
[pid=23500] ppid=23495 vsize=2224900 memory=1019220 CPUtime=6.35 cores=1,3
/proc/23500/stat : 23500 (python3) R 23495 23495 19810 0 -1 4194304 188113 0 0 0 600 35 0 0 20 0 1 0 30751462 2278297600 254805 18446744073709551615 94761398538240 94761398538617 140727964709888 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94761398549912 94761398550532 94761404018688 140727964711256 140727964711458 140727964711458 140727964717031 0
/proc/23500/statm: 556225 254805 7941 1 0 527583 0
Current children cumulated CPU time: 6.35 s
Current children cumulated vsize: 2229092 KiB
Current children cumulated memory: 1022292 KiB

[startup+8.00011 s]*
/proc/loadavg: 4.11 4.10 4.09 5/270 23501
/proc/meminfo: memFree=121845704/131249992 swapFree=33010684/33010684
[pid=23495] ppid=23492 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23495/stat : 23495 (scip-naps-1.00.) S 23492 23495 19810 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 30751460 4292608 768 18446744073709551615 93944675946496 93944676841029 140727953807136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93944677080080 93944677127824 93944681504768 140727953815969 140727953816066 140727953816066 140727953821668 0
/proc/23495/statm: 1048 768 704 219 0 110 0
[pid=23500] ppid=23495 vsize=2494592 memory=1278620 CPUtime=7.94 cores=1,3
/proc/23500/stat : 23500 (python3) R 23495 23495 19810 0 -1 4194304 247246 0 0 0 747 47 0 0 20 0 1 0 30751462 2554462208 319655 18446744073709551615 94761398538240 94761398538617 140727964709888 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94761398549912 94761398550532 94761404018688 140727964711256 140727964711458 140727964711458 140727964717031 0
/proc/23500/statm: 623648 319655 8165 1 0 595006 0
Current children cumulated CPU time: 7.94 s
Current children cumulated vsize: 2498784 KiB
Current children cumulated memory: 1281692 KiB

[startup+8.8001 s]
/proc/loadavg: 4.11 4.10 4.09 5/270 23501
/proc/meminfo: memFree=121845704/131249992 swapFree=33010684/33010684
[pid=23495] ppid=23492 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23495/stat : 23495 (scip-naps-1.00.) S 23492 23495 19810 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 30751460 4292608 768 18446744073709551615 93944675946496 93944676841029 140727953807136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93944677080080 93944677127824 93944681504768 140727953815969 140727953816066 140727953816066 140727953821668 0
/proc/23495/statm: 1048 768 704 219 0 110 0
[pid=23500] ppid=23495 vsize=2494592 memory=1278620 CPUtime=8.74 cores=1,3
/proc/23500/stat : 23500 (python3) R 23495 23495 19810 0 -1 4194304 247246 0 0 0 826 48 0 0 20 0 1 0 30751462 2554462208 319655 18446744073709551615 94761398538240 94761398538617 140727964709888 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94761398549912 94761398550532 94761404018688 140727964711256 140727964711458 140727964711458 140727964717031 0
/proc/23500/statm: 623648 319655 8165 1 0 595006 0
Current children cumulated CPU time: 8.74 s
Current children cumulated vsize: 2498784 KiB
Current children cumulated memory: 1281692 KiB

[startup+9.2002 s]
/proc/loadavg: 4.11 4.10 4.09 5/270 23501
/proc/meminfo: memFree=121845704/131249992 swapFree=33010684/33010684
[pid=23495] ppid=23492 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23495/stat : 23495 (scip-naps-1.00.) S 23492 23495 19810 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 30751460 4292608 768 18446744073709551615 93944675946496 93944676841029 140727953807136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93944677080080 93944677127824 93944681504768 140727953815969 140727953816066 140727953816066 140727953821668 0
/proc/23495/statm: 1048 768 704 219 0 110 0
[pid=23500] ppid=23495 vsize=2494592 memory=1280028 CPUtime=9.14 cores=1,3
/proc/23500/stat : 23500 (python3) R 23495 23495 19810 0 -1 4194304 247597 0 0 0 866 48 0 0 20 0 1 0 30751462 2554462208 320007 18446744073709551615 94761398538240 94761398538617 140727964709888 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94761398549912 94761398550532 94761404018688 140727964711256 140727964711458 140727964711458 140727964717031 0
/proc/23500/statm: 623648 320007 8165 1 0 595006 0
Current children cumulated CPU time: 9.14 s
Current children cumulated vsize: 2498784 KiB
Current children cumulated memory: 1283100 KiB

[startup+9.60018 s]
/proc/loadavg: 4.11 4.10 4.09 5/270 23501
/proc/meminfo: memFree=121845704/131249992 swapFree=33010684/33010684
[pid=23495] ppid=23492 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23495/stat : 23495 (scip-naps-1.00.) S 23492 23495 19810 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 30751460 4292608 768 18446744073709551615 93944675946496 93944676841029 140727953807136 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93944677080080 93944677127824 93944681504768 140727953815969 140727953816066 140727953816066 140727953821668 0
/proc/23495/statm: 1048 768 704 219 0 110 0
[pid=23500] ppid=23495 vsize=2048000 memory=878524 CPUtime=9.53 cores=1,3
/proc/23500/stat : 23500 (python3) R 23495 23495 19810 0 -1 4194304 247599 0 0 0 905 48 0 0 20 0 1 0 30751462 2097152000 219631 18446744073709551615 94761398538240 94761398538617 140727964709888 0 0 0 0 16781312 0 0 0 0 17 1 0 0 0 0 0 94761398549912 94761398550532 94761404018688 140727964711256 140727964711458 140727964711458 140727964717031 0
/proc/23500/statm: 512000 219631 8165 1 0 483358 0
Current children cumulated CPU time: 9.53 s
Current children cumulated vsize: 2052192 KiB
Current children cumulated memory: 881596 KiB

Child status: 0

Real time (s): 9.63655
CPU time (s): 9.58996
CPU user time (s): 9.06314
CPU system time (s): 0.526818
CPU usage (%): 99.5165
Max. virtual memory (cumulated for all children) (KiB): 2530224
Max. memory (cumulated for all children) (KiB): 1307064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.06315
system time used= 0.526818
maximum resident set size= 1314872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248243
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= 32


# summary of solver processes directly reported to runsolver:
#   pid: 23495
#   total CPU time (s): 9.58996
#   total CPU user time (s): 9.06314
#   total CPU system time (s): 0.526818

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027691 second user time and 0.075188 second system time

The end