Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | OPT | 8691 | 41.9621 | 42.1004 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
| MD5SUM | 0aad002c81e214aa0b66948d5567e1f0 |
| 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 | 8691 |
| Best CPU time to get the best result obtained on this benchmark | 0.113538 |
| 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 | 548 |
| Total number of constraints | 166 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 126 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 143 |
| Number of terms in the objective function | 416 |
| Biggest coefficient in the objective function | 11000 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 96797 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 11000 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 96797 |
| Number of bits of the biggest sum of numbers | 17 |
| 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.02 o 30665 0.00/0.04 o 14032 0.00/0.04 o 13860 0.00/0.04 o 13423 0.00/0.04 o 13403 0.00/0.04 o 13138 0.00/0.05 o 13086 0.00/0.05 o 13021 0.00/0.05 o 13011 0.00/0.05 o 12969 0.00/0.06 o 12928 0.00/0.06 o 12915 0.00/0.07 o 12889 0.00/0.08 o 12880 0.00/0.08 o 12865 0.00/0.08 o 12852 0.00/0.08 o 12824 0.00/0.09 o 12818 0.00/0.09 o 12805 0.00/0.10 o 12795 0.00/0.10 o 12789 0.10/0.13 o 12465 0.10/0.14 o 12452 0.10/0.16 o 12423 0.10/0.18 o 12360 0.10/0.19 o 12350 0.10/0.19 o 12337 0.10/0.22 o 11926 0.22/0.22 o 11709 0.22/0.22 o 11493 0.22/0.23 o 11474 0.22/0.23 o 11310 0.69/0.72 o 11308 0.69/0.79 o 11209 0.88/0.96 o 11101 0.99/1.01 o 11085 1.18/1.23 o 11083 1.78/1.83 o 11062 1.88/1.98 o 10904 2.58/2.61 o 10896 2.99/3.02 o 10883 2.99/3.03 o 10874 2.99/3.03 o 10863 2.99/3.04 o 10860 2.99/3.06 o 10820 2.99/3.08 o 10700 3.47/3.50 o 10698 3.99/4.09 o 10697 4.09/4.13 o 10696 4.17/4.21 o 10679 4.17/4.28 o 10652 4.27/4.39 o 10650 4.37/4.41 o 10637 4.57/4.61 o 10602 4.87/5.00 o 10601 4.98/5.01 o 10591 4.98/5.03 o 10577 4.98/5.04 o 10562 4.98/5.06 o 10552 5.08/5.13 o 10543 5.56/5.61 o 10539 5.76/5.82 o 10538 5.76/5.87 o 10522 5.87/5.99 o 10516 5.87/6.00 o 10506 5.98/6.05 o 10497 6.37/6.47 o 10403 6.37/6.50 o 10369 7.66/7.71 o 10366 7.66/7.72 o 10357 7.76/7.81 o 10356 7.76/7.86 o 10339 7.86/7.93 o 10326 8.55/8.68 o 10273 9.56/9.67 o 10255 10.25/10.31 o 10216 10.96/11.03 o 10179 10.96/11.04 o 10078 11.44/11.58 o 10072 11.54/11.60 o 10062 11.54/11.62 o 10049 12.05/12.15 o 10041 12.05/12.17 o 10031 13.74/13.80 o 10027 13.84/13.97 o 10011 13.84/14.00 o 10002 15.05/15.13 o 9992 17.94/18.03 o 9980 19.12/19.20 o 9970 19.12/19.20 o 9959 19.12/19.21 o 9947 19.12/19.24 o 9937 19.12/19.26 o 9931 19.12/19.26 o 9918 19.22/19.31 o 9909 19.22/19.32 o 9890 19.32/19.48 o 9871 19.32/19.49 o 9861 19.32/19.49 o 9859 19.42/19.50 o 9853 19.42/19.50 o 9842 19.42/19.51 o 9830 19.42/19.52 o 9817 19.52/19.67 o 9809 19.62/19.73 o 9807 19.62/19.78 o 9804 19.73/19.83 o 9782 19.73/19.87 o 9780 19.83/19.91 o 9779 20.42/20.52 o 9772 20.42/20.55 o 9768 20.42/20.56 o 9748 20.52/20.61 o 9742 20.52/20.61 o 9731 20.52/20.62 o 9718 21.22/21.38 o 9716 21.22/21.38 o 9705 21.32/21.41 o 9692 21.62/21.78 o 9648 21.93/22.10 o 9616 23.31/23.41 o 9583 23.41/23.51 o 9572 23.41/23.52 o 9558 23.41/23.53 o 9547 23.41/23.57 o 9537 27.59/27.77 o 9535 27.91/28.10 o 9529 28.01/28.11 o 9524 28.01/28.13 o 9510 28.01/28.16 o 9493 28.01/28.19 o 9480 28.59/28.75 o 9436 29.29/29.48 o 9426 32.00/32.19 o 9270 32.99/33.13 o 9267 33.28/33.43 o 9260 33.38/33.54 o 9258 33.99/34.19 o 9250 34.08/34.23 o 9213 34.37/34.52 o 9208 34.37/34.55 o 9199 34.47/34.65 o 9193 34.47/34.69 o 9184 34.78/34.91 o 9169 35.28/35.46 o 9167 35.28/35.47 o 9162 37.46/37.69 o 9161 37.56/37.70 o 9156 37.87/38.07 o 9146 37.87/38.10 o 9136 38.76/38.97 o 8691 41.87/42.09 s OPTIMUM FOUND 41.87/42.09 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 -x433 -x434 -x435 -x436 -x437 x438 -x439 x440 -x441 -x442 -x443 -x444 x445 -x446 x447 x448 -x449 -x450 x451 x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 x509 x510 x511 x512 x513 -x514 -x515 x516 -x517 x518 x519 x520 -x521 x522 x523 x524 -x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 -x535 -x536 x537 x538 x539 x540 -x541 x542 x543 -x544 -x545 x546 -x547 x548
OK 8691
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: 64059 MiB (56384 MiB free)
memory of node 1: 64510 MiB (62328 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432967-1721070308/watcher-4432967-1721070308 -o /tmp/evaluation-result-4432967-1721070308/solver-4432967-1721070308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721063098-811458 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=474286331 HOME/instance-4432967-1721070308.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=815675, runsolver pid=815670
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.04 4.14 4.17 5/238 815686
/proc/meminfo: memFree=121562688/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=28564 memory=7044 CPUtime=0.1 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 771 0 0 0 10 0 0 0 20 0 1 0 159189556 29249536 1761 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 7141 1761 1140 1005 0 5904 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28564 KiB
Current children cumulated memory: 7044 KiB
[startup+0.213115 s]*
/proc/loadavg: 4.04 4.14 4.17 5/244 815696
/proc/meminfo: memFree=121559832/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=28944 memory=7756 CPUtime=0.22 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 929 0 0 0 21 1 0 0 20 0 1 0 159189556 29638656 1939 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 7236 1939 1140 1005 0 5999 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 7756 KiB
[startup+0.313254 s]*
/proc/loadavg: 4.04 4.14 4.17 6/244 815696
/proc/meminfo: memFree=121549716/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=29064 memory=10004 CPUtime=0.31 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 1010 0 0 0 30 1 0 0 20 0 1 0 159189556 29761536 2501 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 7266 2501 1140 1005 0 6029 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29064 KiB
Current children cumulated memory: 10004 KiB
[startup+0.700258 s]
/proc/loadavg: 4.04 4.14 4.17 5/244 815696
/proc/meminfo: memFree=121546988/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=29668 memory=10704 CPUtime=0.69 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 1146 0 0 0 67 2 0 0 20 0 1 0 159189556 30380032 2676 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 7417 2676 1140 1005 0 6180 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29668 KiB
Current children cumulated memory: 10704 KiB
[startup+1.50029 s]
/proc/loadavg: 4.04 4.14 4.17 5/244 815696
/proc/meminfo: memFree=121544804/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=31132 memory=12124 CPUtime=1.48 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 1517 0 0 0 146 2 0 0 20 0 1 0 159189556 31879168 3031 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 7783 3031 1140 1005 0 6546 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31132 KiB
Current children cumulated memory: 12124 KiB
[startup+3.11261 s]
/proc/loadavg: 4.04 4.13 4.17 5/242 815756
/proc/meminfo: memFree=126313900/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=34632 memory=19052 CPUtime=3.09 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 2269 0 0 0 305 4 0 0 20 0 1 0 159189556 35463168 4763 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 8658 4763 1140 1005 0 7421 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 34632 KiB
Current children cumulated memory: 19052 KiB
[startup+6.30026 s]
/proc/loadavg: 4.04 4.13 4.17 4/242 815834
/proc/meminfo: memFree=126078596/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=38940 memory=25044 CPUtime=6.27 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 3247 0 0 0 621 6 0 0 20 0 1 0 159189556 39874560 6261 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 9735 6261 1140 1005 0 8498 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 38940 KiB
Current children cumulated memory: 25044 KiB
[startup+12.7003 s]
/proc/loadavg: 4.04 4.13 4.17 5/242 815881
/proc/meminfo: memFree=125902600/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=57824 memory=41192 CPUtime=12.65 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 4945 0 0 0 1256 9 0 0 20 0 1 0 159189556 59211776 10298 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 14456 10298 1140 1005 0 13219 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57824 KiB
Current children cumulated memory: 41192 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.14 4.17 5/242 815884
/proc/meminfo: memFree=125735656/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=63248 memory=46124 CPUtime=25.41 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 6180 0 0 0 2526 15 0 0 20 0 1 0 159189556 64765952 11531 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 15812 11531 1140 1005 0 14575 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 63248 KiB
Current children cumulated memory: 46124 KiB
[startup+42.1003 s]
# the end of solver process 815675 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=41.7259 s, system=0.236139 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 4.10 4.14 4.17 5/242 815884
/proc/meminfo: memFree=125735656/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=63248 memory=46124 CPUtime=25.51 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 6180 0 0 0 2536 15 0 0 20 0 1 0 159189556 64765952 11531 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 15812 11531 1140 1005 0 14575 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 63248 KiB
Current children cumulated memory: 46124 KiB
[startup+32.0002 s]*
/proc/loadavg: 4.09 4.14 4.17 5/242 815885
/proc/meminfo: memFree=125692268/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=64840 memory=47316 CPUtime=31.9 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 6522 0 0 0 3172 18 0 0 20 0 1 0 159189556 66396160 11829 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 16210 11829 1140 1005 0 14973 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 64840 KiB
Current children cumulated memory: 47316 KiB
[startup+38.4002 s]
/proc/loadavg: 4.15 4.15 4.17 5/242 815885
/proc/meminfo: memFree=125649312/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=65228 memory=47556 CPUtime=38.26 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 6641 0 0 0 3805 21 0 0 20 0 1 0 159189556 66793472 11889 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 16307 11889 1140 1005 0 15070 0
Current children cumulated CPU time: 38.26 s
Current children cumulated vsize: 65228 KiB
Current children cumulated memory: 47556 KiB
[startup+40.0002 s]*
/proc/loadavg: 4.15 4.15 4.17 5/242 815887
/proc/meminfo: memFree=125646664/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=65228 memory=47556 CPUtime=39.87 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 6641 0 0 0 3965 22 0 0 20 0 1 0 159189556 66793472 11889 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 16307 11889 1140 1005 0 15070 0
Current children cumulated CPU time: 39.87 s
Current children cumulated vsize: 65228 KiB
Current children cumulated memory: 47556 KiB
[startup+40.8003 s]
/proc/loadavg: 4.15 4.15 4.17 5/242 815887
/proc/meminfo: memFree=125646664/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=65228 memory=47556 CPUtime=40.65 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 6641 0 0 0 4043 22 0 0 20 0 1 0 159189556 66793472 11889 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 16307 11889 1140 1005 0 15070 0
Current children cumulated CPU time: 40.65 s
Current children cumulated vsize: 65228 KiB
Current children cumulated memory: 47556 KiB
[startup+41.6003 s]
/proc/loadavg: 4.15 4.15 4.17 5/242 815887
/proc/meminfo: memFree=125640772/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=65228 memory=47556 CPUtime=41.46 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 6641 0 0 0 4123 23 0 0 20 0 1 0 159189556 66793472 11889 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 16307 11889 1140 1005 0 15070 0
Current children cumulated CPU time: 41.46 s
Current children cumulated vsize: 65228 KiB
Current children cumulated memory: 47556 KiB
[startup+42.0003 s]*
/proc/loadavg: 4.15 4.15 4.17 5/242 815887
/proc/meminfo: memFree=125633832/131655788 swapFree=131071996/131071996
[pid=815675] ppid=815670 vsize=65228 memory=47556 CPUtime=41.87 cores=1,3
/proc/815675/stat : 815675 (Exact) R 815670 815675 811446 0 -1 4194304 6641 0 0 0 4164 23 0 0 20 0 1 0 159189556 66793472 11889 134679101440 4194304 8309489 140722722820448 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 45817856 140722722825151 140722722825320 140722722825320 140722722832335 0
/proc/815675/statm: 16307 11889 1140 1005 0 15070 0
Current children cumulated CPU time: 41.87 s
Current children cumulated vsize: 65228 KiB
Current children cumulated memory: 47556 KiB
Child status: 30
Real time (s): 42.1004
CPU time (s): 41.9621
CPU user time (s): 41.7259
CPU system time (s): 0.236139
CPU usage (%): 99.6714
Max. virtual memory (cumulated for all children) (KiB): 65228
Max. memory (cumulated for all children) (KiB): 47556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.7259
system time used= 0.236139
maximum resident set size= 55920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6643
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= 2
involuntary context switches= 59
# summary of solver processes directly reported to runsolver:
# pid: 815675
# total CPU time (s): 41.9621
# total CPU user time (s): 41.7259
# total CPU system time (s): 0.236139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.234224 second user time and 0.455962 second system time
The end
Begin job on nodeC006 at 2024-07-15 21:05:20 IDJOB=4432967 IDBENCH=146905 IDSOLVER=3060 FILE ID=nodeC006/4432967-1721070308 RUNJOBID= nodeC006-1721063098-811458 SLURM_JOB_ID= 7505517 Free space on /tmp= 723752 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432967-1721070308/watcher-4432967-1721070308 -o /tmp/evaluation-result-4432967-1721070308/solver-4432967-1721070308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721063098-811458 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=474286331 HOME/instance-4432967-1721070308.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0 RANDOM SEED=474286331 nodeC006.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 : 0xb00001f cpu MHz : 3615.886 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94 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 : 0xb00001f cpu MHz : 1197.251 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26 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 : 0xb00001f cpu MHz : 1197.429 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94 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 : 0xb00001f cpu MHz : 1197.262 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26 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 : 0xb00001f cpu MHz : 3667.842 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94 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 : 0xb00001f cpu MHz : 1197.364 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26 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 : 0xb00001f cpu MHz : 1197.477 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.94 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 : 0xb00001f cpu MHz : 1197.251 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 121565676 kB MemAvailable: 125040424 kB Buffers: 379240 kB Cached: 3893740 kB SwapCached: 0 kB Active: 638852 kB Inactive: 8824008 kB Active(anon): 1452 kB Inactive(anon): 5225804 kB Active(file): 637400 kB Inactive(file): 3598204 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19384 kB Writeback: 0 kB AnonPages: 5189620 kB Mapped: 112628 kB Shmem: 37704 kB KReclaimable: 158352 kB Slab: 262372 kB SReclaimable: 158352 kB SUnreclaim: 104020 kB KernelStack: 3876 kB PageTables: 19400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 6657456 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51520 kB HardwareCorrupted: 0 kB AnonHugePages: 2244608 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: 219976 kB DirectMap2M: 27996160 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723744 MiB End job on nodeC006 at 2024-07-15 21:06:03