Trace number 4523120

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_no_db_no_ls 2025-06-19OPT-7236 2083.27 2089.68

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_230_000.opb
MD5SUMc0a31fcc227365986291d6c595cc47ca
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-7236
Best CPU time to get the best result obtained on this benchmark0.231602
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6424
Total number of constraints180
Number of constraints which are clauses8
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 constraint1816
Number of terms in the objective function 6423
Biggest coefficient in the objective function 261
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 684049
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 684049
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 

0.00/0.06	o -5365
0.29/0.37	o -5427
0.29/0.37	o -5586
0.29/0.38	o -5776
0.29/0.39	o -5850
0.49/0.53	o -5858
0.68/0.79	o -5887
1.18/1.25	o -5893
14.54/14.69	o -5906
33.69/33.82	o -5907
48.15/48.36	o -5908
54.04/54.25	o -5914
61.01/61.24	o -5919
84.75/85.04	o -5920
98.31/98.69	o -5935
102.20/102.54	o -5946
184.27/184.84	o -5947
223.56/224.29	o -5952
238.81/239.52	o -5957
247.90/248.60	o -5966
253.88/254.66	o -5993
256.47/257.27	o -5994
258.37/259.19	o -5995
270.72/271.53	o -5996
276.02/276.81	o -6002
276.02/276.83	o -6012
276.02/276.85	o -6017
276.12/276.91	o -6024
276.12/277.00	o -6026
320.98/321.99	o -6027
335.06/336.08	o -6028
390.19/391.34	o -6034
416.52/417.76	o -6035
447.23/448.50	o -6045
464.78/466.16	o -6047
483.13/484.55	o -6050
494.00/495.41	o -6051
509.56/511.04	o -6059
532.49/534.07	o -6060
556.42/558.01	o -6086
569.68/571.33	o -6089
575.56/577.25	o -6125
578.26/579.93	o -6219
588.03/589.77	o -6243
595.21/596.95	o -6250
596.00/597.77	o -6251
596.00/597.79	o -6255
606.08/607.81	o -6257
614.56/616.35	o -6269
618.25/620.02	o -6270
632.50/634.34	o -6271
639.39/641.29	o -6272
639.49/641.32	o -6276
640.48/642.32	o -6281
640.58/642.44	o -6282
665.71/667.63	o -6287
676.28/678.27	o -6289
686.35/688.36	o -6290
689.74/691.79	o -6293
700.12/702.15	o -6297
714.37/716.49	o -6299
714.47/716.56	o -6303
739.69/741.80	o -6307
875.71/878.26	o -6311
1002.44/1005.34	o -6313
1047.81/1050.80	o -6314
1060.17/1063.26	o -6325
1060.27/1063.33	o -6329
1072.94/1076.06	o -6336
1081.21/1084.37	o -6337
1081.61/1084.72	o -6347
1085.60/1088.76	o -6353
1097.57/1100.75	o -6355
1097.57/1100.79	o -6357
1097.67/1100.89	o -6364
1097.97/1101.12	o -6369
1097.97/1101.15	o -6371
1103.85/1107.09	o -6380
1103.95/1107.13	o -6387
1111.13/1114.34	o -6388
1117.79/1121.08	o -6389
1117.90/1121.11	o -6396
1118.10/1121.31	o -6398
1125.48/1128.73	o -6399
1145.41/1148.78	o -6405
1145.51/1148.80	o -6407
1145.51/1148.82	o -6411
1145.51/1148.84	o -6419
1145.51/1148.86	o -6423
1173.54/1176.91	o -6425
1200.74/1204.28	o -6426
1215.40/1218.92	o -6427
1222.87/1226.49	o -6430
1222.97/1226.52	o -6432
1230.45/1234.07	o -6437
1247.78/1251.46	o -6446
1280.28/1284.08	o -6452
1309.37/1313.26	o -6453
1357.02/1361.09	o -6456
1389.10/1393.20	o -6461
1398.57/1402.70	o -6470
1411.13/1415.35	o -6472
1443.72/1448.04	o -6476
1452.38/1456.72	o -6477
1452.38/1456.74	o -6478
1452.38/1456.76	o -6479
1453.58/1457.92	o -6500
1464.15/1468.58	o -6502
1471.72/1476.19	o -6512
1472.22/1476.64	o -6525
1473.91/1478.39	o -6528
1490.67/1495.18	o -6531
1493.85/1498.33	o -6538
1493.85/1498.36	o -6540
1494.05/1498.56	o -6541
1494.05/1498.59	o -6543
1494.15/1498.61	o -6545
1494.15/1498.64	o -6547
1497.64/1502.10	o -6548
1534.42/1539.06	o -6549
1542.98/1547.61	o -6550
1542.98/1547.65	o -6565
1543.28/1547.94	o -6567
1543.28/1547.98	o -6569
1547.77/1552.49	o -6570
1547.87/1552.53	o -6572
1547.87/1552.57	o -6573
1547.97/1552.60	o -6575
1547.97/1552.65	o -6580
1548.07/1552.70	o -6585
1548.07/1552.76	o -6586
1548.17/1552.81	o -6589
1548.27/1552.91	o -6594
1549.37/1554.04	o -6600
1549.37/1554.07	o -6601
1549.57/1554.26	o -6602
1549.67/1554.39	o -6603
1549.77/1554.44	o -6626
1552.56/1557.25	o -6631
1552.66/1557.35	o -6632
1559.93/1564.63	o -6638
1562.12/1566.81	o -6639
1562.12/1566.87	o -6640
1563.32/1568.04	o -6644
1563.42/1568.13	o -6652
1563.52/1568.25	o -6657
1568.10/1572.87	o -6665
1601.49/1606.37	o -6667
1602.29/1607.19	o -6669
1602.39/1607.25	o -6670
1602.59/1607.43	o -6672
1608.96/1613.87	o -6676
1643.95/1648.96	o -6678
1652.92/1657.96	o -6681
1653.02/1658.07	o -6682
1653.12/1658.15	o -6683
1653.12/1658.19	o -6684
1654.51/1659.58	o -6685
1654.61/1659.62	o -6686
1654.61/1659.69	o -6688
1654.71/1659.74	o -6689
1654.81/1659.81	o -6690
1654.81/1659.85	o -6691
1655.02/1660.00	o -6692
1655.91/1660.91	o -6697
1656.01/1661.03	o -6699
1656.01/1661.08	o -6701
1656.11/1661.14	o -6703
1656.21/1661.21	o -6704
1656.21/1661.28	o -6706
1656.31/1661.38	o -6707
1659.59/1664.69	o -6711
1659.69/1664.77	o -6712
1660.00/1665.07	o -6713
1661.10/1666.17	o -6714
1661.20/1666.25	o -6715
1661.30/1666.33	o -6716
1661.30/1666.39	o -6718
1665.48/1670.54	o -6719
1705.94/1711.14	o -6720
1706.24/1711.43	o -6721
1706.53/1711.75	o -6722
1706.63/1711.84	o -6723
1706.63/1711.88	o -6728
1706.73/1711.95	o -6734
1706.84/1712.02	o -6735
1709.63/1714.86	o -6737
1716.01/1721.21	o -6738
1724.58/1729.86	o -6739
1748.20/1753.59	o -6741
1755.68/1761.10	o -6742
1755.78/1761.14	o -6785
1755.78/1761.16	o -6843
1756.37/1761.73	o -6844
1766.84/1772.28	o -6847
1766.94/1772.35	o -6848
1767.04/1772.40	o -6858
1767.04/1772.43	o -6860
1770.82/1776.20	o -6861
1779.29/1784.73	o -6862
1789.96/1795.43	o -6863
1793.55/1799.09	o -6864
1816.07/1821.67	o -6866
1816.17/1821.79	o -6867
1816.37/1821.92	o -6869
1816.47/1822.02	o -6870
1816.57/1822.13	o -6872
1816.77/1822.37	o -6874
1816.87/1822.47	o -6876
1816.97/1822.55	o -6877
1817.07/1822.64	o -6878
1817.16/1822.75	o -6879
1817.26/1822.86	o -6882
1829.83/1835.48	o -6883
1829.93/1835.58	o -6885
1830.13/1835.72	o -6887
1830.13/1835.79	o -6889
1833.32/1838.90	o -6890
1833.62/1839.21	o -6891
1834.52/1840.10	o -6893
1844.08/1849.71	o -6896
1844.67/1850.34	o -6901
1844.67/1850.39	o -6902
1846.57/1852.24	o -6904
1846.57/1852.28	o -6905
1847.07/1852.79	o -6908
1847.17/1852.83	o -6909
1847.37/1853.03	o -6910
1847.37/1853.07	o -6911
1847.47/1853.13	o -6912
1847.96/1853.67	o -6919
1848.06/1853.76	o -6920
1850.76/1856.46	o -6921
1853.65/1859.31	o -6936
1872.98/1878.73	o -6940
1884.94/1890.74	o -6945
1908.47/1914.33	o -6946
1919.53/1925.47	o -6947
1919.93/1925.81	o -6949
1919.93/1925.85	o -6950
1920.03/1925.94	o -6951
1920.33/1926.27	o -6952
1920.53/1926.49	o -6954
1920.62/1926.55	o -6966
1923.02/1928.91	o -6971
1936.88/1942.83	o -6973
1941.26/1947.21	o -6976
1941.26/1947.27	o -6977
1941.36/1947.38	o -6978
1941.46/1947.49	o -6981
1941.56/1947.53	o -6983
1941.56/1947.58	o -6984
1941.66/1947.67	o -6988
1941.76/1947.74	o -6994
1941.76/1947.79	o -6995
1944.75/1950.70	o -6996
1944.75/1950.77	o -6997
1945.54/1951.57	o -6998
1972.25/1978.37	o -7001
1972.35/1978.41	o -7002
1972.35/1978.49	o -7003
1973.45/1979.56	o -7006
1990.39/1996.55	o -7010
1991.79/1997.97	o -7011
1991.99/1998.12	o -7018
1992.28/1998.49	o -7020
1993.49/1999.67	o -7021
1993.59/1999.71	o -7023
1993.59/1999.76	o -7024
1996.68/2002.83	o -7025
1996.68/2002.88	o -7026
1996.78/2002.98	o -7027
1997.07/2003.20	o -7034
1997.07/2003.24	o -7036
1997.17/2003.30	o -7037
1997.17/2003.33	o -7039
1997.17/2003.38	o -7040
1997.37/2003.53	o -7041
2002.15/2008.38	o -7045
2002.35/2008.53	o -7046
2009.93/2016.15	o -7047
2022.48/2028.74	o -7060
2022.98/2029.20	o -7061
2043.81/2050.17	o -7062
2046.30/2052.60	o -7064
2049.39/2055.72	o -7065
2049.49/2055.82	o -7066
2049.49/2055.87	o -7067
2050.79/2057.12	o -7068
2068.92/2075.31	o -7069
2069.02/2075.41	o -7073
2069.12/2075.52	o -7100
2069.12/2075.59	o -7102
2069.22/2075.62	o -7103
2069.32/2075.79	o -7107
2071.31/2077.72	o -7115
2071.51/2077.98	o -7116
2071.81/2078.24	o -7118
2072.31/2078.72	o -7119
2072.41/2078.86	o -7125
2072.51/2078.91	o -7126
2072.62/2079.00	o -7134
2073.21/2079.66	o -7135
2073.31/2079.70	o -7137
2073.31/2079.74	o -7141
2074.30/2080.72	o -7142
2074.40/2080.81	o -7152
2075.00/2081.45	o -7153
2075.70/2082.17	o -7154
2075.90/2082.30	o -7158
2075.90/2082.37	o -7162
2076.00/2082.48	o -7173
2076.10/2082.52	o -7174
2076.30/2082.73	o -7175
2076.40/2082.89	o -7178
2076.50/2082.95	o -7179
2076.50/2082.99	o -7180
2076.60/2083.10	o -7181
2076.70/2083.15	o -7185
2079.09/2085.52	o -7186
2079.09/2085.59	o -7206
2079.49/2085.90	o -7207
2079.49/2085.94	o -7213
2079.49/2085.97	o -7214
2079.59/2086.08	o -7215
2079.69/2086.11	o -7216
2081.48/2087.99	o -7220
2081.58/2088.04	o -7222
2081.78/2088.23	o -7223
2081.78/2088.27	o -7224
2081.88/2088.33	o -7225
2081.88/2088.36	o -7226
2082.27/2088.79	o -7227
2082.38/2088.87	o -7234
2082.98/2089.45	o -7235
2083.08/2089.50	o -7236
2083.18/2089.64	s OPTIMUM FOUND
2083.18/2089.64	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 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 x5494 -x5495 -x5496 -x5497 x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 x5569 -x5570 x5571 -x5572 -x5573 x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 x5889 -x5890 -x5891 x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 x6259 -x6260 -x6261 x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424

Verifier Data 

OK	-7236

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523120-1751643656/watcher-4523120-1751643656 -o /tmp/evaluation-result-4523120-1751643656/solver-4523120-1751643656 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751643641-102403 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1114430476 --ls=0 --inp-dombreaklim=0 HOME/instance-4523120-1751643656.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=102554, runsolver pid=102551

[startup+0.100065 s]*
/proc/loadavg: 1.22 0.34 0.22 5/267 102555
/proc/meminfo: memFree=113451312/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=47256 memory=25968 CPUtime=0.09 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 5554 0 0 0 8 1 0 0 20 0 1 0 80043553 48390144 6492 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 11814 6492 1248 1200 0 10294 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47256 KiB
Current children cumulated memory: 25968 KiB

[startup+0.205628 s]*
/proc/loadavg: 1.22 0.34 0.22 5/267 102555
/proc/meminfo: memFree=113447532/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=56756 memory=35740 CPUtime=0.2 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 7487 0 0 0 19 1 0 0 20 0 1 0 80043553 58118144 8935 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 14189 8935 1248 1200 0 12669 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56756 KiB
Current children cumulated memory: 35740 KiB

[startup+0.305592 s]*
/proc/loadavg: 1.22 0.34 0.22 5/267 102555
/proc/meminfo: memFree=113435476/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=66840 memory=46176 CPUtime=0.29 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 9583 0 0 0 28 1 0 0 20 0 1 0 80043553 68444160 11544 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 16710 11544 1248 1200 0 15190 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 66840 KiB
Current children cumulated memory: 46176 KiB

[startup+0.700179 s]
/proc/loadavg: 1.22 0.34 0.22 5/267 102555
/proc/meminfo: memFree=113427412/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=79940 memory=65124 CPUtime=0.68 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 12751 0 0 0 67 1 0 0 20 0 1 0 80043553 81858560 16281 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 19985 16281 1280 1200 0 18465 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79940 KiB
Current children cumulated memory: 65124 KiB

[startup+1.50017 s]
/proc/loadavg: 1.22 0.34 0.22 5/267 102555
/proc/meminfo: memFree=113379028/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=117368 memory=104880 CPUtime=1.48 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 19363 0 0 0 145 3 0 0 20 0 1 0 80043553 120184832 26220 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 29342 26220 1280 1200 0 27822 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117368 KiB
Current children cumulated memory: 104880 KiB

[startup+3.10546 s]
/proc/loadavg: 1.22 0.34 0.22 5/267 102555
/proc/meminfo: memFree=113165084/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=141560 memory=124448 CPUtime=3.09 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 20554 0 0 0 304 5 0 0 20 0 1 0 80043553 144957440 31112 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 35390 31112 1280 1200 0 33870 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 141560 KiB
Current children cumulated memory: 124448 KiB

[startup+6.30016 s]
/proc/loadavg: 1.52 0.42 0.24 5/267 102555
/proc/meminfo: memFree=113008988/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=189860 memory=157700 CPUtime=6.27 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 23200 0 0 0 620 7 0 0 20 0 1 0 80043553 194416640 39425 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 47465 39425 1280 1200 0 45945 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 189860 KiB
Current children cumulated memory: 157700 KiB

[startup+12.7002 s]
/proc/loadavg: 1.72 0.47 0.26 5/267 102555
/proc/meminfo: memFree=112909608/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=214480 memory=201904 CPUtime=12.65 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 29196 0 0 0 1255 10 0 0 20 0 1 0 80043553 219627520 50476 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 53620 50476 1280 1200 0 52100 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 214480 KiB
Current children cumulated memory: 201904 KiB

[startup+25.5002 s]
/proc/loadavg: 2.29 0.66 0.33 5/267 102555
/proc/meminfo: memFree=112113848/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=332144 memory=299620 CPUtime=25.42 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 40579 0 0 0 2526 16 0 0 20 0 1 0 80043553 340115456 74905 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 83036 74905 1280 1200 0 81516 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 332144 KiB
Current children cumulated memory: 299620 KiB

[startup+51.1054 s]
/proc/loadavg: 2.88 0.93 0.43 5/267 102556
/proc/meminfo: memFree=111781836/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=553244 memory=470876 CPUtime=50.94 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 63115 0 0 0 5066 28 0 0 20 0 1 0 80043553 566521856 117719 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 138311 117719 1280 1200 0 136791 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 553244 KiB
Current children cumulated memory: 470876 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.42 0.62 5/267 102559
/proc/meminfo: memFree=111100664/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=566200 memory=483548 CPUtime=102 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 66449 0 0 0 10164 36 0 0 20 0 1 0 80043553 579788800 120887 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 141550 120887 1280 1200 0 140030 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 566200 KiB
Current children cumulated memory: 483548 KiB

[startup+162.3 s]
/proc/loadavg: 4.23 2.00 0.87 5/267 102561
/proc/meminfo: memFree=110067576/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=661948 memory=575700 CPUtime=161.83 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 87091 0 0 0 16134 49 0 0 20 0 1 0 80043553 677834752 143925 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 165487 143925 1280 1200 0 163967 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 661948 KiB
Current children cumulated memory: 575700 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.37 1.07 5/268 102654
/proc/meminfo: memFree=109642844/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=663628 memory=577620 CPUtime=221.66 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 87636 0 0 0 22109 57 0 0 20 0 1 0 80043553 679555072 144405 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 165907 144405 1280 1200 0 164387 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 663628 KiB
Current children cumulated memory: 577620 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 2.70 1.27 5/269 102657
/proc/meminfo: memFree=106018408/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=663940 memory=578132 CPUtime=281.5 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 87843 0 0 0 28088 62 0 0 20 0 1 0 80043553 679874560 144533 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 165985 144533 1280 1200 0 164465 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 663940 KiB
Current children cumulated memory: 578132 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 2.95 1.45 5/265 102659
/proc/meminfo: memFree=103496964/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=664104 memory=578388 CPUtime=341.33 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 87955 0 0 0 34065 68 0 0 20 0 1 0 80043553 680042496 144597 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 166026 144597 1280 1200 0 164506 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 664104 KiB
Current children cumulated memory: 578388 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.16 1.62 5/265 102661
/proc/meminfo: memFree=102432572/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=664988 memory=579284 CPUtime=401.16 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 88239 0 0 0 40043 73 0 0 20 0 1 0 80043553 680947712 144821 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 166247 144821 1280 1200 0 164727 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 664988 KiB
Current children cumulated memory: 579284 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.33 1.77 5/265 102664
/proc/meminfo: memFree=102242780/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=668424 memory=581204 CPUtime=460.99 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 88798 0 0 0 46021 78 0 0 20 0 1 0 80043553 684466176 145301 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0

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

/proc/loadavg: 2.09 2.58 2.66 3/254 102793
/proc/meminfo: memFree=106043708/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=809564 memory=698836 CPUtime=1537.7 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 118999 0 0 0 153608 162 0 0 20 0 1 0 80043553 828993536 174709 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 202391 174709 1280 1200 0 200871 0
Current children cumulated CPU time: 1537.7 s
Current children cumulated vsize: 809564 KiB
Current children cumulated memory: 698836 KiB

[startup+1602.3 s]
/proc/loadavg: 2.08 2.48 2.62 3/254 102798
/proc/meminfo: memFree=106013208/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=837660 memory=722388 CPUtime=1597.51 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 124942 0 0 0 159585 166 0 0 20 0 1 0 80043553 857763840 180597 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 209415 180597 1280 1200 0 207895 0
Current children cumulated CPU time: 1597.51 s
Current children cumulated vsize: 837660 KiB
Current children cumulated memory: 722388 KiB

[startup+1662.3 s]
/proc/loadavg: 2.18 2.44 2.60 3/254 102800
/proc/meminfo: memFree=106015756/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=839316 memory=723924 CPUtime=1657.3 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 125404 0 0 0 165562 168 0 0 20 0 1 0 80043553 859459584 180981 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 209829 180981 1280 1200 0 208309 0
Current children cumulated CPU time: 1657.3 s
Current children cumulated vsize: 839316 KiB
Current children cumulated memory: 723924 KiB

[startup+1722.3 s]
/proc/loadavg: 2.12 2.37 2.56 3/254 102802
/proc/meminfo: memFree=106015104/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=840112 memory=725716 CPUtime=1717.1 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 125845 0 0 0 171538 172 0 0 20 0 1 0 80043553 860274688 181429 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 210028 181429 1280 1200 0 208508 0
Current children cumulated CPU time: 1717.1 s
Current children cumulated vsize: 840112 KiB
Current children cumulated memory: 725716 KiB

[startup+1782.3 s]
/proc/loadavg: 2.16 2.33 2.53 3/255 102806
/proc/meminfo: memFree=105980888/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=898120 memory=770900 CPUtime=1776.9 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 137220 0 0 0 177511 179 0 0 20 0 1 0 80043553 919674880 192725 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 224530 192725 1280 1200 0 223010 0
Current children cumulated CPU time: 1776.9 s
Current children cumulated vsize: 898120 KiB
Current children cumulated memory: 770900 KiB

[startup+1842.3 s]
/proc/loadavg: 2.12 2.29 2.50 3/254 102808
/proc/meminfo: memFree=105991264/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=898120 memory=771028 CPUtime=1836.7 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 137280 0 0 0 183488 182 0 0 20 0 1 0 80043553 919674880 192757 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 224530 192757 1280 1200 0 223010 0
Current children cumulated CPU time: 1836.7 s
Current children cumulated vsize: 898120 KiB
Current children cumulated memory: 771028 KiB

[startup+1902.3 s]
/proc/loadavg: 2.09 2.25 2.47 3/253 102817
/proc/meminfo: memFree=105956728/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=924768 memory=795732 CPUtime=1896.51 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 143581 0 0 0 189463 188 0 0 20 0 1 0 80043553 946962432 198933 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 231192 198933 1280 1200 0 229672 0
Current children cumulated CPU time: 1896.51 s
Current children cumulated vsize: 924768 KiB
Current children cumulated memory: 795732 KiB

[startup+1962.3 s]
/proc/loadavg: 2.14 2.23 2.45 3/253 102819
/proc/meminfo: memFree=105951072/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=927044 memory=797908 CPUtime=1956.31 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 144122 0 0 0 195440 191 0 0 20 0 1 0 80043553 949293056 199477 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 231761 199477 1280 1200 0 230241 0
Current children cumulated CPU time: 1956.31 s
Current children cumulated vsize: 927044 KiB
Current children cumulated memory: 797908 KiB

[startup+2022.3 s]
/proc/loadavg: 2.10 2.20 2.43 3/253 102821
/proc/meminfo: memFree=105923108/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=928568 memory=799316 CPUtime=2016.11 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 144548 0 0 0 201415 196 0 0 20 0 1 0 80043553 950853632 199829 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 232142 199829 1280 1200 0 230622 0
Current children cumulated CPU time: 2016.11 s
Current children cumulated vsize: 928568 KiB
Current children cumulated memory: 799316 KiB

[startup+2082.3 s]
/proc/loadavg: 2.36 2.25 2.43 3/253 102825
/proc/meminfo: memFree=105861376/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=987764 memory=857556 CPUtime=2075.9 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 159218 0 0 0 207388 202 0 0 20 0 1 0 80043553 1011470336 214389 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 246941 214389 1280 1200 0 245421 0
Current children cumulated CPU time: 2075.9 s
Current children cumulated vsize: 987764 KiB
Current children cumulated memory: 857556 KiB

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

# cumulated CPU time of all completed processes:  user=2081.21 s, system=2.06468 s

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

[startup+2086.4 s]
/proc/loadavg: 2.49 2.27 2.44 3/253 102825
/proc/meminfo: memFree=105861628/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=987764 memory=857556 CPUtime=2079.98 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 159225 0 0 0 207796 202 0 0 20 0 1 0 80043553 1011470336 214389 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 246941 214389 1280 1200 0 245421 0
Current children cumulated CPU time: 2079.98 s
Current children cumulated vsize: 987764 KiB
Current children cumulated memory: 857556 KiB

[startup+2088 s]*
/proc/loadavg: 2.49 2.27 2.44 3/253 102825
/proc/meminfo: memFree=105861880/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=987764 memory=857684 CPUtime=2081.58 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 159230 0 0 0 207956 202 0 0 20 0 1 0 80043553 1011470336 214421 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 246941 214421 1280 1200 0 245421 0
Current children cumulated CPU time: 2081.58 s
Current children cumulated vsize: 987764 KiB
Current children cumulated memory: 857684 KiB

[startup+2088.8 s]
/proc/loadavg: 2.49 2.27 2.44 3/253 102825
/proc/meminfo: memFree=105861880/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=987764 memory=857684 CPUtime=2082.38 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 159231 0 0 0 208035 203 0 0 20 0 1 0 80043553 1011470336 214421 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 246941 214421 1280 1200 0 245421 0
Current children cumulated CPU time: 2082.38 s
Current children cumulated vsize: 987764 KiB
Current children cumulated memory: 857684 KiB

[startup+2089.2 s]
/proc/loadavg: 2.49 2.27 2.44 3/253 102825
/proc/meminfo: memFree=105861880/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=987764 memory=857684 CPUtime=2082.78 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 159231 0 0 0 208075 203 0 0 20 0 1 0 80043553 1011470336 214421 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 246941 214421 1280 1200 0 245421 0
Current children cumulated CPU time: 2082.78 s
Current children cumulated vsize: 987764 KiB
Current children cumulated memory: 857684 KiB

[startup+2089.6 s]
/proc/loadavg: 2.49 2.27 2.44 3/253 102825
/proc/meminfo: memFree=105861880/131249996 swapFree=33010684/33010684
[pid=102554] ppid=102551 vsize=987764 memory=857684 CPUtime=2083.18 cores=0,2
/proc/102554/stat : 102554 (Exact) R 102551 102554 102386 0 -1 4194304 159231 0 0 0 208115 203 0 0 20 0 1 0 80043553 1011470336 214421 18446744073709551615 4198400 9112445 140733960014080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 24199168 140733960018214 140733960018411 140733960018411 140733960024015 0
/proc/102554/statm: 246941 214421 1280 1200 0 245421 0
Current children cumulated CPU time: 2083.18 s
Current children cumulated vsize: 987764 KiB
Current children cumulated memory: 857684 KiB

Child status: 30

Real time (s): 2089.68
CPU time (s): 2083.27
CPU user time (s): 2081.21
CPU system time (s): 2.06468
CPU usage (%): 99.6931
Max. virtual memory (cumulated for all children) (KiB): 987764
Max. memory (cumulated for all children) (KiB): 857684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2081.21
system time used= 2.06468
maximum resident set size= 857684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159233
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= 2
involuntary context switches= 4799


# summary of solver processes directly reported to runsolver:
#   pid: 102554
#   total CPU time (s): 2083.27
#   total CPU user time (s): 2081.21
#   total CPU system time (s): 2.06468

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.22364 second user time and 8.75848 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-04 17:40:57
IDJOB=4523120
IDBENCH=179713
IDSOLVER=3318
FILE ID=nodeC024/4523120-1751643656
RUNJOBID= nodeC024-1751643641-102403
SLURM_JOB_ID= 9672329
Free space on /tmp= 432276 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_230_000.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523120-1751643656/watcher-4523120-1751643656 -o /tmp/evaluation-result-4523120-1751643656/solver-4523120-1751643656 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751643641-102403 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1114430476 --ls=0 --inp-dombreaklim=0 HOME/instance-4523120-1751643656.opb

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

MD5SUM BENCH= c0a31fcc227365986291d6c595cc47ca
RANDOM SEED=1114430476

nodeC024 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.582
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.36
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.682
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.36
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		: 3599.650
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.36
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		: 3601.035
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.36
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.682
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.36
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.461
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.36
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		: 3581.881
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.36
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		: 3700.000
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        113468196 kB
MemAvailable:   126449916 kB
Buffers:            2144 kB
Cached:         13746312 kB
SwapCached:            0 kB
Active:          3574844 kB
Inactive:       13169756 kB
Active(anon):    3014176 kB
Inactive(anon):       36 kB
Active(file):     560668 kB
Inactive(file): 13169720 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             18280 kB
Writeback:            80 kB
AnonPages:       2997436 kB
Mapped:           120012 kB
Shmem:             18064 kB
KReclaimable:     180744 kB
Slab:             273668 kB
SReclaimable:     180744 kB
SUnreclaim:        92924 kB
KernelStack:        4320 kB
PageTables:         9008 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3575260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1327104 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432344 MiB
End job on nodeC024 at 2025-07-04 18:15:46