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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494306-1751150768/watcher-4494306-1751150768 -o /tmp/evaluation-result-4494306-1751150768/solver-4494306-1751150768 -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 1245898712 HOME/instance-4494306-1751150768.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=18526, runsolver pid=18523

[startup+0.100063 s]*
/proc/loadavg: 6.84 6.94 6.93 8/268 18528
/proc/meminfo: memFree=128415988/131249996 swapFree=33010684/33010684
[pid=18526] ppid=18523 vsize=144080 memory=71652 CPUtime=0.14 cores=1,3
/proc/18526/stat : 18526 (pb_competition_) R 18523 18526 17665 0 -1 4194304 11838 0 0 0 11 3 0 0 20 0 2 0 30754510 147537920 17913 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
/proc/18526/statm: 36020 17913 576 633 0 21165 0
[pid=18526/tid=18528] ppid=18523 vsize=144080 memory=4026531960 CPUtime=0.04 cores=1,3
/proc/18526/task/18528/stat : 18528 (pb_competition_) R 18523 18526 17665 0 -1 4194368 2316 0 0 0 4 0 0 0 20 0 2 0 30754515 147537920 17913 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 144080 KiB
Current children cumulated memory: 71652 KiB

[startup+0.205703 s]*
/proc/loadavg: 6.84 6.94 6.93 6/268 18528
/proc/meminfo: memFree=128375668/131249996 swapFree=33010684/33010684
[pid=18526] ppid=18523 vsize=162824 memory=109284 CPUtime=0.34 cores=1,3
/proc/18526/stat : 18526 (pb_competition_) R 18523 18526 17665 0 -1 4194304 21231 0 0 0 29 5 0 0 20 0 2 0 30754510 166731776 27321 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
/proc/18526/statm: 40706 27321 576 633 0 30569 0
[pid=18526/tid=18528] ppid=18523 vsize=162824 memory=664958721904869660 CPUtime=0.14 cores=1,3
/proc/18526/task/18528/stat : 18528 (pb_competition_) R 18523 18526 17665 0 -1 4194368 7035 0 0 0 13 1 0 0 20 0 2 0 30754515 166731776 27321 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 162824 KiB
Current children cumulated memory: 109284 KiB

[startup+0.305678 s]*
/proc/loadavg: 6.84 6.94 6.93 8/268 18528
/proc/meminfo: memFree=128335348/131249996 swapFree=33010684/33010684
[pid=18526] ppid=18523 vsize=180380 memory=144612 CPUtime=0.53 cores=1,3
/proc/18526/stat : 18526 (pb_competition_) R 18523 18526 17665 0 -1 4194304 30074 0 0 0 47 6 0 0 20 0 2 0 30754510 184709120 36153 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
/proc/18526/statm: 45095 36153 576 633 0 39407 0
[pid=18526/tid=18528] ppid=18523 vsize=180380 memory=7970388949395258223 CPUtime=0.25 cores=1,3
/proc/18526/task/18528/stat : 18528 (pb_competition_) R 18523 18526 17665 0 -1 4194368 11484 0 0 0 23 2 0 0 20 0 2 0 30754515 184709120 36153 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 180380 KiB
Current children cumulated memory: 144612 KiB

[startup+0.700224 s]
/proc/loadavg: 6.84 6.94 6.93 7/268 18528
/proc/meminfo: memFree=128213488/131249996 swapFree=33010684/33010684
[pid=18526] ppid=18523 vsize=490456 memory=423296 CPUtime=1.06 cores=1,3
/proc/18526/stat : 18526 (pb_competition_) R 18523 18526 17665 0 -1 4194304 59023 0 0 0 92 14 0 0 20 0 2 0 30754510 502226944 105824 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
/proc/18526/statm: 122614 105824 608 633 0 107350 0
[pid=18526/tid=18528] ppid=18523 vsize=490456 memory=17536 CPUtime=0.42 cores=1,3
/proc/18526/task/18528/stat : 18528 (pb_competition_) R 18523 18526 17665 0 -1 4194368 18290 0 0 0 38 4 0 0 20 0 2 0 30754515 502226944 105824 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 490456 KiB
Current children cumulated memory: 423296 KiB

[startup+1.50021 s]
/proc/loadavg: 6.84 6.94 6.93 7/269 18529
/proc/meminfo: memFree=128092852/131249996 swapFree=33010684/33010684
[pid=18526] ppid=18523 vsize=578444 memory=542060 CPUtime=2.06 cores=1,3
/proc/18526/stat : 18526 (pb_competition_) R 18523 18526 17665 0 -1 4194304 130654 0 0 0 182 24 0 0 20 0 2 0 30754510 592326656 135515 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
/proc/18526/statm: 144611 135515 640 633 0 137405 0
[pid=18526/tid=18528] ppid=18523 vsize=578444 memory=17536 CPUtime=0.67 cores=1,3
/proc/18526/task/18528/stat : 18528 (pb_competition_) S 18523 18526 17665 0 -1 4194368 26348 0 0 0 61 6 0 0 20 0 2 0 30754515 592326656 135515 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
Current children cumulated CPU time: 2.06 s
Current children cumulated vsize: 578444 KiB
Current children cumulated memory: 542060 KiB

[startup+3.10566 s]
/proc/loadavg: 6.69 6.91 6.92 6/269 18529
/proc/meminfo: memFree=127875124/131249996 swapFree=33010684/33010684
[pid=18526] ppid=18523 vsize=751916 memory=711784 CPUtime=3.65 cores=1,3
/proc/18526/stat : 18526 (pb_competition_) R 18523 18526 17665 0 -1 4194304 216290 0 0 0 333 32 0 0 20 0 2 0 30754510 769961984 177946 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
/proc/18526/statm: 187979 177946 640 633 0 180773 0
[pid=18526/tid=18528] ppid=18523 vsize=751916 memory=558600 CPUtime=0.67 cores=1,3
/proc/18526/task/18528/stat : 18528 (pb_competition_) S 18523 18526 17665 0 -1 4194368 26348 0 0 0 61 6 0 0 20 0 2 0 30754515 769961984 177946 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
Current children cumulated CPU time: 3.65 s
Current children cumulated vsize: 751916 KiB
Current children cumulated memory: 711784 KiB

[startup+6.3002 s]
/proc/loadavg: 6.69 6.91 6.92 7/269 18529
/proc/meminfo: memFree=127568180/131249996 swapFree=33010684/33010684
[pid=18526] ppid=18523 vsize=1069748 memory=1033232 CPUtime=7.04 cores=1,3
/proc/18526/stat : 18526 (pb_competition_) R 18523 18526 17665 0 -1 4194304 330673 0 0 0 657 47 0 0 20 0 2 0 30754510 1095421952 258308 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
/proc/18526/statm: 267437 258308 640 633 0 260231 0
[pid=18526/tid=18528] ppid=18523 vsize=1069748 memory=17536 CPUtime=0.89 cores=1,3
/proc/18526/task/18528/stat : 18528 (pb_competition_) S 18523 18526 17665 0 -1 4194368 29285 0 0 0 82 7 0 0 20 0 2 0 30754515 1095421952 258308 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
Current children cumulated CPU time: 7.04 s
Current children cumulated vsize: 1069748 KiB
Current children cumulated memory: 1033232 KiB

[startup+12.7002 s]
/proc/loadavg: 6.66 6.90 6.91 7/269 18529
/proc/meminfo: memFree=127568420/131249996 swapFree=33010684/33010684
[pid=18526] ppid=18523 vsize=1069748 memory=1033232 CPUtime=14.19 cores=1,3
/proc/18526/stat : 18526 (pb_competition_) R 18523 18526 17665 0 -1 4194304 462321 0 0 0 1364 55 0 0 20 0 2 0 30754510 1095421952 258308 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
/proc/18526/statm: 267437 258308 640 633 0 260231 0
[pid=18526/tid=18528] ppid=18523 vsize=1069748 memory=1033232 CPUtime=1.66 cores=1,3
/proc/18526/task/18528/stat : 18528 (pb_competition_) S 18523 18526 17665 0 -1 4194368 31806 0 0 0 159 7 0 0 20 0 2 0 30754515 1095421952 258308 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
Current children cumulated CPU time: 14.19 s
Current children cumulated vsize: 1069748 KiB
Current children cumulated memory: 1033232 KiB

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

# cumulated CPU time of all completed processes:  user=15.8242 s, system=0.660497 s

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

[startup+12.8003 s]
/proc/loadavg: 6.66 6.90 6.91 7/269 18529
/proc/meminfo: memFree=127568420/131249996 swapFree=33010684/33010684
[pid=18526] ppid=18523 vsize=1069748 memory=1033232 CPUtime=14.3 cores=1,3
/proc/18526/stat : 18526 (pb_competition_) R 18523 18526 17665 0 -1 4194304 463146 0 0 0 1375 55 0 0 20 0 2 0 30754510 1095421952 258308 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
/proc/18526/statm: 267437 258308 640 633 0 260231 0
[pid=18526/tid=18528] ppid=18523 vsize=1069748 memory=1033232 CPUtime=1.67 cores=1,3
/proc/18526/task/18528/stat : 18528 (pb_competition_) S 18523 18526 17665 0 -1 4194368 31844 0 0 0 160 7 0 0 20 0 2 0 30754515 1095421952 258308 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
Current children cumulated CPU time: 14.3 s
Current children cumulated vsize: 1069748 KiB
Current children cumulated memory: 1033232 KiB

[startup+13.6002 s]
/proc/loadavg: 6.66 6.90 6.91 8/269 18529
/proc/meminfo: memFree=127568420/131249996 swapFree=33010684/33010684
[pid=18526] ppid=18523 vsize=1069748 memory=1033232 CPUtime=15.26 cores=1,3
/proc/18526/stat : 18526 (pb_competition_) R 18523 18526 17665 0 -1 4194304 491981 0 0 0 1469 57 0 0 20 0 2 0 30754510 1095421952 258308 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
/proc/18526/statm: 267437 258308 640 633 0 260231 0
[pid=18526/tid=18528] ppid=18523 vsize=1069748 memory=14592 CPUtime=1.83 cores=1,3
/proc/18526/task/18528/stat : 18528 (pb_competition_) S 18523 18526 17665 0 -1 4194368 31870 0 0 0 176 7 0 0 20 0 2 0 30754515 1095421952 258308 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
Current children cumulated CPU time: 15.26 s
Current children cumulated vsize: 1069748 KiB
Current children cumulated memory: 1033232 KiB

[startup+14.4002 s]
/proc/loadavg: 6.66 6.90 6.91 7/269 18529
/proc/meminfo: memFree=127515684/131249996 swapFree=33010684/33010684
[pid=18526] ppid=18523 vsize=1115792 memory=1079396 CPUtime=16.12 cores=1,3
/proc/18526/stat : 18526 (pb_competition_) R 18523 18526 17665 0 -1 4194304 529654 0 0 0 1552 60 0 0 20 0 2 0 30754510 1142571008 269849 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
/proc/18526/statm: 278948 269849 640 633 0 271742 0
[pid=18526/tid=18528] ppid=18523 vsize=1115792 memory=1033232 CPUtime=1.89 cores=1,3
/proc/18526/task/18528/stat : 18528 (pb_competition_) S 18523 18526 17665 0 -1 4194368 31870 0 0 0 182 7 0 0 20 0 2 0 30754515 1142571008 269849 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
Current children cumulated CPU time: 16.12 s
Current children cumulated vsize: 1115792 KiB
Current children cumulated memory: 1079396 KiB

[startup+14.6002 s]
/proc/loadavg: 6.66 6.90 6.91 7/269 18529
/proc/meminfo: memFree=127515684/131249996 swapFree=33010684/33010684
[pid=18526] ppid=18523 vsize=1115792 memory=1079396 CPUtime=16.32 cores=1,3
/proc/18526/stat : 18526 (pb_competition_) R 18523 18526 17665 0 -1 4194304 555296 0 0 0 1571 61 0 0 20 0 2 0 30754510 1142571008 269849 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
/proc/18526/statm: 278948 269849 640 633 0 271742 0
[pid=18526/tid=18528] ppid=18523 vsize=1115792 memory=17536 CPUtime=1.89 cores=1,3
/proc/18526/task/18528/stat : 18528 (pb_competition_) S 18523 18526 17665 0 -1 4194368 31870 0 0 0 182 7 0 0 20 0 2 0 30754515 1142571008 269849 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
Current children cumulated CPU time: 16.32 s
Current children cumulated vsize: 1115792 KiB
Current children cumulated memory: 1079396 KiB

[startup+14.7002 s]
/proc/loadavg: 6.66 6.90 6.91 7/269 18529
/proc/meminfo: memFree=127515684/131249996 swapFree=33010684/33010684
[pid=18526] ppid=18523 vsize=941060 memory=904708 CPUtime=16.41 cores=1,3
/proc/18526/stat : 18526 (pb_competition_) R 18523 18526 17665 0 -1 4194304 572825 0 0 0 1579 62 0 0 20 0 2 0 30754510 963645440 226177 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
/proc/18526/statm: 235265 226177 640 633 0 228059 0
[pid=18526/tid=18528] ppid=18523 vsize=941060 memory=1033232 CPUtime=1.89 cores=1,3
/proc/18526/task/18528/stat : 18528 (pb_competition_) S 18523 18526 17665 0 -1 4194368 31870 0 0 0 182 7 0 0 20 0 2 0 30754515 963645440 226177 18446744073709551615 4198400 6788177 140737041302000 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14118912 140737041303897 140737041304024 140737041304024 140737041309626 0
Current children cumulated CPU time: 16.41 s
Current children cumulated vsize: 941060 KiB
Current children cumulated memory: 904708 KiB

Child status: 0

Real time (s): 14.7627
CPU time (s): 16.4847
CPU user time (s): 15.8242
CPU system time (s): 0.660497
CPU usage (%): 111.664
Max. virtual memory (cumulated for all children) (KiB): 1115792
Max. memory (cumulated for all children) (KiB): 1079396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.8242
system time used= 0.660497
maximum resident set size= 1079396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 588392
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= 1285
involuntary context switches= 184


# summary of solver processes directly reported to runsolver:
#   pid: 18526
#   total CPU time (s): 16.4847
#   total CPU user time (s): 15.8242
#   total CPU system time (s): 0.660497

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032069 second user time and 0.112075 second system time

The end