Trace number 4434074

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
NaPS-GM 1.03SAT (TO)4513995 3600.09 3612.18

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_4.opb
MD5SUM7079e2ef0385c9f74a24551721d50a52
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 benchmark3971977
Best CPU time to get the best result obtained on this benchmark338.862
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 119095488
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 53595180278
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 119095488
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 53595180278
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.00/0.00	c NaPS 1.03.
0.00/0.00	c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00	c Input file name: HOME/instance-4434074-1721132288.opb
0.39/0.48	c single stage optimization mode
1.28/1.37	o 401527327
54.20/54.47	o 247056723
74.12/74.42	o 73488251
110.40/110.88	o 20573765
194.50/195.25	o 12092361
303.14/304.26	o 7110577
3078.52/3088.96	o 4513995
3600.00/3612.10	c 
3600.00/3612.10	c *** TERMINATED *** by signal 15
3600.00/3612.10	s SATISFIABLE
3600.00/3612.10	c _____________________________________________________________________________
3600.00/3612.10	c std/band forms        : 1389,0
3600.00/3612.10	c 2cl/3cl ITE-codings   : 51200,0
3600.00/3612.10	c BDD/srt/adr Max costs : 591,5972926,0
3600.00/3612.10	c BDDraw/bin/mul/srt/adr: 1375,0,0,14,0
3600.00/3612.10	c BDD nodes             : 65925
3600.00/3612.10	c Es1/CC detections     : 0,0
3600.00/3612.10	c CC sort               : 4
3600.00/3612.10	c SAT/UNSAT calls       : 7,0
3600.00/3612.10	c regenrated variables  : 427526
3600.00/3612.10	c eliminated fixed lits : 5338
3600.00/3612.10	c goal lit flips        : 0
3600.00/3612.10	c goal stages           : 1
3600.00/3612.10	c goal shrink           : 0
3600.00/3612.10	c goal coeff separations: 812
3600.00/3612.10	c restarts              : 3878
3600.00/3612.10	c conflicts             : 862037         (240 /sec)
3600.00/3612.10	c decisions             : 18504986       (5149 /sec)
3600.00/3612.10	c propagations          : 19165839533    (5332612 /sec)
3600.00/3612.10	c inspects              : 0              (0 /sec)
3600.00/3612.10	c CPU time (solving tm) : 3594 s        (3548 s, SAT 3030 s, UNSAT 0 s)
3600.00/3612.10	c Time for Opt-base     : 20.07 s
3600.00/3612.10	c Steps for Opt-base    : 107494200
3600.00/3612.10	c Time for BDD coding   : 0.1612 s
3600.00/3612.10	c Time for srt coding   : 8.657 s
3600.00/3612.10	c _____________________________________________________________________________
3600.00/3612.10	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
3600.00/3612.10	v -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
3600.00/3612.10	v -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

Verifier Data 

OK	4513995

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: 63931 MiB (58980 MiB free)
  memory of node 1: 64510 MiB (61772 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434074-1721132288/watcher-4434074-1721132288 -o /tmp/evaluation-result-4434074-1721132288/solver-4434074-1721132288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721132301-874835 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4434074-1721132288.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=874869, runsolver pid=874866
Current StackSize limit: 8192 KiB


[startup+0.1007 s]*
/proc/loadavg: 1.22 1.58 2.12 6/248 874890
/proc/meminfo: memFree=123603536/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=14784 memory=8772 CPUtime=0.09 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 1820 0 0 0 9 0 0 0 20 0 1 0 165396198 15138816 2193 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 3696 2193 436 659 0 2900 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24716 KiB
Current children cumulated memory: 11448 KiB

[startup+0.20537 s]*
/proc/loadavg: 1.22 1.58 2.12 6/252 874899
/proc/meminfo: memFree=123587572/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=16856 memory=10716 CPUtime=0.19 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 2472 0 0 0 19 0 0 0 20 0 1 0 165396198 17260544 2679 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 4214 2679 468 659 0 3418 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26788 KiB
Current children cumulated memory: 13392 KiB

[startup+0.304473 s]*
/proc/loadavg: 1.22 1.58 2.12 5/259 874914
/proc/meminfo: memFree=123559020/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=31244 memory=23252 CPUtime=0.29 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 5767 0 0 0 29 0 0 0 20 0 1 0 165396198 31993856 5813 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 7811 5813 468 659 0 7015 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41176 KiB
Current children cumulated memory: 25928 KiB

[startup+0.700256 s]
/proc/loadavg: 1.22 1.58 2.12 5/259 874914
/proc/meminfo: memFree=123480080/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=122640 memory=115188 CPUtime=0.68 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 24142 0 0 0 64 4 0 0 20 0 1 0 165396198 125583360 28797 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 30660 28797 468 659 0 29864 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 132572 KiB
Current children cumulated memory: 117864 KiB

[startup+1.50024 s]
/proc/loadavg: 1.22 1.58 2.12 5/259 874914
/proc/meminfo: memFree=123410616/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=133924 memory=121428 CPUtime=1.48 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 26448 0 0 0 143 5 0 0 20 0 1 0 165396198 137138176 30357 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 33481 30357 468 659 0 32685 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 143856 KiB
Current children cumulated memory: 124104 KiB

[startup+3.10522 s]
/proc/loadavg: 1.22 1.58 2.12 5/259 874916
/proc/meminfo: memFree=122938560/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=134320 memory=121692 CPUtime=3.08 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 26538 0 0 0 303 5 0 0 20 0 1 0 165396198 137543680 30423 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 33580 30423 468 659 0 32784 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 144252 KiB
Current children cumulated memory: 124368 KiB

[startup+6.30025 s]
/proc/loadavg: 1.44 1.62 2.13 5/259 874916
/proc/meminfo: memFree=122641136/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=134784 memory=122220 CPUtime=6.27 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 26656 0 0 0 622 5 0 0 20 0 1 0 165396198 138018816 30555 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 33696 30555 468 659 0 32900 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 144716 KiB
Current children cumulated memory: 124896 KiB

[startup+12.7002 s]
/proc/loadavg: 1.73 1.68 2.15 5/259 874916
/proc/meminfo: memFree=122604960/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=135596 memory=123012 CPUtime=12.65 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 26837 0 0 0 1260 5 0 0 20 0 1 0 165396198 138850304 30753 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 33899 30753 468 659 0 33103 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 145528 KiB
Current children cumulated memory: 125688 KiB

[startup+25.5003 s]
/proc/loadavg: 2.23 1.79 2.18 5/259 874919
/proc/meminfo: memFree=120921484/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=1557684 memory=1396140 CPUtime=25.41 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 125662 0 0 0 2501 40 0 0 20 0 1 0 165396198 1595068416 349035 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 389421 349035 468 659 0 388625 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1567616 KiB
Current children cumulated memory: 1398816 KiB

[startup+51.1057 s]
/proc/loadavg: 2.84 1.97 2.23 5/259 874922
/proc/meminfo: memFree=116014972/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=3876848 memory=3364976 CPUtime=50.91 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 268601 0 0 0 4990 101 0 0 20 0 1 0 165396198 3969892352 841244 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 969212 841244 468 659 0 968416 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 3886780 KiB
Current children cumulated memory: 3367652 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.31 2.33 5/259 874931
/proc/meminfo: memFree=100758636/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=7491324 memory=6556044 CPUtime=101.93 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 613355 0 0 0 9965 228 0 0 20 0 1 0 165396198 7671115776 1639011 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 1872831 1639011 468 659 0 1872035 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 7501256 KiB
Current children cumulated memory: 6558720 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 2.62 2.44 5/261 874946
/proc/meminfo: memFree=97769468/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=8732876 memory=8112504 CPUtime=161.71 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 791611 0 0 0 15881 290 0 0 20 0 1 0 165396198 8942465024 2028126 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 2183219 2028126 468 659 0 2182423 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 8742808 KiB
Current children cumulated memory: 8115180 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 2.93 2.56 5/260 874956
/proc/meminfo: memFree=95056796/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=11258920 memory=9744976 CPUtime=221.52 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 860781 0 0 0 21820 332 0 0 20 0 1 0 165396198 11529134080 2436244 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 2814730 2436244 468 659 0 2813934 0
Current children cumulated CPU time: 221.52 s

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

/proc/874874/statm: 3092195 2725248 468 659 0 3091399 0
Current children cumulated CPU time: 3091.88 s
Current children cumulated vsize: 12378712 KiB
Current children cumulated memory: 10903668 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.07 5/260 876726
/proc/meminfo: memFree=98628908/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=12020088 memory=10764088 CPUtime=3151.68 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 1135190 0 0 0 314600 568 0 0 20 0 1 0 165396198 12308570112 2691022 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 3005022 2691022 468 659 0 3004226 0
Current children cumulated CPU time: 3151.68 s
Current children cumulated vsize: 12030020 KiB
Current children cumulated memory: 10766764 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.10 4.06 5/260 876736
/proc/meminfo: memFree=98669212/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=12020372 memory=10780764 CPUtime=3211.48 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 1138981 0 0 0 320578 570 0 0 20 0 1 0 165396198 12308860928 2695191 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 3005093 2695191 468 659 0 3004297 0
Current children cumulated CPU time: 3211.48 s
Current children cumulated vsize: 12030304 KiB
Current children cumulated memory: 10783440 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.07 5/260 876746
/proc/meminfo: memFree=98574700/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=12021320 memory=10796008 CPUtime=3271.28 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 1143251 0 0 0 326556 572 0 0 20 0 1 0 165396198 12309831680 2699002 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 3005330 2699002 468 659 0 3004534 0
Current children cumulated CPU time: 3271.28 s
Current children cumulated vsize: 12031252 KiB
Current children cumulated memory: 10798684 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/260 876758
/proc/meminfo: memFree=98558412/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=12402400 memory=10836836 CPUtime=3331.08 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 1149548 0 0 0 332532 576 0 0 20 0 1 0 165396198 12700057600 2709209 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 3100600 2709209 468 659 0 3099804 0
Current children cumulated CPU time: 3331.08 s
Current children cumulated vsize: 12412332 KiB
Current children cumulated memory: 10839512 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/260 876769
/proc/meminfo: memFree=98569340/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=12053152 memory=10732560 CPUtime=3390.88 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 1153982 0 0 0 338501 587 0 0 20 0 1 0 165396198 12342427648 2683140 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 3013288 2683140 468 659 0 3012492 0
Current children cumulated CPU time: 3390.88 s
Current children cumulated vsize: 12063084 KiB
Current children cumulated memory: 10735236 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/258 876779
/proc/meminfo: memFree=98667848/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=12053152 memory=10748944 CPUtime=3450.69 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 1157512 0 0 0 344481 588 0 0 20 0 1 0 165396198 12342427648 2687236 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 3013288 2687236 468 659 0 3012492 0
Current children cumulated CPU time: 3450.69 s
Current children cumulated vsize: 12063084 KiB
Current children cumulated memory: 10751620 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/258 876789
/proc/meminfo: memFree=98590300/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=12053152 memory=10765336 CPUtime=3510.49 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 1160994 0 0 0 350459 590 0 0 20 0 1 0 165396198 12342427648 2691334 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 3013288 2691334 468 659 0 3012492 0
Current children cumulated CPU time: 3510.49 s
Current children cumulated vsize: 12063084 KiB
Current children cumulated memory: 10768012 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/260 876804
/proc/meminfo: memFree=98549428/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=12053152 memory=10779680 CPUtime=3570.29 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 1164985 0 0 0 356438 591 0 0 20 0 1 0 165396198 12342427648 2694920 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 3013288 2694920 468 659 0 3012492 0
Current children cumulated CPU time: 3570.29 s
Current children cumulated vsize: 12063084 KiB
Current children cumulated memory: 10782356 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 4.10 4.09 4.07 5/254 876836
/proc/meminfo: memFree=99819096/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=12053152 memory=10787884 CPUtime=3600 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 1166636 0 0 0 359408 592 0 0 20 0 1 0 165396198 12342427648 2696971 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 3013288 2696971 468 659 0 3012492 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 12063084 KiB
Current children cumulated memory: 10790560 KiB

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

[startup+3612.11 s]
# the end of solver process 874869 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000898 s, system=0.00198 s

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

# cumulated CPU time of all completed processes:  user=3594.08 s, system=6.00796 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3612.11 s]
/proc/loadavg: 4.10 4.09 4.07 5/254 876836
/proc/meminfo: memFree=99819096/131524600 swapFree=131071996/131071996
[pid=874869] ppid=874866 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/874869/stat : 874869 (naps-1.03.sh) S 874866 874869 874825 0 -1 4194304 222 246 0 0 0 0 0 0 20 0 1 0 165396198 10170368 669 134679101440 94496435122176 94496436201496 140726058509920 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94496438299952 94496438347140 94496451518464 140726058517472 140726058517601 140726058517601 140726058524616 0
/proc/874869/statm: 2483 669 591 264 0 134 0
[pid=874874] ppid=874869 vsize=12053152 memory=10787884 CPUtime=3600 cores=0,2
/proc/874874/stat : 874874 (naps-1.03) R 874869 874869 874825 0 -1 4194304 1166636 0 0 0 359408 592 0 0 20 0 1 0 165396198 12342427648 2696971 134679101440 4194304 6891213 140733720618128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24195072 140733720622065 140733720622181 140733720622181 140733720629195 0
/proc/874874/statm: 3013288 2696971 468 659 0 3012492 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 12063084 KiB
Current children cumulated memory: 10790560 KiB

Child status: 10

Real time (s): 3612.18
CPU time (s): 3600.09
CPU user time (s): 3594.08
CPU system time (s): 6.00796
CPU usage (%): 99.6652
Max. virtual memory (cumulated for all children) (KiB): 12971132
Max. memory (cumulated for all children) (KiB): 11406332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.08
system time used= 6.00796
maximum resident set size= 11403656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1167104
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= 465
involuntary context switches= 25181


# summary of solver processes directly reported to runsolver:
#   pid: 874869,874874
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3594.08
#   total CPU system time (s): 6.00796

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52015 second user time and 17.5811 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-16 14:18:21
IDJOB=4434074
IDBENCH=155602
IDSOLVER=3062
FILE ID=nodeC029/4434074-1721132288
RUNJOBID= nodeC029-1721132301-874835
SLURM_JOB_ID= 7505704
Free space on /tmp= 890060 MiB

SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_4.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434074-1721132288/watcher-4434074-1721132288 -o /tmp/evaluation-result-4434074-1721132288/solver-4434074-1721132288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721132301-874835 --watchdog 3760  HOME/naps-1.03.sh -GM HOME/instance-4434074-1721132288.opb

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

MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52
RANDOM SEED=891707517

nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3619.138
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
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		: 3615.873
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
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		: 3607.116
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
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		: 3657.473
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
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		: 3607.657
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
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		: 3335.846
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
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		: 3467.396
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.09
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		: 3641.232
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123663920 kB
MemAvailable:   129652148 kB
Buffers:          409920 kB
Cached:          6341988 kB
SwapCached:            0 kB
Active:           739444 kB
Inactive:        6365792 kB
Active(anon):       1368 kB
Inactive(anon):   390000 kB
Active(file):     738076 kB
Inactive(file):  5975792 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             26072 kB
Writeback:            20 kB
AnonPages:        353540 kB
Mapped:           104008 kB
Shmem:             37720 kB
KReclaimable:     228016 kB
Slab:             349560 kB
SReclaimable:     228016 kB
SUnreclaim:       121544 kB
KernelStack:        3824 kB
PageTables:         9264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     700200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      279252 kB
DirectMap2M:    36194304 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889976 MiB
End job on nodeC029 at 2024-07-16 15:18:33