Trace number 2655909

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.199 181.98 182.041

General information on the benchmark

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

Verifier Data 

OK	199

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655909-1276483171/watcher-2655909-1276483171 -o /tmp/evaluation-result-2655909-1276483171/solver-2655909-1276483171 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655909-1276483171.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.97 1.00 1.00 3/106 25471
/proc/meminfo: memFree=1760616/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=3684 CPUtime=0
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 469 0 0 0 0 0 0 0 25 0 1 0 21968920 3772416 388 1992294400 134512640 135751879 4292545888 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 922 389 140 303 0 558 0

[startup+0.043189 s]
/proc/loadavg: 0.97 1.00 1.00 3/106 25471
/proc/meminfo: memFree=1760616/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=4080 CPUtime=0.04
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 639 0 0 0 4 0 0 0 25 0 1 0 21968920 4177920 558 1992294400 134512640 135751879 4292545888 18446744073709551615 135225260 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 1020 560 194 303 0 656 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4080

[startup+0.101195 s]
/proc/loadavg: 0.97 1.00 1.00 3/106 25471
/proc/meminfo: memFree=1760616/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=4936 CPUtime=0.09
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 905 0 0 0 9 0 0 0 18 0 1 0 21968920 5054464 765 1992294400 134512640 135751879 4292545888 18446744073709551615 134639026 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 1234 765 146 303 0 929 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4936

[startup+0.301232 s]
/proc/loadavg: 0.97 1.00 1.00 3/106 25471
/proc/meminfo: memFree=1760616/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=5440 CPUtime=0.29
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 1054 0 0 0 29 0 0 0 18 0 1 0 21968920 5570560 914 1992294400 134512640 135751879 4292545888 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 1360 914 147 303 0 1055 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5440

[startup+0.701305 s]
/proc/loadavg: 0.97 1.00 1.00 3/106 25471
/proc/meminfo: memFree=1760616/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=8604 CPUtime=0.69
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 1832 0 0 0 68 1 0 0 18 0 1 0 21968920 8810496 1692 1992294400 134512640 135751879 4292545888 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 2151 1692 147 303 0 1846 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8604

[startup+1.50145 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 25472
/proc/meminfo: memFree=1751432/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=15784 CPUtime=1.49
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 3637 0 0 0 147 2 0 0 20 0 1 0 21968920 16162816 3497 1992294400 134512640 135751879 4292545888 18446744073709551615 134606593 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 3946 3497 147 303 0 3641 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15784

[startup+3.10074 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 25472
/proc/meminfo: memFree=1741512/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=28532 CPUtime=3.09
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 6815 0 0 0 305 4 0 0 25 0 1 0 21968920 29216768 6675 1992294400 134512640 135751879 4292545888 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 7133 6675 148 303 0 6828 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28532

[startup+6.30133 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 25472
/proc/meminfo: memFree=1715720/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=53264 CPUtime=6.29
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 12999 0 0 0 620 9 0 0 25 0 1 0 21968920 54542336 12859 1992294400 134512640 135751879 4292545888 18446744073709551615 134606629 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 13316 12859 148 303 0 13011 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53264

[startup+12.7015 s]
/proc/loadavg: 0.97 1.00 1.00 2/107 25472
/proc/meminfo: memFree=1665376/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=101940 CPUtime=12.69
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 25160 0 0 0 1251 18 0 0 25 0 1 0 21968920 104386560 25020 1992294400 134512640 135751879 4292545888 18446744073709551615 134606234 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 25485 25021 148 303 0 25180 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 101940

[startup+25.5008 s]
/proc/loadavg: 0.98 1.00 1.00 2/107 25472
/proc/meminfo: memFree=1572624/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=191212 CPUtime=25.49
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 47497 0 0 0 2514 35 0 0 25 0 1 0 21968920 195801088 47357 1992294400 134512640 135751879 4292545888 18446744073709551615 134517574 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 47803 47357 148 303 0 47498 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 191212

[startup+51.1015 s]
/proc/loadavg: 0.98 1.00 1.00 2/107 25472
/proc/meminfo: memFree=1407084/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=358004 CPUtime=51.07
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 89175 0 0 0 5042 65 0 0 25 0 1 0 21968920 366596096 89035 1992294400 134512640 135751879 4292545888 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 89501 89035 148 303 0 89196 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 358004

[startup+102.309 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 25474
/proc/meminfo: memFree=1138872/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=622608 CPUtime=102.26
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 155354 0 0 0 10118 108 0 0 25 0 1 0 21968920 637550592 155214 1992294400 134512640 135751879 4292545888 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 155652 155214 148 303 0 155347 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 622608

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 25476
/proc/meminfo: memFree=902032/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=860792 CPUtime=162.23
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 214869 0 0 0 16074 149 0 0 25 0 1 0 21968920 881451008 214729 1992294400 134512640 135751879 4292545888 18446744073709551615 134606476 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 215198 214729 148 303 0 214893 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 860792

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

[startup+166.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 25476
/proc/meminfo: memFree=888144/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=874028 CPUtime=166.24
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 218194 0 0 0 16472 152 0 0 25 0 1 0 21968920 895004672 218054 1992294400 134512640 135751879 4292545888 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 218507 218054 148 303 0 218202 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 874028

[startup+172.709 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 25476
/proc/meminfo: memFree=849828/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=911440 CPUtime=172.64
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 227522 0 0 0 17108 156 0 0 25 0 1 0 21968920 933314560 227382 1992294400 134512640 135751879 4292545888 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 227860 227382 148 303 0 227555 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 911440

[startup+175.9 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 25476
/proc/meminfo: memFree=833956/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=926588 CPUtime=175.84
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 231308 0 0 0 17425 159 0 0 25 0 1 0 21968920 948826112 231168 1992294400 134512640 135751879 4292545888 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 231647 231169 148 303 0 231342 0
Current children cumulated CPU time (s) 175.84
Current children cumulated vsize (KiB) 926588

[startup+179.101 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 25476
/proc/meminfo: memFree=822920/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=941556 CPUtime=179.04
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 235059 0 0 0 17742 162 0 0 25 0 1 0 21968920 964153344 234919 1992294400 134512640 135751879 4292545888 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 235389 234919 148 303 0 235084 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 941556

[startup+180.701 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 25476
/proc/meminfo: memFree=814612/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=947632 CPUtime=180.63
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 236563 0 0 0 17901 162 0 0 25 0 1 0 21968920 970375168 236423 1992294400 134512640 135751879 4292545888 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 236908 236423 148 303 0 236603 0
Current children cumulated CPU time (s) 180.63
Current children cumulated vsize (KiB) 947632

[startup+181.508 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 25476
/proc/meminfo: memFree=809652/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=951288 CPUtime=181.44
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 237500 0 0 0 17981 163 0 0 25 0 1 0 21968920 974118912 237360 1992294400 134512640 135751879 4292545888 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 237822 237360 148 303 0 237517 0
Current children cumulated CPU time (s) 181.44
Current children cumulated vsize (KiB) 951288

[startup+181.901 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 25476
/proc/meminfo: memFree=809652/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=953540 CPUtime=181.83
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202496 238054 0 0 0 18020 163 0 0 25 0 1 0 21968920 976424960 237896 1992294400 134512640 135751879 4292545888 18446744073709551615 134521869 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25471/statm: 238385 237896 149 303 0 238080 0
Current children cumulated CPU time (s) 181.83
Current children cumulated vsize (KiB) 953540

[startup+182.001 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 25476
/proc/meminfo: memFree=809652/2059040 swapFree=4140360/4192956
[pid=25471] ppid=25469 vsize=0 CPUtime=181.93
/proc/25471/stat : 25471 (wbo1.4b) R 25469 25471 25353 0 -1 4202500 238055 0 0 0 18025 168 0 0 25 0 1 0 21968920 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/25471/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 181.93
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 182.041
CPU time (s): 181.98
CPU user time (s): 180.253
CPU system time (s): 1.72774
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 953540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.253
system time used= 1.72774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238055
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= 2
involuntary context switches= 2278

runsolver used 0.313952 second user time and 0.868867 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-14 04:39:31
IDJOB=2655909
IDBENCH=2230
IDSOLVER=1161
FILE ID=node027/2655909-1276483171
PBS_JOBID= 11173388
Free space on /tmp= 62480 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.5:100.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655909-1276483171/watcher-2655909-1276483171 -o /tmp/evaluation-result-2655909-1276483171/solver-2655909-1276483171 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655909-1276483171.opb

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

MD5SUM BENCH= 19d2194cc03557fbd803cc33882ae5ce
RANDOM SEED=979899485

node027.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		: 2800.261
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	: 5600.52
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		: 2800.261
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1761020 kB
Buffers:        100784 kB
Cached:         115952 kB
SwapCached:       6028 kB
Active:          98400 kB
Inactive:       131236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1761020 kB
SwapTotal:     4192956 kB
SwapFree:      4140360 kB
Dirty:            4252 kB
Writeback:           0 kB
AnonPages:       11016 kB
Mapped:          12996 kB
Slab:            46528 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182480 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node027 at 2010-06-14 04:42:33