Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact 2024-07-05 | OPTIMUM | 276.497 | 277.499 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub0_wcsp.wbo |
| MD5SUM | 6bd6ea5dd1d3d3bae9a72705def63daf |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 10310 |
| Best CPU time to get the best result obtained on this benchmark | 276.497 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 666 |
| Total number of constraints | 125013 |
| Number of soft constraints | 124997 |
| Number of constraints which are clauses | 124997 |
| Number of constraints which are cardinality constraints (but not clauses) | 16 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 44 |
| Top cost | 9605862 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 4487093978 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.09/1.17 o 4040413 1.18/1.27 o 120713 2.68/2.75 o 110713 21.52/21.65 o 110712 21.61/21.75 o 10716 46.92/47.15 o 10715 47.12/47.33 o 10517 132.50/133.03 o 10515 183.41/184.12 o 10321 183.81/184.50 o 10319 184.60/185.36 o 10318 229.55/230.49 o 10316 258.06/259.09 o 10315 258.25/259.23 o 10314 259.25/260.25 o 10312 263.93/264.99 o 10310 276.29/277.36 s OPTIMUM FOUND 276.29/277.36 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 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666
OK 10310
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 (62991 MiB free)
memory of node 1: 64473 MiB (63558 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425733-1720890789/watcher-4425733-1720890789 -o /tmp/evaluation-result-4425733-1720890789/solver-4425733-1720890789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1720890801-716959 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=153657947 HOME/instance-4425733-1720890789.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=716978, runsolver pid=716974
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 0.09 0.10 0.09 2/243 716992
/proc/meminfo: memFree=129528384/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=81336 memory=57344 CPUtime=0.09 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 14940 0 0 0 8 1 0 0 20 0 1 0 141247796 83288064 14458 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 20334 14458 884 1005 0 19097 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81336 KiB
Current children cumulated memory: 57344 KiB
[startup+0.205754 s]*
/proc/loadavg: 0.09 0.10 0.09 3/244 717017
/proc/meminfo: memFree=129466148/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=128564 memory=108176 CPUtime=0.2 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 23896 0 0 0 17 3 0 0 20 0 1 0 141247796 131649536 27044 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 32141 27044 884 1005 0 30904 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128564 KiB
Current children cumulated memory: 108176 KiB
[startup+0.305755 s]*
/proc/loadavg: 0.09 0.10 0.09 2/247 717044
/proc/meminfo: memFree=129428692/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=161688 memory=140616 CPUtime=0.3 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 28716 0 0 0 26 4 0 0 20 0 1 0 141247796 165568512 35154 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 40422 35154 884 1005 0 39185 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 161688 KiB
Current children cumulated memory: 140616 KiB
[startup+0.700227 s]
/proc/loadavg: 0.09 0.10 0.09 2/242 717098
/proc/meminfo: memFree=129366240/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=252428 memory=242604 CPUtime=0.69 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 49636 0 0 0 61 8 0 0 20 0 1 0 141247796 258486272 60651 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 70656 60651 916 1005 0 69419 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 252428 KiB
Current children cumulated memory: 242604 KiB
[startup+1.50023 s]
/proc/loadavg: 0.09 0.10 0.09 2/239 717115
/proc/meminfo: memFree=129198904/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=488672 memory=466184 CPUtime=1.49 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 72865 0 0 0 135 14 0 0 20 0 1 0 141247796 500400128 116546 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 122168 116546 1124 1005 0 120931 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 488672 KiB
Current children cumulated memory: 466184 KiB
[startup+3.10558 s]
/proc/loadavg: 0.09 0.10 0.09 5/257 717252
/proc/meminfo: memFree=129044232/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=511848 memory=477072 CPUtime=3.08 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 73453 0 0 0 293 15 0 0 20 0 1 0 141247796 524132352 119202 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 127962 119202 1140 1005 0 126725 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 511848 KiB
Current children cumulated memory: 477072 KiB
[startup+6.30023 s]
/proc/loadavg: 0.40 0.17 0.11 5/258 717391
/proc/meminfo: memFree=127678992/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=615780 memory=566112 CPUtime=6.27 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 83548 0 0 0 609 18 0 0 20 0 1 0 141247796 630558720 141528 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 153945 141528 1140 1005 0 152708 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 615780 KiB
Current children cumulated memory: 566112 KiB
[startup+12.7002 s]
/proc/loadavg: 0.69 0.23 0.13 5/258 717439
/proc/meminfo: memFree=126478644/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=747772 memory=681768 CPUtime=12.64 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 97062 0 0 0 1241 23 0 0 20 0 1 0 141247796 765718528 170442 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 186943 170442 1140 1005 0 185706 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 747772 KiB
Current children cumulated memory: 681768 KiB
[startup+25.5003 s]
/proc/loadavg: 1.49 0.43 0.20 5/258 717486
/proc/meminfo: memFree=125906180/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=1014176 memory=913912 CPUtime=25.4 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 129506 0 0 0 2506 34 0 0 20 0 1 0 141247796 1038516224 228478 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 253544 228478 1140 1005 0 252307 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1014176 KiB
Current children cumulated memory: 913912 KiB
[startup+51.1058 s]
/proc/loadavg: 2.35 0.72 0.30 5/258 717491
/proc/meminfo: memFree=125807620/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=1037296 memory=934568 CPUtime=50.91 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 132568 0 0 0 5056 35 0 0 20 0 1 0 141247796 1062191104 233642 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 259324 233642 1140 1005 0 258087 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1037296 KiB
Current children cumulated memory: 934568 KiB
[startup+102.3 s]
/proc/loadavg: 3.40 1.26 0.51 5/258 717546
/proc/meminfo: memFree=122675284/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=1730292 memory=1539724 CPUtime=101.91 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 227313 0 0 0 10132 59 0 0 20 0 1 0 141247796 1771819008 384931 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 432573 384931 1140 1005 0 431336 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1730292 KiB
Current children cumulated memory: 1539724 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 1.81 0.75 5/255 717603
/proc/meminfo: memFree=117361296/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=2114908 memory=1744032 CPUtime=161.69 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 242732 0 0 0 16092 77 0 0 20 0 1 0 141247796 2165665792 436008 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 528727 436008 1140 1005 0 527490 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 2114908 KiB
Current children cumulated memory: 1744032 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 2.27 0.97 5/255 717613
/proc/meminfo: memFree=115066476/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=2394372 memory=2209820 CPUtime=221.48 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 306108 0 0 0 22057 91 0 0 20 0 1 0 141247796 2451836928 552455 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 598593 552455 1140 1005 0 597356 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 2394372 KiB
Current children cumulated memory: 2209820 KiB
[startup+277.499 s]
# the end of solver process 716978 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=275.531 s, system=0.965381 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.20 2.34 1.01 5/255 717614
/proc/meminfo: memFree=114876156/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=2394372 memory=2209984 CPUtime=229.55 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 306157 0 0 0 22864 91 0 0 20 0 1 0 141247796 2451836928 552496 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 598593 552496 1140 1005 0 597356 0
Current children cumulated CPU time: 229.55 s
Current children cumulated vsize: 2394372 KiB
Current children cumulated memory: 2209984 KiB
[startup+256 s]*
/proc/loadavg: 4.13 2.48 1.09 5/255 717618
/proc/meminfo: memFree=114442916/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=2395200 memory=2210564 CPUtime=255.07 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 306398 0 0 0 25415 92 0 0 20 0 1 0 141247796 2452684800 552641 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 598800 552641 1140 1005 0 597563 0
Current children cumulated CPU time: 255.07 s
Current children cumulated vsize: 2395200 KiB
Current children cumulated memory: 2210564 KiB
[startup+268.8 s]
/proc/loadavg: 4.11 2.53 1.12 5/255 717620
/proc/meminfo: memFree=113564604/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=2395200 memory=2211152 CPUtime=267.83 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 306486 0 0 0 26690 93 0 0 20 0 1 0 141247796 2452684800 552788 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 598800 552788 1140 1005 0 597563 0
Current children cumulated CPU time: 267.83 s
Current children cumulated vsize: 2395200 KiB
Current children cumulated memory: 2211152 KiB
[startup+272 s]*
/proc/loadavg: 4.10 2.55 1.14 5/255 717621
/proc/meminfo: memFree=113513976/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=2395200 memory=2211152 CPUtime=271.02 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 306501 0 0 0 27009 93 0 0 20 0 1 0 141247796 2452684800 552788 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 598800 552788 1140 1005 0 597563 0
Current children cumulated CPU time: 271.02 s
Current children cumulated vsize: 2395200 KiB
Current children cumulated memory: 2211152 KiB
[startup+275.2 s]
/proc/loadavg: 4.18 2.59 1.16 5/255 717621
/proc/meminfo: memFree=113484456/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=2395200 memory=2211152 CPUtime=274.2 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 306519 0 0 0 27327 93 0 0 20 0 1 0 141247796 2452684800 552788 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 598800 552788 1140 1005 0 597563 0
Current children cumulated CPU time: 274.2 s
Current children cumulated vsize: 2395200 KiB
Current children cumulated memory: 2211152 KiB
[startup+276.8 s]
/proc/loadavg: 4.18 2.59 1.16 5/255 717621
/proc/meminfo: memFree=113477192/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=2395200 memory=2211336 CPUtime=275.79 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 306599 0 0 0 27486 93 0 0 20 0 1 0 141247796 2452684800 552834 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 598800 552834 1140 1005 0 597563 0
Current children cumulated CPU time: 275.79 s
Current children cumulated vsize: 2395200 KiB
Current children cumulated memory: 2211336 KiB
[startup+277.2 s]
/proc/loadavg: 4.18 2.59 1.16 5/255 717621
/proc/meminfo: memFree=113467600/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=2395200 memory=2211336 CPUtime=276.19 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 306599 0 0 0 27526 93 0 0 20 0 1 0 141247796 2452684800 552834 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 598800 552834 1140 1005 0 597563 0
Current children cumulated CPU time: 276.19 s
Current children cumulated vsize: 2395200 KiB
Current children cumulated memory: 2211336 KiB
[startup+277.4 s]
/proc/loadavg: 4.18 2.59 1.16 5/255 717621
/proc/meminfo: memFree=113467600/131524600 swapFree=131071996/131071996
[pid=716978] ppid=716974 vsize=1464556 memory=1418304 CPUtime=276.39 cores=0,2
/proc/716978/stat : 716978 (Exact) R 716974 716978 716949 0 -1 4194304 306636 0 0 0 27546 93 0 0 20 0 1 0 141247796 1499705344 354576 134679101440 4194304 8309489 140725127901888 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 43851776 140725127910365 140725127910534 140725127910534 140725127917519 0
/proc/716978/statm: 366139 354576 1140 1005 0 364902 0
Current children cumulated CPU time: 276.39 s
Current children cumulated vsize: 1464556 KiB
Current children cumulated memory: 1418304 KiB
Child status: 30
Real time (s): 277.499
CPU time (s): 276.497
CPU user time (s): 275.531
CPU system time (s): 0.965381
CPU usage (%): 99.6389
Max. virtual memory (cumulated for all children) (KiB): 2601616
Max. memory (cumulated for all children) (KiB): 2211336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 275.531
system time used= 0.965381
maximum resident set size= 2211336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306666
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 1945
# summary of solver processes directly reported to runsolver:
# pid: 716978
# total CPU time (s): 276.497
# total CPU user time (s): 275.531
# total CPU system time (s): 0.965381
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.569934 second user time and 1.35292 second system time
The end
Begin job on nodeC032 at 2024-07-13 19:13:21 IDJOB=4425733 IDBENCH=143889 IDSOLVER=3040 FILE ID=nodeC032/4425733-1720890789 RUNJOBID= nodeC032-1720890801-716959 SLURM_JOB_ID= 7485821 Free space on /tmp= 890080 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub0_wcsp.wbo COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425733-1720890789/watcher-4425733-1720890789 -o /tmp/evaluation-result-4425733-1720890789/solver-4425733-1720890789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1720890801-716959 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=153657947 HOME/instance-4425733-1720890789.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6bd6ea5dd1d3d3bae9a72705def63daf RANDOM SEED=153657947 nodeC032.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 : 3585.854 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.33 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 : 2456.096 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.03 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 : 3581.921 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.33 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 : 1871.132 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.03 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 : 3594.642 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.33 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 : 2200.280 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.03 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 : 3381.522 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.33 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 : 2028.369 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.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129587376 kB MemAvailable: 129768604 kB Buffers: 327448 kB Cached: 697652 kB SwapCached: 0 kB Active: 482144 kB Inactive: 891728 kB Active(anon): 1460 kB Inactive(anon): 385080 kB Active(file): 480684 kB Inactive(file): 506648 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 9932 kB Writeback: 0 kB AnonPages: 348920 kB Mapped: 101460 kB Shmem: 37720 kB KReclaimable: 67436 kB Slab: 166056 kB SReclaimable: 67436 kB SUnreclaim: 98620 kB KernelStack: 3856 kB PageTables: 9376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 747920 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 56256 kB HardwareCorrupted: 0 kB AnonHugePages: 225280 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: 172756 kB DirectMap2M: 6940672 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 889960 MiB End job on nodeC032 at 2024-07-13 19:17:59