0.00/0.06 c #vars 2724 #constraints 6385 2.34398 1
0.00/0.06 c intsize: 3
0.09/0.18 c 6385 constraints
0.09/0.18 c Finish cloning data from SAT to LS
0.09/0.18 c restart_num_ls -100000 0
51.75/51.94 c Use LS-small
51.75/51.94 c restart_num_ls 0 551
51.75/51.94 c LS 90 87
190.10/190.60 c Use LS-small
190.10/190.60 c restart_num_ls 551 2046
190.10/190.60 c LS 80 64
242.23/242.93 c Use LS-small
242.23/242.93 c restart_num_ls 2046 2555
242.23/242.93 c LS 70 58
357.25/358.32 c Use LS-small
357.25/358.32 s UNSATISFIABLE
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: 63837 MiB (60402 MiB free)
memory of node 1: 64465 MiB (63300 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545801-1753260923/watcher-4545801-1753260923 -o /tmp/evaluation-result-4545801-1753260923/solver-4545801-1753260923 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753259701-166040 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545801-1753260923.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=167050, runsolver pid=167047
[startup+0.100098 s]*
/proc/loadavg: 4.13 4.06 3.10 5/253 167051
/proc/meminfo: memFree=126671908/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=90916 memory=18080 CPUtime=0.09 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 2635 0 0 0 8 1 0 0 20 0 1 0 241771093 93097984 4520 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 22729 4520 2368 595 0 7396 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 90916 KiB
Current children cumulated memory: 18080 KiB
[startup+0.213245 s]*
/proc/loadavg: 4.13 4.06 3.10 5/253 167051
/proc/meminfo: memFree=126668128/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=96912 memory=23512 CPUtime=0.2 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 4162 0 0 0 17 3 0 0 20 0 1 0 241771093 99237888 5878 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 24228 5878 2432 595 0 8895 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 96912 KiB
Current children cumulated memory: 23512 KiB
[startup+0.313027 s]*
/proc/loadavg: 4.13 4.06 3.10 5/253 167051
/proc/meminfo: memFree=126668128/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=96912 memory=23512 CPUtime=0.31 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 4162 0 0 0 25 6 0 0 20 0 1 0 241771093 99237888 5878 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 24228 5878 2432 595 0 8895 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 96912 KiB
Current children cumulated memory: 23512 KiB
[startup+0.700242 s]
/proc/loadavg: 4.13 4.06 3.10 5/253 167051
/proc/meminfo: memFree=126668128/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=96912 memory=23512 CPUtime=0.68 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 4162 0 0 0 55 13 0 0 20 0 1 0 241771093 99237888 5878 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 24228 5878 2432 595 0 8895 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 96912 KiB
Current children cumulated memory: 23512 KiB
[startup+1.50026 s]
/proc/loadavg: 4.13 4.06 3.10 5/253 167051
/proc/meminfo: memFree=126668128/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=96912 memory=23512 CPUtime=1.48 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 4162 0 0 0 121 27 0 0 20 0 1 0 241771093 99237888 5878 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 24228 5878 2432 595 0 8895 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 96912 KiB
Current children cumulated memory: 23512 KiB
[startup+3.11245 s]
/proc/loadavg: 4.12 4.06 3.10 5/253 167051
/proc/meminfo: memFree=126668380/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=96912 memory=23512 CPUtime=3.08 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 4162 0 0 0 250 58 0 0 20 0 1 0 241771093 99237888 5878 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 24228 5878 2432 595 0 8895 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 96912 KiB
Current children cumulated memory: 23512 KiB
[startup+6.30024 s]
/proc/loadavg: 4.12 4.06 3.10 5/253 167051
/proc/meminfo: memFree=126668380/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=96912 memory=23512 CPUtime=6.27 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 4162 0 0 0 507 120 0 0 20 0 1 0 241771093 99237888 5878 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 24228 5878 2432 595 0 8895 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 96912 KiB
Current children cumulated memory: 23512 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.06 3.11 5/253 167051
/proc/meminfo: memFree=126660252/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=99360 memory=34920 CPUtime=12.65 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 4890 0 0 0 1122 143 0 0 20 0 1 0 241771093 101744640 8730 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 24840 8730 2496 595 0 9507 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 99360 KiB
Current children cumulated memory: 34920 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.06 3.12 5/252 167051
/proc/meminfo: memFree=126660504/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=100228 memory=35688 CPUtime=25.42 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 5078 0 0 0 2395 147 0 0 20 0 1 0 241771093 102633472 8922 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 25057 8922 2496 595 0 9724 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 100228 KiB
Current children cumulated memory: 35688 KiB
[startup+51.1126 s]
/proc/loadavg: 4.12 4.07 3.15 5/252 167052
/proc/meminfo: memFree=126661544/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=101064 memory=36456 CPUtime=50.96 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 5287 0 0 0 4941 155 0 0 20 0 1 0 241771093 103489536 9114 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 25266 9114 2496 595 0 9933 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 101064 KiB
Current children cumulated memory: 36456 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.07 3.20 5/252 167054
/proc/meminfo: memFree=126643796/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=101812 memory=37352 CPUtime=102.02 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 5511 0 0 0 9894 308 0 0 20 0 1 0 241771093 104255488 9338 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 25453 9338 2496 595 0 10120 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 101812 KiB
Current children cumulated memory: 37352 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.07 3.26 5/252 167055
/proc/meminfo: memFree=126633272/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=102564 memory=38632 CPUtime=161.86 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 5677 0 0 0 15860 326 0 0 20 0 1 0 241771093 105025536 9658 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 25641 9658 2496 595 0 10308 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 102564 KiB
Current children cumulated memory: 38632 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.08 3.32 6/252 167057
/proc/meminfo: memFree=126635464/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=104400 memory=40424 CPUtime=221.7 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 6126 0 0 0 21696 474 0 0 20 0 1 0 241771093 106905600 10106 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 26100 10106 2496 595 0 10767 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 104400 KiB
Current children cumulated memory: 40424 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.08 3.37 5/251 167059
/proc/meminfo: memFree=126633216/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=107460 memory=43496 CPUtime=281.51 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 6892 0 0 0 27527 624 0 0 20 0 1 0 241771093 110039040 10874 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 26865 10874 2496 595 0 11532 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 107460 KiB
Current children cumulated memory: 43496 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.10 3.42 5/249 167072
/proc/meminfo: memFree=126646648/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=109148 memory=45160 CPUtime=341.3 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 7324 0 0 0 33490 640 0 0 20 0 1 0 241771093 111767552 11290 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 27287 11290 2496 595 0 11954 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 109148 KiB
Current children cumulated memory: 45160 KiB
[startup+358.327 s]
# the end of solver process 167050 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=350.831 s, system=6.45629 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+345.6 s]
/proc/loadavg: 4.13 4.09 3.43 5/249 167072
/proc/meminfo: memFree=126646664/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=109148 memory=45160 CPUtime=344.6 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 7325 0 0 0 33819 641 0 0 20 0 1 0 241771093 111767552 11290 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 27287 11290 2496 595 0 11954 0
Current children cumulated CPU time: 344.6 s
Current children cumulated vsize: 109148 KiB
Current children cumulated memory: 45160 KiB
[startup+352 s]*
/proc/loadavg: 4.12 4.09 3.43 5/249 167073
/proc/meminfo: memFree=126647168/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=109312 memory=45288 CPUtime=350.98 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 7362 0 0 0 34455 643 0 0 20 0 1 0 241771093 111935488 11322 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 27328 11322 2496 595 0 11995 0
Current children cumulated CPU time: 350.98 s
Current children cumulated vsize: 109312 KiB
Current children cumulated memory: 45288 KiB
[startup+355.2 s]
/proc/loadavg: 4.11 4.09 3.43 5/249 167073
/proc/meminfo: memFree=126647420/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=109312 memory=45416 CPUtime=354.16 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 7384 0 0 0 34772 644 0 0 20 0 1 0 241771093 111935488 11354 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 27328 11354 2496 595 0 11995 0
Current children cumulated CPU time: 354.16 s
Current children cumulated vsize: 109312 KiB
Current children cumulated memory: 45416 KiB
[startup+356.8 s]
/proc/loadavg: 4.11 4.09 3.43 5/249 167073
/proc/meminfo: memFree=126647420/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=109312 memory=45416 CPUtime=355.76 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 7385 0 0 0 34931 645 0 0 20 0 1 0 241771093 111935488 11354 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 27328 11354 2496 595 0 11995 0
Current children cumulated CPU time: 355.76 s
Current children cumulated vsize: 109312 KiB
Current children cumulated memory: 45416 KiB
[startup+357.6 s]
/proc/loadavg: 4.11 4.09 3.43 5/249 167073
/proc/meminfo: memFree=126647420/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=109312 memory=45416 CPUtime=356.55 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 7385 0 0 0 35010 645 0 0 20 0 1 0 241771093 111935488 11354 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 27328 11354 2496 595 0 11995 0
Current children cumulated CPU time: 356.55 s
Current children cumulated vsize: 109312 KiB
Current children cumulated memory: 45416 KiB
[startup+358 s]*
/proc/loadavg: 4.10 4.09 3.44 5/249 167073
/proc/meminfo: memFree=126647420/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=109312 memory=45416 CPUtime=356.96 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 7385 0 0 0 35051 645 0 0 20 0 1 0 241771093 111935488 11354 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 27328 11354 2496 595 0 11995 0
Current children cumulated CPU time: 356.96 s
Current children cumulated vsize: 109312 KiB
Current children cumulated memory: 45416 KiB
[startup+358.2 s]
/proc/loadavg: 4.10 4.09 3.44 5/249 167073
/proc/meminfo: memFree=126647420/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=109772 memory=45800 CPUtime=357.15 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 7474 0 0 0 35070 645 0 0 20 0 1 0 241771093 112406528 11450 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 27443 11450 2496 595 0 12110 0
Current children cumulated CPU time: 357.15 s
Current children cumulated vsize: 109772 KiB
Current children cumulated memory: 45800 KiB
[startup+358.3 s]
/proc/loadavg: 4.10 4.09 3.44 5/249 167073
/proc/meminfo: memFree=126647420/131382120 swapFree=33010416/33010684
[pid=167050] ppid=167047 vsize=109772 memory=45800 CPUtime=357.25 cores=1,3
/proc/167050/stat : 167050 (SynLSCD) R 167047 167050 166021 0 -1 4194304 7474 0 0 0 35080 645 0 0 20 0 1 0 241771093 112406528 11450 18446744073709551615 94290241355776 94290243790377 140730085331616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94290244271352 94290244304384 94290277597184 140730085337475 140730085337610 140730085337610 140730085343214 0
/proc/167050/statm: 27443 11450 2496 595 0 12110 0
Current children cumulated CPU time: 357.25 s
Current children cumulated vsize: 109772 KiB
Current children cumulated memory: 45800 KiB
Child status: 20
Real time (s): 358.327
CPU time (s): 357.288
CPU user time (s): 350.831
CPU system time (s): 6.45629
CPU usage (%): 99.71
Max. virtual memory (cumulated for all children) (KiB): 109772
Max. memory (cumulated for all children) (KiB): 45800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 350.831
system time used= 6.45629
maximum resident set size= 46184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7506
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= 144
involuntary context switches= 366
# summary of solver processes directly reported to runsolver:
# pid: 167050
# total CPU time (s): 357.288
# total CPU user time (s): 350.831
# total CPU system time (s): 6.45629
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.66445 second user time and 3.33662 second system time
The end
Begin job on nodeC002 at 2025-07-23 10:55:23
IDJOB=4545801
IDBENCH=160406
IDSOLVER=3421
FILE ID=nodeC002/4545801-1753260923
RUNJOBID= nodeC002-1753259701-166040
SLURM_JOB_ID= 9689157
Free space on /tmp= 432272 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545801-1753260923/watcher-4545801-1753260923 -o /tmp/evaluation-result-4545801-1753260923/solver-4545801-1753260923 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753259701-166040 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545801-1753260923.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bbbcfa0a64e8945cae78db4c3e84f0d8
RANDOM SEED=709438037
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3645.557
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.518
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.219
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.219
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.907
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.797
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.360
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 126671908 kB
MemAvailable: 128005632 kB
Buffers: 2128 kB
Cached: 2085576 kB
SwapCached: 28 kB
Active: 3027236 kB
Inactive: 976760 kB
Active(anon): 1936116 kB
Inactive(anon): 6300 kB
Active(file): 1091120 kB
Inactive(file): 970460 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3784 kB
Writeback: 0 kB
AnonPages: 1919348 kB
Mapped: 120660 kB
Shmem: 26124 kB
KReclaimable: 223540 kB
Slab: 314988 kB
SReclaimable: 223540 kB
SUnreclaim: 91448 kB
KernelStack: 4096 kB
PageTables: 6988 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 2387288 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1816576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432268 MiB
End job on nodeC002 at 2025-07-23 11:01:21