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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526140-1751629416/watcher-4526140-1751629416 -o /tmp/evaluation-result-4526140-1751629416/solver-4526140-1751629416 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751625803-89266 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=332713544 --ls=360 --inp-dombreaklim=0 HOME/instance-4526140-1751629416.wbo 

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
solver pid=89649, runsolver pid=89646
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.11 4.12 4.09 6/260 89665
/proc/meminfo: memFree=126591584/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12676 CPUtime=0.1 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2545 0 0 0 10 0 0 0 20 0 1 0 78620090 37167104 3169 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+0.205545 s]*
/proc/loadavg: 4.11 4.12 4.09 5/257 89671
/proc/meminfo: memFree=126583152/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12676 CPUtime=0.2 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2545 0 0 0 20 0 0 0 20 0 1 0 78620090 37167104 3169 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+0.305409 s]*
/proc/loadavg: 4.11 4.12 4.09 5/262 89681
/proc/meminfo: memFree=126558988/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12676 CPUtime=0.3 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2545 0 0 0 30 0 0 0 20 0 1 0 78620090 37167104 3169 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+0.700128 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 89681
/proc/meminfo: memFree=126463332/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12676 CPUtime=0.69 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2545 0 0 0 69 0 0 0 20 0 1 0 78620090 37167104 3169 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+1.50016 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 89681
/proc/meminfo: memFree=126334744/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12676 CPUtime=1.49 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2545 0 0 0 149 0 0 0 20 0 1 0 78620090 37167104 3169 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+3.10566 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 89681
/proc/meminfo: memFree=126337984/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12676 CPUtime=3.09 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2545 0 0 0 309 0 0 0 20 0 1 0 78620090 37167104 3169 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+6.30016 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 89681
/proc/meminfo: memFree=126339408/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12676 CPUtime=6.27 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2545 0 0 0 627 0 0 0 20 0 1 0 78620090 37167104 3169 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 89683
/proc/meminfo: memFree=126339408/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12676 CPUtime=12.65 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2545 0 0 0 1265 0 0 0 20 0 1 0 78620090 37167104 3169 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 89683
/proc/meminfo: memFree=126335312/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12676 CPUtime=25.4 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2545 0 0 0 2540 0 0 0 20 0 1 0 78620090 37167104 3169 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+51.1058 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 89683
/proc/meminfo: memFree=126323812/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12676 CPUtime=50.89 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2545 0 0 0 5089 0 0 0 20 0 1 0 78620090 37167104 3169 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 89688
/proc/meminfo: memFree=126313632/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12676 CPUtime=101.86 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2545 0 0 0 10186 0 0 0 20 0 1 0 78620090 37167104 3169 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+162.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/264 89694
/proc/meminfo: memFree=126287068/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12804 CPUtime=161.64 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2555 0 0 0 16164 0 0 0 20 0 1 0 78620090 37167104 3201 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 89696
/proc/meminfo: memFree=126284412/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12804 CPUtime=221.42 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2559 0 0 0 22142 0 0 0 20 0 1 0 78620090 37167104 3201 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 89698
/proc/meminfo: memFree=126277236/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12804 CPUtime=281.2 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2561 0 0 0 28120 0 0 0 20 0 1 0 78620090 37167104 3201 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 89700
/proc/meminfo: memFree=126293628/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12804 CPUtime=340.98 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2563 0 0 0 34098 0 0 0 20 0 1 0 78620090 37167104 3201 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 340.98 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

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

# cumulated CPU time of all completed processes:  user=366.001 s, system=0.057822 s

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

[startup+345.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 89700
/proc/meminfo: memFree=126293880/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12804 CPUtime=344.27 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2563 0 0 0 34427 0 0 0 20 0 1 0 78620090 37167104 3201 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 344.27 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

[startup+358.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 89700
/proc/meminfo: memFree=126294636/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=36296 memory=12804 CPUtime=357.02 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 2563 0 0 0 35702 0 0 0 20 0 1 0 78620090 37167104 3201 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 357.02 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

[startup+361.6 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 89701
/proc/meminfo: memFree=126207664/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=53120 memory=36756 CPUtime=360.21 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 6941 0 0 0 36019 2 0 0 20 0 1 0 78620090 54394880 9189 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 13280 9189 1280 1200 0 11760 0
Current children cumulated CPU time: 360.21 s
Current children cumulated vsize: 53120 KiB
Current children cumulated memory: 36756 KiB

[startup+364.8 s]
/proc/loadavg: 4.15 4.12 4.09 4/261 89715
/proc/meminfo: memFree=125999188/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=67232 memory=57368 CPUtime=363.4 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 10052 0 0 0 36336 4 0 0 20 0 1 0 78620090 68845568 14342 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 16808 14342 1280 1200 0 15288 0
Current children cumulated CPU time: 363.4 s
Current children cumulated vsize: 67232 KiB
Current children cumulated memory: 57368 KiB

[startup+366.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 89746
/proc/meminfo: memFree=125681396/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=87640 memory=66404 CPUtime=365 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 12021 0 0 0 36495 5 0 0 20 0 1 0 78620090 89743360 16601 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 21910 16601 1280 1200 0 20390 0
Current children cumulated CPU time: 365 s
Current children cumulated vsize: 87640 KiB
Current children cumulated memory: 66404 KiB

[startup+367.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 89746
/proc/meminfo: memFree=125620212/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=88056 memory=66916 CPUtime=365.79 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 12125 0 0 0 36574 5 0 0 20 0 1 0 78620090 90169344 16729 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 22014 16729 1280 1200 0 20494 0
Current children cumulated CPU time: 365.79 s
Current children cumulated vsize: 88056 KiB
Current children cumulated memory: 66916 KiB

[startup+367.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 89746
/proc/meminfo: memFree=125620212/131249996 swapFree=33010160/33010684
[pid=89649] ppid=89646 vsize=88564 memory=67044 CPUtime=365.99 cores=5,7
/proc/89649/stat : 89649 (Exact) R 89646 89649 89253 0 -1 4194304 12185 0 0 0 36594 5 0 0 20 0 1 0 78620090 90689536 16761 18446744073709551615 4198400 9112445 140731941396800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 14782464 140731941398821 140731941399019 140731941399019 140731941404623 0
/proc/89649/statm: 22141 16761 1280 1200 0 20621 0
Current children cumulated CPU time: 365.99 s
Current children cumulated vsize: 88564 KiB
Current children cumulated memory: 67044 KiB

Child status: 30

Real time (s): 367.455
CPU time (s): 366.059
CPU user time (s): 366.001
CPU system time (s): 0.057822
CPU usage (%): 99.62
Max. virtual memory (cumulated for all children) (KiB): 88564
Max. memory (cumulated for all children) (KiB): 67044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 366.001
system time used= 0.057822
maximum resident set size= 83016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12229
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= 4
involuntary context switches= 144


# summary of solver processes directly reported to runsolver:
#   pid: 89649
#   total CPU time (s): 366.059
#   total CPU user time (s): 366.001
#   total CPU system time (s): 0.057822

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.899317 second user time and 1.52005 second system time

The end