Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-LSMabP+Exact 2024-07-11 | SAT | 8725 | 3586.09 | 3596.02 |
| 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 |
3586.05/3596.02 o 45710 3586.05/3596.02 o 45710 3586.05/3596.02 o 45559 3586.05/3596.02 o 45538 3586.05/3596.02 o 45418 3586.05/3596.02 o 45187 3586.05/3596.02 o 44963 3586.05/3596.02 o 44823 3586.05/3596.02 o 44335 3586.05/3596.02 o 44305 3586.05/3596.02 o 44121 3586.05/3596.02 o 44103 3586.05/3596.02 o 44063 3586.05/3596.02 o 43788 3586.05/3596.02 o 42569 3586.05/3596.02 o 42539 3586.05/3596.02 o 42534 3586.05/3596.02 o 42524 3586.05/3596.02 o 42472 3586.05/3596.02 o 42383 3586.05/3596.02 o 42365 3586.05/3596.02 o 42357 3586.05/3596.02 o 42331 3586.05/3596.02 o 42288 3586.05/3596.02 o 42081 3586.05/3596.02 o 42031 3586.05/3596.02 o 42020 3586.05/3596.02 o 42003 3586.05/3596.02 o 41863 3586.05/3596.02 o 41850 3586.05/3596.02 o 41817 3586.05/3596.02 o 41541 3586.05/3596.02 o 41499 3586.05/3596.02 o 41408 3586.05/3596.02 o 39841 3586.05/3596.02 o 39832 3586.05/3596.02 o 39801 3586.05/3596.02 o 39601 3586.05/3596.02 o 39572 3586.05/3596.02 o 39562 3586.05/3596.02 o 39555 3586.05/3596.02 o 39297 3586.05/3596.02 o 39241 3586.05/3596.02 o 14616 3586.05/3596.02 o 14590 3586.05/3596.02 o 14512 3586.05/3596.02 o 14502 3586.05/3596.02 o 14327 3586.05/3596.02 o 14181 3586.05/3596.02 o 14168 3586.05/3596.02 o 13743 3586.05/3596.02 o 13728 3586.05/3596.02 o 13709 3586.05/3596.02 o 13623 3586.05/3596.02 o 13613 3586.05/3596.02 o 13492 3586.05/3596.02 o 13482 3586.05/3596.02 o 13473 3586.05/3596.02 o 13448 3586.05/3596.02 o 13441 3586.05/3596.02 o 13430 3586.05/3596.02 o 13420 3586.05/3596.02 o 13418 3586.05/3596.02 o 13407 3586.05/3596.02 o 13398 3586.05/3596.02 o 13393 3586.05/3596.02 o 13385 3586.05/3596.02 o 13375 3586.05/3596.02 o 13362 3586.05/3596.02 o 13233 3586.05/3596.02 o 13178 3586.05/3596.02 o 13177 3586.05/3596.02 o 13167 3586.05/3596.02 o 13154 3586.05/3596.02 o 13128 3586.05/3596.02 o 13050 3586.05/3596.02 o 13035 3586.05/3596.02 o 13025 3586.05/3596.02 o 13021 3586.05/3596.02 o 12569 3586.05/3596.02 o 12300 3586.05/3596.02 o 12290 3586.05/3596.02 o 12257 3586.05/3596.02 o 12244 3586.05/3596.02 o 12233 3586.05/3596.02 o 12227 3586.05/3596.02 o 12149 3586.05/3596.02 o 12122 3586.05/3596.02 o 12002 3586.05/3596.02 o 11851 3586.05/3596.02 o 11821 3586.05/3596.02 o 11784 3586.05/3596.02 o 11713 3586.05/3596.02 o 11707 3586.05/3596.02 o 11696 3586.05/3596.02 o 11694 3586.05/3596.02 o 11683 3586.05/3596.02 o 11678 3586.05/3596.02 o 11668 3586.05/3596.02 o 11660 3586.05/3596.02 o 11580 3586.05/3596.02 o 11550 3586.05/3596.02 o 11536 3586.05/3596.02 o 11521 3586.05/3596.02 o 11511 3586.05/3596.02 o 11506 3586.05/3596.02 o 11504 3586.05/3596.02 o 11493 3586.05/3596.02 o 11301 3586.05/3596.02 o 11290 3586.05/3596.02 o 11259 3586.05/3596.02 o 11246 3586.05/3596.02 o 11227 3586.05/3596.02 o 11217 3586.05/3596.02 o 11014 3586.05/3596.02 o 11008 3586.05/3596.02 o 10967 3586.05/3596.02 o 10957 3586.05/3596.02 o 10947 3586.05/3596.02 o 10945 3586.05/3596.02 o 10934 3586.05/3596.02 o 10929 3586.05/3596.02 o 10923 3586.05/3596.02 o 10910 3586.05/3596.02 o 10900 3586.05/3596.02 o 10887 3586.05/3596.02 o 10877 3586.05/3596.02 o 10858 3586.05/3596.02 o 10852 3586.05/3596.02 o 10840 3586.05/3596.02 o 10829 3586.05/3596.02 o 10819 3586.05/3596.02 o 10808 3586.05/3596.02 o 10584 3586.05/3596.02 o 10410 3586.05/3596.02 o 10321 3586.05/3596.02 o 10295 3586.05/3596.02 o 10280 3586.05/3596.02 o 10261 3586.05/3596.02 o 10219 3586.05/3596.02 o 9672 3586.05/3596.02 o 9671 3586.05/3596.02 o 9668 3586.05/3596.02 o 9667 3586.05/3596.02 o 9653 3586.05/3596.02 o 9641 3586.05/3596.02 o 9633 3586.05/3596.02 o 9621 3586.05/3596.02 o 9613 3586.05/3596.02 o 9602 3586.05/3596.02 o 9599 3586.05/3596.02 o 9589 3586.05/3596.02 o 9585 3586.05/3596.02 o 9579 3586.05/3596.02 o 9540 3586.05/3596.02 o 9530 3586.05/3596.02 o 9429 3586.05/3596.02 o 9396 3586.05/3596.02 o 9395 3586.05/3596.02 o 9386 3586.05/3596.02 o 9373 3586.05/3596.02 o 9347 3586.05/3596.02 o 9319 3586.05/3596.02 o 9313 3586.05/3596.02 o 9296 3586.05/3596.02 o 9276 3586.05/3596.02 o 9270 3586.05/3596.02 o 9266 3586.05/3596.02 o 9249 3586.05/3596.02 o 9223 3586.05/3596.02 o 9220 3586.05/3596.02 o 9210 3586.05/3596.02 o 9201 3586.05/3596.02 o 9188 3586.05/3596.02 o 9178 3586.05/3596.02 o 9171 3586.05/3596.02 o 9167 3586.05/3596.02 o 9161 3586.05/3596.02 o 9135 3586.05/3596.02 o 9077 3586.05/3596.02 o 9074 3586.05/3596.02 o 9059 3586.05/3596.02 o 9037 3586.05/3596.02 o 9012 3586.05/3596.02 o 8991 3586.05/3596.02 o 8985 3586.05/3596.02 o 8964 3586.05/3596.02 o 8953 3586.05/3596.02 o 8928 3586.05/3596.02 o 8919 3586.05/3596.02 o 8912 3586.05/3596.02 o 8907 3586.05/3596.02 o 8900 3586.05/3596.02 o 8890 3586.05/3596.02 o 8821 3586.05/3596.02 o 8808 3586.05/3596.02 o 8789 3586.05/3596.02 o 8759 3586.05/3596.02 o 8753 3586.05/3596.02 o 8750 3586.05/3596.02 o 8725 3586.05/3596.02 c Program interrupted by user. 3586.05/3596.02 s SATISFIABLE 3586.05/3596.02 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 8725
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 (63017 MiB free)
memory of node 1: 64473 MiB (63333 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437400-1722951805/watcher-4437400-1722951805 -o /tmp/evaluation-result-4437400-1722951805/solver-4437400-1722951805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722948202-337871 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437400-1722951805.opb 3600 HOME 31000
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=340052, runsolver pid=340049
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.15 4.15 4.09 4/257 340056
/proc/meminfo: memFree=129378400/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 61782771 10170368 671 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 671 591 264 0 134 0
[pid=340055] ppid=340052 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/340055/stat : 340055 (timeout) S 340052 340055 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782771 8867840 244 134679101440 94519832178688 94519832213704 140724541344032 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94519834311120 94519834313252 94519855136768 140724541350947 140724541351069 140724541351069 140724541358055 0
/proc/340055/statm: 2165 244 220 9 0 87 0
[pid=340056] ppid=340055 vsize=19792 memory=7668 CPUtime=0.09 cores=0,2
/proc/340056/stat : 340056 (LS-MabP) R 340055 340055 337861 0 -1 4194304 371 0 0 0 9 0 0 0 20 0 1 0 61782771 20267008 1917 134679101440 4194304 15467897 140725856413024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48762880 140725856420919 140725856421028 140725856421028 140725856428014 0
/proc/340056/statm: 4948 1917 1153 2753 0 1601 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 11328 KiB
[startup+0.205474 s]*
/proc/loadavg: 4.15 4.15 4.09 4/257 340056
/proc/meminfo: memFree=129377168/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 61782771 10170368 671 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 671 591 264 0 134 0
[pid=340055] ppid=340052 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/340055/stat : 340055 (timeout) S 340052 340055 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782771 8867840 244 134679101440 94519832178688 94519832213704 140724541344032 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94519834311120 94519834313252 94519855136768 140724541350947 140724541351069 140724541351069 140724541358055 0
/proc/340055/statm: 2165 244 220 9 0 87 0
[pid=340056] ppid=340055 vsize=19792 memory=7668 CPUtime=0.2 cores=0,2
/proc/340056/stat : 340056 (LS-MabP) R 340055 340055 337861 0 -1 4194304 371 0 0 0 19 1 0 0 20 0 1 0 61782771 20267008 1917 134679101440 4194304 15467897 140725856413024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48762880 140725856420919 140725856421028 140725856421028 140725856428014 0
/proc/340056/statm: 4948 1917 1153 2753 0 1601 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 11328 KiB
[startup+0.305142 s]*
/proc/loadavg: 4.15 4.15 4.09 4/257 340056
/proc/meminfo: memFree=129374084/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 61782771 10170368 671 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 671 591 264 0 134 0
[pid=340055] ppid=340052 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/340055/stat : 340055 (timeout) S 340052 340055 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782771 8867840 244 134679101440 94519832178688 94519832213704 140724541344032 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94519834311120 94519834313252 94519855136768 140724541350947 140724541351069 140724541351069 140724541358055 0
/proc/340055/statm: 2165 244 220 9 0 87 0
[pid=340056] ppid=340055 vsize=19792 memory=7668 CPUtime=0.29 cores=0,2
/proc/340056/stat : 340056 (LS-MabP) R 340055 340055 337861 0 -1 4194304 371 0 0 0 28 1 0 0 20 0 1 0 61782771 20267008 1917 134679101440 4194304 15467897 140725856413024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48762880 140725856420919 140725856421028 140725856421028 140725856428014 0
/proc/340056/statm: 4948 1917 1153 2753 0 1601 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 11328 KiB
[startup+0.700239 s]
/proc/loadavg: 4.15 4.15 4.09 4/257 340056
/proc/meminfo: memFree=129372264/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 61782771 10170368 671 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 671 591 264 0 134 0
[pid=340055] ppid=340052 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/340055/stat : 340055 (timeout) S 340052 340055 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782771 8867840 244 134679101440 94519832178688 94519832213704 140724541344032 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94519834311120 94519834313252 94519855136768 140724541350947 140724541351069 140724541351069 140724541358055 0
/proc/340055/statm: 2165 244 220 9 0 87 0
[pid=340056] ppid=340055 vsize=19792 memory=7668 CPUtime=0.68 cores=0,2
/proc/340056/stat : 340056 (LS-MabP) R 340055 340055 337861 0 -1 4194304 371 0 0 0 64 4 0 0 20 0 1 0 61782771 20267008 1917 134679101440 4194304 15467897 140725856413024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48762880 140725856420919 140725856421028 140725856421028 140725856428014 0
/proc/340056/statm: 4948 1917 1153 2753 0 1601 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 11328 KiB
[startup+1.50025 s]
/proc/loadavg: 4.06 4.13 4.09 4/257 340056
/proc/meminfo: memFree=129364560/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 61782771 10170368 671 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 671 591 264 0 134 0
[pid=340055] ppid=340052 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/340055/stat : 340055 (timeout) S 340052 340055 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782771 8867840 244 134679101440 94519832178688 94519832213704 140724541344032 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94519834311120 94519834313252 94519855136768 140724541350947 140724541351069 140724541351069 140724541358055 0
/proc/340055/statm: 2165 244 220 9 0 87 0
[pid=340056] ppid=340055 vsize=19792 memory=7668 CPUtime=1.49 cores=0,2
/proc/340056/stat : 340056 (LS-MabP) R 340055 340055 337861 0 -1 4194304 371 0 0 0 139 10 0 0 20 0 1 0 61782771 20267008 1917 134679101440 4194304 15467897 140725856413024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48762880 140725856420919 140725856421028 140725856421028 140725856428014 0
/proc/340056/statm: 4948 1917 1153 2753 0 1601 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 11328 KiB
[startup+3.10551 s]
/proc/loadavg: 4.06 4.13 4.09 5/265 340074
/proc/meminfo: memFree=129300152/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 61782771 10170368 671 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 671 591 264 0 134 0
[pid=340055] ppid=340052 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/340055/stat : 340055 (timeout) S 340052 340055 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782771 8867840 244 134679101440 94519832178688 94519832213704 140724541344032 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94519834311120 94519834313252 94519855136768 140724541350947 140724541351069 140724541351069 140724541358055 0
/proc/340055/statm: 2165 244 220 9 0 87 0
[pid=340056] ppid=340055 vsize=19792 memory=7668 CPUtime=3.08 cores=0,2
/proc/340056/stat : 340056 (LS-MabP) R 340055 340055 337861 0 -1 4194304 372 0 0 0 287 21 0 0 20 0 1 0 61782771 20267008 1917 134679101440 4194304 15467897 140725856413024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48762880 140725856420919 140725856421028 140725856421028 140725856428014 0
/proc/340056/statm: 4948 1917 1153 2753 0 1601 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 11328 KiB
[startup+6.30027 s]
/proc/loadavg: 4.06 4.13 4.09 5/265 340074
/proc/meminfo: memFree=129271916/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 61782771 10170368 671 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 671 591 264 0 134 0
[pid=340055] ppid=340052 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/340055/stat : 340055 (timeout) S 340052 340055 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782771 8867840 244 134679101440 94519832178688 94519832213704 140724541344032 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94519834311120 94519834313252 94519855136768 140724541350947 140724541351069 140724541351069 140724541358055 0
/proc/340055/statm: 2165 244 220 9 0 87 0
[pid=340056] ppid=340055 vsize=19792 memory=7668 CPUtime=6.27 cores=0,2
/proc/340056/stat : 340056 (LS-MabP) R 340055 340055 337861 0 -1 4194304 372 0 0 0 582 45 0 0 20 0 1 0 61782771 20267008 1917 134679101440 4194304 15467897 140725856413024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48762880 140725856420919 140725856421028 140725856421028 140725856428014 0
/proc/340056/statm: 4948 1917 1153 2753 0 1601 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 11328 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.13 4.09 5/265 340075
/proc/meminfo: memFree=129230544/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 61782771 10170368 671 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 671 591 264 0 134 0
[pid=340055] ppid=340052 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/340055/stat : 340055 (timeout) S 340052 340055 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782771 8867840 244 134679101440 94519832178688 94519832213704 140724541344032 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94519834311120 94519834313252 94519855136768 140724541350947 140724541351069 140724541351069 140724541358055 0
/proc/340055/statm: 2165 244 220 9 0 87 0
[pid=340056] ppid=340055 vsize=19792 memory=7668 CPUtime=12.65 cores=0,2
/proc/340056/stat : 340056 (LS-MabP) R 340055 340055 337861 0 -1 4194304 373 0 0 0 1176 89 0 0 20 0 1 0 61782771 20267008 1917 134679101440 4194304 15467897 140725856413024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48762880 140725856420919 140725856421028 140725856421028 140725856428014 0
/proc/340056/statm: 4948 1917 1153 2753 0 1601 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 11328 KiB
[startup+25.5003 s]
/proc/loadavg: 4.04 4.12 4.09 5/265 340077
/proc/meminfo: memFree=129116296/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 61782771 10170368 671 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 671 591 264 0 134 0
[pid=340055] ppid=340052 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/340055/stat : 340055 (timeout) S 340052 340055 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782771 8867840 244 134679101440 94519832178688 94519832213704 140724541344032 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94519834311120 94519834313252 94519855136768 140724541350947 140724541351069 140724541351069 140724541358055 0
/proc/340055/statm: 2165 244 220 9 0 87 0
[pid=340056] ppid=340055 vsize=19792 memory=7668 CPUtime=25.41 cores=0,2
/proc/340056/stat : 340056 (LS-MabP) R 340055 340055 337861 0 -1 4194304 374 0 0 0 2361 180 0 0 20 0 1 0 61782771 20267008 1917 134679101440 4194304 15467897 140725856413024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48762880 140725856420919 140725856421028 140725856421028 140725856428014 0
/proc/340056/statm: 4948 1917 1153 2753 0 1601 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 11328 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.13 4.09 5/265 340082
/proc/meminfo: memFree=128938696/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 61782771 10170368 671 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 671 591 264 0 134 0
[pid=340055] ppid=340052 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/340055/stat : 340055 (timeout) S 340052 340055 337861 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 61782771 8867840 244 134679101440 94519832178688 94519832213704 140724541344032 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94519834311120 94519834313252 94519855136768 140724541350947 140724541351069 140724541351069 140724541358055 0
/proc/340055/statm: 2165 244 220 9 0 87 0
[pid=340056] ppid=340055 vsize=19792 memory=7668 CPUtime=50.95 cores=0,2
/proc/340056/stat : 340056 (LS-MabP) R 340055 340055 337861 0 -1 4194304 375 0 0 0 4732 363 0 0 20 0 1 0 61782771 20267008 1917 134679101440 4194304 15467897 140725856413024 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 48762880 140725856420919 140725856421028 140725856421028 140725856428014 0
/proc/340056/statm: 4948 1917 1153 2753 0 1601 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 38384 KiB
Current children cumulated memory: 11328 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/264 340091
/proc/meminfo: memFree=128748848/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 238 98 0 0 0 0 0 0 20 0 1 0 61782771 10170368 671 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
################
# More data... #
################
/proc/341078/statm: 14651 12807 804 745 0 13716 0
Current children cumulated CPU time: 3392.86 s
Current children cumulated vsize: 77196 KiB
Current children cumulated memory: 54904 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 342103
/proc/meminfo: memFree=129441928/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2728 CPUtime=1792.89 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 270 598 0 0 0 0 166100 13189 20 0 1 0 61782771 10170368 682 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 682 591 264 0 134 0
[pid=341074] ppid=340052 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/341074/stat : 341074 (timeout) S 340052 341074 337861 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61962571 8867840 237 134679101440 93967643934720 93967643969736 140728958922672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93967646067152 93967646069284 93967652896768 140728958927860 140728958928029 140728958928029 140728958935015 0
/proc/341074/statm: 2165 237 212 9 0 87 0
[pid=341078] ppid=341074 vsize=58860 memory=51484 CPUtime=1659.81 cores=0,2
/proc/341078/stat : 341078 (Exact) R 341074 341074 337861 0 -1 4194304 20988 0 0 0 165976 5 0 0 20 0 1 0 61962572 60272640 12871 134679101440 4194304 7243121 140728567176720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 23191552 140728567178256 140728567178406 140728567178406 140728567185392 0
/proc/341078/statm: 14715 12871 804 745 0 13780 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 77452 KiB
Current children cumulated memory: 55160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 342113
/proc/meminfo: memFree=129441060/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2728 CPUtime=1792.89 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 270 598 0 0 0 0 166100 13189 20 0 1 0 61782771 10170368 682 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 682 591 264 0 134 0
[pid=341074] ppid=340052 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/341074/stat : 341074 (timeout) S 340052 341074 337861 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61962571 8867840 237 134679101440 93967643934720 93967643969736 140728958922672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93967646067152 93967646069284 93967652896768 140728958927860 140728958928029 140728958928029 140728958935015 0
/proc/341074/statm: 2165 237 212 9 0 87 0
[pid=341078] ppid=341074 vsize=59524 memory=51744 CPUtime=1719.65 cores=0,2
/proc/341078/stat : 341078 (Exact) R 341074 341074 337861 0 -1 4194304 21114 0 0 0 171960 5 0 0 20 0 1 0 61962572 60952576 12936 134679101440 4194304 7243121 140728567176720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 23191552 140728567178256 140728567178406 140728567178406 140728567185392 0
/proc/341078/statm: 14881 12936 804 745 0 13946 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 78116 KiB
Current children cumulated memory: 55420 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/266 342123
/proc/meminfo: memFree=129440472/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2728 CPUtime=1792.89 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 270 598 0 0 0 0 166100 13189 20 0 1 0 61782771 10170368 682 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 682 591 264 0 134 0
[pid=341074] ppid=340052 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/341074/stat : 341074 (timeout) S 340052 341074 337861 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61962571 8867840 237 134679101440 93967643934720 93967643969736 140728958922672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93967646067152 93967646069284 93967652896768 140728958927860 140728958928029 140728958928029 140728958935015 0
/proc/341074/statm: 2165 237 212 9 0 87 0
[pid=341078] ppid=341074 vsize=59244 memory=51744 CPUtime=1779.49 cores=0,2
/proc/341078/stat : 341078 (Exact) R 341074 341074 337861 0 -1 4194304 21584 0 0 0 177944 5 0 0 20 0 1 0 61962572 60665856 12936 134679101440 4194304 7243121 140728567176720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 23191552 140728567178256 140728567178406 140728567178406 140728567185392 0
/proc/341078/statm: 14811 12936 804 745 0 13876 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 55420 KiB
[startup+3596.02 s]
# the end of solver process 340052 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3454.13 s, system=131.957 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.13 4.09 5/266 342123
/proc/meminfo: memFree=129440472/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2728 CPUtime=1792.89 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 270 598 0 0 0 0 166100 13189 20 0 1 0 61782771 10170368 682 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 682 591 264 0 134 0
[pid=341074] ppid=340052 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/341074/stat : 341074 (timeout) S 340052 341074 337861 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61962571 8867840 237 134679101440 93967643934720 93967643969736 140728958922672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93967646067152 93967646069284 93967652896768 140728958927860 140728958928029 140728958928029 140728958935015 0
/proc/341074/statm: 2165 237 212 9 0 87 0
[pid=341078] ppid=341074 vsize=59244 memory=51744 CPUtime=1781.19 cores=0,2
/proc/341078/stat : 341078 (Exact) R 341074 341074 337861 0 -1 4194304 21584 0 0 0 178114 5 0 0 20 0 1 0 61962572 60665856 12936 134679101440 4194304 7243121 140728567176720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 23191552 140728567178256 140728567178406 140728567178406 140728567185392 0
/proc/341078/statm: 14811 12936 804 745 0 13876 0
Current children cumulated CPU time: 3574.08 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 55420 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 342125
/proc/meminfo: memFree=129440420/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2728 CPUtime=1792.89 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 270 598 0 0 0 0 166100 13189 20 0 1 0 61782771 10170368 682 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 682 591 264 0 134 0
[pid=341074] ppid=340052 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/341074/stat : 341074 (timeout) S 340052 341074 337861 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61962571 8867840 237 134679101440 93967643934720 93967643969736 140728958922672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93967646067152 93967646069284 93967652896768 140728958927860 140728958928029 140728958928029 140728958935015 0
/proc/341074/statm: 2165 237 212 9 0 87 0
[pid=341078] ppid=341074 vsize=59244 memory=51744 CPUtime=1787.57 cores=0,2
/proc/341078/stat : 341078 (Exact) R 341074 341074 337861 0 -1 4194304 21681 0 0 0 178752 5 0 0 20 0 1 0 61962572 60665856 12936 134679101440 4194304 7243121 140728567176720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 23191552 140728567178256 140728567178406 140728567178406 140728567185392 0
/proc/341078/statm: 14811 12936 804 745 0 13876 0
Current children cumulated CPU time: 3580.46 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 55420 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 342125
/proc/meminfo: memFree=129440420/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2728 CPUtime=1792.89 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 270 598 0 0 0 0 166100 13189 20 0 1 0 61782771 10170368 682 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 682 591 264 0 134 0
[pid=341074] ppid=340052 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/341074/stat : 341074 (timeout) S 340052 341074 337861 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61962571 8867840 237 134679101440 93967643934720 93967643969736 140728958922672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93967646067152 93967646069284 93967652896768 140728958927860 140728958928029 140728958928029 140728958935015 0
/proc/341074/statm: 2165 237 212 9 0 87 0
[pid=341078] ppid=341074 vsize=59244 memory=51744 CPUtime=1790.76 cores=0,2
/proc/341078/stat : 341078 (Exact) R 341074 341074 337861 0 -1 4194304 21681 0 0 0 179071 5 0 0 20 0 1 0 61962572 60665856 12936 134679101440 4194304 7243121 140728567176720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 23191552 140728567178256 140728567178406 140728567178406 140728567185392 0
/proc/341078/statm: 14811 12936 804 745 0 13876 0
Current children cumulated CPU time: 3583.65 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 55420 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 342186
/proc/meminfo: memFree=129439940/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2728 CPUtime=1792.89 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 270 598 0 0 0 0 166100 13189 20 0 1 0 61782771 10170368 682 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 682 591 264 0 134 0
[pid=341074] ppid=340052 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/341074/stat : 341074 (timeout) S 340052 341074 337861 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61962571 8867840 237 134679101440 93967643934720 93967643969736 140728958922672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93967646067152 93967646069284 93967652896768 140728958927860 140728958928029 140728958928029 140728958935015 0
/proc/341074/statm: 2165 237 212 9 0 87 0
[pid=341078] ppid=341074 vsize=59244 memory=51744 CPUtime=1792.36 cores=0,2
/proc/341078/stat : 341078 (Exact) R 341074 341074 337861 0 -1 4194304 21681 0 0 0 179231 5 0 0 20 0 1 0 61962572 60665856 12936 134679101440 4194304 7243121 140728567176720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 23191552 140728567178256 140728567178406 140728567178406 140728567185392 0
/proc/341078/statm: 14811 12936 804 745 0 13876 0
Current children cumulated CPU time: 3585.25 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 55420 KiB
[startup+3595.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 342186
/proc/meminfo: memFree=129439940/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2728 CPUtime=1792.89 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 270 598 0 0 0 0 166100 13189 20 0 1 0 61782771 10170368 682 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 682 591 264 0 134 0
[pid=341074] ppid=340052 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/341074/stat : 341074 (timeout) S 340052 341074 337861 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61962571 8867840 237 134679101440 93967643934720 93967643969736 140728958922672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93967646067152 93967646069284 93967652896768 140728958927860 140728958928029 140728958928029 140728958935015 0
/proc/341074/statm: 2165 237 212 9 0 87 0
[pid=341078] ppid=341074 vsize=59244 memory=51744 CPUtime=1792.76 cores=0,2
/proc/341078/stat : 341078 (Exact) R 341074 341074 337861 0 -1 4194304 21681 0 0 0 179271 5 0 0 20 0 1 0 61962572 60665856 12936 134679101440 4194304 7243121 140728567176720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 23191552 140728567178256 140728567178406 140728567178406 140728567185392 0
/proc/341078/statm: 14811 12936 804 745 0 13876 0
Current children cumulated CPU time: 3585.65 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 55420 KiB
[startup+3596 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 342186
/proc/meminfo: memFree=129439940/131524600 swapFree=131071996/131071996
[pid=340052] ppid=340049 vsize=9932 memory=2728 CPUtime=1792.89 cores=0,2
/proc/340052/stat : 340052 (Hybrid-LSMabP+E) S 340049 340052 337861 0 -1 4194304 270 598 0 0 0 0 166100 13189 20 0 1 0 61782771 10170368 682 134679101440 94736819830784 94736820910104 140733923094544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94736823008560 94736823055748 94736839528448 140733923103722 140733923103867 140733923103867 140733923110882 0
/proc/340052/statm: 2483 682 591 264 0 134 0
[pid=341074] ppid=340052 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/341074/stat : 341074 (timeout) S 340052 341074 337861 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61962571 8867840 237 134679101440 93967643934720 93967643969736 140728958922672 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93967646067152 93967646069284 93967652896768 140728958927860 140728958928029 140728958928029 140728958935015 0
/proc/341074/statm: 2165 237 212 9 0 87 0
[pid=341078] ppid=341074 vsize=59244 memory=51744 CPUtime=1793.16 cores=0,2
/proc/341078/stat : 341078 (Exact) R 341074 341074 337861 0 -1 4194304 21681 0 0 0 179311 5 0 0 20 0 1 0 61962572 60665856 12936 134679101440 4194304 7243121 140728567176720 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1 0 0 7942632 8006904 23191552 140728567178256 140728567178406 140728567178406 140728567185392 0
/proc/341078/statm: 14811 12936 804 745 0 13876 0
Current children cumulated CPU time: 3586.05 s
Current children cumulated vsize: 77836 KiB
Current children cumulated memory: 55420 KiB
Child status: 0
Real time (s): 3596.02
CPU time (s): 3586.09
CPU user time (s): 3454.13
CPU system time (s): 131.957
CPU usage (%): 99.7239
Max. virtual memory (cumulated for all children) (KiB): 78116
Max. memory (cumulated for all children) (KiB): 55420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3454.13
system time used= 131.957
maximum resident set size= 52004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78
involuntary context switches= 24558
# summary of solver processes directly reported to runsolver:
# pid: 340052
# total CPU time (s): 3586.09
# total CPU user time (s): 3454.13
# total CPU system time (s): 131.957
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58754 second user time and 15.8913 second system time
The end
Begin job on nodeC033 at 2024-08-06 15:43:25 IDJOB=4437400 IDBENCH=146905 IDSOLVER=3071 FILE ID=nodeC033/4437400-1722951805 RUNJOBID= nodeC033-1722948202-337871 SLURM_JOB_ID= 8259014 Free space on /tmp= 890040 MiB SOLVER NAME= Hybrid-LSMabP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb COMMAND LINE= ./Hybrid-LSMabP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437400-1722951805/watcher-4437400-1722951805 -o /tmp/evaluation-result-4437400-1722951805/solver-4437400-1722951805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722948202-337871 --watchdog 3760 --use-pty ./Hybrid-LSMabP+Exact HOME/instance-4437400-1722951805.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0 RANDOM SEED=1957872260 nodeC033.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 : 3662.729 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.99 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 : 3555.905 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.79 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 : 3673.005 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.99 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 : 3599.574 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.79 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 : 3674.937 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.99 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 : 3684.209 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.79 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 : 3625.350 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.99 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 : 3681.368 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129384260 kB MemAvailable: 129697464 kB Buffers: 326100 kB Cached: 833544 kB SwapCached: 0 kB Active: 587496 kB Inactive: 1033800 kB Active(anon): 1560 kB Inactive(anon): 497828 kB Active(file): 585936 kB Inactive(file): 535972 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 42132 kB Writeback: 0 kB AnonPages: 461728 kB Mapped: 107764 kB Shmem: 37720 kB KReclaimable: 62240 kB Slab: 155020 kB SReclaimable: 62240 kB SUnreclaim: 92780 kB KernelStack: 4048 kB PageTables: 9172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 829812 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 28960 kB HardwareCorrupted: 0 kB AnonHugePages: 274432 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: 320212 kB DirectMap2M: 9938944 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 890000 MiB End job on nodeC033 at 2024-08-06 16:43:21