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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482337-1751394231/watcher-4482337-1751394231 -o /tmp/evaluation-result-4482337-1751394231/solver-4482337-1751394231 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751393360-53113 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=949202684 --ls=360 HOME/instance-4482337-1751394231.opb 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=53575, runsolver pid=53572
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.36 4.03 3.12 5/266 53576
/proc/meminfo: memFree=129789320/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=10840 CPUtime=0.1 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2046 0 0 0 10 0 0 0 20 0 1 0 55102675 35573760 2710 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 2710 1024 1200 0 7165 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 10840 KiB

[startup+0.205549 s]*
/proc/loadavg: 4.36 4.03 3.12 5/266 53576
/proc/meminfo: memFree=129789320/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=10840 CPUtime=0.2 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2046 0 0 0 20 0 0 0 20 0 1 0 55102675 35573760 2710 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 2710 1024 1200 0 7165 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 10840 KiB

[startup+0.305506 s]*
/proc/loadavg: 4.36 4.03 3.12 5/266 53576
/proc/meminfo: memFree=129789320/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=10840 CPUtime=0.3 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2046 0 0 0 30 0 0 0 20 0 1 0 55102675 35573760 2710 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 2710 1024 1200 0 7165 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 10840 KiB

[startup+0.700168 s]
/proc/loadavg: 4.36 4.03 3.12 5/266 53576
/proc/meminfo: memFree=129789320/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=10840 CPUtime=0.69 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2046 0 0 0 69 0 0 0 20 0 1 0 55102675 35573760 2710 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 2710 1024 1200 0 7165 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 10840 KiB

[startup+1.50017 s]
/proc/loadavg: 4.36 4.03 3.12 5/266 53576
/proc/meminfo: memFree=129778092/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=10840 CPUtime=1.49 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2046 0 0 0 149 0 0 0 20 0 1 0 55102675 35573760 2710 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 2710 1024 1200 0 7165 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 10840 KiB

[startup+3.10539 s]
/proc/loadavg: 4.36 4.03 3.12 5/266 53576
/proc/meminfo: memFree=129778344/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=10840 CPUtime=3.09 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2046 0 0 0 309 0 0 0 20 0 1 0 55102675 35573760 2710 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 2710 1024 1200 0 7165 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 10840 KiB

[startup+6.30016 s]
/proc/loadavg: 4.33 4.03 3.13 5/266 53576
/proc/meminfo: memFree=129778344/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=10840 CPUtime=6.28 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2046 0 0 0 628 0 0 0 20 0 1 0 55102675 35573760 2710 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 2710 1024 1200 0 7165 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 10840 KiB

[startup+12.7002 s]
/proc/loadavg: 4.30 4.03 3.13 5/266 53576
/proc/meminfo: memFree=129776444/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=10840 CPUtime=12.66 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2046 0 0 0 1266 0 0 0 20 0 1 0 55102675 35573760 2710 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 2710 1024 1200 0 7165 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 10840 KiB

[startup+25.5002 s]
/proc/loadavg: 4.24 4.03 3.15 5/266 53576
/proc/meminfo: memFree=129777124/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=10840 CPUtime=25.43 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2046 0 0 0 2543 0 0 0 20 0 1 0 55102675 35573760 2710 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 2710 1024 1200 0 7165 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 10840 KiB

[startup+51.1055 s]
/proc/loadavg: 4.21 4.04 3.18 5/266 53576
/proc/meminfo: memFree=129777124/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=10840 CPUtime=50.98 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2046 0 0 0 5098 0 0 0 20 0 1 0 55102675 35573760 2710 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 2710 1024 1200 0 7165 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 10840 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.05 3.23 5/265 53583
/proc/meminfo: memFree=129772724/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=12120 CPUtime=102.05 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2049 0 0 0 10205 0 0 0 20 0 1 0 55102675 35573760 3030 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 3030 1024 1200 0 7165 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12120 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.05 3.28 5/266 53586
/proc/meminfo: memFree=129775032/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=12120 CPUtime=161.91 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2051 0 0 0 16191 0 0 0 20 0 1 0 55102675 35573760 3030 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 3030 1024 1200 0 7165 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12120 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.06 3.34 5/266 53589
/proc/meminfo: memFree=129687572/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=12120 CPUtime=221.78 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2053 0 0 0 22178 0 0 0 20 0 1 0 55102675 35573760 3030 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 3030 1024 1200 0 7165 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12120 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.06 3.39 5/266 53636
/proc/meminfo: memFree=128472884/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=12120 CPUtime=281.64 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2054 0 0 0 28164 0 0 0 20 0 1 0 55102675 35573760 3030 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 3030 1024 1200 0 7165 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12120 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.09 3.44 5/266 53638
/proc/meminfo: memFree=127278868/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=12120 CPUtime=341.51 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2055 0 0 0 34151 0 0 0 20 0 1 0 55102675 35573760 3030 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 3030 1024 1200 0 7165 0
Current children cumulated CPU time: 341.51 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12120 KiB

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

# cumulated CPU time of all completed processes:  user=362.181 s, system=0.033904 s

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

[startup+345.6 s]
/proc/loadavg: 4.17 4.09 3.45 5/266 53638
/proc/meminfo: memFree=127280124/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=12120 CPUtime=344.8 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2055 0 0 0 34480 0 0 0 20 0 1 0 55102675 35573760 3030 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 3030 1024 1200 0 7165 0
Current children cumulated CPU time: 344.8 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12120 KiB

[startup+352 s]*
/proc/loadavg: 4.15 4.09 3.45 5/266 53638
/proc/meminfo: memFree=127253156/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=12120 CPUtime=351.19 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2055 0 0 0 35119 0 0 0 20 0 1 0 55102675 35573760 3030 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 3030 1024 1200 0 7165 0
Current children cumulated CPU time: 351.19 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12120 KiB

[startup+358.4 s]
/proc/loadavg: 4.14 4.09 3.45 5/266 53638
/proc/meminfo: memFree=127253156/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=34740 memory=12120 CPUtime=357.57 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 2055 0 0 0 35757 0 0 0 20 0 1 0 55102675 35573760 3030 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 8685 3030 1024 1200 0 7165 0
Current children cumulated CPU time: 357.57 s
Current children cumulated vsize: 34740 KiB
Current children cumulated memory: 12120 KiB

[startup+361.6 s]
/proc/loadavg: 4.13 4.08 3.46 5/266 53638
/proc/meminfo: memFree=127237660/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=59088 memory=46752 CPUtime=360.76 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 8156 0 0 0 36074 2 0 0 20 0 1 0 55102675 60506112 11688 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 14772 11688 1280 1200 0 13252 0
Current children cumulated CPU time: 360.76 s
Current children cumulated vsize: 59088 KiB
Current children cumulated memory: 46752 KiB

[startup+362.4 s]
/proc/loadavg: 4.13 4.08 3.46 5/266 53639
/proc/meminfo: memFree=127229856/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=66004 memory=51872 CPUtime=361.56 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 9447 0 0 0 36154 2 0 0 20 0 1 0 55102675 67588096 12968 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 16501 12968 1280 1200 0 14981 0
Current children cumulated CPU time: 361.56 s
Current children cumulated vsize: 66004 KiB
Current children cumulated memory: 51872 KiB

[startup+362.8 s]
/proc/loadavg: 4.13 4.08 3.46 5/266 53639
/proc/meminfo: memFree=127229856/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=67924 memory=55536 CPUtime=361.96 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 9855 0 0 0 36194 2 0 0 20 0 1 0 55102675 69554176 13884 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 16981 13884 1280 1200 0 15461 0
Current children cumulated CPU time: 361.96 s
Current children cumulated vsize: 67924 KiB
Current children cumulated memory: 55536 KiB

[startup+363 s]*
/proc/loadavg: 4.13 4.08 3.46 5/266 53639
/proc/meminfo: memFree=127221792/131249996 swapFree=33010416/33010684
[pid=53575] ppid=53572 vsize=69432 memory=56816 CPUtime=362.17 cores=1,3
/proc/53575/stat : 53575 (Exact) R 53572 53575 53101 0 -1 4194304 10161 0 0 0 36214 3 0 0 20 0 1 0 55102675 71098368 14204 18446744073709551615 4198400 9112445 140732229550288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 24498176 140732229552443 140732229552621 140732229552621 140732229558223 0
/proc/53575/statm: 17358 14204 1280 1200 0 15838 0
Current children cumulated CPU time: 362.17 s
Current children cumulated vsize: 69432 KiB
Current children cumulated memory: 56816 KiB

Child status: 30

Real time (s): 363.045
CPU time (s): 362.215
CPU user time (s): 362.181
CPU system time (s): 0.033904
CPU usage (%): 99.7713
Max. virtual memory (cumulated for all children) (KiB): 69432
Max. memory (cumulated for all children) (KiB): 56816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 362.181
system time used= 0.033904
maximum resident set size= 56944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10225
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= 3
involuntary context switches= 288


# summary of solver processes directly reported to runsolver:
#   pid: 53575
#   total CPU time (s): 362.215
#   total CPU user time (s): 362.181
#   total CPU system time (s): 0.033904

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.603437 second user time and 1.64779 second system time

The end