0.00/0.01 c #vars 901 #constraints 1258 1.39623 1
0.00/0.03 c 1258 constraints
0.00/0.03 c Finish cloning data from SAT to LS
0.00/0.03 c restart_num_ls -100000 0
25.53/25.69 c Use LS-small
25.53/25.69 c update_LS_target_phase-runLS
35.61/35.70 c restart_num_ls 0 504
35.61/35.70 c LS 90 23
70.14/70.39 c Use LS-small
70.14/70.39 c restart_num_ls 504 1022
70.14/70.39 c LS 80 91
112.35/112.65 c Use LS-small
112.35/112.65 c restart_num_ls 1022 2045
112.35/112.65 c LS 70 17
154.17/154.55 c Use LS-small
154.17/154.55 c restart_num_ls 2045 3065
154.17/154.55 c LS 60 95
197.68/198.13 c Use LS-small
197.68/198.13 c restart_num_ls 3065 4092
197.68/198.13 c LS 50 21
240.59/241.14 c Use LS-small
240.59/241.14 c restart_num_ls 4092 4604
240.59/241.14 c LS 40 62
276.72/277.34 c Use LS-small
276.72/277.34 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 (63016 MiB free)
memory of node 1: 64465 MiB (63889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510415-1751195291/watcher-4510415-1751195291 -o /tmp/evaluation-result-4510415-1751195291/solver-4510415-1751195291 -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-4510415-1751195291.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25403, runsolver pid=25400
[startup+0.100057 s]*
/proc/loadavg: 4.09 3.90 3.08 5/263 25404
/proc/meminfo: memFree=129942100/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=89760 memory=17024 CPUtime=0.08 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 2138 0 0 0 8 0 0 0 20 0 1 0 35207726 91914240 4256 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 22440 4256 2496 595 0 7107 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 17024 KiB
[startup+0.205323 s]*
/proc/loadavg: 4.09 3.90 3.08 5/263 25404
/proc/meminfo: memFree=129942100/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=89760 memory=17024 CPUtime=0.19 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 2138 0 0 0 18 1 0 0 20 0 1 0 35207726 91914240 4256 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 22440 4256 2496 595 0 7107 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 17024 KiB
[startup+0.30446 s]*
/proc/loadavg: 4.09 3.90 3.08 5/263 25404
/proc/meminfo: memFree=129942100/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=89760 memory=17024 CPUtime=0.29 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 2138 0 0 0 27 2 0 0 20 0 1 0 35207726 91914240 4256 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 22440 4256 2496 595 0 7107 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 17024 KiB
[startup+0.700101 s]
/proc/loadavg: 4.09 3.90 3.08 5/263 25404
/proc/meminfo: memFree=129942100/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=89760 memory=17024 CPUtime=0.68 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 2138 0 0 0 65 3 0 0 20 0 1 0 35207726 91914240 4256 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 22440 4256 2496 595 0 7107 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 17024 KiB
[startup+1.50011 s]
/proc/loadavg: 4.09 3.90 3.08 5/263 25404
/proc/meminfo: memFree=129941624/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=89760 memory=17024 CPUtime=1.47 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 2138 0 0 0 139 8 0 0 20 0 1 0 35207726 91914240 4256 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 22440 4256 2496 595 0 7107 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 17024 KiB
[startup+3.10462 s]
/proc/loadavg: 4.09 3.90 3.08 5/263 25404
/proc/meminfo: memFree=129941632/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=89760 memory=17024 CPUtime=3.08 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 2138 0 0 0 291 17 0 0 20 0 1 0 35207726 91914240 4256 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 22440 4256 2496 595 0 7107 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 17024 KiB
[startup+6.3001 s]
/proc/loadavg: 4.08 3.90 3.08 5/263 25404
/proc/meminfo: memFree=129941156/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=89760 memory=17024 CPUtime=6.26 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 2138 0 0 0 591 35 0 0 20 0 1 0 35207726 91914240 4256 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 22440 4256 2496 595 0 7107 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 17024 KiB
[startup+12.7001 s]
/proc/loadavg: 4.07 3.90 3.09 5/263 25404
/proc/meminfo: memFree=129940964/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=89760 memory=17024 CPUtime=12.65 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 2138 0 0 0 1196 69 0 0 20 0 1 0 35207726 91914240 4256 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 22440 4256 2496 595 0 7107 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 17024 KiB
[startup+25.5001 s]
/proc/loadavg: 4.13 3.92 3.11 5/263 25404
/proc/meminfo: memFree=129941084/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=89760 memory=17024 CPUtime=25.43 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 2138 0 0 0 2407 136 0 0 20 0 1 0 35207726 91914240 4256 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 22440 4256 2496 595 0 7107 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 89760 KiB
Current children cumulated memory: 17024 KiB
[startup+51.1044 s]
/proc/loadavg: 4.14 3.94 3.14 5/263 25405
/proc/meminfo: memFree=129931444/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=101692 memory=41948 CPUtime=50.98 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 6559 0 0 0 4872 226 0 0 20 0 1 0 35207726 104132608 10487 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 25423 10487 2528 595 0 10090 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 101692 KiB
Current children cumulated memory: 41948 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.97 3.19 5/263 25406
/proc/meminfo: memFree=129930700/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=102716 memory=43016 CPUtime=102.07 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 10146 0 0 0 9783 424 0 0 20 0 1 0 35207726 105181184 10754 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 25679 10754 2528 595 0 10346 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 102716 KiB
Current children cumulated memory: 43016 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.99 3.25 5/263 25408
/proc/meminfo: memFree=129919104/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=103440 memory=44220 CPUtime=161.95 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 14538 0 0 0 15581 614 0 0 20 0 1 0 35207726 105922560 11055 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 25860 11055 2528 595 0 10527 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 103440 KiB
Current children cumulated memory: 44220 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.01 3.31 5/263 25410
/proc/meminfo: memFree=129918144/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=103600 memory=44348 CPUtime=221.83 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 16944 0 0 0 21336 847 0 0 20 0 1 0 35207726 106086400 11087 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 25900 11087 2528 595 0 10567 0
Current children cumulated CPU time: 221.83 s
Current children cumulated vsize: 103600 KiB
Current children cumulated memory: 44348 KiB
[startup+277.347 s]
# the end of solver process 25403 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=266.68 s, system=10.0916 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.07 4.01 3.31 5/263 25411
/proc/meminfo: memFree=129925708/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=103632 memory=44476 CPUtime=229.92 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 17688 0 0 0 22133 859 0 0 20 0 1 0 35207726 106119168 11119 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 25908 11119 2528 595 0 10575 0
Current children cumulated CPU time: 229.92 s
Current children cumulated vsize: 103632 KiB
Current children cumulated memory: 44476 KiB
[startup+256 s]*
/proc/loadavg: 4.10 4.02 3.34 5/263 25415
/proc/meminfo: memFree=129926676/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=103728 memory=44476 CPUtime=255.46 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 19155 0 0 0 24599 947 0 0 20 0 1 0 35207726 106217472 11119 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 25932 11119 2528 595 0 10599 0
Current children cumulated CPU time: 255.46 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 44476 KiB
[startup+268.8 s]
/proc/loadavg: 4.09 4.02 3.35 5/263 25415
/proc/meminfo: memFree=129926740/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=103728 memory=44476 CPUtime=268.23 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 19475 0 0 0 25816 1007 0 0 20 0 1 0 35207726 106217472 11119 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 25932 11119 2528 595 0 10599 0
Current children cumulated CPU time: 268.23 s
Current children cumulated vsize: 103728 KiB
Current children cumulated memory: 44476 KiB
[startup+272 s]*
/proc/loadavg: 4.08 4.02 3.35 5/263 25415
/proc/meminfo: memFree=129926284/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=103764 memory=44604 CPUtime=271.43 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 19880 0 0 0 26135 1008 0 0 20 0 1 0 35207726 106254336 11151 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 25941 11151 2528 595 0 10608 0
Current children cumulated CPU time: 271.43 s
Current children cumulated vsize: 103764 KiB
Current children cumulated memory: 44604 KiB
[startup+275.2 s]
/proc/loadavg: 4.07 4.02 3.35 5/263 25415
/proc/meminfo: memFree=129926284/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=103824 memory=44572 CPUtime=274.61 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 20354 0 0 0 26453 1008 0 0 20 0 1 0 35207726 106315776 11143 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 25956 11143 2528 595 0 10623 0
Current children cumulated CPU time: 274.61 s
Current children cumulated vsize: 103824 KiB
Current children cumulated memory: 44572 KiB
[startup+276 s]*
/proc/loadavg: 4.07 4.02 3.35 5/263 25415
/proc/meminfo: memFree=129926032/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=103824 memory=44572 CPUtime=275.42 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 20521 0 0 0 26534 1008 0 0 20 0 1 0 35207726 106315776 11143 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 25956 11143 2528 595 0 10623 0
Current children cumulated CPU time: 275.42 s
Current children cumulated vsize: 103824 KiB
Current children cumulated memory: 44572 KiB
[startup+276.8 s]
/proc/loadavg: 4.07 4.02 3.35 5/263 25415
/proc/meminfo: memFree=129926032/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=103824 memory=44572 CPUtime=276.21 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 20624 0 0 0 26613 1008 0 0 20 0 1 0 35207726 106315776 11143 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 25956 11143 2528 595 0 10623 0
Current children cumulated CPU time: 276.21 s
Current children cumulated vsize: 103824 KiB
Current children cumulated memory: 44572 KiB
[startup+277.2 s]
/proc/loadavg: 4.07 4.02 3.35 5/263 25415
/proc/meminfo: memFree=129926032/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=103824 memory=44572 CPUtime=276.62 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 20663 0 0 0 26653 1009 0 0 20 0 1 0 35207726 106315776 11143 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 25956 11143 2528 595 0 10623 0
Current children cumulated CPU time: 276.62 s
Current children cumulated vsize: 103824 KiB
Current children cumulated memory: 44572 KiB
[startup+277.3 s]
/proc/loadavg: 4.07 4.02 3.35 5/263 25415
/proc/meminfo: memFree=129926032/131250000 swapFree=33010684/33010684
[pid=25403] ppid=25400 vsize=103888 memory=44636 CPUtime=276.72 cores=4,6
/proc/25403/stat : 25403 (SynLSCD-PS) R 25400 25403 24975 0 -1 4194304 20742 0 0 0 26663 1009 0 0 20 0 1 0 35207726 106381312 11159 18446744073709551615 94834122833920 94834125268921 140722378068688 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94834125749496 94834125782528 94834159181824 140722378070368 140722378070504 140722378070504 140722378076106 0
/proc/25403/statm: 25972 11159 2528 595 0 10639 0
Current children cumulated CPU time: 276.72 s
Current children cumulated vsize: 103888 KiB
Current children cumulated memory: 44636 KiB
Child status: 20
Real time (s): 277.347
CPU time (s): 276.772
CPU user time (s): 266.68
CPU system time (s): 10.0916
CPU usage (%): 99.7926
Max. virtual memory (cumulated for all children) (KiB): 103920
Max. memory (cumulated for all children) (KiB): 44636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 266.68
system time used= 10.0916
maximum resident set size= 45020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20772
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= 142
involuntary context switches= 181
# summary of solver processes directly reported to runsolver:
# pid: 25403
# total CPU time (s): 276.772
# total CPU user time (s): 266.68
# total CPU system time (s): 10.0916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.477704 second user time and 0.906367 second system time
The end
Begin job on nodeC026 at 2025-06-29 13:08:11
IDJOB=4510415
IDBENCH=160360
IDSOLVER=3370
FILE ID=nodeC026/4510415-1751195291
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/ECGRID-FromCNF/normalized-ECgrid5x90split.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-4510415-1751195291/watcher-4510415-1751195291 -o /tmp/evaluation-result-4510415-1751195291/solver-4510415-1751195291 -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-4510415-1751195291.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ffca2f526e16739a014d253021fa9e9c
RANDOM SEED=74979730
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.785
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.783
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 : 3602.002
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 : 3599.758
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 : 3840.360
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.795
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.793
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 : 3747.365
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: 129951676 kB
MemAvailable: 129707636 kB
Buffers: 3280 kB
Cached: 565696 kB
SwapCached: 0 kB
Active: 356968 kB
Inactive: 343100 kB
Active(anon): 149172 kB
Inactive(anon): 0 kB
Active(file): 207796 kB
Inactive(file): 343100 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3604 kB
Writeback: 0 kB
AnonPages: 134376 kB
Mapped: 114612 kB
Shmem: 18080 kB
KReclaimable: 88608 kB
Slab: 174220 kB
SReclaimable: 88608 kB
SUnreclaim: 85612 kB
KernelStack: 4240 kB
PageTables: 3392 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 514980 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 61440 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 13:12:48