0.00/0.01 c intsize: 3
0.00/0.03 c 1202 constraints
0.00/0.03 c Finish cloning data from SAT to LS
0.00/0.03 c restart_num_ls -100000 0
24.23/24.31 c Use LS-small
24.23/24.31 c update_LS_target_phase-runLS-restart
51.47/51.68 c restart_num_ls 0 1915
51.47/51.68 c LS 90 74
76.02/76.29 c Use LS-small
76.02/76.29 c update_LS_target_phase-runLS-restart
111.93/112.24 c restart_num_ls 1915 4092
111.93/112.24 c LS 80 23
137.17/137.51 c Use LS-small
137.17/137.51 c update_LS_target_phase-runLS-restart
162.81/163.26 c restart_num_ls 4092 5372
162.81/163.26 c LS 70 35
186.86/187.37 c Use LS-small
186.86/187.37 c update_LS_target_phase-runLS-restart
199.24/199.75 c restart_num_ls 5372 6141
199.24/199.75 c LS 60 65
225.19/225.77 c Use LS-small
225.19/225.77 c update_LS_target_phase-runLS-restart
230.77/231.31 c restart_num_ls 6141 6652
230.77/231.31 c LS 50 75
255.22/255.80 c Use LS-small
255.22/255.80 c update_LS_target_phase-runLS-restart
290.72/291.49 c restart_num_ls 6652 8190
290.72/291.49 c LS 40 9
322.54/323.38 c Use LS-small
322.54/323.38 c update_LS_target_phase-runLS-restart
353.16/354.04 c restart_num_ls 8190 10237
353.16/354.04 c LS 30 76
377.20/378.19 c Use LS-small
377.20/378.19 c update_LS_target_phase-runLS-restart
384.97/385.90 c restart_num_ls 10237 10875
384.97/385.90 c LS 20 50
408.92/409.94 c Use LS-small
408.92/409.94 c update_LS_target_phase-runLS-restart
510.79/512.08 c restart_num_ls 10875 16381
510.79/512.08 c LS 10 52
564.56/565.93 c Use LS-small
564.56/565.93 c update_LS_target_phase-runLS-restart
586.81/588.20 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 (57808 MiB free)
memory of node 1: 64465 MiB (56515 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546380-1753260725/watcher-4546380-1753260725 -o /tmp/evaluation-result-4546380-1753260725/solver-4546380-1753260725 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753259701-178463 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546380-1753260725.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
solver pid=179329, runsolver pid=179326
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.08 3.97 2.81 5/263 179330
/proc/meminfo: memFree=117054244/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=93164 memory=20224 CPUtime=0.09 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 2942 0 0 0 9 0 0 0 20 0 1 0 241751088 95399936 5056 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 23291 5056 2432 595 0 7958 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20224 KiB
[startup+0.205582 s]*
/proc/loadavg: 4.08 3.97 2.81 5/263 179330
/proc/meminfo: memFree=117054244/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=93164 memory=20224 CPUtime=0.19 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 2942 0 0 0 19 0 0 0 20 0 1 0 241751088 95399936 5056 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 23291 5056 2432 595 0 7958 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20224 KiB
[startup+0.305483 s]*
/proc/loadavg: 4.08 3.97 2.81 5/263 179330
/proc/meminfo: memFree=117054244/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=93164 memory=20224 CPUtime=0.29 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 2942 0 0 0 29 0 0 0 20 0 1 0 241751088 95399936 5056 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 23291 5056 2432 595 0 7958 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20224 KiB
[startup+0.700172 s]
/proc/loadavg: 4.08 3.97 2.81 5/263 179330
/proc/meminfo: memFree=117054244/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=93164 memory=20224 CPUtime=0.68 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 2942 0 0 0 68 0 0 0 20 0 1 0 241751088 95399936 5056 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 23291 5056 2432 595 0 7958 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20224 KiB
[startup+1.50018 s]
/proc/loadavg: 4.08 3.97 2.81 5/263 179330
/proc/meminfo: memFree=117038112/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=93164 memory=20224 CPUtime=1.48 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 2942 0 0 0 148 0 0 0 20 0 1 0 241751088 95399936 5056 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 23291 5056 2432 595 0 7958 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20224 KiB
[startup+3.10535 s]
/proc/loadavg: 4.07 3.97 2.81 5/263 179330
/proc/meminfo: memFree=117038396/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=93164 memory=20224 CPUtime=3.08 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 2942 0 0 0 308 0 0 0 20 0 1 0 241751088 95399936 5056 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 23291 5056 2432 595 0 7958 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20224 KiB
[startup+6.30014 s]
/proc/loadavg: 4.07 3.97 2.81 5/263 179330
/proc/meminfo: memFree=117030616/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=93164 memory=20224 CPUtime=6.27 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 2942 0 0 0 627 0 0 0 20 0 1 0 241751088 95399936 5056 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 23291 5056 2432 595 0 7958 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20224 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 3.98 2.82 5/263 179330
/proc/meminfo: memFree=117023200/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=93164 memory=20224 CPUtime=12.66 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 2942 0 0 0 1266 0 0 0 20 0 1 0 241751088 95399936 5056 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 23291 5056 2432 595 0 7958 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20224 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 3.99 2.85 5/263 179330
/proc/meminfo: memFree=117039972/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=95404 memory=25428 CPUtime=25.43 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 3915 0 0 0 2542 1 0 0 20 0 1 0 241751088 97693696 6357 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 23851 6357 2496 595 0 8518 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 95404 KiB
Current children cumulated memory: 25428 KiB
[startup+51.1052 s]
/proc/loadavg: 4.08 4.00 2.88 5/263 179330
/proc/meminfo: memFree=117056840/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=98252 memory=28260 CPUtime=50.97 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 9684 0 0 0 5090 7 0 0 20 0 1 0 241751088 100610048 7065 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 24563 7065 2496 595 0 9230 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 98252 KiB
Current children cumulated memory: 28260 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.01 2.94 5/263 179332
/proc/meminfo: memFree=117018036/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=98944 memory=28952 CPUtime=102.05 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 14472 0 0 0 10193 12 0 0 20 0 1 0 241751088 101318656 7238 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 24736 7238 2496 595 0 9403 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 98944 KiB
Current children cumulated memory: 28952 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.02 3.02 5/263 179335
/proc/meminfo: memFree=117035328/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=99712 memory=29724 CPUtime=161.92 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 20131 0 0 0 16169 23 0 0 20 0 1 0 241751088 102105088 7431 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 24928 7431 2496 595 0 9595 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 99712 KiB
Current children cumulated memory: 29724 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.03 3.09 5/264 179338
/proc/meminfo: memFree=117007872/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=100032 memory=30044 CPUtime=221.79 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 22445 0 0 0 22152 27 0 0 20 0 1 0 241751088 102432768 7511 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 25008 7511 2496 595 0 9675 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 100032 KiB
Current children cumulated memory: 30044 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.07 3.16 5/265 179347
/proc/meminfo: memFree=116993164/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=100612 memory=30620 CPUtime=281.65 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 27594 0 0 0 28131 34 0 0 20 0 1 0 241751088 103026688 7655 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 25153 7655 2496 595 0 9820 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 100612 KiB
Current children cumulated memory: 30620 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.07 3.22 5/265 179349
/proc/meminfo: memFree=116999308/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=101068 memory=31324 CPUtime=341.49 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 33620 0 0 0 34106 43 0 0 20 0 1 0 241751088 103493632 7831 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 25267 7831 2496 595 0 9934 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 101068 KiB
Current children cumulated memory: 31324 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.05 3.28 5/265 179351
/proc/meminfo: memFree=116993768/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=101228 memory=31580 CPUtime=401.33 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 36761 0 0 0 40086 47 0 0 20 0 1 0 241751088 103657472 7895 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 25307 7895 2496 595 0 9974 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 101228 KiB
Current children cumulated memory: 31580 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.07 3.33 6/265 179354
/proc/meminfo: memFree=117002856/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=102148 memory=32380 CPUtime=461.2 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 45606 0 0 0 46061 59 0 0 20 0 1 0 241751088 104599552 8095 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 25537 8095 2496 595 0 10204 0
Current children cumulated CPU time: 461.2 s
Current children cumulated vsize: 102148 KiB
Current children cumulated memory: 32380 KiB
[startup+522.3 s]
/proc/loadavg: 4.09 4.07 3.38 5/265 179357
/proc/meminfo: memFree=116985656/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=102380 memory=32668 CPUtime=521.06 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 53719 0 0 0 52034 72 0 0 20 0 1 0 241751088 104837120 8167 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 25595 8167 2496 595 0 10262 0
Current children cumulated CPU time: 521.06 s
Current children cumulated vsize: 102380 KiB
Current children cumulated memory: 32668 KiB
[startup+582.3 s]
/proc/loadavg: 4.07 4.07 3.43 5/264 179370
/proc/meminfo: memFree=116978124/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=103436 memory=33596 CPUtime=580.92 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 58323 0 0 0 58010 82 0 0 20 0 1 0 241751088 105918464 8399 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 25859 8399 2496 595 0 10526 0
Current children cumulated CPU time: 580.92 s
Current children cumulated vsize: 103436 KiB
Current children cumulated memory: 33596 KiB
[startup+588.207 s]
# the end of solver process 179329 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=585.981 s, system=0.846822 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+582.4 s]
/proc/loadavg: 4.07 4.07 3.43 5/264 179370
/proc/meminfo: memFree=116978124/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=103436 memory=33596 CPUtime=581.02 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 58323 0 0 0 58020 82 0 0 20 0 1 0 241751088 105918464 8399 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 25859 8399 2496 595 0 10526 0
Current children cumulated CPU time: 581.02 s
Current children cumulated vsize: 103436 KiB
Current children cumulated memory: 33596 KiB
[startup+585.6 s]
/proc/loadavg: 4.07 4.07 3.43 5/264 179370
/proc/meminfo: memFree=116977924/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=103436 memory=33596 CPUtime=584.22 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 58323 0 0 0 58339 83 0 0 20 0 1 0 241751088 105918464 8399 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 25859 8399 2496 595 0 10526 0
Current children cumulated CPU time: 584.22 s
Current children cumulated vsize: 103436 KiB
Current children cumulated memory: 33596 KiB
[startup+587.2 s]
/proc/loadavg: 4.07 4.07 3.43 5/264 179370
/proc/meminfo: memFree=116977924/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=103436 memory=33596 CPUtime=585.82 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 58324 0 0 0 58498 84 0 0 20 0 1 0 241751088 105918464 8399 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 25859 8399 2496 595 0 10526 0
Current children cumulated CPU time: 585.82 s
Current children cumulated vsize: 103436 KiB
Current children cumulated memory: 33596 KiB
[startup+588 s]*
/proc/loadavg: 4.06 4.07 3.44 5/264 179370
/proc/meminfo: memFree=116977924/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=103436 memory=33596 CPUtime=586.62 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 58324 0 0 0 58578 84 0 0 20 0 1 0 241751088 105918464 8399 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 25859 8399 2496 595 0 10526 0
Current children cumulated CPU time: 586.62 s
Current children cumulated vsize: 103436 KiB
Current children cumulated memory: 33596 KiB
[startup+588.2 s]
/proc/loadavg: 4.06 4.07 3.44 5/264 179370
/proc/meminfo: memFree=116977924/131249996 swapFree=33010160/33010684
[pid=179329] ppid=179326 vsize=103436 memory=33596 CPUtime=586.81 cores=4,6
/proc/179329/stat : 179329 (SynLSCD-PS) R 179326 179329 178445 0 -1 4194304 58324 0 0 0 58597 84 0 0 20 0 1 0 241751088 105918464 8399 18446744073709551615 94322952962048 94322955397465 140732434109040 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94322955877624 94322955910656 94322990399488 140732434110845 140732434110983 140732434110983 140732434116587 0
/proc/179329/statm: 25859 8399 2496 595 0 10526 0
Current children cumulated CPU time: 586.81 s
Current children cumulated vsize: 103436 KiB
Current children cumulated memory: 33596 KiB
Child status: 20
Real time (s): 588.207
CPU time (s): 586.828
CPU user time (s): 585.981
CPU system time (s): 0.846822
CPU usage (%): 99.7656
Max. virtual memory (cumulated for all children) (KiB): 103436
Max. memory (cumulated for all children) (KiB): 33596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 585.981
system time used= 0.846822
maximum resident set size= 33980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58357
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= 484
# summary of solver processes directly reported to runsolver:
# pid: 179329
# total CPU time (s): 586.828
# total CPU user time (s): 585.981
# total CPU system time (s): 0.846822
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09604 second user time and 2.5723 second system time
The end
Begin job on nodeC032 at 2025-07-23 10:52:05
IDJOB=4546380
IDBENCH=162341
IDSOLVER=3422
FILE ID=nodeC032/4546380-1753260725
RUNJOBID= nodeC032-1753259701-178463
SLURM_JOB_ID= 9689187
Free space on /tmp= 432572 MiB
SOLVER NAME= SynLSCD-PS 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x120split.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-4546380-1753260725/watcher-4546380-1753260725 -o /tmp/evaluation-result-4546380-1753260725/solver-4546380-1753260725 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753259701-178463 --watchdog 3760 ./SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546380-1753260725.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 71fa1afe6ec5716be864bdb24fc2dd76
RANDOM SEED=1834945035
nodeC032 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.920
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.69
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.809
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.69
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 : 3601.092
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.69
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.813
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.69
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 : 3593.028
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.69
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.772
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.69
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.834
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.69
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 : 3582.601
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 117067160 kB
MemAvailable: 129137588 kB
Buffers: 2728 kB
Cached: 12749348 kB
SwapCached: 20 kB
Active: 1689412 kB
Inactive: 11618656 kB
Active(anon): 579128 kB
Inactive(anon): 3124 kB
Active(file): 1110284 kB
Inactive(file): 11615532 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3440 kB
Writeback: 0 kB
AnonPages: 559064 kB
Mapped: 120500 kB
Shmem: 26240 kB
KReclaimable: 367700 kB
Slab: 466940 kB
SReclaimable: 367700 kB
SUnreclaim: 99240 kB
KernelStack: 4256 kB
PageTables: 4332 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 981116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 147456 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432568 MiB
End job on nodeC032 at 2025-07-23 11:01:53