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

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

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


[startup+0.100056 s]*
/proc/loadavg: 4.11 4.12 4.09 5/260 89574
/proc/meminfo: memFree=120682992/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12676 CPUtime=0.09 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2545 0 0 0 9 0 0 0 20 0 1 0 78620017 37167104 3169 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+0.205535 s]*
/proc/loadavg: 4.11 4.12 4.09 4/259 89574
/proc/meminfo: memFree=120693232/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12676 CPUtime=0.2 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2545 0 0 0 20 0 0 0 20 0 1 0 78620017 37167104 3169 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/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.304727 s]*
/proc/loadavg: 4.11 4.12 4.09 4/258 89577
/proc/meminfo: memFree=123263988/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12676 CPUtime=0.3 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2545 0 0 0 30 0 0 0 20 0 1 0 78620017 37167104 3169 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/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.70014 s]
/proc/loadavg: 4.11 4.12 4.09 3/254 89611
/proc/meminfo: memFree=126638968/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12676 CPUtime=0.68 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2545 0 0 0 67 1 0 0 20 0 1 0 78620017 37167104 3169 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+1.50012 s]
/proc/loadavg: 4.11 4.12 4.09 4/260 89676
/proc/meminfo: memFree=126583104/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12676 CPUtime=1.48 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2545 0 0 0 147 1 0 0 20 0 1 0 78620017 37167104 3169 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+3.10539 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 89681
/proc/meminfo: memFree=126334908/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12676 CPUtime=3.08 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2545 0 0 0 307 1 0 0 20 0 1 0 78620017 37167104 3169 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3169 1056 1200 0 7554 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12676 KiB

[startup+6.3001 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 89681
/proc/meminfo: memFree=126339408/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12676 CPUtime=6.27 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2545 0 0 0 626 1 0 0 20 0 1 0 78620017 37167104 3169 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/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.7001 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 89683
/proc/meminfo: memFree=126339408/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12676 CPUtime=12.65 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2545 0 0 0 1264 1 0 0 20 0 1 0 78620017 37167104 3169 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/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.5001 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 89683
/proc/meminfo: memFree=126335312/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12804 CPUtime=25.41 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2549 0 0 0 2540 1 0 0 20 0 1 0 78620017 37167104 3201 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

[startup+51.1055 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 89683
/proc/meminfo: memFree=126323812/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12804 CPUtime=50.94 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2553 0 0 0 5093 1 0 0 20 0 1 0 78620017 37167104 3201 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 89688
/proc/meminfo: memFree=126313632/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12804 CPUtime=102.01 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2557 0 0 0 10199 2 0 0 20 0 1 0 78620017 37167104 3201 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/264 89694
/proc/meminfo: memFree=126287068/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12804 CPUtime=161.87 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2559 0 0 0 16185 2 0 0 20 0 1 0 78620017 37167104 3201 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 89696
/proc/meminfo: memFree=126283172/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12804 CPUtime=221.72 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2561 0 0 0 22170 2 0 0 20 0 1 0 78620017 37167104 3201 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 89698
/proc/meminfo: memFree=126277236/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12804 CPUtime=281.59 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2563 0 0 0 28156 3 0 0 20 0 1 0 78620017 37167104 3201 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 89700
/proc/meminfo: memFree=126293628/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12804 CPUtime=341.45 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2565 0 0 0 34142 3 0 0 20 0 1 0 78620017 37167104 3201 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

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

# cumulated CPU time of all completed processes:  user=363.557 s, system=0.07337 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=89573] ppid=89570 vsize=36296 memory=12804 CPUtime=344.74 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2565 0 0 0 34471 3 0 0 20 0 1 0 78620017 37167104 3201 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 344.74 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12804 KiB

[startup+352 s]*
/proc/loadavg: 4.08 4.10 4.09 5/263 89700
/proc/meminfo: memFree=126294384/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=36296 memory=12804 CPUtime=351.13 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2565 0 0 0 35110 3 0 0 20 0 1 0 78620017 37167104 3201 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 351.13 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=89573] ppid=89570 vsize=36296 memory=12804 CPUtime=357.51 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 2565 0 0 0 35748 3 0 0 20 0 1 0 78620017 37167104 3201 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 9074 3201 1056 1200 0 7554 0
Current children cumulated CPU time: 357.51 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 89700
/proc/meminfo: memFree=126243984/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=53576 memory=39396 CPUtime=360.7 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 7089 0 0 0 36065 5 0 0 20 0 1 0 78620017 54861824 9849 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 13394 9849 1280 1200 0 11874 0
Current children cumulated CPU time: 360.7 s
Current children cumulated vsize: 53576 KiB
Current children cumulated memory: 39396 KiB

[startup+363.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 89701
/proc/meminfo: memFree=126066848/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=65940 memory=54040 CPUtime=362.3 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 9707 0 0 0 36224 6 0 0 20 0 1 0 78620017 67522560 13510 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 16485 13510 1280 1200 0 14965 0
Current children cumulated CPU time: 362.3 s
Current children cumulated vsize: 65940 KiB
Current children cumulated memory: 54040 KiB

[startup+364 s]*
/proc/loadavg: 4.15 4.12 4.09 5/263 89701
/proc/meminfo: memFree=126022304/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=68228 memory=58132 CPUtime=363.1 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 10246 0 0 0 36304 6 0 0 20 0 1 0 78620017 69865472 14533 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 17057 14533 1280 1200 0 15537 0
Current children cumulated CPU time: 363.1 s
Current children cumulated vsize: 68228 KiB
Current children cumulated memory: 58132 KiB

[startup+364.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 89701
/proc/meminfo: memFree=126022304/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=68360 memory=58644 CPUtime=363.49 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 10358 0 0 0 36343 6 0 0 20 0 1 0 78620017 70000640 14661 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 17090 14661 1280 1200 0 15570 0
Current children cumulated CPU time: 363.49 s
Current children cumulated vsize: 68360 KiB
Current children cumulated memory: 58644 KiB

[startup+364.5 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 89701
/proc/meminfo: memFree=126022304/131249996 swapFree=33010160/33010684
[pid=89573] ppid=89570 vsize=68844 memory=59028 CPUtime=363.6 cores=0,2
/proc/89573/stat : 89573 (Exact) R 89570 89573 89253 0 -1 4194304 10456 0 0 0 36353 7 0 0 20 0 1 0 78620017 70496256 14757 18446744073709551615 4198400 9112445 140721890589488 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 45469696 140721890593061 140721890593259 140721890593259 140721890598863 0
/proc/89573/statm: 17211 14757 1280 1200 0 15691 0
Current children cumulated CPU time: 363.6 s
Current children cumulated vsize: 68844 KiB
Current children cumulated memory: 59028 KiB

Child status: 30

Real time (s): 364.523
CPU time (s): 363.63
CPU user time (s): 363.557
CPU system time (s): 0.07337
CPU usage (%): 99.755
Max. virtual memory (cumulated for all children) (KiB): 68844
Max. memory (cumulated for all children) (KiB): 59028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 363.557
system time used= 0.07337
maximum resident set size= 59284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10527
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= 791


# summary of solver processes directly reported to runsolver:
#   pid: 89573
#   total CPU time (s): 363.63
#   total CPU user time (s): 363.557
#   total CPU system time (s): 0.07337

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.658641 second user time and 1.48723 second system time

The end