Trace number 454565

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
oree 0.1.2 alphaSAT (TO)-22 1800.28 1800.87

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_5.opb
MD5SUMcdccc05ac387e7ee9cb8ab81f53ca6f8
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-31
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -31
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint25
Maximum length of a constraint49
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6226
Sum of products size (including duplicates)12452
Number of different products3113
Sum of products size6226

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 This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.04/0.05	c ...done
0.04/0.05	c #vars=3313 #constraints=6627 hasObjective=yes
0.39/0.50	c res. mode=mod
0.39/0.50	c VSIDS like heuristics
0.39/0.50	c complete search running
0.49/0.50	c nbDecision=17 #constraints=6627
0.49/0.50	c linear search for optimum
0.49/0.50	o -17
0.49/0.51	c nbDecision=21 #constraints=6630
0.49/0.51	o -18
0.49/0.53	c nbDecision=40 #constraints=6646
0.49/0.53	o -19
0.79/0.82	c nbDecision=293 #constraints=6825
0.79/0.82	o -20
0.89/0.97	c restart after 401 decisions
1.00/1.09	c nbDecision=500 #constraints=6953
1.49/1.53	c restart after 801 decisions
1.89/1.92	c nbDecision=1000 #constraints=7269
1.89/1.93	c nbDecision=1010 #constraints=7272
1.89/1.93	o -21
3.09/3.10	c nbDecision=1500 #constraints=7593
3.30/3.37	c restart after 1601 decisions
4.79/4.86	c nbDecision=2000 #constraints=7898
5.79/5.83	c nbDecision=2259 #constraints=8056
5.79/5.83	o -22
6.60/6.67	c nbDecision=2500 #constraints=8188
8.79/8.89	c nbDecision=3000 #constraints=8508
9.89/9.95	c restart after 3201 decisions
11.59/11.60	c nbDecision=3500 #constraints=8794
15.58/15.67	c nbDecision=4000 #constraints=9182
20.88/20.94	c nbDecision=4500 #constraints=9594
27.18/27.27	c nbDecision=5000 #constraints=10022
33.78/33.87	c nbDecision=5500 #constraints=10384
41.78/41.82	c nbDecision=6000 #constraints=10790
48.67/48.71	c restart after 6401 decisions
51.07/51.14	c nbDecision=6500 #constraints=11196
61.67/61.73	c nbDecision=7000 #constraints=11620
70.28/70.35	c nbDecision=7500 #constraints=11916
81.77/81.83	c nbDecision=8000 #constraints=12295
91.27/91.38	c nbDecision=8500 #constraints=12612
103.46/103.51	c nbDecision=9000 #constraints=12949
115.06/115.17	c nbDecision=9500 #constraints=13260
125.95/126.01	c nbDecision=10000 #constraints=13559
138.26/138.36	c nbDecision=10500 #constraints=13894
150.05/150.10	c nbDecision=11000 #constraints=14226
161.85/161.91	c nbDecision=11500 #constraints=14522
177.74/177.84	c nbDecision=12000 #constraints=14873
194.93/195.06	c nbDecision=12500 #constraints=15265
205.44/205.59	c restart after 12801 decisions
214.63/214.77	c nbDecision=13000 #constraints=15650
234.82/234.92	c nbDecision=13500 #constraints=16060
257.32/257.41	c nbDecision=14000 #constraints=16493
277.52/277.60	c nbDecision=14500 #constraints=16895
301.00/301.15	c nbDecision=15000 #constraints=17326
324.00/324.19	c nbDecision=15500 #constraints=17752
350.49/350.66	c nbDecision=16000 #constraints=18188
372.59/372.77	c nbDecision=16500 #constraints=18520
398.08/398.20	c nbDecision=17000 #constraints=18886
428.08/428.24	c nbDecision=17500 #constraints=19312
456.76/456.94	c nbDecision=18000 #constraints=19745
487.16/487.35	c nbDecision=18500 #constraints=20154
517.35/517.53	c nbDecision=19000 #constraints=20550
546.24/546.46	c nbDecision=19500 #constraints=20938
578.84/579.02	c nbDecision=20000 #constraints=21371
615.13/615.37	c nbDecision=20500 #constraints=21819
647.22/647.40	c nbDecision=21000 #constraints=22222
685.63/685.92	c nbDecision=21500 #constraints=22664
722.69/723.01	c nbDecision=22000 #constraints=23092
757.29/757.62	c nbDecision=22500 #constraints=23476
794.58/794.98	c nbDecision=23000 #constraints=23854
825.56/826.00	c nbDecision=23500 #constraints=24174
857.96/858.31	c nbDecision=24000 #constraints=24484
887.75/888.11	c nbDecision=24500 #constraints=24775
920.14/920.56	c nbDecision=25000 #constraints=25091
965.83/966.24	c nbDecision=25500 #constraints=25528
975.53/975.97	c restart after 25601 decisions
1016.71/1017.15	c nbDecision=26000 #constraints=25999
1056.21/1056.67	c nbDecision=26500 #constraints=26340
1091.99/1092.43	c nbDecision=27000 #constraints=26652
1130.29/1130.76	c nbDecision=27500 #constraints=27011
1173.08/1173.50	c nbDecision=28000 #constraints=27401
1214.37/1214.81	c nbDecision=28500 #constraints=27773
1254.25/1254.74	c nbDecision=29000 #constraints=28112
1296.34/1296.86	c nbDecision=29500 #constraints=28440
1341.43/1341.95	c nbDecision=30000 #constraints=28821
1386.61/1387.16	c nbDecision=30500 #constraints=29150
1434.90/1435.41	c nbDecision=31000 #constraints=29545
1487.28/1487.80	c nbDecision=31500 #constraints=29984
1544.07/1544.65	c nbDecision=32000 #constraints=30439
1594.16/1594.74	c nbDecision=32500 #constraints=30859
1645.24/1645.89	c nbDecision=33000 #constraints=31257
1694.23/1694.87	c nbDecision=33500 #constraints=31611
1739.22/1739.86	c nbDecision=34000 #constraints=31935
1784.71/1785.32	c nbDecision=34500 #constraints=32253
1800.01/1800.61	Received signal 15
1800.20/1800.82	
1800.20/1800.82	s SATISFIABLE
1800.20/1800.82	v x1 x2 x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29
1800.20/1800.82	v x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55
1800.20/1800.82	v -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1800.20/1800.82	v -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
1800.20/1800.82	v -x107 x108 -x109 -x110 x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127
1800.20/1800.82	v -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148
1800.20/1800.82	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1800.20/1800.82	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1800.20/1800.82	v -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1800.20/1800.82	v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232
1800.20/1800.82	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1800.20/1800.82	v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274
1800.20/1800.82	v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295
1800.20/1800.82	v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316
1800.20/1800.82	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1800.20/1800.82	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
1800.20/1800.82	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379
1800.20/1800.82	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1800.20/1800.82	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421
1800.20/1800.82	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442
1800.20/1800.82	v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
1800.20/1800.82	v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
1800.20/1800.82	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
1800.20/1800.82	v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526
1800.20/1800.82	v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
1800.20/1800.82	v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1800.20/1800.82	v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
1800.20/1800.82	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
1800.20/1800.82	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631
1800.20/1800.82	v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652
1800.20/1800.82	v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673
1800.20/1800.82	v -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694
1800.20/1800.82	v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715
1800.20/1800.82	v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736
1800.20/1800.82	v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757
1800.20/1800.82	v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778
1800.20/1800.82	v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799
1800.20/1800.82	v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
1800.20/1800.82	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841
1800.20/1800.82	v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862
1800.20/1800.82	v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883
1800.20/1800.82	v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904
1800.20/1800.82	v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925
1800.20/1800.82	v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946
1800.20/1800.82	v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967
1800.20/1800.82	v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988
1800.20/1800.82	v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007
1800.20/1800.82	v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024
1800.20/1800.82	v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041
1800.20/1800.82	v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
1800.20/1800.82	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
1800.20/1800.82	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.20/1800.82	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109
1800.20/1800.82	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1800.20/1800.82	v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
1800.20/1800.82	v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
1800.20/1800.82	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177
1800.20/1800.82	v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194
1800.20/1800.82	v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211
1800.20/1800.82	v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228
1800.20/1800.82	v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245
1800.20/1800.82	v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262
1800.20/1800.82	v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279
1800.20/1800.82	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296
1800.20/1800.82	v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
1800.20/1800.82	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
1800.20/1800.82	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1800.20/1800.82	v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
1800.20/1800.82	v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381
1800.20/1800.82	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1800.20/1800.82	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415
1800.20/1800.82	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
1800.20/1800.82	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
1800.20/1800.82	v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1800.20/1800.82	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483
1800.20/1800.82	v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
1800.20/1800.82	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517
1800.20/1800.82	v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534
1800.20/1800.82	v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551
1800.20/1800.82	v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568
1800.20/1800.82	v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585
1800.20/1800.82	v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602
1800.20/1800.82	v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619
1800.20/1800.82	v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636
1800.20/1800.82	v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653
1800.20/1800.82	v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
1800.20/1800.82	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687
1800.20/1800.82	v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704
1800.20/1800.82	v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721
1800.20/1800.82	v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738
1800.20/1800.82	v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755
1800.20/1800.82	v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772
1800.20/1800.82	v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789
1800.20/1800.82	v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806
1800.20/1800.82	v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823
1800.20/1800.82	v -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
1800.20/1800.82	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857
1800.20/1800.82	v -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
1800.20/1800.82	v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891
1800.20/1800.82	v -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908
1800.20/1800.82	v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925
1800.20/1800.82	v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942
1800.20/1800.82	v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959
1800.20/1800.82	v -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976
1800.20/1800.82	v -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993
1800.20/1800.82	v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
1800.20/1800.82	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027
1800.20/1800.82	v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044
1800.20/1800.82	v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061
1800.20/1800.82	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078
1800.20/1800.82	v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095
1800.20/1800.82	v -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112
1800.20/1800.82	v -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129
1800.20/1800.82	v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146
1800.20/1800.82	v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163
1800.20/1800.82	v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
1800.20/1800.82	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197
1800.20/1800.82	v -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214
1800.20/1800.82	v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231
1800.20/1800.82	v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248
1800.20/1800.82	v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265
1800.20/1800.82	v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282
1800.20/1800.82	v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299
1800.20/1800.82	v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316
1800.20/1800.82	v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333
1800.20/1800.82	v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
1800.20/1800.82	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367
1800.20/1800.82	v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384
1800.20/1800.82	v -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401
1800.20/1800.82	v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418
1800.20/1800.82	v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435
1800.20/1800.82	v -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452
1800.20/1800.82	v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469
1800.20/1800.82	v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486
1800.20/1800.82	v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503
1800.20/1800.82	v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
1800.20/1800.82	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537
1800.20/1800.82	v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554
1800.20/1800.82	v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571
1800.20/1800.82	v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588
1800.20/1800.82	v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605
1800.20/1800.82	v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622
1800.20/1800.82	v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639
1800.20/1800.82	v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656
1800.20/1800.82	v -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673
1800.20/1800.82	v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
1800.20/1800.82	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707
1800.20/1800.82	v -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724
1800.20/1800.82	v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741
1800.20/1800.82	v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758
1800.20/1800.82	v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775
1800.20/1800.82	v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792
1800.20/1800.82	v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809
1800.20/1800.82	v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826
1800.20/1800.82	v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843
1800.20/1800.82	v -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
1800.20/1800.82	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877
1800.20/1800.82	v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894
1800.20/1800.82	v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911
1800.20/1800.82	v -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928
1800.20/1800.82	v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945
1800.20/1800.82	v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962
1800.20/1800.82	v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979
1800.20/1800.82	v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996
1800.20/1800.82	v -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013
1800.20/1800.82	v -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
1800.20/1800.82	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047
1800.20/1800.82	v -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064
1800.20/1800.82	v -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081
1800.20/1800.82	v -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098
1800.20/1800.82	v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115
1800.20/1800.82	v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132
1800.20/1800.82	v -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149
1800.20/1800.82	v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166
1800.20/1800.82	v -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183
1800.20/1800.82	v -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
1800.20/1800.82	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217
1800.20/1800.82	v -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234
1800.20/1800.82	v -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251
1800.20/1800.82	v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268
1800.20/1800.82	v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285
1800.20/1800.82	v -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302
1800.20/1800.82	v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313
1800.20/1800.82	
1800.20/1800.82	c user time= 1799.7 s
1800.20/1800.82	c system time= 0.534918 s
1800.20/1800.82	c wall clock time=1800.82

Verifier Data (download as text)

OK	-22

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454565-1178027404/instance-454565-1178027404.opb
mv /tmp/evaluation/454565-1178027404/instance-454565-1178027404.opb.tmp /tmp/evaluation/454565-1178027404/instance-454565-1178027404.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node1/watcher-454565-1178027404 -o ROOT/results/node1/solver-454565-1178027404 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454565-1178027404/instance-454565-1178027404.opb mod 

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: 0.92 0.98 0.99 3/77 11207
/proc/meminfo: memFree=1801384/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=1468 CPUtime=0
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 278778226 1503232 170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 367 170 131 317 0 46 0

[startup+0.0468079 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11207
/proc/meminfo: memFree=1801384/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=2788 CPUtime=0.04
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 509 0 0 0 4 0 0 0 18 0 1 0 278778226 2854912 492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135289884 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 697 492 132 317 0 376 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2788

[startup+0.101814 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11207
/proc/meminfo: memFree=1801384/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=4028 CPUtime=0.09
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 836 0 0 0 9 0 0 0 18 0 1 0 278778226 4124672 819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 1007 819 137 317 0 686 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4028

[startup+0.301837 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11207
/proc/meminfo: memFree=1801384/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=4028 CPUtime=0.29
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 836 0 0 0 29 0 0 0 19 0 1 0 278778226 4124672 819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 1007 819 137 317 0 686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4028

[startup+0.701883 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11207
/proc/meminfo: memFree=1801384/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=5788 CPUtime=0.69
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 1305 0 0 0 69 0 0 0 22 0 1 0 278778226 5926912 1242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 1447 1242 170 317 0 1126 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5788

[startup+1.50198 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1795552/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=9864 CPUtime=1.49
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 2314 0 0 0 148 1 0 0 25 0 1 0 278778226 10100736 2251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 2466 2251 170 317 0 2145 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9864

[startup+3.10116 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1791392/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=13488 CPUtime=3.09
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 3221 0 0 0 307 2 0 0 25 0 1 0 278778226 13811712 3158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272553 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 3372 3158 170 317 0 3051 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13488

[startup+6.30154 s]
/proc/loadavg: 0.93 0.98 0.99 3/78 11208
/proc/meminfo: memFree=1784800/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=19056 CPUtime=6.29
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 4607 0 0 0 626 3 0 0 25 0 1 0 278778226 19513344 4544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 4764 4544 170 317 0 4443 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19056

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1776032/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=27788 CPUtime=12.69
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 6622 0 0 0 1265 4 0 0 25 0 1 0 278778226 28454912 6559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 6947 6559 170 317 0 6626 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27788

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1766880/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=35928 CPUtime=25.48
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 8797 0 0 0 2542 6 0 0 25 0 1 0 278778226 36790272 8734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 8982 8734 170 317 0 8661 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35928

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1753696/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=51124 CPUtime=51.07
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 12099 0 0 0 5099 8 0 0 25 0 1 0 278778226 52350976 12036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 12781 12036 170 317 0 12460 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 51124

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1738464/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=65196 CPUtime=102.26
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 15843 0 0 0 10215 11 0 0 25 0 1 0 278778226 66760704 15780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 16299 15780 170 317 0 15978 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 65196

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1724640/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=78432 CPUtime=162.25
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 19401 0 0 0 16211 14 0 0 25 0 1 0 278778226 80314368 19248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 19608 19248 170 317 0 19287 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 78432

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1709408/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=98564 CPUtime=222.23
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 23152 0 0 0 22207 16 0 0 25 0 1 0 278778226 100929536 22999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 24641 22999 170 317 0 24320 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 98564

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1698976/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=108480 CPUtime=282.21
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 25800 0 0 0 28203 18 0 0 25 0 1 0 278778226 111083520 25647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 27120 25647 170 317 0 26799 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 108480

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1689568/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=117328 CPUtime=342.2
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 28102 0 0 0 34200 20 0 0 25 0 1 0 278778226 120143872 27949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 29332 27949 170 317 0 29011 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 117328

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1681760/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=124736 CPUtime=402.18
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 30084 0 0 0 40196 22 0 0 25 0 1 0 278778226 127729664 29931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 31184 29931 170 317 0 30863 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 124736

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1674336/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=131884 CPUtime=462.16
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 31935 0 0 0 46193 23 0 0 25 0 1 0 278778226 135049216 31782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 32971 31782 170 317 0 32650 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 131884

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1667232/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=138564 CPUtime=522.14
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 33717 0 0 0 52190 24 0 0 25 0 1 0 278778226 141889536 33564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 34641 33564 170 317 0 34320 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 138564

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1660448/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=144808 CPUtime=582.13
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 35399 0 0 0 58187 26 0 0 25 0 1 0 278778226 148283392 35246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 36202 35246 170 317 0 35881 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 144808

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11208
/proc/meminfo: memFree=1653664/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=150816 CPUtime=642.12
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 37086 0 0 0 64184 28 0 0 25 0 1 0 278778226 154435584 36933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 37704 36933 170 317 0 37383 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 150816


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1626976/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=190644 CPUtime=881.95
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 46409 0 0 0 88161 34 0 0 25 0 1 0 278778226 195219456 43550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 47661 43550 170 317 0 47340 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 190644

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1621792/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=195476 CPUtime=941.93
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 47719 0 0 0 94158 35 0 0 25 0 1 0 278778226 200167424 44827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 48869 44827 170 317 0 48548 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 195476

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1616864/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=199792 CPUtime=1001.92
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 48955 0 0 0 100155 37 0 0 25 0 1 0 278778226 204587008 46063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 49948 46063 170 317 0 49627 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 199792

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1612000/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=205424 CPUtime=1061.9
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 50450 0 0 0 106152 38 0 0 25 0 1 0 278778226 210354176 47281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 51356 47281 170 317 0 51035 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 205424

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1607072/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=209896 CPUtime=1121.89
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 51696 0 0 0 112149 40 0 0 25 0 1 0 278778226 214933504 48494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 52474 48494 170 317 0 52153 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 209896

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1602208/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=214384 CPUtime=1181.87
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 52948 0 0 0 118146 41 0 0 25 0 1 0 278778226 219529216 49713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 53596 49713 170 317 0 53275 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 214384

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1597664/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=218696 CPUtime=1241.86
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 54172 0 0 0 124144 42 0 0 25 0 1 0 278778226 223944704 50871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 54674 50871 170 317 0 54353 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 218696

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1593248/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=222996 CPUtime=1301.84
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 55360 0 0 0 130141 43 0 0 25 0 1 0 278778226 228347904 51960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 55749 51960 170 317 0 55428 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 222996

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1588896/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=226636 CPUtime=1361.82
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 56436 0 0 0 136137 45 0 0 25 0 1 0 278778226 232075264 53036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 56659 53036 170 317 0 56338 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 226636

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1584544/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=230684 CPUtime=1421.81
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 57581 0 0 0 142135 46 0 0 25 0 1 0 278778226 236220416 54115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 57671 54115 170 317 0 57350 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 230684

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1580000/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=234720 CPUtime=1481.79
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 58752 0 0 0 148132 47 0 0 25 0 1 0 278778226 240353280 55253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 58680 55253 170 317 0 58359 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 234720

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1575648/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=238652 CPUtime=1541.77
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 59865 0 0 0 154128 49 0 0 25 0 1 0 278778226 244379648 56333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 59663 56333 170 317 0 59342 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 238652

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1571104/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=242688 CPUtime=1601.75
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 61014 0 0 0 160126 49 0 0 25 0 1 0 278778226 248512512 57482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 60672 57482 170 317 0 60351 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 242688

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1566880/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=246200 CPUtime=1661.74
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 62068 0 0 0 166123 51 0 0 25 0 1 0 278778226 252108800 58536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 61550 58536 170 317 0 61229 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 246200

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1562912/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=250104 CPUtime=1721.73
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 63125 0 0 0 172121 52 0 0 25 0 1 0 278778226 256106496 59527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 62526 59527 170 317 0 62205 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 250104

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1559072/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=253996 CPUtime=1781.71
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 64208 0 0 0 178118 53 0 0 25 0 1 0 278778226 260091904 60478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 63499 60478 170 317 0 63178 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 253996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1558048/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=254900 CPUtime=1800.01
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 64450 0 0 0 179948 53 0 0 25 0 1 0 278778226 261017600 60720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 63725 60720 170 317 0 63404 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 254900

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

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

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11406
/proc/meminfo: memFree=1558048/2055920 swapFree=4145736/4192956
[pid=11207] ppid=11205 vsize=254900 CPUtime=1800.2
/proc/11207/stat : 11207 (oree) R 11205 11207 18654 0 -1 4194304 64453 0 0 0 179967 53 0 0 25 0 1 0 278778226 261017600 60723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11207/statm: 63725 60723 170 317 0 63404 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 254900

Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.28
CPU user time (s): 1799.71
CPU system time (s): 0.574912
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 254900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.574912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64469
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= 8
involuntary context switches= 2453

runsolver used 1.57176 second user time and 4.13837 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Tue May  1 13:50:04 UTC 2007

IDJOB= 454565
IDBENCH= 48205
IDSOLVER= 172
FILE ID= node1/454565-1178027404

PBS_JOBID= 4728372

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_5.opb
COMMAND LINE= oree /tmp/evaluation/454565-1178027404/instance-454565-1178027404.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node1/convwatcher-454565-1178027404 -o ROOT/results/node1/conversion-454565-1178027404 -C 600 -M 1800 /tmp/evaluation/454565-1178027404/substituteSizeProductKeyword /tmp/evaluation/454565-1178027404/instance-454565-1178027404.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-454565-1178027404 -o ROOT/results/node1/solver-454565-1178027404 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/454565-1178027404/instance-454565-1178027404.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  cdccc05ac387e7ee9cb8ab81f53ca6f8

RANDOM SEED= 329808335

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.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:       1801792 kB
Buffers:         64800 kB
Cached:          99440 kB
SwapCached:      14532 kB
Active:         129368 kB
Inactive:        61424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801792 kB
SwapTotal:     4192956 kB
SwapFree:      4145736 kB
Dirty:            1488 kB
Writeback:           0 kB
Mapped:          32940 kB
Slab:            48764 kB
Committed_AS:  7605948 kB
PageTables:       1840 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= 66563 MiB

End job on node1 on Tue May  1 14:20:07 UTC 2007