Trace number 4460284

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat log (2)OPT cert.50769 84.3614 85.322

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
MD5SUMec773b047bf21dab87650e27deaa6768
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark50769
Best CPU time to get the best result obtained on this benchmark12.3979
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 2110
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3036193
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2110
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3036193
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.23	c #variables 3945 #constraints 8582
4.07/4.34	c bounds - >= 0 @ 0.023574
4.07/4.34	c bounds 55914 >= 0 @ 0.138804
4.07/4.34	c #Conflicts:       1000 | #Constraints:       9582
4.07/4.34	c #Conflicts:       2000 | #Constraints:      10584
4.07/4.34	c INPROCESSING
4.07/4.34	c GARBAGE COLLECT
4.07/4.34	c bounds 55732 >= 0 @ 1.65786
4.07/4.34	c bounds 55331 >= 0 @ 2.11083
4.07/4.34	c #Conflicts:       3000 | #Constraints:       9537
4.07/4.34	c bounds 54986 >= 0 @ 2.96188
4.07/4.34	c #Conflicts:       4000 | #Constraints:      10551
4.07/4.34	c INPROCESSING
4.07/4.34	c GARBAGE COLLECT
4.07/4.34	c rational objective 49519.9
7.17/7.49	c #Conflicts:       5000 | #Constraints:       9955
7.17/7.49	c bounds 54977 >= 0 @ 5.69849
7.17/7.49	c #Conflicts:       6000 | #Constraints:      10973
7.17/7.49	c bounds 54968 >= 0 @ 6.3023
7.17/7.49	c bounds 54646 >= 0 @ 6.56102
7.17/7.49	c INPROCESSING
7.17/7.49	c GARBAGE COLLECT
7.17/7.49	c rational objective 49731.5
16.55/16.84	c #Conflicts:       7000 | #Constraints:       9958
16.55/16.84	c bounds 54590 >= 0 @ 7.74806
16.55/16.84	c #Conflicts:       8000 | #Constraints:      10969
16.55/16.84	c #Conflicts:       9000 | #Constraints:      11971
16.55/16.84	c INPROCESSING
16.55/16.84	c GARBAGE COLLECT
16.55/16.84	c bounds 54474 >= 0 @ 11.0473
16.55/16.84	c #Conflicts:      10000 | #Constraints:      10675
16.55/16.84	c #Conflicts:      11000 | #Constraints:      11683
16.55/16.84	c #Conflicts:      12000 | #Constraints:      12701
16.55/16.84	c INPROCESSING
16.55/16.84	c GARBAGE COLLECT
16.55/16.84	c rational objective 49775.3
21.63/21.95	c #Conflicts:      13000 | #Constraints:      11172
21.63/21.95	c bounds 54067 >= 0 @ 17.906
21.63/21.95	c #Conflicts:      14000 | #Constraints:      12191
21.63/21.95	c #Conflicts:      15000 | #Constraints:      13196
21.63/21.95	c INPROCESSING
21.63/21.95	c GARBAGE COLLECT
21.63/21.95	c rational objective 49792.5
26.32/26.63	c bounds 54052 >= 0 @ 20.8799
26.32/26.63	c bounds 53185 >= 0 @ 21.3836
26.32/26.63	c bounds 52840 >= 0 @ 21.5543
26.32/26.63	c bounds 52712 >= 0 @ 21.6962
26.32/26.63	c #Conflicts:      16000 | #Constraints:      11413
26.32/26.63	c #Conflicts:      17000 | #Constraints:      12428
26.32/26.63	c bounds 52327 >= 0 @ 24.035
26.32/26.63	c bounds 52289 >= 0 @ 24.7657
26.32/26.63	c #Conflicts:      18000 | #Constraints:      13441
26.32/26.63	c INPROCESSING
26.32/26.63	c GARBAGE COLLECT
26.32/26.63	c rational objective 49798.5
32.70/33.03	c #Conflicts:      19000 | #Constraints:      11394
32.70/33.03	c #Conflicts:      20000 | #Constraints:      12394
32.70/33.03	c #Conflicts:      21000 | #Constraints:      13394
32.70/33.03	c bounds 52070 >= 0 @ 30.6836
32.70/33.03	c INPROCESSING
32.70/33.03	c GARBAGE COLLECT
32.70/33.03	c rational objective 49798.5
39.08/39.48	c #Conflicts:      22000 | #Constraints:      11186
39.08/39.48	c #Conflicts:      23000 | #Constraints:      12200
39.08/39.48	c #Conflicts:      24000 | #Constraints:      13211
39.08/39.48	c #Conflicts:      25000 | #Constraints:      14224
39.08/39.48	c INPROCESSING
39.08/39.48	c GARBAGE COLLECT
39.08/39.48	c rational objective 49879.4
47.46/47.87	c bounds 51946 >= 0 @ 38.9513
47.46/47.87	c bounds 51937 >= 0 @ 39.0255
47.46/47.87	c #Conflicts:      26000 | #Constraints:      11819
47.46/47.87	c bounds 51855 >= 0 @ 39.7061
47.46/47.87	c bounds 51739 >= 0 @ 39.7126
47.46/47.87	c #Conflicts:      27000 | #Constraints:      12828
47.46/47.87	c #Conflicts:      28000 | #Constraints:      13830
47.46/47.87	c #Conflicts:      29000 | #Constraints:      14831
47.46/47.87	c INPROCESSING
47.46/47.87	c GARBAGE COLLECT
47.46/47.87	c rational objective 49888.8
56.43/56.85	c bounds 51114 >= 0 @ 46.2607
56.43/56.85	c #Conflicts:      30000 | #Constraints:      12223
56.43/56.85	c #Conflicts:      31000 | #Constraints:      13244
56.43/56.85	c bounds 50827 >= 0 @ 50.3976
56.43/56.85	c bounds 50769 >= 0 @ 50.417
56.43/56.85	c #Conflicts:      32000 | #Constraints:      14267
56.43/56.85	c #Conflicts:      33000 | #Constraints:      15268
56.43/56.85	c INPROCESSING
56.43/56.85	c GARBAGE COLLECT
56.43/56.85	c rational objective 49888.8
65.32/65.77	c #Conflicts:      34000 | #Constraints:      12447
65.32/65.77	c #Conflicts:      35000 | #Constraints:      13470
65.32/65.77	c #Conflicts:      36000 | #Constraints:      14488
65.32/65.77	c #Conflicts:      37000 | #Constraints:      15501
65.32/65.77	c INPROCESSING
65.32/65.77	c GARBAGE COLLECT
65.32/65.77	c rational objective 49888.8
75.88/76.33	c #Conflicts:      38000 | #Constraints:      10651
75.88/76.33	c bounds 50769 >= 4737 @ 65.2284
75.88/76.33	c #Conflicts:      39000 | #Constraints:      11659
75.88/76.33	c #Conflicts:      40000 | #Constraints:      12662
75.88/76.33	c #Conflicts:      41000 | #Constraints:      13668
75.88/76.33	c bounds 50769 >= 6672 @ 72.024
75.88/76.33	c INPROCESSING
75.88/76.33	c GARBAGE COLLECT
75.88/76.33	c rational objective 49888.8
84.17/84.69	c #Conflicts:      42000 | #Constraints:      10434
84.17/84.69	c #Conflicts:      43000 | #Constraints:      11436
84.17/84.69	c #Conflicts:      44000 | #Constraints:      12443
84.17/84.69	c #Conflicts:      45000 | #Constraints:      13451
84.17/84.69	c bounds 50769 >= 6672 @ 81.6491
84.17/84.69	c cpu time 81.6496 s
84.17/84.69	c deterministic time 4288293873 4.29e+09
84.17/84.69	c optimization time 0.016578 s
84.17/84.69	c total solve time 81.6094 s
84.17/84.69	c core-guided solve time 41.3313 s
84.17/84.69	c propagation time 36.7745 s
84.17/84.69	c conflict analysis time 36.4919 s
84.17/84.69	c propagations 31076030
84.17/84.69	c resolve steps 554053
84.17/84.69	c decisions 660858
84.17/84.69	c conflicts 45325
84.17/84.69	c restarts 131
84.17/84.69	c inprocessing phases 13
84.17/84.69	c input clauses 8583
84.17/84.69	c input cardinalities 2
84.17/84.69	c input general constraints 30
84.17/84.69	c input average constraint length 8.14
84.17/84.69	c input average constraint degree 8311.53
84.17/84.69	c learned clauses 15450
84.17/84.69	c learned cardinalities 97
84.17/84.69	c learned general constraints 30268
84.17/84.69	c learned average constraint length 847.11
84.17/84.69	c learned average constraint degree 27787675927.40
84.17/84.69	c watched constraints 6699
84.17/84.69	c counting constraints 23599
84.17/84.69	c gcd simplifications 2852
84.17/84.69	c detected cardinalities 34
84.17/84.69	c weakened non-implied lits 26206478
84.17/84.69	c weakened non-implying lits 29270
84.17/84.69	c original variables 3945
84.17/84.69	c clausal propagations 10931266
84.17/84.69	c cardinality propagations 3813
84.17/84.69	c watched propagations 149876
84.17/84.69	c counting propagations 19270490
84.17/84.69	c watch lookups 864602437
84.17/84.69	c watch backjump lookups 848766376
84.17/84.69	c watch checks 703381096
84.17/84.69	c propagation checks 1630056676
84.17/84.69	c constraint additions 177900852
84.17/84.69	c trail pops 31779030
84.17/84.69	c formula constraints 8582
84.17/84.69	c learned constraints 44833
84.17/84.69	c bound constraints 26
84.17/84.69	c core-guided constraints 7
84.17/84.69	c encountered formula constraints 458080
84.17/84.69	c encountered learned constraints 86625
84.17/84.69	c encountered bound constraints 1030
84.17/84.69	c encountered core-guided constraints 218
84.17/84.69	c LP total time 9.80043 s
84.17/84.69	c LP solve time 8.18 s
84.17/84.69	c LP constraints added 8594
84.17/84.69	c LP constraints removed 2
84.17/84.69	c LP pivots internal 45338
84.17/84.69	c LP pivots root 25179
84.17/84.69	c LP calls 576
84.17/84.69	c LP optimalities 83
84.17/84.69	c LP no pivot count 20
84.17/84.69	c LP infeasibilities 491
84.17/84.69	c LP valid Farkas constraints 491
84.17/84.69	c LP learned Farkas constraints 491
84.17/84.69	c LP basis resets 0
84.17/84.69	c LP cycling count 0
84.17/84.69	c LP singular count 0
84.17/84.69	c LP no primal count 0
84.17/84.69	c LP no farkas count 0
84.17/84.69	c LP other issue count 0
84.17/84.69	c LP Gomory cuts 0
84.17/84.69	c LP learned cuts 12
84.17/84.69	c LP deleted cuts 2
84.17/84.69	c LP encountered Gomory constraints 0
84.17/84.69	c LP encountered Farkas constraints 46537
84.17/84.69	c LP encountered learned Farkas constraints 6397
84.17/84.69	c CG auxiliary variables introduced 3
84.17/84.69	c CG solutions found 24
84.17/84.69	c CG cores constructed 2
84.17/84.69	c CG core cardinality constraints returned 0
84.17/84.69	c CG unit cores 0
84.17/84.69	c CG single cores 2
84.17/84.69	c CG blocks removed during cardinality reduction 0
84.17/84.69	c CG first core best 0
84.17/84.69	c CG decision core best 0
84.17/84.69	c CG core reduction tie 0
84.17/84.69	c CG core degree average 1.00
84.17/84.69	c CG core slack average 31.00
84.17/84.69	o 50769
84.17/84.69	s OPTIMUM FOUND
84.17/84.69	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 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 x3635 x3636 x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 x3902 x3903 x3904 x3905 x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 x3932 x3933 -x3934 -x3935 -x3936 -x3937 x3938 x3939 x3940 x3941 -x3942 -x3943 -x3944 -x3945

Verifier Data 

OK	50769

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED BOUNDS 50769 <= obj <= 50769
Verification succeeded.

VeriPB + CakePB

-- veripb --
Running VeriPB version 2.2.1
s VERIFIED BOUNDS 50769 <= obj <= 50769
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 50769 <= obj <= 50769
--summary--
ALL OK

Watcher Data 

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 (38246 MiB free)
  memory of node 1: 64473 MiB (52312 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460284-1722067298/watcher-4460284-1722067298 -o /tmp/evaluation-result-4460284-1722067298/solver-4460284-1722067298 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317337 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460284-1722067298 --lp-cut-gomory=0 HOME/instance-4460284-1722067298.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=320025, runsolver pid=320022

[startup+0.100088 s]*
/proc/loadavg: 4.14 4.13 3.92 4/264 320026
/proc/meminfo: memFree=92730436/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=37376 memory=2588 CPUtime=0 cores=4,6
/proc/320025/stat : 320025 (roundingsat) D 320022 320025 317326 0 -1 1077936128 215 0 0 0 0 0 0 0 20 0 1 0 43257737 38273024 647 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 9344 647 591 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2588 KiB

[startup+0.205812 s]*
/proc/loadavg: 4.14 4.13 3.92 5/264 320026
/proc/meminfo: memFree=92728936/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=38668 memory=6536 CPUtime=0 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 558 0 0 0 0 0 0 0 20 0 1 0 43257737 39596032 1634 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 9667 1634 1283 992 0 1525 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 38668 KiB
Current children cumulated memory: 6536 KiB

[startup+0.305805 s]*
/proc/loadavg: 4.14 4.13 3.92 5/264 320026
/proc/meminfo: memFree=92720048/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=45904 memory=15388 CPUtime=0.1 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 2776 0 0 0 9 1 0 0 20 0 1 0 43257737 47005696 3847 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 11476 3847 1729 992 0 3334 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45904 KiB
Current children cumulated memory: 15388 KiB

[startup+0.700237 s]
/proc/loadavg: 4.14 4.13 3.92 5/264 320026
/proc/meminfo: memFree=92707736/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=51612 memory=24944 CPUtime=0.48 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 4614 0 0 0 44 4 0 0 20 0 1 0 43257737 52850688 6236 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 12903 6236 1761 992 0 4761 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 51612 KiB
Current children cumulated memory: 24944 KiB

[startup+1.50022 s]
/proc/loadavg: 4.14 4.13 3.92 5/264 320026
/proc/meminfo: memFree=92675884/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=79572 memory=47356 CPUtime=1.28 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 8747 0 0 0 118 10 0 0 20 0 1 0 43257737 81481728 11839 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 19893 11839 1761 992 0 11751 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 79572 KiB
Current children cumulated memory: 47356 KiB

[startup+3.10599 s]
/proc/loadavg: 4.14 4.13 3.92 5/264 320026
/proc/meminfo: memFree=92565948/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=88488 memory=57260 CPUtime=2.88 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 10650 0 0 0 270 18 0 0 20 0 1 0 43257737 90611712 14315 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 22122 14315 1841 992 0 13980 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 88488 KiB
Current children cumulated memory: 57260 KiB

[startup+6.30018 s]
/proc/loadavg: 4.13 4.13 3.92 5/264 320027
/proc/meminfo: memFree=92415636/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=93496 memory=65592 CPUtime=6.08 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 12183 0 0 0 575 33 0 0 20 0 1 0 43257737 95739904 16398 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 23374 16398 1841 992 0 15232 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 93496 KiB
Current children cumulated memory: 65592 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 3.92 5/264 320028
/proc/meminfo: memFree=92096276/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=115568 memory=80220 CPUtime=12.46 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 14851 0 0 0 1189 57 0 0 20 0 1 0 43257737 118341632 20055 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 28892 20055 1841 992 0 20750 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 115568 KiB
Current children cumulated memory: 80220 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 3.92 5/264 320030
/proc/meminfo: memFree=91461636/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=151288 memory=103956 CPUtime=25.22 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 19270 0 0 0 2419 103 0 0 20 0 1 0 43257737 154918912 25989 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 37822 25989 1841 992 0 29680 0
Current children cumulated CPU time: 25.22 s
Current children cumulated vsize: 151288 KiB
Current children cumulated memory: 103956 KiB

[startup+51.1058 s]
/proc/loadavg: 4.12 4.13 3.93 5/266 320037
/proc/meminfo: memFree=90234584/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=170696 memory=136740 CPUtime=50.76 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 24453 0 0 0 4894 182 0 0 20 0 1 0 43257737 174792704 34185 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 42674 34185 1841 992 0 34532 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 170696 KiB
Current children cumulated memory: 136740 KiB

[startup+85.322 s]
# the end of solver process 320025 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=81.6534 s, system=2.70796 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+51.2003 s]
/proc/loadavg: 4.12 4.13 3.93 5/266 320037
/proc/meminfo: memFree=90234584/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=170696 memory=136740 CPUtime=50.85 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 24453 0 0 0 4903 182 0 0 20 0 1 0 43257737 174792704 34185 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 42674 34185 1841 992 0 34532 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 170696 KiB
Current children cumulated memory: 136740 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.10 4.12 3.93 5/267 320040
/proc/meminfo: memFree=89611580/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=178664 memory=145152 CPUtime=63.62 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 26532 0 0 0 6148 214 0 0 20 0 1 0 43257737 182951936 36288 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 44666 36288 1841 992 0 36524 0
Current children cumulated CPU time: 63.62 s
Current children cumulated vsize: 178664 KiB
Current children cumulated memory: 145152 KiB

[startup+76.8002 s]
/proc/loadavg: 4.16 4.13 3.93 5/268 320043
/proc/meminfo: memFree=89043060/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=192584 memory=157832 CPUtime=76.38 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 29728 0 0 0 7392 246 0 0 20 0 1 0 43257737 197206016 39458 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 48146 39458 1857 992 0 40004 0
Current children cumulated CPU time: 76.38 s
Current children cumulated vsize: 192584 KiB
Current children cumulated memory: 157832 KiB

[startup+80.0002 s]*
/proc/loadavg: 4.14 4.13 3.93 5/268 320045
/proc/meminfo: memFree=88887752/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=192584 memory=158092 CPUtime=79.58 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 29749 0 0 0 7704 254 0 0 20 0 1 0 43257737 197206016 39523 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 48146 39523 1857 992 0 40004 0
Current children cumulated CPU time: 79.58 s
Current children cumulated vsize: 192584 KiB
Current children cumulated memory: 158092 KiB

[startup+83.2002 s]
/proc/loadavg: 4.14 4.13 3.93 5/268 320045
/proc/meminfo: memFree=88763468/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=192584 memory=158092 CPUtime=82.77 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 29776 0 0 0 8017 260 0 0 20 0 1 0 43257737 197206016 39523 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 48146 39523 1857 992 0 40004 0
Current children cumulated CPU time: 82.77 s
Current children cumulated vsize: 192584 KiB
Current children cumulated memory: 158092 KiB

[startup+84.0002 s]*
/proc/loadavg: 4.14 4.13 3.93 5/268 320045
/proc/meminfo: memFree=88736264/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=192772 memory=158352 CPUtime=83.57 cores=4,6
/proc/320025/stat : 320025 (roundingsat) R 320022 320025 317326 0 -1 4194304 29814 0 0 0 8097 260 0 0 20 0 1 0 43257737 197398528 39588 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 48193 39588 1857 992 0 40051 0
Current children cumulated CPU time: 83.57 s
Current children cumulated vsize: 192772 KiB
Current children cumulated memory: 158352 KiB

[startup+84.8001 s]
/proc/loadavg: 4.14 4.13 3.93 5/268 320045
/proc/meminfo: memFree=88736264/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=192772 memory=158352 CPUtime=84.33 cores=4,6
/proc/320025/stat : 320025 (roundingsat) D 320022 320025 317326 0 -1 4194304 29817 0 0 0 8165 268 0 0 20 0 1 0 43257737 197398528 39588 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 6 0 0 5 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 48193 39588 1857 992 0 40051 0
Current children cumulated CPU time: 84.33 s
Current children cumulated vsize: 192772 KiB
Current children cumulated memory: 158352 KiB

[startup+85.2003 s]
/proc/loadavg: 4.13 4.13 3.94 4/268 320045
/proc/meminfo: memFree=88691916/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=192772 memory=158352 CPUtime=84.34 cores=4,6
/proc/320025/stat : 320025 (roundingsat) D 320022 320025 317326 0 -1 4194304 29817 0 0 0 8165 269 0 0 20 0 1 0 43257737 197398528 39588 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 0 0 0 17 4 0 0 67 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 48193 39588 1857 992 0 40051 0
Current children cumulated CPU time: 84.34 s
Current children cumulated vsize: 192772 KiB
Current children cumulated memory: 158352 KiB

[startup+85.3012 s]
/proc/loadavg: 4.13 4.13 3.94 4/268 320045
/proc/meminfo: memFree=88691916/131524600 swapFree=131060368/131071996
[pid=320025] ppid=320022 vsize=192772 memory=158352 CPUtime=84.35 cores=4,6
/proc/320025/stat : 320025 (roundingsat) D 320022 320025 317326 0 -1 4194304 29817 0 0 0 8165 270 0 0 20 0 1 0 43257737 197398528 39588 134679101440 4194304 8254357 140734370933568 0 0 0 0 0 25182210 1 0 0 17 4 0 0 75 0 0 9037040 9046032 38522880 140734370939743 140734370940005 140734370940005 140734370947017 0
/proc/320025/statm: 48193 39588 1857 992 0 40051 0
Current children cumulated CPU time: 84.35 s
Current children cumulated vsize: 192772 KiB
Current children cumulated memory: 158352 KiB

Child status: 0

Real time (s): 85.322
CPU time (s): 84.3614
CPU user time (s): 81.6534
CPU system time (s): 2.70796
CPU usage (%): 98.8741
Max. virtual memory (cumulated for all children) (KiB): 192772
Max. memory (cumulated for all children) (KiB): 158352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 81.6534
system time used= 2.70796
maximum resident set size= 158352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29825
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5262152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13742
involuntary context switches= 124


# summary of solver processes directly reported to runsolver:
#   pid: 320025
#   total CPU time (s): 84.3614
#   total CPU user time (s): 81.6534
#   total CPU system time (s): 2.70796

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.178365 second user time and 0.437055 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-27 10:01:38
IDJOB=4460284
IDBENCH=148155
IDSOLVER=3086
FILE ID=nodeC014/4460284-1722067298
RUNJOBID= nodeC014-1722064836-317337
SLURM_JOB_ID= 8248084
Free space on /tmp= 890004 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460284-1722067298/watcher-4460284-1722067298 -o /tmp/evaluation-result-4460284-1722067298/solver-4460284-1722067298 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722064836-317337 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460284-1722067298 --lp-cut-gomory=0 HOME/instance-4460284-1722067298.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=2109049168

nodeC014.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		: 3656.989
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.45
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		: 3686.997
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.48
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		: 3610.746
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.768
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.48
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		: 3657.943
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.45
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		: 3687.194
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.48
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		: 3652.750
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.45
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		: 3599.769
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        92733312 kB
MemAvailable:   127391188 kB
Buffers:          367468 kB
Cached:         35057684 kB
SwapCached:          140 kB
Active:           825592 kB
Inactive:       37231804 kB
Active(anon):       2192 kB
Inactive(anon):  2682824 kB
Active(file):     823400 kB
Inactive(file): 34548980 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131060368 kB
Dirty:            164580 kB
Writeback:           144 kB
AnonPages:       2624152 kB
Mapped:           103336 kB
Shmem:             52988 kB
KReclaimable:     250640 kB
Slab:             380960 kB
SReclaimable:     250640 kB
SUnreclaim:       130320 kB
KernelStack:        4256 kB
PageTables:        14668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3330336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15424 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1773568 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:      393940 kB
DirectMap2M:    46565376 kB
DirectMap1G:    89128960 kB

Free space on /tmp at the end= 890000 MiB
End job on nodeC014 at 2024-07-27 10:03:04