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

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


[startup+0.100063 s]*
/proc/loadavg: 4.06 4.10 4.09 5/270 23451
/proc/meminfo: memFree=124644448/131249992 swapFree=33010684/33010684
[pid=23446] ppid=23443 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23446/stat : 23446 (scip-naps-1.00.) S 23443 23446 19810 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30750257 4292608 768 18446744073709551615 94350124716032 94350125610565 140734330582240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94350125849616 94350125897360 94350148890624 140734330587553 140734330587650 140734330587650 140734330593252 0
/proc/23446/statm: 1048 768 704 219 0 110 0
[pid=23451] ppid=23446 vsize=1186916 memory=31792 CPUtime=0.06 cores=1,3
/proc/23451/stat : 23451 (python3) R 23446 23446 19810 0 -1 4194304 3712 0 0 0 5 1 0 0 20 0 1 0 30750259 1215401984 7948 18446744073709551615 94180959625216 94180959625593 140734685261664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94180959636888 94180959637508 94180984782848 140734685264216 140734685264418 140734685264418 140734685269991 0
/proc/23451/statm: 296729 7948 4876 1 0 268751 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191108 KiB
Current children cumulated memory: 34864 KiB

[startup+0.205732 s]*
/proc/loadavg: 4.06 4.10 4.09 5/270 23451
/proc/meminfo: memFree=124617740/131249992 swapFree=33010684/33010684
[pid=23446] ppid=23443 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23446/stat : 23446 (scip-naps-1.00.) S 23443 23446 19810 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30750257 4292608 768 18446744073709551615 94350124716032 94350125610565 140734330582240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94350125849616 94350125897360 94350148890624 140734330587553 140734330587650 140734330587650 140734330593252 0
/proc/23446/statm: 1048 768 704 219 0 110 0
[pid=23451] ppid=23446 vsize=1216456 memory=67760 CPUtime=0.16 cores=1,3
/proc/23451/stat : 23451 (python3) R 23446 23446 19810 0 -1 4194304 10215 0 0 0 14 2 0 0 20 0 1 0 30750259 1245650944 16940 18446744073709551615 94180959625216 94180959625593 140734685261664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94180959636888 94180959637508 94180984782848 140734685264216 140734685264418 140734685264418 140734685269991 0
/proc/23451/statm: 304114 16940 7596 1 0 275472 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1220648 KiB
Current children cumulated memory: 70832 KiB

[startup+0.305711 s]*
/proc/loadavg: 4.06 4.10 4.09 5/270 23451
/proc/meminfo: memFree=124593548/131249992 swapFree=33010684/33010684
[pid=23446] ppid=23443 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23446/stat : 23446 (scip-naps-1.00.) S 23443 23446 19810 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30750257 4292608 768 18446744073709551615 94350124716032 94350125610565 140734330582240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94350125849616 94350125897360 94350148890624 140734330587553 140734330587650 140734330587650 140734330593252 0
/proc/23446/statm: 1048 768 704 219 0 110 0
[pid=23451] ppid=23446 vsize=1244984 memory=95792 CPUtime=0.26 cores=1,3
/proc/23451/stat : 23451 (python3) R 23446 23446 19810 0 -1 4194304 17217 0 0 0 23 3 0 0 20 0 1 0 30750259 1274863616 23948 18446744073709551615 94180959625216 94180959625593 140734685261664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94180959636888 94180959637508 94180984782848 140734685264216 140734685264418 140734685264418 140734685269991 0
/proc/23451/statm: 311246 23948 7596 1 0 282604 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1249176 KiB
Current children cumulated memory: 98864 KiB

[startup+0.700215 s]
/proc/loadavg: 4.06 4.10 4.09 5/270 23451
/proc/meminfo: memFree=124537100/131249992 swapFree=33010684/33010684
[pid=23446] ppid=23443 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23446/stat : 23446 (scip-naps-1.00.) S 23443 23446 19810 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30750257 4292608 768 18446744073709551615 94350124716032 94350125610565 140734330582240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94350125849616 94350125897360 94350148890624 140734330587553 140734330587650 140734330587650 140734330593252 0
/proc/23446/statm: 1048 768 704 219 0 110 0
[pid=23451] ppid=23446 vsize=1346488 memory=196892 CPUtime=0.65 cores=1,3
/proc/23451/stat : 23451 (python3) R 23446 23446 19810 0 -1 4194304 42002 0 0 0 58 7 0 0 20 0 1 0 30750259 1378803712 49223 18446744073709551615 94180959625216 94180959625593 140734685261664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94180959636888 94180959637508 94180984782848 140734685264216 140734685264418 140734685264418 140734685269991 0
/proc/23451/statm: 336622 49223 7596 1 0 307980 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1350680 KiB
Current children cumulated memory: 199964 KiB

[startup+1.5002 s]
/proc/loadavg: 4.06 4.10 4.09 5/270 23451
/proc/meminfo: memFree=124351880/131249992 swapFree=33010684/33010684
[pid=23446] ppid=23443 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23446/stat : 23446 (scip-naps-1.00.) S 23443 23446 19810 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30750257 4292608 768 18446744073709551615 94350124716032 94350125610565 140734330582240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94350125849616 94350125897360 94350148890624 140734330587553 140734330587650 140734330587650 140734330593252 0
/proc/23446/statm: 1048 768 704 219 0 110 0
[pid=23451] ppid=23446 vsize=1661640 memory=513016 CPUtime=1.45 cores=1,3
/proc/23451/stat : 23451 (python3) R 23446 23446 19810 0 -1 4194304 120273 0 0 0 126 19 0 0 20 0 1 0 30750259 1701519360 128254 18446744073709551615 94180959625216 94180959625593 140734685261664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94180959636888 94180959637508 94180984782848 140734685264216 140734685264418 140734685264418 140734685269991 0
/proc/23451/statm: 415410 128254 7852 1 0 386768 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1665832 KiB
Current children cumulated memory: 516088 KiB

[startup+3.10557 s]
/proc/loadavg: 4.06 4.10 4.09 5/270 23451
/proc/meminfo: memFree=124034464/131249992 swapFree=33010684/33010684
[pid=23446] ppid=23443 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23446/stat : 23446 (scip-naps-1.00.) S 23443 23446 19810 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30750257 4292608 768 18446744073709551615 94350124716032 94350125610565 140734330582240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94350125849616 94350125897360 94350148890624 140734330587553 140734330587650 140734330587650 140734330593252 0
/proc/23446/statm: 1048 768 704 219 0 110 0
[pid=23451] ppid=23446 vsize=1806884 memory=658304 CPUtime=3.05 cores=1,3
/proc/23451/stat : 23451 (python3) R 23446 23446 19810 0 -1 4194304 155033 0 0 0 279 26 0 0 20 0 1 0 30750259 1850249216 164576 18446744073709551615 94180959625216 94180959625593 140734685261664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94180959636888 94180959637508 94180984782848 140734685264216 140734685264418 140734685264418 140734685269991 0
/proc/23451/statm: 451721 164576 7916 1 0 423079 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1811076 KiB
Current children cumulated memory: 661376 KiB

[startup+6.30019 s]
/proc/loadavg: 4.05 4.09 4.09 5/270 23451
/proc/meminfo: memFree=123832696/131249992 swapFree=33010684/33010684
[pid=23446] ppid=23443 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23446/stat : 23446 (scip-naps-1.00.) S 23443 23446 19810 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30750257 4292608 768 18446744073709551615 94350124716032 94350125610565 140734330582240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94350125849616 94350125897360 94350148890624 140734330587553 140734330587650 140734330587650 140734330593252 0
/proc/23446/statm: 1048 768 704 219 0 110 0
[pid=23451] ppid=23446 vsize=2163588 memory=965528 CPUtime=6.23 cores=1,3
/proc/23451/stat : 23451 (python3) R 23446 23446 19810 0 -1 4194304 179258 0 0 0 590 33 0 0 20 0 1 0 30750259 2215514112 241382 18446744073709551615 94180959625216 94180959625593 140734685261664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94180959636888 94180959637508 94180984782848 140734685264216 140734685264418 140734685264418 140734685269991 0
/proc/23451/statm: 540897 241382 7948 1 0 512255 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 2167780 KiB
Current children cumulated memory: 968600 KiB

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

# cumulated CPU time of all completed processes:  user=9.10441 s, system=0.52546 s

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

[startup+6.40023 s]
/proc/loadavg: 4.05 4.09 4.09 5/270 23451
/proc/meminfo: memFree=123832696/131249992 swapFree=33010684/33010684
[pid=23446] ppid=23443 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23446/stat : 23446 (scip-naps-1.00.) S 23443 23446 19810 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30750257 4292608 768 18446744073709551615 94350124716032 94350125610565 140734330582240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94350125849616 94350125897360 94350148890624 140734330587553 140734330587650 140734330587650 140734330593252 0
/proc/23446/statm: 1048 768 704 219 0 110 0
[pid=23451] ppid=23446 vsize=2185556 memory=983928 CPUtime=6.34 cores=1,3
/proc/23451/stat : 23451 (python3) R 23446 23446 19810 0 -1 4194304 181827 0 0 0 600 34 0 0 20 0 1 0 30750259 2238009344 245982 18446744073709551615 94180959625216 94180959625593 140734685261664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94180959636888 94180959637508 94180984782848 140734685264216 140734685264418 140734685264418 140734685269991 0
/proc/23451/statm: 546389 245982 7948 1 0 517747 0
Current children cumulated CPU time: 6.34 s
Current children cumulated vsize: 2189748 KiB
Current children cumulated memory: 987000 KiB

[startup+8.00012 s]*
/proc/loadavg: 4.05 4.09 4.09 5/270 23451
/proc/meminfo: memFree=123372188/131249992 swapFree=33010684/33010684
[pid=23446] ppid=23443 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23446/stat : 23446 (scip-naps-1.00.) S 23443 23446 19810 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30750257 4292608 768 18446744073709551615 94350124716032 94350125610565 140734330582240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94350125849616 94350125897360 94350148890624 140734330587553 140734330587650 140734330587650 140734330593252 0
/proc/23446/statm: 1048 768 704 219 0 110 0
[pid=23451] ppid=23446 vsize=2490640 memory=1278620 CPUtime=7.94 cores=1,3
/proc/23451/stat : 23451 (python3) R 23446 23446 19810 0 -1 4194304 247428 0 0 0 747 47 0 0 20 0 1 0 30750259 2550415360 319655 18446744073709551615 94180959625216 94180959625593 140734685261664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94180959636888 94180959637508 94180984782848 140734685264216 140734685264418 140734685264418 140734685269991 0
/proc/23451/statm: 622660 319655 8172 1 0 594018 0
Current children cumulated CPU time: 7.94 s
Current children cumulated vsize: 2494832 KiB
Current children cumulated memory: 1281692 KiB

[startup+8.80011 s]
/proc/loadavg: 4.05 4.09 4.09 5/270 23451
/proc/meminfo: memFree=123372188/131249992 swapFree=33010684/33010684
[pid=23446] ppid=23443 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23446/stat : 23446 (scip-naps-1.00.) S 23443 23446 19810 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30750257 4292608 768 18446744073709551615 94350124716032 94350125610565 140734330582240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94350125849616 94350125897360 94350148890624 140734330587553 140734330587650 140734330587650 140734330593252 0
/proc/23446/statm: 1048 768 704 219 0 110 0
[pid=23451] ppid=23446 vsize=2490640 memory=1278620 CPUtime=8.74 cores=1,3
/proc/23451/stat : 23451 (python3) R 23446 23446 19810 0 -1 4194304 247428 0 0 0 826 48 0 0 20 0 1 0 30750259 2550415360 319655 18446744073709551615 94180959625216 94180959625593 140734685261664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94180959636888 94180959637508 94180984782848 140734685264216 140734685264418 140734685264418 140734685269991 0
/proc/23451/statm: 622660 319655 8172 1 0 594018 0
Current children cumulated CPU time: 8.74 s
Current children cumulated vsize: 2494832 KiB
Current children cumulated memory: 1281692 KiB

[startup+9.2002 s]
/proc/loadavg: 4.05 4.09 4.09 5/270 23451
/proc/meminfo: memFree=123372188/131249992 swapFree=33010684/33010684
[pid=23446] ppid=23443 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23446/stat : 23446 (scip-naps-1.00.) S 23443 23446 19810 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30750257 4292608 768 18446744073709551615 94350124716032 94350125610565 140734330582240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94350125849616 94350125897360 94350148890624 140734330587553 140734330587650 140734330587650 140734330593252 0
/proc/23446/statm: 1048 768 704 219 0 110 0
[pid=23451] ppid=23446 vsize=2490640 memory=1280028 CPUtime=9.14 cores=1,3
/proc/23451/stat : 23451 (python3) R 23446 23446 19810 0 -1 4194304 247779 0 0 0 866 48 0 0 20 0 1 0 30750259 2550415360 320007 18446744073709551615 94180959625216 94180959625593 140734685261664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94180959636888 94180959637508 94180984782848 140734685264216 140734685264418 140734685264418 140734685269991 0
/proc/23451/statm: 622660 320007 8172 1 0 594018 0
Current children cumulated CPU time: 9.14 s
Current children cumulated vsize: 2494832 KiB
Current children cumulated memory: 1283100 KiB

[startup+9.60019 s]
/proc/loadavg: 4.05 4.09 4.09 5/270 23451
/proc/meminfo: memFree=123372188/131249992 swapFree=33010684/33010684
[pid=23446] ppid=23443 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/23446/stat : 23446 (scip-naps-1.00.) S 23443 23446 19810 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 30750257 4292608 768 18446744073709551615 94350124716032 94350125610565 140734330582240 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94350125849616 94350125897360 94350148890624 140734330587553 140734330587650 140734330587650 140734330593252 0
/proc/23446/statm: 1048 768 704 219 0 110 0
[pid=23451] ppid=23446 vsize=2439176 memory=1228680 CPUtime=9.54 cores=1,3
/proc/23451/stat : 23451 (python3) R 23446 23446 19810 0 -1 4194304 247781 0 0 0 906 48 0 0 20 0 1 0 30750259 2497716224 307170 18446744073709551615 94180959625216 94180959625593 140734685261664 0 0 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0 94180959636888 94180959637508 94180984782848 140734685264216 140734685264418 140734685264418 140734685269991 0
/proc/23451/statm: 609794 307170 8172 1 0 581152 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 2443368 KiB
Current children cumulated memory: 1231752 KiB

Child status: 0

Real time (s): 9.6799
CPU time (s): 9.62988
CPU user time (s): 9.10441
CPU system time (s): 0.52546
CPU usage (%): 99.4832
Max. virtual memory (cumulated for all children) (KiB): 2494832
Max. memory (cumulated for all children) (KiB): 1283100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.10441
system time used= 0.52546
maximum resident set size= 1314716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248419
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= 27


# summary of solver processes directly reported to runsolver:
#   pid: 23446
#   total CPU time (s): 9.62988
#   total CPU user time (s): 9.10441
#   total CPU system time (s): 0.52546

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027099 second user time and 0.075874 second system time

The end