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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529670-1752253413/watcher-4529670-1752253413 -o /tmp/evaluation-result-4529670-1752253413/solver-4529670-1752253413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752253388-109748 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529670-1752253413.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=109965, runsolver pid=109962

[startup+0.100062 s]*
/proc/loadavg: 2.83 2.98 3.13 5/267 109970
/proc/meminfo: memFree=115255968/131250000 swapFree=33010672/33010684
[pid=109965] ppid=109962 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109965/stat : 109965 (scip-naps-1.00a) S 109962 109965 109737 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141019958 4292608 736 18446744073709551615 93944062574592 93944063469125 140728428010416 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93944063708176 93944063755920 93944079958016 140728428013979 140728428014078 140728428014078 140728428019682 0
/proc/109965/statm: 1048 736 672 219 0 110 0
[pid=109970] ppid=109965 vsize=1186972 memory=31760 CPUtime=0.06 cores=4,6
/proc/109970/stat : 109970 (python3) R 109965 109965 109737 0 -1 4194304 3702 0 0 0 5 1 0 0 20 0 1 0 141019960 1215459328 7940 18446744073709551615 94568171515904 94568171516281 140728635115888 0 0 0 0 16781312 2 0 0 0 17 6 0 0 0 0 0 94568171527576 94568171528196 94568191508480 140728635124047 140728635124256 140728635124256 140728635129831 0
/proc/109970/statm: 296743 7940 4873 1 0 268765 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191164 KiB
Current children cumulated memory: 34704 KiB

[startup+0.205669 s]*
/proc/loadavg: 2.83 2.98 3.13 5/267 109970
/proc/meminfo: memFree=115151260/131250000 swapFree=33010672/33010684
[pid=109965] ppid=109962 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109965/stat : 109965 (scip-naps-1.00a) S 109962 109965 109737 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141019958 4292608 736 18446744073709551615 93944062574592 93944063469125 140728428010416 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93944063708176 93944063755920 93944079958016 140728428013979 140728428014078 140728428014078 140728428019682 0
/proc/109965/statm: 1048 736 672 219 0 110 0
[pid=109970] ppid=109965 vsize=1211812 memory=63504 CPUtime=0.16 cores=4,6
/proc/109970/stat : 109970 (python3) R 109965 109965 109737 0 -1 4194304 9125 0 0 0 14 2 0 0 20 0 1 0 141019960 1240895488 15876 18446744073709551615 94568171515904 94568171516281 140728635115888 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94568171527576 94568171528196 94568191508480 140728635124047 140728635124256 140728635124256 140728635129831 0
/proc/109970/statm: 302953 15876 7625 1 0 274311 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1216004 KiB
Current children cumulated memory: 66448 KiB

[startup+0.305631 s]*
/proc/loadavg: 2.83 2.98 3.13 5/267 109970
/proc/meminfo: memFree=115062560/131250000 swapFree=33010672/33010684
[pid=109965] ppid=109962 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109965/stat : 109965 (scip-naps-1.00a) S 109962 109965 109737 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141019958 4292608 736 18446744073709551615 93944062574592 93944063469125 140728428010416 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93944063708176 93944063755920 93944079958016 140728428013979 140728428014078 140728428014078 140728428019682 0
/proc/109965/statm: 1048 736 672 219 0 110 0
[pid=109970] ppid=109965 vsize=1238100 memory=88976 CPUtime=0.26 cores=4,6
/proc/109970/stat : 109970 (python3) R 109965 109965 109737 0 -1 4194304 15494 0 0 0 23 3 0 0 20 0 1 0 141019960 1267814400 22244 18446744073709551615 94568171515904 94568171516281 140728635115888 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94568171527576 94568171528196 94568191508480 140728635124047 140728635124256 140728635124256 140728635129831 0
/proc/109970/statm: 309525 22244 7625 1 0 280883 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1242292 KiB
Current children cumulated memory: 91920 KiB

[startup+0.700194 s]
/proc/loadavg: 2.83 2.98 3.13 5/267 109970
/proc/meminfo: memFree=115050400/131250000 swapFree=33010672/33010684
[pid=109965] ppid=109962 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109965/stat : 109965 (scip-naps-1.00a) S 109962 109965 109737 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141019958 4292608 736 18446744073709551615 93944062574592 93944063469125 140728428010416 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93944063708176 93944063755920 93944079958016 140728428013979 140728428014078 140728428014078 140728428019682 0
/proc/109965/statm: 1048 736 672 219 0 110 0
[pid=109970] ppid=109965 vsize=1329212 memory=179960 CPUtime=0.65 cores=4,6
/proc/109970/stat : 109970 (python3) R 109965 109965 109737 0 -1 4194304 37720 0 0 0 59 6 0 0 20 0 1 0 141019960 1361113088 44990 18446744073709551615 94568171515904 94568171516281 140728635115888 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94568171527576 94568171528196 94568191508480 140728635124047 140728635124256 140728635124256 140728635129831 0
/proc/109970/statm: 332303 44990 7625 1 0 303661 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1333404 KiB
Current children cumulated memory: 182904 KiB

[startup+1.50016 s]
/proc/loadavg: 2.83 2.98 3.13 5/267 109970
/proc/meminfo: memFree=114439704/131250000 swapFree=33010672/33010684
[pid=109965] ppid=109962 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109965/stat : 109965 (scip-naps-1.00a) S 109962 109965 109737 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141019958 4292608 736 18446744073709551615 93944062574592 93944063469125 140728428010416 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93944063708176 93944063755920 93944079958016 140728428013979 140728428014078 140728428014078 140728428019682 0
/proc/109965/statm: 1048 736 672 219 0 110 0
[pid=109970] ppid=109965 vsize=1660956 memory=512348 CPUtime=1.44 cores=4,6
/proc/109970/stat : 109970 (python3) R 109965 109965 109737 0 -1 4194304 119568 0 0 0 127 17 0 0 20 0 1 0 141019960 1700818944 128087 18446744073709551615 94568171515904 94568171516281 140728635115888 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94568171527576 94568171528196 94568191508480 140728635124047 140728635124256 140728635124256 140728635129831 0
/proc/109970/statm: 415239 128087 7881 1 0 386597 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1665148 KiB
Current children cumulated memory: 515292 KiB

[startup+3.10556 s]
/proc/loadavg: 2.92 3.00 3.13 5/267 109970
/proc/meminfo: memFree=113567624/131250000 swapFree=33010672/33010684
[pid=109965] ppid=109962 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109965/stat : 109965 (scip-naps-1.00a) S 109962 109965 109737 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141019958 4292608 736 18446744073709551615 93944062574592 93944063469125 140728428010416 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93944063708176 93944063755920 93944079958016 140728428013979 140728428014078 140728428014078 140728428019682 0
/proc/109965/statm: 1048 736 672 219 0 110 0
[pid=109970] ppid=109965 vsize=1808252 memory=659272 CPUtime=3.04 cores=4,6
/proc/109970/stat : 109970 (python3) R 109965 109965 109737 0 -1 4194304 154718 0 0 0 281 23 0 0 20 0 1 0 141019960 1851650048 164818 18446744073709551615 94568171515904 94568171516281 140728635115888 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94568171527576 94568171528196 94568191508480 140728635124047 140728635124256 140728635124256 140728635129831 0
/proc/109970/statm: 452063 164818 7945 1 0 423421 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1812444 KiB
Current children cumulated memory: 662216 KiB

[startup+6.30016 s]
/proc/loadavg: 2.92 3.00 3.13 5/267 109970
/proc/meminfo: memFree=113019136/131250000 swapFree=33010672/33010684
[pid=109965] ppid=109962 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109965/stat : 109965 (scip-naps-1.00a) S 109962 109965 109737 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141019958 4292608 736 18446744073709551615 93944062574592 93944063469125 140728428010416 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93944063708176 93944063755920 93944079958016 140728428013979 140728428014078 140728428014078 140728428019682 0
/proc/109965/statm: 1048 736 672 219 0 110 0
[pid=109970] ppid=109965 vsize=2056864 memory=865076 CPUtime=6.23 cores=4,6
/proc/109970/stat : 109970 (python3) R 109965 109965 109737 0 -1 4194304 164358 0 0 0 595 28 0 0 20 0 1 0 141019960 2106228736 216269 18446744073709551615 94568171515904 94568171516281 140728635115888 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94568171527576 94568171528196 94568191508480 140728635124047 140728635124256 140728635124256 140728635129831 0
/proc/109970/statm: 514216 216269 7977 1 0 485574 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 2061056 KiB
Current children cumulated memory: 868020 KiB

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

# cumulated CPU time of all completed processes:  user=9.59302 s, system=0.506649 s

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

[startup+6.40026 s]
/proc/loadavg: 2.92 3.00 3.13 5/267 109970
/proc/meminfo: memFree=113019136/131250000 swapFree=33010672/33010684
[pid=109965] ppid=109962 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109965/stat : 109965 (scip-naps-1.00a) S 109962 109965 109737 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141019958 4292608 736 18446744073709551615 93944062574592 93944063469125 140728428010416 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93944063708176 93944063755920 93944079958016 140728428013979 140728428014078 140728428014078 140728428019682 0
/proc/109965/statm: 1048 736 672 219 0 110 0
[pid=109970] ppid=109965 vsize=2056864 memory=865076 CPUtime=6.33 cores=4,6
/proc/109970/stat : 109970 (python3) R 109965 109965 109737 0 -1 4194304 164358 0 0 0 605 28 0 0 20 0 1 0 141019960 2106228736 216269 18446744073709551615 94568171515904 94568171516281 140728635115888 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94568171527576 94568171528196 94568191508480 140728635124047 140728635124256 140728635124256 140728635129831 0
/proc/109970/statm: 514216 216269 7977 1 0 485574 0
Current children cumulated CPU time: 6.33 s
Current children cumulated vsize: 2061056 KiB
Current children cumulated memory: 868020 KiB

[startup+8.00015 s]*
/proc/loadavg: 3.09 3.03 3.14 4/262 109978
/proc/meminfo: memFree=115892112/131250000 swapFree=33010672/33010684
[pid=109965] ppid=109962 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109965/stat : 109965 (scip-naps-1.00a) S 109962 109965 109737 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141019958 4292608 736 18446744073709551615 93944062574592 93944063469125 140728428010416 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93944063708176 93944063755920 93944079958016 140728428013979 140728428014078 140728428014078 140728428019682 0
/proc/109965/statm: 1048 736 672 219 0 110 0
[pid=109970] ppid=109965 vsize=2477160 memory=1263524 CPUtime=7.92 cores=4,6
/proc/109970/stat : 109970 (python3) R 109965 109965 109737 0 -1 4194304 245404 0 0 0 749 43 0 0 20 0 1 0 141019960 2536611840 315881 18446744073709551615 94568171515904 94568171516281 140728635115888 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94568171527576 94568171528196 94568191508480 140728635124047 140728635124256 140728635124256 140728635129831 0
/proc/109970/statm: 619290 315881 8137 1 0 590648 0
Current children cumulated CPU time: 7.92 s
Current children cumulated vsize: 2481352 KiB
Current children cumulated memory: 1266468 KiB

[startup+8.80013 s]
/proc/loadavg: 3.09 3.03 3.14 4/262 109978
/proc/meminfo: memFree=115892112/131250000 swapFree=33010672/33010684
[pid=109965] ppid=109962 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109965/stat : 109965 (scip-naps-1.00a) S 109962 109965 109737 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141019958 4292608 736 18446744073709551615 93944062574592 93944063469125 140728428010416 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93944063708176 93944063755920 93944079958016 140728428013979 140728428014078 140728428014078 140728428019682 0
/proc/109965/statm: 1048 736 672 219 0 110 0
[pid=109970] ppid=109965 vsize=2491032 memory=1276500 CPUtime=8.72 cores=4,6
/proc/109970/stat : 109970 (python3) R 109965 109965 109737 0 -1 4194304 247566 0 0 0 828 44 0 0 20 0 1 0 141019960 2550816768 319125 18446744073709551615 94568171515904 94568171516281 140728635115888 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94568171527576 94568171528196 94568191508480 140728635124047 140728635124256 140728635124256 140728635129831 0
/proc/109970/statm: 622758 319125 8201 1 0 594116 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 2495224 KiB
Current children cumulated memory: 1279444 KiB

[startup+9.60014 s]
/proc/loadavg: 3.09 3.03 3.14 4/262 109978
/proc/meminfo: memFree=115896864/131250000 swapFree=33010672/33010684
[pid=109965] ppid=109962 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109965/stat : 109965 (scip-naps-1.00a) S 109962 109965 109737 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141019958 4292608 736 18446744073709551615 93944062574592 93944063469125 140728428010416 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93944063708176 93944063755920 93944079958016 140728428013979 140728428014078 140728428014078 140728428019682 0
/proc/109965/statm: 1048 736 672 219 0 110 0
[pid=109970] ppid=109965 vsize=2491032 memory=1276628 CPUtime=9.52 cores=4,6
/proc/109970/stat : 109970 (python3) R 109965 109965 109737 0 -1 4194304 247598 0 0 0 907 45 0 0 20 0 1 0 141019960 2550816768 319157 18446744073709551615 94568171515904 94568171516281 140728635115888 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94568171527576 94568171528196 94568191508480 140728635124047 140728635124256 140728635124256 140728635129831 0
/proc/109970/statm: 622758 319157 8201 1 0 594116 0
Current children cumulated CPU time: 9.52 s
Current children cumulated vsize: 2495224 KiB
Current children cumulated memory: 1279572 KiB

[startup+10.0001 s]*
/proc/loadavg: 3.09 3.03 3.14 5/266 109985
/proc/meminfo: memFree=115896624/131250000 swapFree=33010672/33010684
[pid=109965] ppid=109962 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109965/stat : 109965 (scip-naps-1.00a) S 109962 109965 109737 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141019958 4292608 736 18446744073709551615 93944062574592 93944063469125 140728428010416 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93944063708176 93944063755920 93944079958016 140728428013979 140728428014078 140728428014078 140728428019682 0
/proc/109965/statm: 1048 736 672 219 0 110 0
[pid=109970] ppid=109965 vsize=2439712 memory=1226664 CPUtime=9.93 cores=4,6
/proc/109970/stat : 109970 (python3) R 109965 109965 109737 0 -1 4194304 247913 0 0 0 948 45 0 0 20 0 1 0 141019960 2498265088 306666 18446744073709551615 94568171515904 94568171516281 140728635115888 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94568171527576 94568171528196 94568191508480 140728635124047 140728635124256 140728635124256 140728635129831 0
/proc/109970/statm: 609928 306666 8201 1 0 581286 0
Current children cumulated CPU time: 9.93 s
Current children cumulated vsize: 2443904 KiB
Current children cumulated memory: 1229608 KiB

[startup+10.1056 s]
/proc/loadavg: 3.09 3.03 3.14 5/266 109985
/proc/meminfo: memFree=115896624/131250000 swapFree=33010672/33010684
[pid=109965] ppid=109962 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109965/stat : 109965 (scip-naps-1.00a) S 109962 109965 109737 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141019958 4292608 736 18446744073709551615 93944062574592 93944063469125 140728428010416 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93944063708176 93944063755920 93944079958016 140728428013979 140728428014078 140728428014078 140728428019682 0
/proc/109965/statm: 1048 736 672 219 0 110 0
[pid=109970] ppid=109965 vsize=2221548 memory=1048884 CPUtime=10.02 cores=4,6
/proc/109970/stat : 109970 (python3) R 109965 109965 109737 0 -1 4194304 247914 0 0 0 957 45 0 0 20 0 1 0 141019960 2274865152 262983 18446744073709551615 94568171515904 94568171516281 140728635115888 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94568171527576 94568171528196 94568191508480 140728635124047 140728635124256 140728635124256 140728635129831 0
/proc/109970/statm: 555387 262221 8201 1 0 526745 0
Current children cumulated CPU time: 10.02 s
Current children cumulated vsize: 2225740 KiB
Current children cumulated memory: 1051828 KiB

Child status: 0

Real time (s): 10.1657
CPU time (s): 10.0997
CPU user time (s): 9.59302
CPU system time (s): 0.506649
CPU usage (%): 99.3504
Max. virtual memory (cumulated for all children) (KiB): 2495224
Max. memory (cumulated for all children) (KiB): 1280852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.59302
system time used= 0.506649
maximum resident set size= 1325336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248552
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= 336
involuntary context switches= 33


# summary of solver processes directly reported to runsolver:
#   pid: 109965
#   total CPU time (s): 10.0997
#   total CPU user time (s): 9.59302
#   total CPU system time (s): 0.506649

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018579 second user time and 0.088809 second system time

The end