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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529672-1752253388/watcher-4529672-1752253388 -o /tmp/evaluation-result-4529672-1752253388/solver-4529672-1752253388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752253388-109748 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529672-1752253388.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=109782, runsolver pid=109778

[startup+0.10006 s]*
/proc/loadavg: 2.22 2.89 3.11 2/260 109804
/proc/meminfo: memFree=126165304/131250000 swapFree=33010672/33010684
[pid=109782] ppid=109778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109782/stat : 109782 (scip-naps-1.00a) S 109778 109782 109737 0 -1 4194304 255 338 0 1 0 0 0 0 20 0 1 0 141017442 4292608 736 18446744073709551615 94176295284736 94176296179269 140725482681504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94176296418320 94176296466064 94176327323648 140725482682779 140725482682878 140725482682878 140725482688482 0
/proc/109782/statm: 1048 736 672 219 0 110 0
[pid=109798] ppid=109782 vsize=58808 memory=20224 CPUtime=0.03 cores=4,6
/proc/109798/stat : 109798 (python3) R 109782 109782 109737 0 -1 4194304 2201 0 0 0 3 0 0 0 20 0 1 0 141017447 60219392 5056 18446744073709551615 94170730799104 94170730799481 140729191279472 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94170730810776 94170730811396 94170735595520 140729191283023 140729191283232 140729191283232 140729191288807 0
/proc/109798/statm: 14702 5056 3264 1 0 3422 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 63000 KiB
Current children cumulated memory: 23168 KiB

[startup+0.205682 s]*
/proc/loadavg: 2.22 2.89 3.11 5/261 109808
/proc/meminfo: memFree=126161820/131250000 swapFree=33010672/33010684
[pid=109782] ppid=109778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109782/stat : 109782 (scip-naps-1.00a) S 109778 109782 109737 0 -1 4194304 255 338 0 1 0 0 0 0 20 0 1 0 141017442 4292608 736 18446744073709551615 94176295284736 94176296179269 140725482681504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94176296418320 94176296466064 94176327323648 140725482682779 140725482682878 140725482682878 140725482688482 0
/proc/109782/statm: 1048 736 672 219 0 110 0
[pid=109798] ppid=109782 vsize=1190000 memory=34948 CPUtime=0.09 cores=4,6
/proc/109798/stat : 109798 (python3) D 109782 109782 109737 0 -1 4194304 4351 0 1 0 8 1 0 0 20 0 1 0 141017447 1218560000 8737 18446744073709551615 94170730799104 94170730799481 140729191279472 0 0 0 0 16781312 2 1 0 0 17 4 0 0 0 0 0 94170730810776 94170730811396 94170735595520 140729191283023 140729191283232 140729191283232 140729191288807 0
/proc/109798/statm: 297500 8737 5065 1 0 269409 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 1194192 KiB
Current children cumulated memory: 37892 KiB

[startup+0.30538 s]*
/proc/loadavg: 2.22 2.89 3.11 6/264 109812
/proc/meminfo: memFree=126102852/131250000 swapFree=33010672/33010684
[pid=109782] ppid=109778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109782/stat : 109782 (scip-naps-1.00a) S 109778 109782 109737 0 -1 4194304 255 338 0 1 0 0 0 0 20 0 1 0 141017442 4292608 736 18446744073709551615 94176295284736 94176296179269 140725482681504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94176296418320 94176296466064 94176327323648 140725482682779 140725482682878 140725482682878 140725482688482 0
/proc/109782/statm: 1048 736 672 219 0 110 0
[pid=109798] ppid=109782 vsize=1211808 memory=63492 CPUtime=0.15 cores=4,6
/proc/109798/stat : 109798 (python3) R 109782 109782 109737 0 -1 4194304 9128 0 1 0 14 1 0 0 20 0 1 0 141017447 1240891392 15873 18446744073709551615 94170730799104 94170730799481 140729191279472 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94170730810776 94170730811396 94170735595520 140729191283023 140729191283232 140729191283232 140729191288807 0
/proc/109798/statm: 302952 15873 7625 1 0 274310 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 1216000 KiB
Current children cumulated memory: 66436 KiB

[startup+0.700202 s]
/proc/loadavg: 2.22 2.89 3.11 6/267 109822
/proc/meminfo: memFree=125920324/131250000 swapFree=33010672/33010684
[pid=109782] ppid=109778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109782/stat : 109782 (scip-naps-1.00a) S 109778 109782 109737 0 -1 4194304 255 338 0 1 0 0 0 0 20 0 1 0 141017442 4292608 736 18446744073709551615 94176295284736 94176296179269 140725482681504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94176296418320 94176296466064 94176327323648 140725482682779 140725482682878 140725482682878 140725482688482 0
/proc/109782/statm: 1048 736 672 219 0 110 0
[pid=109798] ppid=109782 vsize=1322296 memory=172360 CPUtime=0.53 cores=4,6
/proc/109798/stat : 109798 (python3) R 109782 109782 109737 0 -1 4194304 35806 0 1 0 47 6 0 0 20 0 1 0 141017447 1354031104 43090 18446744073709551615 94170730799104 94170730799481 140729191279472 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94170730810776 94170730811396 94170735595520 140729191283023 140729191283232 140729191283232 140729191288807 0
/proc/109798/statm: 330574 43090 7625 1 0 301932 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 1326488 KiB
Current children cumulated memory: 175304 KiB

[startup+1.50021 s]
/proc/loadavg: 2.22 2.89 3.11 5/267 109822
/proc/meminfo: memFree=125327116/131250000 swapFree=33010672/33010684
[pid=109782] ppid=109778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109782/stat : 109782 (scip-naps-1.00a) S 109778 109782 109737 0 -1 4194304 255 338 0 1 0 0 0 0 20 0 1 0 141017442 4292608 736 18446744073709551615 94176295284736 94176296179269 140725482681504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94176296418320 94176296466064 94176327323648 140725482682779 140725482682878 140725482682878 140725482688482 0
/proc/109782/statm: 1048 736 672 219 0 110 0
[pid=109798] ppid=109782 vsize=1655972 memory=507684 CPUtime=1.34 cores=4,6
/proc/109798/stat : 109798 (python3) R 109782 109782 109737 0 -1 4194304 119458 0 1 0 115 19 0 0 20 0 1 0 141017447 1695715328 126921 18446744073709551615 94170730799104 94170730799481 140729191279472 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94170730810776 94170730811396 94170735595520 140729191283023 140729191283232 140729191283232 140729191288807 0
/proc/109798/statm: 413993 126921 7849 1 0 385351 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 1660164 KiB
Current children cumulated memory: 510628 KiB

[startup+3.10544 s]
/proc/loadavg: 2.36 2.91 3.11 5/267 109822
/proc/meminfo: memFree=123310592/131250000 swapFree=33010672/33010684
[pid=109782] ppid=109778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109782/stat : 109782 (scip-naps-1.00a) S 109778 109782 109737 0 -1 4194304 255 338 0 1 0 0 0 0 20 0 1 0 141017442 4292608 736 18446744073709551615 94176295284736 94176296179269 140725482681504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94176296418320 94176296466064 94176327323648 140725482682779 140725482682878 140725482682878 140725482688482 0
/proc/109782/statm: 1048 736 672 219 0 110 0
[pid=109798] ppid=109782 vsize=1809920 memory=661440 CPUtime=2.94 cores=4,6
/proc/109798/stat : 109798 (python3) R 109782 109782 109737 0 -1 4194304 156282 0 1 0 268 26 0 0 20 0 1 0 141017447 1853358080 165360 18446744073709551615 94170730799104 94170730799481 140729191279472 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94170730810776 94170730811396 94170735595520 140729191283023 140729191283232 140729191283232 140729191288807 0
/proc/109798/statm: 452480 165360 7945 1 0 423838 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 1814112 KiB
Current children cumulated memory: 664384 KiB

[startup+6.30022 s]
/proc/loadavg: 2.36 2.91 3.11 5/267 109823
/proc/meminfo: memFree=121468872/131250000 swapFree=33010672/33010684
[pid=109782] ppid=109778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109782/stat : 109782 (scip-naps-1.00a) S 109778 109782 109737 0 -1 4194304 255 338 0 1 0 0 0 0 20 0 1 0 141017442 4292608 736 18446744073709551615 94176295284736 94176296179269 140725482681504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94176296418320 94176296466064 94176327323648 140725482682779 140725482682878 140725482682878 140725482688482 0
/proc/109782/statm: 1048 736 672 219 0 110 0
[pid=109798] ppid=109782 vsize=2172648 memory=979160 CPUtime=6.12 cores=4,6
/proc/109798/stat : 109798 (python3) R 109782 109782 109737 0 -1 4194304 181062 0 1 0 579 33 0 0 20 0 1 0 141017447 2224791552 244790 18446744073709551615 94170730799104 94170730799481 140729191279472 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94170730810776 94170730811396 94170735595520 140729191283023 140729191283232 140729191283232 140729191288807 0
/proc/109798/statm: 543162 244790 7945 1 0 514520 0
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 2176840 KiB
Current children cumulated memory: 982104 KiB

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

# cumulated CPU time of all completed processes:  user=9.05224 s, system=0.520404 s

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

[startup+6.40025 s]
/proc/loadavg: 2.36 2.91 3.11 5/267 109823
/proc/meminfo: memFree=121468872/131250000 swapFree=33010672/33010684
[pid=109782] ppid=109778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109782/stat : 109782 (scip-naps-1.00a) S 109778 109782 109737 0 -1 4194304 255 338 0 1 0 0 0 0 20 0 1 0 141017442 4292608 736 18446744073709551615 94176295284736 94176296179269 140725482681504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94176296418320 94176296466064 94176327323648 140725482682779 140725482682878 140725482682878 140725482688482 0
/proc/109782/statm: 1048 736 672 219 0 110 0
[pid=109798] ppid=109782 vsize=2183656 memory=987864 CPUtime=6.23 cores=4,6
/proc/109798/stat : 109798 (python3) R 109782 109782 109737 0 -1 4194304 182193 0 1 0 589 34 0 0 20 0 1 0 141017447 2236063744 246966 18446744073709551615 94170730799104 94170730799481 140729191279472 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94170730810776 94170730811396 94170735595520 140729191283023 140729191283232 140729191283232 140729191288807 0
/proc/109798/statm: 545914 246966 7945 1 0 517272 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 2187848 KiB
Current children cumulated memory: 990808 KiB

[startup+8.00018 s]*
/proc/loadavg: 2.49 2.93 3.12 5/267 109823
/proc/meminfo: memFree=119358120/131250000 swapFree=33010672/33010684
[pid=109782] ppid=109778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109782/stat : 109782 (scip-naps-1.00a) S 109778 109782 109737 0 -1 4194304 255 338 0 1 0 0 0 0 20 0 1 0 141017442 4292608 736 18446744073709551615 94176295284736 94176296179269 140725482681504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94176296418320 94176296466064 94176327323648 140725482682779 140725482682878 140725482682878 140725482688482 0
/proc/109782/statm: 1048 736 672 219 0 110 0
[pid=109798] ppid=109782 vsize=2493556 memory=1280280 CPUtime=7.83 cores=4,6
/proc/109798/stat : 109798 (python3) R 109782 109782 109737 0 -1 4194304 247077 0 1 0 737 46 0 0 20 0 1 0 141017447 2553401344 320070 18446744073709551615 94170730799104 94170730799481 140729191279472 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94170730810776 94170730811396 94170735595520 140729191283023 140729191283232 140729191283232 140729191288807 0
/proc/109798/statm: 623389 320070 8201 1 0 594747 0
Current children cumulated CPU time: 7.83 s
Current children cumulated vsize: 2497748 KiB
Current children cumulated memory: 1283224 KiB

[startup+8.80019 s]
/proc/loadavg: 2.49 2.93 3.12 5/267 109823
/proc/meminfo: memFree=119358120/131250000 swapFree=33010672/33010684
[pid=109782] ppid=109778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109782/stat : 109782 (scip-naps-1.00a) S 109778 109782 109737 0 -1 4194304 255 338 0 1 0 0 0 0 20 0 1 0 141017442 4292608 736 18446744073709551615 94176295284736 94176296179269 140725482681504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94176296418320 94176296466064 94176327323648 140725482682779 140725482682878 140725482682878 140725482688482 0
/proc/109782/statm: 1048 736 672 219 0 110 0
[pid=109798] ppid=109782 vsize=2493556 memory=1280280 CPUtime=8.62 cores=4,6
/proc/109798/stat : 109798 (python3) R 109782 109782 109737 0 -1 4194304 247077 0 1 0 816 46 0 0 20 0 1 0 141017447 2553401344 320070 18446744073709551615 94170730799104 94170730799481 140729191279472 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94170730810776 94170730811396 94170735595520 140729191283023 140729191283232 140729191283232 140729191288807 0
/proc/109798/statm: 623389 320070 8201 1 0 594747 0
Current children cumulated CPU time: 8.62 s
Current children cumulated vsize: 2497748 KiB
Current children cumulated memory: 1283224 KiB

[startup+9.2002 s]
/proc/loadavg: 2.49 2.93 3.12 5/267 109823
/proc/meminfo: memFree=118773028/131250000 swapFree=33010672/33010684
[pid=109782] ppid=109778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109782/stat : 109782 (scip-naps-1.00a) S 109778 109782 109737 0 -1 4194304 255 338 0 1 0 0 0 0 20 0 1 0 141017442 4292608 736 18446744073709551615 94176295284736 94176296179269 140725482681504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94176296418320 94176296466064 94176327323648 140725482682779 140725482682878 140725482682878 140725482688482 0
/proc/109782/statm: 1048 736 672 219 0 110 0
[pid=109798] ppid=109782 vsize=2493556 memory=1281688 CPUtime=9.02 cores=4,6
/proc/109798/stat : 109798 (python3) R 109782 109782 109737 0 -1 4194304 247429 0 1 0 856 46 0 0 20 0 1 0 141017447 2553401344 320422 18446744073709551615 94170730799104 94170730799481 140729191279472 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94170730810776 94170730811396 94170735595520 140729191283023 140729191283232 140729191283232 140729191288807 0
/proc/109798/statm: 623389 320422 8201 1 0 594747 0
Current children cumulated CPU time: 9.02 s
Current children cumulated vsize: 2497748 KiB
Current children cumulated memory: 1284632 KiB

[startup+9.6002 s]
/proc/loadavg: 2.49 2.93 3.12 5/267 109823
/proc/meminfo: memFree=118773028/131250000 swapFree=33010672/33010684
[pid=109782] ppid=109778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109782/stat : 109782 (scip-naps-1.00a) S 109778 109782 109737 0 -1 4194304 255 338 0 1 0 0 0 0 20 0 1 0 141017442 4292608 736 18446744073709551615 94176295284736 94176296179269 140725482681504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94176296418320 94176296466064 94176327323648 140725482682779 140725482682878 140725482682878 140725482688482 0
/proc/109782/statm: 1048 736 672 219 0 110 0
[pid=109798] ppid=109782 vsize=2442780 memory=1231084 CPUtime=9.42 cores=4,6
/proc/109798/stat : 109798 (python3) R 109782 109782 109737 0 -1 4194304 247431 0 1 0 896 46 0 0 20 0 1 0 141017447 2501406720 307771 18446744073709551615 94170730799104 94170730799481 140729191279472 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94170730810776 94170730811396 94170735595520 140729191283023 140729191283232 140729191283232 140729191288807 0
/proc/109798/statm: 610695 307771 8201 1 0 582053 0
Current children cumulated CPU time: 9.42 s
Current children cumulated vsize: 2446972 KiB
Current children cumulated memory: 1234028 KiB

[startup+9.70018 s]
/proc/loadavg: 2.49 2.93 3.12 5/267 109823
/proc/meminfo: memFree=118773028/131250000 swapFree=33010672/33010684
[pid=109782] ppid=109778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/109782/stat : 109782 (scip-naps-1.00a) S 109778 109782 109737 0 -1 4194304 255 338 0 1 0 0 0 0 20 0 1 0 141017442 4292608 736 18446744073709551615 94176295284736 94176296179269 140725482681504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94176296418320 94176296466064 94176327323648 140725482682779 140725482682878 140725482682878 140725482688482 0
/proc/109782/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.7364
CPU time (s): 9.57265
CPU user time (s): 9.05224
CPU system time (s): 0.520404
CPU usage (%): 98.3182
Max. virtual memory (cumulated for all children) (KiB): 2497748
Max. memory (cumulated for all children) (KiB): 1284632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.05224
system time used= 0.520404
maximum resident set size= 1328884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248067
page faults= 2
swaps= 0
block input operations= 168
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 438
involuntary context switches= 28


# summary of solver processes directly reported to runsolver:
#   pid: 109782
#   total CPU time (s): 9.57265
#   total CPU user time (s): 9.05224
#   total CPU system time (s): 0.520404

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033968 second user time and 0.06922 second system time

The end