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: 63665 MiB (62149 MiB free)
  memory of node 1: 64507 MiB (58062 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494414-1751150807/watcher-4494414-1751150807 -o /tmp/evaluation-result-4494414-1751150807/solver-4494414-1751150807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751146786-17676 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1780895128 HOME/instance-4494414-1751150807.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=18619, runsolver pid=18616

[startup+0.100064 s]*
/proc/loadavg: 6.26 6.78 6.87 6/269 18621
/proc/meminfo: memFree=123022788/131249996 swapFree=33010684/33010684
[pid=18619] ppid=18616 vsize=144216 memory=73176 CPUtime=0.14 cores=4,6
/proc/18619/stat : 18619 (pb_competition_) R 18616 18619 17665 0 -1 4194304 11683 0 0 0 12 2 0 0 20 0 2 0 30758443 147677184 18294 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
/proc/18619/statm: 36054 18294 576 633 0 21261 0
[pid=18619/tid=18621] ppid=18616 vsize=144216 memory=4026531960 CPUtime=0.05 cores=4,6
/proc/18619/task/18621/stat : 18621 (pb_competition_) R 18616 18619 17665 0 -1 4194368 2380 0 0 0 5 0 0 0 20 0 2 0 30758449 147677184 18294 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 0 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 144216 KiB
Current children cumulated memory: 73176 KiB

[startup+0.205935 s]*
/proc/loadavg: 6.26 6.78 6.87 6/269 18621
/proc/meminfo: memFree=122982468/131249996 swapFree=33010684/33010684
[pid=18619] ppid=18616 vsize=162960 memory=110936 CPUtime=0.35 cores=4,6
/proc/18619/stat : 18619 (pb_competition_) R 18616 18619 17665 0 -1 4194304 21133 0 0 0 31 4 0 0 20 0 2 0 30758443 166871040 27734 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
/proc/18619/statm: 40740 27734 576 633 0 30718 0
[pid=18619/tid=18621] ppid=18616 vsize=162960 memory=664958721904869660 CPUtime=0.14 cores=4,6
/proc/18619/task/18621/stat : 18621 (pb_competition_) R 18616 18619 17665 0 -1 4194368 7150 0 0 0 14 0 0 0 20 0 2 0 30758449 166871040 27734 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 0 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 162960 KiB
Current children cumulated memory: 110936 KiB

[startup+0.305902 s]*
/proc/loadavg: 6.26 6.78 6.87 7/269 18621
/proc/meminfo: memFree=122950212/131249996 swapFree=33010684/33010684
[pid=18619] ppid=18616 vsize=180120 memory=146136 CPUtime=0.54 cores=4,6
/proc/18619/stat : 18619 (pb_competition_) R 18616 18619 17665 0 -1 4194304 29953 0 0 0 49 5 0 0 20 0 2 0 30758443 184442880 36534 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
/proc/18619/statm: 45030 36534 576 633 0 39526 0
[pid=18619/tid=18621] ppid=18616 vsize=180120 memory=7971232279108926064 CPUtime=0.25 cores=4,6
/proc/18619/task/18621/stat : 18621 (pb_competition_) R 18616 18619 17665 0 -1 4194368 11668 0 0 0 24 1 0 0 20 0 2 0 30758449 184442880 36534 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 0 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 180120 KiB
Current children cumulated memory: 146136 KiB

[startup+0.700204 s]
/proc/loadavg: 6.26 6.78 6.87 6/269 18621
/proc/meminfo: memFree=122820160/131249996 swapFree=33010684/33010684
[pid=18619] ppid=18616 vsize=491648 memory=425156 CPUtime=1.06 cores=4,6
/proc/18619/stat : 18619 (pb_competition_) R 18616 18619 17665 0 -1 4194304 59226 0 0 0 93 13 0 0 20 0 2 0 30758443 503447552 106289 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
/proc/18619/statm: 122912 106289 608 633 0 107812 0
[pid=18619/tid=18621] ppid=18616 vsize=491648 memory=17536 CPUtime=0.42 cores=4,6
/proc/18619/task/18621/stat : 18621 (pb_competition_) R 18616 18619 17665 0 -1 4194368 18453 0 0 0 39 3 0 0 20 0 2 0 30758449 503447552 106289 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 491648 KiB
Current children cumulated memory: 425156 KiB

[startup+1.5002 s]
/proc/loadavg: 6.26 6.78 6.87 7/269 18621
/proc/meminfo: memFree=122613516/131249996 swapFree=33010684/33010684
[pid=18619] ppid=18616 vsize=578608 memory=542120 CPUtime=2.05 cores=4,6
/proc/18619/stat : 18619 (pb_competition_) R 18616 18619 17665 0 -1 4194304 130295 0 0 0 185 20 0 0 20 0 2 0 30758443 592494592 135530 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
/proc/18619/statm: 144652 135530 640 633 0 137446 0
[pid=18619/tid=18621] ppid=18616 vsize=578608 memory=17536 CPUtime=0.66 cores=4,6
/proc/18619/task/18621/stat : 18621 (pb_competition_) S 18616 18619 17665 0 -1 4194368 26348 0 0 0 62 4 0 0 20 0 2 0 30758449 592494592 135530 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
Current children cumulated CPU time: 2.05 s
Current children cumulated vsize: 578608 KiB
Current children cumulated memory: 542120 KiB

[startup+3.10577 s]
/proc/loadavg: 6.24 6.76 6.87 6/269 18621
/proc/meminfo: memFree=122375308/131249996 swapFree=33010684/33010684
[pid=18619] ppid=18616 vsize=751924 memory=712848 CPUtime=3.66 cores=4,6
/proc/18619/stat : 18619 (pb_competition_) R 18616 18619 17665 0 -1 4194304 226908 0 0 0 335 31 0 0 20 0 2 0 30758443 769970176 178212 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
/proc/18619/statm: 187981 178212 640 633 0 180775 0
[pid=18619/tid=18621] ppid=18616 vsize=751924 memory=558976 CPUtime=0.66 cores=4,6
/proc/18619/task/18621/stat : 18621 (pb_competition_) S 18616 18619 17665 0 -1 4194368 26348 0 0 0 62 4 0 0 20 0 2 0 30758449 769970176 178212 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
Current children cumulated CPU time: 3.66 s
Current children cumulated vsize: 751924 KiB
Current children cumulated memory: 712848 KiB

[startup+6.3002 s]
/proc/loadavg: 6.24 6.76 6.87 5/269 18622
/proc/meminfo: memFree=122047644/131249996 swapFree=33010684/33010684
[pid=18619] ppid=18616 vsize=1069376 memory=1032972 CPUtime=7.05 cores=4,6
/proc/18619/stat : 18619 (pb_competition_) R 18616 18619 17665 0 -1 4194304 331441 0 0 0 663 42 0 0 20 0 2 0 30758443 1095041024 258243 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
/proc/18619/statm: 267344 258243 640 633 0 260138 0
[pid=18619/tid=18621] ppid=18616 vsize=1069376 memory=17536 CPUtime=0.88 cores=4,6
/proc/18619/task/18621/stat : 18621 (pb_competition_) S 18616 18619 17665 0 -1 4194368 29283 0 0 0 84 4 0 0 20 0 2 0 30758449 1095041024 258243 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
Current children cumulated CPU time: 7.05 s
Current children cumulated vsize: 1069376 KiB
Current children cumulated memory: 1032972 KiB

[startup+12.7002 s]
/proc/loadavg: 6.30 6.77 6.87 5/269 18622
/proc/meminfo: memFree=121056044/131249996 swapFree=33010684/33010684
[pid=18619] ppid=18616 vsize=1069376 memory=1032972 CPUtime=13.97 cores=4,6
/proc/18619/stat : 18619 (pb_competition_) R 18616 18619 17665 0 -1 4194304 463451 0 0 0 1348 49 0 0 20 0 2 0 30758443 1095041024 258243 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
/proc/18619/statm: 267344 258243 640 633 0 260138 0
[pid=18619/tid=18621] ppid=18616 vsize=1069376 memory=1032972 CPUtime=1.44 cores=4,6
/proc/18619/task/18621/stat : 18621 (pb_competition_) S 18616 18619 17665 0 -1 4194368 30906 0 0 0 139 5 0 0 20 0 2 0 30758449 1095041024 258243 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
Current children cumulated CPU time: 13.97 s
Current children cumulated vsize: 1069376 KiB
Current children cumulated memory: 1032972 KiB

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

# cumulated CPU time of all completed processes:  user=15.763 s, system=0.594466 s

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

[startup+12.8002 s]
/proc/loadavg: 6.30 6.77 6.87 5/269 18622
/proc/meminfo: memFree=121056044/131249996 swapFree=33010684/33010684
[pid=18619] ppid=18616 vsize=1069376 memory=1032972 CPUtime=14.07 cores=4,6
/proc/18619/stat : 18619 (pb_competition_) R 18616 18619 17665 0 -1 4194304 468771 0 0 0 1358 49 0 0 20 0 2 0 30758443 1095041024 258243 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
/proc/18619/statm: 267344 258243 640 633 0 260138 0
[pid=18619/tid=18621] ppid=18616 vsize=1069376 memory=1032972 CPUtime=1.44 cores=4,6
/proc/18619/task/18621/stat : 18621 (pb_competition_) S 18616 18619 17665 0 -1 4194368 30906 0 0 0 139 5 0 0 20 0 2 0 30758449 1095041024 258243 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
Current children cumulated CPU time: 14.07 s
Current children cumulated vsize: 1069376 KiB
Current children cumulated memory: 1032972 KiB

[startup+13.6002 s]
/proc/loadavg: 6.11 6.72 6.85 6/269 18622
/proc/meminfo: memFree=120756908/131249996 swapFree=33010684/33010684
[pid=18619] ppid=18616 vsize=1069376 memory=1032972 CPUtime=14.96 cores=4,6
/proc/18619/stat : 18619 (pb_competition_) R 18616 18619 17665 0 -1 4194304 508850 0 0 0 1445 51 0 0 20 0 2 0 30758443 1095041024 258243 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
/proc/18619/statm: 267344 258243 640 633 0 260138 0
[pid=18619/tid=18621] ppid=18616 vsize=1069376 memory=14592 CPUtime=1.53 cores=4,6
/proc/18619/task/18621/stat : 18621 (pb_competition_) R 18616 18619 17665 0 -1 4194368 30918 0 0 0 148 5 0 0 20 0 2 0 30758449 1095041024 258243 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
Current children cumulated CPU time: 14.96 s
Current children cumulated vsize: 1069376 KiB
Current children cumulated memory: 1032972 KiB

[startup+14.4002 s]
/proc/loadavg: 6.11 6.72 6.85 7/268 18622
/proc/meminfo: memFree=120033204/131249996 swapFree=33010684/33010684
[pid=18619] ppid=18616 vsize=1115428 memory=1079088 CPUtime=15.87 cores=4,6
/proc/18619/stat : 18619 (pb_competition_) R 18616 18619 17665 0 -1 4194304 518489 0 0 0 1534 53 0 0 20 0 2 0 30758443 1142198272 269772 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
/proc/18619/statm: 278857 269772 640 633 0 271651 0
[pid=18619/tid=18621] ppid=18616 vsize=1115428 memory=1032972 CPUtime=1.65 cores=4,6
/proc/18619/task/18621/stat : 18621 (pb_competition_) S 18616 18619 17665 0 -1 4194368 30926 0 0 0 160 5 0 0 20 0 2 0 30758449 1142198272 269772 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
Current children cumulated CPU time: 15.87 s
Current children cumulated vsize: 1115428 KiB
Current children cumulated memory: 1079088 KiB

[startup+14.8002 s]
/proc/loadavg: 6.11 6.72 6.85 7/268 18622
/proc/meminfo: memFree=120033204/131249996 swapFree=33010684/33010684
[pid=18619] ppid=18616 vsize=940696 memory=904408 CPUtime=16.27 cores=4,6
/proc/18619/stat : 18619 (pb_competition_) R 18616 18619 17665 0 -1 4194304 565676 0 0 0 1572 55 0 0 20 0 2 0 30758443 963272704 226102 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
/proc/18619/statm: 235174 226102 640 633 0 227968 0
[pid=18619/tid=18621] ppid=18616 vsize=940696 memory=6784 CPUtime=1.65 cores=4,6
/proc/18619/task/18621/stat : 18621 (pb_competition_) S 18616 18619 17665 0 -1 4194368 30926 0 0 0 160 5 0 0 20 0 2 0 30758449 963272704 226102 18446744073709551615 4198400 6788177 140729551477520 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 26382336 140729551485273 140729551485400 140729551485400 140729551491002 0
Current children cumulated CPU time: 16.27 s
Current children cumulated vsize: 940696 KiB
Current children cumulated memory: 904408 KiB

Child status: 0

Real time (s): 14.8746
CPU time (s): 16.3575
CPU user time (s): 15.763
CPU system time (s): 0.594466
CPU usage (%): 109.969
Max. virtual memory (cumulated for all children) (KiB): 1115428
Max. memory (cumulated for all children) (KiB): 1079088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.763
system time used= 0.594466
maximum resident set size= 1079088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589538
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= 1133
involuntary context switches= 163


# summary of solver processes directly reported to runsolver:
#   pid: 18619
#   total CPU time (s): 16.3575
#   total CPU user time (s): 15.763
#   total CPU system time (s): 0.594466

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033488 second user time and 0.109825 second system time

The end