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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483495-1751537716/watcher-4483495-1751537716 -o /tmp/evaluation-result-4483495-1751537716/solver-4483495-1751537716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751535906-76355 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=748898790 --ls=360 HOME/instance-4483495-1751537716.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=77191, runsolver pid=77188

[startup+0.100071 s]*
/proc/loadavg: 4.22 4.12 4.02 5/252 77192
/proc/meminfo: memFree=126763800/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=0.1 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 10 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+0.213172 s]*
/proc/loadavg: 4.22 4.12 4.02 6/252 77192
/proc/meminfo: memFree=126762288/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=0.22 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 22 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+0.313048 s]*
/proc/loadavg: 4.22 4.12 4.02 5/252 77192
/proc/meminfo: memFree=126758192/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=0.32 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 32 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+0.700276 s]
/proc/loadavg: 4.22 4.12 4.02 5/252 77192
/proc/meminfo: memFree=126755168/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=0.69 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 69 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+1.50027 s]
/proc/loadavg: 4.22 4.12 4.02 5/252 77192
/proc/meminfo: memFree=126732988/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=1.49 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 149 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+3.11377 s]
/proc/loadavg: 4.22 4.12 4.02 5/252 77192
/proc/meminfo: memFree=126690576/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=3.1 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 310 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+6.30029 s]
/proc/loadavg: 4.21 4.11 4.02 5/252 77237
/proc/meminfo: memFree=126714640/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=6.28 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 628 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+12.7003 s]
/proc/loadavg: 4.27 4.13 4.03 5/252 77237
/proc/meminfo: memFree=126670208/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=12.66 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 1266 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+25.5003 s]
/proc/loadavg: 4.21 4.12 4.03 5/251 77237
/proc/meminfo: memFree=126606340/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=25.42 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 2542 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+51.1132 s]
/proc/loadavg: 4.14 4.11 4.03 5/251 77284
/proc/meminfo: memFree=126696392/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=50.95 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 5095 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.03 5/251 77285
/proc/meminfo: memFree=126700092/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=101.96 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 10196 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/252 77292
/proc/meminfo: memFree=126699600/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=161.75 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 16175 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/252 77294
/proc/meminfo: memFree=126664724/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=221.55 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 22155 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.13 4.04 5/252 77296
/proc/meminfo: memFree=126652452/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=281.34 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 28134 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.05 5/252 77299
/proc/meminfo: memFree=126641440/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=31416 memory=7936 CPUtime=341.14 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 1096 0 0 0 34114 0 0 0 20 0 1 0 69450933 32169984 1984 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 7854 1984 1024 1200 0 6334 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 31416 KiB
Current children cumulated memory: 7936 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.05 5/252 77348
/proc/meminfo: memFree=126146068/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=195128 memory=143128 CPUtime=400.91 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 22043 0 0 0 40044 47 0 0 20 0 1 0 69450933 199811072 35782 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 48782 35782 1248 1200 0 47262 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 195128 KiB
Current children cumulated memory: 143128 KiB

[startup+405.21 s]
# the end of solver process 77191 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=403.308 s, system=0.506101 s

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

[startup+403.2 s]
/proc/loadavg: 4.14 4.13 4.05 5/252 77348
/proc/meminfo: memFree=126134476/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=196280 memory=143768 CPUtime=401.8 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 22231 0 0 0 40133 47 0 0 20 0 1 0 69450933 200990720 35942 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 49070 35942 1248 1200 0 47550 0
Current children cumulated CPU time: 401.8 s
Current children cumulated vsize: 196280 KiB
Current children cumulated memory: 143768 KiB

[startup+404 s]*
/proc/loadavg: 4.14 4.13 4.05 5/252 77348
/proc/meminfo: memFree=126130120/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=196948 memory=144408 CPUtime=402.61 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 22372 0 0 0 40213 48 0 0 20 0 1 0 69450933 201674752 36102 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 49237 36102 1248 1200 0 47717 0
Current children cumulated CPU time: 402.61 s
Current children cumulated vsize: 196948 KiB
Current children cumulated memory: 144408 KiB

[startup+404.8 s]
/proc/loadavg: 4.14 4.13 4.05 5/252 77348
/proc/meminfo: memFree=126130120/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=196948 memory=144408 CPUtime=403.4 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 22373 0 0 0 40291 49 0 0 20 0 1 0 69450933 201674752 36102 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 49237 36102 1248 1200 0 47717 0
Current children cumulated CPU time: 403.4 s
Current children cumulated vsize: 196948 KiB
Current children cumulated memory: 144408 KiB

[startup+405.2 s]
/proc/loadavg: 4.12 4.12 4.05 5/252 77348
/proc/meminfo: memFree=126117924/131382120 swapFree=33010416/33010684
[pid=77191] ppid=77188 vsize=196948 memory=144408 CPUtime=403.8 cores=0,2
/proc/77191/stat : 77191 (Exact) R 77188 77191 76345 0 -1 4194304 22382 0 0 0 40330 50 0 0 20 0 1 0 69450933 201674752 36102 18446744073709551615 4198400 9112445 140731255270096 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17465344 140731255273787 140731255273965 140731255273965 140731255279567 0
/proc/77191/statm: 49237 36102 1248 1200 0 47717 0
Current children cumulated CPU time: 403.8 s
Current children cumulated vsize: 196948 KiB
Current children cumulated memory: 144408 KiB

Child status: 30

Real time (s): 405.21
CPU time (s): 403.814
CPU user time (s): 403.308
CPU system time (s): 0.506101
CPU usage (%): 99.6554
Max. virtual memory (cumulated for all children) (KiB): 196948
Max. memory (cumulated for all children) (KiB): 144408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 403.308
system time used= 0.506101
maximum resident set size= 154620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22384
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= 2
involuntary context switches= 1025


# summary of solver processes directly reported to runsolver:
#   pid: 77191
#   total CPU time (s): 403.814
#   total CPU user time (s): 403.308
#   total CPU system time (s): 0.506101

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.14826 second user time and 3.93284 second system time

The end