Trace number 4503766

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
CASHWMaxSATDisjCom-S 2025-06-01SAT (TO)3744975 3600.03 3611.2

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_2.opb
MD5SUM768a18ffa3b1a9fc42159a5899fb070e
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 benchmark3367493
Best CPU time to get the best result obtained on this benchmark88.7011
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 147197952
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 48050028218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 147197952
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 48050028218
Number of bits of the biggest sum of numbers36
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.30/0.35	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.30/0.35	c Do: 140729648866504 140729648866512
0.59/0.66	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.59/0.66	c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.78/0.85	c Starting SCIP solver  (with time-limit = 1800s) ...
1795.92/1800.88	c SCIP timeout with lower and upper bounds: [920794, 9223372036854775807]
1796.82/1801.70	o 44941909
1796.82/1801.70	c Do: 140729648866504 140729648866512
1796.82/1801.70	o 30730921
1796.82/1801.71	c Do: 140729648866504 140729648866512
1796.82/1801.72	o 19179699
1796.82/1801.72	c Do: 140729648866504 140729648866512
1796.82/1801.74	o 10634779
1796.82/1801.74	c Do: 140729648866504 140729648866512
1796.82/1801.76	o 6642065
1796.82/1801.76	c Do: 140729648866504 140729648866512
1796.82/1801.76	o 4878049
1796.82/1801.76	c Do: 140729648866504 140729648866512
1796.82/1801.77	o 4576839
1796.82/1801.77	c Do: 140729648866504 140729648866512
1798.32/1803.27	o 3875939
1798.32/1803.28	o 3868989
1798.42/1803.33	c Do: 140729648866504 140729648866512
1799.12/1804.01	o 3804839
1799.12/1804.08	c Do: 140729648866504 140729648866512
1799.22/1804.15	c Do: 140729648866504 140729648866512
1799.31/1804.21	c Do: 140729648866504 140729648866512
1799.31/1804.24	c Do: 140729648866504 140729648866512
1799.41/1804.31	c Do: 140729648866504 140729648866512
1799.51/1804.41	c Do: 140729648866504 140729648866512
1799.51/1804.42	o 3802799
1799.51/1804.47	c Do: 140729648866504 140729648866512
1800.92/1805.82	c Do: 140729648866504 140729648866512
1801.02/1805.90	c Do: 140729648866504 140729648866512
1802.51/1807.45	c Do: 140729648866504 140729648866512
1802.51/1807.49	c Do: 140729648866504 140729648866512
1802.61/1807.59	c Do: 140729648866504 140729648866512
1802.71/1807.64	c Do: 140729648866504 140729648866512
1802.71/1807.68	c Do: 140729648866504 140729648866512
1802.91/1807.85	c Do: 140729648866504 140729648866512
1803.11/1808.01	c Do: 140729648866504 140729648866512
1805.30/1810.23	c Do: 140729648866504 140729648866512
1807.49/1812.46	c Do: 140729648866504 140729648866512
1807.69/1812.62	c Do: 140729648866504 140729648866512
1807.79/1812.72	c Do: 140729648866504 140729648866512
1807.99/1812.91	c Do: 140729648866504 140729648866512
1808.29/1813.21	c Do: 140729648866504 140729648866512
1808.29/1813.25	c Do: 140729648866504 140729648866512
1808.49/1813.45	c Do: 140729648866504 140729648866512
1808.69/1813.64	c Do: 140729648866504 140729648866512
1808.99/1813.91	c Do: 140729648866504 140729648866512
1809.09/1814.07	c Do: 140729648866504 140729648866512
1809.19/1814.17	c Do: 140729648866504 140729648866512
1809.29/1814.25	c Do: 140729648866504 140729648866512
1809.49/1814.49	c Do: 140729648866504 140729648866512
1809.79/1814.73	c Do: 140729648866504 140729648866512
1809.89/1814.85	c Do: 140729648866504 140729648866512
1813.87/1818.89	c Do: 140729648866504 140729648866512
1814.27/1819.20	c Do: 140729648866504 140729648866512
1814.37/1819.33	c Do: 140729648866504 140729648866512
1815.97/1820.90	c Do: 140729648866504 140729648866512
1816.07/1821.08	c Do: 140729648866504 140729648866512
1816.27/1821.29	c Do: 140729648866504 140729648866512
1819.36/1824.30	c Do: 140729648866504 140729648866512
1819.56/1824.51	c Do: 140729648866504 140729648866512
1819.76/1824.73	c Do: 140729648866504 140729648866512
1830.22/1835.23	c Do: 140729648866504 140729648866512
1831.62/1836.62	c Do: 140729648866504 140729648866512
1831.62/1836.69	c Do: 140729648866504 140729648866512
1842.28/1847.34	c Do: 140729648866504 140729648866512
1842.48/1847.52	c Do: 140729648866504 140729648866512
1842.88/1847.92	c Do: 140729648866504 140729648866512
1843.08/1848.15	c Do: 140729648866504 140729648866512
1843.38/1848.45	c Do: 140729648866504 140729648866512
1860.52/1865.67	c Do: 140729648866504 140729648866512
1860.71/1865.88	c Do: 140729648866504 140729648866512
1860.92/1866.03	c Do: 140729648866504 140729648866512
1863.50/1868.64	c Do: 140729648866504 140729648866512
1863.70/1868.80	c Do: 140729648866504 140729648866512
1864.01/1869.11	c Do: 140729648866504 140729648866512
1900.27/1905.56	c Do: 140729648866504 140729648866512
1900.67/1905.97	c Do: 140729648866504 140729648866512
1900.87/1906.13	c Do: 140729648866504 140729648866512
1901.16/1906.43	c Do: 140729648866504 140729648866512
1901.16/1906.49	c Do: 140729648866504 140729648866512
1901.36/1906.62	c Do: 140729648866504 140729648866512
1901.46/1906.79	c Do: 140729648866504 140729648866512
1901.77/1907.06	c Do: 140729648866504 140729648866512
1901.87/1907.14	c Do: 140729648866504 140729648866512
1902.06/1907.33	c Do: 140729648866504 140729648866512
1902.36/1907.69	c Do: 140729648866504 140729648866512
1902.66/1907.96	c Do: 140729648866504 140729648866512
1902.86/1908.12	c Do: 140729648866504 140729648866512
1902.96/1908.23	c Do: 140729648866504 140729648866512
1937.53/1942.94	c Do: 140729648866504 140729648866512
1937.73/1943.11	c Do: 140729648866504 140729648866512
1937.83/1943.28	c Do: 140729648866504 140729648866512
1938.13/1943.54	c Do: 140729648866504 140729648866512
2257.15/2263.72	c Do: 140729648866504 140729648866512
2257.25/2263.81	c Do: 140729648866504 140729648866512
2257.65/2264.28	c Do: 140729648866504 140729648866512
2699.10/2707.29	o 3744975
2699.50/2707.69	c Do: 140729648866504 140729648866512
2700.00/2708.13	c Do: 140729648866504 140729648866512
2700.10/2708.22	c Do: 140729648866504 140729648866512
3600.02/3611.20	
3600.02/3611.20	v -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 -x1101 -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 -x1651 -x1652 -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 -x2201 -x2202 -x2203 -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 -x2301 -x2302 -x2303 -x2304 -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 -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 -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 -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 -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 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -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 -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 -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 -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 -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 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 -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 -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 -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 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -x2200 -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 -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 -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 -x3651 -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 -x4201 -x4202 -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 -x4751 -x4752 -x4753 -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 -x4851 -x4852 -x4853 -x4854 -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 -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 -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 -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 -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 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -x4750 -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 -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 -x551 -x1102 -x1653 -x2204 -x2305 -x2356 -x2407 -x2458 -x2509 -x60 -x111 -x162 -x213 -x264 -x315 -x366 -x417 -x468 -x519 -x620 -x671 -x722 -x773 -x824 -x875 -x926 -x977 -x1028 -x1079 -x1180 -x1231 -x1282 -x1333 -x1384 -x1435 -x1486 -x1537 -x1588 -x1639 -x1740 -x1791 -x1842 -x1893 -x1944 -x1995 -x2046 -x2097 -x2148 -x2199 -x2300 -x3101 -x3652 -x4203 -x4754 -x4855 -x4906 -x4957 -x5008 -x5059 -x2610 -x2661 -x2712 -x2763 -x2814 -x2865 -x2916 -x2967 -x3018 -x3069 -x3170 -x3221 -x3272 -x3323 -x3374 -x3425 -x3476 -x3527 -x3578 -x3629 -x3730 -x3781 -x3832 -x3883 -x3934 -x3985 -x4036 -x4087 -x4138 -x4189 -x4290 -x4341 -x4392 -x4443 -x4494 -x4545 -x4596 -x4647 -x4698 -x4749 -x4850
3600.02/3611.20	s SATISFIABLE

Verifier Data 

OK	3744975

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: 63708 MiB (62609 MiB free)
  memory of node 1: 64465 MiB (61444 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503766-1751478671/watcher-4503766-1751478671 -o /tmp/evaluation-result-4503766-1751478671/solver-4503766-1751478671 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751471455-66945 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4503766-1751478671.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100061 s]*
/proc/loadavg: 4.30 4.18 4.12 5/259 67905
/proc/meminfo: memFree=127027700/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=37376 memory=18832 CPUtime=0.09 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 4262 0 0 0 9 0 0 0 20 0 1 0 63544932 38273024 4708 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 9344 4708 768 2416 0 6446 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 18832 KiB

[startup+0.20541 s]*
/proc/loadavg: 4.30 4.18 4.12 4/262 67909
/proc/meminfo: memFree=126984984/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=68720 memory=47592 CPUtime=0.2 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 10124 0 0 0 18 2 0 0 20 0 1 0 63544932 70369280 11898 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 17180 11898 1024 2416 0 14282 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68720 KiB
Current children cumulated memory: 47592 KiB

[startup+0.305409 s]*
/proc/loadavg: 4.30 4.18 4.12 5/264 67915
/proc/meminfo: memFree=126969108/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=89204 memory=69480 CPUtime=0.3 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 13528 0 0 0 28 2 0 0 20 0 1 0 63544932 91344896 17370 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 22301 17370 1024 2416 0 19403 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 89204 KiB
Current children cumulated memory: 69480 KiB

[startup+0.700179 s]
/proc/loadavg: 4.30 4.18 4.12 5/264 67915
/proc/meminfo: memFree=126955436/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=107404 memory=94860 CPUtime=0.68 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 20496 0 0 0 65 3 0 0 20 0 1 0 63544932 109981696 23715 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 26851 23715 2368 2416 0 23953 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107404 KiB
Current children cumulated memory: 94860 KiB

[startup+1.50018 s]
/proc/loadavg: 4.30 4.18 4.12 5/264 67915
/proc/meminfo: memFree=126707736/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=390704 memory=374028 CPUtime=1.49 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 90123 0 0 0 136 13 0 0 20 0 1 0 63544932 400080896 93507 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 97676 93507 2560 2416 0 94778 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 390704 KiB
Current children cumulated memory: 374028 KiB

[startup+3.10529 s]
/proc/loadavg: 4.27 4.18 4.12 5/264 67915
/proc/meminfo: memFree=126345112/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=478436 memory=462312 CPUtime=3.08 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 111662 0 0 0 292 16 0 0 20 0 1 0 63544932 489918464 115578 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 119609 115578 2624 2416 0 116711 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 478436 KiB
Current children cumulated memory: 462312 KiB

[startup+6.30017 s]
/proc/loadavg: 4.27 4.18 4.12 5/264 67915
/proc/meminfo: memFree=126085848/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=479460 memory=463592 CPUtime=6.27 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 111986 0 0 0 610 17 0 0 20 0 1 0 63544932 490967040 115898 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 119865 115898 2624 2416 0 116967 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 479460 KiB
Current children cumulated memory: 463592 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.18 4.12 5/264 67915
/proc/meminfo: memFree=124215072/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=676440 memory=656460 CPUtime=12.65 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 152749 0 0 0 1241 24 0 0 20 0 1 0 63544932 692674560 164115 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 169110 164115 2752 2416 0 166212 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 676440 KiB
Current children cumulated memory: 656460 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.17 4.11 6/264 67915
/proc/meminfo: memFree=123469648/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=681044 memory=662348 CPUtime=25.42 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 154243 0 0 0 2517 25 0 0 20 0 1 0 63544932 697389056 165587 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 170261 165587 2752 2416 0 167363 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 681044 KiB
Current children cumulated memory: 662348 KiB

[startup+51.1055 s]
/proc/loadavg: 4.18 4.17 4.11 6/265 67917
/proc/meminfo: memFree=123564444/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=684780 memory=665292 CPUtime=50.94 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 155017 0 0 0 5069 25 0 0 20 0 1 0 63544932 701214720 166323 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 171195 166323 2752 2416 0 168297 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 684780 KiB
Current children cumulated memory: 665292 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.16 4.11 6/265 67918
/proc/meminfo: memFree=123580868/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=685412 memory=666316 CPUtime=101.98 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 155279 0 0 0 10172 26 0 0 20 0 1 0 63544932 701861888 166579 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 171353 166579 2752 2416 0 168455 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 685412 KiB
Current children cumulated memory: 666316 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.16 4.11 6/265 67921
/proc/meminfo: memFree=123530840/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=685412 memory=666316 CPUtime=161.79 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 155309 0 0 0 16153 26 0 0 20 0 1 0 63544932 701861888 166579 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 171353 166579 2752 2416 0 168455 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 685412 KiB
Current children cumulated memory: 666316 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.10 6/266 67924
/proc/meminfo: memFree=123555248/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=685412 memory=666444 CPUtime=221.61 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 155323 0 0 0 22134 27 0 0 20 0 1 0 63544932 701861888 166611 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 171353 166611 2752 2416 0 168455 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 685412 KiB
Current children cumulated memory: 666444 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.10 6/266 67931
/proc/meminfo: memFree=123527208/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=686376 memory=666956 CPUtime=281.43 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 155477 0 0 0 28116 27 0 0 20 0 1 0 63544932 702849024 166739 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 171594 166739 2752 2416 0 168696 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 686376 KiB
Current children cumulated memory: 666956 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.10 6/267 67934
/proc/meminfo: memFree=123500244/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=686376 memory=666956 CPUtime=341.24 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 155488 0 0 0 34097 27 0 0 20 0 1 0 63544932 702849024 166739 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 171594 166739 2752 2416 0 168696 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 686376 KiB
Current children cumulated memory: 666956 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.11 4.09 6/267 67936
/proc/meminfo: memFree=123443524/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=686376 memory=667596 CPUtime=401.06 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 155646 0 0 0 40079 27 0 0 20 0 1 0 63544932 702849024 166899 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 171594 166899 2752 2416 0 168696 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 686376 KiB
Current children cumulated memory: 667596 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/266 67940
/proc/meminfo: memFree=123201968/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=686376 memory=667596 CPUtime=460.88 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 155659 0 0 0 46060 28 0 0 20 0 1 0 63544932 702849024 166899 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 171594 166899 2752 2416 0 168696 0
Current children cumulated CPU time: 460.88 s

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

Current children cumulated memory: 768280 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 68159
/proc/meminfo: memFree=107744888/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=784060 memory=764184 CPUtime=2853.68 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 264702 0 0 0 285276 92 0 0 20 0 1 0 63544932 802877440 191046 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 196015 191046 2752 2416 0 193117 0
Current children cumulated CPU time: 2853.68 s
Current children cumulated vsize: 784060 KiB
Current children cumulated memory: 764184 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 68163
/proc/meminfo: memFree=107690852/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=703920 memory=692780 CPUtime=2913.47 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 265191 0 0 0 291254 93 0 0 20 0 1 0 63544932 720814080 173195 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 175980 173195 2752 2416 0 173082 0
Current children cumulated CPU time: 2913.47 s
Current children cumulated vsize: 703920 KiB
Current children cumulated memory: 692780 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 68165
/proc/meminfo: memFree=107852704/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=703920 memory=692780 CPUtime=2973.27 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 266352 0 0 0 297230 97 0 0 20 0 1 0 63544932 720814080 173195 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 175980 173195 2752 2416 0 173082 0
Current children cumulated CPU time: 2973.27 s
Current children cumulated vsize: 703920 KiB
Current children cumulated memory: 692780 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 68167
/proc/meminfo: memFree=107829924/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=703920 memory=692984 CPUtime=3033.07 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 267713 0 0 0 303206 101 0 0 20 0 1 0 63544932 720814080 173246 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 175980 173246 2752 2416 0 173082 0
Current children cumulated CPU time: 3033.07 s
Current children cumulated vsize: 703920 KiB
Current children cumulated memory: 692984 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 68169
/proc/meminfo: memFree=107699644/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=703920 memory=692984 CPUtime=3092.85 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 269082 0 0 0 309181 104 0 0 20 0 1 0 63544932 720814080 173246 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 175980 173246 2752 2416 0 173082 0
Current children cumulated CPU time: 3092.85 s
Current children cumulated vsize: 703920 KiB
Current children cumulated memory: 692984 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 68171
/proc/meminfo: memFree=107633748/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=703920 memory=692984 CPUtime=3152.65 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 270050 0 0 0 315158 107 0 0 20 0 1 0 63544932 720814080 173246 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 175980 173246 2752 2416 0 173082 0
Current children cumulated CPU time: 3152.65 s
Current children cumulated vsize: 703920 KiB
Current children cumulated memory: 692984 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 68173
/proc/meminfo: memFree=107856240/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=703920 memory=692984 CPUtime=3212.45 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 271318 0 0 0 321134 111 0 0 20 0 1 0 63544932 720814080 173246 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 175980 173246 2752 2416 0 173082 0
Current children cumulated CPU time: 3212.45 s
Current children cumulated vsize: 703920 KiB
Current children cumulated memory: 692984 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 68175
/proc/meminfo: memFree=107858104/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=703920 memory=692984 CPUtime=3272.25 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 272696 0 0 0 327110 115 0 0 20 0 1 0 63544932 720814080 173246 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 175980 173246 2752 2416 0 173082 0
Current children cumulated CPU time: 3272.25 s
Current children cumulated vsize: 703920 KiB
Current children cumulated memory: 692984 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 68184
/proc/meminfo: memFree=107961016/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=784060 memory=760292 CPUtime=3332.04 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 274017 0 0 0 333085 119 0 0 20 0 1 0 63544932 802877440 190073 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 196015 190073 2752 2416 0 193117 0
Current children cumulated CPU time: 3332.04 s
Current children cumulated vsize: 784060 KiB
Current children cumulated memory: 760292 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 68186
/proc/meminfo: memFree=108008756/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=703920 memory=692984 CPUtime=3391.84 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 275070 0 0 0 339062 122 0 0 20 0 1 0 63544932 720814080 173246 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 175980 173246 2752 2416 0 173082 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 703920 KiB
Current children cumulated memory: 692984 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 68188
/proc/meminfo: memFree=107941816/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=784060 memory=760292 CPUtime=3451.63 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 276334 0 0 0 345038 125 0 0 20 0 1 0 63544932 802877440 190073 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 196015 190073 2752 2416 0 193117 0
Current children cumulated CPU time: 3451.63 s
Current children cumulated vsize: 784060 KiB
Current children cumulated memory: 760292 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 68192
/proc/meminfo: memFree=107887144/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=703920 memory=692984 CPUtime=3511.42 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 277481 0 0 0 351015 127 0 0 20 0 1 0 63544932 720814080 173246 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 175980 173246 2752 2416 0 173082 0
Current children cumulated CPU time: 3511.42 s
Current children cumulated vsize: 703920 KiB
Current children cumulated memory: 692984 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 68194
/proc/meminfo: memFree=107786320/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=784060 memory=764388 CPUtime=3571.22 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 278564 0 0 0 356991 131 0 0 20 0 1 0 63544932 802877440 191097 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 196015 191097 2752 2416 0 193117 0
Current children cumulated CPU time: 3571.22 s
Current children cumulated vsize: 784060 KiB
Current children cumulated memory: 764388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 68195
/proc/meminfo: memFree=107835184/131249996 swapFree=33004236/33010684
[pid=67904] ppid=67901 vsize=703920 memory=692984 CPUtime=3600.02 cores=1,3
/proc/67904/stat : 67904 (CASHWMaxSAT-Dis) R 67901 67904 66933 0 -1 4194304 278870 0 0 0 359871 131 0 0 20 0 1 0 63544932 720814080 173246 18446744073709551615 4198400 14093885 140729648868864 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39374848 140729648875882 140729648875997 140729648875997 140729648881599 0
/proc/67904/statm: 175980 173246 2752 2416 0 173082 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 703920 KiB
Current children cumulated memory: 692984 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.2 s]
# the end of solver process 67904 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.71 s, system=1.32159 s

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

Child status: 10

Real time (s): 3611.2
CPU time (s): 3600.03
CPU user time (s): 3598.71
CPU system time (s): 1.32159
CPU usage (%): 99.6907
Max. virtual memory (cumulated for all children) (KiB): 1407368
Max. memory (cumulated for all children) (KiB): 1132616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.71
system time used= 1.32159
maximum resident set size= 1132744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278879
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= 33
involuntary context switches= 5014


# summary of solver processes directly reported to runsolver:
#   pid: 67904
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.71
#   total CPU system time (s): 1.32159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82536 second user time and 15.6634 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-02 19:51:11
IDJOB=4503766
IDBENCH=155603
IDSOLVER=3323
FILE ID=nodeC023/4503766-1751478671
RUNJOBID= nodeC023-1751471455-66945
SLURM_JOB_ID= 9598494
Free space on /tmp= 431836 MiB

SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503766-1751478671/watcher-4503766-1751478671 -o /tmp/evaluation-result-4503766-1751478671/solver-4503766-1751478671 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751471455-66945 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4503766-1751478671.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e
RANDOM SEED=490609983

nodeC023 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		: 3601.855
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.78
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.826
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.78
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.907
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127031912 kB
MemAvailable:   126739560 kB
Buffers:              16 kB
Cached:           505852 kB
SwapCached:          596 kB
Active:          3210660 kB
Inactive:         326108 kB
Active(anon):    3009612 kB
Inactive(anon):    34740 kB
Active(file):     201048 kB
Inactive(file):   291368 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33004236 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16836 kB
Writeback:             0 kB
AnonPages:       3033420 kB
Mapped:           120928 kB
Shmem:             13396 kB
KReclaimable:     108944 kB
Slab:             198756 kB
SReclaimable:     108944 kB
SUnreclaim:        89812 kB
KernelStack:        4224 kB
PageTables:         9000 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3583324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1757184 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431596 MiB
End job on nodeC023 at 2025-07-02 20:51:22