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

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

solver pid=69778, runsolver pid=69775

[startup+0.100076 s]*
/proc/loadavg: 4.13 4.09 4.03 5/250 69779
/proc/meminfo: memFree=123242684/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=106912 memory=32752 CPUtime=0.08 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 4619 0 0 0 6 2 0 0 20 0 1 0 62664742 109477888 8188 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 26728 8188 4096 2842 0 8422 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 106912 KiB
Current children cumulated memory: 32752 KiB

[startup+0.215796 s]*
/proc/loadavg: 4.13 4.09 4.03 5/250 69779
/proc/meminfo: memFree=123190520/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=118452 memory=40628 CPUtime=0.17 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 6583 0 0 0 15 2 0 0 20 0 1 0 62664742 121294848 10157 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 29613 10157 4160 2842 0 11307 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 118452 KiB
Current children cumulated memory: 40628 KiB

[startup+0.313767 s]*
/proc/loadavg: 4.13 4.09 4.03 5/250 69779
/proc/meminfo: memFree=123165068/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=137284 memory=55476 CPUtime=0.28 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 10162 0 0 0 24 4 0 0 20 0 1 0 62664742 140578816 13869 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 34321 13869 4320 2842 0 16015 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 137284 KiB
Current children cumulated memory: 55476 KiB

[startup+0.700296 s]
/proc/loadavg: 4.13 4.09 4.03 5/250 69779
/proc/meminfo: memFree=123143148/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=141792 memory=62004 CPUtime=0.65 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 11792 0 0 0 60 5 0 0 20 0 1 0 62664742 145195008 15501 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 35448 15501 4320 2842 0 17142 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 141792 KiB
Current children cumulated memory: 62004 KiB

[startup+1.5003 s]
/proc/loadavg: 4.13 4.09 4.03 4/246 69796
/proc/meminfo: memFree=123132092/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=146252 memory=64948 CPUtime=1.44 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 12546 0 0 0 139 5 0 0 20 0 1 0 62664742 149762048 16237 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 36563 16237 4320 2842 0 18257 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 146252 KiB
Current children cumulated memory: 64948 KiB

[startup+3.11297 s]
/proc/loadavg: 4.12 4.09 4.03 5/251 69810
/proc/meminfo: memFree=123008124/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=167688 memory=81968 CPUtime=3.05 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 18206 0 0 0 299 6 0 0 20 0 1 0 62664742 171712512 20492 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 41922 20492 4320 2842 0 23616 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 167688 KiB
Current children cumulated memory: 81968 KiB

[startup+6.30031 s]
/proc/loadavg: 4.12 4.09 4.03 5/251 69855
/proc/meminfo: memFree=122963188/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=167688 memory=81968 CPUtime=6.22 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 18207 0 0 0 616 6 0 0 20 0 1 0 62664742 171712512 20492 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 41922 20492 4320 2842 0 23616 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 167688 KiB
Current children cumulated memory: 81968 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.09 4.03 5/251 69855
/proc/meminfo: memFree=122097896/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=167688 memory=81968 CPUtime=12.6 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 18216 0 0 0 1254 6 0 0 20 0 1 0 62664742 171712512 20492 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 41922 20492 4320 2842 0 23616 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 167688 KiB
Current children cumulated memory: 81968 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.10 4.03 5/251 69856
/proc/meminfo: memFree=119366676/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=191900 memory=105644 CPUtime=25.34 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 24675 0 0 0 2527 7 0 0 20 0 1 0 62664742 196505600 26411 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 47975 26411 4352 2842 0 29669 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 191900 KiB
Current children cumulated memory: 105644 KiB

[startup+51.113 s]
/proc/loadavg: 4.10 4.09 4.03 5/250 69856
/proc/meminfo: memFree=117757924/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=227928 memory=141344 CPUtime=50.87 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 36195 0 0 0 5078 9 0 0 20 0 1 0 62664742 233398272 35336 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 56982 35336 4352 2842 0 38676 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 227928 KiB
Current children cumulated memory: 141344 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/250 69902
/proc/meminfo: memFree=119339156/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=300300 memory=198048 CPUtime=101.9 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 50453 0 0 0 10177 13 0 0 20 0 1 0 62664742 307507200 49512 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 75075 49512 4352 2842 0 56769 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 300300 KiB
Current children cumulated memory: 198048 KiB

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

# cumulated CPU time of all completed processes:  user=136.399 s, system=0.158925 s

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

[startup+102.4 s]
/proc/loadavg: 4.09 4.09 4.03 5/250 69902
/proc/meminfo: memFree=119339156/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=300300 memory=198048 CPUtime=102 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 50454 0 0 0 10187 13 0 0 20 0 1 0 62664742 307507200 49512 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 75075 49512 4352 2842 0 56769 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 300300 KiB
Current children cumulated memory: 198048 KiB

[startup+115.2 s]
/proc/loadavg: 4.14 4.10 4.03 5/250 69902
/proc/meminfo: memFree=119315488/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=327580 memory=219680 CPUtime=114.75 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 55863 0 0 0 11462 13 0 0 20 0 1 0 62664742 335441920 54920 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 81895 54920 4352 2842 0 63589 0
Current children cumulated CPU time: 114.75 s
Current children cumulated vsize: 327580 KiB
Current children cumulated memory: 219680 KiB

[startup+128 s]*
/proc/loadavg: 4.11 4.10 4.03 5/250 69905
/proc/meminfo: memFree=119207436/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=338960 memory=225832 CPUtime=127.53 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 59852 0 0 0 12739 14 0 0 20 0 1 0 62664742 347095040 56458 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 84740 56458 4352 2842 0 66434 0
Current children cumulated CPU time: 127.53 s
Current children cumulated vsize: 338960 KiB
Current children cumulated memory: 225832 KiB

[startup+131.2 s]
/proc/loadavg: 4.11 4.10 4.03 5/250 69905
/proc/meminfo: memFree=119223876/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=340544 memory=227496 CPUtime=130.71 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 60266 0 0 0 13057 14 0 0 20 0 1 0 62664742 348717056 56874 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 85136 56874 4352 2842 0 66830 0
Current children cumulated CPU time: 130.71 s
Current children cumulated vsize: 340544 KiB
Current children cumulated memory: 227496 KiB

[startup+134.4 s]
/proc/loadavg: 4.10 4.09 4.03 5/250 69905
/proc/meminfo: memFree=119231940/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=340928 memory=227496 CPUtime=133.9 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 60267 0 0 0 13376 14 0 0 20 0 1 0 62664742 349110272 56874 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 85232 56874 4352 2842 0 66926 0
Current children cumulated CPU time: 133.9 s
Current children cumulated vsize: 340928 KiB
Current children cumulated memory: 227496 KiB

[startup+136 s]*
/proc/loadavg: 4.10 4.09 4.03 5/250 69906
/proc/meminfo: memFree=119232192/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=340928 memory=227496 CPUtime=135.51 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 60267 0 0 0 13537 14 0 0 20 0 1 0 62664742 349110272 56874 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 85232 56874 4352 2842 0 66926 0
Current children cumulated CPU time: 135.51 s
Current children cumulated vsize: 340928 KiB
Current children cumulated memory: 227496 KiB

[startup+136.8 s]
/proc/loadavg: 4.10 4.09 4.03 5/250 69906
/proc/meminfo: memFree=119232192/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=340928 memory=227496 CPUtime=136.29 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 60267 0 0 0 13615 14 0 0 20 0 1 0 62664742 349110272 56874 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 85232 56874 4352 2842 0 66926 0
Current children cumulated CPU time: 136.29 s
Current children cumulated vsize: 340928 KiB
Current children cumulated memory: 227496 KiB

[startup+137 s]*
/proc/loadavg: 4.10 4.09 4.03 5/250 69906
/proc/meminfo: memFree=119232216/131382116 swapFree=33010684/33010684
[pid=69778] ppid=69775 vsize=340928 memory=227496 CPUtime=136.5 cores=0,2
/proc/69778/stat : 69778 (mixed-bag) R 69775 69778 69377 0 -1 4194304 60268 0 0 0 13636 14 0 0 20 0 1 0 62664742 349110272 56874 18446744073709551615 4235264 15874749 140729528484464 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29712384 140729528486300 140729528486377 140729528486377 140729528491979 0
/proc/69778/statm: 85232 56874 4352 2842 0 66926 0
Current children cumulated CPU time: 136.5 s
Current children cumulated vsize: 340928 KiB
Current children cumulated memory: 227496 KiB

Child status: 0

Real time (s): 137.055
CPU time (s): 136.558
CPU user time (s): 136.399
CPU system time (s): 0.158925
CPU usage (%): 99.6372
Max. virtual memory (cumulated for all children) (KiB): 340928
Max. memory (cumulated for all children) (KiB): 227496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.399
system time used= 0.158925
maximum resident set size= 235424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60288
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= 314


# summary of solver processes directly reported to runsolver:
#   pid: 69778
#   total CPU time (s): 136.558
#   total CPU user time (s): 136.399
#   total CPU system time (s): 0.158925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.699167 second user time and 1.36087 second system time

The end