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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526553-1751633024/watcher-4526553-1751633024 -o /tmp/evaluation-result-4526553-1751633024/solver-4526553-1751633024 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751629407-95023 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1892616844 --ls=360 HOME/instance-4526553-1751633024.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=95441, runsolver pid=95438
Current StackSize limit: 8192 KiB


[startup+0.100117 s]*
/proc/loadavg: 4.14 4.12 4.09 5/250 95442
/proc/meminfo: memFree=126437212/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=47680 memory=24804 CPUtime=0.1 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 6374 0 0 0 8 2 0 0 20 0 1 0 78982227 48824320 6201 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 11920 6201 1024 1200 0 10400 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47680 KiB
Current children cumulated memory: 24804 KiB

[startup+0.214127 s]*
/proc/loadavg: 4.14 4.12 4.09 5/250 95442
/proc/meminfo: memFree=126421588/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=64276 memory=41876 CPUtime=0.22 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 11664 0 0 0 18 4 0 0 20 0 1 0 78982227 65818624 10469 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 16069 10469 1024 1200 0 14549 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 64276 KiB
Current children cumulated memory: 41876 KiB

[startup+0.31404 s]*
/proc/loadavg: 4.14 4.12 4.09 6/250 95442
/proc/meminfo: memFree=126413712/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=74092 memory=49556 CPUtime=0.31 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 13533 0 0 0 27 4 0 0 20 0 1 0 78982227 75870208 12389 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 18523 12389 1024 1200 0 17003 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 74092 KiB
Current children cumulated memory: 49556 KiB

[startup+0.700359 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 95442
/proc/meminfo: memFree=126386016/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=98832 memory=75584 CPUtime=0.68 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 20364 0 0 0 62 6 0 0 20 0 1 0 78982227 101203968 18896 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 24708 18896 1024 1200 0 23188 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 75584 KiB

[startup+1.50034 s]
/proc/loadavg: 4.29 4.16 4.10 5/250 95442
/proc/meminfo: memFree=126386016/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=98832 memory=75584 CPUtime=1.47 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 20364 0 0 0 141 6 0 0 20 0 1 0 78982227 101203968 18896 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 24708 18896 1024 1200 0 23188 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 75584 KiB

[startup+3.11336 s]
/proc/loadavg: 4.29 4.16 4.10 5/250 95442
/proc/meminfo: memFree=126386336/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=98832 memory=75584 CPUtime=3.08 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 20366 0 0 0 302 6 0 0 20 0 1 0 78982227 101203968 18896 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 24708 18896 1024 1200 0 23188 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 75584 KiB

[startup+6.30033 s]
/proc/loadavg: 4.35 4.17 4.11 5/250 95442
/proc/meminfo: memFree=126386592/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=98832 memory=75584 CPUtime=6.24 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 20368 0 0 0 618 6 0 0 20 0 1 0 78982227 101203968 18896 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 24708 18896 1024 1200 0 23188 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 75584 KiB

[startup+12.7003 s]
/proc/loadavg: 4.40 4.18 4.11 5/250 95442
/proc/meminfo: memFree=126386576/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=98832 memory=75584 CPUtime=12.6 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 20370 0 0 0 1253 7 0 0 20 0 1 0 78982227 101203968 18896 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 24708 18896 1024 1200 0 23188 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 75584 KiB

[startup+25.5004 s]
/proc/loadavg: 4.49 4.21 4.12 5/250 95443
/proc/meminfo: memFree=126385312/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=98832 memory=75584 CPUtime=25.3 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 20371 0 0 0 2523 7 0 0 20 0 1 0 78982227 101203968 18896 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 24708 18896 1024 1200 0 23188 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 75584 KiB

[startup+51.1136 s]
/proc/loadavg: 4.77 4.30 4.16 5/250 95443
/proc/meminfo: memFree=126386868/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=98832 memory=75584 CPUtime=50.74 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 20374 0 0 0 5067 7 0 0 20 0 1 0 78982227 101203968 18896 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 24708 18896 1024 1200 0 23188 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 75584 KiB

[startup+102.3 s]
/proc/loadavg: 4.44 4.29 4.16 5/250 95446
/proc/meminfo: memFree=126379484/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=98832 memory=75584 CPUtime=101.55 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 20376 0 0 0 10148 7 0 0 20 0 1 0 78982227 101203968 18896 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 24708 18896 1024 1200 0 23188 0
Current children cumulated CPU time: 101.55 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 75584 KiB

[startup+162.3 s]
/proc/loadavg: 4.23 4.25 4.15 5/253 95454
/proc/meminfo: memFree=126368144/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=98832 memory=75584 CPUtime=161.12 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 20378 0 0 0 16105 7 0 0 20 0 1 0 78982227 101203968 18896 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 24708 18896 1024 1200 0 23188 0
Current children cumulated CPU time: 161.12 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 75584 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.23 4.15 5/253 95456
/proc/meminfo: memFree=126341308/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=98832 memory=75584 CPUtime=220.68 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 20382 0 0 0 22060 8 0 0 20 0 1 0 78982227 101203968 18896 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 24708 18896 1024 1200 0 23188 0
Current children cumulated CPU time: 220.68 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 75584 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/253 95458
/proc/meminfo: memFree=126335700/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=98832 memory=75584 CPUtime=280.24 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 20382 0 0 0 28015 9 0 0 20 0 1 0 78982227 101203968 18896 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 24708 18896 1024 1200 0 23188 0
Current children cumulated CPU time: 280.24 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 75584 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.18 4.14 5/253 95460
/proc/meminfo: memFree=126335724/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=98832 memory=75584 CPUtime=339.79 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 20383 0 0 0 33970 9 0 0 20 0 1 0 78982227 101203968 18896 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 24708 18896 1024 1200 0 23188 0
Current children cumulated CPU time: 339.79 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 75584 KiB

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

# cumulated CPU time of all completed processes:  user=373.508 s, system=0.215003 s

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

[startup+358.4 s]
/proc/loadavg: 4.07 4.17 4.14 5/253 95460
/proc/meminfo: memFree=126336480/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=98832 memory=75584 CPUtime=355.77 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 20384 0 0 0 35568 9 0 0 20 0 1 0 78982227 101203968 18896 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 24708 18896 1024 1200 0 23188 0
Current children cumulated CPU time: 355.77 s
Current children cumulated vsize: 98832 KiB
Current children cumulated memory: 75584 KiB

[startup+364.8 s]
/proc/loadavg: 4.06 4.17 4.14 5/252 95524
/proc/meminfo: memFree=126730448/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=174776 memory=158404 CPUtime=362.14 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 37724 0 0 0 36200 14 0 0 20 0 1 0 78982227 178970624 39601 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 43694 39601 1280 1200 0 42174 0
Current children cumulated CPU time: 362.14 s
Current children cumulated vsize: 174776 KiB
Current children cumulated memory: 158404 KiB

[startup+371.2 s]
/proc/loadavg: 4.05 4.16 4.13 5/253 95555
/proc/meminfo: memFree=126703068/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=216904 memory=204324 CPUtime=368.51 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 44843 0 0 0 36834 17 0 0 20 0 1 0 78982227 222109696 51081 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 54226 51081 1280 1200 0 52706 0
Current children cumulated CPU time: 368.51 s
Current children cumulated vsize: 216904 KiB
Current children cumulated memory: 204324 KiB

[startup+374.4 s]
/proc/loadavg: 4.05 4.16 4.13 5/253 95555
/proc/meminfo: memFree=126698028/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=240288 memory=213728 CPUtime=371.71 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 45554 0 0 0 37153 18 0 0 20 0 1 0 78982227 246054912 53432 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 60072 53432 1280 1200 0 58552 0
Current children cumulated CPU time: 371.71 s
Current children cumulated vsize: 240288 KiB
Current children cumulated memory: 213728 KiB

[startup+375.2 s]
/proc/loadavg: 4.05 4.16 4.13 5/253 95555
/proc/meminfo: memFree=126705792/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=240288 memory=213856 CPUtime=372.5 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 45585 0 0 0 37232 18 0 0 20 0 1 0 78982227 246054912 53464 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 60072 53464 1280 1200 0 58552 0
Current children cumulated CPU time: 372.5 s
Current children cumulated vsize: 240288 KiB
Current children cumulated memory: 213856 KiB

[startup+376 s]*
/proc/loadavg: 4.05 4.16 4.13 5/253 95555
/proc/meminfo: memFree=126709468/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=243940 memory=217184 CPUtime=373.32 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 46414 0 0 0 37313 19 0 0 20 0 1 0 78982227 249794560 54296 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 60985 54296 1280 1200 0 59465 0
Current children cumulated CPU time: 373.32 s
Current children cumulated vsize: 243940 KiB
Current children cumulated memory: 217184 KiB

[startup+376.2 s]
/proc/loadavg: 4.05 4.16 4.13 5/253 95555
/proc/meminfo: memFree=126709468/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=243940 memory=217312 CPUtime=373.5 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 46433 0 0 0 37331 19 0 0 20 0 1 0 78982227 249794560 54328 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 60985 54328 1280 1200 0 59465 0
Current children cumulated CPU time: 373.5 s
Current children cumulated vsize: 243940 KiB
Current children cumulated memory: 217312 KiB

[startup+376.3 s]
/proc/loadavg: 4.05 4.16 4.13 5/253 95555
/proc/meminfo: memFree=126709468/131382112 swapFree=33010160/33010684
[pid=95441] ppid=95438 vsize=243940 memory=217312 CPUtime=373.61 cores=1,3
/proc/95441/stat : 95441 (Exact) R 95438 95441 95011 0 -1 4194304 46433 0 0 0 37341 20 0 0 20 0 1 0 78982227 249794560 54328 18446744073709551615 4198400 9112445 140733317187584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 17575936 140733317191992 140733317192171 140733317192171 140733317197775 0
/proc/95441/statm: 60985 54328 1280 1200 0 59465 0
Current children cumulated CPU time: 373.61 s
Current children cumulated vsize: 243940 KiB
Current children cumulated memory: 217312 KiB

Child status: 30

Real time (s): 376.408
CPU time (s): 373.723
CPU user time (s): 373.508
CPU system time (s): 0.215003
CPU usage (%): 99.2867
Max. virtual memory (cumulated for all children) (KiB): 243940
Max. memory (cumulated for all children) (KiB): 217312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 373.508
system time used= 0.215003
maximum resident set size= 236364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46436
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= 133


# summary of solver processes directly reported to runsolver:
#   pid: 95441
#   total CPU time (s): 373.723
#   total CPU user time (s): 373.508
#   total CPU system time (s): 0.215003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.8553 second user time and 4.0001 second system time

The end