Trace number 4483724

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
Exact 2025-06-02OPT-7944 3420.68 3429.56

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_007.opb
MD5SUM19358b71c175af654e98554c4f116d17
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 benchmark-7944
Best CPU time to get the best result obtained on this benchmark0.165829
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5475
Total number of constraints181
Number of constraints which are clauses9
Number of constraints which are cardinality constraints (but not clauses)172
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint1490
Number of terms in the objective function 5474
Biggest coefficient in the objective function 260
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 629333
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 260
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 629333
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

359.16/360.06	o -6032
359.45/360.33	o -6216
359.45/360.33	o -6567
359.45/360.35	o -6582
359.45/360.39	o -6593
359.55/360.42	o -6616
359.65/360.55	o -6633
413.11/414.12	o -6640
484.40/485.63	o -6643
495.47/496.78	o -6658
525.19/526.50	o -6659
596.30/597.86	o -6660
641.88/643.55	o -6662
655.44/657.18	o -6676
671.60/673.38	o -6682
711.19/713.03	o -6686
752.67/754.69	o -6687
811.59/813.79	o -6690
840.31/842.57	o -6691
846.09/848.31	o -6693
846.19/848.49	o -6694
855.56/857.84	o -6701
858.36/860.62	o -6717
858.36/860.66	o -6720
861.55/863.83	o -6721
861.55/863.88	o -6736
863.44/865.71	o -6739
863.44/865.76	o -6740
863.44/865.79	o -6743
863.54/865.88	o -6746
864.14/866.45	o -6753
909.41/911.83	o -6756
960.37/962.94	o -6765
1058.51/1061.38	o -6770
1074.37/1077.21	o -6772
1096.02/1098.91	o -6780
1125.64/1128.65	o -6790
1137.62/1140.64	o -6793
1152.97/1156.08	o -6794
1153.07/1156.11	o -6797
1153.07/1156.13	o -6799
1162.35/1165.49	o -6803
1192.27/1195.46	o -6818
1199.55/1202.79	o -6827
1204.45/1207.65	o -6837
1214.32/1217.57	o -6848
1217.51/1220.73	o -6852
1228.39/1231.64	o -6857
1261.00/1264.33	o -6859
1306.98/1310.48	o -6865
1347.18/1350.78	o -6866
1369.11/1372.74	o -6869
1391.76/1395.48	o -6871
1401.44/1405.11	o -6882
1413.90/1417.63	o -6895
1424.77/1428.54	o -6897
1444.03/1447.84	o -6898
1457.29/1461.13	o -6902
1466.86/1470.78	o -6948
1466.96/1470.82	o -6951
1480.03/1484.00	o -6953
1502.38/1506.35	o -6958
1539.58/1543.63	o -6962
1574.69/1578.82	o -6963
1601.92/1606.12	o -6965
1607.50/1611.74	o -7002
1608.00/1612.25	o -7007
1608.00/1612.28	o -7008
1608.10/1612.34	o -7018
1608.10/1612.39	o -7019
1608.20/1612.41	o -7021
1608.40/1612.69	o -7043
1608.60/1612.81	o -7053
1608.60/1612.85	o -7069
1608.60/1612.89	o -7073
1609.40/1613.66	o -7074
1610.30/1614.57	o -7085
1610.30/1614.59	o -7101
1610.40/1614.62	o -7124
1610.40/1614.66	o -7125
1610.49/1614.71	o -7131
1614.68/1618.90	o -7143
1627.75/1632.09	o -7144
1634.93/1639.21	o -7147
1640.71/1645.02	o -7150
1641.01/1645.30	o -7163
1647.30/1651.64	o -7166
1663.26/1667.67	o -7170
1663.36/1667.71	o -7173
1664.95/1669.38	o -7174
1671.13/1675.57	o -7175
1684.80/1689.23	o -7176
1737.27/1741.86	o -7186
1851.38/1856.24	o -7189
1877.21/1882.17	o -7201
1895.36/1900.31	o -7209
1897.86/1902.88	o -7211
1897.96/1902.95	o -7214
1897.96/1902.98	o -7222
1907.74/1912.79	o -7225
1915.02/1920.08	o -7239
1992.62/1997.84	o -7254
2000.90/2006.10	o -7259
2025.84/2031.14	o -7266
2070.32/2075.71	o -7272
2121.89/2127.44	o -7275
2150.91/2156.54	o -7276
2170.66/2176.39	o -7284
2172.75/2178.46	o -7285
2173.06/2178.73	o -7288
2173.06/2178.78	o -7290
2173.26/2178.90	o -7291
2176.05/2181.71	o -7292
2176.05/2181.76	o -7293
2176.15/2181.81	o -7296
2176.15/2181.87	o -7299
2176.25/2181.91	o -7302
2209.57/2215.38	o -7309
2235.31/2241.13	o -7311
2245.88/2251.71	o -7316
2269.92/2275.84	o -7321
2342.33/2348.45	o -7323
2380.93/2387.15	o -7325
2380.93/2387.17	o -7326
2381.53/2387.77	o -7340
2381.63/2387.88	o -7348
2403.07/2409.33	o -7349
2403.37/2409.65	o -7352
2403.47/2409.70	o -7353
2404.37/2410.66	o -7355
2404.47/2410.74	o -7358
2404.47/2410.79	o -7359
2404.57/2410.83	o -7362
2404.77/2411.02	o -7365
2404.77/2411.06	o -7366
2405.26/2411.54	o -7367
2410.25/2416.53	o -7369
2411.95/2418.22	o -7370
2412.35/2418.66	o -7374
2414.14/2420.48	o -7378
2459.03/2465.46	o -7383
2478.08/2484.55	o -7386
2512.29/2518.89	o -7389
2512.50/2519.06	o -7391
2516.88/2523.45	o -7394
2516.98/2523.50	o -7405
2517.18/2523.70	o -7407
2518.17/2524.76	o -7416
2521.76/2528.37	o -7417
2521.86/2528.42	o -7428
2522.47/2529.05	o -7430
2534.83/2541.46	o -7436
2570.94/2577.63	o -7437
2580.42/2587.12	o -7448
2581.62/2588.36	o -7453
2588.99/2595.76	o -7459
2589.99/2596.71	o -7464
2589.99/2596.76	o -7469
2590.09/2596.86	o -7471
2592.59/2599.35	o -7483
2592.89/2599.66	o -7489
2594.79/2601.52	o -7491
2595.88/2602.66	o -7515
2698.02/2705.04	o -7517
2698.02/2705.07	o -7521
2707.90/2714.91	o -7524
2708.59/2715.62	o -7557
2752.18/2759.35	o -7565
2848.63/2856.09	o -7566
2861.29/2868.73	o -7576
2863.89/2871.34	o -7584
2887.82/2895.37	o -7586
2889.81/2897.38	o -7591
2905.27/2912.80	o -7592
2905.37/2912.97	o -7597
2908.67/2916.25	o -7599
2909.37/2916.96	o -7602
2943.18/2950.89	o -7603
3002.92/3010.78	o -7605
3004.51/3012.35	o -7607
3006.22/3014.02	o -7609
3006.32/3014.17	o -7618
3006.42/3014.23	o -7620
3006.42/3014.27	o -7623
3010.21/3018.06	o -7628
3014.49/3022.36	o -7629
3021.57/3029.43	o -7630
3025.86/3033.77	o -7632
3029.55/3037.45	o -7633
3036.44/3044.36	o -7635
3051.50/3059.48	o -7639
3070.25/3078.20	o -7643
3076.23/3084.24	o -7644
3098.58/3106.64	o -7647
3114.34/3122.42	o -7651
3116.33/3124.42	o -7654
3138.37/3146.58	o -7657
3149.34/3157.55	o -7670
3159.02/3167.26	o -7672
3160.61/3168.84	o -7673
3180.46/3188.78	o -7681
3192.13/3200.45	o -7683
3193.42/3201.74	o -7687
3193.62/3201.94	o -7692
3194.22/3202.59	o -7700
3195.23/3203.50	o -7709
3197.02/3205.31	o -7717
3230.23/3238.62	o -7718
3244.59/3253.07	o -7720
3244.70/3253.13	o -7722
3244.89/3253.36	o -7724
3245.39/3253.89	o -7729
3245.59/3254.04	o -7730
3253.68/3262.17	o -7733
3295.06/3303.60	o -7738
3308.72/3317.39	o -7739
3318.29/3326.99	o -7741
3319.39/3328.08	o -7743
3319.49/3328.14	o -7747
3322.68/3331.38	o -7748
3323.08/3331.71	o -7753
3323.08/3331.77	o -7755
3323.28/3331.97	o -7757
3325.77/3334.47	o -7766
3344.12/3352.82	o -7767
3344.22/3352.99	o -7768
3344.62/3353.34	o -7769
3344.62/3353.37	o -7779
3344.91/3353.67	o -7789
3353.59/3362.38	o -7790
3353.79/3362.56	o -7794
3356.39/3365.13	o -7804
3359.08/3367.86	o -7805
3374.93/3383.79	o -7809
3377.12/3385.97	o -7812
3377.33/3386.18	o -7816
3380.72/3389.59	o -7818
3381.12/3389.95	o -7825
3381.22/3390.02	o -7833
3381.81/3390.67	o -7841
3381.91/3390.75	o -7849
3382.11/3390.90	o -7855
3382.32/3391.12	o -7858
3383.21/3392.00	o -7859
3389.30/3398.13	o -7864
3404.35/3413.29	o -7872
3404.75/3413.63	o -7873
3404.95/3413.80	o -7875
3405.26/3414.14	o -7885
3405.26/3414.19	o -7889
3407.84/3416.78	o -7890
3408.25/3417.13	o -7893
3408.74/3417.68	o -7902
3408.84/3417.73	o -7903
3409.83/3418.76	o -7904
3410.43/3419.33	o -7905
3411.53/3420.49	o -7906
3412.43/3421.39	o -7914
3412.52/3421.43	o -7915
3414.63/3423.51	o -7918
3417.91/3426.88	o -7919
3418.71/3427.66	o -7921
3419.01/3427.96	o -7924
3419.41/3428.31	o -7926
3419.71/3428.69	o -7942
3420.61/3429.53	o -7944
3420.61/3429.53	s OPTIMUM FOUND
3420.61/3429.53	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 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475

Verifier Data 

OK	-7944

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483724-1751591679/watcher-4483724-1751591679 -o /tmp/evaluation-result-4483724-1751591679/solver-4483724-1751591679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751591301-82978 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=470462175 --ls=360 HOME/instance-4483724-1751591679.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
solver pid=83099, runsolver pid=83096
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.08 3.25 2.50 5/264 83100
/proc/meminfo: memFree=103648136/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=0.09 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 9 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+0.205485 s]*
/proc/loadavg: 4.08 3.25 2.50 5/264 83100
/proc/meminfo: memFree=103648136/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=0.2 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 20 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+0.3054 s]*
/proc/loadavg: 4.08 3.25 2.50 5/264 83100
/proc/meminfo: memFree=103648136/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=0.3 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 30 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+0.700201 s]
/proc/loadavg: 4.08 3.25 2.50 5/264 83100
/proc/meminfo: memFree=103648136/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=0.69 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 69 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+1.50021 s]
/proc/loadavg: 4.08 3.25 2.50 5/264 83100
/proc/meminfo: memFree=103648388/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=1.49 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 149 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+3.10529 s]
/proc/loadavg: 4.08 3.26 2.51 5/264 83100
/proc/meminfo: memFree=103663368/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=3.09 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 309 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+6.30019 s]
/proc/loadavg: 4.08 3.26 2.51 5/264 83100
/proc/meminfo: memFree=103657720/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=6.28 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 628 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 3.30 2.53 5/264 83100
/proc/meminfo: memFree=103617676/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=12.66 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 1266 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+25.5001 s]
/proc/loadavg: 4.12 3.33 2.54 5/264 83101
/proc/meminfo: memFree=102920708/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=25.43 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 2543 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+51.1053 s]
/proc/loadavg: 4.08 3.38 2.58 5/264 83101
/proc/meminfo: memFree=102025616/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=50.98 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 5098 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 3.52 2.68 5/263 83148
/proc/meminfo: memFree=100688012/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=102.05 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 10205 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 3.62 2.77 5/264 83151
/proc/meminfo: memFree=99216368/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=161.91 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 16191 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.71 2.85 5/266 83155
/proc/meminfo: memFree=95546592/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=221.77 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 22177 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.78 2.93 5/266 83157
/proc/meminfo: memFree=93078888/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=281.63 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 28163 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 281.63 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.84 3.01 5/266 83159
/proc/meminfo: memFree=92486280/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=38132 memory=14420 CPUtime=341.49 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 3059 0 0 0 34149 0 0 0 20 0 1 0 74846791 39047168 3605 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 9533 3605 1024 1200 0 8013 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 38132 KiB
Current children cumulated memory: 14420 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.90 3.08 5/267 83166
/proc/meminfo: memFree=89749732/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=598916 memory=455604 CPUtime=401.34 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 71310 0 0 0 40104 30 0 0 20 0 1 0 74846791 613289984 113901 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 149729 113901 1280 1200 0 148209 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 598916 KiB
Current children cumulated memory: 455604 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.95 3.15 5/269 83173
/proc/meminfo: memFree=89161900/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=657800 memory=503136 CPUtime=461.17 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 84371 0 0 0 46075 42 0 0 20 0 1 0 74846791 673587200 125784 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 164450 125784 1280 1200 0 162930 0
Current children cumulated CPU time: 461.17 s

################
# More data... #
################

/proc/loadavg: 4.13 4.13 4.09 5/264 83398
/proc/meminfo: memFree=85117008/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1003656 memory=918276 CPUtime=3034.44 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 152684 0 0 0 303176 268 0 0 20 0 1 0 74846791 1027743744 229569 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 250914 229569 1280 1200 0 249394 0
Current children cumulated CPU time: 3034.44 s
Current children cumulated vsize: 1003656 KiB
Current children cumulated memory: 918276 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/264 83400
/proc/meminfo: memFree=85123552/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1006216 memory=920708 CPUtime=3094.29 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 153384 0 0 0 309157 272 0 0 20 0 1 0 74846791 1030365184 230177 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 251554 230177 1280 1200 0 250034 0
Current children cumulated CPU time: 3094.29 s
Current children cumulated vsize: 1006216 KiB
Current children cumulated memory: 920708 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 83402
/proc/meminfo: memFree=85128428/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1006216 memory=920708 CPUtime=3154.13 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 153483 0 0 0 315138 275 0 0 20 0 1 0 74846791 1030365184 230177 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 251554 230177 1280 1200 0 250034 0
Current children cumulated CPU time: 3154.13 s
Current children cumulated vsize: 1006216 KiB
Current children cumulated memory: 920708 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 83404
/proc/meminfo: memFree=85129168/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1006216 memory=921092 CPUtime=3213.98 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 153701 0 0 0 321119 279 0 0 20 0 1 0 74846791 1030365184 230273 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 251554 230273 1280 1200 0 250034 0
Current children cumulated CPU time: 3213.98 s
Current children cumulated vsize: 1006216 KiB
Current children cumulated memory: 921092 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/263 83450
/proc/meminfo: memFree=95281012/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1006216 memory=923652 CPUtime=3273.81 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 154363 0 0 0 327098 283 0 0 20 0 1 0 74846791 1030365184 230913 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 251554 230913 1280 1200 0 250034 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 1006216 KiB
Current children cumulated memory: 923652 KiB

[startup+3342.3 s]
/proc/loadavg: 4.36 4.20 4.12 5/263 83452
/proc/meminfo: memFree=95275228/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1006216 memory=923652 CPUtime=3333.64 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 154691 0 0 0 333076 288 0 0 20 0 1 0 74846791 1030365184 230913 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 251554 230913 1280 1200 0 250034 0
Current children cumulated CPU time: 3333.64 s
Current children cumulated vsize: 1006216 KiB
Current children cumulated memory: 923652 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.18 4.11 5/263 83455
/proc/meminfo: memFree=95220088/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1079948 memory=969988 CPUtime=3393.48 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 166357 0 0 0 339052 296 0 0 20 0 1 0 74846791 1105866752 242497 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 269987 242497 1280 1200 0 268467 0
Current children cumulated CPU time: 3393.48 s
Current children cumulated vsize: 1079948 KiB
Current children cumulated memory: 969988 KiB

[startup+3429.56 s]
# the end of solver process 83099 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=3417.68 s, system=2.99748 s

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

[startup+3404.8 s]
/proc/loadavg: 4.16 4.17 4.11 5/263 83455
/proc/meminfo: memFree=95220340/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1098576 memory=984196 CPUtime=3395.98 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 169920 0 0 0 339301 297 0 0 20 0 1 0 74846791 1124941824 246049 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 274644 246049 1280 1200 0 273124 0
Current children cumulated CPU time: 3395.98 s
Current children cumulated vsize: 1098576 KiB
Current children cumulated memory: 984196 KiB

[startup+3417.6 s]
/proc/loadavg: 4.21 4.18 4.11 5/263 83456
/proc/meminfo: memFree=95201524/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1098576 memory=984196 CPUtime=3408.74 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 169920 0 0 0 340577 297 0 0 20 0 1 0 74846791 1124941824 246049 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 274644 246049 1280 1200 0 273124 0
Current children cumulated CPU time: 3408.74 s
Current children cumulated vsize: 1098576 KiB
Current children cumulated memory: 984196 KiB

[startup+3424 s]*
/proc/loadavg: 4.18 4.18 4.11 5/263 83456
/proc/meminfo: memFree=95201524/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1098576 memory=984196 CPUtime=3415.13 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 169921 0 0 0 341215 298 0 0 20 0 1 0 74846791 1124941824 246049 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 274644 246049 1280 1200 0 273124 0
Current children cumulated CPU time: 3415.13 s
Current children cumulated vsize: 1098576 KiB
Current children cumulated memory: 984196 KiB

[startup+3427.2 s]
/proc/loadavg: 4.18 4.18 4.11 5/263 83456
/proc/meminfo: memFree=95185392/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1098576 memory=984324 CPUtime=3418.31 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 169932 0 0 0 341533 298 0 0 20 0 1 0 74846791 1124941824 246081 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 274644 246081 1280 1200 0 273124 0
Current children cumulated CPU time: 3418.31 s
Current children cumulated vsize: 1098576 KiB
Current children cumulated memory: 984324 KiB

[startup+3428.8 s]
/proc/loadavg: 4.16 4.17 4.11 5/263 83456
/proc/meminfo: memFree=95185392/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1098576 memory=984324 CPUtime=3419.91 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 169936 0 0 0 341693 298 0 0 20 0 1 0 74846791 1124941824 246081 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 274644 246081 1280 1200 0 273124 0
Current children cumulated CPU time: 3419.91 s
Current children cumulated vsize: 1098576 KiB
Current children cumulated memory: 984324 KiB

[startup+3429.2 s]
/proc/loadavg: 4.16 4.17 4.11 5/263 83456
/proc/meminfo: memFree=95185392/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1098576 memory=984324 CPUtime=3420.31 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 169939 0 0 0 341733 298 0 0 20 0 1 0 74846791 1124941824 246081 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 274644 246081 1280 1200 0 273124 0
Current children cumulated CPU time: 3420.31 s
Current children cumulated vsize: 1098576 KiB
Current children cumulated memory: 984324 KiB

[startup+3429.4 s]
/proc/loadavg: 4.16 4.17 4.11 5/263 83456
/proc/meminfo: memFree=95185392/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1098576 memory=984324 CPUtime=3420.51 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 169941 0 0 0 341753 298 0 0 20 0 1 0 74846791 1124941824 246081 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 274644 246081 1280 1200 0 273124 0
Current children cumulated CPU time: 3420.51 s
Current children cumulated vsize: 1098576 KiB
Current children cumulated memory: 984324 KiB

[startup+3429.5 s]
/proc/loadavg: 4.16 4.17 4.11 5/263 83456
/proc/meminfo: memFree=95185392/131249988 swapFree=33010160/33010684
[pid=83099] ppid=83096 vsize=1098576 memory=984324 CPUtime=3420.61 cores=1,3
/proc/83099/stat : 83099 (Exact) R 83096 83099 82966 0 -1 4194304 169944 0 0 0 341763 298 0 0 20 0 1 0 74846791 1124941824 246081 18446744073709551615 4198400 9112445 140728396072384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 38760448 140728396081467 140728396081645 140728396081645 140728396087247 0
/proc/83099/statm: 274644 246081 1280 1200 0 273124 0
Current children cumulated CPU time: 3420.61 s
Current children cumulated vsize: 1098576 KiB
Current children cumulated memory: 984324 KiB

Child status: 30

Real time (s): 3429.56
CPU time (s): 3420.68
CPU user time (s): 3417.68
CPU system time (s): 2.99748
CPU usage (%): 99.741
Max. virtual memory (cumulated for all children) (KiB): 1098576
Max. memory (cumulated for all children) (KiB): 984324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3417.68
system time used= 2.99748
maximum resident set size= 984452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169948
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= 112
involuntary context switches= 1837


# summary of solver processes directly reported to runsolver:
#   pid: 83099
#   total CPU time (s): 3420.68
#   total CPU user time (s): 3417.68
#   total CPU system time (s): 2.99748

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.31628 second user time and 16.3667 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-04 03:14:39
IDJOB=4483724
IDBENCH=179855
IDSOLVER=3317
FILE ID=nodeC034/4483724-1751591679
RUNJOBID= nodeC034-1751591301-82978
SLURM_JOB_ID= 9598851
Free space on /tmp= 430832 MiB

SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_260_007.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4483724-1751591679/watcher-4483724-1751591679 -o /tmp/evaluation-result-4483724-1751591679/solver-4483724-1751591679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751591301-82978 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=470462175 --ls=360 HOME/instance-4483724-1751591679.opb

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

MD5SUM BENCH= 19358b71c175af654e98554c4f116d17
RANDOM SEED=470462175

nodeC034 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.828
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.53
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.789
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.53
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		: 3544.780
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.53
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		: 3598.939
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.53
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		: 3599.684
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.53
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		: 3599.758
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.53
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		: 3568.936
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.53
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		: 3598.276
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        103660316 kB
MemAvailable:   127203564 kB
Buffers:            2128 kB
Cached:         24281236 kB
SwapCached:           36 kB
Active:          2901408 kB
Inactive:       23806620 kB
Active(anon):    2438524 kB
Inactive(anon):     4208 kB
Active(file):     462884 kB
Inactive(file): 23802412 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7336 kB
Writeback:             0 kB
AnonPages:       2423028 kB
Mapped:           119464 kB
Shmem:             18068 kB
KReclaimable:     233980 kB
Slab:             327016 kB
SReclaimable:     233980 kB
SUnreclaim:        93036 kB
KernelStack:        4272 kB
PageTables:         7884 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    2973828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1421312 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430852 MiB
End job on nodeC034 at 2025-07-04 04:11:49