Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| UWrMaxSat-SCIP 2025-06-04 | SAT (TO) | 63 | 3600.03 | 3611.01 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | b4b357048b7fd6a2befaa81502734110 |
| 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.01 |
| 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 | 85 |
| 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 | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| 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.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - ) 0.00/0.00 c Setting memory limit to 31000MB. 0.00/0.00 c Parsing PB file... 0.00/0.00 c Converting 16 PB-constraints to clauses... 0.00/0.00 c Using SCIP solver, version 9.02.2, https://www.scipopt.org 0.20/0.26 o 2735 0.20/0.26 c ============================[ Problem Statistics ]============================ 0.20/0.26 c | Number of variables: 17680 | 0.20/0.26 c | Number of clauses: 129596 (incl. 112 soft in queue) | 0.20/0.26 c =============================================================================== 0.20/0.26 c Starting SCIP solver (with time-limit: 900s) ... 0.20/0.26 c SCIP start delayed for at least 300s 0.79/0.87 o 1129 7.46/7.53 o 583 13.15/13.28 o 282 105.68/106.03 o 134 300.31/301.26 c SCIP started with lower and upper bounds: [0, 134] 1197.16/1201.31 c SCIP timeout with lower and upper bounds: [0, 67] 1197.16/1201.31 o 67 1971.47/1977.92 c Switching to binary search ... (after 1970.77 s and 5000003 conflicts) with 128 goal literals and 0 assumptions 1998.19/2004.70 o 64 2019.83/2026.43 o 63 3600.02/3611.00 c *** TERMINATED by signal 15 *** 3600.02/3611.00 c _______________________________________________________________________________ 3600.02/3611.00 c 3600.02/3611.00 c _______________________________________________________________________________ 3600.02/3611.00 c 3600.02/3611.00 c =======================[ UWrMaxSat resources usage ]=========================== 3600.02/3611.00 c Memory used : 1245.00 MB 3600.02/3611.00 c CPU time : 3598.94 s 3600.02/3611.00 c Constr Enc: Srt/BDD/Add: 8 0 0 3600.02/3611.00 c OptExp Enc: Srt/BDD/Add: 3 0 0 3600.02/3611.00 c _______________________________________________________________________________ 3600.02/3611.00 c _______________________________________________________________________________ 3600.02/3611.00 3600.02/3611.00 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 -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 x143 3600.02/3611.00 s SATISFIABLE
OK 63
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 (61747 MiB free)
memory of node 1: 64465 MiB (62711 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490350-1751369745/watcher-4490350-1751369745 -o /tmp/evaluation-result-4490350-1751369745/solver-4490350-1751369745 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751369704-47696 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4490350-1751369745.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=48114, runsolver pid=48111
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 2.67 2.01 2.94 5/266 48115
/proc/meminfo: memFree=127446348/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=58372 memory=45536 CPUtime=0.09 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 9603 0 0 0 9 0 0 0 20 0 1 0 52652066 59772928 11384 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 14593 11384 2688 3139 0 10881 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58372 KiB
Current children cumulated memory: 45536 KiB
[startup+0.205606 s]*
/proc/loadavg: 2.67 2.01 2.94 5/266 48115
/proc/meminfo: memFree=127446156/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=61608 memory=47752 CPUtime=0.2 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 10788 0 0 0 19 1 0 0 20 0 1 0 52652066 63086592 11938 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 15402 11938 2688 3139 0 11690 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61608 KiB
Current children cumulated memory: 47752 KiB
[startup+0.305637 s]*
/proc/loadavg: 2.67 2.01 2.94 5/266 48115
/proc/meminfo: memFree=127442060/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=67612 memory=53812 CPUtime=0.3 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 11782 0 0 0 29 1 0 0 20 0 1 0 52652066 69234688 13453 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 16903 13453 2720 3139 0 13191 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67612 KiB
Current children cumulated memory: 53812 KiB
[startup+0.700171 s]
/proc/loadavg: 2.67 2.01 2.94 5/266 48115
/proc/meminfo: memFree=127437964/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=67904 memory=54224 CPUtime=0.69 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 12839 0 0 0 68 1 0 0 20 0 1 0 52652066 69533696 13556 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 16976 13556 2720 3139 0 13264 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67904 KiB
Current children cumulated memory: 54224 KiB
[startup+1.50018 s]
/proc/loadavg: 2.67 2.01 2.94 5/266 48115
/proc/meminfo: memFree=127437964/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=94964 memory=81840 CPUtime=1.48 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 19928 0 0 0 146 2 0 0 20 0 1 0 52652066 97243136 20460 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 23741 20460 2720 3139 0 20029 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 94964 KiB
Current children cumulated memory: 81840 KiB
[startup+3.10543 s]
/proc/loadavg: 2.67 2.01 2.94 5/266 48115
/proc/meminfo: memFree=127361528/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=98620 memory=85564 CPUtime=3.08 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 21388 0 0 0 305 3 0 0 20 0 1 0 52652066 100986880 21391 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 24655 21391 2720 3139 0 20943 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 98620 KiB
Current children cumulated memory: 85564 KiB
[startup+6.30017 s]
/proc/loadavg: 2.77 2.04 2.94 5/266 48115
/proc/meminfo: memFree=127354996/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=102548 memory=89532 CPUtime=6.27 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 21867 0 0 0 624 3 0 0 20 0 1 0 52652066 105009152 22383 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 25637 22383 2720 3139 0 21925 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 102548 KiB
Current children cumulated memory: 89532 KiB
[startup+12.7002 s]
/proc/loadavg: 2.87 2.07 2.95 5/266 48115
/proc/meminfo: memFree=127471116/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=102844 memory=89916 CPUtime=12.66 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 21947 0 0 0 1262 4 0 0 20 0 1 0 52652066 105312256 22479 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 25711 22479 2720 3139 0 21999 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 102844 KiB
Current children cumulated memory: 89916 KiB
[startup+25.5002 s]
/proc/loadavg: 3.12 2.17 2.96 5/266 48115
/proc/meminfo: memFree=127407392/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=107848 memory=95048 CPUtime=25.42 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 22237 0 0 0 2538 4 0 0 20 0 1 0 52652066 110436352 23762 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 26962 23762 2720 3139 0 23250 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 107848 KiB
Current children cumulated memory: 95048 KiB
[startup+51.1058 s]
/proc/loadavg: 3.50 2.33 3.00 5/266 48116
/proc/meminfo: memFree=127269800/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=110928 memory=98120 CPUtime=50.95 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 23019 0 0 0 5091 4 0 0 20 0 1 0 52652066 113590272 24530 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 27732 24530 2720 3139 0 24020 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 110928 KiB
Current children cumulated memory: 98120 KiB
[startup+102.3 s]
/proc/loadavg: 3.85 2.61 3.06 5/265 48117
/proc/meminfo: memFree=127355080/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=125536 memory=112752 CPUtime=101.99 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 23621 0 0 0 10195 4 0 0 20 0 1 0 52652066 128548864 28188 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 31384 28188 2720 3139 0 27672 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 125536 KiB
Current children cumulated memory: 112752 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 2.88 3.13 5/265 48119
/proc/meminfo: memFree=127195900/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=130036 memory=117232 CPUtime=161.81 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 32277 0 0 0 16173 8 0 0 20 0 1 0 52652066 133156864 29308 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 32509 29308 2720 3139 0 28797 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 130036 KiB
Current children cumulated memory: 117232 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.12 3.19 5/266 48122
/proc/meminfo: memFree=127228836/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=127180 memory=114476 CPUtime=221.64 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 36651 0 0 0 22153 11 0 0 20 0 1 0 52652066 130232320 28619 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 31795 28619 2720 3139 0 28083 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 127180 KiB
Current children cumulated memory: 114476 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.30 3.25 5/265 48124
/proc/meminfo: memFree=125161932/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=153784 memory=140972 CPUtime=281.46 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 37681 0 0 0 28135 11 0 0 20 0 1 0 52652066 157474816 35243 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 38446 35243 2720 3139 0 34734 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 153784 KiB
Current children cumulated memory: 140972 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.44 3.31 5/266 48172
/proc/meminfo: memFree=120837516/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=243664 memory=228780 CPUtime=341.25 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 59106 0 0 0 34111 14 0 0 20 0 1 0 52652066 249511936 57195 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 60916 57195 3360 3139 0 57204 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 243664 KiB
Current children cumulated memory: 228780 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.58 3.37 5/265 48174
/proc/meminfo: memFree=120560956/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=348888 memory=331216 CPUtime=401.02 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 81168 0 0 0 40083 19 0 0 20 0 1 0 52652066 357261312 82804 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 87222 82804 3360 3139 0 83510 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 348888 KiB
Current children cumulated memory: 331216 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.67 3.41 5/264 48178
/proc/meminfo: memFree=120388520/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=446236 memory=428752 CPUtime=460.79 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 100428 0 0 0 46056 23 0 0 20 0 1 0 52652066 456945664 107188 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 111559 107188 3360 3139 0 107847 0
################
# More data... #
################
Current children cumulated memory: 170656 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.08 4.03 5/264 48302
/proc/meminfo: memFree=124527448/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=179648 memory=169680 CPUtime=2853.39 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 273440 0 0 0 285247 92 0 0 20 0 1 0 52652066 183959552 42420 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 44912 42420 3360 3139 0 41200 0
Current children cumulated CPU time: 2853.39 s
Current children cumulated vsize: 179648 KiB
Current children cumulated memory: 169680 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/265 48309
/proc/meminfo: memFree=123785064/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=192164 memory=181080 CPUtime=2913.23 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 274968 0 0 0 291228 95 0 0 20 0 1 0 52652066 196775936 45270 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 48041 45270 3360 3139 0 44329 0
Current children cumulated CPU time: 2913.23 s
Current children cumulated vsize: 192164 KiB
Current children cumulated memory: 181080 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/263 48311
/proc/meminfo: memFree=124520820/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=192512 memory=181440 CPUtime=2973.05 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 276454 0 0 0 297208 97 0 0 20 0 1 0 52652066 197132288 45360 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 48128 45360 3360 3139 0 44416 0
Current children cumulated CPU time: 2973.05 s
Current children cumulated vsize: 192512 KiB
Current children cumulated memory: 181440 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.08 4.03 5/263 48313
/proc/meminfo: memFree=123879420/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=193716 memory=182644 CPUtime=3032.89 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 277729 0 0 0 303190 99 0 0 20 0 1 0 52652066 198365184 45661 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 48429 45661 3360 3139 0 44717 0
Current children cumulated CPU time: 3032.89 s
Current children cumulated vsize: 193716 KiB
Current children cumulated memory: 182644 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.09 4.03 5/263 48315
/proc/meminfo: memFree=123769480/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=173004 memory=162936 CPUtime=3092.73 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 280338 0 0 0 309172 101 0 0 20 0 1 0 52652066 177156096 40734 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 43251 40734 3360 3139 0 39539 0
Current children cumulated CPU time: 3092.73 s
Current children cumulated vsize: 173004 KiB
Current children cumulated memory: 162936 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/263 48317
/proc/meminfo: memFree=124527568/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=201452 memory=191344 CPUtime=3152.56 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 280807 0 0 0 315155 101 0 0 20 0 1 0 52652066 206286848 47836 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 50363 47836 3360 3139 0 46651 0
Current children cumulated CPU time: 3152.56 s
Current children cumulated vsize: 201452 KiB
Current children cumulated memory: 191344 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/263 48319
/proc/meminfo: memFree=122962116/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=201452 memory=191344 CPUtime=3212.39 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 280807 0 0 0 321138 101 0 0 20 0 1 0 52652066 206286848 47836 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 50363 47836 3360 3139 0 46651 0
Current children cumulated CPU time: 3212.39 s
Current children cumulated vsize: 201452 KiB
Current children cumulated memory: 191344 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.08 4.03 6/263 48321
/proc/meminfo: memFree=123657108/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=221076 memory=211184 CPUtime=3272.22 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 281136 0 0 0 327120 102 0 0 20 0 1 0 52652066 226381824 52796 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 55269 52796 3360 3139 0 51557 0
Current children cumulated CPU time: 3272.22 s
Current children cumulated vsize: 221076 KiB
Current children cumulated memory: 211184 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.03 5/262 48322
/proc/meminfo: memFree=122773864/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=225960 memory=216048 CPUtime=3332.04 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 281937 0 0 0 333102 102 0 0 20 0 1 0 52652066 231383040 54012 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 56490 54012 3360 3139 0 52778 0
Current children cumulated CPU time: 3332.04 s
Current children cumulated vsize: 225960 KiB
Current children cumulated memory: 216048 KiB
[startup+3402.3 s]
/proc/loadavg: 4.55 4.22 4.08 5/262 48324
/proc/meminfo: memFree=123690424/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=225960 memory=217584 CPUtime=3391.88 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 281938 0 0 0 339086 102 0 0 20 0 1 0 52652066 231383040 54396 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 56490 54396 3360 3139 0 52778 0
Current children cumulated CPU time: 3391.88 s
Current children cumulated vsize: 225960 KiB
Current children cumulated memory: 217584 KiB
[startup+3462.3 s]
/proc/loadavg: 4.34 4.24 4.10 5/262 48326
/proc/meminfo: memFree=123663252/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=172460 memory=164184 CPUtime=3451.72 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 283686 0 0 0 345068 104 0 0 20 0 1 0 52652066 176599040 41046 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 43115 41046 3360 3139 0 39403 0
Current children cumulated CPU time: 3451.72 s
Current children cumulated vsize: 172460 KiB
Current children cumulated memory: 164184 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.20 4.09 5/263 48331
/proc/meminfo: memFree=122774016/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=203040 memory=189340 CPUtime=3511.55 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 285954 0 0 0 351050 105 0 0 20 0 1 0 52652066 207912960 47335 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 50760 47335 3360 3139 0 47048 0
Current children cumulated CPU time: 3511.55 s
Current children cumulated vsize: 203040 KiB
Current children cumulated memory: 189340 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.18 4.09 5/264 48428
/proc/meminfo: memFree=129586080/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=203808 memory=190108 CPUtime=3571.39 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 287101 0 0 0 357032 107 0 0 20 0 1 0 52652066 208699392 47527 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 50952 47527 3360 3139 0 47240 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 203808 KiB
Current children cumulated memory: 190108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.06 4.16 4.09 5/264 48429
/proc/meminfo: memFree=129543584/131250000 swapFree=33007332/33010684
[pid=48114] ppid=48111 vsize=204124 memory=190424 CPUtime=3600.02 cores=5,7
/proc/48114/stat : 48114 (uwrmaxsat-scip) R 48111 48114 47683 0 -1 4194304 287304 0 0 0 359894 108 0 0 20 0 1 0 52652066 209022976 47606 18446744073709551615 4198400 17051741 140729534437840 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55689216 140729534445882 140729534446052 140729534446052 140729534451654 0
/proc/48114/statm: 51031 47606 3360 3139 0 47319 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 204124 KiB
Current children cumulated memory: 190424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 48114 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.94 s, system=1.08322 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.01
CPU time (s): 3600.03
CPU user time (s): 3598.94
CPU system time (s): 1.08322
CPU usage (%): 99.696
Max. virtual memory (cumulated for all children) (KiB): 1275476
Max. memory (cumulated for all children) (KiB): 1245656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.94
system time used= 1.08322
maximum resident set size= 1245656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287305
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= 36
involuntary context switches= 4189
# summary of solver processes directly reported to runsolver:
# pid: 48114
# total CPU time (s): 3600.03
# total CPU user time (s): 3598.94
# total CPU system time (s): 1.08322
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05253 second user time and 15.6654 second system time
The end
Begin job on nodeC019 at 2025-07-01 13:35:46 IDJOB=4490350 IDBENCH=147578 IDSOLVER=3373 FILE ID=nodeC019/4490350-1751369745 RUNJOBID= nodeC019-1751369704-47696 SLURM_JOB_ID= 9598187 Free space on /tmp= 432964 MiB SOLVER NAME= UWrMaxSat-SCIP 2025-06-04 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490350-1751369745/watcher-4490350-1751369745 -o /tmp/evaluation-result-4490350-1751369745/solver-4490350-1751369745 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751369704-47696 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4490350-1751369745.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110 RANDOM SEED=333212188 nodeC019 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.690 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.37 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.684 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.37 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.774 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.37 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.774 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.37 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 : 3688.579 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.37 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.492 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.740 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.37 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.677 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 127446540 kB MemAvailable: 127185320 kB Buffers: 904 kB Cached: 545832 kB SwapCached: 436 kB Active: 2614008 kB Inactive: 411772 kB Active(anon): 2466356 kB Inactive(anon): 27820 kB Active(file): 147652 kB Inactive(file): 383952 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 33368 kB Writeback: 24 kB AnonPages: 2481700 kB Mapped: 135796 kB Shmem: 15132 kB KReclaimable: 92832 kB Slab: 179616 kB SReclaimable: 92832 kB SUnreclaim: 86784 kB KernelStack: 4304 kB PageTables: 8048 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 2848688 kB VmallocTotal: 34359738367 kB VmallocUsed: 150536 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 421888 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: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432980 MiB End job on nodeC019 at 2025-07-01 14:35:57