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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494270-1751150752/watcher-4494270-1751150752 -o /tmp/evaluation-result-4494270-1751150752/solver-4494270-1751150752 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751146786-17677 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 685039227 HOME/instance-4494270-1751150752.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=18480, runsolver pid=18477

[startup+0.100061 s]*
/proc/loadavg: 6.99 6.97 6.94 8/269 18482
/proc/meminfo: memFree=128530864/131249996 swapFree=33010684/33010684
[pid=18480] ppid=18477 vsize=143816 memory=72080 CPUtime=0.14 cores=1,3
/proc/18480/stat : 18480 (pb_competition_) R 18477 18480 17665 0 -1 4194304 11923 0 0 0 12 2 0 0 20 0 2 0 30752884 147267584 18020 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
/proc/18480/statm: 35954 18020 576 633 0 21072 0
[pid=18480/tid=18482] ppid=18477 vsize=143816 memory=4026531960 CPUtime=0.04 cores=1,3
/proc/18480/task/18482/stat : 18482 (pb_competition_) R 18477 18480 17665 0 -1 4194368 2291 0 0 0 4 0 0 0 20 0 2 0 30752890 147267584 18020 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 143816 KiB
Current children cumulated memory: 72080 KiB

[startup+0.205822 s]*
/proc/loadavg: 6.99 6.97 6.94 7/269 18482
/proc/meminfo: memFree=128492560/131249996 swapFree=33010684/33010684
[pid=18480] ppid=18477 vsize=162296 memory=109200 CPUtime=0.34 cores=1,3
/proc/18480/stat : 18480 (pb_competition_) R 18477 18480 17665 0 -1 4194304 21227 0 0 0 29 5 0 0 20 0 2 0 30752884 166191104 27300 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
/proc/18480/statm: 40574 27300 576 633 0 30378 0
[pid=18480/tid=18482] ppid=18477 vsize=162296 memory=664958721904869660 CPUtime=0.15 cores=1,3
/proc/18480/task/18482/stat : 18482 (pb_competition_) R 18477 18480 17665 0 -1 4194368 6976 0 0 0 13 2 0 0 20 0 2 0 30752890 166191104 27332 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 162296 KiB
Current children cumulated memory: 109200 KiB

[startup+0.305692 s]*
/proc/loadavg: 6.99 6.97 6.94 9/269 18482
/proc/meminfo: memFree=128460304/131249996 swapFree=33010684/33010684
[pid=18480] ppid=18477 vsize=179720 memory=144528 CPUtime=0.54 cores=1,3
/proc/18480/stat : 18480 (pb_competition_) R 18477 18480 17665 0 -1 4194304 30034 0 0 0 47 7 0 0 20 0 2 0 30752884 184033280 36132 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
/proc/18480/statm: 44930 36132 576 633 0 39187 0
[pid=18480/tid=18482] ppid=18477 vsize=179720 memory=7971520342564880750 CPUtime=0.25 cores=1,3
/proc/18480/task/18482/stat : 18482 (pb_competition_) R 18477 18480 17665 0 -1 4194368 11428 0 0 0 22 3 0 0 20 0 2 0 30752890 184033280 36132 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 179720 KiB
Current children cumulated memory: 144528 KiB

[startup+0.700223 s]
/proc/loadavg: 6.99 6.97 6.94 8/269 18482
/proc/meminfo: memFree=128326412/131249996 swapFree=33010684/33010684
[pid=18480] ppid=18477 vsize=490852 memory=423816 CPUtime=1.08 cores=1,3
/proc/18480/stat : 18480 (pb_competition_) R 18477 18480 17665 0 -1 4194304 59310 0 0 0 91 17 0 0 20 0 2 0 30752884 502632448 105954 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
/proc/18480/statm: 122713 105954 608 633 0 107500 0
[pid=18480/tid=18482] ppid=18477 vsize=490852 memory=17536 CPUtime=0.42 cores=1,3
/proc/18480/task/18482/stat : 18482 (pb_competition_) R 18477 18480 17665 0 -1 4194368 18341 0 0 0 37 5 0 0 20 0 2 0 30752890 502632448 105954 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 490852 KiB
Current children cumulated memory: 423816 KiB

[startup+1.50021 s]
/proc/loadavg: 6.99 6.97 6.94 6/269 18482
/proc/meminfo: memFree=128115340/131249996 swapFree=33010684/33010684
[pid=18480] ppid=18477 vsize=578580 memory=542444 CPUtime=2.08 cores=1,3
/proc/18480/stat : 18480 (pb_competition_) R 18477 18480 17665 0 -1 4194304 131763 0 0 0 183 25 0 0 20 0 2 0 30752884 592465920 135611 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
/proc/18480/statm: 144645 135611 640 633 0 137439 0
[pid=18480/tid=18482] ppid=18477 vsize=578580 memory=17536 CPUtime=0.67 cores=1,3
/proc/18480/task/18482/stat : 18482 (pb_competition_) S 18477 18480 17665 0 -1 4194368 26348 0 0 0 61 6 0 0 20 0 2 0 30752890 592465920 135611 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
Current children cumulated CPU time: 2.08 s
Current children cumulated vsize: 578580 KiB
Current children cumulated memory: 542444 KiB

[startup+3.10553 s]
/proc/loadavg: 6.99 6.97 6.94 7/269 18482
/proc/meminfo: memFree=127881352/131249996 swapFree=33010684/33010684
[pid=18480] ppid=18477 vsize=751928 memory=714220 CPUtime=3.68 cores=1,3
/proc/18480/stat : 18480 (pb_competition_) R 18477 18480 17665 0 -1 4194304 219519 0 0 0 333 35 0 0 20 0 2 0 30752884 769974272 178555 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
/proc/18480/statm: 187982 178555 640 633 0 180776 0
[pid=18480/tid=18482] ppid=18477 vsize=751928 memory=559580 CPUtime=0.67 cores=1,3
/proc/18480/task/18482/stat : 18482 (pb_competition_) S 18477 18480 17665 0 -1 4194368 26348 0 0 0 61 6 0 0 20 0 2 0 30752890 769974272 178555 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
Current children cumulated CPU time: 3.68 s
Current children cumulated vsize: 751928 KiB
Current children cumulated memory: 714220 KiB

[startup+6.30021 s]
/proc/loadavg: 6.99 6.97 6.94 7/268 18482
/proc/meminfo: memFree=127566104/131249996 swapFree=33010684/33010684
[pid=18480] ppid=18477 vsize=1069628 memory=1033444 CPUtime=7.07 cores=1,3
/proc/18480/stat : 18480 (pb_competition_) R 18477 18480 17665 0 -1 4194304 334879 0 0 0 658 49 0 0 20 0 2 0 30752884 1095299072 258361 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
/proc/18480/statm: 267407 258361 640 633 0 260201 0
[pid=18480/tid=18482] ppid=18477 vsize=1069628 memory=17536 CPUtime=0.9 cores=1,3
/proc/18480/task/18482/stat : 18482 (pb_competition_) S 18477 18480 17665 0 -1 4194368 29308 0 0 0 83 7 0 0 20 0 2 0 30752890 1095299072 258361 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
Current children cumulated CPU time: 7.07 s
Current children cumulated vsize: 1069628 KiB
Current children cumulated memory: 1033444 KiB

[startup+12.7002 s]
/proc/loadavg: 6.91 6.96 6.93 8/268 18482
/proc/meminfo: memFree=127566112/131249996 swapFree=33010684/33010684
[pid=18480] ppid=18477 vsize=1069628 memory=1033444 CPUtime=14.32 cores=1,3
/proc/18480/stat : 18480 (pb_competition_) R 18477 18480 17665 0 -1 4194304 468763 0 0 0 1374 58 0 0 20 0 2 0 30752884 1095299072 258361 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
/proc/18480/statm: 267407 258361 640 633 0 260201 0
[pid=18480/tid=18482] ppid=18477 vsize=1069628 memory=1033444 CPUtime=1.78 cores=1,3
/proc/18480/task/18482/stat : 18482 (pb_competition_) S 18477 18480 17665 0 -1 4194368 32377 0 0 0 171 7 0 0 20 0 2 0 30752890 1095299072 258361 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
Current children cumulated CPU time: 14.32 s
Current children cumulated vsize: 1069628 KiB
Current children cumulated memory: 1033444 KiB

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

# cumulated CPU time of all completed processes:  user=14.9394 s, system=0.698537 s

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

[startup+12.8002 s]
/proc/loadavg: 6.91 6.96 6.93 8/268 18482
/proc/meminfo: memFree=127566112/131249996 swapFree=33010684/33010684
[pid=18480] ppid=18477 vsize=1069628 memory=1033444 CPUtime=14.46 cores=1,3
/proc/18480/stat : 18480 (pb_competition_) R 18477 18480 17665 0 -1 4194304 469897 0 0 0 1388 58 0 0 20 0 2 0 30752884 1095299072 258361 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
/proc/18480/statm: 267407 258361 640 633 0 260201 0
[pid=18480/tid=18482] ppid=18477 vsize=1069628 memory=1033444 CPUtime=1.81 cores=1,3
/proc/18480/task/18482/stat : 18482 (pb_competition_) R 18477 18480 17665 0 -1 4194368 32377 0 0 0 174 7 0 0 20 0 2 0 30752890 1095299072 258361 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
Current children cumulated CPU time: 14.46 s
Current children cumulated vsize: 1069628 KiB
Current children cumulated memory: 1033444 KiB

[startup+13.6002 s]
/proc/loadavg: 6.84 6.94 6.93 7/268 18482
/proc/meminfo: memFree=127566112/131249996 swapFree=33010684/33010684
[pid=18480] ppid=18477 vsize=1115680 memory=1079524 CPUtime=15.28 cores=1,3
/proc/18480/stat : 18480 (pb_competition_) R 18477 18480 17665 0 -1 4194304 536761 0 0 0 1465 63 0 0 20 0 2 0 30752884 1142456320 269881 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
/proc/18480/statm: 278920 269881 640 633 0 271714 0
[pid=18480/tid=18482] ppid=18477 vsize=1115680 memory=14592 CPUtime=1.84 cores=1,3
/proc/18480/task/18482/stat : 18482 (pb_competition_) S 18477 18480 17665 0 -1 4194368 32377 0 0 0 177 7 0 0 20 0 2 0 30752890 1142456320 269881 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
Current children cumulated CPU time: 15.28 s
Current children cumulated vsize: 1115680 KiB
Current children cumulated memory: 1079524 KiB

[startup+13.8002 s]
/proc/loadavg: 6.84 6.94 6.93 7/268 18482
/proc/meminfo: memFree=127566112/131249996 swapFree=33010684/33010684
[pid=18480] ppid=18477 vsize=1115680 memory=1079524 CPUtime=15.48 cores=1,3
/proc/18480/stat : 18480 (pb_competition_) R 18477 18480 17665 0 -1 4194304 560767 0 0 0 1483 65 0 0 20 0 2 0 30752884 1142456320 269881 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
/proc/18480/statm: 278920 269881 640 633 0 271714 0
[pid=18480/tid=18482] ppid=18477 vsize=1115680 memory=10752 CPUtime=1.84 cores=1,3
/proc/18480/task/18482/stat : 18482 (pb_competition_) S 18477 18480 17665 0 -1 4194368 32377 0 0 0 177 7 0 0 20 0 2 0 30752890 1142456320 269881 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
Current children cumulated CPU time: 15.48 s
Current children cumulated vsize: 1115680 KiB
Current children cumulated memory: 1079524 KiB

[startup+13.9002 s]
/proc/loadavg: 6.84 6.94 6.93 7/268 18482
/proc/meminfo: memFree=127566112/131249996 swapFree=33010684/33010684
[pid=18480] ppid=18477 vsize=940948 memory=904876 CPUtime=15.58 cores=1,3
/proc/18480/stat : 18480 (pb_competition_) R 18477 18480 17665 0 -1 4194304 585252 0 0 0 1492 66 0 0 20 0 2 0 30752884 963530752 226219 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
/proc/18480/statm: 235237 226219 640 633 0 228031 0
[pid=18480/tid=18482] ppid=18477 vsize=940948 memory=1033444 CPUtime=1.84 cores=1,3
/proc/18480/task/18482/stat : 18482 (pb_competition_) S 18477 18480 17665 0 -1 4194368 32377 0 0 0 177 7 0 0 20 0 2 0 30752890 963530752 226219 18446744073709551615 4198400 6788177 140730653137888 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 11304960 140730653141338 140730653141464 140730653141464 140730653147066 0
Current children cumulated CPU time: 15.58 s
Current children cumulated vsize: 940948 KiB
Current children cumulated memory: 904876 KiB

Child status: 0

Real time (s): 13.9506
CPU time (s): 15.638
CPU user time (s): 14.9394
CPU system time (s): 0.698537
CPU usage (%): 112.095
Max. virtual memory (cumulated for all children) (KiB): 1115680
Max. memory (cumulated for all children) (KiB): 1079524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.9394
system time used= 0.698537
maximum resident set size= 1079524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 594606
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= 1230
involuntary context switches= 186


# summary of solver processes directly reported to runsolver:
#   pid: 18480
#   total CPU time (s): 15.638
#   total CPU user time (s): 14.9394
#   total CPU system time (s): 0.698537

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035941 second user time and 0.099812 second system time

The end