Trace number 4529062

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
mixed-bag-2024 2025-07-10OPT6 365.466 366.591

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
MD5SUMc4903dfb08836eadb378d0a168fb9840
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 benchmark6
Best CPU time to get the best result obtained on this benchmark0.630697
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2994
Total number of constraints3433
Number of constraints which are clauses2988
Number of constraints which are cardinality constraints (but not clauses)61
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.00/0.03	c [STEP] preprocessing with Papilo
0.00/0.04	c [STEP] solving with SCIP
299.05/300.09	c [STEP] preprocessing done, loading into solver
299.05/300.10	c [STEP] solving
299.05/300.10	c #variables 2989 #constraints 504
361.37/362.59	c #Conflicts:       1000 | #Constraints:       1503
361.37/362.59	c #Conflicts:       2000 | #Constraints:       2503
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:       3000 | #Constraints:       2514
361.37/362.59	c #Conflicts:       4000 | #Constraints:       3514
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:       5000 | #Constraints:       2921
361.37/362.59	c #Conflicts:       6000 | #Constraints:       3921
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:       7000 | #Constraints:       2923
361.37/362.59	c #Conflicts:       8000 | #Constraints:       3923
361.37/362.59	c #Conflicts:       9000 | #Constraints:       4923
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      10000 | #Constraints:       3630
361.37/362.59	c #Conflicts:      11000 | #Constraints:       4630
361.37/362.59	c #Conflicts:      12000 | #Constraints:       5630
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      13000 | #Constraints:       4081
361.37/362.59	c #Conflicts:      14000 | #Constraints:       5081
361.37/362.59	c #Conflicts:      15000 | #Constraints:       6081
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      16000 | #Constraints:       4316
361.37/362.59	c #Conflicts:      17000 | #Constraints:       5316
361.37/362.59	c #Conflicts:      18000 | #Constraints:       6316
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      19000 | #Constraints:       4327
361.37/362.59	c #Conflicts:      20000 | #Constraints:       5327
361.37/362.59	c #Conflicts:      21000 | #Constraints:       6327
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      22000 | #Constraints:       4129
361.37/362.59	c #Conflicts:      23000 | #Constraints:       5129
361.37/362.59	c #Conflicts:      24000 | #Constraints:       6129
361.37/362.59	c #Conflicts:      25000 | #Constraints:       7129
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      26000 | #Constraints:       4733
361.37/362.59	c #Conflicts:      27000 | #Constraints:       5733
361.37/362.59	c #Conflicts:      28000 | #Constraints:       6733
361.37/362.59	c #Conflicts:      29000 | #Constraints:       7733
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      30000 | #Constraints:       5125
361.37/362.59	c #Conflicts:      31000 | #Constraints:       6125
361.37/362.59	c #Conflicts:      32000 | #Constraints:       7125
361.37/362.59	c #Conflicts:      33000 | #Constraints:       8125
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      34000 | #Constraints:       5334
361.37/362.59	c #Conflicts:      35000 | #Constraints:       6334
361.37/362.59	c #Conflicts:      36000 | #Constraints:       7334
361.37/362.59	c #Conflicts:      37000 | #Constraints:       8334
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      38000 | #Constraints:       5341
361.37/362.59	c #Conflicts:      39000 | #Constraints:       6341
361.37/362.59	c #Conflicts:      40000 | #Constraints:       7341
361.37/362.59	c #Conflicts:      41000 | #Constraints:       8341
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      42000 | #Constraints:       5190
361.37/362.59	c #Conflicts:      43000 | #Constraints:       6190
361.37/362.59	c #Conflicts:      44000 | #Constraints:       7190
361.37/362.59	c #Conflicts:      45000 | #Constraints:       8190
361.37/362.59	c #Conflicts:      46000 | #Constraints:       9190
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      47000 | #Constraints:       5758
361.37/362.59	c #Conflicts:      48000 | #Constraints:       6758
361.37/362.59	c #Conflicts:      49000 | #Constraints:       7758
361.37/362.59	c #Conflicts:      50000 | #Constraints:       8758
361.37/362.59	c #Conflicts:      51000 | #Constraints:       9758
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      52000 | #Constraints:       6144
361.37/362.59	c #Conflicts:      53000 | #Constraints:       7144
361.37/362.59	c #Conflicts:      54000 | #Constraints:       8144
361.37/362.59	c #Conflicts:      55000 | #Constraints:       9144
361.37/362.59	c #Conflicts:      56000 | #Constraints:      10144
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      57000 | #Constraints:       6337
361.37/362.59	c #Conflicts:      58000 | #Constraints:       7337
361.37/362.59	c #Conflicts:      59000 | #Constraints:       8337
361.37/362.59	c #Conflicts:      60000 | #Constraints:       9337
361.37/362.59	c #Conflicts:      61000 | #Constraints:      10337
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      62000 | #Constraints:       6331
361.37/362.59	c #Conflicts:      63000 | #Constraints:       7331
361.37/362.59	c #Conflicts:      64000 | #Constraints:       8331
361.37/362.59	c #Conflicts:      65000 | #Constraints:       9331
361.37/362.59	c #Conflicts:      66000 | #Constraints:      10331
361.37/362.59	c INPROCESSING
361.37/362.59	c GARBAGE COLLECT
361.37/362.59	c #Conflicts:      67000 | #Constraints:       6133
361.37/362.59	c #Conflicts:      68000 | #Constraints:       7133
365.37/366.58	c #Conflicts:      69000 | #Constraints:       8133
365.37/366.58	c #Conflicts:      70000 | #Constraints:       9133
365.37/366.58	c #Conflicts:      71000 | #Constraints:      10133
365.37/366.58	c #Conflicts:      72000 | #Constraints:      11133
365.37/366.58	c INPROCESSING
365.37/366.58	c GARBAGE COLLECT
365.37/366.58	c #Conflicts:      73000 | #Constraints:       6731
365.37/366.58	c cpu time 364.623 s
365.37/366.58	c deterministic time 16077512422 1.61e+10
365.37/366.58	c optimization time 5.2e-05 s
365.37/366.58	c total solve time 65.5672 s
365.37/366.58	c core-guided solve time 0 s
365.37/366.58	c propagation time 50.5119 s
365.37/366.58	c conflict analysis time 12.8019 s
365.37/366.58	c propagations 13147042
365.37/366.58	c resolve steps 553640
365.37/366.58	c decisions 662953
365.37/366.58	c conflicts 73270
365.37/366.58	c restarts 229
365.37/366.58	c inprocessing phases 19
365.37/366.58	c input clauses 60
365.37/366.58	c input cardinalities 60
365.37/366.58	c input general constraints 384
365.37/366.58	c input average constraint length 57.57
365.37/366.58	c input average constraint degree 518.69
365.37/366.58	c learned clauses 8356
365.37/366.58	c learned cardinalities 592
365.37/366.58	c learned general constraints 64322
365.37/366.58	c learned average constraint length 576.03
365.37/366.58	c learned average constraint degree 19365784.09
365.37/366.58	c watched constraints 52075
365.37/366.58	c counting constraints 12631
365.37/366.58	c gcd simplifications 6600
365.37/366.58	c detected cardinalities 23
365.37/366.58	c weakened non-implied lits 3896004
365.37/366.58	c weakened non-implying lits 7280
365.37/366.58	c original variables 2994
365.37/366.58	c clausal propagations 134466
365.37/366.58	c cardinality propagations 491438
365.37/366.58	c watched propagations 742025
365.37/366.58	c counting propagations 11697065
365.37/366.58	c watch lookups 625563769
365.37/366.58	c watch backjump lookups 535154007
365.37/366.58	c watch checks 13145239116
365.37/366.58	c propagation checks 1621477871
365.37/366.58	c constraint additions 122384398
365.37/366.58	c trail pops 13883265
365.37/366.58	c formula constraints 504
365.37/366.58	c learned constraints 73270
365.37/366.58	c bound constraints 0
365.37/366.58	c core-guided constraints 0
365.37/366.58	c encountered formula constraints 375265
365.37/366.58	c encountered learned constraints 251645
365.37/366.58	c encountered bound constraints 0
365.37/366.58	c encountered core-guided constraints 0
365.37/366.58	c LP total time 0 s
365.37/366.58	c LP solve time 0 s
365.37/366.58	c LP constraints added 0
365.37/366.58	c LP constraints removed 0
365.37/366.58	c LP pivots internal 0
365.37/366.58	c LP pivots root 0
365.37/366.58	c LP calls 0
365.37/366.58	c LP optimalities 0
365.37/366.58	c LP no pivot count 0
365.37/366.58	c LP infeasibilities 0
365.37/366.58	c LP valid Farkas constraints 0
365.37/366.58	c LP learned Farkas constraints 0
365.37/366.58	c LP basis resets 0
365.37/366.58	c LP cycling count 0
365.37/366.58	c LP singular count 0
365.37/366.58	c LP no primal count 0
365.37/366.58	c LP no farkas count 0
365.37/366.58	c LP other issue count 0
365.37/366.58	c LP Gomory cuts 0
365.37/366.58	c LP learned cuts 0
365.37/366.58	c LP deleted cuts 0
365.37/366.58	c LP encountered Gomory constraints 0
365.37/366.58	c LP encountered Farkas constraints 0
365.37/366.58	c LP encountered learned Farkas constraints 0
365.37/366.58	c CG auxiliary variables introduced 0
365.37/366.58	c CG solutions found 0
365.37/366.58	c CG cores constructed 0
365.37/366.58	c CG core cardinality constraints returned 0
365.37/366.58	c CG unit cores 0
365.37/366.58	c CG single cores 0
365.37/366.58	c CG blocks removed during cardinality reduction 0
365.37/366.58	c CG first core best 0
365.37/366.58	c CG decision core best 0
365.37/366.58	c CG core reduction tie 0
365.37/366.58	c CG core degree average 0.00
365.37/366.58	c CG core slack average 0.00
365.37/366.58	c CG exhausted 0
365.37/366.58	c CG exhaust time 0 s
365.37/366.58	c CG trimmed 0
365.37/366.58	c CG trim time 0 s
365.37/366.58	c CG minimized 0
365.37/366.58	c CG minimize time 0 s
365.37/366.58	c CG am1 prop time 0 s
365.37/366.58	c CG # am1s reformulated 0
365.37/366.58	c CG lower bound derived from am1s 0
365.37/366.58	c CG # clausal cores 0
365.37/366.58	c CG # cardinality cores 0
365.37/366.58	c CG # pb cores 0
365.37/366.58	c CG # pb reforms 0
365.37/366.58	c CG # cores discarded because of pb reform 0
365.37/366.58	d LOWERBOUND 0
365.37/366.58	d NCORES 0
365.37/366.58	d NPBCORES 0
365.37/366.58	d NPBREFORM 0
365.37/366.58	d NTRIMMED 0
365.37/366.58	d NEXHAUSTED 0
365.37/366.58	d NAM1S 0
365.37/366.58	d AM1LB 0
365.37/366.58	c [Papilo Statistics]
365.37/366.58	c prepro time 0.00922685s
365.37/366.58	c # tsx applied 12
365.37/366.58	c # tsx conflicts 0
365.37/366.58	c # bound changes 6
365.37/366.58	c # side changes 0
365.37/366.58	c # coef changes 0
365.37/366.58	c # rounds 2
365.37/366.58	c # deted vars 6
365.37/366.58	c # deted constrs 2989
365.37/366.58	c # consecutive rounds of only bound changes 0
365.37/366.58	c [STEP] postprocessing with Papilo
365.37/366.58	o 6
365.37/366.58	s OPTIMUM FOUND
365.37/366.58	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

Verifier Data 

OK	6

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: 63665 MiB (61846 MiB free)
  memory of node 1: 64507 MiB (63566 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529062-1752259760/watcher-4529062-1752259760 -o /tmp/evaluation-result-4529062-1752259760/solver-4529062-1752259760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121310 --watchdog 3760 mixed-bag HOME/instance-4529062-1752259760.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=121686, runsolver pid=121682

[startup+0.100067 s]*
/proc/loadavg: 4.20 4.13 4.10 5/266 121700
/proc/meminfo: memFree=128363084/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=112472 memory=40056 CPUtime=0.08 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 7468 0 0 0 7 1 0 0 20 0 1 0 141653899 115171328 10014 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 28118 10014 3968 2834 0 10323 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 112472 KiB
Current children cumulated memory: 40056 KiB

[startup+0.205632 s]*
/proc/loadavg: 4.20 4.13 4.10 4/264 121700
/proc/meminfo: memFree=128626852/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=130692 memory=52728 CPUtime=0.18 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 10655 0 0 0 17 1 0 0 20 0 1 0 141653899 133828608 13182 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 32673 13182 4000 2834 0 14878 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 130692 KiB
Current children cumulated memory: 52728 KiB

[startup+0.305511 s]*
/proc/loadavg: 4.20 4.13 4.10 4/264 121700
/proc/meminfo: memFree=128601652/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=132724 memory=54520 CPUtime=0.28 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 11095 0 0 0 27 1 0 0 20 0 1 0 141653899 135909376 13630 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 33181 13630 4000 2834 0 15386 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 132724 KiB
Current children cumulated memory: 54520 KiB

[startup+0.70018 s]
/proc/loadavg: 4.20 4.13 4.10 4/262 121708
/proc/meminfo: memFree=128555592/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=148672 memory=70148 CPUtime=0.67 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 15187 0 0 0 65 2 0 0 20 0 1 0 141653899 152240128 17537 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 37168 17537 4000 2834 0 19373 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 148672 KiB
Current children cumulated memory: 70148 KiB

[startup+1.50014 s]
/proc/loadavg: 4.20 4.13 4.10 5/263 121720
/proc/meminfo: memFree=128541076/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=163972 memory=85636 CPUtime=1.48 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 18937 0 0 0 145 3 0 0 20 0 1 0 141653899 167907328 21409 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 40993 21409 4192 2834 0 23198 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 163972 KiB
Current children cumulated memory: 85636 KiB

[startup+3.10542 s]
/proc/loadavg: 4.20 4.13 4.10 5/266 121745
/proc/meminfo: memFree=128320724/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=197780 memory=118596 CPUtime=3.07 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 28622 0 0 0 303 4 0 0 20 0 1 0 141653899 202526720 29649 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 49445 29649 4192 2834 0 31650 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 197780 KiB
Current children cumulated memory: 118596 KiB

[startup+6.30017 s]
/proc/loadavg: 4.19 4.13 4.10 5/266 121790
/proc/meminfo: memFree=128251992/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=206604 memory=127460 CPUtime=6.26 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 33401 0 0 0 621 5 0 0 20 0 1 0 141653899 211562496 31865 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 51651 31865 4192 2834 0 33856 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 206604 KiB
Current children cumulated memory: 127460 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.13 4.10 5/266 121790
/proc/meminfo: memFree=128063204/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=207460 memory=129252 CPUtime=12.63 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 33862 0 0 0 1258 5 0 0 20 0 1 0 141653899 212439040 32313 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 51865 32313 4192 2834 0 34070 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 207460 KiB
Current children cumulated memory: 129252 KiB

[startup+25.5002 s]
/proc/loadavg: 4.21 4.14 4.10 5/266 121790
/proc/meminfo: memFree=127988880/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=230772 memory=152652 CPUtime=25.39 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 39978 0 0 0 2533 6 0 0 20 0 1 0 141653899 236310528 38163 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 57693 38163 4192 2834 0 39898 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 230772 KiB
Current children cumulated memory: 152652 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 121792
/proc/meminfo: memFree=127914376/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=235008 memory=158924 CPUtime=50.92 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 41073 0 0 0 5085 7 0 0 20 0 1 0 141653899 240648192 39731 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 58752 39731 4192 2834 0 40957 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 235008 KiB
Current children cumulated memory: 158924 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 121794
/proc/meminfo: memFree=127782716/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=248324 memory=171600 CPUtime=101.93 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 44614 0 0 0 10186 7 0 0 20 0 1 0 141653899 254283776 42900 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 62081 42900 4192 2834 0 44286 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 248324 KiB
Current children cumulated memory: 171600 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 121840
/proc/meminfo: memFree=127879804/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=248324 memory=182224 CPUtime=161.75 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 44731 0 0 0 16168 7 0 0 20 0 1 0 141653899 254283776 45556 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 62081 45556 4192 2834 0 44286 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 248324 KiB
Current children cumulated memory: 182224 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 121842
/proc/meminfo: memFree=127874316/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=262060 memory=195820 CPUtime=221.57 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 48917 0 0 0 22149 8 0 0 20 0 1 0 141653899 268349440 48955 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 65515 48955 4192 2834 0 47720 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 262060 KiB
Current children cumulated memory: 195820 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 121844
/proc/meminfo: memFree=127830880/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=275268 memory=207468 CPUtime=281.39 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 51909 0 0 0 28130 9 0 0 20 0 1 0 141653899 281874432 51867 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 68817 51867 4192 2834 0 51022 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 275268 KiB
Current children cumulated memory: 207468 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 121846
/proc/meminfo: memFree=127754940/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=301892 memory=237348 CPUtime=341.23 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 53880 0 0 0 34069 54 0 0 20 0 1 0 141653899 309137408 59337 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 75473 59337 4288 2834 0 57678 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 301892 KiB
Current children cumulated memory: 237348 KiB

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

# cumulated CPU time of all completed processes:  user=364.626 s, system=0.839733 s

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

[startup+345.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 121846
/proc/meminfo: memFree=127755444/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=301892 memory=237348 CPUtime=344.52 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 53880 0 0 0 34394 58 0 0 20 0 1 0 141653899 309137408 59337 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 75473 59337 4288 2834 0 57678 0
Current children cumulated CPU time: 344.52 s
Current children cumulated vsize: 301892 KiB
Current children cumulated memory: 237348 KiB

[startup+358.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 121847
/proc/meminfo: memFree=127745524/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=301892 memory=237348 CPUtime=357.29 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 53880 0 0 0 35655 74 0 0 20 0 1 0 141653899 309137408 59337 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 75473 59337 4288 2834 0 57678 0
Current children cumulated CPU time: 357.29 s
Current children cumulated vsize: 301892 KiB
Current children cumulated memory: 237348 KiB

[startup+361.6 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 121855
/proc/meminfo: memFree=127749244/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=301892 memory=237348 CPUtime=360.48 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 53880 0 0 0 35971 77 0 0 20 0 1 0 141653899 309137408 59337 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 75473 59337 4288 2834 0 57678 0
Current children cumulated CPU time: 360.48 s
Current children cumulated vsize: 301892 KiB
Current children cumulated memory: 237348 KiB

[startup+364.8 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 121855
/proc/meminfo: memFree=127741684/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=301892 memory=237348 CPUtime=363.67 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 53928 0 0 0 36286 81 0 0 20 0 1 0 141653899 309137408 59337 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 75473 59337 4288 2834 0 57678 0
Current children cumulated CPU time: 363.67 s
Current children cumulated vsize: 301892 KiB
Current children cumulated memory: 237348 KiB

[startup+365.6 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 121855
/proc/meminfo: memFree=127741684/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=301892 memory=237348 CPUtime=364.47 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 53928 0 0 0 36366 81 0 0 20 0 1 0 141653899 309137408 59337 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 75473 59337 4288 2834 0 57678 0
Current children cumulated CPU time: 364.47 s
Current children cumulated vsize: 301892 KiB
Current children cumulated memory: 237348 KiB

[startup+366 s]*
/proc/loadavg: 4.07 4.09 4.09 5/264 121855
/proc/meminfo: memFree=127741684/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=301892 memory=237348 CPUtime=364.87 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 53928 0 0 0 36406 81 0 0 20 0 1 0 141653899 309137408 59337 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 75473 59337 4288 2834 0 57678 0
Current children cumulated CPU time: 364.87 s
Current children cumulated vsize: 301892 KiB
Current children cumulated memory: 237348 KiB

[startup+366.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 121855
/proc/meminfo: memFree=127741684/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=301892 memory=237348 CPUtime=365.27 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 53928 0 0 0 36444 83 0 0 20 0 1 0 141653899 309137408 59337 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 75473 59337 4288 2834 0 57678 0
Current children cumulated CPU time: 365.27 s
Current children cumulated vsize: 301892 KiB
Current children cumulated memory: 237348 KiB

[startup+366.5 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 121855
/proc/meminfo: memFree=127741684/131250000 swapFree=33010416/33010684
[pid=121686] ppid=121682 vsize=301892 memory=237348 CPUtime=365.37 cores=1,3
/proc/121686/stat : 121686 (mixed-bag) R 121682 121686 121298 0 -1 4194304 53928 0 0 0 36454 83 0 0 20 0 1 0 141653899 309137408 59337 18446744073709551615 4235264 15840557 140725636569360 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 52166656 140725636573594 140725636573671 140725636573671 140725636579275 0
/proc/121686/statm: 75473 59337 4288 2834 0 57678 0
Current children cumulated CPU time: 365.37 s
Current children cumulated vsize: 301892 KiB
Current children cumulated memory: 237348 KiB

Child status: 0

Real time (s): 366.591
CPU time (s): 365.466
CPU user time (s): 364.626
CPU system time (s): 0.839733
CPU usage (%): 99.6932
Max. virtual memory (cumulated for all children) (KiB): 301892
Max. memory (cumulated for all children) (KiB): 237348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 364.627
system time used= 0.839733
maximum resident set size= 237604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53952
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= 152
involuntary context switches= 718


# summary of solver processes directly reported to runsolver:
#   pid: 121686
#   total CPU time (s): 365.466
#   total CPU user time (s): 364.626
#   total CPU system time (s): 0.839733

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.732835 second user time and 1.63569 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-11 20:49:20
IDJOB=4529062
IDBENCH=148771
IDSOLVER=3386
FILE ID=nodeC018/4529062-1752259760
RUNJOBID= nodeC018-1752256148-121310
SLURM_JOB_ID= 9682594
Free space on /tmp= 432560 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529062-1752259760/watcher-4529062-1752259760 -o /tmp/evaluation-result-4529062-1752259760/solver-4529062-1752259760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121310 --watchdog 3760  mixed-bag HOME/instance-4529062-1752259760.opb

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

MD5SUM BENCH= c4903dfb08836eadb378d0a168fb9840
RANDOM SEED=1877573857

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.857
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.842
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3600.331
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3773.555
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3601.107
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3600.996
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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		: 3599.841
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
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.828
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128421348 kB
MemAvailable:   129370268 kB
Buffers:            2128 kB
Cached:          1710188 kB
SwapCached:           32 kB
Active:           937876 kB
Inactive:        1181336 kB
Active(anon):     424652 kB
Inactive(anon):      288 kB
Active(file):     513224 kB
Inactive(file):  1181048 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31404 kB
Writeback:             0 kB
AnonPages:        409056 kB
Mapped:           120164 kB
Shmem:             18044 kB
KReclaimable:     187372 kB
Slab:             281348 kB
SReclaimable:     187372 kB
SUnreclaim:        93976 kB
KernelStack:        4176 kB
PageTables:         3756 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     788020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    258048 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432512 MiB
End job on nodeC018 at 2025-07-11 20:55:27