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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494162-1751150722/watcher-4494162-1751150722 -o /tmp/evaluation-result-4494162-1751150722/solver-4494162-1751150722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751145166-15175 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 86619716 HOME/instance-4494162-1751150722.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=16088, runsolver pid=16085

[startup+0.100066 s]*
/proc/loadavg: 6.85 7.24 7.19 7/252 16089
/proc/meminfo: memFree=122233260/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=42816 memory=40628 CPUtime=0.09 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 8137 0 0 0 7 2 0 0 20 0 1 0 30751367 43843584 10157 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 10704 10157 576 633 0 9920 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42816 KiB
Current children cumulated memory: 40628 KiB

[startup+0.209045 s]*
/proc/loadavg: 6.85 7.24 7.19 7/252 16089
/proc/meminfo: memFree=122192684/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=92128 memory=83796 CPUtime=0.2 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 14882 0 0 0 15 5 0 0 20 0 1 0 30751367 94339072 20949 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 23032 20949 576 633 0 22248 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92128 KiB
Current children cumulated memory: 83796 KiB

[startup+0.308966 s]*
/proc/loadavg: 6.85 7.24 7.19 7/253 16090
/proc/meminfo: memFree=122126520/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=238772 memory=162464 CPUtime=0.34 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 17664 0 0 0 27 7 0 0 20 0 2 0 30751367 244502528 40616 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 59693 40616 576 633 0 43601 0
[pid=16088/tid=16090] ppid=16085 vsize=238772 memory=7970958474910187882 CPUtime=0.04 cores=5,7
/proc/16088/task/16090/stat : 16090 (pb_competition_) R 16085 16088 15162 0 -1 4194368 1078 0 0 0 4 0 0 0 20 0 2 0 30751394 244502528 40616 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 238772 KiB
Current children cumulated memory: 162464 KiB

[startup+0.700236 s]
/proc/loadavg: 6.85 7.24 7.19 8/253 16090
/proc/meminfo: memFree=122087712/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=263192 memory=228512 CPUtime=1.08 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 34170 0 0 0 95 13 0 0 20 0 2 0 30751367 269508608 57128 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 65798 57128 576 633 0 60099 0
[pid=16088/tid=16090] ppid=16085 vsize=263192 memory=17152 CPUtime=0.39 cores=5,7
/proc/16088/task/16090/stat : 16090 (pb_competition_) R 16085 16088 15162 0 -1 4194368 11471 0 0 0 36 3 0 0 20 0 2 0 30751394 269508608 57128 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 263192 KiB
Current children cumulated memory: 228512 KiB

[startup+1.50023 s]
/proc/loadavg: 6.85 7.24 7.19 8/253 16090
/proc/meminfo: memFree=122015136/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=465808 memory=413472 CPUtime=2.66 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 82398 0 0 0 241 25 0 0 20 0 2 0 30751367 476987392 103368 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 116452 103368 576 633 0 106385 0
[pid=16088/tid=16090] ppid=16085 vsize=465808 memory=17152 CPUtime=1.19 cores=5,7
/proc/16088/task/16090/stat : 16090 (pb_competition_) R 16085 16088 15162 0 -1 4194368 41063 0 0 0 108 11 0 0 20 0 2 0 30751394 476987392 103368 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 465808 KiB
Current children cumulated memory: 413472 KiB

[startup+3.11509 s]
/proc/loadavg: 6.86 7.24 7.19 6/253 16090
/proc/meminfo: memFree=121060404/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=1262252 memory=1251552 CPUtime=4.72 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 230616 0 0 0 415 57 0 0 20 0 2 0 30751367 1292546048 312888 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 315563 312888 608 633 0 314407 0
[pid=16088/tid=16090] ppid=16085 vsize=1262252 memory=7810480252314347606 CPUtime=1.63 cores=5,7
/proc/16088/task/16090/stat : 16090 (pb_competition_) R 16085 16088 15162 0 -1 4194368 50501 0 0 0 148 15 0 0 20 0 2 0 30751394 1292546048 312888 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
Current children cumulated CPU time: 4.72 s
Current children cumulated vsize: 1262252 KiB
Current children cumulated memory: 1251552 KiB

[startup+6.30035 s]
/proc/loadavg: 6.86 7.24 7.19 6/253 16090
/proc/meminfo: memFree=120734256/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=1552140 memory=1522828 CPUtime=8.53 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 408424 0 0 0 762 91 0 0 20 0 2 0 30751367 1589391360 380707 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 388035 380707 640 633 0 382929 0
[pid=16088/tid=16090] ppid=16085 vsize=1552140 memory=1506316 CPUtime=3.2 cores=5,7
/proc/16088/task/16090/stat : 16090 (pb_competition_) S 16085 16088 15162 0 -1 4194368 79845 0 0 0 293 27 0 0 20 0 2 0 30751394 1589391360 380707 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
Current children cumulated CPU time: 8.53 s
Current children cumulated vsize: 1552140 KiB
Current children cumulated memory: 1522828 KiB

[startup+12.7003 s]
/proc/loadavg: 6.71 7.20 7.18 6/248 16098
/proc/meminfo: memFree=120162688/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=2090344 memory=2050132 CPUtime=14.89 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 696924 0 0 0 1361 128 0 0 20 0 2 0 30751367 2140512256 512533 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 522586 512533 640 633 0 517480 0
[pid=16088/tid=16090] ppid=16085 vsize=2090344 memory=2050132 CPUtime=3.2 cores=5,7
/proc/16088/task/16090/stat : 16090 (pb_competition_) S 16085 16088 15162 0 -1 4194368 79845 0 0 0 293 27 0 0 20 0 2 0 30751394 2140512256 512533 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
Current children cumulated CPU time: 14.89 s
Current children cumulated vsize: 2090344 KiB
Current children cumulated memory: 2050132 KiB

[startup+25.5004 s]
/proc/loadavg: 6.48 7.13 7.16 6/253 16137
/proc/meminfo: memFree=115354516/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=3118564 memory=3078228 CPUtime=28.5 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 1114010 0 0 0 2672 178 0 0 20 0 2 0 30751367 3193409536 769557 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 779641 769557 640 633 0 774535 0
[pid=16088/tid=16090] ppid=16085 vsize=3118564 memory=16352 CPUtime=4.27 cores=5,7
/proc/16088/task/16090/stat : 16090 (pb_competition_) S 16085 16088 15162 0 -1 4194368 87250 0 0 0 399 28 0 0 20 0 2 0 30751394 3193409536 769557 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
Current children cumulated CPU time: 28.5 s
Current children cumulated vsize: 3118564 KiB
Current children cumulated memory: 3078228 KiB

[startup+51.1131 s]
/proc/loadavg: 5.98 6.95 7.10 5/253 16137
/proc/meminfo: memFree=112678628/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=3118564 memory=3078228 CPUtime=57.49 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 1596579 0 0 0 5543 206 0 0 20 0 2 0 30751367 3193409536 769557 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 779641 769557 640 633 0 774535 0
[pid=16088/tid=16090] ppid=16085 vsize=3118564 memory=3078228 CPUtime=7.86 cores=5,7
/proc/16088/task/16090/stat : 16090 (pb_competition_) S 16085 16088 15162 0 -1 4194368 98711 0 0 0 756 30 0 0 20 0 2 0 30751394 3193409536 769557 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
Current children cumulated CPU time: 57.49 s
Current children cumulated vsize: 3118564 KiB
Current children cumulated memory: 3078228 KiB

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

# cumulated CPU time of all completed processes:  user=62.4587 s, system=2.4931 s

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

[startup+51.2004 s]
/proc/loadavg: 5.98 6.95 7.10 5/253 16137
/proc/meminfo: memFree=112678628/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=3118564 memory=3078228 CPUtime=57.58 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 1596579 0 0 0 5552 206 0 0 20 0 2 0 30751367 3193409536 769557 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 779641 769557 640 633 0 774535 0
[pid=16088/tid=16090] ppid=16085 vsize=3118564 memory=10496 CPUtime=7.86 cores=5,7
/proc/16088/task/16090/stat : 16090 (pb_competition_) S 16085 16088 15162 0 -1 4194368 98711 0 0 0 756 30 0 0 20 0 2 0 30751394 3193409536 769557 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
Current children cumulated CPU time: 57.58 s
Current children cumulated vsize: 3118564 KiB
Current children cumulated memory: 3078228 KiB

[startup+54.4003 s]
/proc/loadavg: 5.90 6.92 7.08 6/253 16137
/proc/meminfo: memFree=111628240/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=3118564 memory=3078228 CPUtime=61.62 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 1666500 0 0 0 5952 210 0 0 20 0 2 0 30751367 3193409536 769557 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 779641 769557 640 633 0 774535 0
[pid=16088/tid=16090] ppid=16085 vsize=3118564 memory=1920 CPUtime=8.75 cores=5,7
/proc/16088/task/16090/stat : 16090 (pb_competition_) S 16085 16088 15162 0 -1 4194368 98852 0 0 0 845 30 0 0 20 0 2 0 30751394 3193409536 769557 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
Current children cumulated CPU time: 61.62 s
Current children cumulated vsize: 3118564 KiB
Current children cumulated memory: 3078228 KiB

[startup+56.0003 s]*
/proc/loadavg: 5.90 6.92 7.08 7/253 16137
/proc/meminfo: memFree=111119700/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=3257608 memory=3217328 CPUtime=63.29 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 1744821 0 0 0 6112 217 0 0 20 0 2 0 30751367 3335790592 804332 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 814402 804332 640 633 0 809296 0
[pid=16088/tid=16090] ppid=16085 vsize=3257608 memory=6516 CPUtime=8.81 cores=5,7
/proc/16088/task/16090/stat : 16090 (pb_competition_) S 16085 16088 15162 0 -1 4194368 98852 0 0 0 851 30 0 0 20 0 2 0 30751394 3335790592 804332 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
Current children cumulated CPU time: 63.29 s
Current children cumulated vsize: 3257608 KiB
Current children cumulated memory: 3217328 KiB

[startup+56.8003 s]
/proc/loadavg: 5.90 6.92 7.08 7/253 16137
/proc/meminfo: memFree=111119700/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=3002412 memory=2962212 CPUtime=64.08 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 1879843 0 0 0 6184 224 0 0 20 0 2 0 30751367 3074469888 740553 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 750603 740553 640 633 0 745497 0
[pid=16088/tid=16090] ppid=16085 vsize=3002412 memory=5504 CPUtime=8.81 cores=5,7
/proc/16088/task/16090/stat : 16090 (pb_competition_) S 16085 16088 15162 0 -1 4194368 98852 0 0 0 851 30 0 0 20 0 2 0 30751394 3074469888 740553 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
Current children cumulated CPU time: 64.08 s
Current children cumulated vsize: 3002412 KiB
Current children cumulated memory: 2962212 KiB

[startup+57.2004 s]
/proc/loadavg: 5.90 6.92 7.08 6/253 16137
/proc/meminfo: memFree=111320000/131382120 swapFree=33010684/33010684
[pid=16088] ppid=16085 vsize=2476472 memory=2436272 CPUtime=64.47 cores=5,7
/proc/16088/stat : 16088 (pb_competition_) R 16085 16088 15162 0 -1 4194304 1900282 0 0 0 6222 225 0 0 20 0 2 0 30751367 2535907328 609068 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
/proc/16088/statm: 619118 609068 640 633 0 614012 0
[pid=16088/tid=16090] ppid=16085 vsize=2476472 memory=5504 CPUtime=8.81 cores=5,7
/proc/16088/task/16090/stat : 16090 (pb_competition_) S 16085 16088 15162 0 -1 4194368 98852 0 0 0 851 30 0 0 20 0 2 0 30751394 2535907328 609068 18446744073709551615 4198400 6788177 140732721323856 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28033024 140732721326427 140732721326552 140732721326552 140732721332154 0
Current children cumulated CPU time: 64.47 s
Current children cumulated vsize: 2476472 KiB
Current children cumulated memory: 2436272 KiB

[startup+57.6152 s]
/proc/loadavg: 5.90 6.92 7.08 5/253 16137
/proc/meminfo: memFree=112360708/131382120 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 57.6958
CPU time (s): 64.9518
CPU user time (s): 62.4587
CPU system time (s): 2.4931
CPU usage (%): 112.576
Max. virtual memory (cumulated for all children) (KiB): 3257608
Max. memory (cumulated for all children) (KiB): 3217328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.4587
system time used= 2.4931
maximum resident set size= 3217328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1974136
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3263
involuntary context switches= 532


# summary of solver processes directly reported to runsolver:
#   pid: 16088
#   total CPU time (s): 64.9518
#   total CPU user time (s): 62.4587
#   total CPU system time (s): 2.4931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.302945 second user time and 0.624579 second system time

The end