Trace number 454295

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)-85 1800.21 1800.86

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_3.opb
MD5SUM0247ef4de041bbff376811a7e6bf0408
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-110
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -110
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 constraint22
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)6316
Sum of products size (including duplicates)12632
Number of different products3158
Sum of products size6316

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

Verifier Data (download as text)

OK	-85

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454295-1178023970/instance-454295-1178023970.opb
mv /tmp/evaluation/454295-1178023970/instance-454295-1178023970.opb.tmp /tmp/evaluation/454295-1178023970/instance-454295-1178023970.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node71/watcher-454295-1178023970 -o ROOT/results/node71/solver-454295-1178023970 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454295-1178023970/instance-454295-1178023970.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.91 0.97 0.99 3/64 15319
/proc/meminfo: memFree=1781312/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=1468 CPUtime=0
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 278386322 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 367 167 131 317 0 46 0

[startup+0.0454849 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 15319
/proc/meminfo: memFree=1781312/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=2656 CPUtime=0.04
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 477 0 0 0 4 0 0 0 18 0 1 0 278386322 2719744 460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 664 461 132 317 0 343 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2656

[startup+0.101492 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 15319
/proc/meminfo: memFree=1781312/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=4220 CPUtime=0.09
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 872 0 0 0 9 0 0 0 18 0 1 0 278386322 4321280 855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 1055 855 137 317 0 734 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4220

[startup+0.301519 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 15319
/proc/meminfo: memFree=1781312/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=4948 CPUtime=0.29
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 1080 0 0 0 29 0 0 0 19 0 1 0 278386322 5066752 1012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 1237 1012 170 317 0 916 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4948

[startup+0.701574 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 15319
/proc/meminfo: memFree=1781312/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=7604 CPUtime=0.69
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 1759 0 0 0 69 0 0 0 22 0 1 0 278386322 7786496 1691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 1901 1691 170 317 0 1580 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7604

[startup+1.50168 s]
/proc/loadavg: 0.91 0.97 0.99 2/65 15320
/proc/meminfo: memFree=1773944/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=11660 CPUtime=1.49
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 2754 0 0 0 149 0 0 0 25 0 1 0 278386322 11939840 2686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713857 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 2915 2686 170 317 0 2594 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11660

[startup+3.10198 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 15320
/proc/meminfo: memFree=1768568/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=18556 CPUtime=3.09
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 4486 0 0 0 308 1 0 0 25 0 1 0 278386322 19001344 4418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 4639 4418 170 317 0 4318 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18556

[startup+6.30234 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 15320
/proc/meminfo: memFree=1755128/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=30308 CPUtime=6.29
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 7283 0 0 0 627 2 0 0 25 0 1 0 278386322 31035392 7215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 7577 7215 170 317 0 7256 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30308

[startup+12.7012 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 15320
/proc/meminfo: memFree=1742008/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=41596 CPUtime=12.68
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 10248 0 0 0 1264 4 0 0 25 0 1 0 278386322 42594304 10180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 10399 10180 170 317 0 10078 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41596

[startup+25.502 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 15320
/proc/meminfo: memFree=1718008/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=65720 CPUtime=25.48
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 16039 0 0 0 2541 7 0 0 25 0 1 0 278386322 67297280 15971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 16430 15971 170 317 0 16109 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65720

[startup+51.1014 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 15320
/proc/meminfo: memFree=1684984/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=103552 CPUtime=51.07
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 24305 0 0 0 5095 12 0 0 25 0 1 0 278386322 106037248 24237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 25888 24237 170 317 0 25567 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 103552

[startup+102.304 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 15320
/proc/meminfo: memFree=1647928/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=136832 CPUtime=102.26
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 33448 0 0 0 10208 18 0 0 25 0 1 0 278386322 140115968 33380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 34208 33380 170 317 0 33887 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 136832

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15320
/proc/meminfo: memFree=1617592/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=165472 CPUtime=162.23
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 41171 0 0 0 16201 22 0 0 25 0 1 0 278386322 169443328 41003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716209 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 41368 41003 170 317 0 41047 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 165472

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15320
/proc/meminfo: memFree=1579512/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=214916 CPUtime=222.22
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 50602 0 0 0 22194 28 0 0 25 0 1 0 278386322 220073984 50434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 53729 50434 170 317 0 53408 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 214916

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15320
/proc/meminfo: memFree=1559288/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=233384 CPUtime=282.2
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 55632 0 0 0 28188 32 0 0 25 0 1 0 278386322 238985216 55464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 58346 55464 170 317 0 58025 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 233384

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15320
/proc/meminfo: memFree=1540536/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=250512 CPUtime=342.18
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 60322 0 0 0 34184 34 0 0 25 0 1 0 278386322 256524288 60154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 62628 60154 170 317 0 62307 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 250512

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15320
/proc/meminfo: memFree=1519160/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=269460 CPUtime=402.16
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 65697 0 0 0 40179 37 0 0 25 0 1 0 278386322 275927040 65529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 67365 65529 170 317 0 67044 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 269460

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15320
/proc/meminfo: memFree=1499640/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=287292 CPUtime=462.14
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 70546 0 0 0 46175 39 0 0 25 0 1 0 278386322 294187008 70378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 71823 70378 170 317 0 71502 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 287292

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 15484
/proc/meminfo: memFree=1480448/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=303840 CPUtime=522.06
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 75080 0 0 0 52163 43 0 0 25 0 1 0 278386322 311132160 74912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 75960 74912 170 317 0 75639 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 303840

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1465656/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=318852 CPUtime=582.03
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 78995 0 0 0 58157 46 0 0 25 0 1 0 278386322 326504448 78827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 79713 78827 170 317 0 79392 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 318852

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1438072/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=384316 CPUtime=642.01
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 92577 0 0 0 64151 50 0 0 25 0 1 0 278386322 393539584 85644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 96079 85644 170 317 0 95758 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 384316


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1385208/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=430128 CPUtime=881.94
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 105793 0 0 0 88137 57 0 0 25 0 1 0 278386322 440451072 98860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 107532 98860 170 317 0 107211 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 430128

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1373688/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=440416 CPUtime=941.92
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 108719 0 0 0 94134 58 0 0 25 0 1 0 278386322 450985984 101753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 110104 101753 170 317 0 109783 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 440416

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1361272/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=451468 CPUtime=1001.9
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 111798 0 0 0 100130 60 0 0 25 0 1 0 278386322 462303232 104832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 112867 104832 170 317 0 112546 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 451468

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1350840/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=460484 CPUtime=1061.88
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 114383 0 0 0 106126 62 0 0 25 0 1 0 278386322 471535616 107417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 115121 107417 170 317 0 114800 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 460484

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1339896/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=471148 CPUtime=1121.86
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 117373 0 0 0 112122 64 0 0 25 0 1 0 278386322 482455552 110176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 117787 110176 170 317 0 117466 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 471148

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1327096/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=481792 CPUtime=1181.84
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 120650 0 0 0 118118 66 0 0 25 0 1 0 278386322 493355008 113420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 120448 113420 170 317 0 120127 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 481792

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1315640/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=491804 CPUtime=1241.83
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 123480 0 0 0 124115 68 0 0 25 0 1 0 278386322 503607296 116250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 122951 116250 170 317 0 122630 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 491804

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1305144/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=501084 CPUtime=1301.81
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 126093 0 0 0 130112 69 0 0 25 0 1 0 278386322 513110016 118830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 125271 118830 170 317 0 124950 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 501084

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1294520/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=510444 CPUtime=1361.79
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 128780 0 0 0 136108 71 0 0 25 0 1 0 278386322 522694656 121517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 127611 121517 170 317 0 127290 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 510444

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1283896/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=519772 CPUtime=1421.77
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 131408 0 0 0 142106 71 0 0 25 0 1 0 278386322 532246528 124145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 129943 124145 170 317 0 129622 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 519772

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1275768/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=526620 CPUtime=1481.75
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 133446 0 0 0 148103 72 0 0 25 0 1 0 278386322 539258880 126183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 131655 126183 170 317 0 131334 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 526620

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1268408/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=532756 CPUtime=1541.73
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 135312 0 0 0 154100 73 0 0 25 0 1 0 278386322 545542144 128016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 133189 128016 170 317 0 132868 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 532756

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1262392/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=538736 CPUtime=1601.71
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 136841 0 0 0 160097 74 0 0 25 0 1 0 278386322 551665664 129545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 134684 129545 170 317 0 134363 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 538736

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1253432/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=546368 CPUtime=1661.7
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 139060 0 0 0 166094 76 0 0 25 0 1 0 278386322 559480832 131764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 136592 131764 170 317 0 136271 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 546368

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1244664/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=553864 CPUtime=1721.67
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 141260 0 0 0 172090 77 0 0 25 0 1 0 278386322 567156736 133964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 138466 133964 170 317 0 138145 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 553864

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1235448/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=561696 CPUtime=1781.66
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 143548 0 0 0 178087 79 0 0 25 0 1 0 278386322 575176704 136252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 140424 136252 170 317 0 140103 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 561696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1233272/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=563820 CPUtime=1800.06
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194304 144084 0 0 0 179927 79 0 0 25 0 1 0 278386322 577351680 136788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 140955 136788 170 317 0 140634 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 563820

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: 0.99 0.97 0.99 2/65 15518
/proc/meminfo: memFree=1233272/2055920 swapFree=4184188/4192956
[pid=15319] ppid=15317 vsize=0 CPUtime=1800.16
/proc/15319/stat : 15319 (oree) R 15317 15319 9914 0 -1 4194308 144100 0 0 0 179933 83 0 0 25 0 1 0 278386322 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15319/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.86
CPU time (s): 1800.21
CPU user time (s): 1799.33
CPU system time (s): 0.880866
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 563820

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

runsolver used 1.44678 second user time and 3.53946 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Tue May  1 12:52:50 UTC 2007

IDJOB= 454295
IDBENCH= 48187
IDSOLVER= 172
FILE ID= node71/454295-1178023970

PBS_JOBID= 4728335

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_500_10_3.opb
COMMAND LINE= oree /tmp/evaluation/454295-1178023970/instance-454295-1178023970.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node71/convwatcher-454295-1178023970 -o ROOT/results/node71/conversion-454295-1178023970 -C 600 -M 1800 /tmp/evaluation/454295-1178023970/substituteSizeProductKeyword /tmp/evaluation/454295-1178023970/instance-454295-1178023970.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  0247ef4de041bbff376811a7e6bf0408

RANDOM SEED= 519555352

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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:       1781720 kB
Buffers:         50256 kB
Cached:         145408 kB
SwapCached:       2692 kB
Active:          97160 kB
Inactive:       110520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1781720 kB
SwapTotal:     4192956 kB
SwapFree:      4184188 kB
Dirty:            1380 kB
Writeback:           0 kB
Mapped:          17380 kB
Slab:            52492 kB
Committed_AS:  4917468 kB
PageTables:       1452 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 node71 on Tue May  1 13:22:53 UTC 2007