0.00/0.06 c #vars 1201 #constraints 1202 1.00083 1
0.00/0.08 c 1202 constraints
0.00/0.08 c Finish cloning data from SAT to LS
0.00/0.08 c restart_num_ls -100000 0
41.44/41.68 c Use LS-small
41.44/41.68 c restart_num_ls 0 1022
41.44/41.68 c LS 90 74
74.66/74.94 c Use LS-small
74.66/74.94 c restart_num_ls 1022 1533
74.66/74.94 c LS 80 84
108.80/109.15 c Use LS-small
108.80/109.15 c restart_num_ls 1533 2045
108.80/109.15 c LS 70 96
167.26/167.70 c Use LS-small
167.26/167.70 c restart_num_ls 2045 4093
167.26/167.70 c LS 60 22
265.33/266.08 c Use LS-small
265.33/266.08 c restart_num_ls 4093 8189
265.33/266.08 c LS 50 7
316.11/316.94 c Use LS-small
316.11/316.94 c restart_num_ls 8189 9011
316.11/316.94 c LS 40 43
353.23/354.18 c Use LS-small
353.23/354.18 c restart_num_ls 9011 9724
353.23/354.18 c LS 30 88
419.08/420.18 c Use LS-small
419.08/420.18 c restart_num_ls 9724 12283
419.08/420.18 c LS 20 61
461.77/462.95 c Use LS-small
461.77/462.95 c restart_num_ls 12283 12796
461.77/462.95 c LS 10 25
504.06/505.37 c Use LS-small
504.06/505.37 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 (62406 MiB free)
memory of node 1: 64507 MiB (63947 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513416-1751215247/watcher-4513416-1751215247 -o /tmp/evaluation-result-4513416-1751215247/solver-4513416-1751215247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751215247-25534 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4513416-1751215247.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=25583, runsolver pid=25574
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.57 1.35 1.98 6/265 25593
/proc/meminfo: memFree=129343116/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=93164 memory=20352 CPUtime=0.04 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 2953 0 14 0 3 1 0 0 20 0 1 0 37204594 95399936 5088 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 23291 5088 2464 595 0 7958 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20352 KiB
[startup+0.204774 s]*
/proc/loadavg: 0.57 1.35 1.98 6/265 25593
/proc/meminfo: memFree=129343404/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=93164 memory=20352 CPUtime=0.14 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 2953 0 14 0 13 1 0 0 20 0 1 0 37204594 95399936 5088 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 23291 5088 2464 595 0 7958 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20352 KiB
[startup+0.305445 s]*
/proc/loadavg: 0.57 1.35 1.98 6/265 25593
/proc/meminfo: memFree=129343404/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=93164 memory=20352 CPUtime=0.24 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 2953 0 14 0 22 2 0 0 20 0 1 0 37204594 95399936 5088 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 23291 5088 2464 595 0 7958 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20352 KiB
[startup+0.700112 s]
/proc/loadavg: 0.57 1.35 1.98 6/265 25593
/proc/meminfo: memFree=129351468/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=93164 memory=20352 CPUtime=0.63 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 2953 0 14 0 59 4 0 0 20 0 1 0 37204594 95399936 5088 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 23291 5088 2464 595 0 7958 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20352 KiB
[startup+1.50011 s]
/proc/loadavg: 0.57 1.35 1.98 6/265 25593
/proc/meminfo: memFree=129357992/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=93164 memory=20352 CPUtime=1.42 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 2953 0 14 0 134 8 0 0 20 0 1 0 37204594 95399936 5088 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 23291 5088 2464 595 0 7958 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20352 KiB
[startup+3.1044 s]
/proc/loadavg: 0.57 1.35 1.98 6/265 25593
/proc/meminfo: memFree=129358368/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=93164 memory=20352 CPUtime=3.02 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 2953 0 14 0 284 18 0 0 20 0 1 0 37204594 95399936 5088 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 23291 5088 2464 595 0 7958 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20352 KiB
[startup+6.3001 s]
/proc/loadavg: 0.84 1.39 2.00 6/265 25593
/proc/meminfo: memFree=129358376/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=93164 memory=20352 CPUtime=6.21 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 2953 0 14 0 585 36 0 0 20 0 1 0 37204594 95399936 5088 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 23291 5088 2464 595 0 7958 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20352 KiB
[startup+12.7001 s]
/proc/loadavg: 1.18 1.45 2.01 6/265 25593
/proc/meminfo: memFree=129358616/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=93164 memory=20352 CPUtime=12.6 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 2953 0 14 0 1190 70 0 0 20 0 1 0 37204594 95399936 5088 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 23291 5088 2464 595 0 7958 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20352 KiB
[startup+25.5001 s]
/proc/loadavg: 1.80 1.58 2.04 6/265 25593
/proc/meminfo: memFree=129356892/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=93164 memory=20352 CPUtime=25.38 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 2953 0 14 0 2400 138 0 0 20 0 1 0 37204594 95399936 5088 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 23291 5088 2464 595 0 7958 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 93164 KiB
Current children cumulated memory: 20352 KiB
[startup+51.1049 s]
/proc/loadavg: 2.55 1.78 2.10 6/265 25593
/proc/meminfo: memFree=129183660/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=98404 memory=28372 CPUtime=50.93 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 7488 0 14 0 4890 203 0 0 20 0 1 0 37204594 100765696 7093 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 24601 7093 2496 595 0 9268 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 98404 KiB
Current children cumulated memory: 28372 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 2.15 2.21 6/266 25598
/proc/meminfo: memFree=129117072/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=98776 memory=28740 CPUtime=102.01 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 9432 0 14 0 9759 442 0 0 20 0 1 0 37204594 101146624 7185 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 24694 7185 2496 595 0 9361 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 98776 KiB
Current children cumulated memory: 28740 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.50 2.33 6/266 25602
/proc/meminfo: memFree=129097036/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=99880 memory=29848 CPUtime=161.87 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 15355 0 14 0 15598 589 0 0 20 0 1 0 37204594 102277120 7462 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 24970 7462 2496 595 0 9637 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 99880 KiB
Current children cumulated memory: 29848 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.79 2.44 6/266 25604
/proc/meminfo: memFree=129047136/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=100524 memory=30552 CPUtime=221.74 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 21246 0 14 0 21431 743 0 0 20 0 1 0 37204594 102936576 7638 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 25131 7638 2496 595 0 9798 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 100524 KiB
Current children cumulated memory: 30552 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.05 2.55 6/264 25606
/proc/meminfo: memFree=128988052/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=100852 memory=30968 CPUtime=281.6 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 28153 0 14 0 27319 841 0 0 20 0 1 0 37204594 103272448 7742 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 25213 7742 2496 595 0 9880 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 100852 KiB
Current children cumulated memory: 30968 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.24 2.65 6/263 25608
/proc/meminfo: memFree=128972968/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=101232 memory=31296 CPUtime=341.46 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 31690 0 14 0 33102 1044 0 0 20 0 1 0 37204594 103661568 7824 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 25308 7824 2496 595 0 9975 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 101232 KiB
Current children cumulated memory: 31296 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.39 2.74 6/262 25610
/proc/meminfo: memFree=128973008/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=101392 memory=31356 CPUtime=401.31 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 36227 0 14 0 38932 1199 0 0 20 0 1 0 37204594 103825408 7839 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 25348 7839 2496 595 0 10015 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 101392 KiB
Current children cumulated memory: 31356 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.52 2.83 6/262 25612
/proc/meminfo: memFree=128941084/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=101808 memory=31772 CPUtime=461.17 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 41455 0 14 0 44762 1355 0 0 20 0 1 0 37204594 104251392 7943 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 25452 7943 2496 595 0 10119 0
Current children cumulated CPU time: 461.17 s
Current children cumulated vsize: 101808 KiB
Current children cumulated memory: 31772 KiB
[startup+505.38 s]
# the end of solver process 25583 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=489.09 s, system=15.0543 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.13 3.58 2.87 6/262 25613
/proc/meminfo: memFree=128935616/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=101808 memory=31772 CPUtime=485.21 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 41541 0 14 0 47036 1485 0 0 20 0 1 0 37204594 104251392 7943 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 25452 7943 2496 595 0 10119 0
Current children cumulated CPU time: 485.21 s
Current children cumulated vsize: 101808 KiB
Current children cumulated memory: 31772 KiB
[startup+492.8 s]
/proc/loadavg: 4.12 3.58 2.87 6/263 25615
/proc/meminfo: memFree=128935688/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=101840 memory=31900 CPUtime=491.6 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 42003 0 14 0 47658 1502 0 0 20 0 1 0 37204594 104284160 7975 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 25460 7975 2496 595 0 10127 0
Current children cumulated CPU time: 491.6 s
Current children cumulated vsize: 101840 KiB
Current children cumulated memory: 31900 KiB
[startup+499.2 s]
/proc/loadavg: 4.10 3.60 2.89 6/263 25615
/proc/meminfo: memFree=128935584/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=101872 memory=31900 CPUtime=497.98 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 42911 0 14 0 48294 1504 0 0 20 0 1 0 37204594 104316928 7975 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 25468 7975 2496 595 0 10135 0
Current children cumulated CPU time: 497.98 s
Current children cumulated vsize: 101872 KiB
Current children cumulated memory: 31900 KiB
[startup+502.4 s]
/proc/loadavg: 4.10 3.60 2.89 6/263 25615
/proc/meminfo: memFree=128935712/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=101936 memory=31900 CPUtime=501.16 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 43321 0 14 0 48612 1504 0 0 20 0 1 0 37204594 104382464 7975 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 25484 7975 2496 595 0 10151 0
Current children cumulated CPU time: 501.16 s
Current children cumulated vsize: 101936 KiB
Current children cumulated memory: 31900 KiB
[startup+504 s]*
/proc/loadavg: 4.09 3.61 2.89 6/263 25615
/proc/meminfo: memFree=128935492/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=101936 memory=31900 CPUtime=502.76 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 43581 0 14 0 48772 1504 0 0 20 0 1 0 37204594 104382464 7975 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 25484 7975 2496 595 0 10151 0
Current children cumulated CPU time: 502.76 s
Current children cumulated vsize: 101936 KiB
Current children cumulated memory: 31900 KiB
[startup+504.8 s]
/proc/loadavg: 4.09 3.61 2.89 6/263 25615
/proc/meminfo: memFree=128935492/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=101936 memory=31900 CPUtime=503.56 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 43776 0 14 0 48851 1505 0 0 20 0 1 0 37204594 104382464 7975 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 25484 7975 2496 595 0 10151 0
Current children cumulated CPU time: 503.56 s
Current children cumulated vsize: 101936 KiB
Current children cumulated memory: 31900 KiB
[startup+505.2 s]
/proc/loadavg: 4.09 3.61 2.89 6/263 25615
/proc/meminfo: memFree=128935492/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=102000 memory=31964 CPUtime=503.96 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 43849 0 14 0 48891 1505 0 0 20 0 1 0 37204594 104448000 7991 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 25500 7991 2496 595 0 10167 0
Current children cumulated CPU time: 503.96 s
Current children cumulated vsize: 102000 KiB
Current children cumulated memory: 31964 KiB
[startup+505.3 s]
/proc/loadavg: 4.09 3.61 2.89 6/263 25615
/proc/meminfo: memFree=128935492/131250000 swapFree=33010684/33010684
[pid=25583] ppid=25574 vsize=102000 memory=31964 CPUtime=504.06 cores=4,6
/proc/25583/stat : 25583 (SynLSCD) R 25574 25583 25523 0 -1 4194304 43849 0 14 0 48901 1505 0 0 20 0 1 0 37204594 104448000 7991 18446744073709551615 94655268208640 94655270642793 140724631491552 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94655271124216 94655271157248 94655279603712 140724631492966 140724631493099 140724631493099 140724631498701 0
/proc/25583/statm: 25500 7991 2496 595 0 10167 0
Current children cumulated CPU time: 504.06 s
Current children cumulated vsize: 102000 KiB
Current children cumulated memory: 31964 KiB
Child status: 20
Real time (s): 505.38
CPU time (s): 504.144
CPU user time (s): 489.09
CPU system time (s): 15.0543
CPU usage (%): 99.7554
Max. virtual memory (cumulated for all children) (KiB): 102000
Max. memory (cumulated for all children) (KiB): 31964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 489.09
system time used= 15.0543
maximum resident set size= 32220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43876
page faults= 18
swaps= 0
block input operations= 1760
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 269
involuntary context switches= 435
# summary of solver processes directly reported to runsolver:
# pid: 25583
# total CPU time (s): 504.144
# total CPU user time (s): 489.09
# total CPU system time (s): 15.0543
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.909061 second user time and 1.6129 second system time
The end
Begin job on nodeC027 at 2025-06-29 18:40:47
IDJOB=4513416
IDBENCH=162341
IDSOLVER=3369
FILE ID=nodeC027/4513416-1751215247
RUNJOBID= nodeC027-1751215247-25534
SLURM_JOB_ID= 9587651
Free space on /tmp= 433064 MiB
SOLVER NAME= SynLSCD 2025-06-01
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-4513416-1751215247/watcher-4513416-1751215247 -o /tmp/evaluation-result-4513416-1751215247/solver-4513416-1751215247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751215247-25534 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4513416-1751215247.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 71fa1afe6ec5716be864bdb24fc2dd76
RANDOM SEED=1255062052
nodeC027 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 : 3598.770
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.29
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.677
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.647
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.29
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 : 3600.651
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.29
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.607
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.29
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.637
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.29
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 : 3604.122
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.29
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 : 3578.108
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129390760 kB
MemAvailable: 129747288 kB
Buffers: 3280 kB
Cached: 1160824 kB
SwapCached: 0 kB
Active: 329236 kB
Inactive: 906964 kB
Active(anon): 90164 kB
Inactive(anon): 0 kB
Active(file): 239072 kB
Inactive(file): 906964 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13688 kB
Writeback: 0 kB
AnonPages: 75612 kB
Mapped: 102816 kB
Shmem: 18068 kB
KReclaimable: 99064 kB
Slab: 184596 kB
SReclaimable: 99064 kB
SUnreclaim: 85532 kB
KernelStack: 4112 kB
PageTables: 2872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 337768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC027 at 2025-06-29 18:49:13