0.00/0.02 c #vars 2724 #constraints 6385 2.34398 1
0.00/0.07 c 6385 constraints
0.00/0.07 c Finish cloning data from SAT to LS
0.00/0.07 c restart_num_ls -100000 0
6.57/6.68 c Use LS-small
6.57/6.68 c update_LS_target_phase-runLS
99.34/99.68 c restart_num_ls 0 1114
99.34/99.68 c LS 90 87
191.13/191.68 c Use LS-small
191.13/191.68 c restart_num_ls 1114 2046
191.13/191.68 c LS 80 38
238.92/239.52 c Use LS-small
238.92/239.52 c restart_num_ls 2046 2565
238.92/239.52 c LS 70 32
281.03/281.72 c Use LS-small
281.03/281.72 c restart_num_ls 2565 3069
281.03/281.72 c LS 60 41
322.94/323.70 c Use LS-small
322.94/323.70 c restart_num_ls 3069 3580
322.94/323.70 c LS 50 22
375.61/376.54 c Use LS-small
375.61/376.54 c restart_num_ls 3580 4093
375.61/376.54 c LS 40 49
455.23/456.32 c Use LS-small
455.23/456.32 c restart_num_ls 4093 4605
455.23/456.32 c LS 30 93
496.14/497.35 c Use LS-small
496.14/497.35 c restart_num_ls 4605 5117
496.14/497.35 c LS 20 73
541.24/542.52 c Use LS-small
541.24/542.52 c restart_num_ls 5117 5634
541.24/542.52 c LS 10 74
700.88/702.57 c Use LS-small
700.88/702.57 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: 63708 MiB (63026 MiB free)
memory of node 1: 64465 MiB (63877 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510955-1751199246/watcher-4510955-1751199246 -o /tmp/evaluation-result-4510955-1751199246/solver-4510955-1751199246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751194487-24986 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510955-1751199246.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
Current StackSize limit: 8192 KiB
solver pid=26274, runsolver pid=26271
[startup+0.100061 s]*
/proc/loadavg: 4.02 4.10 4.08 5/265 26275
/proc/meminfo: memFree=129939200/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=96912 memory=23680 CPUtime=0.09 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 4166 0 0 0 7 2 0 0 20 0 1 0 35603218 99237888 5920 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 24228 5920 2464 595 0 8895 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 96912 KiB
Current children cumulated memory: 23680 KiB
[startup+0.205508 s]*
/proc/loadavg: 4.02 4.10 4.08 5/265 26275
/proc/meminfo: memFree=129939200/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=96912 memory=23680 CPUtime=0.19 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 4166 0 0 0 16 3 0 0 20 0 1 0 35603218 99237888 5920 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 24228 5920 2464 595 0 8895 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 96912 KiB
Current children cumulated memory: 23680 KiB
[startup+0.305365 s]*
/proc/loadavg: 4.02 4.10 4.08 5/265 26275
/proc/meminfo: memFree=129935168/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=96912 memory=23680 CPUtime=0.29 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 4166 0 0 0 23 6 0 0 20 0 1 0 35603218 99237888 5920 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 24228 5920 2464 595 0 8895 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 96912 KiB
Current children cumulated memory: 23680 KiB
[startup+0.700113 s]
/proc/loadavg: 4.02 4.10 4.08 5/265 26275
/proc/meminfo: memFree=129935168/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=96912 memory=23680 CPUtime=0.68 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 4166 0 0 0 54 14 0 0 20 0 1 0 35603218 99237888 5920 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 24228 5920 2464 595 0 8895 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 96912 KiB
Current children cumulated memory: 23680 KiB
[startup+1.50011 s]
/proc/loadavg: 4.02 4.10 4.08 5/265 26275
/proc/meminfo: memFree=129935176/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=96912 memory=23680 CPUtime=1.48 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 4166 0 0 0 119 29 0 0 20 0 1 0 35603218 99237888 5920 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 24228 5920 2464 595 0 8895 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 96912 KiB
Current children cumulated memory: 23680 KiB
[startup+3.1053 s]
/proc/loadavg: 4.02 4.10 4.08 5/265 26275
/proc/meminfo: memFree=129934932/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=96912 memory=23680 CPUtime=3.08 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 4166 0 0 0 249 59 0 0 20 0 1 0 35603218 99237888 5920 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 24228 5920 2464 595 0 8895 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 96912 KiB
Current children cumulated memory: 23680 KiB
[startup+6.3001 s]
/proc/loadavg: 4.02 4.09 4.08 5/265 26275
/proc/meminfo: memFree=129934932/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=96912 memory=23680 CPUtime=6.27 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 4166 0 0 0 513 114 0 0 20 0 1 0 35603218 99237888 5920 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 24228 5920 2464 595 0 8895 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 96912 KiB
Current children cumulated memory: 23680 KiB
[startup+12.7001 s]
/proc/loadavg: 4.02 4.09 4.08 5/265 26275
/proc/meminfo: memFree=129934932/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=99268 memory=32476 CPUtime=12.65 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 4831 0 0 0 1143 122 0 0 20 0 1 0 35603218 101650432 8119 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 24817 8119 2496 595 0 9484 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 99268 KiB
Current children cumulated memory: 32476 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 26276
/proc/meminfo: memFree=129934948/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=100344 memory=33500 CPUtime=25.42 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 5073 0 0 0 2416 126 0 0 20 0 1 0 35603218 102752256 8375 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 25086 8375 2496 595 0 9753 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 100344 KiB
Current children cumulated memory: 33500 KiB
[startup+51.1057 s]
/proc/loadavg: 4.06 4.09 4.08 5/264 26276
/proc/meminfo: memFree=129934720/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=101144 memory=34268 CPUtime=50.96 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 5278 0 0 0 4962 134 0 0 20 0 1 0 35603218 103571456 8567 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 25286 8567 2496 595 0 9953 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 101144 KiB
Current children cumulated memory: 34268 KiB
[startup+102.3 s]
/proc/loadavg: 4.02 4.08 4.08 5/265 26283
/proc/meminfo: memFree=129920608/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=102276 memory=36188 CPUtime=102.03 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 5610 0 0 0 10005 198 0 0 20 0 1 0 35603218 104730624 9047 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 25569 9047 2496 595 0 10236 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 102276 KiB
Current children cumulated memory: 36188 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 26285
/proc/meminfo: memFree=129919316/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=102468 memory=36316 CPUtime=161.9 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 5640 0 0 0 15897 293 0 0 20 0 1 0 35603218 104927232 9079 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 25617 9079 2496 595 0 10284 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 102468 KiB
Current children cumulated memory: 36316 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 26287
/proc/meminfo: memFree=129920868/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=103232 memory=37084 CPUtime=221.76 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 5834 0 0 0 21735 441 0 0 20 0 1 0 35603218 105709568 9271 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 25808 9271 2496 595 0 10475 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 103232 KiB
Current children cumulated memory: 37084 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 26291
/proc/meminfo: memFree=129922028/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=103560 memory=37468 CPUtime=281.63 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 5912 0 0 0 27560 603 0 0 20 0 1 0 35603218 106045440 9367 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 25890 9367 2496 595 0 10557 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 103560 KiB
Current children cumulated memory: 37468 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 26293
/proc/meminfo: memFree=129919824/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=103912 memory=37724 CPUtime=341.49 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 6011 0 0 0 33271 878 0 0 20 0 1 0 35603218 106405888 9431 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 25978 9431 2496 595 0 10645 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 103912 KiB
Current children cumulated memory: 37724 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 26295
/proc/meminfo: memFree=129921188/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=104424 memory=38236 CPUtime=401.36 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 6144 0 0 0 39110 1026 0 0 20 0 1 0 35603218 106930176 9559 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 26106 9559 2496 595 0 10773 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 104424 KiB
Current children cumulated memory: 38236 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 26297
/proc/meminfo: memFree=129919784/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=104844 memory=38748 CPUtime=461.22 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 6276 0 0 0 44960 1162 0 0 20 0 1 0 35603218 107360256 9687 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 26211 9687 2496 595 0 10878 0
Current children cumulated CPU time: 461.22 s
Current children cumulated vsize: 104844 KiB
Current children cumulated memory: 38748 KiB
[startup+522.3 s]
/proc/loadavg: 4.05 4.08 4.08 5/264 26299
/proc/meminfo: memFree=129917888/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=105036 memory=38876 CPUtime=521.09 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 6295 0 0 0 50793 1316 0 0 20 0 1 0 35603218 107556864 9719 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 26259 9719 2496 595 0 10926 0
Current children cumulated CPU time: 521.09 s
Current children cumulated vsize: 105036 KiB
Current children cumulated memory: 38876 KiB
[startup+582.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 26301
/proc/meminfo: memFree=129917508/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=108308 memory=42204 CPUtime=580.95 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 7111 0 0 0 56629 1466 0 0 20 0 1 0 35603218 110907392 10551 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 27077 10551 2496 595 0 11744 0
Current children cumulated CPU time: 580.95 s
Current children cumulated vsize: 108308 KiB
Current children cumulated memory: 42204 KiB
[startup+642.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 26306
/proc/meminfo: memFree=129912968/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=110256 memory=44124 CPUtime=640.82 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 7606 0 0 0 62598 1484 0 0 20 0 1 0 35603218 112902144 11031 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 27564 11031 2496 595 0 12231 0
Current children cumulated CPU time: 640.82 s
Current children cumulated vsize: 110256 KiB
Current children cumulated memory: 44124 KiB
[startup+702.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 26313
/proc/meminfo: memFree=129929184/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=111144 memory=45020 CPUtime=700.68 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 7819 0 0 0 68568 1500 0 0 20 0 1 0 35603218 113811456 11255 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 27786 11255 2496 595 0 12453 0
Current children cumulated CPU time: 700.68 s
Current children cumulated vsize: 111144 KiB
Current children cumulated memory: 45020 KiB
[startup+702.578 s]
# the end of solver process 26274 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=685.96 s, system=15.0088 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+702.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 26313
/proc/meminfo: memFree=129929184/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=111144 memory=45020 CPUtime=700.78 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 7819 0 0 0 68578 1500 0 0 20 0 1 0 35603218 113811456 11255 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 27786 11255 2496 595 0 12453 0
Current children cumulated CPU time: 700.78 s
Current children cumulated vsize: 111144 KiB
Current children cumulated memory: 45020 KiB
[startup+702.5 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 26313
/proc/meminfo: memFree=129929184/131250000 swapFree=33010684/33010684
[pid=26274] ppid=26271 vsize=111144 memory=45020 CPUtime=700.88 cores=4,6
/proc/26274/stat : 26274 (SynLSCD-PS) R 26271 26274 24975 0 -1 4194304 7819 0 0 0 68588 1500 0 0 20 0 1 0 35603218 113811456 11255 18446744073709551615 94471377383424 94471379818425 140726751204128 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94471380299000 94471380332032 94471390912512 140726751205728 140726751205864 140726751205864 140726751211466 0
/proc/26274/statm: 27786 11255 2496 595 0 12453 0
Current children cumulated CPU time: 700.88 s
Current children cumulated vsize: 111144 KiB
Current children cumulated memory: 45020 KiB
Child status: 20
Real time (s): 702.578
CPU time (s): 700.968
CPU user time (s): 685.96
CPU system time (s): 15.0088
CPU usage (%): 99.7709
Max. virtual memory (cumulated for all children) (KiB): 111144
Max. memory (cumulated for all children) (KiB): 45020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 685.96
system time used= 15.0088
maximum resident set size= 45532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7851
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= 143
involuntary context switches= 640
# summary of solver processes directly reported to runsolver:
# pid: 26274
# total CPU time (s): 700.968
# total CPU user time (s): 685.96
# total CPU system time (s): 15.0088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31697 second user time and 2.82749 second system time
The end
Begin job on nodeC026 at 2025-06-29 14:14:06
IDJOB=4510955
IDBENCH=160406
IDSOLVER=3370
FILE ID=nodeC026/4510955-1751199246
RUNJOBID= nodeC026-1751194487-24986
SLURM_JOB_ID= 9587598
Free space on /tmp= 433048 MiB
SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510955-1751199246/watcher-4510955-1751199246 -o /tmp/evaluation-result-4510955-1751199246/solver-4510955-1751199246 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751194487-24986 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510955-1751199246.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bbbcfa0a64e8945cae78db4c3e84f0d8
RANDOM SEED=2132114291
nodeC026 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 : 0xb00002a
cpu MHz : 3599.781
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.802
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.907
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3601.066
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.999
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.808
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.800
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3700.000
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129950004 kB
MemAvailable: 129707916 kB
Buffers: 3280 kB
Cached: 567572 kB
SwapCached: 0 kB
Active: 381248 kB
Inactive: 344976 kB
Active(anon): 173452 kB
Inactive(anon): 0 kB
Active(file): 207796 kB
Inactive(file): 344976 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3620 kB
Writeback: 0 kB
AnonPages: 158724 kB
Mapped: 114552 kB
Shmem: 18080 kB
KReclaimable: 88756 kB
Slab: 174540 kB
SReclaimable: 88756 kB
SUnreclaim: 85784 kB
KernelStack: 4236 kB
PageTables: 3528 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 538172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 83968 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC026 at 2025-06-29 14:25:48