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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494018-1751150640/watcher-4494018-1751150640 -o /tmp/evaluation-result-4494018-1751150640/solver-4494018-1751150640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751145166-15174 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 997750810 HOME/instance-4494018-1751150640.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=15994, runsolver pid=15991

[startup+0.100067 s]*
/proc/loadavg: 6.97 7.39 7.23 9/255 15996
/proc/meminfo: memFree=130132404/131382120 swapFree=33010684/33010684
[pid=15994] ppid=15991 vsize=145268 memory=66448 CPUtime=0.15 cores=1,3
/proc/15994/stat : 15994 (pb_competition_) R 15991 15994 15162 0 -1 4194304 10548 0 0 0 12 3 0 0 20 0 2 0 30743092 148754432 16612 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
/proc/15994/statm: 36317 16612 576 633 0 19848 0
[pid=15994/tid=15996] ppid=15991 vsize=145268 memory=4026531960 CPUtime=0.04 cores=1,3
/proc/15994/task/15996/stat : 15996 (pb_competition_) R 15991 15994 15162 0 -1 4194368 701 0 0 0 4 0 0 0 20 0 2 0 30743098 148754432 16612 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 145268 KiB
Current children cumulated memory: 66448 KiB

[startup+0.216347 s]*
/proc/loadavg: 6.97 7.39 7.23 8/255 15996
/proc/meminfo: memFree=130109220/131382120 swapFree=33010684/33010684
[pid=15994] ppid=15991 vsize=164276 memory=91792 CPUtime=0.37 cores=1,3
/proc/15994/stat : 15994 (pb_competition_) R 15991 15994 15162 0 -1 4194304 16888 0 0 0 33 4 0 0 20 0 2 0 30743092 168218624 22948 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
/proc/15994/statm: 41069 22948 576 633 0 26167 0
[pid=15994/tid=15996] ppid=15991 vsize=164276 memory=664958721904869660 CPUtime=0.13 cores=1,3
/proc/15994/task/15996/stat : 15996 (pb_competition_) R 15991 15994 15162 0 -1 4194368 2268 0 0 0 13 0 0 0 20 0 2 0 30743098 168218624 22980 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 164276 KiB
Current children cumulated memory: 91792 KiB

[startup+0.31606 s]*
/proc/loadavg: 6.97 7.39 7.23 9/255 15996
/proc/meminfo: memFree=130085028/131382120 swapFree=33010684/33010684
[pid=15994] ppid=15991 vsize=180116 memory=112912 CPUtime=0.55 cores=1,3
/proc/15994/stat : 15994 (pb_competition_) R 15991 15994 15162 0 -1 4194304 22111 0 0 0 49 6 0 0 20 0 2 0 30743092 184438784 28196 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
/proc/15994/statm: 45029 28196 576 633 0 31411 0
[pid=15994/tid=15996] ppid=15991 vsize=180116 memory=7969833713152639603 CPUtime=0.22 cores=1,3
/proc/15994/task/15996/stat : 15996 (pb_competition_) R 15991 15994 15162 0 -1 4194368 3552 0 0 0 21 1 0 0 20 0 2 0 30743098 184438784 28228 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 180116 KiB
Current children cumulated memory: 112912 KiB

[startup+0.700243 s]
/proc/loadavg: 6.97 7.39 7.23 8/255 15996
/proc/meminfo: memFree=130060836/131382120 swapFree=33010684/33010684
[pid=15994] ppid=15991 vsize=189356 memory=144272 CPUtime=0.94 cores=1,3
/proc/15994/stat : 15994 (pb_competition_) S 15991 15994 15162 0 -1 4194304 29970 0 0 0 85 9 0 0 20 0 2 0 30743092 193900544 36068 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
/proc/15994/statm: 47339 36068 576 633 0 39273 0
[pid=15994/tid=15996] ppid=15991 vsize=189356 memory=17152 CPUtime=0.56 cores=1,3
/proc/15994/task/15996/stat : 15996 (pb_competition_) R 15991 15994 15162 0 -1 4194368 9104 0 0 0 52 4 0 0 20 0 2 0 30743098 193900544 36068 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 189356 KiB
Current children cumulated memory: 144272 KiB

[startup+1.50026 s]
/proc/loadavg: 6.97 7.38 7.23 7/255 15996
/proc/meminfo: memFree=130020768/131382120 swapFree=33010684/33010684
[pid=15994] ppid=15991 vsize=494284 memory=431780 CPUtime=1.99 cores=1,3
/proc/15994/stat : 15994 (pb_competition_) R 15991 15994 15162 0 -1 4194304 64971 0 0 0 178 21 0 0 20 0 2 0 30743092 506146816 107945 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
/proc/15994/statm: 123571 107945 608 633 0 109491 0
[pid=15994/tid=15996] ppid=15991 vsize=494284 memory=17152 CPUtime=1.06 cores=1,3
/proc/15994/task/15996/stat : 15996 (pb_competition_) R 15991 15994 15162 0 -1 4194368 20691 0 0 0 98 8 0 0 20 0 2 0 30743098 506146816 107945 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 494284 KiB
Current children cumulated memory: 431780 KiB

[startup+3.11319 s]
/proc/loadavg: 6.97 7.38 7.23 8/255 15996
/proc/meminfo: memFree=129618056/131382120 swapFree=33010684/33010684
[pid=15994] ppid=15991 vsize=751928 memory=714044 CPUtime=3.93 cores=1,3
/proc/15994/stat : 15994 (pb_competition_) R 15991 15994 15162 0 -1 4194304 161220 0 0 0 355 38 0 0 20 0 2 0 30743092 769974272 178511 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
/proc/15994/statm: 187982 178511 672 633 0 180776 0
[pid=15994/tid=15996] ppid=15991 vsize=751928 memory=476452 CPUtime=1.41 cores=1,3
/proc/15994/task/15996/stat : 15996 (pb_competition_) S 15991 15994 15162 0 -1 4194368 33629 0 0 0 130 11 0 0 20 0 2 0 30743098 769974272 178511 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
Current children cumulated CPU time: 3.93 s
Current children cumulated vsize: 751928 KiB
Current children cumulated memory: 714044 KiB

[startup+6.30033 s]
/proc/loadavg: 6.98 7.37 7.23 7/255 15996
/proc/meminfo: memFree=129274388/131382120 swapFree=33010684/33010684
[pid=15994] ppid=15991 vsize=1069632 memory=1033212 CPUtime=7.27 cores=1,3
/proc/15994/stat : 15994 (pb_competition_) R 15991 15994 15162 0 -1 4194304 315947 0 0 0 673 54 0 0 20 0 2 0 30743092 1095303168 258303 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
/proc/15994/statm: 267408 258303 672 633 0 260202 0
[pid=15994/tid=15996] ppid=15991 vsize=1069632 memory=17152 CPUtime=1.62 cores=1,3
/proc/15994/task/15996/stat : 15996 (pb_competition_) S 15991 15994 15162 0 -1 4194368 36358 0 0 0 150 12 0 0 20 0 2 0 30743098 1095303168 258303 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
Current children cumulated CPU time: 7.27 s
Current children cumulated vsize: 1069632 KiB
Current children cumulated memory: 1033212 KiB

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

# cumulated CPU time of all completed processes:  user=13.1313 s, system=0.74283 s

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

[startup+6.40041 s]
/proc/loadavg: 6.98 7.37 7.23 7/255 15996
/proc/meminfo: memFree=129274388/131382120 swapFree=33010684/33010684
[pid=15994] ppid=15991 vsize=1069632 memory=1033212 CPUtime=7.39 cores=1,3
/proc/15994/stat : 15994 (pb_competition_) R 15991 15994 15162 0 -1 4194304 315947 0 0 0 685 54 0 0 20 0 2 0 30743092 1095303168 258303 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
/proc/15994/statm: 267408 258303 672 633 0 260202 0
[pid=15994/tid=15996] ppid=15991 vsize=1069632 memory=714044 CPUtime=1.64 cores=1,3
/proc/15994/task/15996/stat : 15996 (pb_competition_) S 15991 15994 15162 0 -1 4194368 36358 0 0 0 152 12 0 0 20 0 2 0 30743098 1095303168 258303 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
Current children cumulated CPU time: 7.39 s
Current children cumulated vsize: 1069632 KiB
Current children cumulated memory: 1033212 KiB

[startup+9.60029 s]
/proc/loadavg: 6.98 7.37 7.23 7/255 15996
/proc/meminfo: memFree=129280892/131382120 swapFree=33010684/33010684
[pid=15994] ppid=15991 vsize=1069632 memory=1033212 CPUtime=10.77 cores=1,3
/proc/15994/stat : 15994 (pb_competition_) R 15991 15994 15162 0 -1 4194304 386148 0 0 0 1020 57 0 0 20 0 2 0 30743092 1095303168 258303 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
/proc/15994/statm: 267408 258303 672 633 0 260202 0
[pid=15994/tid=15996] ppid=15991 vsize=1069632 memory=976168 CPUtime=1.85 cores=1,3
/proc/15994/task/15996/stat : 15996 (pb_competition_) S 15991 15994 15162 0 -1 4194368 36691 0 0 0 173 12 0 0 20 0 2 0 30743098 1095303168 258303 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
Current children cumulated CPU time: 10.77 s
Current children cumulated vsize: 1069632 KiB
Current children cumulated memory: 1033212 KiB

[startup+11.2003 s]
/proc/loadavg: 6.90 7.35 7.22 8/255 15996
/proc/meminfo: memFree=129280892/131382120 swapFree=33010684/33010684
[pid=15994] ppid=15991 vsize=1115672 memory=1079228 CPUtime=13.1 cores=1,3
/proc/15994/stat : 15994 (pb_competition_) R 15991 15994 15162 0 -1 4194304 435258 0 0 0 1249 61 0 0 20 0 2 0 30743092 1142448128 269807 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
/proc/15994/statm: 278918 269807 672 633 0 271712 0
[pid=15994/tid=15996] ppid=15991 vsize=1115672 memory=7969833713152639603 CPUtime=2.58 cores=1,3
/proc/15994/task/15996/stat : 15996 (pb_competition_) S 15991 15994 15162 0 -1 4194368 39344 0 0 0 246 12 0 0 20 0 2 0 30743098 1142448128 269807 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
Current children cumulated CPU time: 13.1 s
Current children cumulated vsize: 1115672 KiB
Current children cumulated memory: 1079228 KiB

[startup+11.6003 s]
/proc/loadavg: 6.90 7.35 7.22 8/255 15996
/proc/meminfo: memFree=129280892/131382120 swapFree=33010684/33010684
[pid=15994] ppid=15991 vsize=1115672 memory=1079228 CPUtime=13.5 cores=1,3
/proc/15994/stat : 15994 (pb_competition_) R 15991 15994 15162 0 -1 4194304 468566 0 0 0 1287 63 0 0 20 0 2 0 30743092 1142448128 269807 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
/proc/15994/statm: 278918 269807 672 633 0 271712 0
[pid=15994/tid=15996] ppid=15991 vsize=1115672 memory=1033212 CPUtime=2.59 cores=1,3
/proc/15994/task/15996/stat : 15996 (pb_competition_) S 15991 15994 15162 0 -1 4194368 39344 0 0 0 247 12 0 0 20 0 2 0 30743098 1142448128 269807 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
Current children cumulated CPU time: 13.5 s
Current children cumulated vsize: 1115672 KiB
Current children cumulated memory: 1079228 KiB

[startup+11.8003 s]
/proc/loadavg: 6.90 7.35 7.22 8/255 15996
/proc/meminfo: memFree=129280892/131382120 swapFree=33010684/33010684
[pid=15994] ppid=15991 vsize=1115672 memory=1079228 CPUtime=13.7 cores=1,3
/proc/15994/stat : 15994 (pb_competition_) R 15991 15994 15162 0 -1 4194304 495956 0 0 0 1306 64 0 0 20 0 2 0 30743092 1142448128 269807 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
/proc/15994/statm: 278918 269807 672 633 0 271712 0
[pid=15994/tid=15996] ppid=15991 vsize=1115672 memory=132 CPUtime=2.59 cores=1,3
/proc/15994/task/15996/stat : 15996 (pb_competition_) S 15991 15994 15162 0 -1 4194368 39344 0 0 0 247 12 0 0 20 0 2 0 30743098 1142448128 269807 18446744073709551615 4198400 6788177 140736558374096 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 30121984 140736558377306 140736558377432 140736558377432 140736558383034 0
Current children cumulated CPU time: 13.7 s
Current children cumulated vsize: 1115672 KiB
Current children cumulated memory: 1079228 KiB

[startup+11.9005 s]*
/proc/loadavg: 6.90 7.35 7.22 8/255 15996
/proc/meminfo: memFree=129353104/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): 11.988
CPU time (s): 13.8741
CPU user time (s): 13.1313
CPU system time (s): 0.74283
CPU usage (%): 115.734
Max. virtual memory (cumulated for all children) (KiB): 1115672
Max. memory (cumulated for all children) (KiB): 1079228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.1313
system time used= 0.74283
maximum resident set size= 1079228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 529639
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= 960
involuntary context switches= 247


# summary of solver processes directly reported to runsolver:
#   pid: 15994
#   total CPU time (s): 13.8741
#   total CPU user time (s): 13.1313
#   total CPU system time (s): 0.74283

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.089012 second user time and 0.183325 second system time

The end