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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482669-1751471784/watcher-4482669-1751471784 -o /tmp/evaluation-result-4482669-1751471784/solver-4482669-1751471784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751464556-70957 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1617704571 --ls=360 HOME/instance-4482669-1751471784.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100058 s]*
/proc/loadavg: 4.01 4.08 4.08 5/264 72348
/proc/meminfo: memFree=117618084/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=0.1 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 10 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+0.20562 s]*
/proc/loadavg: 4.01 4.08 4.08 5/264 72348
/proc/meminfo: memFree=117618084/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=0.2 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 20 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+0.305072 s]*
/proc/loadavg: 4.01 4.08 4.08 5/264 72348
/proc/meminfo: memFree=117618084/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=0.3 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 30 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+0.700121 s]
/proc/loadavg: 4.01 4.08 4.08 5/264 72348
/proc/meminfo: memFree=117618780/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=0.69 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 69 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+1.50013 s]
/proc/loadavg: 4.01 4.08 4.08 5/264 72348
/proc/meminfo: memFree=117618780/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=1.49 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 149 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+3.10535 s]
/proc/loadavg: 4.01 4.08 4.08 5/264 72348
/proc/meminfo: memFree=117619068/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=3.09 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 309 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+6.30014 s]
/proc/loadavg: 4.01 4.08 4.08 5/264 72348
/proc/meminfo: memFree=117619068/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=6.28 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 628 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+12.7001 s]
/proc/loadavg: 4.01 4.08 4.08 5/264 72348
/proc/meminfo: memFree=117612264/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=12.66 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 1266 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+25.5001 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 72348
/proc/meminfo: memFree=117596660/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=25.44 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 2544 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+51.1054 s]
/proc/loadavg: 4.05 4.08 4.08 5/264 72350
/proc/meminfo: memFree=117549976/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=50.99 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 5099 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 72351
/proc/meminfo: memFree=117531884/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=102.08 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 10208 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 72353
/proc/meminfo: memFree=117531804/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=161.95 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 16195 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 72355
/proc/meminfo: memFree=117557172/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=221.82 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 22182 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 221.82 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 4.12 4.10 5/263 72369
/proc/meminfo: memFree=117554812/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=281.69 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 28169 0 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 281.69 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+342.3 s]
/proc/loadavg: 4.28 4.17 4.12 5/263 72371
/proc/meminfo: memFree=117547736/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=341.57 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 34156 1 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 341.57 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

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

# cumulated CPU time of all completed processes:  user=360.741 s, system=0.046357 s

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

[startup+345.6 s]
/proc/loadavg: 4.26 4.17 4.11 5/263 72371
/proc/meminfo: memFree=117547736/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=344.87 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 34486 1 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 344.87 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+352 s]*
/proc/loadavg: 4.24 4.16 4.11 5/263 72371
/proc/meminfo: memFree=117547752/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=351.26 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 35125 1 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 351.26 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+358.4 s]
/proc/loadavg: 4.28 4.17 4.12 5/264 72373
/proc/meminfo: memFree=117547752/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=357.64 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 35763 1 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 357.64 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+360 s]*
/proc/loadavg: 4.28 4.17 4.12 5/264 72373
/proc/meminfo: memFree=117547500/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=33280 memory=9644 CPUtime=359.24 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 1619 0 0 0 35923 1 0 0 20 0 1 0 62856339 34078720 2411 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 8320 2411 1024 1200 0 6800 0
Current children cumulated CPU time: 359.24 s
Current children cumulated vsize: 33280 KiB
Current children cumulated memory: 9644 KiB

[startup+360.8 s]
/proc/loadavg: 4.28 4.17 4.12 5/264 72373
/proc/meminfo: memFree=117547500/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=46016 memory=32652 CPUtime=360.03 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 5162 0 0 0 36001 2 0 0 20 0 1 0 62856339 47120384 8163 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 11504 8163 1280 1200 0 9984 0
Current children cumulated CPU time: 360.03 s
Current children cumulated vsize: 46016 KiB
Current children cumulated memory: 32652 KiB

[startup+361.2 s]
/proc/loadavg: 4.28 4.17 4.12 5/264 72374
/proc/meminfo: memFree=117523700/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=57232 memory=45332 CPUtime=360.43 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 7846 0 0 0 36040 3 0 0 20 0 1 0 62856339 58605568 11333 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 14308 11333 1280 1200 0 12788 0
Current children cumulated CPU time: 360.43 s
Current children cumulated vsize: 57232 KiB
Current children cumulated memory: 45332 KiB

[startup+361.4 s]
/proc/loadavg: 4.28 4.17 4.12 5/264 72374
/proc/meminfo: memFree=117523700/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=59044 memory=51572 CPUtime=360.63 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 8377 0 0 0 36059 4 0 0 20 0 1 0 62856339 60461056 12893 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 14761 12893 1280 1200 0 13241 0
Current children cumulated CPU time: 360.63 s
Current children cumulated vsize: 59044 KiB
Current children cumulated memory: 51572 KiB

[startup+361.5 s]
/proc/loadavg: 4.28 4.17 4.12 5/264 72374
/proc/meminfo: memFree=117523700/131249996 swapFree=33010684/33010684
[pid=72347] ppid=72344 vsize=60024 memory=52340 CPUtime=360.73 cores=4,6
/proc/72347/stat : 72347 (Exact) R 72344 72347 70946 0 -1 4194304 8574 0 0 0 36069 4 0 0 20 0 1 0 62856339 61464576 13085 18446744073709551615 4198400 9112445 140728472668656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 23695360 140728472672570 140728472672749 140728472672749 140728472678351 0
/proc/72347/statm: 15006 13085 1280 1200 0 13486 0
Current children cumulated CPU time: 360.73 s
Current children cumulated vsize: 60024 KiB
Current children cumulated memory: 52340 KiB

Child status: 30

Real time (s): 361.549
CPU time (s): 360.788
CPU user time (s): 360.741
CPU system time (s): 0.046357
CPU usage (%): 99.7895
Max. virtual memory (cumulated for all children) (KiB): 60024
Max. memory (cumulated for all children) (KiB): 52340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 360.741
system time used= 0.046357
maximum resident set size= 52468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8595
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= 113


# summary of solver processes directly reported to runsolver:
#   pid: 72347
#   total CPU time (s): 360.788
#   total CPU user time (s): 360.741
#   total CPU system time (s): 0.046357

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.643817 second user time and 1.45115 second system time

The end