Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | SAT (TO) | -35 | 3600.08 | 3665.17 |
| Name | PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-graphpart_3pm-0334-0334.lin.opb |
| MD5SUM | c86a302e56842e7d56f33820d48ef5a5 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -36 |
| Best CPU time to get the best result obtained on this benchmark | 1.22323 |
| 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 | 432 |
| Total number of constraints | 684 |
| Number of constraints which are clauses | 324 |
| Number of constraints which are cardinality constraints (but not clauses) | 36 |
| Number of constraints which are nor clauses,nor cardinality constraints | 324 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 324 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 324 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 324 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.01 o 9 0.00/0.01 o 8 0.00/0.01 o 6 0.00/0.01 o 5 0.00/0.04 o 4 0.00/0.06 o 3 0.00/0.07 o 2 0.00/0.08 o 1 0.00/0.08 o 0 0.09/0.11 o -4 0.09/0.11 o -5 0.19/0.21 o -6 0.19/0.30 o -8 0.29/0.36 o -9 0.39/0.42 o -10 0.39/0.42 o -11 0.39/0.43 o -13 0.88/0.90 o -14 1.18/1.29 o -15 1.37/1.41 o -16 1.58/1.63 o -17 1.58/1.63 o -18 2.08/2.19 o -19 2.08/2.19 o -20 2.17/2.25 o -21 17.23/17.32 o -22 21.80/21.95 o -24 34.25/34.42 o -25 35.87/36.11 o -26 45.23/45.58 o -28 57.00/57.33 o -29 57.00/57.33 o -30 69.00/69.74 o -31 69.59/70.32 o -32 129.44/130.51 o -33 711.64/721.35 o -34 1364.14/1384.99 o -35 3600.06/3664.80 c Program interrupted by user. 3600.06/3664.80 s SATISFIABLE 3600.06/3664.80 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 -x199 -x200 x201 -x202 -x203 -x204 x205 x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 x218 x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 x311 -x312 -x313 x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 x368 x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432
OK -35
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: 63968 MiB (18405 MiB free)
memory of node 1: 64473 MiB (55532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440988-1721833605/watcher-4440988-1721833605 -o /tmp/evaluation-result-4440988-1721833605/solver-4440988-1721833605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721829985-238003 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440988-1721833605 --seed=1627094014 HOME/instance-4440988-1721833605.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=240287, runsolver pid=240284
[startup+0.100467 s]*
/proc/loadavg: 4.32 4.18 4.08 5/255 240288
/proc/meminfo: memFree=75707484/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=26692 memory=5540 CPUtime=0.09 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 637 0 0 0 9 0 0 0 20 0 1 0 19888807 27332608 1385 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 6673 1385 850 747 0 5736 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26692 KiB
Current children cumulated memory: 5540 KiB
[startup+0.206467 s]*
/proc/loadavg: 4.32 4.18 4.08 5/255 240288
/proc/meminfo: memFree=75700564/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=27220 memory=8376 CPUtime=0.19 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 836 0 0 0 19 0 0 0 20 0 1 0 19888807 27873280 2094 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 6805 2094 850 747 0 5868 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 27220 KiB
Current children cumulated memory: 8376 KiB
[startup+0.305612 s]*
/proc/loadavg: 4.32 4.18 4.08 6/255 240288
/proc/meminfo: memFree=75697204/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=27628 memory=8640 CPUtime=0.29 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 924 0 0 0 29 0 0 0 20 0 1 0 19888807 28291072 2160 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 6907 2160 850 747 0 5970 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 27628 KiB
Current children cumulated memory: 8640 KiB
[startup+0.700232 s]
/proc/loadavg: 4.32 4.18 4.08 5/255 240288
/proc/meminfo: memFree=75684908/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=28400 memory=9396 CPUtime=0.68 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 1136 0 0 0 67 1 0 0 20 0 1 0 19888807 29081600 2349 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 7100 2349 850 747 0 6163 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28400 KiB
Current children cumulated memory: 9396 KiB
[startup+1.50023 s]
/proc/loadavg: 4.32 4.18 4.08 5/255 240288
/proc/meminfo: memFree=75669420/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=31100 memory=13812 CPUtime=1.48 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 1698 0 0 0 146 2 0 0 20 0 1 0 19888807 31846400 3453 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 7775 3453 850 747 0 6838 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31100 KiB
Current children cumulated memory: 13812 KiB
[startup+3.10538 s]
/proc/loadavg: 4.30 4.18 4.08 5/255 240288
/proc/meminfo: memFree=75602276/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=31740 memory=16528 CPUtime=3.08 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 1884 0 0 0 305 3 0 0 20 0 1 0 19888807 32501760 4132 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 7935 4132 850 747 0 6998 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 31740 KiB
Current children cumulated memory: 16528 KiB
[startup+6.30021 s]
/proc/loadavg: 4.30 4.18 4.08 5/255 240288
/proc/meminfo: memFree=75493756/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=33772 memory=20276 CPUtime=6.26 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 2337 0 0 0 622 4 0 0 20 0 1 0 19888807 34582528 5069 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 8443 5069 850 747 0 7506 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 33772 KiB
Current children cumulated memory: 20276 KiB
[startup+12.7002 s]
/proc/loadavg: 4.25 4.17 4.08 5/255 240289
/proc/meminfo: memFree=75325140/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=36528 memory=24552 CPUtime=12.63 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 2971 0 0 0 1257 6 0 0 20 0 1 0 19888807 37404672 6138 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 9132 6138 850 747 0 8195 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 36528 KiB
Current children cumulated memory: 24552 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.17 4.08 5/253 240305
/proc/meminfo: memFree=92184236/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=37712 memory=28096 CPUtime=25.39 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 3406 0 0 0 2529 10 0 0 20 0 1 0 19888807 38617088 7024 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 9428 7024 850 747 0 8491 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 37712 KiB
Current children cumulated memory: 28096 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.15 4.08 5/255 240341
/proc/meminfo: memFree=111784852/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=40144 memory=30352 CPUtime=50.82 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 4081 0 0 0 5063 19 0 0 20 0 1 0 19888807 41107456 7588 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 8 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 10036 7588 850 747 0 9099 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 40144 KiB
Current children cumulated memory: 30352 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.08 5/255 240350
/proc/meminfo: memFree=110835456/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=42000 memory=32196 CPUtime=101.41 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 4708 0 0 0 10106 35 0 0 20 0 1 0 19888807 43008000 8049 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 51 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 10500 8049 850 747 0 9563 0
Current children cumulated CPU time: 101.41 s
Current children cumulated vsize: 42000 KiB
Current children cumulated memory: 32196 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.17 4.09 5/256 240362
/proc/meminfo: memFree=109588016/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=43536 memory=37752 CPUtime=161.04 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 5249 0 0 0 16052 52 0 0 20 0 1 0 19888807 44580864 9438 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 66 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 10884 9438 850 747 0 9947 0
Current children cumulated CPU time: 161.04 s
Current children cumulated vsize: 43536 KiB
Current children cumulated memory: 37752 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/259 240377
/proc/meminfo: memFree=108179412/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=46352 memory=39924 CPUtime=220.66 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 5932 0 0 0 21997 69 0 0 20 0 1 0 19888807 47464448 9981 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 84 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 11588 9981 850 747 0 10651 0
Current children cumulated CPU time: 220.66 s
Current children cumulated vsize: 46352 KiB
Current children cumulated memory: 39924 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/259 240389
/proc/meminfo: memFree=106965560/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=47312 memory=40788 CPUtime=279.99 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 6327 0 0 0 27916 83 0 0 20 0 1 0 19888807 48447488 10197 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 131 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 11828 10197 850 747 0 10891 0
Current children cumulated CPU time: 279.99 s
Current children cumulated vsize: 47312 KiB
Current children cumulated memory: 40788 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.09 4/258 240400
/proc/meminfo: memFree=105911532/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=48080 memory=41536 CPUtime=339.4 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 6710 0 0 0 33842 98 0 0 20 0 1 0 19888807 49233920 10384 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 170 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 12020 10384 850 747 0 11083 0
Current children cumulated CPU time: 339.4 s
Current children cumulated vsize: 48080 KiB
Current children cumulated memory: 41536 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/258 240410
/proc/meminfo: memFree=104963008/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=49176 memory=42240 CPUtime=398.84 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 7065 0 0 0 39770 114 0 0 20 0 1 0 19888807 50356224 10560 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 206 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 12294 10560 850 747 0 11357 0
Current children cumulated CPU time: 398.84 s
Current children cumulated vsize: 49176 KiB
Current children cumulated memory: 42240 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/258 240421
/proc/meminfo: memFree=103976384/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=49232 memory=42512 CPUtime=458.33 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 7165 0 0 0 45703 130 0 0 20 0 1 0 19888807 50413568 10628 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 237 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 12308 10628 850 747 0 11371 0
################
# More data... #
################
Current children cumulated memory: 54480 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 241983
/proc/meminfo: memFree=54684476/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=70908 memory=54824 CPUtime=2990.14 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 13550 0 0 0 298257 757 0 0 20 0 1 0 19888807 72609792 13706 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3902 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 17727 13706 850 747 0 16790 0
Current children cumulated CPU time: 2990.14 s
Current children cumulated vsize: 70908 KiB
Current children cumulated memory: 54824 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/256 242161
/proc/meminfo: memFree=53491008/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=70908 memory=54824 CPUtime=3049.66 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 13573 0 0 0 304195 771 0 0 20 0 1 0 19888807 72609792 13706 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3928 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 17727 13706 850 747 0 16790 0
Current children cumulated CPU time: 3049.66 s
Current children cumulated vsize: 70908 KiB
Current children cumulated memory: 54824 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 242171
/proc/meminfo: memFree=52313032/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=70908 memory=54824 CPUtime=3108.66 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 13596 0 0 0 310080 786 0 0 20 0 1 0 19888807 72609792 13706 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4008 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 17727 13706 850 747 0 16790 0
Current children cumulated CPU time: 3108.66 s
Current children cumulated vsize: 70908 KiB
Current children cumulated memory: 54824 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 242184
/proc/meminfo: memFree=50648744/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=70908 memory=54900 CPUtime=3167.79 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 13634 0 0 0 315979 800 0 0 20 0 1 0 19888807 72609792 13725 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4074 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 17727 13725 850 747 0 16790 0
Current children cumulated CPU time: 3167.79 s
Current children cumulated vsize: 70908 KiB
Current children cumulated memory: 54900 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/256 242207
/proc/meminfo: memFree=48399964/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=70908 memory=54900 CPUtime=3226.96 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 13657 0 0 0 321881 815 0 0 20 0 1 0 19888807 72609792 13725 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4136 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 17727 13725 850 747 0 16790 0
Current children cumulated CPU time: 3226.96 s
Current children cumulated vsize: 70908 KiB
Current children cumulated memory: 54900 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/257 242219
/proc/meminfo: memFree=47177320/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=70908 memory=54960 CPUtime=3285.65 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 13679 0 0 0 327733 832 0 0 20 0 1 0 19888807 72609792 13740 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4245 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 17727 13740 850 747 0 16790 0
Current children cumulated CPU time: 3285.65 s
Current children cumulated vsize: 70908 KiB
Current children cumulated memory: 54960 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 242229
/proc/meminfo: memFree=45996236/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=70908 memory=54960 CPUtime=3345.15 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 13703 0 0 0 333666 849 0 0 20 0 1 0 19888807 72609792 13740 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4272 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 17727 13740 850 747 0 16790 0
Current children cumulated CPU time: 3345.15 s
Current children cumulated vsize: 70908 KiB
Current children cumulated memory: 54960 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 242240
/proc/meminfo: memFree=44864236/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=71096 memory=55064 CPUtime=3404.01 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 13757 0 0 0 339537 864 0 0 20 0 1 0 19888807 72802304 13766 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4365 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 17774 13766 850 747 0 16837 0
Current children cumulated CPU time: 3404.01 s
Current children cumulated vsize: 71096 KiB
Current children cumulated memory: 55064 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/257 242251
/proc/meminfo: memFree=43759960/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=71096 memory=55216 CPUtime=3462.4 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 13811 0 0 0 345360 880 0 0 20 0 1 0 19888807 72802304 13804 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4503 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 17774 13804 850 747 0 16837 0
Current children cumulated CPU time: 3462.4 s
Current children cumulated vsize: 71096 KiB
Current children cumulated memory: 55216 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 242261
/proc/meminfo: memFree=42537832/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=71096 memory=55216 CPUtime=3518.81 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 13833 0 0 0 350984 897 0 0 20 0 1 0 19888807 72802304 13804 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4844 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 17774 13804 850 747 0 16837 0
Current children cumulated CPU time: 3518.81 s
Current children cumulated vsize: 71096 KiB
Current children cumulated memory: 55216 KiB
[startup+3642.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/255 242273
/proc/meminfo: memFree=41450296/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=71096 memory=55216 CPUtime=3577.63 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 13856 0 0 0 356853 910 0 0 20 0 1 0 19888807 72802304 13804 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4939 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 17774 13804 850 747 0 16837 0
Current children cumulated CPU time: 3577.63 s
Current children cumulated vsize: 71096 KiB
Current children cumulated memory: 55216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3664.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 242324
/proc/meminfo: memFree=61337004/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=71096 memory=55216 CPUtime=3600.06 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 13858 0 0 0 359091 915 0 0 20 0 1 0 19888807 72802304 13804 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4939 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 17774 13804 850 747 0 16837 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 71096 KiB
Current children cumulated memory: 55216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3665.17 s]
# the end of solver process 240287 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3590.91 s, system=9.17119 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3665 s]*
/proc/loadavg: 4.10 4.11 4.09 4/256 242324
/proc/meminfo: memFree=61335744/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=40900 memory=36452 CPUtime=3600.07 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) R 240284 240287 237993 0 -1 4194304 13858 0 0 0 359091 916 0 0 20 0 1 0 19888807 41881600 9113 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 2 0 0 4967 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 10225 9113 850 747 0 9288 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 40900 KiB
Current children cumulated memory: 36452 KiB
[startup+3665.11 s]
/proc/loadavg: 4.10 4.11 4.09 4/256 242324
/proc/meminfo: memFree=61335744/131524600 swapFree=131063756/131071996
[pid=240287] ppid=240284 vsize=40900 memory=36452 CPUtime=3600.07 cores=0,2
/proc/240287/stat : 240287 (Exact_veripb2_n) D 240284 240287 237993 0 -1 4194304 13858 0 0 0 359091 916 0 0 20 0 1 0 19888807 41881600 9113 134679101440 4194304 7250417 140721897325296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4983 0 0 7950792 8015128 21413888 140721897333562 140721897333851 140721897333851 140721897340862 0
/proc/240287/statm: 10225 9113 850 747 0 9288 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 40900 KiB
Current children cumulated memory: 36452 KiB
Child status: 10
Real time (s): 3665.17
CPU time (s): 3600.08
CPU user time (s): 3590.91
CPU system time (s): 9.17119
CPU usage (%): 98.2243
Max. virtual memory (cumulated for all children) (KiB): 71096
Max. memory (cumulated for all children) (KiB): 55216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.91
system time used= 9.17119
maximum resident set size= 70024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13859
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21228456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1879
involuntary context switches= 28083
# summary of solver processes directly reported to runsolver:
# pid: 240287
# total CPU time (s): 3600.08
# total CPU user time (s): 3590.91
# total CPU system time (s): 9.17119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.10134 second user time and 16.9726 second system time
The end
Begin job on nodeC027 at 2024-07-24 17:06:45 IDJOB=4440988 IDBENCH=158488 IDSOLVER=3080 FILE ID=nodeC027/4440988-1721833605 RUNJOBID= nodeC027-1721829985-238003 SLURM_JOB_ID= 7891502 Free space on /tmp= 890032 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_3pm-0334-0334.lin.opb COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440988-1721833605/watcher-4440988-1721833605 -o /tmp/evaluation-result-4440988-1721833605/solver-4440988-1721833605 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721829985-238003 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440988-1721833605 --seed=1627094014 HOME/instance-4440988-1721833605.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c86a302e56842e7d56f33820d48ef5a5 RANDOM SEED=1627094014 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3625.194 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 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 : 3688.676 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 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 : 3650.998 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 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.372 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 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 : 3660.423 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 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 : 3688.669 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 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 : 3600.457 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 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.142 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 75714172 kB MemAvailable: 112361048 kB Buffers: 253576 kB Cached: 37053852 kB SwapCached: 472 kB Active: 2481256 kB Inactive: 52362068 kB Active(anon): 1688 kB Inactive(anon): 17587696 kB Active(file): 2479568 kB Inactive(file): 34774372 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131063756 kB Dirty: 144380 kB Writeback: 0 kB AnonPages: 17535028 kB Mapped: 125596 kB Shmem: 53416 kB KReclaimable: 454344 kB Slab: 580920 kB SReclaimable: 454344 kB SUnreclaim: 126576 kB KernelStack: 4096 kB PageTables: 46000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 20616484 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 9338880 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 359124 kB DirectMap2M: 40308736 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890064 MiB End job on nodeC027 at 2024-07-24 18:07:51