Trace number 3703657

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
pwbo 2.0SAT (TO)226 1800.07 900.345

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 benchmark4.24235
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 ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                    2.0 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3703657-1338090628.opb.
0.00/0.00	c Instance file HOME/instance-3703657-1338090628.opb
0.00/0.00	c File size is 248040 bytes.
0.00/0.02	c Cost Offset: -2642
0.00/0.02	c Highest Coefficient sum: 26
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.03         s                                      |
0.00/0.02	c |  Number Variables:      4617                                                |
0.00/0.02	c |  Number Clauses:        4396                                                |
0.00/0.02	c |  Number Cardinality:    884                                                 |
0.00/0.02	c |  Number PB Constraints: 0                                                   |
0.00/0.02	c |                                                                             |
0.00/0.03	c |  Problem Type:          Optimization                                        |
0.00/0.03	c |  Objective Function:    PB Constraint                                       |
0.00/0.03	c |                                                                             |
0.00/0.03	c ===============================================================================
1800.07/900.31	o 374
1800.07/900.31	o 327
1800.07/900.31	o 326
1800.07/900.31	o 315
1800.07/900.31	o 309
1800.07/900.31	o 308
1800.07/900.31	o 279
1800.07/900.31	o 278
1800.07/900.31	o 274
1800.07/900.31	o 273
1800.07/900.31	o 269
1800.07/900.31	o 268
1800.07/900.31	o 267
1800.07/900.31	o 266
1800.07/900.31	o 257
1800.07/900.31	o 255
1800.07/900.31	o 253
1800.07/900.31	o 252
1800.07/900.31	o 231
1800.07/900.31	o 230
1800.07/900.31	o 226
1800.07/900.31	c ===============================================================================
1800.07/900.31	c Wall Clock Time: 900.31 s
1800.07/900.31	c Best Solution: 226
1800.07/900.31	s SATISFIABLE
1800.07/900.31	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

Verifier Data 

OK	226

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3703657-1338090628/watcher-3703657-1338090628 -o /tmp/evaluation-result-3703657-1338090628/solver-3703657-1338090628 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703657-1338090628.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.96 3.96 3.91 4/179 21017
/proc/meminfo: memFree=31014452/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=6092 CPUtime=0 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) R 21015 21017 19605 0 -1 4202496 723 0 0 0 0 0 0 0 20 0 1 0 275188446 6238208 675 33554432000 4194304 5965102 140737306039408 140737306037160 5180368 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 1523 686 160 433 0 1026 0

[startup+0.039335 s]
/proc/loadavg: 3.96 3.96 3.91 4/179 21017
/proc/meminfo: memFree=31014452/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=166708 CPUtime=0.03 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 3311 0 0 0 3 0 0 0 20 0 3 0 275188446 170708992 3094 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 41677 3094 195 433 0 41241 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 166708

[startup+0.100193 s]
/proc/loadavg: 3.96 3.96 3.91 4/179 21017
/proc/meminfo: memFree=31014452/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=166324 CPUtime=0.16 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 4304 0 0 0 15 1 0 0 20 0 3 0 275188446 170315776 3909 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 41581 3909 198 433 0 41145 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 166324

[startup+0.300155 s]
/proc/loadavg: 3.96 3.96 3.91 4/179 21017
/proc/meminfo: memFree=31014452/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=166324 CPUtime=0.55 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 7342 0 0 0 54 1 0 0 20 0 3 0 275188446 170315776 5644 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 41581 5644 199 433 0 41145 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 166324

[startup+0.700162 s]
/proc/loadavg: 3.96 3.96 3.91 4/179 21017
/proc/meminfo: memFree=31014452/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=166324 CPUtime=1.35 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 12157 0 0 0 132 3 0 0 20 0 3 0 275188446 170315776 9129 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 41581 9129 199 433 0 41145 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 166324

[startup+1.50029 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 21020
/proc/meminfo: memFree=30967688/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=166324 CPUtime=2.95 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 22268 0 0 0 289 6 0 0 20 0 3 0 275188446 170315776 15369 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 41581 15369 199 433 0 41145 0
[pid=21017/tid=21019] ppid=21015 vsize=166324 CPUtime=1.45 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 12920 0 0 0 141 4 0 0 20 0 3 0 275188449 170315776 15369 33554432000 4194304 5965102 140737306039408 139734237973016 5134662 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=166324 CPUtime=1.45 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 7501 0 0 0 142 3 0 0 20 0 3 0 275188449 170315776 15369 33554432000 4194304 5965102 140737306039408 139734227483080 4404732 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 166324

[startup+3.10029 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 21020
/proc/meminfo: memFree=30934084/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=166324 CPUtime=6.15 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 34946 0 0 0 607 8 0 0 20 0 3 0 275188446 170315776 21507 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 41581 21507 199 433 0 41145 0
[pid=21017/tid=21019] ppid=21015 vsize=166324 CPUtime=3.05 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 23034 0 0 0 300 5 0 0 20 0 3 0 275188449 170315776 21507 33554432000 4194304 5965102 140737306039408 139734237973016 5139802 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=166324 CPUtime=3.05 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 10065 0 0 0 301 4 0 0 20 0 3 0 275188449 170315776 21507 33554432000 4194304 5965102 140737306039408 139734227483000 4390210 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 166324

[startup+6.3003 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 21020
/proc/meminfo: memFree=30875044/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=231860 CPUtime=12.54 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 60263 0 0 0 1241 13 0 0 20 0 3 0 275188446 237424640 34160 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 57965 34160 199 433 0 57529 0
[pid=21017/tid=21019] ppid=21015 vsize=231860 CPUtime=6.24 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 41402 0 0 0 617 7 0 0 20 0 3 0 275188449 237424640 34160 33554432000 4194304 5965102 140737306039408 139734237972824 4446316 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=231860 CPUtime=6.24 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 17014 0 0 0 618 6 0 0 20 0 3 0 275188449 237424640 34160 33554432000 4194304 5965102 140737306039408 139734227482936 4404748 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 231860

[startup+12.7003 s]
/proc/loadavg: 3.97 3.97 3.91 5/182 21020
/proc/meminfo: memFree=30781424/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=297928 CPUtime=25.35 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 102833 0 0 0 2511 24 0 0 20 0 3 0 275188446 305078272 56368 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 74482 56369 199 433 0 74046 0
[pid=21017/tid=21019] ppid=21015 vsize=297928 CPUtime=12.62 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 70819 0 0 0 1251 11 0 0 20 0 3 0 275188449 305078272 56369 33554432000 4194304 5965102 140737306039408 139734237973016 5134629 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=297928 CPUtime=12.62 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 30168 0 0 0 1251 11 0 0 20 0 3 0 275188449 305078272 56369 33554432000 4194304 5965102 140737306039408 139734227482936 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 297928

[startup+25.5003 s]
/proc/loadavg: 3.98 3.97 3.91 5/182 21020
/proc/meminfo: memFree=30702544/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=364524 CPUtime=50.94 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 129711 0 0 0 5064 30 0 0 20 0 3 0 275188446 373272576 65276 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 91131 65276 199 433 0 90695 0
[pid=21017/tid=21019] ppid=21015 vsize=364524 CPUtime=25.38 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 94228 0 0 0 2521 17 0 0 20 0 3 0 275188449 373272576 65276 33554432000 4194304 5965102 140737306039408 139734237973016 4393813 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=364524 CPUtime=25.39 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 33636 0 0 0 2527 12 0 0 20 0 3 0 275188449 373272576 65276 33554432000 4194304 5965102 140737306039408 139734227482696 4390210 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 364524

[startup+51.1004 s]
/proc/loadavg: 3.98 3.97 3.91 5/181 21020
/proc/meminfo: memFree=30592580/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=432072 CPUtime=102.12 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 151573 0 0 0 10165 47 0 0 20 0 3 0 275188446 442441728 86954 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 108018 86954 199 433 0 107582 0
[pid=21017/tid=21019] ppid=21015 vsize=432072 CPUtime=50.91 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 104075 0 0 0 5062 29 0 0 20 0 3 0 275188449 442441728 86954 33554432000 4194304 5965102 140737306039408 139734237972808 5123018 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=432072 CPUtime=50.92 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 45651 0 0 0 5075 17 0 0 20 0 3 0 275188449 442441728 86954 33554432000 4194304 5965102 140737306039408 139734227482936 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 432072

[startup+102.306 s]
/proc/loadavg: 3.99 3.97 3.91 5/180 21020
/proc/meminfo: memFree=30268868/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=699120 CPUtime=204.51 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 215534 0 0 0 20331 120 0 0 20 0 3 0 275188446 715898880 149670 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 174780 149670 199 433 0 174344 0
[pid=21017/tid=21019] ppid=21015 vsize=699120 CPUtime=101.99 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 108375 0 0 0 10160 39 0 0 20 0 3 0 275188449 715898880 149670 33554432000 4194304 5965102 140737306039408 139734237973320 4401536 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=699120 CPUtime=101.99 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 105312 0 0 0 10118 81 0 0 20 0 3 0 275188449 715898880 149670 33554432000 4194304 5965102 140737306039408 139734227482936 4404767 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 699120

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 21021
/proc/meminfo: memFree=30141912/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=768828 CPUtime=324.47 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 226337 0 0 0 32321 126 0 0 20 0 3 0 275188446 787279872 159004 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 192207 159004 199 433 0 191771 0
[pid=21017/tid=21019] ppid=21015 vsize=768828 CPUtime=161.83 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 117631 0 0 0 16137 46 0 0 20 0 3 0 275188449 787279872 159004 33554432000 4194304 5965102 140737306039408 139734237972472 4400955 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=768828 CPUtime=161.83 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 106859 0 0 0 16100 83 0 0 20 0 3 0 275188449 787279872 159004 33554432000 4194304 5965102 140737306039408 139734227482696 4404759 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 768828

[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 21021
/proc/meminfo: memFree=29987580/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=840176 CPUtime=444.46 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 241583 0 0 0 44298 148 0 0 20 0 3 0 275188446 860340224 174250 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 210044 174250 199 433 0 209608 0
[pid=21017/tid=21019] ppid=21015 vsize=840176 CPUtime=221.67 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 129805 0 0 0 22101 66 0 0 20 0 3 0 275188449 860340224 174251 33554432000 4194304 5965102 140737306039408 139734237972472 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=840176 CPUtime=221.67 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 109932 0 0 0 22081 86 0 0 20 0 3 0 275188449 860340224 174251 33554432000 4194304 5965102 140737306039408 139734227482696 4390187 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 840176

[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 21021
/proc/meminfo: memFree=29881652/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=843764 CPUtime=564.44 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 252547 0 0 0 56280 164 0 0 20 0 3 0 275188446 864014336 183216 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 210941 183216 199 433 0 210505 0
[pid=21017/tid=21019] ppid=21015 vsize=843764 CPUtime=281.52 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 140011 0 0 0 28068 84 0 0 20 0 3 0 275188449 864014336 183216 33554432000 4194304 5965102 140737306039408 139734237972280 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=843764 CPUtime=281.51 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 110689 0 0 0 28064 87 0 0 20 0 3 0 275188449 864014336 183216 33554432000 4194304 5965102 140737306039408 139734227482696 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 843764

[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 21021
/proc/meminfo: memFree=29798732/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=912944 CPUtime=684.41 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 261217 0 0 0 68266 175 0 0 20 0 3 0 275188446 934854656 190692 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 228236 190692 199 433 0 227800 0

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

[pid=21017/tid=21020] ppid=21015 vsize=912944 CPUtime=341.35 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 112741 0 0 0 34045 90 0 0 20 0 3 0 275188449 934854656 190692 33554432000 4194304 5965102 140737306039408 139734227482696 4404759 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 912944

[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 21021
/proc/meminfo: memFree=29527712/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=983180 CPUtime=804.38 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 302760 0 0 0 80217 221 0 0 20 0 3 0 275188446 1006776320 233055 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 245795 233055 199 433 0 245359 0
[pid=21017/tid=21019] ppid=21015 vsize=983180 CPUtime=401.19 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 155464 0 0 0 40013 106 0 0 20 0 3 0 275188449 1006776320 233055 33554432000 4194304 5965102 140737306039408 139734237972472 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=983180 CPUtime=401.19 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 145449 0 0 0 39994 125 0 0 20 0 3 0 275188449 1006776320 233055 33554432000 4194304 5965102 140737306039408 139734227482936 4380032 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.38
Current children cumulated vsize (KiB) 983180

[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 21022
/proc/meminfo: memFree=29340436/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=1054540 CPUtime=924.33 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 333009 0 0 0 92165 268 0 0 20 0 3 0 275188446 1079848960 245853 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 263635 245853 199 433 0 263199 0
[pid=21017/tid=21019] ppid=21015 vsize=1054540 CPUtime=461.03 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 157986 0 0 0 45995 108 0 0 20 0 3 0 275188449 1079848960 245853 33554432000 4194304 5965102 140737306039408 139734237972472 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=1054540 CPUtime=461.02 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 173176 0 0 0 45931 171 0 0 20 0 3 0 275188449 1079848960 245853 33554432000 4194304 5965102 140737306039408 139734227482968 4404729 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.33
Current children cumulated vsize (KiB) 1054540

[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/181 21022
/proc/meminfo: memFree=29282184/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=1189260 CPUtime=1044.27 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 357300 0 0 0 104142 285 0 0 20 0 3 0 275188446 1217802240 270471 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 297315 270471 199 433 0 296879 0
[pid=21017/tid=21019] ppid=21015 vsize=1189260 CPUtime=520.83 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 164204 0 0 0 51964 119 0 0 20 0 3 0 275188449 1217802240 270471 33554432000 4194304 5965102 140737306039408 139734237972280 4400952 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=1189260 CPUtime=520.87 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 191249 0 0 0 51909 178 0 0 20 0 3 0 275188449 1217802240 270471 33554432000 4194304 5965102 140737306039408 139734227482696 4390239 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.27
Current children cumulated vsize (KiB) 1189260

[startup+582.3 s]
/proc/loadavg: 4.07 3.99 3.91 5/182 21025
/proc/meminfo: memFree=29073372/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=1325536 CPUtime=1164.24 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 397172 0 0 0 116109 315 0 0 20 0 3 0 275188446 1357348864 310335 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 331384 310335 199 433 0 330948 0
[pid=21017/tid=21019] ppid=21015 vsize=1325536 CPUtime=580.68 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 172955 0 0 0 57931 137 0 0 20 0 3 0 275188449 1357348864 310335 33554432000 4194304 5965102 140737306039408 139734237972472 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=1325536 CPUtime=580.7 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 222370 0 0 0 57877 193 0 0 20 0 3 0 275188449 1357348864 310335 33554432000 4194304 5965102 140737306039408 139734227482696 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.24
Current children cumulated vsize (KiB) 1325536

[startup+642.3 s]
/proc/loadavg: 4.03 3.99 3.91 5/182 21048
/proc/meminfo: memFree=29047004/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=1328584 CPUtime=1284.22 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 407786 0 0 0 128089 333 0 0 20 0 3 0 275188446 1360470016 305246 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 332146 305246 199 433 0 331710 0
[pid=21017/tid=21019] ppid=21015 vsize=1328584 CPUtime=640.53 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 182831 0 0 0 63897 156 0 0 20 0 3 0 275188449 1360470016 305246 33554432000 4194304 5965102 140737306039408 139734237972472 4401155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=1328584 CPUtime=640.54 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 223108 0 0 0 63860 194 0 0 20 0 3 0 275188449 1360470016 305246 33554432000 4194304 5965102 140737306039408 139734227482696 4404767 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.22
Current children cumulated vsize (KiB) 1328584

[startup+702.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/181 21048
/proc/meminfo: memFree=28933392/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=1398188 CPUtime=1404.17 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 421565 0 0 0 140079 338 0 0 20 0 3 0 275188446 1431744512 319002 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 349547 319002 199 433 0 349111 0
[pid=21017/tid=21019] ppid=21015 vsize=1398188 CPUtime=700.35 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 182878 0 0 0 69878 157 0 0 20 0 3 0 275188449 1431744512 319002 33554432000 4194304 5965102 140737306039408 139734237972472 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=1398188 CPUtime=700.36 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 236840 0 0 0 69836 200 0 0 20 0 3 0 275188449 1431744512 319002 33554432000 4194304 5965102 140737306039408 139734227482936 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.17
Current children cumulated vsize (KiB) 1398188

[startup+762.306 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 21049
/proc/meminfo: memFree=28770112/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=1468988 CPUtime=1524.15 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 449791 0 0 0 152040 375 0 0 20 0 3 0 275188446 1504243712 347218 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 367247 347218 199 433 0 366811 0
[pid=21017/tid=21019] ppid=21015 vsize=1468988 CPUtime=760.2 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 189359 0 0 0 75846 174 0 0 20 0 3 0 275188449 1504243712 347218 33554432000 4194304 5965102 140737306039408 139734237972344 4390112 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=1468988 CPUtime=760.21 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 258585 0 0 0 75799 222 0 0 20 0 3 0 275188449 1504243712 347218 33554432000 4194304 5965102 140737306039408 139734227482696 4391230 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.15
Current children cumulated vsize (KiB) 1468988

[startup+822.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 21090
/proc/meminfo: memFree=29969188/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=1538184 CPUtime=1644.12 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 473954 0 0 0 164016 396 0 0 20 0 3 0 275188446 1575100416 371355 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 384546 371355 199 433 0 384110 0
[pid=21017/tid=21019] ppid=21015 vsize=1538184 CPUtime=820.03 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 191712 0 0 0 81824 179 0 0 20 0 3 0 275188449 1575100416 371355 33554432000 4194304 5965102 140737306039408 139734237972472 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=1538184 CPUtime=820.03 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 280395 0 0 0 81764 239 0 0 20 0 3 0 275188449 1575100416 371355 33554432000 4194304 5965102 140737306039408 139734227482696 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.12
Current children cumulated vsize (KiB) 1538184

[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 21090
/proc/meminfo: memFree=30005300/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=1406940 CPUtime=1764.07 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 479620 0 0 0 176009 398 0 0 20 0 3 0 275188446 1440706560 334788 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 351735 334788 199 433 0 351299 0
[pid=21017/tid=21019] ppid=21015 vsize=1406940 CPUtime=879.86 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 193211 0 0 0 87805 181 0 0 20 0 3 0 275188449 1440706560 334788 33554432000 4194304 5965102 140737306039408 139734237973016 4404372 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=1406940 CPUtime=879.86 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 284562 0 0 0 87743 243 0 0 20 0 3 0 275188449 1440706560 334788 33554432000 4194304 5965102 140737306039408 139734227482696 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.07
Current children cumulated vsize (KiB) 1406940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 21090
/proc/meminfo: memFree=29982328/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=1407824 CPUtime=1800.07 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 479831 0 0 0 179609 398 0 0 20 0 3 0 275188446 1441611776 334998 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 351956 334998 199 433 0 351520 0
[pid=21017/tid=21019] ppid=21015 vsize=1407824 CPUtime=897.82 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 193212 0 0 0 89601 181 0 0 20 0 3 0 275188449 1441611776 334998 33554432000 4194304 5965102 140737306039408 139734237973016 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=1407824 CPUtime=897.81 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 284772 0 0 0 89538 243 0 0 20 0 3 0 275188449 1441611776 334998 33554432000 4194304 5965102 140737306039408 139734227482696 4390210 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1407824

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

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

[startup+900.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 21090
/proc/meminfo: memFree=29982328/32873844 swapFree=7112/7112
[pid=21017] ppid=21015 vsize=1407824 CPUtime=1800.07 cores=0,2,4,6
/proc/21017/stat : 21017 (pwbo2.0) S 21015 21017 19605 0 -1 4202496 479831 0 0 0 179609 398 0 0 20 0 3 0 275188446 1441611776 334998 33554432000 4194304 5965102 140737306039408 140737306038928 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21017/statm: 351956 334998 199 433 0 351520 0
[pid=21017/tid=21019] ppid=21015 vsize=1407824 CPUtime=897.82 cores=0,2,4,6
/proc/21017/task/21019/stat : 21019 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 193212 0 0 0 89601 181 0 0 20 0 3 0 275188449 1441611776 334998 33554432000 4194304 5965102 140737306039408 139734237973016 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21017/tid=21020] ppid=21015 vsize=1407824 CPUtime=897.81 cores=0,2,4,6
/proc/21017/task/21020/stat : 21020 (pwbo2.0) R 21015 21017 19605 0 -1 4202560 284772 0 0 0 89538 243 0 0 20 0 3 0 275188449 1441611776 334998 33554432000 4194304 5965102 140737306039408 139734227482696 4390210 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1407824

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21017 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=440659
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=293347
# CPU time returned by wait4() is 1795.73
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 900.345
CPU time (s): 1800.07
CPU user time (s): 1796.09
CPU system time (s): 3.98
CPU usage (%): 199.931
Max. virtual memory (cumulated for all children) (KiB): 1538184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.44
system time used= 4.29335
maximum resident set size= 1485456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479833
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= 1275
involuntary context switches= 2067

runsolver used 1.39079 second user time and 5.2852 second system time

The end

Launcher Data 

Begin job on node119 at 2012-05-27 05:50:28
IDJOB=3703657
IDBENCH=2221
IDSOLVER=2279
FILE ID=node119/3703657-1338090628
RUNJOBID= node119-1338085105-19621
PBS_JOBID= 14624426
Free space on /tmp= 71608 MiB

SOLVER NAME= pwbo 2.0
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= pwbo2.0 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703657-1338090628/watcher-3703657-1338090628 -o /tmp/evaluation-result-3703657-1338090628/solver-3703657-1338090628 -C 1800 -W 1900 -M 15500  pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703657-1338090628.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 18cfc7903c565bab689cc8ffed68f1fd
RANDOM SEED=1248174077

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31015088 kB
Buffers:          254944 kB
Cached:           267004 kB
SwapCached:         1776 kB
Active:          1004084 kB
Inactive:          55884 kB
Active(anon):     538624 kB
Inactive(anon):     1972 kB
Active(file):     465460 kB
Inactive(file):    53912 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100168 kB
Dirty:              5884 kB
Writeback:             0 kB
AnonPages:        543948 kB
Mapped:            12568 kB
Shmem:                 8 kB
Slab:             655624 kB
SReclaimable:      97828 kB
SUnreclaim:       557796 kB
KernelStack:        1480 kB
PageTables:         5124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     307816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71600 MiB
End job on node119 at 2012-05-27 06:05:30