0.00/0.02 c #vars 1201 #constraints 1202 1.00083 1
0.00/0.02 c intsize: 3
0.00/0.04 c 1202 constraints
0.00/0.04 c Finish cloning data from SAT to LS
0.00/0.04 c restart_num_ls -100000 0
42.16/42.36 c Use LS-small
42.16/42.36 c restart_num_ls 0 1022
42.16/42.36 c LS 90 74
76.88/77.15 c Use LS-small
76.88/77.15 c restart_num_ls 1022 1533
76.88/77.15 c LS 80 84
112.90/113.26 c Use LS-small
112.90/113.26 c restart_num_ls 1533 2045
112.90/113.26 c LS 70 96
171.74/172.23 c Use LS-small
171.74/172.23 c restart_num_ls 2045 4093
171.74/172.23 c LS 60 22
270.07/270.84 c Use LS-small
270.07/270.84 c restart_num_ls 4093 8189
270.07/270.84 c LS 50 7
323.54/324.45 c Use LS-small
323.54/324.45 c restart_num_ls 8189 9011
323.54/324.45 c LS 40 43
361.66/362.68 c Use LS-small
361.66/362.68 c restart_num_ls 9011 9724
361.66/362.68 c LS 30 88
433.99/435.18 c Use LS-small
433.99/435.18 c restart_num_ls 9724 12283
433.99/435.18 c LS 20 61
481.98/483.21 c Use LS-small
481.98/483.21 c restart_num_ls 12283 12796
481.98/483.21 c LS 10 25
525.18/526.54 c Use LS-small
525.18/526.54 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: 63665 MiB (61404 MiB free)
memory of node 1: 64507 MiB (63298 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545877-1753263390/watcher-4545877-1753263390 -o /tmp/evaluation-result-4545877-1753263390/solver-4545877-1753263390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753259701-172185 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545877-1753263390.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=173058, runsolver pid=173055
Current StackSize limit: 8192 KiB
[startup+0.10002 s]*
/proc/loadavg: 4.18 4.12 4.03 5/265 173059
/proc/meminfo: memFree=127687104/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=93164 memory=20480 CPUtime=0.08 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 2947 0 0 0 8 0 0 0 20 0 1 0 242017880 95399936 5120 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+0.205485 s]*
/proc/loadavg: 4.18 4.12 4.03 5/265 173059
/proc/meminfo: memFree=127687104/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=93164 memory=20480 CPUtime=0.19 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 2947 0 0 0 18 1 0 0 20 0 1 0 242017880 95399936 5120 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+0.305314 s]*
/proc/loadavg: 4.17 4.12 4.03 5/265 173059
/proc/meminfo: memFree=127687104/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=93164 memory=20480 CPUtime=0.29 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 2947 0 0 0 28 1 0 0 20 0 1 0 242017880 95399936 5120 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+0.700153 s]
/proc/loadavg: 4.17 4.12 4.03 5/265 173059
/proc/meminfo: memFree=127687104/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=93164 memory=20480 CPUtime=0.68 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 2947 0 0 0 65 3 0 0 20 0 1 0 242017880 95399936 5120 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+1.50016 s]
/proc/loadavg: 4.17 4.12 4.03 5/265 173059
/proc/meminfo: memFree=127687104/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=93164 memory=20480 CPUtime=1.47 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 2947 0 0 0 141 6 0 0 20 0 1 0 242017880 95399936 5120 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+3.10514 s]
/proc/loadavg: 4.17 4.12 4.03 5/265 173059
/proc/meminfo: memFree=127687496/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=93164 memory=20480 CPUtime=3.08 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 2947 0 0 0 293 15 0 0 20 0 1 0 242017880 95399936 5120 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+6.30015 s]
/proc/loadavg: 4.16 4.11 4.03 5/265 173059
/proc/meminfo: memFree=127687680/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=93164 memory=20480 CPUtime=6.27 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 2947 0 0 0 594 33 0 0 20 0 1 0 242017880 95399936 5120 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.11 4.03 5/265 173059
/proc/meminfo: memFree=127688684/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=93164 memory=20480 CPUtime=12.65 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 2947 0 0 0 1200 65 0 0 20 0 1 0 242017880 95399936 5120 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+25.5001 s]
/proc/loadavg: 4.12 4.11 4.03 5/265 173059
/proc/meminfo: memFree=127684864/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=93164 memory=20480 CPUtime=25.41 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 2947 0 0 0 2413 128 0 0 20 0 1 0 242017880 95399936 5120 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 23291 5120 2496 595 0 7958 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20480 KiB
[startup+51.1053 s]
/proc/loadavg: 4.13 4.11 4.04 5/265 173061
/proc/meminfo: memFree=127662684/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=98404 memory=28564 CPUtime=50.95 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 7482 0 0 0 4904 191 0 0 20 0 1 0 242017880 100765696 7141 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 24601 7141 2528 595 0 9268 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 98404 KiB
Current children cumulated memory: 28564 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/266 173068
/proc/meminfo: memFree=127674852/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=98592 memory=29004 CPUtime=102.02 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 9175 0 0 0 9773 429 0 0 20 0 1 0 242017880 100958208 7251 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 24648 7251 2528 595 0 9315 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 98592 KiB
Current children cumulated memory: 29004 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/266 173115
/proc/meminfo: memFree=127739868/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=99720 memory=29912 CPUtime=161.87 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 14628 0 0 0 15584 603 0 0 20 0 1 0 242017880 102113280 7478 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 24930 7478 2528 595 0 9597 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 99720 KiB
Current children cumulated memory: 29912 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/265 173117
/proc/meminfo: memFree=127641560/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=100308 memory=30616 CPUtime=221.7 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 20412 0 0 0 21421 749 0 0 20 0 1 0 242017880 102715392 7654 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 25077 7654 2528 595 0 9744 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 100308 KiB
Current children cumulated memory: 30616 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/265 173119
/proc/meminfo: memFree=127640348/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=100852 memory=31264 CPUtime=281.54 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 28126 0 0 0 27331 823 0 0 20 0 1 0 242017880 103272448 7816 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 25213 7816 2528 595 0 9880 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 100852 KiB
Current children cumulated memory: 31264 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/265 173121
/proc/meminfo: memFree=127620716/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=101232 memory=31492 CPUtime=341.4 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 31670 0 0 0 33123 1017 0 0 20 0 1 0 242017880 103661568 7873 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 25308 7873 2528 595 0 9975 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 101232 KiB
Current children cumulated memory: 31492 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/264 173123
/proc/meminfo: memFree=127619084/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=101328 memory=31588 CPUtime=401.26 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 34183 0 0 0 38899 1227 0 0 20 0 1 0 242017880 103759872 7897 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 25332 7897 2528 595 0 9999 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 101328 KiB
Current children cumulated memory: 31588 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.12 4.05 5/264 173125
/proc/meminfo: memFree=127618952/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=101336 memory=31780 CPUtime=461.13 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 38681 0 0 0 44748 1365 0 0 20 0 1 0 242017880 103768064 7945 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 25334 7945 2528 595 0 10001 0
Current children cumulated CPU time: 461.13 s
Current children cumulated vsize: 101336 KiB
Current children cumulated memory: 31780 KiB
[startup+522.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/264 173128
/proc/meminfo: memFree=127614288/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=101872 memory=32132 CPUtime=521 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 43097 0 0 0 50565 1535 0 0 20 0 1 0 242017880 104316928 8033 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 25468 8033 2528 595 0 10135 0
Current children cumulated CPU time: 521 s
Current children cumulated vsize: 101872 KiB
Current children cumulated memory: 32132 KiB
[startup+526.543 s]
# the end of solver process 173058 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=509.876 s, system=15.359 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+524.8 s]
/proc/loadavg: 4.12 4.11 4.05 5/264 173128
/proc/meminfo: memFree=127614288/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=101936 memory=32132 CPUtime=523.48 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 43496 0 0 0 50813 1535 0 0 20 0 1 0 242017880 104382464 8033 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 25484 8033 2528 595 0 10151 0
Current children cumulated CPU time: 523.48 s
Current children cumulated vsize: 101936 KiB
Current children cumulated memory: 32132 KiB
[startup+525.6 s]
/proc/loadavg: 4.12 4.11 4.05 5/264 173128
/proc/meminfo: memFree=127614288/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=101936 memory=32132 CPUtime=524.28 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 43691 0 0 0 50893 1535 0 0 20 0 1 0 242017880 104382464 8033 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 25484 8033 2528 595 0 10151 0
Current children cumulated CPU time: 524.28 s
Current children cumulated vsize: 101936 KiB
Current children cumulated memory: 32132 KiB
[startup+526 s]*
/proc/loadavg: 4.11 4.11 4.05 5/264 173128
/proc/meminfo: memFree=127614288/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=101936 memory=32132 CPUtime=524.69 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 43756 0 0 0 50934 1535 0 0 20 0 1 0 242017880 104382464 8033 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 25484 8033 2528 595 0 10151 0
Current children cumulated CPU time: 524.69 s
Current children cumulated vsize: 101936 KiB
Current children cumulated memory: 32132 KiB
[startup+526.4 s]
/proc/loadavg: 4.11 4.11 4.05 5/264 173128
/proc/meminfo: memFree=127614288/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=102000 memory=32196 CPUtime=525.08 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 43829 0 0 0 50973 1535 0 0 20 0 1 0 242017880 104448000 8049 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 25500 8049 2528 595 0 10167 0
Current children cumulated CPU time: 525.08 s
Current children cumulated vsize: 102000 KiB
Current children cumulated memory: 32196 KiB
[startup+526.5 s]
/proc/loadavg: 4.11 4.11 4.05 5/264 173128
/proc/meminfo: memFree=127614288/131249988 swapFree=33010160/33010684
[pid=173058] ppid=173055 vsize=102000 memory=32196 CPUtime=525.18 cores=5,7
/proc/173058/stat : 173058 (SynLSCD) R 173055 173058 172165 0 -1 4194304 43829 0 0 0 50983 1535 0 0 20 0 1 0 242017880 104448000 8049 18446744073709551615 94432138571776 94432141006377 140725679445408 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94432141487352 94432141520384 94432149377024 140725679454595 140725679454730 140725679454730 140725679460334 0
/proc/173058/statm: 25500 8049 2528 595 0 10167 0
Current children cumulated CPU time: 525.18 s
Current children cumulated vsize: 102000 KiB
Current children cumulated memory: 32196 KiB
Child status: 20
Real time (s): 526.543
CPU time (s): 525.235
CPU user time (s): 509.876
CPU system time (s): 15.359
CPU usage (%): 99.7516
Max. virtual memory (cumulated for all children) (KiB): 102008
Max. memory (cumulated for all children) (KiB): 32196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 509.876
system time used= 15.359
maximum resident set size= 32580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43861
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= 140
involuntary context switches= 450
# summary of solver processes directly reported to runsolver:
# pid: 173058
# total CPU time (s): 525.235
# total CPU user time (s): 509.876
# total CPU system time (s): 15.359
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.889876 second user time and 2.15713 second system time
The end
Begin job on nodeC034 at 2025-07-23 11:36:30
IDJOB=4545877
IDBENCH=162341
IDSOLVER=3421
FILE ID=nodeC034/4545877-1753263390
RUNJOBID= nodeC034-1753259701-172185
SLURM_JOB_ID= 9689189
Free space on /tmp= 433028 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545877-1753263390/watcher-4545877-1753263390 -o /tmp/evaluation-result-4545877-1753263390/solver-4545877-1753263390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753259701-172185 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545877-1753263390.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 71fa1afe6ec5716be864bdb24fc2dd76
RANDOM SEED=1834945035
nodeC034 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.757
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.53
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.756
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.53
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.864
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.53
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 : 3563.570
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.53
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.758
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.53
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.543
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.53
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 : 3710.145
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.53
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.756
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 127695512 kB
MemAvailable: 129472472 kB
Buffers: 2128 kB
Cached: 2513988 kB
SwapCached: 32 kB
Active: 1338448 kB
Inactive: 1393348 kB
Active(anon): 239792 kB
Inactive(anon): 2152 kB
Active(file): 1098656 kB
Inactive(file): 1391196 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7368 kB
Writeback: 16 kB
AnonPages: 218768 kB
Mapped: 120404 kB
Shmem: 26264 kB
KReclaimable: 252296 kB
Slab: 351548 kB
SReclaimable: 252296 kB
SUnreclaim: 99252 kB
KernelStack: 4336 kB
PageTables: 3764 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 601668 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 118784 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC034 at 2025-07-23 11:45:17