Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11 | SAT | 8725 | 3586.49 | 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.44/3596.02 o 45710 3586.44/3596.02 o 45559 3586.44/3596.02 o 45538 3586.44/3596.02 o 45418 3586.44/3596.02 o 45187 3586.44/3596.02 o 44963 3586.44/3596.02 o 44823 3586.44/3596.02 o 44335 3586.44/3596.02 o 44305 3586.44/3596.02 o 44121 3586.44/3596.02 o 44103 3586.44/3596.02 o 44063 3586.44/3596.02 o 43788 3586.44/3596.02 o 42569 3586.44/3596.02 o 42539 3586.44/3596.02 o 42534 3586.44/3596.02 o 42524 3586.44/3596.02 o 42472 3586.44/3596.02 o 42365 3586.44/3596.02 o 42176 3586.44/3596.02 o 42159 3586.44/3596.02 o 42081 3586.44/3596.02 o 41941 3586.44/3596.02 o 41928 3586.44/3596.02 o 41895 3586.44/3596.02 o 41886 3586.44/3596.02 o 41855 3586.44/3596.02 o 41806 3586.44/3596.02 o 13822 3586.44/3596.02 o 13677 3586.44/3596.02 o 13667 3586.44/3596.02 o 13657 3586.44/3596.02 o 13511 3586.44/3596.02 o 13114 3586.44/3596.02 o 12984 3586.44/3596.02 o 12959 3586.44/3596.02 o 12954 3586.44/3596.02 o 12828 3586.44/3596.02 o 12742 3586.44/3596.02 o 12729 3586.44/3596.02 o 12718 3586.44/3596.02 o 12682 3586.44/3596.02 o 12672 3586.44/3596.02 o 12663 3586.44/3596.02 o 12642 3586.44/3596.02 o 12631 3586.44/3596.02 o 12616 3586.44/3596.02 o 12601 3586.44/3596.02 o 12581 3586.44/3596.02 o 12501 3586.44/3596.02 o 12490 3586.44/3596.02 o 12475 3586.44/3596.02 o 12434 3586.44/3596.02 o 12410 3586.44/3596.02 o 12406 3586.44/3596.02 o 12286 3586.44/3596.02 o 12212 3586.44/3596.02 o 12150 3586.44/3596.02 o 12140 3586.44/3596.02 o 12130 3586.44/3596.02 o 12119 3586.44/3596.02 o 12086 3586.44/3596.02 o 12073 3586.44/3596.02 o 11949 3586.44/3596.02 o 11931 3586.44/3596.02 o 11862 3586.44/3596.02 o 11835 3586.44/3596.02 o 11701 3586.44/3596.02 o 11675 3586.44/3596.02 o 11661 3586.44/3596.02 o 11651 3586.44/3596.02 o 11646 3586.44/3596.02 o 11526 3586.44/3596.02 o 11475 3586.44/3596.02 o 11433 3586.44/3596.02 o 11392 3586.44/3596.02 o 11387 3586.44/3596.02 o 11377 3586.44/3596.02 o 11364 3586.44/3596.02 o 11361 3586.44/3596.02 o 11359 3586.44/3596.02 o 11346 3586.44/3596.02 o 11221 3586.44/3596.02 o 11205 3586.44/3596.02 o 11190 3586.44/3596.02 o 11162 3586.44/3596.02 o 11155 3586.44/3596.02 o 11141 3586.44/3596.02 o 11132 3586.44/3596.02 o 11121 3586.44/3596.02 o 11108 3586.44/3596.02 o 11006 3586.44/3596.02 o 10996 3586.44/3596.02 o 10985 3586.44/3596.02 o 10975 3586.44/3596.02 o 10969 3586.44/3596.02 o 10959 3586.44/3596.02 o 10953 3586.44/3596.02 o 10937 3586.44/3596.02 o 10926 3586.44/3596.02 o 10920 3586.44/3596.02 o 10907 3586.44/3596.02 o 10902 3586.44/3596.02 o 10892 3586.44/3596.02 o 10793 3586.44/3596.02 o 10779 3586.44/3596.02 o 10685 3586.44/3596.02 o 10635 3586.44/3596.02 o 10627 3586.44/3596.02 o 10565 3586.44/3596.02 o 10556 3586.44/3596.02 o 10541 3586.44/3596.02 o 10532 3586.44/3596.02 o 10520 3586.44/3596.02 o 10509 3586.44/3596.02 o 10502 3586.44/3596.02 o 10486 3586.44/3596.02 o 10475 3586.44/3596.02 o 10433 3586.44/3596.02 o 10430 3586.44/3596.02 o 10420 3586.44/3596.02 o 10379 3586.44/3596.02 o 10363 3586.44/3596.02 o 10352 3586.44/3596.02 o 10339 3586.44/3596.02 o 10330 3586.44/3596.02 o 10329 3586.44/3596.02 o 10316 3586.44/3596.02 o 10296 3586.44/3596.02 o 10285 3586.44/3596.02 o 10194 3586.44/3596.02 o 10175 3586.44/3596.02 o 10162 3586.44/3596.02 o 10153 3586.44/3596.02 o 10135 3586.44/3596.02 o 10125 3586.44/3596.02 o 10123 3586.44/3596.02 o 10112 3586.44/3596.02 o 10108 3586.44/3596.02 o 10083 3586.44/3596.02 o 10065 3586.44/3596.02 o 10060 3586.44/3596.02 o 10047 3586.44/3596.02 o 10038 3586.44/3596.02 o 10034 3586.44/3596.02 o 10001 3586.44/3596.02 o 9998 3586.44/3596.02 o 9988 3586.44/3596.02 o 9985 3586.44/3596.02 o 9981 3586.44/3596.02 o 9972 3586.44/3596.02 o 9908 3586.44/3596.02 o 9898 3586.44/3596.02 o 9897 3586.44/3596.02 o 9888 3586.44/3596.02 o 9874 3586.44/3596.02 o 9870 3586.44/3596.02 o 9861 3586.44/3596.02 o 9856 3586.44/3596.02 o 9843 3586.44/3596.02 o 9832 3586.44/3596.02 o 9823 3586.44/3596.02 o 9821 3586.44/3596.02 o 9810 3586.44/3596.02 o 9805 3586.44/3596.02 o 9798 3586.44/3596.02 o 9787 3586.44/3596.02 o 9782 3586.44/3596.02 o 9764 3586.44/3596.02 o 9750 3586.44/3596.02 o 9739 3586.44/3596.02 o 9700 3586.44/3596.02 o 9690 3586.44/3596.02 o 9616 3586.44/3596.02 o 9556 3586.44/3596.02 o 9539 3586.44/3596.02 o 9512 3586.44/3596.02 o 9502 3586.44/3596.02 o 9489 3586.44/3596.02 o 9478 3586.44/3596.02 o 9468 3586.44/3596.02 o 9444 3586.44/3596.02 o 9440 3586.44/3596.02 o 9435 3586.44/3596.02 o 9430 3586.44/3596.02 o 9415 3586.44/3596.02 o 9410 3586.44/3596.02 o 9396 3586.44/3596.02 o 9378 3586.44/3596.02 o 9372 3586.44/3596.02 o 9346 3586.44/3596.02 o 9336 3586.44/3596.02 o 9335 3586.44/3596.02 o 9333 3586.44/3596.02 o 9322 3586.44/3596.02 o 9317 3586.44/3596.02 o 9304 3586.44/3596.02 o 9294 3586.44/3596.02 o 9291 3586.44/3596.02 o 9281 3586.44/3596.02 o 9255 3586.44/3596.02 o 9247 3586.44/3596.02 o 9233 3586.44/3596.02 o 9197 3586.44/3596.02 o 9181 3586.44/3596.02 o 9171 3586.44/3596.02 o 9165 3586.44/3596.02 o 9162 3586.44/3596.02 o 9154 3586.44/3596.02 o 9142 3586.44/3596.02 o 8817 3586.44/3596.02 o 8792 3586.44/3596.02 o 8775 3586.44/3596.02 o 8753 3586.44/3596.02 o 8728 3586.44/3596.02 o 8725 3586.44/3596.02 c Program interrupted by user. 3586.44/3596.02 s SATISFIABLE 3586.44/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 (62935 MiB free)
memory of node 1: 64473 MiB (63153 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438206-1722959628/watcher-4438206-1722959628 -o /tmp/evaluation-result-4438206-1722959628/solver-4438206-1722959628 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722959628-344920 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438206-1722959628.opb 3600 HOME 31000
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=344981, runsolver pid=344966
[startup+0.100614 s]*
/proc/loadavg: 0.94 1.46 2.65 6/261 344999
/proc/meminfo: memFree=129094512/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 244 104 0 0 0 0 0 0 20 0 1 0 62567121 10170368 671 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 671 593 264 0 134 0
[pid=344990] ppid=344981 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/344990/stat : 344990 (timeout) S 344981 344990 344908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62567122 8867840 230 134679101440 94518458474496 94518458509512 140722458832928 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94518460606928 94518460609060 94518475251712 140722458842124 140722458842269 140722458842269 140722458849255 0
/proc/344990/statm: 2165 230 205 9 0 87 0
[pid=344993] ppid=344990 vsize=28036 memory=8812 CPUtime=0.09 cores=1,3
/proc/344993/stat : 344993 (CASHWMaxSAT-Dis) R 344990 344990 344908 0 -1 4194304 1851 0 0 0 9 0 0 0 20 0 1 0 62567122 28708864 2203 134679101440 4194304 14093885 140732842283184 0 0 0 0 0 19490 0 0 0 17 1 0 0 62567122 0 0 15976432 16051504 30724096 140732842288146 140732842288278 140732842288278 140732842295264 0
/proc/344993/statm: 7009 2203 782 2417 0 4111 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46628 KiB
Current children cumulated memory: 12416 KiB
[startup+0.20666 s]*
/proc/loadavg: 0.94 1.46 2.65 6/255 345015
/proc/meminfo: memFree=129046436/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 244 104 0 0 0 0 0 0 20 0 1 0 62567121 10170368 671 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 671 593 264 0 134 0
[pid=344990] ppid=344981 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/344990/stat : 344990 (timeout) S 344981 344990 344908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62567122 8867840 230 134679101440 94518458474496 94518458509512 140722458832928 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94518460606928 94518460609060 94518475251712 140722458842124 140722458842269 140722458842269 140722458849255 0
/proc/344990/statm: 2165 230 205 9 0 87 0
[pid=344993] ppid=344990 vsize=60872 memory=49780 CPUtime=0.19 cores=1,3
/proc/344993/stat : 344993 (CASHWMaxSAT-Dis) R 344990 344990 344908 0 -1 4194304 11804 0 0 0 18 1 0 0 20 0 1 0 62567122 62332928 12445 134679101440 4194304 14093885 140732842283184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 62567122 0 0 15976432 16051504 30724096 140732842288146 140732842288278 140732842288278 140732842295264 0
/proc/344993/statm: 15218 12445 2142 2417 0 12320 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 79464 KiB
Current children cumulated memory: 53384 KiB
[startup+0.306206 s]*
/proc/loadavg: 0.94 1.46 2.65 4/255 345015
/proc/meminfo: memFree=128994688/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 244 104 0 0 0 0 0 0 20 0 1 0 62567121 10170368 671 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 671 593 264 0 134 0
[pid=344990] ppid=344981 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/344990/stat : 344990 (timeout) S 344981 344990 344908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62567122 8867840 230 134679101440 94518458474496 94518458509512 140722458832928 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94518460606928 94518460609060 94518475251712 140722458842124 140722458842269 140722458842269 140722458849255 0
/proc/344990/statm: 2165 230 205 9 0 87 0
[pid=344993] ppid=344990 vsize=108932 memory=96232 CPUtime=0.29 cores=1,3
/proc/344993/stat : 344993 (CASHWMaxSAT-Dis) R 344990 344990 344908 0 -1 4194304 23230 0 0 0 26 3 0 0 20 0 1 0 62567122 111546368 24058 134679101440 4194304 14093885 140732842283184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 62567122 0 0 15976432 16051504 30724096 140732842288146 140732842288278 140732842288278 140732842295264 0
/proc/344993/statm: 27233 24058 2350 2417 0 24335 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 127524 KiB
Current children cumulated memory: 99836 KiB
[startup+0.700269 s]
/proc/loadavg: 0.94 1.46 2.65 4/259 345027
/proc/meminfo: memFree=128964636/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 244 104 0 0 0 0 0 0 20 0 1 0 62567121 10170368 671 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 671 593 264 0 134 0
[pid=344990] ppid=344981 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/344990/stat : 344990 (timeout) S 344981 344990 344908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62567122 8867840 230 134679101440 94518458474496 94518458509512 140722458832928 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94518460606928 94518460609060 94518475251712 140722458842124 140722458842269 140722458842269 140722458849255 0
/proc/344990/statm: 2165 230 205 9 0 87 0
[pid=344993] ppid=344990 vsize=137632 memory=125484 CPUtime=0.68 cores=1,3
/proc/344993/stat : 344993 (CASHWMaxSAT-Dis) R 344990 344990 344908 0 -1 4194304 30477 0 0 0 64 4 0 0 20 0 1 0 62567122 140935168 31371 134679101440 4194304 14093885 140732842283184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 62567122 0 0 15976432 16051504 30724096 140732842288146 140732842288278 140732842288278 140732842295264 0
/proc/344993/statm: 34408 31371 2414 2417 0 31510 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 156224 KiB
Current children cumulated memory: 129088 KiB
[startup+1.50028 s]
/proc/loadavg: 0.94 1.46 2.65 6/269 345097
/proc/meminfo: memFree=128896468/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 244 104 0 0 0 0 0 0 20 0 1 0 62567121 10170368 671 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 671 593 264 0 134 0
[pid=344990] ppid=344981 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/344990/stat : 344990 (timeout) S 344981 344990 344908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62567122 8867840 230 134679101440 94518458474496 94518458509512 140722458832928 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94518460606928 94518460609060 94518475251712 140722458842124 140722458842269 140722458842269 140722458849255 0
/proc/344990/statm: 2165 230 205 9 0 87 0
[pid=344993] ppid=344990 vsize=141920 memory=129708 CPUtime=1.48 cores=1,3
/proc/344993/stat : 344993 (CASHWMaxSAT-Dis) R 344990 344990 344908 0 -1 4194304 31544 0 0 0 144 4 0 0 20 0 1 0 62567122 145326080 32427 134679101440 4194304 14093885 140732842283184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 62567122 0 0 15976432 16051504 30724096 140732842288146 140732842288278 140732842288278 140732842295264 0
/proc/344993/statm: 35480 32427 2414 2417 0 32582 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 160512 KiB
Current children cumulated memory: 133312 KiB
[startup+3.10622 s]
/proc/loadavg: 0.94 1.46 2.65 6/269 345097
/proc/meminfo: memFree=128151364/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 244 104 0 0 0 0 0 0 20 0 1 0 62567121 10170368 671 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 671 593 264 0 134 0
[pid=344990] ppid=344981 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/344990/stat : 344990 (timeout) S 344981 344990 344908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62567122 8867840 230 134679101440 94518458474496 94518458509512 140722458832928 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94518460606928 94518460609060 94518475251712 140722458842124 140722458842269 140722458842269 140722458849255 0
/proc/344990/statm: 2165 230 205 9 0 87 0
[pid=344993] ppid=344990 vsize=147424 memory=135252 CPUtime=3.07 cores=1,3
/proc/344993/stat : 344993 (CASHWMaxSAT-Dis) R 344990 344990 344908 0 -1 4194304 32921 0 0 0 303 4 0 0 20 0 1 0 62567122 150962176 33813 134679101440 4194304 14093885 140732842283184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 62567122 0 0 15976432 16051504 30724096 140732842288146 140732842288278 140732842288278 140732842295264 0
/proc/344993/statm: 36856 33813 2414 2417 0 33958 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 166016 KiB
Current children cumulated memory: 138856 KiB
[startup+6.30028 s]
/proc/loadavg: 1.19 1.50 2.65 6/269 345099
/proc/meminfo: memFree=127907300/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 244 104 0 0 0 0 0 0 20 0 1 0 62567121 10170368 671 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 671 593 264 0 134 0
[pid=344990] ppid=344981 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/344990/stat : 344990 (timeout) S 344981 344990 344908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62567122 8867840 230 134679101440 94518458474496 94518458509512 140722458832928 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94518460606928 94518460609060 94518475251712 140722458842124 140722458842269 140722458842269 140722458849255 0
/proc/344990/statm: 2165 230 205 9 0 87 0
[pid=344993] ppid=344990 vsize=152368 memory=141048 CPUtime=6.26 cores=1,3
/proc/344993/stat : 344993 (CASHWMaxSAT-Dis) R 344990 344990 344908 0 -1 4194304 34342 0 0 0 621 5 0 0 20 0 1 0 62567122 156024832 35262 134679101440 4194304 14093885 140732842283184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 62567122 0 0 15976432 16051504 30724096 140732842288146 140732842288278 140732842288278 140732842295264 0
/proc/344993/statm: 38092 35262 2414 2417 0 35194 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 170960 KiB
Current children cumulated memory: 144652 KiB
[startup+12.7003 s]
/proc/loadavg: 1.50 1.56 2.67 6/269 345099
/proc/meminfo: memFree=127829708/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 244 104 0 0 0 0 0 0 20 0 1 0 62567121 10170368 671 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 671 593 264 0 134 0
[pid=344990] ppid=344981 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/344990/stat : 344990 (timeout) S 344981 344990 344908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62567122 8867840 230 134679101440 94518458474496 94518458509512 140722458832928 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94518460606928 94518460609060 94518475251712 140722458842124 140722458842269 140722458842269 140722458849255 0
/proc/344990/statm: 2165 230 205 9 0 87 0
[pid=344993] ppid=344990 vsize=209200 memory=196840 CPUtime=12.64 cores=1,3
/proc/344993/stat : 344993 (CASHWMaxSAT-Dis) R 344990 344990 344908 0 -1 4194304 48935 0 0 0 1257 7 0 0 20 0 1 0 62567122 214220800 49210 134679101440 4194304 14093885 140732842283184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 62567122 0 0 15976432 16051504 30724096 140732842288146 140732842288278 140732842288278 140732842295264 0
/proc/344993/statm: 52300 49210 2526 2417 0 49402 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 227792 KiB
Current children cumulated memory: 200444 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 1.68 2.69 6/269 345102
/proc/meminfo: memFree=127766276/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 244 104 0 0 0 0 0 0 20 0 1 0 62567121 10170368 671 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 671 593 264 0 134 0
[pid=344990] ppid=344981 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/344990/stat : 344990 (timeout) S 344981 344990 344908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62567122 8867840 230 134679101440 94518458474496 94518458509512 140722458832928 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94518460606928 94518460609060 94518475251712 140722458842124 140722458842269 140722458842269 140722458849255 0
/proc/344990/statm: 2165 230 205 9 0 87 0
[pid=344993] ppid=344990 vsize=211956 memory=199216 CPUtime=25.4 cores=1,3
/proc/344993/stat : 344993 (CASHWMaxSAT-Dis) R 344990 344990 344908 0 -1 4194304 49554 0 0 0 2532 8 0 0 20 0 1 0 62567122 217042944 49804 134679101440 4194304 14093885 140732842283184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 62567122 0 0 15976432 16051504 30724096 140732842288146 140732842288278 140732842288278 140732842295264 0
/proc/344993/statm: 52989 49804 2526 2417 0 50091 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 230548 KiB
Current children cumulated memory: 202820 KiB
[startup+51.1063 s]
/proc/loadavg: 2.72 1.87 2.72 6/269 345105
/proc/meminfo: memFree=126552748/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 244 104 0 0 0 0 0 0 20 0 1 0 62567121 10170368 671 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 671 593 264 0 134 0
[pid=344990] ppid=344981 vsize=8660 memory=920 CPUtime=0 cores=1,3
/proc/344990/stat : 344990 (timeout) S 344981 344990 344908 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62567122 8867840 230 134679101440 94518458474496 94518458509512 140722458832928 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94518460606928 94518460609060 94518475251712 140722458842124 140722458842269 140722458842269 140722458849255 0
/proc/344990/statm: 2165 230 205 9 0 87 0
[pid=344993] ppid=344990 vsize=211956 memory=199440 CPUtime=50.93 cores=1,3
/proc/344993/stat : 344993 (CASHWMaxSAT-Dis) R 344990 344990 344908 0 -1 4194304 50008 0 0 0 5083 10 0 0 20 0 1 0 62567122 217042944 49860 134679101440 4194304 14093885 140732842283184 0 0 0 0 0 8408098 0 0 0 17 1 0 0 62567122 0 0 15976432 16051504 30724096 140732842288146 140732842288278 140732842288278 140732842295264 0
/proc/344993/statm: 52989 49860 2526 2417 0 50091 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 230548 KiB
Current children cumulated memory: 203044 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 2.21 2.80 5/270 345549
/proc/meminfo: memFree=125558504/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2684 CPUtime=0 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 244 104 0 0 0 0 0 0 20 0 1 0 62567121 10170368 671 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
################
# More data... #
################
/proc/346105/statm: 13627 11256 748 737 0 12715 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 73100 KiB
Current children cumulated memory: 48796 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/266 347089
/proc/meminfo: memFree=123268248/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2748 CPUtime=1792.99 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 277 99457 0 0 0 0 179280 19 20 0 1 0 62567121 10170368 687 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 687 593 264 0 134 0
[pid=346104] ppid=344981 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/346104/stat : 346104 (timeout) S 344981 346104 344908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62746922 8867840 256 134679101440 94280114192384 94280114227400 140729205472176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94280116324816 94280116326948 94280133300224 140729205478388 140729205478557 140729205478557 140729205485543 0
/proc/346104/statm: 2165 256 231 9 0 87 0
[pid=346105] ppid=346104 vsize=54636 memory=45156 CPUtime=1660.07 cores=1,3
/proc/346105/stat : 346105 (Exact) R 346104 346104 344908 0 -1 4194304 29588 0 0 0 166000 7 0 0 20 0 1 0 62746922 55947264 11289 134679101440 4194304 7210733 140727999169968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23961600 140727999177744 140727999177894 140727999177894 140727999184880 0
/proc/346105/statm: 13659 11289 748 737 0 12747 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 73228 KiB
Current children cumulated memory: 48928 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 347099
/proc/meminfo: memFree=123265816/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2748 CPUtime=1792.99 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 277 99457 0 0 0 0 179280 19 20 0 1 0 62567121 10170368 687 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 687 593 264 0 134 0
[pid=346104] ppid=344981 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/346104/stat : 346104 (timeout) S 344981 346104 344908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62746922 8867840 256 134679101440 94280114192384 94280114227400 140729205472176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94280116324816 94280116326948 94280133300224 140729205478388 140729205478557 140729205478557 140729205485543 0
/proc/346104/statm: 2165 256 231 9 0 87 0
[pid=346105] ppid=346104 vsize=55020 memory=45540 CPUtime=1719.92 cores=1,3
/proc/346105/stat : 346105 (Exact) R 346104 346104 344908 0 -1 4194304 30640 0 0 0 171985 7 0 0 20 0 1 0 62746922 56340480 11385 134679101440 4194304 7210733 140727999169968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23961600 140727999177744 140727999177894 140727999177894 140727999184880 0
/proc/346105/statm: 13755 11385 748 737 0 12843 0
Current children cumulated CPU time: 3512.91 s
Current children cumulated vsize: 73612 KiB
Current children cumulated memory: 49312 KiB
[startup+3582.3 s]
/proc/loadavg: 4.34 4.20 4.12 5/265 347109
/proc/meminfo: memFree=123257332/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2748 CPUtime=1792.99 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 277 99457 0 0 0 0 179280 19 20 0 1 0 62567121 10170368 687 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 687 593 264 0 134 0
[pid=346104] ppid=344981 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/346104/stat : 346104 (timeout) S 344981 346104 344908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62746922 8867840 256 134679101440 94280114192384 94280114227400 140729205472176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94280116324816 94280116326948 94280133300224 140729205478388 140729205478557 140729205478557 140729205485543 0
/proc/346104/statm: 2165 256 231 9 0 87 0
[pid=346105] ppid=346104 vsize=55276 memory=47788 CPUtime=1779.78 cores=1,3
/proc/346105/stat : 346105 (Exact) R 346104 346104 344908 0 -1 4194304 31648 0 0 0 177971 7 0 0 20 0 1 0 62746922 56602624 11947 134679101440 4194304 7210733 140727999169968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23961600 140727999177744 140727999177894 140727999177894 140727999184880 0
/proc/346105/statm: 13819 11947 748 737 0 12907 0
Current children cumulated CPU time: 3572.77 s
Current children cumulated vsize: 73868 KiB
Current children cumulated memory: 51560 KiB
[startup+3596.02 s]
# the end of solver process 344981 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.21 s, system=0.282711 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.34 4.20 4.12 5/265 347111
/proc/meminfo: memFree=123257340/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2748 CPUtime=1792.99 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 277 99457 0 0 0 0 179280 19 20 0 1 0 62567121 10170368 687 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 687 593 264 0 134 0
[pid=346104] ppid=344981 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/346104/stat : 346104 (timeout) S 344981 346104 344908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62746922 8867840 256 134679101440 94280114192384 94280114227400 140729205472176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94280116324816 94280116326948 94280133300224 140729205478388 140729205478557 140729205478557 140729205485543 0
/proc/346104/statm: 2165 256 231 9 0 87 0
[pid=346105] ppid=346104 vsize=55276 memory=47788 CPUtime=1781.48 cores=1,3
/proc/346105/stat : 346105 (Exact) R 346104 346104 344908 0 -1 4194304 31648 0 0 0 178141 7 0 0 20 0 1 0 62746922 56602624 11947 134679101440 4194304 7210733 140727999169968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23961600 140727999177744 140727999177894 140727999177894 140727999184880 0
/proc/346105/statm: 13819 11947 748 737 0 12907 0
Current children cumulated CPU time: 3574.47 s
Current children cumulated vsize: 73868 KiB
Current children cumulated memory: 51560 KiB
[startup+3590.4 s]
/proc/loadavg: 4.36 4.21 4.12 5/265 347111
/proc/meminfo: memFree=123255740/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2748 CPUtime=1792.99 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 277 99457 0 0 0 0 179280 19 20 0 1 0 62567121 10170368 687 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 687 593 264 0 134 0
[pid=346104] ppid=344981 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/346104/stat : 346104 (timeout) S 344981 346104 344908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62746922 8867840 256 134679101440 94280114192384 94280114227400 140729205472176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94280116324816 94280116326948 94280133300224 140729205478388 140729205478557 140729205478557 140729205485543 0
/proc/346104/statm: 2165 256 231 9 0 87 0
[pid=346105] ppid=346104 vsize=55276 memory=47788 CPUtime=1787.86 cores=1,3
/proc/346105/stat : 346105 (Exact) R 346104 346104 344908 0 -1 4194304 31648 0 0 0 178779 7 0 0 20 0 1 0 62746922 56602624 11947 134679101440 4194304 7210733 140727999169968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23961600 140727999177744 140727999177894 140727999177894 140727999184880 0
/proc/346105/statm: 13819 11947 748 737 0 12907 0
Current children cumulated CPU time: 3580.85 s
Current children cumulated vsize: 73868 KiB
Current children cumulated memory: 51560 KiB
[startup+3593.6 s]
/proc/loadavg: 4.36 4.21 4.12 5/265 347111
/proc/meminfo: memFree=123255628/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2748 CPUtime=1792.99 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 277 99457 0 0 0 0 179280 19 20 0 1 0 62567121 10170368 687 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 687 593 264 0 134 0
[pid=346104] ppid=344981 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/346104/stat : 346104 (timeout) S 344981 346104 344908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62746922 8867840 256 134679101440 94280114192384 94280114227400 140729205472176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94280116324816 94280116326948 94280133300224 140729205478388 140729205478557 140729205478557 140729205485543 0
/proc/346104/statm: 2165 256 231 9 0 87 0
[pid=346105] ppid=346104 vsize=55404 memory=47916 CPUtime=1791.05 cores=1,3
/proc/346105/stat : 346105 (Exact) R 346104 346104 344908 0 -1 4194304 31815 0 0 0 179098 7 0 0 20 0 1 0 62746922 56733696 11979 134679101440 4194304 7210733 140727999169968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23961600 140727999177744 140727999177894 140727999177894 140727999184880 0
/proc/346105/statm: 13851 11979 748 737 0 12939 0
Current children cumulated CPU time: 3584.04 s
Current children cumulated vsize: 73996 KiB
Current children cumulated memory: 51688 KiB
[startup+3595.2 s]
/proc/loadavg: 4.33 4.21 4.12 5/265 347112
/proc/meminfo: memFree=123255556/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2748 CPUtime=1792.99 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 277 99457 0 0 0 0 179280 19 20 0 1 0 62567121 10170368 687 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 687 593 264 0 134 0
[pid=346104] ppid=344981 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/346104/stat : 346104 (timeout) S 344981 346104 344908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62746922 8867840 256 134679101440 94280114192384 94280114227400 140729205472176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94280116324816 94280116326948 94280133300224 140729205478388 140729205478557 140729205478557 140729205485543 0
/proc/346104/statm: 2165 256 231 9 0 87 0
[pid=346105] ppid=346104 vsize=55404 memory=47916 CPUtime=1792.65 cores=1,3
/proc/346105/stat : 346105 (Exact) R 346104 346104 344908 0 -1 4194304 31815 0 0 0 179258 7 0 0 20 0 1 0 62746922 56733696 11979 134679101440 4194304 7210733 140727999169968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23961600 140727999177744 140727999177894 140727999177894 140727999184880 0
/proc/346105/statm: 13851 11979 748 737 0 12939 0
Current children cumulated CPU time: 3585.64 s
Current children cumulated vsize: 73996 KiB
Current children cumulated memory: 51688 KiB
[startup+3595.6 s]
/proc/loadavg: 4.33 4.21 4.12 5/265 347112
/proc/meminfo: memFree=123255556/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2748 CPUtime=1792.99 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 277 99457 0 0 0 0 179280 19 20 0 1 0 62567121 10170368 687 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 687 593 264 0 134 0
[pid=346104] ppid=344981 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/346104/stat : 346104 (timeout) S 344981 346104 344908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62746922 8867840 256 134679101440 94280114192384 94280114227400 140729205472176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94280116324816 94280116326948 94280133300224 140729205478388 140729205478557 140729205478557 140729205485543 0
/proc/346104/statm: 2165 256 231 9 0 87 0
[pid=346105] ppid=346104 vsize=55404 memory=47916 CPUtime=1793.05 cores=1,3
/proc/346105/stat : 346105 (Exact) R 346104 346104 344908 0 -1 4194304 31815 0 0 0 179298 7 0 0 20 0 1 0 62746922 56733696 11979 134679101440 4194304 7210733 140727999169968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23961600 140727999177744 140727999177894 140727999177894 140727999184880 0
/proc/346105/statm: 13851 11979 748 737 0 12939 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 73996 KiB
Current children cumulated memory: 51688 KiB
[startup+3596 s]*
/proc/loadavg: 4.33 4.21 4.12 5/265 347112
/proc/meminfo: memFree=123255572/131524600 swapFree=131071996/131071996
[pid=344981] ppid=344966 vsize=9932 memory=2748 CPUtime=1792.99 cores=1,3
/proc/344981/stat : 344981 (Hybrid-CASHWMax) S 344966 344981 344908 0 -1 4194304 277 99457 0 0 0 0 179280 19 20 0 1 0 62567121 10170368 687 134679101440 94057373728768 94057374808088 140724424618064 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94057376906544 94057376953732 94057396883456 140724424627152 140724424627310 140724424627310 140724424634325 0
/proc/344981/statm: 2483 687 593 264 0 134 0
[pid=346104] ppid=344981 vsize=8660 memory=1024 CPUtime=0 cores=1,3
/proc/346104/stat : 346104 (timeout) S 344981 346104 344908 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62746922 8867840 256 134679101440 94280114192384 94280114227400 140729205472176 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94280116324816 94280116326948 94280133300224 140729205478388 140729205478557 140729205478557 140729205485543 0
/proc/346104/statm: 2165 256 231 9 0 87 0
[pid=346105] ppid=346104 vsize=55404 memory=47916 CPUtime=1793.45 cores=1,3
/proc/346105/stat : 346105 (Exact) R 346104 346104 344908 0 -1 4194304 31815 0 0 0 179338 7 0 0 20 0 1 0 62746922 56733696 11979 134679101440 4194304 7210733 140727999169968 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7850304 7914896 23961600 140727999177744 140727999177894 140727999177894 140727999184880 0
/proc/346105/statm: 13851 11979 748 737 0 12939 0
Current children cumulated CPU time: 3586.44 s
Current children cumulated vsize: 73996 KiB
Current children cumulated memory: 51688 KiB
Child status: 0
Real time (s): 3596.02
CPU time (s): 3586.49
CPU user time (s): 3586.21
CPU system time (s): 0.282711
CPU usage (%): 99.7349
Max. virtual memory (cumulated for all children) (KiB): 579236
Max. memory (cumulated for all children) (KiB): 454716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.21
system time used= 0.282711
maximum resident set size= 451116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104
involuntary context switches= 2365
# summary of solver processes directly reported to runsolver:
# pid: 344981
# total CPU time (s): 3586.49
# total CPU user time (s): 3586.21
# total CPU system time (s): 0.282711
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34247 second user time and 19.6048 second system time
The end
Begin job on nodeC034 at 2024-08-06 17:53:48 IDJOB=4438206 IDBENCH=146905 IDSOLVER=3073 FILE ID=nodeC034/4438206-1722959628 RUNJOBID= nodeC034-1722959628-344920 SLURM_JOB_ID= 8259037 Free space on /tmp= 890084 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+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-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438206-1722959628/watcher-4438206-1722959628 -o /tmp/evaluation-result-4438206-1722959628/solver-4438206-1722959628 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722959628-344920 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438206-1722959628.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0 RANDOM SEED=1064932873 nodeC034.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 : 3711.862 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.51 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 : 3817.194 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.49 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 : 3786.015 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.51 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 : 3844.937 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.49 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 : 3821.460 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.51 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 : 3762.472 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.49 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 : 3659.254 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.51 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 : 3756.203 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.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129117404 kB MemAvailable: 129781704 kB Buffers: 330448 kB Cached: 1179284 kB SwapCached: 0 kB Active: 590488 kB Inactive: 1293304 kB Active(anon): 1420 kB Inactive(anon): 411324 kB Active(file): 589068 kB Inactive(file): 881980 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 69100 kB Writeback: 0 kB AnonPages: 375032 kB Mapped: 99096 kB Shmem: 37720 kB KReclaimable: 66148 kB Slab: 158404 kB SReclaimable: 66148 kB SUnreclaim: 92256 kB KernelStack: 3880 kB PageTables: 9564 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 685940 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 29408 kB HardwareCorrupted: 0 kB AnonHugePages: 251904 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: 285396 kB DirectMap2M: 21508096 kB DirectMap1G: 114294784 kB Free space on /tmp at the end= 890004 MiB End job on nodeC034 at 2024-08-06 18:53:44