Trace number 420470

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 NameAnswerCPU timeWall clock time
Pueblo 1.4SAT 11.0973 11.1031

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/crafted/Medium/
contest05/pebbling/sat-grid-pbl-0070.sat05-1334.reshuffled-07.opb
MD5SUMe6fa7dd6dacda5f2ff8523ce05dc4471
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark9.10462
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables4970
Total number of constraints9731
Number of constraints which are clauses9731
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

Conversion Script Data (download as text)

/tmp/evaluation/420470-1177425274/instance-420470-1177425274.opb is already a linear file

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.84 0.95 0.98 3/77 11732
/proc/meminfo: memFree=1911408/2055920 swapFree=4156304/4192956
[pid=11732] ppid=11730 vsize=2552 CPUtime=0
/proc/11732/stat : 11732 (Pueblo) R 11730 11732 11656 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 218565048 2613248 236 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10584208 0 0 4096 0 0 0 0 17 1 0 0
/proc/11732/statm: 638 236 199 16 0 77 0

[startup+0.0304701 s]
/proc/loadavg: 0.84 0.95 0.98 3/77 11732
/proc/meminfo: memFree=1911408/2055920 swapFree=4156304/4192956
[pid=11732] ppid=11730 vsize=3084 CPUtime=0.02
/proc/11732/stat : 11732 (Pueblo) R 11730 11732 11656 0 -1 4194304 400 0 0 0 2 0 0 0 18 0 1 0 218565048 3158016 371 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 10882775 0 0 4096 0 0 0 0 17 1 0 0
/proc/11732/statm: 771 373 199 16 0 210 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3084

[startup+0.101477 s]
/proc/loadavg: 0.84 0.95 0.98 3/77 11732
/proc/meminfo: memFree=1911408/2055920 swapFree=4156304/4192956
[pid=11732] ppid=11730 vsize=3884 CPUtime=0.09
/proc/11732/stat : 11732 (Pueblo) R 11730 11732 11656 0 -1 4194304 590 0 0 0 9 0 0 0 18 0 1 0 218565048 3977216 561 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11732/statm: 971 561 199 16 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3884

[startup+0.301498 s]
/proc/loadavg: 0.84 0.95 0.98 3/77 11732
/proc/meminfo: memFree=1911408/2055920 swapFree=4156304/4192956
[pid=11732] ppid=11730 vsize=5904 CPUtime=0.29
/proc/11732/stat : 11732 (Pueblo) R 11730 11732 11656 0 -1 4194304 1058 0 0 0 29 0 0 0 19 0 1 0 218565048 6045696 1029 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134563838 0 0 4096 0 0 0 0 17 1 0 0
/proc/11732/statm: 1476 1029 205 16 0 915 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5904

[startup+0.701539 s]
/proc/loadavg: 0.84 0.95 0.98 3/77 11732
/proc/meminfo: memFree=1911408/2055920 swapFree=4156304/4192956
[pid=11732] ppid=11730 vsize=5904 CPUtime=0.69
/proc/11732/stat : 11732 (Pueblo) R 11730 11732 11656 0 -1 4194304 1058 0 0 0 69 0 0 0 23 0 1 0 218565048 6045696 1029 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134558937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11732/statm: 1476 1029 205 16 0 915 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5904

[startup+1.50162 s]
/proc/loadavg: 0.84 0.95 0.98 2/78 11733
/proc/meminfo: memFree=1908072/2055920 swapFree=4156304/4192956
[pid=11732] ppid=11730 vsize=5904 CPUtime=1.49
/proc/11732/stat : 11732 (Pueblo) R 11730 11732 11656 0 -1 4194304 1067 0 0 0 149 0 0 0 25 0 1 0 218565048 6045696 1038 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559471 0 0 4096 0 0 0 0 17 1 0 0
/proc/11732/statm: 1476 1038 205 16 0 915 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5904

[startup+3.10179 s]
/proc/loadavg: 0.84 0.95 0.98 2/78 11733
/proc/meminfo: memFree=1907880/2055920 swapFree=4156304/4192956
[pid=11732] ppid=11730 vsize=5904 CPUtime=3.09
/proc/11732/stat : 11732 (Pueblo) R 11730 11732 11656 0 -1 4194304 1069 0 0 0 309 0 0 0 25 0 1 0 218565048 6045696 1040 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/11732/statm: 1476 1040 205 16 0 915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5904

[startup+6.30113 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 11733
/proc/meminfo: memFree=1907688/2055920 swapFree=4156304/4192956
[pid=11732] ppid=11730 vsize=6164 CPUtime=6.29
/proc/11732/stat : 11732 (Pueblo) R 11730 11732 11656 0 -1 4194304 1123 0 0 0 629 0 0 0 25 0 1 0 218565048 6311936 1094 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134561388 0 0 4096 0 0 0 0 17 1 0 0
/proc/11732/statm: 1541 1094 205 16 0 980 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6164

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

[startup+9.50146 s]
/proc/loadavg: 0.87 0.95 0.98 2/78 11733
/proc/meminfo: memFree=1907112/2055920 swapFree=4156304/4192956
[pid=11732] ppid=11730 vsize=6692 CPUtime=9.49
/proc/11732/stat : 11732 (Pueblo) R 11730 11732 11656 0 -1 4194304 1259 0 0 0 949 0 0 0 25 0 1 0 218565048 6852608 1230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134558698 0 0 4096 0 0 0 0 17 1 0 0
/proc/11732/statm: 1673 1230 205 16 0 1112 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 6692

[startup+10.3015 s]
/proc/loadavg: 0.87 0.95 0.98 2/78 11733
/proc/meminfo: memFree=1907112/2055920 swapFree=4156304/4192956
[pid=11732] ppid=11730 vsize=6824 CPUtime=10.29
/proc/11732/stat : 11732 (Pueblo) R 11730 11732 11656 0 -1 4194304 1273 0 0 0 1029 0 0 0 25 0 1 0 218565048 6987776 1244 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134554258 0 0 4096 0 0 0 0 17 1 0 0
/proc/11732/statm: 1706 1244 205 16 0 1145 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 6824

[startup+10.7016 s]
/proc/loadavg: 0.87 0.95 0.98 2/78 11733
/proc/meminfo: memFree=1907112/2055920 swapFree=4156304/4192956
[pid=11732] ppid=11730 vsize=7080 CPUtime=10.68
/proc/11732/stat : 11732 (Pueblo) R 11730 11732 11656 0 -1 4194304 1360 0 0 0 1068 0 0 0 25 0 1 0 218565048 7249920 1331 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559586 0 0 4096 0 0 0 0 17 1 0 0
/proc/11732/statm: 1770 1331 205 16 0 1209 0
Current children cumulated CPU time (s) 10.68
Current children cumulated vsize (KiB) 7080

[startup+11.1016 s]
/proc/loadavg: 0.87 0.95 0.98 2/78 11733
/proc/meminfo: memFree=1906536/2055920 swapFree=4156304/4192956
[pid=11732] ppid=11730 vsize=0 CPUtime=11.09
/proc/11732/stat : 11732 (Pueblo) D 11730 11732 11656 0 -1 4194308 1386 0 0 0 1108 1 0 0 15 0 1 0 218565048 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744072100051646 0 0 17 0 0 0
/proc/11732/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 11.1031
CPU time (s): 11.0973
CPU user time (s): 11.0863
CPU system time (s): 0.010998
CPU usage (%): 99.9481
Max. virtual memory (cumulated for all children) (KiB): 7212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.0863
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1386
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= 17
involuntary context switches= 236

runsolver used 0.012998 second user time and 0.028995 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Tue Apr 24 14:34:34 UTC 2007

IDJOB= 420470
IDBENCH= 47847
IDSOLVER= 165
FILE ID= node7/420470-1177425274

PBS_JOBID= 4675740

Free space on /tmp= 66410 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/sat-grid-pbl-0070.sat05-1334.reshuffled-07.opb
COMMAND LINE= Pueblo /tmp/evaluation/420470-1177425274/instance-420470-1177425274.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node7/convwatcher-420470-1177425274 -o ROOT/results/node7/conversion-420470-1177425274 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420470-1177425274/instance-420470-1177425274.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  e6fa7dd6dacda5f2ff8523ce05dc4471

RANDOM SEED= 250313678

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1911880 kB
Buffers:         20008 kB
Cached:          62428 kB
SwapCached:      16708 kB
Active:          59672 kB
Inactive:        46552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1911880 kB
SwapTotal:     4192956 kB
SwapFree:      4156304 kB
Dirty:            2876 kB
Writeback:           0 kB
Mapped:          29396 kB
Slab:            23340 kB
Committed_AS:  8871712 kB
PageTables:       1860 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= 66410 MiB

End job on node7 on Tue Apr 24 14:34:46 UTC 2007