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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482181-1751151245/watcher-4482181-1751151245 -o /tmp/evaluation-result-4482181-1751151245/solver-4482181-1751151245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751146546-15376 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1408760007 --ls=360 HOME/instance-4482181-1751151245.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
solver pid=16512, runsolver pid=16509
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.28 4.20 4.18 5/252 16513
/proc/meminfo: memFree=129815628/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=39864 memory=15720 CPUtime=0.1 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 3891 0 0 0 10 0 0 0 20 0 1 0 30803941 40820736 3930 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 9966 3930 1024 1200 0 8446 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39864 KiB
Current children cumulated memory: 15720 KiB

[startup+0.213364 s]*
/proc/loadavg: 4.28 4.20 4.18 5/252 16513
/proc/meminfo: memFree=129807816/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=48868 memory=27216 CPUtime=0.21 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 6112 0 0 0 20 1 0 0 20 0 1 0 30803941 50040832 6804 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 12217 6804 1024 1200 0 10697 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 48868 KiB
Current children cumulated memory: 27216 KiB

[startup+0.313751 s]*
/proc/loadavg: 4.28 4.20 4.18 5/252 16513
/proc/meminfo: memFree=129806052/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=69944 memory=38504 CPUtime=0.32 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 7930 0 0 0 30 2 0 0 20 0 1 0 30803941 71622656 9626 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 17486 9626 1024 1200 0 15966 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 69944 KiB
Current children cumulated memory: 38504 KiB

[startup+0.700285 s]
/proc/loadavg: 4.28 4.20 4.18 5/252 16513
/proc/meminfo: memFree=129787844/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=105460 memory=78584 CPUtime=0.69 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 15652 0 0 0 65 4 0 0 20 0 1 0 30803941 107991040 19646 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 26365 19646 1024 1200 0 24845 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 105460 KiB
Current children cumulated memory: 78584 KiB

[startup+1.50027 s]
/proc/loadavg: 4.28 4.20 4.18 5/252 16513
/proc/meminfo: memFree=129727548/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=202172 memory=171460 CPUtime=1.48 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 30482 0 0 0 140 8 0 0 20 0 1 0 30803941 207024128 42865 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 50543 42865 1024 1200 0 49023 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 202172 KiB
Current children cumulated memory: 171460 KiB

[startup+3.11296 s]
/proc/loadavg: 4.26 4.20 4.18 5/252 16513
/proc/meminfo: memFree=129444576/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=436864 memory=413192 CPUtime=3.09 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 68368 0 0 0 291 18 0 0 20 0 1 0 30803941 447348736 103298 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 109216 103298 1024 1200 0 107696 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 436864 KiB
Current children cumulated memory: 413192 KiB

[startup+6.30028 s]
/proc/loadavg: 4.26 4.20 4.18 5/252 16513
/proc/meminfo: memFree=129359780/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=533796 memory=483392 CPUtime=6.27 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 78343 0 0 0 607 20 0 0 20 0 1 0 30803941 546607104 120848 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 133449 120848 1024 1200 0 131929 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 483392 KiB

[startup+12.7003 s]
/proc/loadavg: 4.24 4.19 4.17 5/252 16558
/proc/meminfo: memFree=129010640/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=533796 memory=483392 CPUtime=12.65 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 78410 0 0 0 1245 20 0 0 20 0 1 0 30803941 546607104 120848 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 133449 120848 1024 1200 0 131929 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 483392 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.18 4.17 5/251 16558
/proc/meminfo: memFree=128866092/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=533796 memory=483392 CPUtime=25.4 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 78463 0 0 0 2519 21 0 0 20 0 1 0 30803941 546607104 120848 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 133449 120848 1024 1200 0 131929 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 483392 KiB

[startup+51.1133 s]
/proc/loadavg: 4.12 4.17 4.17 5/250 16558
/proc/meminfo: memFree=128869136/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=533796 memory=483392 CPUtime=50.91 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 78544 0 0 0 5070 21 0 0 20 0 1 0 30803941 546607104 120848 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 133449 120848 1024 1200 0 131929 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 483392 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/250 16560
/proc/meminfo: memFree=128861620/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=533796 memory=483392 CPUtime=101.88 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 78678 0 0 0 10167 21 0 0 20 0 1 0 30803941 546607104 120848 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 133449 120848 1024 1200 0 131929 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 483392 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/250 16563
/proc/meminfo: memFree=128856808/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=533796 memory=483392 CPUtime=161.63 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 78746 0 0 0 16142 21 0 0 20 0 1 0 30803941 546607104 120848 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 133449 120848 1024 1200 0 131929 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 483392 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/250 16565
/proc/meminfo: memFree=128835884/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=533796 memory=483392 CPUtime=221.33 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 78858 0 0 0 22112 21 0 0 20 0 1 0 30803941 546607104 120848 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 133449 120848 1024 1200 0 131929 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 483392 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/250 16567
/proc/meminfo: memFree=128841260/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=533796 memory=484800 CPUtime=281.03 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 78994 0 0 0 28082 21 0 0 20 0 1 0 30803941 546607104 121200 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 133449 121200 1024 1200 0 131929 0
Current children cumulated CPU time: 281.03 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 484800 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/251 16574
/proc/meminfo: memFree=128830792/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=533796 memory=495296 CPUtime=340.76 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 79093 0 0 0 34055 21 0 0 20 0 1 0 30803941 546607104 123824 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 133449 123824 1024 1200 0 131929 0
Current children cumulated CPU time: 340.76 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 495296 KiB

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

# cumulated CPU time of all completed processes:  user=392.289 s, system=0.479532 s

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

[startup+358.4 s]
/proc/loadavg: 4.10 4.11 4.14 5/251 16574
/proc/meminfo: memFree=128826696/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=533796 memory=497728 CPUtime=356.81 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 79094 0 0 0 35660 21 0 0 20 0 1 0 30803941 546607104 124432 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 133449 124432 1024 1200 0 131929 0
Current children cumulated CPU time: 356.81 s
Current children cumulated vsize: 533796 KiB
Current children cumulated memory: 497728 KiB

[startup+371.2 s]
/proc/loadavg: 4.08 4.11 4.14 5/251 16620
/proc/meminfo: memFree=127615968/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=1150480 memory=1110564 CPUtime=369.55 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 109071 0 0 0 36911 44 0 0 20 0 1 0 30803941 1178091520 277641 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 287620 277641 1184 1200 0 286100 0
Current children cumulated CPU time: 369.55 s
Current children cumulated vsize: 1150480 KiB
Current children cumulated memory: 1110564 KiB

[startup+384 s]*
/proc/loadavg: 4.14 4.12 4.14 5/251 16620
/proc/meminfo: memFree=126993984/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=1165916 memory=1125284 CPUtime=382.32 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 109680 0 0 0 38187 45 0 0 20 0 1 0 30803941 1193897984 281321 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 291479 281321 1184 1200 0 289959 0
Current children cumulated CPU time: 382.32 s
Current children cumulated vsize: 1165916 KiB
Current children cumulated memory: 1125284 KiB

[startup+390.4 s]
/proc/loadavg: 4.13 4.12 4.14 5/251 16620
/proc/meminfo: memFree=127018472/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=1165916 memory=1125284 CPUtime=388.68 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 109681 0 0 0 38822 46 0 0 20 0 1 0 30803941 1193897984 281321 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 291479 281321 1184 1200 0 289959 0
Current children cumulated CPU time: 388.68 s
Current children cumulated vsize: 1165916 KiB
Current children cumulated memory: 1125284 KiB

[startup+392 s]*
/proc/loadavg: 4.13 4.12 4.14 5/251 16620
/proc/meminfo: memFree=127031232/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=1165916 memory=1125284 CPUtime=390.28 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 109681 0 0 0 38982 46 0 0 20 0 1 0 30803941 1193897984 281321 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 291479 281321 1184 1200 0 289959 0
Current children cumulated CPU time: 390.28 s
Current children cumulated vsize: 1165916 KiB
Current children cumulated memory: 1125284 KiB

[startup+393.6 s]
/proc/loadavg: 4.12 4.12 4.14 5/251 16620
/proc/meminfo: memFree=127024140/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=1165916 memory=1125284 CPUtime=391.86 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 109682 0 0 0 39140 46 0 0 20 0 1 0 30803941 1193897984 281321 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 291479 281321 1184 1200 0 289959 0
Current children cumulated CPU time: 391.86 s
Current children cumulated vsize: 1165916 KiB
Current children cumulated memory: 1125284 KiB

[startup+394 s]*
/proc/loadavg: 4.12 4.12 4.14 5/251 16620
/proc/meminfo: memFree=127023104/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=1165916 memory=1125284 CPUtime=392.27 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 109682 0 0 0 39181 46 0 0 20 0 1 0 30803941 1193897984 281321 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 291479 281321 1184 1200 0 289959 0
Current children cumulated CPU time: 392.27 s
Current children cumulated vsize: 1165916 KiB
Current children cumulated memory: 1125284 KiB

[startup+394.4 s]
/proc/loadavg: 4.12 4.12 4.14 5/251 16620
/proc/meminfo: memFree=127023104/131382120 swapFree=33010684/33010684
[pid=16512] ppid=16509 vsize=1180360 memory=1140772 CPUtime=392.66 cores=0,2
/proc/16512/stat : 16512 (Exact) R 16509 16512 15366 0 -1 4194304 111024 0 0 0 39219 47 0 0 20 0 1 0 30803941 1208688640 285193 18446744073709551615 4198400 9112445 140733845970896 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 27631616 140733845973306 140733845973485 140733845973485 140733845979087 0
/proc/16512/statm: 295090 285193 1248 1200 0 293570 0
Current children cumulated CPU time: 392.66 s
Current children cumulated vsize: 1180360 KiB
Current children cumulated memory: 1140772 KiB

Child status: 30

Real time (s): 394.504
CPU time (s): 392.769
CPU user time (s): 392.289
CPU system time (s): 0.479532
CPU usage (%): 99.5603
Max. virtual memory (cumulated for all children) (KiB): 1296744
Max. memory (cumulated for all children) (KiB): 1262120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 392.289
system time used= 0.479532
maximum resident set size= 1307300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111054
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= 129
involuntary context switches= 991


# summary of solver processes directly reported to runsolver:
#   pid: 16512
#   total CPU time (s): 392.769
#   total CPU user time (s): 392.289
#   total CPU system time (s): 0.479532

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.12988 second user time and 3.80374 second system time

The end