Trace number 454790

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)-86 1800.26 1800.91

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_2.opb
MD5SUM8d62286ae12c02f1d9e42b05c51333f2
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-131
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -131
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products3164
Sum of products size6328

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.06	c ...done
0.04/0.06	c #vars=3664 #constraints=7329 hasObjective=yes
0.19/0.27	c res. mode=mod
0.19/0.27	c VSIDS like heuristics
0.19/0.27	c complete search running
0.19/0.28	c nbDecision=86 #constraints=7329
0.19/0.28	c linear search for optimum
0.19/0.28	o -86
0.59/0.60	c restart after 401 decisions
0.59/0.66	c nbDecision=500 #constraints=7440
0.99/1.08	c restart after 801 decisions
1.29/1.30	c nbDecision=1000 #constraints=7581
2.10/2.11	c nbDecision=1500 #constraints=7763
2.20/2.24	c restart after 1601 decisions
2.89/2.95	c nbDecision=2000 #constraints=7917
3.99/4.02	c nbDecision=2500 #constraints=8123
5.69/5.78	c nbDecision=3000 #constraints=8410
6.49/6.51	c restart after 3201 decisions
7.89/7.93	c nbDecision=3500 #constraints=8687
9.79/9.86	c nbDecision=4000 #constraints=8857
11.49/11.56	c nbDecision=4500 #constraints=8984
13.39/13.49	c nbDecision=5000 #constraints=9118
15.58/15.69	c nbDecision=5500 #constraints=9248
17.38/17.41	c nbDecision=6000 #constraints=9360
19.39/19.40	c restart after 6401 decisions
20.28/20.34	c nbDecision=6500 #constraints=9514
22.38/22.44	c nbDecision=7000 #constraints=9687
24.49/24.57	c nbDecision=7500 #constraints=9859
27.18/27.22	c nbDecision=8000 #constraints=10033
29.59/29.69	c nbDecision=8500 #constraints=10218
33.38/33.45	c nbDecision=9000 #constraints=10407
37.47/37.54	c nbDecision=9500 #constraints=10553
40.37/40.49	c nbDecision=10000 #constraints=10672
45.48/45.50	c nbDecision=10500 #constraints=10834
50.18/50.25	c nbDecision=11000 #constraints=10982
53.78/53.89	c nbDecision=11500 #constraints=11132
58.37/58.47	c nbDecision=12000 #constraints=11356
63.07/63.15	c nbDecision=12500 #constraints=11558
65.17/65.20	c restart after 12801 decisions
68.57/68.65	c nbDecision=13000 #constraints=11721
73.97/74.08	c nbDecision=13500 #constraints=12002
80.66/80.76	c nbDecision=14000 #constraints=12322
87.67/87.71	c nbDecision=14500 #constraints=12618
95.16/95.28	c nbDecision=15000 #constraints=12909
103.37/103.42	c nbDecision=15500 #constraints=13240
111.35/111.43	c nbDecision=16000 #constraints=13481
120.45/120.58	c nbDecision=16500 #constraints=13796
127.95/128.07	c nbDecision=17000 #constraints=14082
135.75/135.80	c nbDecision=17500 #constraints=14365
146.15/146.22	c nbDecision=18000 #constraints=14720
156.54/156.65	c nbDecision=18500 #constraints=15077
167.84/167.92	c nbDecision=19000 #constraints=15442
179.64/179.75	c nbDecision=19500 #constraints=15804
189.73/189.86	c nbDecision=20000 #constraints=15997
198.72/198.85	c nbDecision=20500 #constraints=16223
209.23/209.35	c nbDecision=21000 #constraints=16456
218.52/218.62	c nbDecision=21500 #constraints=16631
231.42/231.51	c nbDecision=22000 #constraints=16943
244.32/244.44	c nbDecision=22500 #constraints=17165
256.71/256.83	c nbDecision=23000 #constraints=17323
267.41/267.56	c nbDecision=23500 #constraints=17502
276.60/276.74	c nbDecision=24000 #constraints=17688
286.00/286.12	c nbDecision=24500 #constraints=17885
298.89/299.04	c nbDecision=25000 #constraints=18177
313.19/313.39	c nbDecision=25500 #constraints=18487
317.59/317.74	c restart after 25601 decisions
330.09/330.25	c nbDecision=26000 #constraints=18613
341.28/341.41	c nbDecision=26500 #constraints=18737
353.18/353.31	c nbDecision=27000 #constraints=18873
366.27/366.46	c nbDecision=27500 #constraints=19005
375.57/375.72	c nbDecision=28000 #constraints=19115
386.56/386.73	c nbDecision=28500 #constraints=19288
396.47/396.60	c nbDecision=29000 #constraints=19461
406.56/406.77	c nbDecision=29500 #constraints=19636
418.16/418.33	c nbDecision=30000 #constraints=19811
427.86/428.04	c nbDecision=30500 #constraints=19999
442.85/443.04	c nbDecision=31000 #constraints=20181
457.12/457.32	c nbDecision=31500 #constraints=20327
466.30/466.56	c nbDecision=32000 #constraints=20441
483.97/484.21	c nbDecision=32500 #constraints=20613
497.87/498.17	c nbDecision=33000 #constraints=20751
509.25/509.58	c nbDecision=33500 #constraints=20919
523.04/523.37	c nbDecision=34000 #constraints=21130
537.44/537.77	c nbDecision=34500 #constraints=21337
549.23/549.60	c nbDecision=35000 #constraints=21544
566.33/566.61	c nbDecision=35500 #constraints=21854
584.63/584.94	c nbDecision=36000 #constraints=22168
603.31/603.68	c nbDecision=36500 #constraints=22355
621.91/622.21	c nbDecision=37000 #constraints=22513
636.81/637.18	c nbDecision=37500 #constraints=22696
651.41/651.76	c nbDecision=38000 #constraints=22882
664.80/665.19	c nbDecision=38500 #constraints=23087
686.10/686.43	c nbDecision=39000 #constraints=23407
709.78/710.11	c nbDecision=39500 #constraints=23695
726.28/726.69	c nbDecision=40000 #constraints=23822
739.48/739.82	c nbDecision=40500 #constraints=23935
758.47/758.88	c nbDecision=41000 #constraints=24079
775.87/776.28	c nbDecision=41500 #constraints=24205
790.86/791.22	c nbDecision=42000 #constraints=24351
805.76/806.18	c nbDecision=42500 #constraints=24522
819.65/820.02	c nbDecision=43000 #constraints=24694
834.25/834.61	c nbDecision=43500 #constraints=24868
849.34/849.70	c nbDecision=44000 #constraints=25021
867.44/867.84	c nbDecision=44500 #constraints=25243
887.13/887.51	c nbDecision=45000 #constraints=25397
904.32/904.76	c nbDecision=45500 #constraints=25533
924.51/924.94	c nbDecision=46000 #constraints=25681
945.61/946.09	c nbDecision=46500 #constraints=25827
961.40/961.87	c nbDecision=47000 #constraints=25949
981.70/982.18	c nbDecision=47500 #constraints=26181
999.69/1000.19	c nbDecision=48000 #constraints=26379
1015.69/1016.16	c nbDecision=48500 #constraints=26547
1034.39/1034.80	c nbDecision=49000 #constraints=26798
1058.98/1059.41	c nbDecision=49500 #constraints=27125
1083.96/1084.44	c nbDecision=50000 #constraints=27417
1108.96/1109.42	c nbDecision=50500 #constraints=27711
1136.05/1136.50	c nbDecision=51000 #constraints=28037
1147.35/1147.87	c restart after 51201 decisions
1168.75/1169.29	c nbDecision=51500 #constraints=28259
1196.24/1196.73	c nbDecision=52000 #constraints=28554
1220.93/1221.43	c nbDecision=52500 #constraints=28847
1243.62/1244.13	c nbDecision=53000 #constraints=29125
1270.71/1271.21	c nbDecision=53500 #constraints=29440
1299.50/1300.02	c nbDecision=54000 #constraints=29805
1329.59/1330.12	c nbDecision=54500 #constraints=30159
1361.78/1362.39	c nbDecision=55000 #constraints=30537
1393.17/1393.71	c nbDecision=55500 #constraints=30827
1414.97/1415.59	c nbDecision=56000 #constraints=31001
1442.15/1442.78	c nbDecision=56500 #constraints=31275
1469.95/1470.56	c nbDecision=57000 #constraints=31459
1496.54/1497.10	c nbDecision=57500 #constraints=31708
1528.13/1528.74	c nbDecision=58000 #constraints=32014
1557.61/1558.23	c nbDecision=58500 #constraints=32308
1589.61/1590.27	c nbDecision=59000 #constraints=32634
1618.90/1619.55	c nbDecision=59500 #constraints=32876
1652.49/1653.12	c nbDecision=60000 #constraints=33187
1680.48/1681.17	c nbDecision=60500 #constraints=33478
1707.68/1708.36	c nbDecision=61000 #constraints=33757
1739.86/1740.51	c nbDecision=61500 #constraints=34076
1775.35/1776.03	c nbDecision=62000 #constraints=34445
1800.05/1800.70	Received signal 15
1800.14/1800.81	
1800.14/1800.81	s SATISFIABLE
1800.14/1800.81	v x1 x2 x3 x4 x5 x6 -x7 x8 x9 x10 x11 x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 x22 x23 x24 x25 -x26 x27 x28 -x29 x30 -x31 x32 -x33
1800.14/1800.81	v x34 -x35 -x36 x37 -x38 x39 x40 x41 x42 -x43 x44 x45 x46 -x47 -x48 x49 -x50 x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 x59 x60 -x61 -x62
1800.14/1800.81	v -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 x83 -x84 x85 -x86 -x87 -x88 -x89
1800.14/1800.81	v -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 x112
1800.14/1800.81	v x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133
1800.14/1800.81	v -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154
1800.14/1800.81	v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175
1800.14/1800.81	v x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196
1800.14/1800.81	v -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217
1800.14/1800.81	v -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238
1800.14/1800.81	v -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 x254 -x255 -x256 x257 -x258 -x259
1800.14/1800.81	v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280
1800.14/1800.81	v -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 x301
1800.14/1800.81	v -x302 -x303 -x304 x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 x317 -x318 x319 -x320 -x321 -x322 -x323
1800.14/1800.81	v -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344
1800.14/1800.81	v -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 x360 x361 -x362 -x363 -x364 -x365
1800.14/1800.81	v -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 x384 -x385 -x386
1800.14/1800.81	v -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407
1800.14/1800.81	v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428
1800.14/1800.81	v -x429 x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449
1800.14/1800.81	v -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
1800.14/1800.81	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491
1800.14/1800.81	v x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512
1800.14/1800.81	v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533
1800.14/1800.81	v -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554
1800.14/1800.81	v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575
1800.14/1800.81	v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596
1800.14/1800.81	v -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617
1800.14/1800.81	v -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638
1800.14/1800.81	v -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659
1800.14/1800.81	v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
1800.14/1800.81	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701
1800.14/1800.81	v -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722
1800.14/1800.81	v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743
1800.14/1800.81	v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764
1800.14/1800.81	v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785
1800.14/1800.81	v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806
1800.14/1800.81	v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827
1800.14/1800.81	v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848
1800.14/1800.81	v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869
1800.14/1800.81	v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
1800.14/1800.81	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911
1800.14/1800.81	v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932
1800.14/1800.81	v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953
1800.14/1800.81	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974
1800.14/1800.81	v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995
1800.14/1800.81	v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013
1800.14/1800.81	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
1800.14/1800.81	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
1800.14/1800.81	v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064
1800.14/1800.81	v -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081
1800.14/1800.81	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1800.14/1800.81	v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
1800.14/1800.81	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132
1800.14/1800.81	v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149
1800.14/1800.81	v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166
1800.14/1800.81	v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183
1800.14/1800.81	v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
1800.14/1800.81	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217
1800.14/1800.81	v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234
1800.14/1800.81	v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251
1800.14/1800.81	v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.14/1800.81	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285
1800.14/1800.81	v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302
1800.14/1800.81	v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319
1800.14/1800.81	v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336
1800.14/1800.81	v -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353
1800.14/1800.81	v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
1800.14/1800.81	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387
1800.14/1800.81	v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404
1800.14/1800.81	v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421
1800.14/1800.81	v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438
1800.14/1800.81	v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455
1800.14/1800.81	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472
1800.14/1800.81	v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489
1800.14/1800.81	v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506
1800.14/1800.81	v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523
1800.14/1800.81	v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
1800.14/1800.81	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557
1800.14/1800.81	v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574
1800.14/1800.81	v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591
1800.14/1800.81	v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608
1800.14/1800.81	v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625
1800.14/1800.81	v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642
1800.14/1800.81	v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659
1800.14/1800.81	v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676
1800.14/1800.81	v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693
1800.14/1800.81	v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
1800.14/1800.81	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727
1800.14/1800.81	v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744
1800.14/1800.81	v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761
1800.14/1800.81	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778
1800.14/1800.81	v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795
1800.14/1800.81	v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812
1800.14/1800.81	v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829
1800.14/1800.81	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846
1800.14/1800.81	v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863
1800.14/1800.81	v -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
1800.14/1800.81	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897
1800.14/1800.81	v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914
1800.14/1800.81	v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931
1800.14/1800.81	v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948
1800.14/1800.81	v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965
1800.14/1800.81	v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982
1800.14/1800.81	v -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999
1800.14/1800.81	v -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016
1800.14/1800.81	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033
1800.14/1800.81	v -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
1800.14/1800.81	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067
1800.14/1800.81	v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084
1800.14/1800.81	v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101
1800.14/1800.81	v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118
1800.14/1800.81	v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135
1800.14/1800.81	v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152
1800.14/1800.81	v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169
1800.14/1800.81	v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186
1800.14/1800.81	v -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203
1800.14/1800.81	v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
1800.14/1800.81	v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237
1800.14/1800.81	v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254
1800.14/1800.81	v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271
1800.14/1800.81	v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288
1800.14/1800.81	v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305
1800.14/1800.81	v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322
1800.14/1800.81	v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339
1800.14/1800.81	v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356
1800.14/1800.81	v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373
1800.14/1800.81	v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
1800.14/1800.81	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407
1800.14/1800.81	v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424
1800.14/1800.81	v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441
1800.14/1800.81	v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458
1800.14/1800.81	v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475
1800.14/1800.81	v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492
1800.14/1800.81	v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509
1800.14/1800.81	v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526
1800.14/1800.81	v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543
1800.14/1800.81	v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
1800.14/1800.81	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577
1800.14/1800.81	v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594
1800.14/1800.81	v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611
1800.14/1800.81	v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628
1800.14/1800.81	v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645
1800.14/1800.81	v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662
1800.14/1800.81	v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679
1800.14/1800.81	v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696
1800.14/1800.81	v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713
1800.14/1800.81	v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
1800.14/1800.81	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747
1800.14/1800.81	v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764
1800.14/1800.81	v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781
1800.14/1800.81	v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798
1800.14/1800.81	v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815
1800.14/1800.81	v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832
1800.14/1800.81	v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849
1800.14/1800.81	v -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866
1800.14/1800.81	v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883
1800.14/1800.81	v -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
1800.14/1800.81	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917
1800.14/1800.81	v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934
1800.14/1800.81	v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951
1800.14/1800.81	v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968
1800.14/1800.81	v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985
1800.14/1800.81	v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002
1800.14/1800.81	v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019
1800.14/1800.81	v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036
1800.14/1800.81	v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053
1800.14/1800.81	v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070
1800.14/1800.81	v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087
1800.14/1800.81	v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104
1800.14/1800.81	v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121
1800.14/1800.81	v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138
1800.14/1800.81	v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155
1800.14/1800.81	v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172
1800.14/1800.81	v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189
1800.14/1800.81	v -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206
1800.14/1800.81	v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223
1800.14/1800.81	v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
1800.14/1800.81	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257
1800.14/1800.81	v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274
1800.14/1800.81	v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291
1800.14/1800.81	v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308
1800.14/1800.81	v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325
1800.14/1800.81	v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342
1800.14/1800.81	v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359
1800.14/1800.81	v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376
1800.14/1800.81	v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393
1800.14/1800.81	v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
1800.14/1800.81	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427
1800.14/1800.81	v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444
1800.14/1800.81	v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461
1800.14/1800.81	v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478
1800.14/1800.81	v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495
1800.14/1800.81	v -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512
1800.14/1800.81	v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529
1800.14/1800.81	v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546
1800.14/1800.81	v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563
1800.14/1800.81	v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
1800.14/1800.81	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597
1800.14/1800.81	v -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614
1800.14/1800.81	v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631
1800.14/1800.81	v -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648
1800.14/1800.81	v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664
1800.14/1800.81	
1800.14/1800.81	c user time= 1799.4 s
1800.14/1800.81	c system time= 0.767883 s
1800.14/1800.81	c wall clock time=1800.81

Verifier Data (download as text)

OK	-86

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454790-1178031217/instance-454790-1178031217.opb
mv /tmp/evaluation/454790-1178031217/instance-454790-1178031217.opb.tmp /tmp/evaluation/454790-1178031217/instance-454790-1178031217.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node69/watcher-454790-1178031217 -o ROOT/results/node69/solver-454790-1178031217 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454790-1178031217/instance-454790-1178031217.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: 1.00 1.00 1.00 3/64 22622
/proc/meminfo: memFree=1821916/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=1468 CPUtime=0
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 279111121 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 367 166 131 317 0 46 0

[startup+0.0488559 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22622
/proc/meminfo: memFree=1821916/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=2812 CPUtime=0.04
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 514 0 0 0 4 0 0 0 18 0 1 0 279111121 2879488 497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 703 497 132 317 0 382 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2812

[startup+0.101856 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22622
/proc/meminfo: memFree=1821916/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=4224 CPUtime=0.09
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 873 0 0 0 9 0 0 0 18 0 1 0 279111121 4325376 856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 1056 856 137 317 0 735 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4224

[startup+0.301888 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22622
/proc/meminfo: memFree=1821916/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=4956 CPUtime=0.29
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 1081 0 0 0 29 0 0 0 19 0 1 0 279111121 5074944 1013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271311 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 1239 1013 170 317 0 918 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4956

[startup+0.701953 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 22622
/proc/meminfo: memFree=1821916/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=7456 CPUtime=0.69
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 1722 0 0 0 69 0 0 0 22 0 1 0 279111121 7634944 1654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 1864 1654 170 317 0 1543 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7456

[startup+1.50208 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22623
/proc/meminfo: memFree=1814676/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=11108 CPUtime=1.49
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 2626 0 0 0 149 0 0 0 25 0 1 0 279111121 11374592 2558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 2777 2558 170 317 0 2456 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11108

[startup+3.10134 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22623
/proc/meminfo: memFree=1809940/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=17996 CPUtime=3.09
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 4342 0 0 0 308 1 0 0 25 0 1 0 279111121 18427904 4274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 4499 4274 170 317 0 4178 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17996

[startup+6.30186 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 22623
/proc/meminfo: memFree=1796052/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=30336 CPUtime=6.29
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 7244 0 0 0 627 2 0 0 25 0 1 0 279111121 31064064 7176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718521 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 7584 7176 170 317 0 7263 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30336

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22623
/proc/meminfo: memFree=1784284/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=39620 CPUtime=12.69
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 9768 0 0 0 1266 3 0 0 25 0 1 0 279111121 40570880 9700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 9905 9700 170 317 0 9584 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39620

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22623
/proc/meminfo: memFree=1764956/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=60200 CPUtime=25.49
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 14484 0 0 0 2543 6 0 0 25 0 1 0 279111121 61644800 14416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 15050 14416 170 317 0 14729 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60200

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22623
/proc/meminfo: memFree=1745436/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=78020 CPUtime=51.08
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 19352 0 0 0 5099 9 0 0 25 0 1 0 279111121 79892480 19284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 19505 19284 170 317 0 19184 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 78020

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22623
/proc/meminfo: memFree=1699548/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=126600 CPUtime=102.27
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 30718 0 0 0 10211 16 0 0 25 0 1 0 279111121 129638400 30650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 31650 30650 170 317 0 31329 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 126600

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22623
/proc/meminfo: memFree=1662492/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=161288 CPUtime=162.24
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 40134 0 0 0 16203 21 0 0 25 0 1 0 279111121 165158912 39966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 40322 39966 170 317 0 40001 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 161288

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22623
/proc/meminfo: memFree=1623772/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=211264 CPUtime=222.22
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 49707 0 0 0 22198 24 0 0 25 0 1 0 279111121 216334336 49539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 52816 49539 170 317 0 52495 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 211264

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22623
/proc/meminfo: memFree=1604700/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=228896 CPUtime=282.2
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 54507 0 0 0 28194 26 0 0 25 0 1 0 279111121 234389504 54339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716176 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 57224 54339 170 317 0 56903 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 228896

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22623
/proc/meminfo: memFree=1586908/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=244796 CPUtime=342.18
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 58869 0 0 0 34190 28 0 0 25 0 1 0 279111121 250671104 58701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 61199 58701 170 317 0 60878 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 244796

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22623
/proc/meminfo: memFree=1572828/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=258208 CPUtime=402.17
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 62417 0 0 0 40187 30 0 0 25 0 1 0 279111121 264404992 62249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 64552 62249 170 317 0 64231 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 258208

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 22731
/proc/meminfo: memFree=1556204/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=272048 CPUtime=462.1
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 66251 0 0 0 46176 34 0 0 25 0 1 0 279111121 278577152 66083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 68012 66083 170 317 0 67691 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 272048

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1544796/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=284040 CPUtime=522.04
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 69422 0 0 0 52168 36 0 0 25 0 1 0 279111121 290856960 69254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 71010 69254 170 317 0 70689 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 284040

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1526300/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=300592 CPUtime=582.02
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 73991 0 0 0 58164 38 0 0 25 0 1 0 279111121 307806208 73823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563813 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 75148 73823 170 317 0 74827 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 300592

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1513820/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=311360 CPUtime=642.01
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 77073 0 0 0 64160 41 0 0 25 0 1 0 279111121 318832640 76905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 77840 76905 170 317 0 77519 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 311360


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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1445724/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=411664 CPUtime=941.91
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 100904 0 0 0 94139 52 0 0 25 0 1 0 279111121 421543936 93872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 102916 93872 170 317 0 102595 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 411664

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1434524/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=421536 CPUtime=1001.89
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 103688 0 0 0 100136 53 0 0 25 0 1 0 279111121 431652864 96656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 105384 96656 170 317 0 105063 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 421536

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1420956/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=434036 CPUtime=1061.88
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 107144 0 0 0 106132 56 0 0 25 0 1 0 279111121 444452864 100079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716140 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 108509 100079 170 317 0 108188 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 434036

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1406748/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=445584 CPUtime=1121.85
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 110655 0 0 0 112128 57 0 0 25 0 1 0 279111121 456278016 103590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 111396 103590 170 317 0 111075 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 445584

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1396956/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=454200 CPUtime=1181.84
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 113139 0 0 0 118125 59 0 0 25 0 1 0 279111121 465100800 106074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 113550 106074 170 317 0 113229 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 454200

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1383836/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=467208 CPUtime=1241.81
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 116685 0 0 0 124121 60 0 0 25 0 1 0 279111121 478420992 109323 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 116802 109323 170 317 0 116481 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 467208

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1370588/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=479124 CPUtime=1301.8
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 119984 0 0 0 130118 62 0 0 25 0 1 0 279111121 490622976 112589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 119781 112589 170 317 0 119460 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 479124

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1356508/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=490956 CPUtime=1361.78
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 123515 0 0 0 136114 64 0 0 25 0 1 0 279111121 502738944 116120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 122739 116120 170 317 0 122418 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 490956

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1346524/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=499808 CPUtime=1421.77
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 126039 0 0 0 142111 66 0 0 25 0 1 0 279111121 511803392 118611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 124952 118611 170 317 0 124631 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 499808

[startup+1482.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 22821
/proc/meminfo: memFree=1337052/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=508044 CPUtime=1481.74
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 128411 0 0 0 148107 67 0 0 25 0 1 0 279111121 520237056 120983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 127011 120983 170 317 0 126690 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 508044

[startup+1542.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 22821
/proc/meminfo: memFree=1326108/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=517628 CPUtime=1541.72
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 131134 0 0 0 154103 69 0 0 25 0 1 0 279111121 530051072 123706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563401 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 129407 123706 170 317 0 129086 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 517628

[startup+1602.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 22821
/proc/meminfo: memFree=1315100/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=527372 CPUtime=1601.71
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 133884 0 0 0 160100 71 0 0 25 0 1 0 279111121 540028928 126456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 131843 126456 170 317 0 131522 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 527372

[startup+1662.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 22821
/proc/meminfo: memFree=1305244/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=536092 CPUtime=1661.69
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 136395 0 0 0 166097 72 0 0 25 0 1 0 279111121 548958208 128901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 134023 128901 170 317 0 133702 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 536092

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 22821
/proc/meminfo: memFree=1293660/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=546664 CPUtime=1721.67
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 139367 0 0 0 172094 73 0 0 25 0 1 0 279111121 559783936 131807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 136666 131807 170 317 0 136345 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 546664

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1281180/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=556728 CPUtime=1781.65
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 142517 0 0 0 178090 75 0 0 25 0 1 0 279111121 570089472 134924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 139182 134924 170 317 0 138861 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 556728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1277980/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=560044 CPUtime=1800.05
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 143330 0 0 0 179929 76 0 0 25 0 1 0 279111121 573485056 135704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 140011 135704 170 317 0 139690 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 560044

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1277980/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=560044 CPUtime=1800.14
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194304 143335 0 0 0 179938 76 0 0 25 0 1 0 279111121 573485056 135709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 140011 135709 170 317 0 139690 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 560044

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 22821
/proc/meminfo: memFree=1277980/2055920 swapFree=4182940/4192956
[pid=22622] ppid=22620 vsize=0 CPUtime=1800.24
/proc/22622/stat : 22622 (oree) R 22620 22622 7846 0 -1 4194308 143351 0 0 0 179940 84 0 0 25 0 1 0 279111121 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/22622/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.26
CPU user time (s): 1799.41
CPU system time (s): 0.85087
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (KiB): 560044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.85087
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143351
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= 2556

runsolver used 1.49477 second user time and 3.48647 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Tue May  1 14:53:37 UTC 2007

IDJOB= 454790
IDBENCH= 48220
IDSOLVER= 172
FILE ID= node69/454790-1178031217

PBS_JOBID= 4728363

Free space on /tmp= 66561 MiB

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

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  8d62286ae12c02f1d9e42b05c51333f2

RANDOM SEED= 443950658

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
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	: 5931.00
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.264
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:       1822388 kB
Buffers:         93964 kB
Cached:          64396 kB
SwapCached:       3820 kB
Active:         118048 kB
Inactive:        58684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1822388 kB
SwapTotal:     4192956 kB
SwapFree:      4182940 kB
Dirty:            1384 kB
Writeback:           0 kB
Mapped:          22764 kB
Slab:            42756 kB
Committed_AS:  6335020 kB
PageTables:       1492 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= 66561 MiB

End job on node69 on Tue May  1 15:23:40 UTC 2007