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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529674-1752253401/watcher-4529674-1752253401 -o /tmp/evaluation-result-4529674-1752253401/solver-4529674-1752253401 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1752253388-109748 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529674-1752253401.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
Starting watchdog thread
solver pid=109897, runsolver pid=109893
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 2.61 2.95 3.12 5/263 109907
/proc/meminfo: memFree=120467800/131250000 swapFree=33010672/33010684
[pid=109897] ppid=109893 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/109897/stat : 109897 (scip-naps-1.00a) S 109893 109897 109737 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 141018737 4292608 768 18446744073709551615 94350899556352 94350900450885 140736301491264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94350900689936 94350900737680 94350915239936 140736301496731 140736301496830 140736301496830 140736301502434 0
/proc/109897/statm: 1048 768 704 219 0 110 0
[pid=109903] ppid=109897 vsize=1186292 memory=30936 CPUtime=0.06 cores=4,6
/proc/109903/stat : 109903 (python3) R 109897 109897 109737 0 -1 4194304 3539 0 0 0 5 1 0 0 20 0 1 0 141018739 1214763008 7734 18446744073709551615 94900083326976 94900083327353 140733929194384 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94900083338648 94900083339268 94900114034688 140733929199951 140733929200160 140733929200160 140733929205735 0
/proc/109903/statm: 296573 7734 4829 1 0 268595 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1190484 KiB
Current children cumulated memory: 34008 KiB

[startup+0.205782 s]*
/proc/loadavg: 2.61 2.95 3.12 5/263 109907
/proc/meminfo: memFree=120467800/131250000 swapFree=33010672/33010684
[pid=109897] ppid=109893 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/109897/stat : 109897 (scip-naps-1.00a) S 109893 109897 109737 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 141018737 4292608 768 18446744073709551615 94350899556352 94350900450885 140736301491264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94350900689936 94350900737680 94350915239936 140736301496731 140736301496830 140736301496830 140736301502434 0
/proc/109897/statm: 1048 768 704 219 0 110 0
[pid=109903] ppid=109897 vsize=1213980 memory=65624 CPUtime=0.16 cores=4,6
/proc/109903/stat : 109903 (python3) R 109897 109897 109737 0 -1 4194304 9661 0 0 0 14 2 0 0 20 0 1 0 141018739 1243115520 16406 18446744073709551615 94900083326976 94900083327353 140733929194384 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94900083338648 94900083339268 94900114034688 140733929199951 140733929200160 140733929200160 140733929205735 0
/proc/109903/statm: 303495 16406 7613 1 0 274853 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1218172 KiB
Current children cumulated memory: 68696 KiB

[startup+0.305613 s]*
/proc/loadavg: 2.61 2.95 3.12 5/263 109907
/proc/meminfo: memFree=120451416/131250000 swapFree=33010672/33010684
[pid=109897] ppid=109893 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/109897/stat : 109897 (scip-naps-1.00a) S 109893 109897 109737 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 141018737 4292608 768 18446744073709551615 94350899556352 94350900450885 140736301491264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94350900689936 94350900737680 94350915239936 140736301496731 140736301496830 140736301496830 140736301502434 0
/proc/109897/statm: 1048 768 704 219 0 110 0
[pid=109903] ppid=109897 vsize=1242096 memory=92888 CPUtime=0.26 cores=4,6
/proc/109903/stat : 109903 (python3) R 109897 109897 109737 0 -1 4194304 16479 0 0 0 23 3 0 0 20 0 1 0 141018739 1271906304 23222 18446744073709551615 94900083326976 94900083327353 140733929194384 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94900083338648 94900083339268 94900114034688 140733929199951 140733929200160 140733929200160 140733929205735 0
/proc/109903/statm: 310524 23222 7613 1 0 281882 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1246288 KiB
Current children cumulated memory: 95960 KiB

[startup+0.700209 s]
/proc/loadavg: 2.61 2.95 3.12 4/262 109908
/proc/meminfo: memFree=120383208/131250000 swapFree=33010672/33010684
[pid=109897] ppid=109893 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/109897/stat : 109897 (scip-naps-1.00a) S 109893 109897 109737 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 141018737 4292608 768 18446744073709551615 94350899556352 94350900450885 140736301491264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94350900689936 94350900737680 94350915239936 140736301496731 140736301496830 140736301496830 140736301502434 0
/proc/109897/statm: 1048 768 704 219 0 110 0
[pid=109903] ppid=109897 vsize=1343280 memory=193716 CPUtime=0.65 cores=4,6
/proc/109903/stat : 109903 (python3) R 109897 109897 109737 0 -1 4194304 41187 0 0 0 58 7 0 0 20 0 1 0 141018739 1375518720 48429 18446744073709551615 94900083326976 94900083327353 140733929194384 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94900083338648 94900083339268 94900114034688 140733929199951 140733929200160 140733929200160 140733929205735 0
/proc/109903/statm: 335820 48429 7613 1 0 307178 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1347472 KiB
Current children cumulated memory: 196788 KiB

[startup+1.50021 s]
/proc/loadavg: 2.61 2.95 3.12 6/267 109921
/proc/meminfo: memFree=119983912/131250000 swapFree=33010672/33010684
[pid=109897] ppid=109893 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/109897/stat : 109897 (scip-naps-1.00a) S 109893 109897 109737 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 141018737 4292608 768 18446744073709551615 94350899556352 94350900450885 140736301491264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94350900689936 94350900737680 94350915239936 140736301496731 140736301496830 140736301496830 140736301502434 0
/proc/109897/statm: 1048 768 704 219 0 110 0
[pid=109903] ppid=109897 vsize=1660700 memory=511852 CPUtime=1.45 cores=4,6
/proc/109903/stat : 109903 (python3) R 109897 109897 109737 0 -1 4194304 119448 0 0 0 128 17 0 0 20 0 1 0 141018739 1700556800 127963 18446744073709551615 94900083326976 94900083327353 140733929194384 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94900083338648 94900083339268 94900114034688 140733929199951 140733929200160 140733929200160 140733929205735 0
/proc/109903/statm: 415175 127963 7869 1 0 386533 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1664892 KiB
Current children cumulated memory: 514924 KiB

[startup+3.10558 s]
/proc/loadavg: 2.61 2.95 3.12 5/267 109921
/proc/meminfo: memFree=118668136/131250000 swapFree=33010672/33010684
[pid=109897] ppid=109893 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/109897/stat : 109897 (scip-naps-1.00a) S 109893 109897 109737 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 141018737 4292608 768 18446744073709551615 94350899556352 94350900450885 140736301491264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94350900689936 94350900737680 94350915239936 140736301496731 140736301496830 140736301496830 140736301502434 0
/proc/109897/statm: 1048 768 704 219 0 110 0
[pid=109903] ppid=109897 vsize=1804428 memory=655900 CPUtime=3.05 cores=4,6
/proc/109903/stat : 109903 (python3) R 109897 109897 109737 0 -1 4194304 153373 0 0 0 282 23 0 0 20 0 1 0 141018739 1847734272 163975 18446744073709551615 94900083326976 94900083327353 140733929194384 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94900083338648 94900083339268 94900114034688 140733929199951 140733929200160 140733929200160 140733929205735 0
/proc/109903/statm: 451107 163975 7933 1 0 422465 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1808620 KiB
Current children cumulated memory: 658972 KiB

[startup+6.30021 s]
/proc/loadavg: 2.72 2.96 3.12 5/267 109921
/proc/meminfo: memFree=117662920/131250000 swapFree=33010672/33010684
[pid=109897] ppid=109893 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/109897/stat : 109897 (scip-naps-1.00a) S 109893 109897 109737 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 141018737 4292608 768 18446744073709551615 94350899556352 94350900450885 140736301491264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94350900689936 94350900737680 94350915239936 140736301496731 140736301496830 140736301496830 140736301502434 0
/proc/109897/statm: 1048 768 704 219 0 110 0
[pid=109903] ppid=109897 vsize=2169712 memory=969004 CPUtime=6.23 cores=4,6
/proc/109903/stat : 109903 (python3) R 109897 109897 109737 0 -1 4194304 177125 0 0 0 593 30 0 0 20 0 1 0 141018739 2221785088 242251 18446744073709551615 94900083326976 94900083327353 140733929194384 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94900083338648 94900083339268 94900114034688 140733929199951 140733929200160 140733929200160 140733929205735 0
/proc/109903/statm: 542428 242251 7933 1 0 513786 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 2173904 KiB
Current children cumulated memory: 972076 KiB

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

# cumulated CPU time of all completed processes:  user=9.18267 s, system=0.476926 s

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

[startup+6.40025 s]
/proc/loadavg: 2.72 2.96 3.12 5/267 109921
/proc/meminfo: memFree=117662920/131250000 swapFree=33010672/33010684
[pid=109897] ppid=109893 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/109897/stat : 109897 (scip-naps-1.00a) S 109893 109897 109737 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 141018737 4292608 768 18446744073709551615 94350899556352 94350900450885 140736301491264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94350900689936 94350900737680 94350915239936 140736301496731 140736301496830 140736301496830 140736301502434 0
/proc/109897/statm: 1048 768 704 219 0 110 0
[pid=109903] ppid=109897 vsize=2184940 memory=982888 CPUtime=6.33 cores=4,6
/proc/109903/stat : 109903 (python3) R 109897 109897 109737 0 -1 4194304 179558 0 0 0 603 30 0 0 20 0 1 0 141018739 2237378560 245722 18446744073709551615 94900083326976 94900083327353 140733929194384 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94900083338648 94900083339268 94900114034688 140733929199951 140733929200160 140733929200160 140733929205735 0
/proc/109903/statm: 546235 245722 7933 1 0 517593 0
Current children cumulated CPU time: 6.33 s
Current children cumulated vsize: 2189132 KiB
Current children cumulated memory: 985960 KiB

[startup+8.00018 s]*
/proc/loadavg: 2.72 2.96 3.12 5/267 109921
/proc/meminfo: memFree=116006616/131250000 swapFree=33010672/33010684
[pid=109897] ppid=109893 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/109897/stat : 109897 (scip-naps-1.00a) S 109893 109897 109737 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 141018737 4292608 768 18446744073709551615 94350899556352 94350900450885 140736301491264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94350900689936 94350900737680 94350915239936 140736301496731 140736301496830 140736301496830 140736301502434 0
/proc/109897/statm: 1048 768 704 219 0 110 0
[pid=109903] ppid=109897 vsize=2494528 memory=1279056 CPUtime=7.93 cores=4,6
/proc/109903/stat : 109903 (python3) R 109897 109897 109737 0 -1 4194304 243265 0 0 0 751 42 0 0 20 0 1 0 141018739 2554396672 319764 18446744073709551615 94900083326976 94900083327353 140733929194384 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94900083338648 94900083339268 94900114034688 140733929199951 140733929200160 140733929200160 140733929205735 0
/proc/109903/statm: 623632 319764 8189 1 0 594990 0
Current children cumulated CPU time: 7.93 s
Current children cumulated vsize: 2498720 KiB
Current children cumulated memory: 1282128 KiB

[startup+8.80018 s]
/proc/loadavg: 2.72 2.96 3.12 5/267 109921
/proc/meminfo: memFree=116006616/131250000 swapFree=33010672/33010684
[pid=109897] ppid=109893 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/109897/stat : 109897 (scip-naps-1.00a) S 109893 109897 109737 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 141018737 4292608 768 18446744073709551615 94350899556352 94350900450885 140736301491264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94350900689936 94350900737680 94350915239936 140736301496731 140736301496830 140736301496830 140736301502434 0
/proc/109897/statm: 1048 768 704 219 0 110 0
[pid=109903] ppid=109897 vsize=2494528 memory=1279056 CPUtime=8.72 cores=4,6
/proc/109903/stat : 109903 (python3) R 109897 109897 109737 0 -1 4194304 243265 0 0 0 830 42 0 0 20 0 1 0 141018739 2554396672 319764 18446744073709551615 94900083326976 94900083327353 140733929194384 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94900083338648 94900083339268 94900114034688 140733929199951 140733929200160 140733929200160 140733929205735 0
/proc/109903/statm: 623632 319764 8189 1 0 594990 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 2498720 KiB
Current children cumulated memory: 1282128 KiB

[startup+9.20019 s]
/proc/loadavg: 2.72 2.96 3.12 5/267 109921
/proc/meminfo: memFree=115053392/131250000 swapFree=33010672/33010684
[pid=109897] ppid=109893 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/109897/stat : 109897 (scip-naps-1.00a) S 109893 109897 109737 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 141018737 4292608 768 18446744073709551615 94350899556352 94350900450885 140736301491264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94350900689936 94350900737680 94350915239936 140736301496731 140736301496830 140736301496830 140736301502434 0
/proc/109897/statm: 1048 768 704 219 0 110 0
[pid=109903] ppid=109897 vsize=2494528 memory=1279184 CPUtime=9.12 cores=4,6
/proc/109903/stat : 109903 (python3) R 109897 109897 109737 0 -1 4194304 243297 0 0 0 870 42 0 0 20 0 1 0 141018739 2554396672 319796 18446744073709551615 94900083326976 94900083327353 140733929194384 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94900083338648 94900083339268 94900114034688 140733929199951 140733929200160 140733929200160 140733929205735 0
/proc/109903/statm: 623632 319796 8189 1 0 594990 0
Current children cumulated CPU time: 9.12 s
Current children cumulated vsize: 2498720 KiB
Current children cumulated memory: 1282256 KiB

[startup+9.60019 s]
/proc/loadavg: 2.72 2.96 3.12 5/267 109921
/proc/meminfo: memFree=115053392/131250000 swapFree=33010672/33010684
[pid=109897] ppid=109893 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/109897/stat : 109897 (scip-naps-1.00a) S 109893 109897 109737 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 141018737 4292608 768 18446744073709551615 94350899556352 94350900450885 140736301491264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94350900689936 94350900737680 94350915239936 140736301496731 140736301496830 140736301496830 140736301502434 0
/proc/109897/statm: 1048 768 704 219 0 110 0
[pid=109903] ppid=109897 vsize=2442544 memory=1227304 CPUtime=9.53 cores=4,6
/proc/109903/stat : 109903 (python3) R 109897 109897 109737 0 -1 4194304 243299 0 0 0 910 43 0 0 20 0 1 0 141018739 2501165056 306826 18446744073709551615 94900083326976 94900083327353 140733929194384 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94900083338648 94900083339268 94900114034688 140733929199951 140733929200160 140733929200160 140733929205735 0
/proc/109903/statm: 610636 306826 8189 1 0 581994 0
Current children cumulated CPU time: 9.53 s
Current children cumulated vsize: 2446736 KiB
Current children cumulated memory: 1230376 KiB

[startup+9.70019 s]
/proc/loadavg: 2.72 2.96 3.12 5/267 109921
/proc/meminfo: memFree=115053392/131250000 swapFree=33010672/33010684
[pid=109897] ppid=109893 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/109897/stat : 109897 (scip-naps-1.00a) S 109893 109897 109737 0 -1 4194304 258 339 0 0 0 0 0 0 20 0 1 0 141018737 4292608 768 18446744073709551615 94350899556352 94350900450885 140736301491264 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94350900689936 94350900737680 94350915239936 140736301496731 140736301496830 140736301496830 140736301502434 0
/proc/109897/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 9.71616
CPU time (s): 9.6596
CPU user time (s): 9.18267
CPU system time (s): 0.476926
CPU usage (%): 99.4179
Max. virtual memory (cumulated for all children) (KiB): 2498720
Max. memory (cumulated for all children) (KiB): 1282256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.18267
system time used= 0.476926
maximum resident set size= 1313916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243937
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= 374
involuntary context switches= 21


# summary of solver processes directly reported to runsolver:
#   pid: 109897
#   total CPU time (s): 9.6596
#   total CPU user time (s): 9.18267
#   total CPU system time (s): 0.476926

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026174 second user time and 0.078359 second system time

The end