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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522357-1751582067/watcher-4522357-1751582067 -o /tmp/evaluation-result-4522357-1751582067/solver-4522357-1751582067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751578094-90104 --watchdog 3760 mixed-bag HOME/instance-4522357-1751582067.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=91283, runsolver pid=91280

[startup+0.10007 s]*
/proc/loadavg: 4.05 4.08 4.09 5/264 91284
/proc/meminfo: memFree=125336468/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=110256 memory=30100 CPUtime=0.08 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 6351 0 0 0 7 1 0 0 20 0 1 0 73884544 112902144 7525 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 27564 7525 2240 2842 0 9258 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 110256 KiB
Current children cumulated memory: 30100 KiB

[startup+0.205618 s]*
/proc/loadavg: 4.05 4.08 4.09 5/264 91284
/proc/meminfo: memFree=125296400/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=146540 memory=71892 CPUtime=0.19 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 15666 0 0 0 16 3 0 0 20 0 1 0 73884544 150056960 17973 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 36635 17973 4064 2842 0 18329 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 146540 KiB
Current children cumulated memory: 71892 KiB

[startup+0.305558 s]*
/proc/loadavg: 4.05 4.08 4.09 5/264 91284
/proc/meminfo: memFree=125296400/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=159272 memory=84616 CPUtime=0.28 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 20144 0 0 0 25 3 0 0 20 0 1 0 73884544 163094528 21154 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 39818 21154 4064 2842 0 21512 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 159272 KiB
Current children cumulated memory: 84616 KiB

[startup+0.700191 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 91284
/proc/meminfo: memFree=125296700/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=165956 memory=91016 CPUtime=0.68 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 21759 0 0 0 64 4 0 0 20 0 1 0 73884544 169938944 22754 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 41489 22754 4064 2842 0 23183 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 165956 KiB
Current children cumulated memory: 91016 KiB

[startup+1.50018 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 91284
/proc/meminfo: memFree=125296700/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=165956 memory=91144 CPUtime=1.47 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 21760 0 0 0 143 4 0 0 20 0 1 0 73884544 169938944 22786 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 41489 22786 4096 2842 0 23183 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 165956 KiB
Current children cumulated memory: 91144 KiB

[startup+3.10549 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 91284
/proc/meminfo: memFree=125292920/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=171380 memory=96008 CPUtime=3.07 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 22972 0 0 0 303 4 0 0 20 0 1 0 73884544 175493120 24002 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 42845 24002 4096 2842 0 24539 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 171380 KiB
Current children cumulated memory: 96008 KiB

[startup+6.30017 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 91284
/proc/meminfo: memFree=125189916/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=268936 memory=185312 CPUtime=6.25 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 40379 0 0 0 617 8 0 0 20 0 1 0 73884544 275390464 46328 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 67234 46328 4256 2842 0 48928 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 268936 KiB
Current children cumulated memory: 185312 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 91284
/proc/meminfo: memFree=125109168/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=269620 memory=185952 CPUtime=12.63 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 40500 0 0 0 1255 8 0 0 20 0 1 0 73884544 276090880 46488 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 67405 46488 4288 2842 0 49099 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 269620 KiB
Current children cumulated memory: 185952 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.10 4.09 5/264 91284
/proc/meminfo: memFree=124848496/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=311820 memory=224224 CPUtime=25.4 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 50084 0 0 0 2530 10 0 0 20 0 1 0 73884544 319303680 56056 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 77955 56056 4288 2842 0 59649 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 311820 KiB
Current children cumulated memory: 224224 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 91330
/proc/meminfo: memFree=124402688/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=311820 memory=224608 CPUtime=50.93 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 50178 0 0 0 5083 10 0 0 20 0 1 0 73884544 319303680 56152 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 77955 56152 4288 2842 0 59649 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 311820 KiB
Current children cumulated memory: 224608 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 91332
/proc/meminfo: memFree=121643584/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=311820 memory=224608 CPUtime=101.97 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 50184 0 0 0 10187 10 0 0 20 0 1 0 73884544 319303680 56152 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 77955 56152 4288 2842 0 59649 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 311820 KiB
Current children cumulated memory: 224608 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 91334
/proc/meminfo: memFree=120888228/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=326840 memory=241344 CPUtime=161.78 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 63106 0 0 0 16166 12 0 0 20 0 1 0 73884544 334684160 60336 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 81710 60336 4288 2842 0 63404 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 326840 KiB
Current children cumulated memory: 241344 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 91336
/proc/meminfo: memFree=119664584/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=371280 memory=281920 CPUtime=221.61 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 79479 0 0 0 22145 16 0 0 20 0 1 0 73884544 380190720 70480 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 92820 70480 4288 2842 0 74514 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 371280 KiB
Current children cumulated memory: 281920 KiB

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

# cumulated CPU time of all completed processes:  user=242.438 s, system=0.176419 s

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

[startup+230.4 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 91337
/proc/meminfo: memFree=119638660/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=371280 memory=281920 CPUtime=229.68 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 79479 0 0 0 22952 16 0 0 20 0 1 0 73884544 380190720 70480 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 92820 70480 4288 2842 0 74514 0
Current children cumulated CPU time: 229.68 s
Current children cumulated vsize: 371280 KiB
Current children cumulated memory: 281920 KiB

[startup+236.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 91337
/proc/meminfo: memFree=119635160/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=371280 memory=283328 CPUtime=236.06 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 79821 0 0 0 23590 16 0 0 20 0 1 0 73884544 380190720 70832 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 92820 70832 4288 2842 0 74514 0
Current children cumulated CPU time: 236.06 s
Current children cumulated vsize: 371280 KiB
Current children cumulated memory: 283328 KiB

[startup+240 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 91337
/proc/meminfo: memFree=119620824/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=371280 memory=283328 CPUtime=239.26 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 79821 0 0 0 23910 16 0 0 20 0 1 0 73884544 380190720 70832 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 92820 70832 4288 2842 0 74514 0
Current children cumulated CPU time: 239.26 s
Current children cumulated vsize: 371280 KiB
Current children cumulated memory: 283328 KiB

[startup+241.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 91337
/proc/meminfo: memFree=119616728/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=371280 memory=283328 CPUtime=240.84 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 79821 0 0 0 24068 16 0 0 20 0 1 0 73884544 380190720 70832 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 92820 70832 4288 2842 0 74514 0
Current children cumulated CPU time: 240.84 s
Current children cumulated vsize: 371280 KiB
Current children cumulated memory: 283328 KiB

[startup+242.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 91337
/proc/meminfo: memFree=119608536/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=371280 memory=283328 CPUtime=241.64 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 79821 0 0 0 24148 16 0 0 20 0 1 0 73884544 380190720 70832 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 92820 70832 4288 2842 0 74514 0
Current children cumulated CPU time: 241.64 s
Current children cumulated vsize: 371280 KiB
Current children cumulated memory: 283328 KiB

[startup+242.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 91337
/proc/meminfo: memFree=119608536/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=371280 memory=283328 CPUtime=242.04 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 79821 0 0 0 24188 16 0 0 20 0 1 0 73884544 380190720 70832 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 92820 70832 4288 2842 0 74514 0
Current children cumulated CPU time: 242.04 s
Current children cumulated vsize: 371280 KiB
Current children cumulated memory: 283328 KiB

[startup+243.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 91337
/proc/meminfo: memFree=119604440/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=371280 memory=283328 CPUtime=242.44 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 79821 0 0 0 24228 16 0 0 20 0 1 0 73884544 380190720 70832 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 92820 70832 4288 2842 0 74514 0
Current children cumulated CPU time: 242.44 s
Current children cumulated vsize: 371280 KiB
Current children cumulated memory: 283328 KiB

[startup+243.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 91337
/proc/meminfo: memFree=119604440/131250000 swapFree=33010416/33010684
[pid=91283] ppid=91280 vsize=371280 memory=283328 CPUtime=242.54 cores=5,7
/proc/91283/stat : 91283 (mixed-bag) R 91280 91283 90091 0 -1 4194304 79821 0 0 0 24238 16 0 0 20 0 1 0 73884544 380190720 70832 18446744073709551615 4235264 15874749 140731879591456 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 44470272 140731879594396 140731879594473 140731879594473 140731879600075 0
/proc/91283/statm: 92820 70832 4288 2842 0 74514 0
Current children cumulated CPU time: 242.54 s
Current children cumulated vsize: 371280 KiB
Current children cumulated memory: 283328 KiB

Child status: 0

Real time (s): 243.367
CPU time (s): 242.614
CPU user time (s): 242.438
CPU system time (s): 0.176419
CPU usage (%): 99.6908
Max. virtual memory (cumulated for all children) (KiB): 371280
Max. memory (cumulated for all children) (KiB): 283328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.438
system time used= 0.176419
maximum resident set size= 283328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79841
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= 125
involuntary context switches= 151


# summary of solver processes directly reported to runsolver:
#   pid: 91283
#   total CPU time (s): 242.614
#   total CPU user time (s): 242.438
#   total CPU system time (s): 0.176419

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.386804 second user time and 1.20424 second system time

The end