Trace number 373074

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, and are wall clock time (not CPU 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
Pueblo 1.4SAT23 1782.76 1783.27

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark1288.62
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.29/0.30	c starting to Solve
0.29/0.30	c #variables read: 4318 - #constraints read: 15116
0.29/0.31	o 26
113.75/113.85	o 25
615.72/615.93	o 24
1366.10/1366.55	o 23
1782.68/1783.23	c total time              : 1783 s
1782.68/1783.23	s SATISFIABLE
1782.68/1783.23	v x1 x362 x440 x515 x581 -x741 x799 -x857 -x915 -x973 -x1031 -x1089 -x1147 -x11 x1205 -x14 -x1232 -x17 -x1259 -x20 -x1286 -x23
1782.68/1783.23	v -x1313 -x26 -x1340 -x29 -x1367 -x1394 -x34 -x1421 -x37 -x1448 -x40 -x1475 -x1502 -x45 -x1529 -x48 -x1556 -x51 -x1583 -x54
1782.68/1783.23	v -x1610 -x1637 -x59 -x1664 -x62 -x1691 -x65 -x1718 -x68 -x1745 -x71 -x1772 -x74 -x1799 -x77 -x1826 -x1853 x82 -x1880 -x85
1782.68/1783.23	v -x1907 -x88 -x1934 -x1961 x1963 -x1975 -x1977 -x1989 -x1991 -x2003 -x2005 -x2017 -x2019 -x2031 -x2033 -x2045 -x2047 -x2059
1782.68/1783.23	v -x2061 -x2073 -x2075 -x2087 -x2089 -x2101 -x2103 -x2115 -x2117 -x2129 -x2131 -x2143 -x2145 -x2157 -x2159 -x2171 -x2173
1782.68/1783.23	v -x2185 -x2187 -x2199 -x2201 -x2213 -x2215 -x2227 -x2229 -x2241 -x2243 -x2255 -x2257 -x2269 -x2271 -x2283 -x2285 -x2297
1782.68/1783.23	v -x2309 -x2311 -x2323 -x2325 -x2337 -x2339 -x2351 -x2353 -x2365 -x2367 -x2379 -x2381 -x2393 -x2395 -x2407 -x2409 -x2421
1782.68/1783.23	v -x2423 -x2435 -x2437 -x2449 -x2451 -x2463 -x2465 -x2477 -x2479 -x2491 -x2493 -x2505 -x2507 -x2519 -x2521 -x2533 -x2535
1782.68/1783.23	v -x2547 -x2549 -x2561 -x2563 -x2575 -x2577 -x2589 -x2591 -x2603 -x2605 -x2617 -x2619 -x2631 -x2633 -x2645 -x2647 -x2659
1782.68/1783.23	v -x2661 -x2673 -x2675 x2687 -x2689 -x2701 -x2703 -x2715 -x2717 -x2729 -x2731 -x2743 -x2748 -x2753 -x2758 -x2763 -x2768
1782.68/1783.23	v -x2773 -x2778 -x2783 x2788 -x2793 -x2798 -x2803 -x2808 -x2813 -x2818 -x2823 -x2828 -x2833 -x2838 -x2843 -x2848 -x2853
1782.68/1783.23	v -x2858 -x2863 -x2868 -x2873 -x2878 -x2883 -x2888 -x2893 -x2898 -x2903 -x2908 -x2913 -x2918 -x2923 -x2928 -x2933 -x2938
1782.68/1783.23	v -x2943 -x2948 -x2953 -x2958 -x2963 -x2968 -x2973 -x2978 -x2983 -x2988 -x2993 -x2998 -x3003 -x3008 -x3013 -x3018 -x3023
1782.68/1783.23	v -x3028 -x3033 -x3038 -x3043 -x3048 -x3053 -x3058 -x3063 -x3068 -x3073 -x3078 -x3083 -x3088 -x3093 -x3105 -x3117 -x3129
1782.68/1783.23	v -x3141 x3153 -x370 -x3165 -x3170 -x375 -x3175 -x378 -x3180 -x3185 -x383 -x3190 -x3195 -x388 -x3200 x3205 x393 -x3210 -x396
1782.68/1783.23	v -x3215 -x399 -x3220 -x402 -x3225 -x405 -x3230 -x408 -x3235 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 x3254 -x3256
1782.68/1783.23	v -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 x3280 -x3292 -x3304 -x3316 -x3328 -x3340
1782.68/1783.23	v -x448 -x3352 x3357 -x3362 -x455 -x3367 -x458 -x3372 -x461 -x3377 x464 -x3382 -x3387 -x3392 -x471 -x3397 -x3402 -x476 -x3407
1782.68/1783.23	v -x479 -x3412 -x482 -x3417 -x3422 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451
1782.68/1783.23	v -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 x3477 -x3489 -x3501 -x3513 -x3525 -x524 -x3537 -x527 -x3542 -x530 -x3547
1782.68/1783.23	v -x3552 -x3557 -x537 -x3562 -x3567 -x3572 -x3577 -x3582 -x3587 -x3592 -x3597 -x3602 -x3607 -x3609 -x3611 -x3613 -x3615
1782.68/1783.23	v -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 x3666 -x3693 -x3720 -x3747 -x3774
1782.68/1783.23	v -x3801 -x3828 -x3840 -x3852 -x596 -x3864 -x599 -x3876 -x3888 -x604 -x3900 -x3912 -x609 -x3924 -x3936 x3948 -x616 -x3960
1782.68/1783.23	v -x3972 -x3984 -x3996 -x625 -x4008 -x4020 -x630 -x4032 -x4044 -x635 -x4056 -x4068 -x4080 -x4082 -x4087 -x4089 -x4094 -x4096
1782.68/1783.23	v -x4101 -x4103 -x4108 -x4110 -x4115 -x4117 -x4122 -x4124 -x4129 -x4131 -x4136 -x4141 -x4143 -x4148 -x4150 -x4155 -x4157
1782.68/1783.23	v x4162 -x4164 -x4169 -x4171 -x4176 -x4178 -x4183 -x4185 -x4190 -x4192 -x4197 -x4199 -x4204 -x4206 -x4211 -x4213 -x4218
1782.68/1783.23	v -x4220 -x4225 x4227 -x4232 -x4234 -x4239 -x4241 -x4246 -x4251 -x4253 -x4258 -x4260 -x4265 -x4267 -x4272 -x4277 -x4279
1782.68/1783.23	v -x4284 -x4286 -x4291 -x4293 -x4298 -x4300 -x4305 -x4307 -x4312 -x4314 -x10 x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25
1782.68/1783.23	v -x27 -x28 -x30 -x31 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x53 -x55 -x56 -x57 -x58 -x60 -x61
1782.68/1783.23	v -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 x92 -x94 -x93 -x95 -x97
1782.68/1783.23	v -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118
1782.68/1783.23	v -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139
1782.68/1783.23	v -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160
1782.68/1783.23	v -x159 -x161 -x162 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x177 -x176 -x178 -x180 -x179
1782.68/1783.23	v -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200
1782.68/1783.23	v -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221
1782.68/1783.23	v -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242
1782.68/1783.23	v -x244 x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263
1782.68/1783.23	v -x265 -x267 -x266 -x268 -x270 -x269 x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284
1782.68/1783.23	v -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305
1782.68/1783.23	v -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326
1782.68/1783.23	v -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347
1782.68/1783.23	v -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x369 -x371 -x372
1782.68/1783.23	v -x373 -x374 -x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x389 -x390 x391 -x392 -x394 -x395 -x397 -x398 -x400
1782.68/1783.23	v -x401 -x403 -x404 -x406 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 x421 -x423 -x422 -x424
1782.68/1783.23	v -x426 -x425 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x363 -x364 -x365 -x366 -x367 x368
1782.68/1783.23	v -x447 -x449 -x450 x451 -x452 -x453 -x454 -x456 -x457 -x459 -x460 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473
1782.68/1783.23	v -x474 -x475 -x477 -x478 -x480 -x481 -x483 -x484 -x485 -x487 -x486 -x488 -x490 -x489 -x491 -x493 -x492 -x494 -x496 -x495 -x497
1782.68/1783.23	v -x499 -x498 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 x441 -x442 -x443 -x444
1782.68/1783.23	v -x445 -x446 -x522 -x523 -x525 -x526 -x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544
1782.68/1783.23	v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x556 -x555 -x558 -x557 -x560 -x559 -x562 -x561 -x564 -x563 -x565
1782.68/1783.23	v -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x516 x517 -x518 -x519 -x520 -x521
1782.68/1783.23	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x597 -x598 -x600 -x601 -x602 -x603 -x605 -x606 -x607 -x608 -x610 -x611 -x612 -x613
1782.68/1783.23	v x614 -x615 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x636 -x637 -x638
1782.68/1783.23	v -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659
1782.68/1783.23	v -x661 -x660 -x662 -x663 -x664 -x666 -x665 -x667 -x669 -x668 -x670 -x672 -x671 -x673 x675 -x674 -x676 -x678 -x677 -x679 -x681
1782.68/1783.23	v -x680 -x682 -x684 -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700 -x702
1782.68/1783.23	v -x701 x703 -x705 -x704 -x706 -x708 -x707 -x709 -x710 -x711 -x713 -x712 -x714 -x716 -x715 -x717 -x719 -x718 -x720 -x721 -x722
1782.68/1783.23	v -x724 -x723 -x725 -x727 -x726 -x728 -x730 -x729 -x731 -x733 -x732 -x734 -x736 -x735 -x737 -x739 -x738 -x740 -x582 x583 -x584
1782.68/1783.23	v -x585 -x586 -x587 -x588 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758
1782.68/1783.23	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779
1782.68/1783.23	v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x800 -x801
1782.68/1783.23	v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822
1782.68/1783.23	v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843
1782.68/1783.23	v -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865
1782.68/1783.23	v -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886
1782.68/1783.23	v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907
1782.68/1783.23	v -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929
1782.68/1783.23	v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
1782.68/1783.23	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971
1782.68/1783.23	v -x972 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993
1782.68/1783.23	v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011
1782.68/1783.23	v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028
1782.68/1783.23	v -x1029 -x1030 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046
1782.68/1783.23	v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063
1782.68/1783.23	v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
1782.68/1783.23	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1782.68/1783.23	v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
1782.68/1783.23	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132
1782.68/1783.23	v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1148 -x1149 -x1150
1782.68/1783.23	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167
1782.68/1783.23	v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184
1782.68/1783.23	v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201
1782.68/1783.23	v -x1202 -x1203 -x1204 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219
1782.68/1783.23	v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1233 -x1234 -x1235 -x1236 -x1237
1782.68/1783.23	v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254
1782.68/1783.23	v -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
1782.68/1783.23	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1287 -x1288 -x1289 -x1290
1782.68/1783.23	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307
1782.68/1783.23	v -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325
1782.68/1783.23	v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1341 -x1342 -x1343
1782.68/1783.23	v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
1782.68/1783.23	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378
1782.68/1783.23	v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1395 -x1396
1782.68/1783.23	v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413
1782.68/1783.23	v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431
1782.68/1783.23	v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1449
1782.68/1783.23	v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1782.68/1783.23	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484
1782.68/1783.23	v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501
1782.68/1783.23	v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519
1782.68/1783.23	v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537
1782.68/1783.23	v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554
1782.68/1783.23	v -x1555 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572
1782.68/1783.23	v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
1782.68/1783.23	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607
1782.68/1783.23	v -x1608 -x1609 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625
1782.68/1783.23	v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643
1782.68/1783.23	v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
1782.68/1783.23	v -x1661 -x1662 -x1663 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678
1782.68/1783.23	v -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696
1782.68/1783.23	v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713
1782.68/1783.23	v -x1714 -x1715 -x1716 -x1717 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731
1782.68/1783.23	v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1746 -x1747 -x1748 -x1749
1782.68/1783.23	v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766
1782.68/1783.23	v -x1767 -x1768 -x1769 -x1770 -x1771 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784
1782.68/1783.23	v -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1800 -x1801 -x1802
1782.68/1783.23	v -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819
1782.68/1783.23	v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837
1782.68/1783.23	v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 -x1855
1782.68/1783.23	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1782.68/1783.23	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
1782.68/1783.23	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1908
1782.68/1783.23	v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925
1782.68/1783.23	v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943
1782.68/1783.23	v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
1782.68/1783.23	v -x1962 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1976 -x1978 -x1979 -x1980 -x1981
1782.68/1783.23	v -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
1782.68/1783.23	v -x2001 -x2002 -x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2020 -x2021
1782.68/1783.23	v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2032 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
1782.68/1783.23	v -x2041 -x2042 -x2043 -x2044 -x2046 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2060
1782.68/1783.23	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080
1782.68/1783.23	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099
1782.68/1783.23	v -x2100 -x2102 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2116 -x2118 -x2119 -x2120
1782.68/1783.23	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139
1782.68/1783.23	v -x2140 -x2141 -x2142 -x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2160
1782.68/1783.23	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2172 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179
1782.68/1783.23	v -x2180 -x2181 -x2182 -x2183 -x2184 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198
1782.68/1783.23	v -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2214 -x2216 -x2217 -x2218 -x2219
1782.68/1783.23	v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2228 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238
1782.68/1783.23	v -x2239 -x2240 -x2242 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2256 -x2258 -x2259
1782.68/1783.23	v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2270 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278
1782.68/1783.23	v -x2279 -x2280 -x2281 -x2282 -x2284 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2298
1782.68/1783.23	v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2310 x2312 -x2313 -x2314 -x2315 -x2316 -x2317
1782.68/1783.23	v -x2318 -x2319 -x2320 -x2321 -x2322 -x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336
1782.68/1783.23	v -x2338 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2354 -x2355 -x2356 -x2357
1782.68/1783.23	v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376
1782.68/1783.23	v -x2377 -x2378 -x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2394 -x2396 -x2397
1782.68/1783.23	v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2408 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416
1782.68/1783.23	v -x2417 -x2418 -x2419 -x2420 x2422 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436
1782.68/1783.23	v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456
1782.68/1783.23	v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475
1782.68/1783.23	v -x2476 -x2478 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2494 -x2495 -x2496
1782.68/1783.23	v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2506 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515
1782.68/1783.23	v -x2516 -x2517 -x2518 -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2534 -x2536
1782.68/1783.23	v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2548 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555
1782.68/1783.23	v -x2556 -x2557 -x2558 -x2559 -x2560 x2562 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574
1782.68/1783.23	v -x2576 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2590 -x2592 -x2593 -x2594 -x2595
1782.68/1783.23	v -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2604 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614
1782.68/1783.23	v -x2615 -x2616 -x2618 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2632 -x2634 -x2635
1782.68/1783.23	v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2646 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654
1782.68/1783.23	v -x2655 -x2656 -x2657 -x2658 -x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2674
1782.68/1783.23	v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2688 -x2690 -x2691 -x2692 -x2693 -x2694
1782.68/1783.23	v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713
1782.68/1783.23	v -x2714 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2730 -x2732 -x2733 -x2734
1782.68/1783.23	v -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 -x2747 x2749 -x2750 -x2751 -x2752 -x2754
1782.68/1783.23	v -x2755 -x2756 -x2757 -x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2774 -x2775
1782.68/1783.23	v -x2776 -x2777 -x2779 -x2780 -x2781 -x2782 -x2784 -x2785 -x2786 -x2787 x2789 -x2790 -x2791 -x2792 -x2794 -x2795 -x2796
1782.68/1783.23	v -x2797 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805 -x2806 -x2807 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817
1782.68/1783.23	v -x2819 -x2820 -x2821 -x2822 -x2824 -x2825 -x2826 -x2827 x2829 -x2830 -x2831 -x2832 -x2834 -x2835 -x2836 -x2837 -x2839
1782.68/1783.23	v -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2849 -x2850 -x2851 -x2852 -x2854 -x2855 -x2856 -x2857 -x2859 -x2860
1782.68/1783.23	v -x2861 -x2862 -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2874 -x2875 -x2876 -x2877 -x2879 -x2880 -x2881
1782.68/1783.23	v -x2882 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 -x2901 -x2902
1782.68/1783.23	v -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2919 -x2920 -x2921 -x2922 -x2924
1782.68/1783.23	v -x2925 -x2926 -x2927 x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945
1782.68/1783.23	v -x2946 -x2947 -x2949 -x2950 -x2951 -x2952 -x2954 -x2955 -x2956 -x2957 -x2959 -x2960 -x2961 -x2962 -x2964 -x2965 -x2966
1782.68/1783.23	v -x2967 -x2969 -x2970 -x2971 -x2972 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987
1782.68/1783.23	v -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3004 -x3005 -x3006 -x3007 -x3009
1782.68/1783.23	v -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3019 -x3020 -x3021 -x3022 -x3024 -x3025 -x3026 -x3027 -x3029 -x3030
1782.68/1783.23	v -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051
1782.68/1783.23	v -x3052 x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072
1782.68/1783.23	v -x3074 -x3075 -x3076 -x3077 -x3079 -x3080 -x3081 -x3082 -x3084 -x3085 -x3086 -x3087 -x3089 -x3090 -x3091 -x3092 -x3094
1782.68/1783.23	v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112
1782.68/1783.23	v -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3130 -x3131
1782.68/1783.23	v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149
1782.68/1783.23	v -x3150 -x3151 -x3152 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3166 -x3167 -x3168 -x3169
1782.68/1783.23	v -x3171 -x3172 -x3173 -x3174 -x3176 -x3177 -x3178 -x3179 -x3181 -x3182 -x3183 -x3184 x3186 -x3187 -x3188 -x3189 -x3191
1782.68/1783.23	v -x3192 -x3193 -x3194 -x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203 -x3204 x3206 -x3207 -x3208 -x3209 -x3211 -x3212
1782.68/1783.23	v -x3213 -x3214 -x3216 -x3217 -x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3226 -x3227 -x3228 -x3229 -x3231 -x3232 -x3233
1782.68/1783.23	v -x3234 -x3236 -x3237 -x3238 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 x3251 -x3253 x3255 x3257 -x3259 -x3261 -x3263 -x3265
1782.68/1783.23	v -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 x3279 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291
1782.68/1783.23	v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 x3305 -x3306 -x3307 -x3308 -x3309 -x3310
1782.68/1783.23	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3329
1782.68/1783.23	v -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347
1782.68/1783.23	v -x3348 -x3349 -x3350 -x3351 -x3353 -x3354 -x3355 -x3356 x3358 x3359 -x3360 -x3361 -x3363 -x3364 -x3365 -x3366 -x3368 -x3369
1782.68/1783.23	v -x3370 -x3371 -x3373 -x3374 -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 -x3383 -x3384 -x3385 -x3386 -x3388 -x3389 -x3390
1782.68/1783.23	v -x3391 -x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3408 -x3409 -x3410 -x3411
1782.68/1783.23	v -x3413 -x3414 -x3415 -x3416 -x3418 -x3419 -x3420 -x3421 -x3423 -x3424 -x3425 -x3426 -x3428 x3430 x3432 x3434 -x3436 -x3438
1782.68/1783.23	v -x3440 -x3442 -x3444 -x3446 x3448 -x3450 x3452 -x3454 -x3456 -x3458 -x3460 x3462 x3464 x3466 -x3467 -x3468 -x3469 -x3470
1782.68/1783.23	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488
1782.68/1783.23	v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507
1782.68/1783.23	v -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3526
1782.68/1783.23	v -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3538 -x3539 -x3540 -x3541 -x3543 -x3544 -x3545
1782.68/1783.23	v -x3546 -x3548 -x3549 -x3550 -x3551 -x3553 -x3554 -x3555 -x3556 x3558 -x3559 -x3560 -x3561 -x3563 -x3564 -x3565 -x3566
1782.68/1783.23	v -x3568 -x3569 -x3570 -x3571 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588
1782.68/1783.23	v -x3589 -x3590 -x3591 -x3593 -x3594 -x3595 -x3596 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 -x3608 -x3610
1782.68/1783.23	v -x3612 -x3614 -x3616 x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 x3636 -x3638 -x3640 -x3641 -x3642 -x3643
1782.68/1783.23	v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
1782.68/1783.23	v -x3661 -x3662 -x3663 -x3664 -x3665 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678
1782.68/1783.23	v -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3694 -x3695 -x3696
1782.68/1783.23	v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713
1782.68/1783.23	v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731
1782.68/1783.23	v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3748 -x3749
1782.68/1783.23	v -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766
1782.68/1783.23	v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784
1782.68/1783.23	v -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3802
1782.68/1783.23	v -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819
1782.68/1783.23	v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837
1782.68/1783.23	v -x3838 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3854 -x3855 -x3856
1782.68/1783.23	v -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874
1782.68/1783.23	v -x3875 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3889 -x3890 -x3891 -x3892 -x3893
1782.68/1783.23	v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911
1782.68/1783.23	v x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
1782.68/1783.23	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3949
1782.68/1783.23	v -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967
1782.68/1783.23	v -x3968 -x3969 -x3970 -x3971 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3985 -x3986
1782.68/1783.23	v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004
1782.68/1783.23	v -x4005 -x4006 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023
1782.68/1783.23	v -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041
1782.68/1783.23	v -x4042 -x4043 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4057 -x4058 -x4059 -x4060
1782.68/1783.23	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078
1782.68/1783.23	v -x4079 -x4081 -x4083 -x4084 -x4085 -x4086 -x4088 -x4090 -x4091 -x4092 -x4093 -x4095 -x4097 -x4098 -x4099 -x4100 -x4102
1782.68/1783.23	v -x4104 -x4105 -x4106 -x4107 -x4109 -x4111 -x4112 -x4113 -x4114 -x4116 -x4118 -x4119 -x4120 -x4121 -x4123 -x4125 -x4126
1782.68/1783.23	v -x4127 -x4128 -x4130 -x4132 -x4133 -x4134 -x4135 -x4137 -x4138 -x4139 -x4140 -x4142 -x4144 -x4145 -x4146 -x4147 -x4149
1782.68/1783.23	v -x4151 -x4152 -x4153 -x4154 -x4156 -x4158 -x4159 -x4160 -x4161 x4163 -x4165 -x4166 -x4167 -x4168 -x4170 -x4172 -x4173
1782.68/1783.23	v -x4174 -x4175 -x4177 -x4179 -x4180 -x4181 -x4182 -x4184 x4186 -x4187 -x4188 -x4189 -x4191 -x4193 -x4194 -x4195 -x4196
1782.68/1783.23	v -x4198 -x4200 -x4201 -x4202 -x4203 -x4205 x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 -x4219 -x4221
1782.68/1783.23	v -x4222 -x4223 -x4224 -x4226 x4228 -x4229 -x4230 -x4231 x4233 -x4235 -x4236 -x4237 -x4238 -x4240 -x4242 -x4243 -x4244 -x4245
1782.68/1783.23	v -x4247 -x4248 -x4249 -x4250 -x4252 -x4254 -x4255 -x4256 -x4257 -x4259 -x4261 -x4262 -x4263 -x4264 -x4266 x4268 -x4269
1782.68/1783.23	v -x4270 -x4271 -x4273 -x4274 -x4275 -x4276 -x4278 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 x4292
1782.68/1783.23	v -x4294 -x4295 -x4296 -x4297 -x4299 -x4301 -x4302 -x4303 -x4304 -x4306 -x4308 -x4309 -x4310 -x4311 x4313 -x4315 -x4316
1782.68/1783.23	v -x4317 -x4318

Verifier Data (download as text)

OK	23

Conversion Script Data (download as text)

/tmp/evaluation/373074-1177161629/instance-373074-1177161629.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node44/watcher-373074-1177161629 -o ROOT/results/node44/solver-373074-1177161629 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/373074-1177161629/instance-373074-1177161629.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 22221
/proc/meminfo: memFree=1776984/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=2552 CPUtime=0
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 164074667 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 638 230 193 16 0 77 0

[startup+0.025155 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 22221
/proc/meminfo: memFree=1776984/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=2816 CPUtime=0.02
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 354 0 0 0 2 0 0 0 18 0 1 0 164074667 2883584 324 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 704 324 199 16 0 143 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2816

[startup+0.101162 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 22221
/proc/meminfo: memFree=1776984/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=3884 CPUtime=0.09
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 618 0 0 0 9 0 0 0 18 0 1 0 164074667 3977216 588 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 971 588 199 16 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3884

[startup+0.301183 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 22221
/proc/meminfo: memFree=1776984/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=6240 CPUtime=0.29
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 1141 0 0 0 29 0 0 0 19 0 1 0 164074667 6389760 1111 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11716219 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 1560 1111 204 16 0 999 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6240

[startup+0.701223 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 22221
/proc/meminfo: memFree=1776984/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=6376 CPUtime=0.69
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 1169 0 0 0 69 0 0 0 23 0 1 0 164074667 6529024 1139 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557938 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 1594 1139 205 16 0 1033 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6376

[startup+1.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1773136/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=6648 CPUtime=1.49
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 1234 0 0 0 148 1 0 0 25 0 1 0 164074667 6807552 1204 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 1662 1204 205 16 0 1101 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6648

[startup+3.10247 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1772432/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=8264 CPUtime=3.09
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 1632 0 0 0 308 1 0 0 25 0 1 0 164074667 8462336 1602 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527966 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 2066 1602 205 16 0 1505 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8264

[startup+6.3018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1769232/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=10868 CPUtime=6.29
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 2296 0 0 0 627 2 0 0 25 0 1 0 164074667 11128832 2266 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 2717 2266 205 16 0 2156 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10868

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1764624/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=14880 CPUtime=12.69
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 3317 0 0 0 1266 3 0 0 25 0 1 0 164074667 15237120 3282 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134516816 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 3720 3282 205 16 0 3159 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14880

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1752720/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=26452 CPUtime=25.48
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 6205 0 0 0 2543 5 0 0 25 0 1 0 164074667 27086848 6156 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 6613 6156 205 16 0 6052 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26452

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1738000/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=41144 CPUtime=51.07
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 9914 0 0 0 5097 10 0 0 25 0 1 0 164074667 42131456 9833 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 10286 9833 205 16 0 9725 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41144

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1721872/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=57320 CPUtime=102.26
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 13945 0 0 0 10211 15 0 0 25 0 1 0 164074667 58695680 13864 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558653 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 14330 13864 205 16 0 13769 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 57320

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1721808/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=57320 CPUtime=162.24
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 13947 0 0 0 16202 22 0 0 25 0 1 0 164074667 58695680 13866 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 14330 13866 205 16 0 13769 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 57320

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1721744/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=57320 CPUtime=222.22
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 13948 0 0 0 22196 26 0 0 25 0 1 0 164074667 58695680 13867 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 14330 13867 205 16 0 13769 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 57320

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1697360/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=81676 CPUtime=282.21
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 20038 0 0 0 28189 32 0 0 25 0 1 0 164074667 83636224 19957 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 20419 19957 205 16 0 19858 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 81676

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1675216/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=103816 CPUtime=342.19
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 25679 0 0 0 34181 38 0 0 25 0 1 0 164074667 106307584 25480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559287 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 25954 25480 205 16 0 25393 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 103816

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1670480/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=108712 CPUtime=402.17
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 26906 0 0 0 40177 40 0 0 25 0 1 0 164074667 111321088 26707 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 27178 26707 205 16 0 26617 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 108712

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1659472/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=119468 CPUtime=462.16
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 29621 0 0 0 46172 44 0 0 25 0 1 0 164074667 122335232 29422 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 29867 29422 205 16 0 29306 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 119468

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1639056/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=140468 CPUtime=522.14
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 34857 0 0 0 52167 47 0 0 25 0 1 0 164074667 143839232 34658 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 35117 34658 205 16 0 34556 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 140468

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1624848/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=154004 CPUtime=582.12
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 38254 0 0 0 58162 50 0 0 25 0 1 0 164074667 157700096 38055 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 38501 38055 205 16 0 37940 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 154004

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1624848/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=154004 CPUtime=642.11
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 38254 0 0 0 64159 52 0 0 25 0 1 0 164074667 157700096 38055 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 38501 38055 205 16 0 37940 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 154004


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

/proc/meminfo: memFree=1614672/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=882.04
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 88146 58 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40631 205 16 0 40521 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 164328

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1614672/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=942.02
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 94142 60 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40631 205 16 0 40521 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 164328

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1614672/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1002.01
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 100139 62 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40631 205 16 0 40521 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 164328

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1061.99
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 106135 64 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40631 205 16 0 40521 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 164328

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22222
/proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1121.98
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 112132 66 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532120 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40631 205 16 0 40521 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 164328

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1181.96
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 118128 68 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522695 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40631 205 16 0 40521 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 164328

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1241.94
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 124124 70 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40631 205 16 0 40521 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 164328

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1301.92
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 130120 72 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40632 205 16 0 40521 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 164328

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1361.9
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 136116 74 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11716252 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40632 205 16 0 40521 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 164328

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1421.89
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 142113 76 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40632 205 16 0 40521 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 164328

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1481.87
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 148108 79 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40632 205 16 0 40521 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 164328

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1541.86
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 154104 82 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40632 205 16 0 40521 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 164328

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1601.84
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 160100 84 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559161 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40632 205 16 0 40521 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 164328

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1661.82
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 166095 87 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40632 205 16 0 40521 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 164328

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1721.81
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 172091 90 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40632 205 16 0 40521 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 164328

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1781.78
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 178086 92 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40632 205 16 0 40521 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 164328

Solver just ended. Dumping a history of the last processes samples

[startup+1782.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1782.18
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 178126 92 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40632 205 16 0 40521 0
Current children cumulated CPU time (s) 1782.18
Current children cumulated vsize (KiB) 164328

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1782.59
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 178167 92 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40632 205 16 0 40521 0
Current children cumulated CPU time (s) 1782.59
Current children cumulated vsize (KiB) 164328

[startup+1783.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22224
/proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956
[pid=22221] ppid=22219 vsize=164328 CPUtime=1782.68
/proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 178176 92 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0
/proc/22221/statm: 41082 40632 205 16 0 40521 0
Current children cumulated CPU time (s) 1782.68
Current children cumulated vsize (KiB) 164328

Child status: 10
Real time (s): 1783.27
CPU time (s): 1782.76
CPU user time (s): 1781.8
CPU system time (s): 0.957854
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 164328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.8
system time used= 0.957854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40838
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= 15
involuntary context switches= 37767

runsolver used 2.14167 second user time and 4.19436 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Sat Apr 21 13:20:30 UTC 2007

IDJOB= 373074
IDBENCH= 25017
IDSOLVER= 165
FILE ID= node44/373074-1177161629

PBS_JOBID= 4648907

Free space on /tmp= 66412 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= Pueblo /tmp/evaluation/373074-1177161629/instance-373074-1177161629.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node44/convwatcher-373074-1177161629 -o ROOT/results/node44/conversion-373074-1177161629 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373074-1177161629/instance-373074-1177161629.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-373074-1177161629 -o ROOT/results/node44/solver-373074-1177161629 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/373074-1177161629/instance-373074-1177161629.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  a6271c60ac3da107dd19024b50d39967

RANDOM SEED= 962705383

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1777456 kB
Buffers:         42824 kB
Cached:         147076 kB
SwapCached:      13692 kB
Active:          76168 kB
Inactive:       138080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1777456 kB
SwapTotal:     4192956 kB
SwapFree:      4156104 kB
Dirty:            2772 kB
Writeback:           0 kB
Mapped:          32440 kB
Slab:            49748 kB
Committed_AS:  1392296 kB
PageTables:       1736 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66412 MiB

End job on node44 on Sat Apr 21 13:50:13 UTC 2007