Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCom-S 2025-06-01 | SAT (TO) | 67 | 3600.09 | 3610.9 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb |
| MD5SUM | c109c801c35aa8e8336c6dae8cef540e |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 11 |
| Best CPU time to get the best result obtained on this benchmark | 3600.05 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 198 |
| Total number of constraints | 16 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 16 |
| Minimum length of a constraint | 84 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1881 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6154 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.11 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.09/0.11 c Do: 140725662736792 140725662736800 0.20/0.22 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.20/0.22 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.30/0.36 c Starting SCIP solver (with time-limit = 1800s) ... 1812.41/1817.99 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807] 1814.40/1819.95 o 267 1814.40/1819.95 c Do: 140725662736792 140725662736800 2111.96/2118.32 o 67 2111.96/2118.32 c Do: 140725662736792 140725662736800 3600.08/3610.90 3600.08/3610.90 v x1 x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 x25 x26 x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 x43 -x44 -x45 -x46 -x47 -x48 x49 x50 x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 x131 -x132 -x133 -x134 x135 x136 x137 -x138 x139 x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 x153 -x154 -x155 -x156 x157 -x158 -x159 x160 x161 -x162 -x163 x164 x165 x166 x167 x168 -x169 x170 x171 -x172 -x173 -x174 x175 -x176 -x177 x178 x179 x180 -x181 x182 x183 x184 -x185 x186 x187 x188 -x189 -x190 x191 x192 -x193 x194 -x195 -x196 x197 x198 3600.08/3610.90 s SATISFIABLE
OK 67
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 (62285 MiB free)
memory of node 1: 64465 MiB (63088 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490540-1751377102/watcher-4490540-1751377102 -o /tmp/evaluation-result-4490540-1751377102/solver-4490540-1751377102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751371686-53842 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4490540-1751377102.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=54497, runsolver pid=54494
[startup+0.100179 s]*
/proc/loadavg: 4.22 4.17 4.12 5/263 54498
/proc/meminfo: memFree=128350808/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=51232 memory=33000 CPUtime=0.09 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 7264 0 0 0 9 0 0 0 20 0 1 0 53387732 52461568 8250 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 12808 8250 768 2416 0 9910 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51232 KiB
Current children cumulated memory: 33000 KiB
[startup+0.205542 s]*
/proc/loadavg: 4.22 4.17 4.12 5/263 54498
/proc/meminfo: memFree=128350808/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=50016 memory=32360 CPUtime=0.2 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 7736 0 0 0 20 0 0 0 20 0 1 0 53387732 51216384 8090 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 12504 8090 768 2416 0 9606 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50016 KiB
Current children cumulated memory: 32360 KiB
[startup+0.305509 s]*
/proc/loadavg: 4.22 4.17 4.12 5/263 54498
/proc/meminfo: memFree=128290832/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=108028 memory=94772 CPUtime=0.3 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 22593 0 0 0 28 2 0 0 20 0 1 0 53387732 110620672 23693 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 27007 23693 2112 2416 0 24109 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108028 KiB
Current children cumulated memory: 94772 KiB
[startup+0.70019 s]
/proc/loadavg: 4.22 4.17 4.12 5/263 54498
/proc/meminfo: memFree=128169880/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=273484 memory=255796 CPUtime=0.69 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 62635 0 0 0 61 8 0 0 20 0 1 0 53387732 280047616 63949 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 68371 63949 2336 2416 0 65473 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 273484 KiB
Current children cumulated memory: 255796 KiB
[startup+1.50017 s]
/proc/loadavg: 4.22 4.17 4.12 5/263 54498
/proc/meminfo: memFree=128056984/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=349824 memory=332468 CPUtime=1.49 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 81877 0 0 0 138 11 0 0 20 0 1 0 53387732 358219776 83117 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 87456 83117 2368 2416 0 84558 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 349824 KiB
Current children cumulated memory: 332468 KiB
[startup+3.10544 s]
/proc/loadavg: 4.22 4.17 4.12 5/263 54498
/proc/meminfo: memFree=128049192/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=349824 memory=333364 CPUtime=3.09 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 82057 0 0 0 298 11 0 0 20 0 1 0 53387732 358219776 83341 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 87456 83341 2400 2416 0 84558 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 349824 KiB
Current children cumulated memory: 333364 KiB
[startup+6.30017 s]
/proc/loadavg: 4.29 4.18 4.12 5/263 54543
/proc/meminfo: memFree=128611320/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=357168 memory=340884 CPUtime=6.27 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 82908 0 0 0 616 11 0 0 20 0 1 0 53387732 365740032 85221 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 89292 85221 2400 2416 0 86394 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 357168 KiB
Current children cumulated memory: 340884 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.18 4.12 5/263 54588
/proc/meminfo: memFree=128992376/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=672280 memory=627236 CPUtime=12.64 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 133436 0 0 0 1243 21 0 0 20 0 1 0 53387732 688414720 156809 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 168070 156809 2496 2416 0 165172 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 672280 KiB
Current children cumulated memory: 627236 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.17 4.12 5/264 54589
/proc/meminfo: memFree=128977532/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=682780 memory=637648 CPUtime=25.4 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 135548 0 0 0 2518 22 0 0 20 0 1 0 53387732 699166720 159412 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 170695 159412 2496 2416 0 167797 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 682780 KiB
Current children cumulated memory: 637648 KiB
[startup+51.1055 s]
/proc/loadavg: 4.20 4.17 4.12 5/264 54590
/proc/meminfo: memFree=128966460/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=697236 memory=646408 CPUtime=50.92 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 137236 0 0 0 5069 23 0 0 20 0 1 0 53387732 713969664 161602 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 174309 161602 2496 2416 0 171411 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 697236 KiB
Current children cumulated memory: 646408 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/266 54597
/proc/meminfo: memFree=128916188/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=697236 memory=646408 CPUtime=101.94 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 137255 0 0 0 10171 23 0 0 20 0 1 0 53387732 713969664 161602 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 174309 161602 2496 2416 0 171411 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 697236 KiB
Current children cumulated memory: 646408 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/266 54601
/proc/meminfo: memFree=128884924/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=697236 memory=646536 CPUtime=161.73 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 137281 0 0 0 16150 23 0 0 20 0 1 0 53387732 713969664 161634 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 174309 161634 2496 2416 0 171411 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 697236 KiB
Current children cumulated memory: 646536 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/266 54603
/proc/meminfo: memFree=128869088/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=697236 memory=646536 CPUtime=221.52 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 137305 0 0 0 22129 23 0 0 20 0 1 0 53387732 713969664 161634 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 174309 161634 2496 2416 0 171411 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 697236 KiB
Current children cumulated memory: 646536 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/266 54605
/proc/meminfo: memFree=128853036/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=697236 memory=646536 CPUtime=281.31 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 137315 0 0 0 28108 23 0 0 20 0 1 0 53387732 713969664 161634 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 174309 161634 2496 2416 0 171411 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 697236 KiB
Current children cumulated memory: 646536 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/266 54607
/proc/meminfo: memFree=128852588/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=697236 memory=646920 CPUtime=341.11 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 137335 0 0 0 34088 23 0 0 20 0 1 0 53387732 713969664 161730 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 174309 161730 2496 2416 0 171411 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 697236 KiB
Current children cumulated memory: 646920 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/265 54612
/proc/meminfo: memFree=128836352/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=697236 memory=646920 CPUtime=400.93 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 137356 0 0 0 40070 23 0 0 20 0 1 0 53387732 713969664 161730 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 174309 161730 2496 2416 0 171411 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 697236 KiB
Current children cumulated memory: 646920 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 54614
/proc/meminfo: memFree=128452208/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=697236 memory=650248 CPUtime=460.75 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 137368 0 0 0 46052 23 0 0 20 0 1 0 53387732 713969664 162562 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 174309 162562 2496 2416 0 171411 0
################
# More data... #
################
Current children cumulated memory: 681776 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/265 54749
/proc/meminfo: memFree=127398868/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=2913.61 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 168738 0 0 0 291322 39 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 2913.61 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/264 54751
/proc/meminfo: memFree=127398760/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=2973.43 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 168840 0 0 0 297304 39 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 2973.43 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
[startup+3042.3 s]
/proc/loadavg: 4.45 4.21 4.13 5/265 54754
/proc/meminfo: memFree=127398752/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=3033.26 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 168844 0 0 0 303286 40 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 3033.26 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
[startup+3102.3 s]
/proc/loadavg: 4.27 4.20 4.13 5/266 54806
/proc/meminfo: memFree=127550340/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=3093.08 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 168903 0 0 0 309266 42 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 3093.08 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.18 4.12 5/266 54808
/proc/meminfo: memFree=127418360/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=3152.9 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 168981 0 0 0 315247 43 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 3152.9 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.19 4.13 5/265 54810
/proc/meminfo: memFree=127417988/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=3212.7 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 168982 0 0 0 321227 43 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 3212.7 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/267 54815
/proc/meminfo: memFree=127418828/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=3272.52 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 169105 0 0 0 327208 44 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 3272.52 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/266 54817
/proc/meminfo: memFree=127421232/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=3332.33 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 169126 0 0 0 333189 44 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 3332.33 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/265 54821
/proc/meminfo: memFree=127421116/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=3392.14 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 169240 0 0 0 339170 44 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/265 54824
/proc/meminfo: memFree=127441316/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=3451.96 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 169243 0 0 0 345151 45 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 3451.96 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/266 54827
/proc/meminfo: memFree=127433252/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=3511.76 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 169294 0 0 0 351131 45 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 3511.76 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/264 54829
/proc/meminfo: memFree=127381636/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=3571.57 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 169363 0 0 0 357112 45 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 3571.57 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.16 4.14 4.11 5/264 54830
/proc/meminfo: memFree=127354648/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=3600.08 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 169364 0 0 0 359962 46 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 54497 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.63 s, system=0.464693 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.16 4.14 4.11 5/264 54830
/proc/meminfo: memFree=127354648/131249996 swapFree=33006296/33010684
[pid=54497] ppid=54494 vsize=752948 memory=681776 CPUtime=3600.08 cores=0,2
/proc/54497/stat : 54497 (CASHWMaxSAT-Dis) R 54494 54497 53832 0 -1 4194304 169364 0 0 0 359962 46 0 0 20 0 1 0 53387732 771018752 170444 18446744073709551615 4198400 14093885 140725662739152 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40677376 140725662742890 140725662743005 140725662743005 140725662748607 0
/proc/54497/statm: 188237 170444 2528 2416 0 185339 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 752948 KiB
Current children cumulated memory: 681776 KiB
Child status: 10
Real time (s): 3610.9
CPU time (s): 3600.09
CPU user time (s): 3599.63
CPU system time (s): 0.464693
CPU usage (%): 99.7007
Max. virtual memory (cumulated for all children) (KiB): 1024308
Max. memory (cumulated for all children) (KiB): 850860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.63
system time used= 0.464693
maximum resident set size= 850860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169365
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= 16
involuntary context switches= 4694
# summary of solver processes directly reported to runsolver:
# pid: 54497
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.63
# total CPU system time (s): 0.464693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.80493 second user time and 15.8802 second system time
The end
Begin job on nodeC015 at 2025-07-01 15:38:22 IDJOB=4490540 IDBENCH=147593 IDSOLVER=3323 FILE ID=nodeC015/4490540-1751377102 RUNJOBID= nodeC015-1751371686-53842 SLURM_JOB_ID= 9598198 Free space on /tmp= 432980 MiB SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490540-1751377102/watcher-4490540-1751377102 -o /tmp/evaluation-result-4490540-1751377102/solver-4490540-1751377102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751371686-53842 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4490540-1751377102.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c109c801c35aa8e8336c6dae8cef540e RANDOM SEED=1813498610 nodeC015 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 : 3664.646 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 : 7000.14 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 : 3600.031 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 : 7000.14 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 : 3600.082 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 : 7000.14 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 : 3517.566 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 : 7000.14 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 : 3600.098 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 : 7000.14 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 : 3600.078 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 : 7000.14 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 : 3597.954 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 : 7000.14 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 : 3600.201 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 : 7000.14 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128383128 kB MemAvailable: 128065032 kB Buffers: 1508 kB Cached: 467448 kB SwapCached: 3880 kB Active: 1964092 kB Inactive: 232072 kB Active(anon): 1692284 kB Inactive(anon): 49076 kB Active(file): 271808 kB Inactive(file): 182996 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33006296 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 12692 kB Writeback: 0 kB AnonPages: 1724600 kB Mapped: 131856 kB Shmem: 14152 kB KReclaimable: 132676 kB Slab: 221428 kB SReclaimable: 132676 kB SUnreclaim: 88752 kB KernelStack: 4272 kB PageTables: 6268 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 2220180 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1644544 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: 205524 kB DirectMap2M: 11100160 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432968 MiB End job on nodeC015 at 2025-07-01 16:38:34