0.00/0.01 c #vars 201 #constraints 802 3.99005 1
0.00/0.01 c 802 constraints
0.00/0.01 c Finish cloning data from SAT to LS
0.00/0.01 c restart_num_ls -100000 0
7.27/7.38 c Use LS-small
7.27/7.38 c update_LS_target_phase-runLS
10.66/10.79 c restart_num 0 353
10.66/10.79 c LS-restart 90 98
24.13/24.21 c Use LS-small
24.13/24.21 c restart_num 353 766
24.13/24.21 c LS-restart 80 95
37.91/38.00 c Use LS-small
37.91/38.00 c restart_num 766 1143
37.91/38.00 c LS-restart 70 15
48.88/49.09 c Use LS-small
48.88/49.09 c restart_num 1143 1445
48.88/49.09 c LS-restart 60 72
61.46/61.65 c Use LS-small
61.46/61.65 c restart_num 1445 1800
61.46/61.65 c LS-restart 50 22
79.12/79.31 c Use LS-small
79.12/79.31 c restart_num 1800 2223
79.12/79.31 c LS-restart 40 61
90.30/90.52 c Use LS-small
90.30/90.52 c restart_num 2223 2533
90.30/90.52 c LS-restart 30 97
102.46/102.74 c Use LS-small
102.46/102.74 c restart_num 2533 2835
102.46/102.74 c LS-restart 20 97
116.14/116.47 c Use LS-small
116.14/116.47 c restart_num 2835 3148
116.14/116.47 c LS-restart 10 64
127.82/128.18 c Use LS-small
127.82/128.18 c restart_num 3148 3496
139.99/140.32 c Use LS-small
139.99/140.32 c restart_num 3496 3817
163.65/164.05 c Use LS-small
163.65/164.05 c restart_num 3817 4120
174.63/175.09 c Use LS-small
174.63/175.09 c restart_num 4120 4431
186.49/187.00 c Use LS-small
186.49/187.00 c restart_num 4431 4734
201.17/201.64 c Use LS-small
201.17/201.64 c restart_num 4734 5118
212.04/212.58 c Use LS-small
212.04/212.58 c restart_num 5118 5422
224.62/225.10 c Use LS-small
224.62/225.10 c restart_num 5422 5756
236.18/236.74 c Use LS-small
236.18/236.74 c restart_num 5756 6120
253.46/254.07 c Use LS-small
253.46/254.07 c restart_num 6120 6431
265.13/265.77 c Use LS-small
265.13/265.77 c restart_num 6431 6739
276.51/277.17 c Use LS-small
276.51/277.17 c restart_num 6739 7057
291.08/291.76 c Use LS-small
291.08/291.76 c restart_num 7057 7427
302.85/303.50 c Use LS-small
302.85/303.50 c restart_num 7427 7747
314.22/314.96 c Use LS-small
314.22/314.96 c restart_num 7747 8093
350.15/350.95 c Use LS-small
350.15/350.95 c restart_num 8093 8421
362.32/363.10 c Use LS-small
362.32/363.10 c restart_num 8421 8729
378.39/379.20 c Use LS-small
378.39/379.20 c restart_num_ls 8729 9230
389.47/390.39 c Use LS-small
389.47/390.39 c restart_num 9230 9551
401.63/402.52 c Use LS-small
401.63/402.52 c restart_num 9551 9872
419.50/420.45 c Use LS-small
419.50/420.45 c restart_num 9872 10279
431.48/432.45 c Use LS-small
431.48/432.45 c restart_num 10279 10667
444.85/445.85 c Use LS-small
444.85/445.85 c restart_num 10667 11091
459.32/460.34 c Use LS-small
459.32/460.34 c restart_num 11091 11452
473.00/474.04 c Use LS-small
473.00/474.04 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 (63020 MiB free)
memory of node 1: 64465 MiB (63886 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510379-1751194815/watcher-4510379-1751194815 -o /tmp/evaluation-result-4510379-1751194815/solver-4510379-1751194815 -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-4510379-1751194815.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
solver pid=25323, runsolver pid=25320
Current StackSize limit: 8192 KiB
[startup+0.100055 s]*
/proc/loadavg: 4.06 3.06 2.37 5/262 25324
/proc/meminfo: memFree=129952976/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=84744 memory=12160 CPUtime=0.09 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 819 0 0 0 7 2 0 0 20 0 1 0 35160177 86777856 3040 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+0.205672 s]*
/proc/loadavg: 4.06 3.06 2.37 5/262 25324
/proc/meminfo: memFree=129952976/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=84744 memory=12160 CPUtime=0.19 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 819 0 0 0 15 4 0 0 20 0 1 0 35160177 86777856 3040 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+0.304896 s]*
/proc/loadavg: 4.06 3.06 2.37 5/262 25324
/proc/meminfo: memFree=129952976/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=84744 memory=12160 CPUtime=0.29 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 819 0 0 0 24 5 0 0 20 0 1 0 35160177 86777856 3040 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+0.700095 s]
/proc/loadavg: 4.06 3.06 2.37 5/262 25324
/proc/meminfo: memFree=129952976/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=84744 memory=12160 CPUtime=0.68 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 819 0 0 0 55 13 0 0 20 0 1 0 35160177 86777856 3040 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+1.5001 s]
/proc/loadavg: 4.06 3.06 2.37 5/262 25324
/proc/meminfo: memFree=129952976/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=84744 memory=12160 CPUtime=1.48 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 819 0 0 0 121 27 0 0 20 0 1 0 35160177 86777856 3040 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+3.10513 s]
/proc/loadavg: 4.06 3.06 2.37 5/262 25324
/proc/meminfo: memFree=129953000/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=84744 memory=12160 CPUtime=3.08 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 819 0 0 0 255 53 0 0 20 0 1 0 35160177 86777856 3040 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+6.30009 s]
/proc/loadavg: 4.14 3.09 2.38 5/262 25324
/proc/meminfo: memFree=129953252/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=84744 memory=12160 CPUtime=6.27 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 819 0 0 0 516 111 0 0 20 0 1 0 35160177 86777856 3040 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 3.10 2.39 5/262 25324
/proc/meminfo: memFree=129953568/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=86584 memory=17276 CPUtime=12.66 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 2069 0 0 0 1096 170 0 0 20 0 1 0 35160177 88662016 4319 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 21646 4319 2528 595 0 6313 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 86584 KiB
Current children cumulated memory: 17276 KiB
[startup+25.5001 s]
/proc/loadavg: 4.17 3.16 2.42 5/262 25324
/proc/meminfo: memFree=129953676/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=87276 memory=17924 CPUtime=25.43 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 3482 0 0 0 2233 310 0 0 20 0 1 0 35160177 89370624 4481 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 21819 4481 2528 595 0 6486 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 87276 KiB
Current children cumulated memory: 17924 KiB
[startup+51.1052 s]
/proc/loadavg: 4.11 3.23 2.46 5/263 25337
/proc/meminfo: memFree=129959356/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=87788 memory=18324 CPUtime=50.99 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 5919 0 0 0 4466 633 0 0 20 0 1 0 35160177 89894912 4581 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 21947 4581 2528 595 0 6614 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 87788 KiB
Current children cumulated memory: 18324 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 3.37 2.55 5/264 25342
/proc/meminfo: memFree=129957840/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=88620 memory=19156 CPUtime=102.07 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 10884 0 0 0 9010 1197 0 0 20 0 1 0 35160177 90746880 4789 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 22155 4789 2528 595 0 6822 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 88620 KiB
Current children cumulated memory: 19156 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.50 2.65 5/264 25344
/proc/meminfo: memFree=129955648/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=89356 memory=19956 CPUtime=161.95 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 16318 0 0 0 14388 1807 0 0 20 0 1 0 35160177 91500544 4989 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 22339 4989 2528 595 0 7006 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 89356 KiB
Current children cumulated memory: 19956 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.61 2.74 5/264 25350
/proc/meminfo: memFree=129951092/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=89548 memory=20084 CPUtime=221.82 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 19374 0 0 0 19639 2543 0 0 20 0 1 0 35160177 91697152 5021 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 22387 5021 2528 595 0 7054 0
Current children cumulated CPU time: 221.82 s
Current children cumulated vsize: 89548 KiB
Current children cumulated memory: 20084 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.71 2.84 5/264 25352
/proc/meminfo: memFree=129949760/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=89756 memory=20292 CPUtime=281.7 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 23286 0 0 0 24934 3236 0 0 20 0 1 0 35160177 91910144 5073 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 22439 5073 2528 595 0 7106 0
Current children cumulated CPU time: 281.7 s
Current children cumulated vsize: 89756 KiB
Current children cumulated memory: 20292 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.78 2.92 5/263 25354
/proc/meminfo: memFree=129948796/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=90236 memory=20772 CPUtime=341.57 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 29356 0 0 0 30388 3769 0 0 20 0 1 0 35160177 92401664 5193 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 22559 5193 2528 595 0 7226 0
Current children cumulated CPU time: 341.57 s
Current children cumulated vsize: 90236 KiB
Current children cumulated memory: 20772 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 3.83 2.99 5/263 25357
/proc/meminfo: memFree=129947204/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=90396 memory=21004 CPUtime=401.44 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 33437 0 0 0 35764 4380 0 0 20 0 1 0 35160177 92565504 5251 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 22599 5251 2528 595 0 7266 0
Current children cumulated CPU time: 401.44 s
Current children cumulated vsize: 90396 KiB
Current children cumulated memory: 21004 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.89 3.06 5/263 25359
/proc/meminfo: memFree=129946808/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=90492 memory=21028 CPUtime=461.32 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 38115 0 0 0 41115 5017 0 0 20 0 1 0 35160177 92663808 5257 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 22623 5257 2528 595 0 7290 0
Current children cumulated CPU time: 461.32 s
Current children cumulated vsize: 90492 KiB
Current children cumulated memory: 21028 KiB
[startup+474.042 s]
# the end of solver process 25323 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=421.751 s, system=51.2935 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+467.2 s]
/proc/loadavg: 4.10 3.89 3.07 5/263 25359
/proc/meminfo: memFree=129946840/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=90492 memory=21028 CPUtime=466.21 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 38115 0 0 0 41513 5108 0 0 20 0 1 0 35160177 92663808 5257 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 22623 5257 2528 595 0 7290 0
Current children cumulated CPU time: 466.21 s
Current children cumulated vsize: 90492 KiB
Current children cumulated memory: 21028 KiB
[startup+470.4 s]
/proc/loadavg: 4.09 3.89 3.07 5/263 25359
/proc/meminfo: memFree=129946604/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=90492 memory=21028 CPUtime=469.4 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 38627 0 0 0 41816 5124 0 0 20 0 1 0 35160177 92663808 5257 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 22623 5257 2528 595 0 7290 0
Current children cumulated CPU time: 469.4 s
Current children cumulated vsize: 90492 KiB
Current children cumulated memory: 21028 KiB
[startup+472 s]*
/proc/loadavg: 4.09 3.89 3.07 5/263 25359
/proc/meminfo: memFree=129946668/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=90492 memory=21028 CPUtime=471 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 38913 0 0 0 41975 5125 0 0 20 0 1 0 35160177 92663808 5257 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 22623 5257 2528 595 0 7290 0
Current children cumulated CPU time: 471 s
Current children cumulated vsize: 90492 KiB
Current children cumulated memory: 21028 KiB
[startup+472.8 s]
/proc/loadavg: 4.09 3.89 3.07 5/263 25359
/proc/meminfo: memFree=129946668/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=90524 memory=21060 CPUtime=471.8 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 39073 0 0 0 42053 5127 0 0 20 0 1 0 35160177 92696576 5265 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 22631 5265 2528 595 0 7298 0
Current children cumulated CPU time: 471.8 s
Current children cumulated vsize: 90524 KiB
Current children cumulated memory: 21060 KiB
[startup+473.6 s]
/proc/loadavg: 4.09 3.89 3.07 5/263 25359
/proc/meminfo: memFree=129946668/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=90524 memory=21060 CPUtime=472.59 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 39201 0 0 0 42131 5128 0 0 20 0 1 0 35160177 92696576 5265 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 22631 5265 2528 595 0 7298 0
Current children cumulated CPU time: 472.59 s
Current children cumulated vsize: 90524 KiB
Current children cumulated memory: 21060 KiB
[startup+474 s]*
/proc/loadavg: 4.09 3.90 3.08 5/263 25359
/proc/meminfo: memFree=129946732/131250000 swapFree=33010684/33010684
[pid=25323] ppid=25320 vsize=90588 memory=21124 CPUtime=473 cores=4,6
/proc/25323/stat : 25323 (SynLSCD-PS) R 25320 25323 24975 0 -1 4194304 39285 0 0 0 42171 5129 0 0 20 0 1 0 35160177 92762112 5281 18446744073709551615 94172374704128 94172377139129 140727814076336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94172377619704 94172377652736 94172393340928 140727814084960 140727814085096 140727814085096 140727814090698 0
/proc/25323/statm: 22647 5281 2528 595 0 7314 0
Current children cumulated CPU time: 473 s
Current children cumulated vsize: 90588 KiB
Current children cumulated memory: 21124 KiB
Child status: 20
Real time (s): 474.042
CPU time (s): 473.044
CPU user time (s): 421.751
CPU system time (s): 51.2935
CPU usage (%): 99.7895
Max. virtual memory (cumulated for all children) (KiB): 90780
Max. memory (cumulated for all children) (KiB): 21156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 421.751
system time used= 51.2935
maximum resident set size= 21508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39316
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= 138
involuntary context switches= 310
# summary of solver processes directly reported to runsolver:
# pid: 25323
# total CPU time (s): 473.044
# total CPU user time (s): 421.751
# total CPU system time (s): 51.2935
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.921445 second user time and 1.71627 second system time
The end
Begin job on nodeC026 at 2025-06-29 13:00:15
IDJOB=4510379
IDBENCH=160357
IDSOLVER=3370
FILE ID=nodeC026/4510379-1751194815
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-ECgrid5x20split.cnf-plain.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-4510379-1751194815/watcher-4510379-1751194815 -o /tmp/evaluation-result-4510379-1751194815/solver-4510379-1751194815 -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-4510379-1751194815.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fa6a1707c990041c74d493ed085ddd0
RANDOM SEED=799899306
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.824
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.789
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 : 3597.824
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 : 3700.000
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.790
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.788
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 : 3601.566
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 : 3599.599
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: 129952924 kB
MemAvailable: 129708356 kB
Buffers: 3280 kB
Cached: 565168 kB
SwapCached: 0 kB
Active: 348892 kB
Inactive: 342572 kB
Active(anon): 141096 kB
Inactive(anon): 0 kB
Active(file): 207796 kB
Inactive(file): 342572 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3624 kB
Writeback: 8 kB
AnonPages: 126300 kB
Mapped: 114596 kB
Shmem: 18080 kB
KReclaimable: 88608 kB
Slab: 174188 kB
SReclaimable: 88608 kB
SUnreclaim: 85580 kB
KernelStack: 4272 kB
PageTables: 3452 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 506824 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 53248 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:08:10