Trace number 2655902

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
wbo 1.4bWrong Opt.273 182.025 182.076

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
MD5SUM18cfc7903c565bab689cc8ffed68f1fd
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark10.3564
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved NO
Number of variables4617
Total number of constraints5280
Number of constraints which are clauses4395
Number of constraints which are cardinality constraints (but not clauses)885
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint23
Number of terms in the objective function 4617
Biggest coefficient in the objective function 2642
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 13340
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2642
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 13340
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	273

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655902-1276478279/watcher-2655902-1276478279 -o /tmp/evaluation-result-2655902-1276478279/solver-2655902-1276478279 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655902-1276478279.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 28780
/proc/meminfo: memFree=1840328/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=3684 CPUtime=0
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 468 0 0 0 0 0 0 0 18 0 1 0 23431913 3772416 386 1992294400 134512640 135751879 4288021728 18446744073709551615 135225312 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 921 386 140 303 0 555 0

[startup+0.108424 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 28780
/proc/meminfo: memFree=1840328/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=4964 CPUtime=0.1
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 925 0 0 0 10 0 0 0 21 0 1 0 23431913 5083136 782 1992294400 134512640 135751879 4288021728 18446744073709551615 134639001 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 1241 782 146 303 0 936 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4964

[startup+0.200435 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 28780
/proc/meminfo: memFree=1840328/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=4964 CPUtime=0.19
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 927 0 0 0 19 0 0 0 21 0 1 0 23431913 5083136 784 1992294400 134512640 135751879 4288021728 18446744073709551615 134639033 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 1241 784 147 303 0 936 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4964

[startup+0.300446 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 28780
/proc/meminfo: memFree=1840328/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=5096 CPUtime=0.29
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 966 0 0 0 29 0 0 0 21 0 1 0 23431913 5218304 823 1992294400 134512640 135751879 4288021728 18446744073709551615 134639001 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 1274 823 147 303 0 969 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5096

[startup+0.700493 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 28780
/proc/meminfo: memFree=1840328/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=8532 CPUtime=0.69
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 1831 0 0 0 68 1 0 0 22 0 1 0 23431913 8736768 1688 1992294400 134512640 135751879 4288021728 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 2133 1688 147 303 0 1828 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8532

[startup+1.50059 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28781
/proc/meminfo: memFree=1830648/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=15744 CPUtime=1.49
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 3621 0 0 0 146 3 0 0 25 0 1 0 23431913 16121856 3478 1992294400 134512640 135751879 4288021728 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 3936 3478 147 303 0 3631 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15744

[startup+3.10078 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28781
/proc/meminfo: memFree=1820356/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=29064 CPUtime=3.09
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 6974 0 0 0 305 4 0 0 25 0 1 0 23431913 29761536 6831 1992294400 134512640 135751879 4288021728 18446744073709551615 134606629 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 7266 6831 147 303 0 6961 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29064

[startup+6.30115 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28781
/proc/meminfo: memFree=1793696/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=55232 CPUtime=6.29
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 13484 0 0 0 622 7 0 0 25 0 1 0 23431913 56557568 13341 1992294400 134512640 135751879 4288021728 18446744073709551615 135420558 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 13808 13342 147 303 0 13503 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55232

[startup+12.7009 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28781
/proc/meminfo: memFree=1740996/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=105848 CPUtime=12.69
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 26142 0 0 0 1252 17 0 0 25 0 1 0 23431913 108388352 25999 1992294400 134512640 135751879 4288021728 18446744073709551615 134606447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 26462 26000 148 303 0 26157 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105848

[startup+25.5004 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28781
/proc/meminfo: memFree=1648492/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=194756 CPUtime=25.49
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 48394 0 0 0 2518 31 0 0 25 0 1 0 23431913 199430144 48251 1992294400 134512640 135751879 4288021728 18446744073709551615 134606447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 48722 48253 148 303 0 48417 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 194756

[startup+51.1004 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 28781
/proc/meminfo: memFree=1483448/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=360928 CPUtime=51.08
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 89926 0 0 0 5051 57 0 0 25 0 1 0 23431913 369590272 89783 1992294400 134512640 135751879 4288021728 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 90232 89783 148 303 0 89927 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 360928

[startup+102.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 28783
/proc/meminfo: memFree=1264216/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=576856 CPUtime=102.27
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 143890 0 0 0 10134 93 0 0 25 0 1 0 23431913 590700544 143747 1992294400 134512640 135751879 4288021728 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 144214 143747 148 303 0 143909 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 576856

[startup+162.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 28785
/proc/meminfo: memFree=891596/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=951300 CPUtime=162.25
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 237461 0 0 0 16073 152 0 0 25 0 1 0 23431913 974131200 237318 1992294400 134512640 135751879 4288021728 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 237825 237318 148 303 0 237520 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 951300

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

[startup+166.401 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 28785
/proc/meminfo: memFree=869648/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=972580 CPUtime=166.34
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 242785 0 0 0 16479 155 0 0 25 0 1 0 23431913 995921920 242642 1992294400 134512640 135751879 4288021728 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 243145 242642 148 303 0 242840 0
Current children cumulated CPU time (s) 166.34
Current children cumulated vsize (KiB) 972580

[startup+172.809 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 28785
/proc/meminfo: memFree=833068/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=1007552 CPUtime=172.75
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 251519 0 0 0 17114 161 0 0 25 0 1 0 23431913 1031733248 251376 1992294400 134512640 135751879 4288021728 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 251888 251376 148 303 0 251583 0
Current children cumulated CPU time (s) 172.75
Current children cumulated vsize (KiB) 1007552

[startup+176.001 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 28785
/proc/meminfo: memFree=816700/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=1023520 CPUtime=175.95
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 255537 0 0 0 17431 164 0 0 25 0 1 0 23431913 1048084480 255394 1992294400 134512640 135751879 4288021728 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 255880 255394 148 303 0 255575 0
Current children cumulated CPU time (s) 175.95
Current children cumulated vsize (KiB) 1023520

[startup+179.201 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 28785
/proc/meminfo: memFree=804300/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=1042936 CPUtime=179.14
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 260380 0 0 0 17747 167 0 0 25 0 1 0 23431913 1067966464 260237 1992294400 134512640 135751879 4288021728 18446744073709551615 134606447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 260734 260237 148 303 0 260429 0
Current children cumulated CPU time (s) 179.14
Current children cumulated vsize (KiB) 1042936

[startup+180.801 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 28785
/proc/meminfo: memFree=790164/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=1052200 CPUtime=180.74
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 262709 0 0 0 17906 168 0 0 25 0 1 0 23431913 1077452800 262566 1992294400 134512640 135751879 4288021728 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 263050 262566 148 303 0 262745 0
Current children cumulated CPU time (s) 180.74
Current children cumulated vsize (KiB) 1052200

[startup+181.609 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 28785
/proc/meminfo: memFree=783840/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=1057012 CPUtime=181.55
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202496 263895 0 0 0 17986 169 0 0 25 0 1 0 23431913 1082380288 263752 1992294400 134512640 135751879 4288021728 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28780/statm: 264253 263752 148 303 0 263948 0
Current children cumulated CPU time (s) 181.55
Current children cumulated vsize (KiB) 1057012

[startup+182.001 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 28785
/proc/meminfo: memFree=783840/2059040 swapFree=4136456/4192956
[pid=28780] ppid=28778 vsize=0 CPUtime=181.94
/proc/28780/stat : 28780 (wbo1.4b) R 28778 28780 28077 0 -1 4202500 264427 0 0 0 18023 171 0 0 25 0 1 0 23431913 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28780/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 181.94
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 182.076
CPU time (s): 182.025
CPU user time (s): 180.233
CPU system time (s): 1.79273
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 1059216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.233
system time used= 1.79273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264427
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= 4
involuntary context switches= 152

runsolver used 0.32495 second user time and 0.846871 second system time

The end

Launcher Data 

Begin job on node001 at 2010-06-14 03:17:59
IDJOB=2655902
IDBENCH=2221
IDSOLVER=1161
FILE ID=node001/2655902-1276478279
PBS_JOBID= 11173369
Free space on /tmp= 62392 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655902-1276478279/watcher-2655902-1276478279 -o /tmp/evaluation-result-2655902-1276478279/solver-2655902-1276478279 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655902-1276478279.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 18cfc7903c565bab689cc8ffed68f1fd
RANDOM SEED=314224176

node001.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.202
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
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.202
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1840856 kB
Buffers:         43948 kB
Cached:          96320 kB
SwapCached:       9304 kB
Active:          95052 kB
Inactive:        57648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1840856 kB
SwapTotal:     4192956 kB
SwapFree:      4136456 kB
Dirty:            2884 kB
Writeback:           0 kB
AnonPages:       11156 kB
Mapped:           9176 kB
Slab:            43584 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181368 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62388 MiB
End job on node001 at 2010-06-14 03:21:01