PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
MD5SUM	bc393d4b1cc38ed414c3e21eb8bc6b60
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	56
Optimality of the best value was proved	NO
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 numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06284
Number of variables	4447
Total number of constraints	9372
Number of constraints which are clauses	4205
Number of constraints which are cardinality constraints (but not clauses)	5167
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	27
Trace number 25000

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 20:51:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3346 boxname=wulflinc31 idbench=372 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  bc393d4b1cc38ed414c3e21eb8bc6b60  /oldhome/oroussel/tmp/wulflinc31/normalized-30:30:4.5:0.5:100.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-30:30:4.5:0.5:100.opb
IDLAUNCH: 3346
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        809932 kB
Buffers:         42948 kB
Cached:         159800 kB
SwapCached:       1932 kB
Active:         164040 kB
Inactive:        41980 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        809680 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            13116 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 21:11:18 (client local time) WITH STATUS 10 IN 1189.07 SECONDS
stats: 3346 0 1189.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-30:30:4.5:0.5:100.opb
c #variables read: 4447 - #constraints read: 9373
s SATISFIABLE
v -v3896 -v3446 -v3326 -v3226 -v3142 v1870 v192 v170 -v3447 -v3330 -v1960 v1871 -v3895 -v3451 -v3329 -v3227 -v3146 -v1959 v191 v169 -v3450 -v3331 -v3228 -v3144 -v1961 -v1477 v1436 v195 v172 -v3901 -v3448 -v3335 -v3231 -v2283 -v1962 -v1851 -v1690 -v1476 v1435 -v217 -v3899 -v3449 -v3334 -v3229 -v3145 -v2287 -v1963 -v1689 -v1482 v1437 v196 v173 -v3332 -v3230 -v3149 -v2082 -v1970 -v1850 -v1691 -v1481 v1438 -v216 v175 -v3900 -v3333 -v2440 -v1964 -v1694 -v1483 v1439 v220 v176 -v4136 -v3904 -v3755 -v2439 -v1965 -v1856 -v1693 -v1487 v1446 v1403 -v4135 -v2445 -v1966 -v1854 v1830 -v1698 -v1486 v1440 v221 -v4137 -v3758 -v3556 -v2444 v1829 -v1697 -v1484 v1441 -v4333 -v4140 -v3759 -v3560 -v2576 -v2446 -v1855 v1831 -v1695 -v1485 v1442 v577 -v4332 -v4139 -v3730 -v3484 -v2575 -v2450 v1859 v1832 -v1696 v576 -v4338 -v4144 -v3483 -v2449 v1833 v578 v242 -v4337 -v4143 -v3733 -v3485 -v2577 -v2447 -v2395 -v1840 v1570 v579 v241 -v4339 -v4141 -v3734 -v3488 -v2579 -v2448 -v1834 v1574 v580 -v4343 -v4142 -v3487 -v2394 -v2378 -v1835 -v973 v587 v243 -v4342 -v3492 -v2580 -v2398 v2377 -v1836 v581 v245 -v4340 -v3999 -v3491 -v2582 v2379 v582 -v4341 -v3775 -v3489 -v2583 -v2399 v4438 v583 v246 -v3774 -v3490 v1199 v248 -v4439 v4440 v249 -v3781 -v4441 v2358 v2202 -v3780 -v2942 v2362 -v3778 v2941 v2201 -v1089 -v3779 -v3891 -v3445 -v3223 -v3141 -v2722 v1872 v166 -v3444 -v3325 -v3225 -v2726 -v3897 -v3455 -v3327 -v3224 -v3147 v193 v171 -v3328 -v3232 v197 v174 -v3902 -v3339 -v3150 -v2282 -v2078 -v1973 -v1876 -v1846 v178 -v3148 -v2286 -v1974 -v1478 v177 -v3905 -v2081 -v1969 -v1897 -v1852 -v1479 -v1449 -v1399 v218 v199 -v3903 -v1692 -v1480 -v1450 v222 v200 -v3754 -v1967 -v1857 -v1706 -v1491 v1445 v1402 -v2441 -v1702 -v3760 -v3555 -v2442 v1860 -v1701 -v1443 -v224 -v4138 -v3559 -v2571 -v2443 v1858 -v225 -v4152 -v3729 -v3375 -v2570 -v2454 -v2182 -v1843 -v4334 -v4148 -v3379 -v1844 v237 -v4335 -v4147 -v3800 -v3763 -v3735 -v2578 -v1839 v1569 -v1042 -v969 v590 v236 -v4336 -v3486 -v2581 v1573 -v1046 v591 -v4347 -v3995 -v3500 -v2585 -v2396 -v1837 -v1378 -v972 v586 v244 -v3496 -v2584 -v2400 v247 -v3998 -v3738 -v3495 -v1195 -v584 v251 v2380 v250 -v4020 -v2402 v2388 v1198 -v4024 -v3776 -v2403 -v2384 -v3777 -v2383 -v3785 -v2465 v2357 v2198 v1092 -v2938 -v2469 v2361 v1093 v2937 v2203 -v1088 -v3289 -v1086 -v3293 -v3458 -v3139 -v2721 v1873 v188 -v3890 -v3459 -v3222 -v3143 -v2725 v165 -v4092 -v4047 -v3892 -v3454 -v3342 -v3240 -v3140 -v1972 v1877 v194 v167 -v4096 -v3898 -v3343 -v3236 -v3151 -v1971 -v1875 -v212 v198 v168 -v3894 -v3452 -v3354 -v3338 -v3235 -v2284 -v2077 -v1893 -v1448 v211 v202 v182 -v3906 -v2288 -v1845 -v1447 v201 -v3750 -v3336 -v2083 -v1896 -v1847 -v1703 -v1494 -v1398 v219 -v1853 -v1705 -v1495 v223 -v3756 -v2290 -v2010 -v1968 v1849 -v1490 v1404 -v1170 v227 -v2291 v1861 -v1174 -v226 -v4149 -v3761 -v3725 -v3684 -v3557 -v2457 -v2178 -v2086 -v1842 -v1699 -v1488 -v1444 v49 -v4151 -v3561 -v2458 -v1841 -v53 -v3796 -v3764 -v3731 -v3374 -v2453 -v2181 -v1700 -v1407 v589 -v3762 -v3378 -v2572 -v2390 v588 -v4350 -v4145 -v3799 -v3736 -v3563 -v3497 -v2573 -v2451 -v2389 v1571 -v1374 -v1124 -v1041 -v968 -v4351 -v3564 -v3499 -v2574 v1575 -v1045 v238 -v4346 -v4146 -v3994 -v3739 -v2589 -v2397 -v1838 -v1377 v974 v239 -v3737 -v2401 v240 -v4344 -v4000 -v3493 -v3425 -v2405 -v2385 v1577 v1194 -v585 v255 -v3429 -v2404 -v2387 v1578 -v4019 -v3494 v1200 v977 -v4023 -v4003 -v3788 -v2381 v1091 -v3789 v1090 -v3784 -v2464 -v2382 v2359 -v1203 -v873 -v2468 v2363 v2197 -v3782 v2199 v2939 v2204 -v3288 v2940 -v2795 v2365 -v1087 -v3292 -v2799 v2366 v4442 -v4043 -v3456 -v3341 -v3237 -v2723 v1874 -v71 -v3340 -v3239 -v3138 -v2727 -v2278 v1878 v187 -v75 -v4091 -v4046 -v3350 -v3159 -v2277 -v2073 v189 v185 v4095 -v3893 -v3155 v190 v186 -v3914 -v3453 -v3353 -v3233 -v3154 -v2729 -v2490 -v2285 -v2079 -v1892 -v1493 -v1394 -v206 v181 -v3910 -v2730 -v2494 -v2289 -v1704 -v1492 v213 -v3909 -v3337 -v3234 -v2293 -v2084 -v2006 -v1898 -v1400 v214 v179 -v3749 -v3551 -v2292 -v1848 v215 -v3751 -v3680 -v3550 -v2456 -v2308 -v2087 -v2009 -v1869 v1405 -v1169 -v511 v231 -v4150 -v3757 -v2455 -v2312 -v2085 -v1865 v1173 -v3753 -v3683 -v3558 -v2177 -v1901 -v1864 -v1489 v1408 v48 -v3765 -v3724 -v3562 -v1565 v1406 v52 -v4349 -v3795 -v3726 -v3566 -v3376 -v2183 -v1564 -v1120 v964 -v4348 -v3732 -v3565 -v3498 -v3380 -v3990 -v3801 -v3728 -v2592 -v2452 v1572 -v1373 -v1123 -v1043 -v970 -v3740 -v2593 -v2391 v1576 -v1047 -v3996 -v3382 -v2588 -v2392 -v2186 v1580 -v1379 -v1190 v975 v258 -v3383 -v2393 -v2386 v1579 v259 -v4345 -v4001 -v3804 -v3424 -v2586 -v2409 -v1674 v1196 -v1049 v978 -v254 -v3428 -v1050 v976 -v4021 -v4004 -v3787 -v2539 v1382 v1201 -v252 -v4025 -v4002 -v3786 -v2543 v2353 v2352 -v1204 v994 v869 -v1202 -v998 -v4027 -v2466 v2360 -v872 -v333 -v4028 -v2470 v2364 -v337 -v3783 v2368 v2367 v2200 -v3290 -v2945 -v2794 v2472 v2212 -v3294 -v2946 -v2798 v2473 v2208 -v4042 -v3457 -v3238 -v3156 -v2724 -v1886 v184 v70 -v3158 -v2728 -v1882 v183 v74 -v4093 -v4048 -v3911 -v3349 -v2732 -v1888 -v1881 v209 v4097 -v3913 -v2731 -v2279 -v2072 v210 -v3355 -v3152 -v2489 -v2280 -v2074 -v1894 -v673 -v205 -v2493 -v2281 -v2080 -v1393 -v677 -v4099 -v4051 -v3907 -v3153 -v2297 -v2076 -v2005 -v1899 -v1866 -v1461 -v1395 -v507 v234 -v203 v180 v146 -v4100 -v2088 -v1868 -v1401 v235 -v150 -v3908 -v3679 -v3358 -v2307 -v2173 -v2011 -v1902 v1397 -v1171 -v510 v230 -v3752 -v3552 -v3370 -v2311 -v1900 v1409 v1175 -v3791 -v3773 -v3685 -v3553 -v3369 -v2179 -v1862 -v228 v50 -v3769 -v3554 -v1037 v54 -v4307 -v3797 -v3768 -v3705 -v3570 -v3377 -v2591 -v2184 -v2014 -v1863 -v1369 -v1177 -v1119 v1036 -v3727 -v3709 -v3381 -v2590 -v1566 -v1178 v963 -v3802 -v3748 -v3688 -v3385 -v2187 -v1567 -v1375 -v1125 -v1044 v965 v257 v56 -v3989 -v3744 -v3384 -v2185 v1568 -v1048 -v971 v256 -v57 -v3991 -v3805 -v3743 -v2412 -v1670 -v1645 -v1584 -v1380 v1052 v967 -v4015 -v3997 -v3803 -v2413 -v1649 -v1189 -v1051 v979 -v4014 -v3993 -v3426 -v2587 -v2408 -v1673 v1383 -v1270 -v1191 -v1128 -v4005 -v3430 v1381 -v1274 v1197 -v4022 -v2538 -v2406 v1193 -v253 -v4026 -v2542 -v2460 -v1205 -v4030 -v3432 -v2459 v993 v868 -v4029 -v3433 v2354 v997 -v2467 v2355 -v874 -v408 -v332 -v3284 -v2471 v2356 -v412 -v336 -v3283 -v2944 v2475 -v2372 v2209 v1019 -v2943 v2474 v2211 -v1023 -v3291 -v2796 -v877 -v3295 -v2800 v2207 -v4088 -v4044 -v3345 -v3157 -v2720 -v1885 v286 v208 v72 -v3912 -v2719 v207 v76 -v4094 -v4049 -v3351 -v2736 -v1879 -v725 -v457 v4098 -v1887 -v461 -v4102 -v4052 -v3356 -v2491 -v2300 -v2001 -v1889 -v1880 -v1457 -v825 -v672 -v233 v78 -v4101 -v4050 -v2495 -v2301 -v2075 -v1895 -v1867 -v1165 -v676 -v232 v79 -v4068 -v3675 -v3359 -v2296 -v2096 -v2007 -v1891 -v1460 v1164 v506 -v204 v145 -v4072 -v3357 -v2092 -v1903 -v1396 -v149 v44 -v3770 -v3681 -v2497 -v2309 -v2294 -v2091 -v2012 -v1417 v1172 v512 v43 -v3772 -v2498 -v2313 -v2172 v1413 v1176 -v4303 -v3686 -v3573 -v2174 -v2031 -v2015 -v1412 v1180 v1115 -v229 v51 -v3790 -v3574 -v3371 -v2180 -v2035 -v2013 v1179 v55 -v4306 -v3792 -v3766 -v3745 -v3704 -v3689 -v3569 -v3372 -v2315 -v2176 -v1121 -v1067 -v515 v59 -v3798 -v3747 -v3708 -v3687 -v3373 -v2316 -v2188 -v1368 -v1071 v1038 v58 -v3794 -v3767 -v3567 -v3389 -v2411 -v1587 -v1370 -v1126 v1039 -v121 -v3806 -v3420 -v2410 -v1588 -v1376 v1040 v966 -v125 -v3741 -v3419 -v1669 -v1644 -v1583 v1372 -v1129 -v1056 v987 -v3992 -v1648 v1384 -v1127 v983 -v4013 -v3742 -v3427 -v1675 -v1581 v1269 v982 -v4016 -v4009 -v3431 -v1273 -v1192 -v4017 -v4008 -v3435 -v2540 -v2407 -v1213 -v864 -v4018 -v3434 -v2544 -v1209 -v4034 -v1678 -v1208 v995 v870 -v2461 v999 -v3964 -v2546 -v2462 -v2375 -v875 -v407 v334 -v2790 -v2547 v2463 -v2376 -v2210 -v411 -v338 -v2789 -v2479 -v2371 v1018 v1001 v878 -v3285 -v1022 -v1002 v876 -v3286 -v2797 -v2369 -v1311 v340 -v3287 -v2801 -v2205 v341 -v4040 -v3242 -v2739 -v1883 v721 v285 v73 -v4087 -v4045 -v3344 -v2740 -v2485 v77 -v4089 -v4041 -v3346 -v2735 -v2484 -v2299 -v821 -v724 -v456 v81 v4090 -v4053 -v3352 -v2298 -v460 v80 -v4106 -v3825 -v3348 -v2733 -v2492 -v2093 -v1456 -v824 -v674 v502 -v3360 -v2496 -v2303 -v2095 -v2000 -v1890 -v678 -v4067 -v3074 -v2500 -v2302 -v2002 -v1911 -v1462 -v1414 v508 v147 -v4071 -v3771 -v3674 -v3078 -v2499 -v2008 -v1907 -v1416 v1166 -v151 -v3676 -v3572 -v3123 -v2310 -v2295 -v2089 -v2004 -v1906 v1167 -v680 v513 -v3682 -v3571 -v2314 -v2016 v1168 -v681 v45 -v4302 -v3678 -v2318 -v2090 -v2030 -v1465 -v1410 -v1184 -v516 v153 v46 -v3746 -v3690 -v2317 -v2175 -v2034 v1114 -v514 -v154 v47 -v4308 -v3706 -v3392 -v2196 -v1586 -v1411 v1116 -v1066 -v63 -v3793 -v3710 -v3393 -v2192 -v1585 -v1122 -v1070 -v3814 -v3568 -v3388 -v2191 -v1665 v1118 -v1059 -v984 v120 -v3810 -v1371 -v1130 v1060 v986 v124 -v4311 -v4010 -v3809 -v3712 -v3386 -v1671 -v1646 -v1392 -v1055 -v4012 -v3713 -v3421 -v2534 -v1650 -v1388 -v3422 -v2533 -v1676 -v1582 -v1387 v1271 -v1210 -v1053 v980 v698 -v3423 -v1275 -v1212 -v989 v702 -v4037 -v4006 -v3439 -v2541 -v1679 -v1652 -v988 -v981 v387 -v4038 -v2545 -v1677 -v1653 -v863 v328 -v4033 -v4007 -v3960 -v2549 -v2374 -v1277 -v1206 v996 v865 v327 -v2548 -v2373 -v1278 v1000 v871 -v4031 -v3963 -v2812 -v2482 -v1207 v1004 v867 -v409 v335 -v2816 -v2483 v1003 v879 -v413 -v339 -v3660 -v2478 -v1307 v1020 v343 -v2791 v1024 v342 -v3298 -v2792 -v2476 -v2370 -v1333 -v1310 v415 -v3299 -v2793 -v2206 v416 -v3241 -v2737 -v1884 -v1541 -v1419 v720 v287 v69 -v4039 -v1545 -v668 v68 -v4109 -v4061 -v3821 -v1452 -v820 -v726 -v667 v458 v85 -v4110 -v4057 -v3347 -v2486 -v2094 -v462 -v141 -v4105 -v4056 -v3824 -v3368 -v2734 -v2487 -v1908 -v1458 -v826 -v675 -v291 v140 -v3364 -v2488 -v1910 -v1415 -v679 v501 -v4103 -v4069 -v3363 -v3119 -v3073 -v2504 -v1463 -v729 -v683 v503 -v464 v148 -v4073 -v3077 -v2304 -v2003 -v682 v509 -v465 -v152 -v4298 -v3122 -v2305 -v2024 -v1904 -v1466 -v1187 -v829 v505 v156 -v3700 -v3677 -v2306 -v2020 -v1464 -v1188 v517 v155 -v4304 -v4075 -v3699 -v3698 -v3391 -v2322 -v2193 -v2032 -v2019 -v1905 -v1183 v66 -v4076 -v3694 -v3390 -v2195 v2036 v67 -v4309 -v3811 -v3707 -v3693 -v1181 -v1068 -v1058 -v62 -v3813 -v3711 -v1640 v1117 v1072 -v1057 -v985 -v4312 -v3715 -v2189 -v2038 -v1742 -v1639 -v1389 v1138 v122 -v60 -v4310 -v4011 -v3714 -v2039 -v1664 -v1391 v1265 v1134 v126 -v3807 -v3387 -v2190 -v1666 -v1647 -v1599 v1264 -v1133 -v1074 -v746 -v1672 -v1651 -v1211 -v1075 -v750 -v4036 -v3808 -v3442 -v1668 -v1655 -v1385 v1272 -v1145 -v1054 v697 -v383 v128 -v4035 -v3443 -v2535 -v1680 -v1654 -v1276 v1149 v701 v129 -v3438 -v2536 -v1386 -v1280 v386 -v2537 -v1279 -v990 -v403 -v3959 -v3436 -v2553 -v2481 -v991 -v402 -v2480 -v1014 v992 v866 v329 -v4032 -v3965 -v3656 -v2811 -v1013 -v1008 v887 v410 v330 -v2815 -v883 -v414 v331 -v3659 -v3297 -v3029 -v1329 -v1306 v1021 -v882 v418 -v347 -v3296 v1025 v417 -v3968 -v2804 -v2477 -v1332 -v1312 v1026 -v2805 v1027 -v4108 -v4058 -v3243 -v2738 -v1915 -v1540 -v1418 -v816 v722 -v453 v288 v88 -v4107 -v4060 -v1919 -v1544 v89 -v4116 -v3820 -v3365 -v1790 -v822 -v727 v459 v292 v84 -v4120 -v4063 -v3367 -v1909 -v1451 -v669 v463 v290 -v4062 -v4054 -v3826 -v3247 -v2507 -v1453 -v827 -v730 -v670 -v467 v82 -v2508 -v1459 -v728 -v671 -v466 v142 -v4104 -v4070 -v4055 -v3361 -v3118 -v3075 -v2976 -v2503 -v2021 -v1455 -v1186 -v830 v800 -v687 v143 -v4074 -v3079 -v2980 -v2026 -v2023 -v1467 -v1185 -v828 v504 v144 -v4078 -v3829 -v3695 -v3362 -v3124 -v2501 -v2325 -v2025 -v648 v525 v160 v65 -v4297 -v4077 -v3697 -v2326 -v2194 -v1062 -v652 v521 v64 -v4299 -v3081 -v2321 -v2033 -v2017 -v1061 -v520 -v4305 -v3812 -v3701 -v3082 v2037 -v116 -v4301 -v3875 -v3702 -v3691 -v3127 -v2319 -v2041 -v2018 -v1738 -v1182 v1135 v1069 v115 -v4313 -v3703 -v2040 -v1390 v1137 v1073 -v3719 -v3692 -v2337 -v1741 -v1595 v1077 v123 -v61 -v1641 -v1076 v127 -v3441 -v1642 -v1598 -v1131 -v745 v131 -v3440 -v1667 -v1643 v1266 -v749 v130 -v1688 -v1659 v1267 -v1144 -v1132 v699 -v382 -v1684 v1268 v1148 v703 -v3955 -v2556 -v1683 -v1284 v388 -v2557 -v3961 -v3437 -v2552 -v1011 -v884 -v705 -v532 -v1012 -v886 -v706 -v536 v404 -v3966 -v3655 -v3025 -v2813 -v2550 -v1302 -v1007 v405 v391 v350 -v2817 v1015 v406 v351 -v3969 -v3661 -v3028 -v2803 -v1815 -v1328 v1308 v1016 -v1005 -v880 v422 -v346 -v3967 -v2802 v1017 -v2819 -v1334 v1313 v1031 -v881 -v344 -v2820 -v4059 -v3816 -v3244 -v1914 -v1786 -v1542 -v1420 v718 v289 v86 -v3366 -v1918 -v1546 -v815 v723 -v452 v293 -v4115 -v3822 -v3248 -v2514 -v2506 -v1789 -v1353 -v817 v719 -v454 -v4119 -v3246 -v3069 -v2518 -v2505 -v823 -v731 v455 -v3827 -v3114 -v3068 -v1548 -v1424 -v819 -v796 -v690 -v471 v83 -v4064 -v2022 -v1549 -v1454 -v831 -v691 -v4065 -v3830 -v3170 -v3120 -v3076 -v2975 -v2324 -v1475 v799 -v686 -v522 v433 v163 -v4066 -v3828 -v3696 -v3080 -v2979 -v2323 -v1471 -v524 v437 v164 -v4082 -v3125 -v3084 -v2502 -v1470 -v684 -v647 v159 -v3083 -v2027 v651 -v3871 -v3128 -v2918 -v2028 -v518 v157 -v4300 -v3126 -v2922 v2029 -v1136 v1063 -v4362 -v4321 -v3874 -v3722 -v2333 -v2320 -v2045 -v1737 v1064 -v519 v482 -v4317 -v3723 v1065 -v486 v117 -v4316 -v3718 -v2336 -v1743 -v1594 v1081 v118 v693 v119 -v3716 -v2751 -v1685 -v1662 -v1600 -v747 v692 -v378 v135 -v1687 -v1663 -v751 -v3507 -v2555 -v1746 -v1658 -v1287 -v1146 v700 v384 -v3511 -v2554 -v1288 v1150 v704 -v1681 -v1656 -v1603 -v1283 -v1010 -v753 v708 v389 -v3954 -v2807 -v1009 -v885 -v754 -v707 -v3956 -v3651 -v2806 -v1682 -v1281 -v1152 v531 v392 v349 -v3962 -v1153 -v535 v390 v348 -v3958 -v3657 -v3024 -v2814 -v2551 -v1811 -v1324 -v1249 v425 -v3970 -v2818 -v1301 v426 -v3662 -v3030 -v2953 -v2822 -v1814 -v1330 v1303 v1034 -v1006 v421 -v2957 -v2821 v1309 v1035 -v3663 -v1335 v1305 v1030 v419 -v345 -v3664 v1314 -v3245 -v1916 -v1785 -v1543 -v1421 -v1349 v301 v87 -v3815 -v3249 -v1920 -v1547 v717 v297 -v4268 -v4117 -v3817 -v2513 -v1791 -v1551 -v1425 -v1352 -v739 -v689 v474 v296 -v4121 -v3823 -v2517 -v1550 -v1423 -v818 -v735 -v688 v475 -v3819 -v3166 -v1922 -v1472 -v839 v795 -v734 -v470 v162 -v3831 -v3113 -v3070 -v1923 -v1474 -v835 -v523 v161 -v4123 -v4085 -v3169 -v3115 -v3071 -v2977 -v1794 -v834 v801 -v468 v432 -v4124 -v4086 -v3121 -v3072 -v2981 v436 -v4081 -v3117 -v3088 -v1468 -v685 -v649 -v3129 v653 -v4358 -v4318 -v4079 -v3870 -v3721 -v2983 -v2917 -v2048 -v1733 -v1469 -v804 -v158 -v4320 -v3720 -v2984 -v2921 -v2049 -v4361 -v3876 -v2874 -v2332 -v2044 -v1739 -v1590 -v1084 v655 v481 -v1085 -v741 v656 v485 -v4314 -v2747 -v2338 -v2042 -v1744 -v1661 -v1596 -v1080 -v771 v740 v138 -v1686 -v1660 -v1140 -v775 v139 -v4419 -v4315 -v3879 -v3717 -v2750 -v1747 -v1601 -v1286 -v1139 -v1078 -v748 v270 v134 -v4423 -v1745 -v1285 -v752 v694 v377 -v3506 -v2341 -v1604 -v1147 -v756 v695 v379 v132 -v3510 -v1602 v1151 -v755 v696 v385 -v1657 -v1155 -v919 v712 v381 -v1154 v923 v393 -v3404 -v3020 -v1282 -v1245 v533 -v424 -v3957 -v3650 -v2808 -v537 v423 -v3978 -v3652 -v3026 -v2809 -v2675 -v1810 -v1248 -v1033 -v3974 -v3658 -v2810 -v2679 -v1323 v1032 -v3973 -v3654 -v3536 -v3031 -v2952 -v2826 -v1816 -v1325 -v846 -v539 -v3665 -v2956 -v1331 v1304 -v850 -v540 -v3032 -v1327 v1322 v1028 v420 -v3033 -v1336 v1318 -v4264 -v4112 -v3257 -v1917 -v1787 -v1539 -v1422 v1348 -v736 v473 v300 -v3253 -v1921 -v1538 -v1426 -v738 v472 -v4267 -v4118 -v3252 -v2897 -v2515 -v1925 -v1792 -v1555 -v1354 -v836 v791 v294 -v4122 -v3818 -v2971 -v2519 -v1924 -v1473 -v838 -v4126 -v4084 -v3839 -v3165 -v2970 -v1795 -v898 v797 -v732 v295 -v4125 -v4083 -v3835 -v1793 -v643 -v3834 -v3171 -v3091 -v2978 -v2521 -v1357 -v832 v802 -v733 -v642 -v469 v434 -v3116 -v3092 -v2982 -v2522 v438 -v3866 -v3137 -v3087 -v2986 -v2107 -v2047 -v833 -v805 v650 v24 -v4319 -v3133 -v2985 -v2046 -v803 v654 -v28 -v4357 -v4080 -v3872 -v3174 -v3132 -v3085 -v2919 -v2870 -v2328 -v1083 v658 v440 -v2923 -v1732 -v1082 v657 v441 -v4363 -v3877 -v2873 -v2334 -v1734 v483 v137 -v1740 -v1589 v487 v136 -v3880 -v3846 -v2925 -v2746 -v2339 -v2043 -v1736 -v1591 -v770 -v266 -v3878 -v3850 -v2926 -v1748 -v1597 -v774 v742 -v4418 -v4366 -v2752 -v2604 -v2342 -v1593 -v1079 v743 -v489 v269 -v4422 -v2340 -v1605 -v1141 v744 -v490 -v3508 -v1142 -v760 -v715 v133 -v3512 v1143 -v716 -v527 v380 -v3400 -v2755 -v1159 -v918 -v711 v602 v526 v401 v922 v397 -v3975 -v3514 -v3403 -v2629 -v1806 -v1244 -v709 v534 v396 -v3977 -v3515 -v3019 v538 -v3631 -v3532 -v3021 -v2829 -v2674 -v1812 -v1250 v542 -v3653 -v3635 -v3027 -v2830 -v2678 v541 -v3971 -v3673 -v3535 -v3023 -v2954 -v2825 -v1817 v1319 v845 -v3669 -v3034 -v2958 -v1326 v1321 -v849 -v3972 -v3668 -v2823 -v2244 -v1818 -v1344 v1253 v1029 v2248 -v1819 -v1340 v1317 -v4263 -v3256 -v2893 -v2510 -v1913 -v1783 -v1558 v1497 -v1434 v1350 -v737 v298 -v4111 -v1912 -v1788 -v1559 -v1430 -v837 -v4269 -v4113 -v3836 -v3250 -v3161 -v2896 -v2516 -v1929 -v1784 -v1554 -v1429 -v1355 -v894 -v4114 -v3838 -v2520 -v1796 v790 -v428 -v4130 -v3251 -v3167 -v3090 -v2524 -v1944 -v1552 v1358 -v897 v792 v427 -v3089 -v2972 -v2523 v1356 v798 -v4272 -v3832 -v3172 -v3134 -v2973 -v2103 v794 v435 -v3136 -v2974 -v2913 -v806 -v644 v439 -v4353 -v3833 -v3175 -v2990 -v2912 -v2106 -v1620 v645 v443 v23 -v3865 -v3173 -v1624 v646 -v477 v442 v27 -v4359 -v4213 -v3867 -v3130 -v3086 -v2920 -v2869 -v662 v476 -v3873 -v2924 -v2327 -v4364 -v3869 -v3207 -v3131 -v2928 -v2875 -v2742 -v2329 v1713 v484 -v3881 -v2927 -v2335 -v1735 -v1717 v488 -v4367 -v3845 -v2748 -v2600 -v2331 -v1756 -v772 -v492 v265 -v4365 -v3849 -v3502 -v2343 -v1752 -v1592 -v776 -v491 -v4420 -v3501 -v2878 -v2753 -v2603 -v1751 -v1613 v763 -v714 v271 -v4424 -v1609 v764 -v713 -v3509 -v2756 -v1608 -v1162 -v778 -v759 v598 v398 -v3513 -v2754 -v1163 -v779 v400 -v4426 -v4163 -v3606 -v3517 -v3399 -v2625 -v1240 -v1158 -v920 -v757 v601 -v274 -v4427 -v3976 -v3610 -v3516 v924 v528 -v3405 -v2828 -v2628 -v1246 -v1156 -v710 v529 -v394 -v2948 -v2827 v1805 v530 -v3670 -v3630 -v3531 -v3310 -v2947 -v2676 v1807 -v1251 -v926 v546 -v395 -v3672 -v3634 -v3022 -v2680 -v1813 v1320 -v927 -v3537 -v3408 -v3042 -v2955 v1809 -v1341 v1254 v847 -v3038 -v2959 -v1820 -v1343 v1252 v851 -v3666 -v3037 -v2960 -v2824 v2682 -v2243 -v2060 -v2961 v2683 v2247 -v1339 v1315 -v4265 -v3916 -v3254 -v2892 -v1932 -v1556 v1496 -v1433 v1346 v299 -v3837 -v2509 -v1933 -v1782 v1351 -v4270 -v4133 -v2898 -v2511 -v1940 -v1928 -v1804 -v1427 v1347 -v893 -v4134 -v3160 -v2512 -v1800 v1359 -v4273 -v4129 -v3162 -v2528 -v2424 -v1943 -v1926 -v1799 -v1553 -v1428 -v899 -v4271 -v3168 -v3135 v793 v429 -v4127 -v3164 -v2993 -v2901 -v2700 -v2102 v814 v430 -v3176 -v2994 -v2704 v810 v431 -v4209 -v2989 -v2865 -v2108 -v1619 -v902 -v809 -v665 v447 v308 v25 -v4352 -v2914 -v1623 -v666 v312 v29 -v4354 -v4212 -v3203 -v2987 -v2915 -v2871 -v948 -v661 -v4360 -v3868 -v2916 -v766 v478 -v4356 -v3889 -v3206 -v2932 -v2876 -v2111 -v1981 -v1753 v1712 -v765 -v659 v479 -v261 v31 -v4414 -v4368 -v3885 -v2741 -v2330 -v1985 -v1755 -v1716 v480 -v32 -v4413 -v3884 -v3847 -v2879 -v2743 -v2654 -v2599 -v2351 -v2153 -v1610 -v773 v762 v496 v267 -v3851 -v2877 -v2749 -v2347 -v2157 -v1612 -v777 v761 -v4421 -v2745 -v2605 -v2346 -v1749 -v1161 -v781 v272 -v100 -v4425 -v3503 -v2757 -v1160 -v914 -v780 -v399 -v4429 -v4159 -v3853 -v3504 -v3395 -v1750 -v1606 -v913 v597 v362 v275 -v4428 -v3854 -v3505 v273 -v4162 -v3605 -v3521 -v3401 -v2624 -v2608 -v1607 -v921 -v758 v603 -v3609 -v2670 -v1239 v925 -v3527 -v3406 -v3306 -v3049 -v2669 -v2630 -v1241 -v1157 v929 v549 -v3671 -v3053 -v1247 -v928 -v841 v550 -v3632 -v3533 -v3409 -v3309 -v3039 -v2677 v1243 -v840 -v606 v545 -v3636 -v3407 -v3041 -v2949 -v2681 v1808 -v1342 v1255 -v3538 -v2950 v2685 -v2633 -v2056 -v1828 v848 -v543 -v2951 v2684 -v1824 v852 -v3942 -v3667 -v3638 -v3539 -v3035 -v2965 -v2245 -v2059 -v1823 -v853 -v3639 -v3540 v2249 -v1337 v1316 -v854 -v4261 -v4132 -v3915 -v3255 -v2894 -v1930 -v1801 -v1557 v1498 -v1431 v889 v4266 -v4131 -v1803 v1345 v4262 -v3000 -v2899 -v2531 -v2420 -v1939 -v1367 -v895 -v4274 -v3004 -v2532 v1363 -v2992 -v2902 -v2527 -v2423 -v2098 -v1945 -v1927 -v1797 -v1502 -v1362 v900 v811 -v3163 -v2991 -v2900 v813 -v19 -v4128 -v3184 -v2699 -v2525 -v2104 -v1798 -v903 -v664 -v450 v18 -v3180 -v2703 -v901 -v663 v451 -v4208 -v3179 -v2109 -v1948 -v1621 -v1519 -v944 -v807 v446 v307 v26 -v2864 -v1625 -v1523 v311 v30 -v4214 -v3886 -v3202 -v2988 -v2935 -v2866 -v2112 -v947 -v808 -v444 v34 -v4355 -v3888 -v3841 -v2936 -v2872 -v2110 -v1754 v33 -v4376 -v3840 -v3208 -v2931 -v2868 -v2650 -v2595 -v2348 -v1980 v1714 -v1627 -v1224 -v660 -v499 -v4372 -v2880 -v2350 -v1984 -v1718 -v1628 -v1611 v767 v500 v260 -v4371 -v4217 -v3882 -v3848 -v2929 -v2653 -v2601 -v2152 v768 -v495 v262 v96 -v4415 -v3852 -v2744 -v2156 v769 v268 -v4416 -v3883 -v3856 -v3211 -v2765 -v2606 -v2344 -v1720 -v785 -v593 -v493 -v358 v264 v99 -v4417 -v3855 -v2761 -v1721 v276 -v4433 -v4158 -v3524 -v3264 -v2760 -v2620 -v2609 -v2345 v599 v361 -v3525 -v3394 -v3268 -v2607 -v915 -v4164 -v3607 -v3520 -v3396 -v2626 -v916 -v627 v604 v548 -v3626 -v3611 -v3402 v917 v547 -v3625 -v3518 -v3398 -v3305 -v3048 -v2631 -v933 v607 v561 -v3526 -v3410 -v3052 -v3040 -v2671 -v1242 v605 -v4167 -v3633 -v3613 -v3528 -v3311 v2672 v2634 -v1825 v1263 -v3637 -v3614 -v3534 v2673 -v2632 -v2239 -v1827 v1259 v842 -v3938 -v3641 -v3530 -v2968 -v2689 -v2238 v2055 v1258 v843 -v544 -v3640 -v3541 -v2969 v844 -v3941 -v3314 -v3036 -v2964 -v2265 -v2246 -v2061 -v1821 -v858 v7 v2250 -v1338 v11 -v3917 -v2890 -v2530 v1935 -v1931 -v1802 v1499 -v1432 -v1364 -v4260 v2895 -v2529 -v1366 v888 -v4282 -v2999 v2891 -v2419 -v1941 v1503 v890 -v4278 -v3003 -v2903 v1501 v896 v812 -v4277 -v3921 -v3181 -v2425 -v2128 v1946 -v1360 v892 -v449 -v3183 -v2132 -v2097 -v1615 v904 -v448 -v4204 -v2701 -v2526 -v2099 -v1949 -v1614 -v1361 -v2705 v2105 -v1947 v20 -v4210 -v4188 -v3198 -v3177 -v2934 -v2428 v2101 -v1622 -v1518 -v943 v309 v21 -v3887 -v2933 -v2113 -v1708 -v1626 v1522 v313 v22 -v4373 -v4215 -v3204 -v3178 -v2707 -v1763 -v1707 -v1630 -v1220 -v949 -v498 -v445 v38 -v4375 -v2867 -v2708 -v2349 -v1767 -v1629 -v497 -v4218 -v3209 -v2888 -v2649 -v2219 -v1982 v1715 -v1223 -v315 -v4216 -v3842 -v2884 -v2594 -v2223 -v1986 -v1719 -v316 -v4369 -v3843 -v3212 -v2930 -v2883 -v2762 -v2655 -v2596 -v2154 -v1723 -v952 v788 v95 -v3844 -v3210 -v2764 -v2602 -v2158 -v1722 v789 v263 -v4436 -v4370 -v4154 -v3860 -v3523 -v2598 -v1988 -v784 -v494 v357 v284 v101 -v4437 -v3601 -v3522 -v2610 -v1989 -v592 -v280 -v4432 -v4160 -v3600 -v3263 -v2758 -v2658 -v2160 -v782 -v623 v594 v363 -v279 -v3267 -v2619 -v2161 v600 -v4430 -v4165 -v3608 -v3301 -v2837 -v2759 -v2621 -v936 -v626 v596 -v557 v104 -v3612 -v3397 -v2841 -v2627 -v937 v608 -v4168 -v3616 -v3519 -v3418 -v3307 -v3050 v2623 -v1260 -v932 v560 -v366 -v4166 -v3627 -v3615 -v3414 -v3054 v2635 -v1826 -v1262 -v3628 -v3413 -v3312 -v2967 -v2692 v2051 -v930 -v3629 -v3529 -v2966 -v2693 -v3937 -v3645 -v3549 -v3315 -v3056 -v2688 -v2261 v2057 -v1256 v861 -v3545 -v3313 -v3057 -v2240 v862 -v3943 -v3544 -v2962 -v2686 -v2264 v2241 v2062 -v1822 -v1257 -v857 v6 v2242 v10 -v4279 -v3918 -v2415 v1500 -v1365 -v4281 -v2889 v1934 v1504 -v3922 -v3001 -v2911 -v2421 v1936 -v3920 -v3182 -v3005 -v2907 -v2695 v1942 v891 -v4275 -v3465 -v2906 -v2694 v2426 -v2127 v1938 v912 -v2131 -v1950 v908 v303 -v4276 -v4184 -v3007 -v2702 -v2429 -v939 -v907 v302 -v4203 -v3008 -v2706 -v2427 -v2100 v1616 -v4386 -v4205 -v4187 -v2710 -v2121 v1617 -v1520 -v945 v310 v41 -v4374 -v4211 -v3197 -v2709 -v2117 -v1976 v1618 v1524 v314 v42 -v4207 -v3199 -v2885 -v2645 -v2116 -v1975 -v1762 -v1634 -v1219 -v950 v318 v37 -v4219 -v3205 -v2887 -v2148 -v1766 -v1709 v317 -v3201 -v2651 -v2218 -v2147 -v1983 -v1710 -v1526 -v1225 -v953 v787 v91 v35 -v3213 -v2763 -v2222 -v1987 v1711 -v1527 -v951 v786 -v4435 -v3863 -v2881 -v2656 -v2155 -v1991 -v1727 -v353 v281 v97 -v4434 -v3864 -v2597 -v2159 -v1990 v283 -v3859 -v2882 -v2659 -v2618 -v2163 -v1228 v359 v102 v4153 -v2657 -v2614 -v2162 v4155 -v3857 -v3265 -v2613 -v935 -v783 -v622 v364 -v277 v105 -v4161 -v3602 -v3269 -v3044 -v934 v595 v103 -v4431 v4157 -v3603 -v3415 -v3043 -v2836 -v1099 -v628 -v616 -v556 v367 -v278 -v4169 -v3604 -v3417 -v3300 -v2840 v2622 -v1261 v612 v365 -v3620 -v3302 -v3271 -v3051 -v2691 v2643 v611 v562 -v3308 -v3272 -v3055 -v2690 -v2639 -v3933 -v3648 -v3546 -v3411 -v3304 -v3059 -v2638 -v931 -v860 v631 -v3649 -v3548 -v3316 -v3058 v2050 -v859 -v3939 -v3644 -v3412 -v2260 v2052 v565 v2058 -v3944 -v3642 -v3542 -v2963 -v2687 -v2266 v2253 v2054 -v855 v8 v2254 v2063 v12 -v4280 -v3919 -v2996 -v2908 v1512 -v1290 -v3923 -v2910 -v2414 -v1508 v1294 -v3461 -v3002 -v2416 -v1507 v909 -v3006 -v2422 v1937 v911 -v3464 -v3010 -v2904 v2418 -v2129 v1958 -v3009 -v2696 -v2430 -v2133 v1954 v1514 -v4382 -v4183 -v2905 -v2697 -v2118 v1953 v1513 -v905 -v40 -v2698 -v2120 -v938 v304 v39 -v4385 -v4189 -v2714 -v2135 -v1637 -v1521 -v1215 v940 -v906 v305 -v4206 -v2886 -v2136 -v1638 v1525 -v946 v306 -v4227 -v2114 -v1764 -v1633 -v1529 -v1221 v942 v322 -v4223 -v3200 -v2644 -v1977 -v1768 -v1528 v954 -v4222 -v4192 -v3862 -v3585 -v3221 -v2646 -v2220 -v2115 -v1978 -v1730 -v1631 v1226 v36 -v3861 -v3217 -v2652 -v2224 -v2149 -v1979 -v1731 -v282 v90 -v3216 -v2648 -v2615 -v2150 -v1995 -v1770 -v1726 v1229 v92 -v3259 -v2660 -v2617 -v2151 -v1771 -v1227 v352 v98 -v3258 -v2226 -v2167 -v1724 -v618 v354 v94 -v2227 v360 v106 -v3858 -v3266 -v2611 v1095 -v624 -v613 -v552 v356 v4156 -v3416 -v3270 -v615 v368 -v4177 -v3623 -v3274 -v2838 -v2640 -v2612 -v1098 -v629 v558 -v4173 -v3624 -v3273 -v3045 -v2842 -v2642 -v4172 -v3647 -v3619 -v3046 v632 v609 v563 -v3646 -v3547 -v3303 -v3047 v630 -v3617 -v3324 -v3063 -v2844 -v2636 -v2256 -v610 v566 -v3932 -v3320 -v2845 v564 v2 -v4288 -v3934 -v3319 -v2637 -v2262 -v2252 v1 -v4292 -v3940 v2251 v2053 -v3936 -v3643 -v3543 -v2267 v2071 -v856 v9 -v3945 v2067 v13 -v3931 -v2909 v1511 v1289 -v3927 -v2995 -v2123 v1293 v910 -v3926 v3460 -v2997 -v2122 v1955 -v1505 -v2998 -v2417 v1957 -v4179 -v3466 -v3014 -v2438 -v2130 -v1506 -v2434 -v2134 -v2119 -v4381 -v4185 -v2717 -v2433 -v2138 v1951 -v1636 -v2718 -v2137 -v1758 -v1635 v1515 -v4387 -v4224 -v4190 -v3469 -v2713 -v1952 -v1757 v1516 v325 -v4226 -v2214 v1517 -v1214 v941 v326 -v4193 -v3581 -v3218 -v2711 -v2213 -v1765 -v1729 -v1533 -v1216 v962 v321 -v4191 -v3220 -v1769 -v1728 -v1222 v958 -v4390 -v4220 -v3584 -v3102 -v2221 -v1998 -v1773 -v1632 v1218 -v957 v319 -v2647 -v2616 v2225 -v1999 -v1772 v1230 -v4221 -v3214 -v2668 v2229 -v2170 -v1994 -v2664 v2228 -v2171 v93 -v3215 -v2663 -v2166 -v1992 -v1725 v114 -v3260 -v2832 -v617 -v614 v355 -v110 -v4174 -v3622 -v3261 -v2831 -v2774 -v2164 v1094 v619 v376 -v109 -v4176 -v3621 -v3262 -v2641 -v625 -v551 v372 -v3278 -v2839 -v1100 v621 -v553 v371 -v2843 v633 v559 -v4170 -v3321 -v3066 v2847 v555 -v3323 -v3067 v2846 v567 -v4171 -v3618 -v3062 -v1103 -v2255 -v4287 -v3317 -v3060 -v2257 v2068 -v4291 -v3935 v2263 v2070 v3 -v3982 -v3953 -v3318 v2259 v4 -v3986 -v3949 -v2268 v2066 v5 -v3930 v1509 v1291 v1956 v1295 -v3924 v3462 -v3017 -v2435 -v3018 -v2437 -v2124 -v4378 -v3925 -v3467 -v3013 -v2716 -v2125 v1297 -v4178 -v2715 -v2126 v1298 -v4383 -v4180 v3470 -v3011 -v2431 -v2142 v324 -v4225 -v4186 v3468 v323 -v4388 -v4182 -v2432 v1536 v959 -v4194 -v3219 -v1759 v1537 v961 -v4391 -v3580 -v3098 -v2712 -v1997 v1760 -v1532 -v4389 -v2215 -v1996 v1761 v1217 -v3586 -v3101 -v2665 -v2216 -v2169 -v1777 -v1530 v1238 -v955 v320 -v2667 v2217 -v2168 v1234 v2233 v1233 -v956 v111 v113 -v3589 v2771 -v2661 -v1993 -v4443 v373 -v4175 v375 -v3281 -v2773 -v2662 -v2165 v1096 -v107 -v3282 -v2833 v620 -v3277 -v3065 -v2834 v1101 v641 v369 -v108 -v3322 -v3064 v2835 -v637 v554 -v3275 -v2851 v1104 -v636 v575 v370 -v1102 v571 v3480 v570 v2069 -v4289 -v3950 -v3061 -v4293 -v3952 v2258 -v3981 v2276 v16 -v3985 -v3948 v2272 v2064 v17 -v3928 -v3016 -v1561 v1510 v1292 -v3015 -v2436 v1563 v1296 v1300 v3463 v1299 -v2145 v4377 v3471 -v2146 v4379 -v3012 -v2141 v1535 -v4384 -v4181 v1534 -v960 -v4325 -v4202 -v3576 -v2139 -v4392 -v4198 -v4197 -v3582 -v3097 -v1780 v1235 -v2666 v1781 v1237 -v3587 v3103 v2236 -v1776 -v1531 v2237 v112 -v3590 -v2232 -v1774 v1231 -v3588 -v374 -v3280 v3106 v2770 -v2230 -v1232 -v3279 -v2775 v638 v1097 v640 -v2854 -v572 -v2855 v1105 v574 -v4406 v3476 -v3276 -v2850 -v2778 -v634 v4284 v4283 v3479 -v2848 -v635 v568 -v3951 -v4290 -v2273 v569 v15 -v4294 v2275 v14 -v4295 -v3983 -v4296 -v3987 -v3946 v2271 v2065 -v3929 v1560 v4444 v1562 -v2144 -v2143 v4323 -v4199 v4380 -v4201 -v4324 v3094 -v2140 -v1779 -v4396 v3575 -v1778 -v1236 -v4395 -v4195 v3577 v3099 v2235 -v3583 v2234 v4245 -v4196 v3579 v3104 v4249 -v3591 v3107 v2767 -v1775 v3105 v2772 -v2231 v639 -v2853 v2776 -v2852 -v573 -v4402 v2779 v1113 v2777 v1109 v4405 v3475 v1108 v3481 -v2849 v4285 v3980 -v2274 v4286 v3979 -v3984 v3988 -v3947 v2269 -v4200 v4322 -v4326 v3093 -v4393 v3095 v3578 v3100 -v4394 -v4329 v4244 v3599 v4248 -v3595 v3108 -v3594 v2766 -v3190 v2768 v4237 v1110 v2780 v1112 -v4401 -v3473 v4407 v3477 v1106 v3482 -v1107 -v2270 v4327 -v4330 v3596 -v4328 v3598 v3096 v4246 v3112 v4250 -v3592 v3186 -v4252 v4233 -v3593 -v3189 -v4253 v2769 v1111 -v4398 v4236 v2788 -v2563 v2784 -v4403 v2783 v3472 v4408 v3474 v2861 v3478 v4445 -v4446 -v4331 v3597 v3109 v3111 v4247 v4251 -v4255 v3185 -v4254 v4232 -v3191 v2785 v2559 v2787 v4238 v2562 -v4397 -v4399 v3194 -v2781 -v4404 -v4241 v2860 -v2782 -v3110 -v4259 v4229 v3187 -v2786 v4234 v3192 v2558 v4239 v3195 v2564 v3193 -v4242 v4400 -v4240 v4412 v2862 v2567 -v4258 v4228 v3188 -v4256 v4230 v2560 v4235 v3196 v2565 v4243 -v2857 v4409 -v2856 v2568 v4411 v2566 v2863 -v4257 v4231 v2561 -v4410 v2569 v2858 v2859 one 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.96 0.98 2/55 5130
Raw data (stat): 5130 (runsolver) R 5129 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 755469472 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.96 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 1607 0 0 0 992 5 0 0 25 0 1 0 755469472 12406784 1584 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3029 1584 566 18 0 3011 0
vsize: 12116
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 1922 0 0 0 1991 6 0 0 25 0 1 0 755469472 13725696 1899 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3351 1899 566 18 0 3333 0
vsize: 13404
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 2185 0 0 0 2990 7 0 0 25 0 1 0 755469472 14770176 2162 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3606 2162 566 18 0 3588 0
vsize: 14424
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 2624 0 0 0 3989 9 0 0 25 0 1 0 755469472 16539648 2601 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4038 2601 566 18 0 4020 0
vsize: 16152
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 3140 0 0 0 4987 11 0 0 25 0 1 0 755469472 18706432 3117 4294967295 134512640 134581331 3221221792 3221220428 1075289077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4567 3117 566 18 0 4549 0
vsize: 18268
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 4032 0 0 0 5984 14 0 0 25 0 1 0 755469472 22396928 4009 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5468 4009 566 18 0 5450 0
vsize: 21872
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 5246 0 0 0 6981 17 0 0 25 0 1 0 755469472 27340800 5223 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6675 5223 566 18 0 6657 0
vsize: 26700
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 6871 0 0 0 7976 22 0 0 25 0 1 0 755469472 33980416 6848 4294967295 134512640 134581331 3221221792 3221220656 134528437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8296 6848 566 18 0 8278 0
vsize: 33184
[startup+90.003 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 8078 0 0 0 8972 26 0 0 25 0 1 0 755469472 38883328 8055 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9493 8055 566 18 0 9475 0
vsize: 37972
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 9666 0 0 0 9968 31 0 0 25 0 1 0 755469472 45395968 9643 4294967295 134512640 134581331 3221221792 3221220576 134528760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11083 9643 566 18 0 11065 0
vsize: 44332
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 9666 0 0 0 10967 31 0 0 25 0 1 0 755469472 45395968 9643 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11083 9643 566 18 0 11065 0
vsize: 44332
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 9666 0 0 0 11966 32 0 0 25 0 1 0 755469472 45395968 9643 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11083 9643 566 18 0 11065 0
vsize: 44332
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 10685 0 0 0 12964 35 0 0 25 0 1 0 755469472 49647616 10662 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12121 10662 566 18 0 12103 0
vsize: 48484
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 12653 0 0 0 13957 42 0 0 25 0 1 0 755469472 57647104 12630 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14074 12630 566 18 0 14056 0
vsize: 56296
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 14736 0 0 0 14951 48 0 0 25 0 1 0 755469472 66183168 14713 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16158 14713 566 18 0 16140 0
vsize: 64632
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 15517 0 0 0 15949 50 0 0 25 0 1 0 755469472 69427200 15494 4294967295 134512640 134581331 3221221792 3221220676 134557895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16950 15494 566 18 0 16932 0
vsize: 67800
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 15517 0 0 0 16949 51 0 0 25 0 1 0 755469472 69427200 15494 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16950 15494 566 18 0 16932 0
vsize: 67800
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 15517 0 0 0 17948 51 0 0 25 0 1 0 755469472 69427200 15494 4294967295 134512640 134581331 3221221792 3221220656 134528446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16950 15494 566 18 0 16932 0
vsize: 67800
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 15517 0 0 0 18948 52 0 0 25 0 1 0 755469472 69427200 15494 4294967295 134512640 134581331 3221221792 3221220656 134528500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16950 15494 566 18 0 16932 0
vsize: 67800
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 16633 0 0 0 19945 55 0 0 25 0 1 0 755469472 73949184 16610 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18054 16610 566 18 0 18036 0
vsize: 72216
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 16633 0 0 0 20945 55 0 0 25 0 1 0 755469472 73949184 16610 4294967295 134512640 134581331 3221221792 3221220704 134527429 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18054 16610 566 18 0 18036 0
vsize: 72216
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 16633 0 0 0 21945 56 0 0 25 0 1 0 755469472 73949184 16610 4294967295 134512640 134581331 3221221792 3221220676 134557838 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18054 16610 566 18 0 18036 0
vsize: 72216
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 16633 0 0 0 22944 56 0 0 25 0 1 0 755469472 73949184 16610 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18054 16610 566 18 0 18036 0
vsize: 72216
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 17331 0 0 0 23942 59 0 0 25 0 1 0 755469472 76832768 17308 4294967295 134512640 134581331 3221221792 3221220576 134528826 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18758 17309 566 18 0 18740 0
vsize: 75032
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 18048 0 0 0 24939 62 0 0 25 0 1 0 755469472 79769600 18025 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19475 18025 566 18 0 19457 0
vsize: 77900
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 18048 0 0 0 25939 62 0 0 25 0 1 0 755469472 79769600 18025 4294967295 134512640 134581331 3221221792 3221220736 134559473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19475 18025 566 18 0 19457 0
vsize: 77900
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 18048 0 0 0 26938 63 0 0 25 0 1 0 755469472 79769600 18025 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19475 18025 566 18 0 19457 0
vsize: 77900
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 18048 0 0 0 27937 64 0 0 25 0 1 0 755469472 79769600 18025 4294967295 134512640 134581331 3221221792 3221220656 134528278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19475 18025 566 18 0 19457 0
vsize: 77900
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 18505 0 0 0 28936 65 0 0 25 0 1 0 755469472 81653760 18482 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19935 18482 566 18 0 19917 0
vsize: 79740
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 18505 0 0 0 29935 66 0 0 25 0 1 0 755469472 81653760 18482 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19935 18482 566 18 0 19917 0
vsize: 79740
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 18505 0 0 0 30935 67 0 0 25 0 1 0 755469472 81653760 18482 4294967295 134512640 134581331 3221221792 3221220656 134528500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19935 18482 566 18 0 19917 0
vsize: 79740
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 18505 0 0 0 31935 67 0 0 25 0 1 0 755469472 81653760 18482 4294967295 134512640 134581331 3221221792 3221220704 134527680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19935 18482 566 18 0 19917 0
vsize: 79740
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 18505 0 0 0 32934 68 0 0 25 0 1 0 755469472 81653760 18482 4294967295 134512640 134581331 3221221792 3221220512 134522581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19935 18482 566 18 0 19917 0
vsize: 79740
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19577 0 0 0 33931 71 0 0 25 0 1 0 755469472 86036480 19554 4294967295 134512640 134581331 3221221792 3221220676 134558002 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19554 566 18 0 20987 0
vsize: 84020
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19579 0 0 0 34930 72 0 0 25 0 1 0 755469472 86036480 19556 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19556 566 18 0 20987 0
vsize: 84020
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19579 0 0 0 35930 73 0 0 25 0 1 0 755469472 86036480 19556 4294967295 134512640 134581331 3221221792 3221220704 134531400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19556 566 18 0 20987 0
vsize: 84020
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19579 0 0 0 36929 73 0 0 25 0 1 0 755469472 86036480 19556 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19556 566 18 0 20987 0
vsize: 84020
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19579 0 0 0 37929 74 0 0 25 0 1 0 755469472 86036480 19556 4294967295 134512640 134581331 3221221792 3221220676 134557882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19556 566 18 0 20987 0
vsize: 84020
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19579 0 0 0 38929 74 0 0 25 0 1 0 755469472 86036480 19556 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19556 566 18 0 20987 0
vsize: 84020
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19579 0 0 0 39928 75 0 0 25 0 1 0 755469472 86036480 19556 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19556 566 18 0 20987 0
vsize: 84020
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19579 0 0 0 40928 76 0 0 25 0 1 0 755469472 86036480 19556 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19556 566 18 0 20987 0
vsize: 84020
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19579 0 0 0 41928 76 0 0 25 0 1 0 755469472 86036480 19556 4294967295 134512640 134581331 3221221792 3221220736 134558842 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19556 566 18 0 20987 0
vsize: 84020
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19579 0 0 0 42928 76 0 0 25 0 1 0 755469472 86036480 19556 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19556 566 18 0 20987 0
vsize: 84020
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19579 0 0 0 43927 77 0 0 25 0 1 0 755469472 86036480 19556 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19556 566 18 0 20987 0
vsize: 84020
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19579 0 0 0 44926 78 0 0 25 0 1 0 755469472 86036480 19556 4294967295 134512640 134581331 3221221792 3221220676 134557746 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19556 566 18 0 20987 0
vsize: 84020
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19579 0 0 0 45926 79 0 0 25 0 1 0 755469472 86036480 19556 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19556 566 18 0 20987 0
vsize: 84020
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 19579 0 0 0 46925 79 0 0 25 0 1 0 755469472 86036480 19556 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19556 566 18 0 20987 0
vsize: 84020
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 20717 0 0 0 47923 82 0 0 25 0 1 0 755469472 90746880 20694 4294967295 134512640 134581331 3221221792 3221220624 134528569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22155 20694 566 18 0 22137 0
vsize: 88620
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 22365 0 0 0 48919 86 0 0 25 0 1 0 755469472 97468416 22342 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23796 22342 566 18 0 23778 0
vsize: 95184
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 23338 0 0 0 49917 89 0 0 25 0 1 0 755469472 101421056 23315 4294967295 134512640 134581331 3221221792 3221220620 134528696 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24761 23315 566 18 0 24743 0
vsize: 99044
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 5130
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 23338 0 0 0 50916 89 0 0 25 0 1 0 755469472 101421056 23315 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24761 23315 566 18 0 24743 0
vsize: 99044
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.98 3/56 5131
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 23338 0 0 0 51916 90 0 0 25 0 1 0 755469472 101421056 23315 4294967295 134512640 134581331 3221221792 3221220676 134557882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24761 23315 566 18 0 24743 0
vsize: 99044
[startup+530.011 s]
Raw data (loadavg): 1.15 1.00 0.99 2/59 5173
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 23338 0 0 0 52915 91 0 0 25 0 1 0 755469472 101421056 23315 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24761 23315 566 18 0 24743 0
vsize: 99044
[startup+540.1 s]
Raw data (loadavg): 1.20 1.02 1.00 3/59 5182
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 23338 0 0 0 53923 91 0 0 25 0 1 0 755469472 101421056 23315 4294967295 134512640 134581331 3221221792 3221220640 134528554 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24761 23315 566 18 0 24743 0
vsize: 99044
[startup+550.274 s]
Raw data (loadavg): 1.32 1.05 1.01 2/55 5183
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24120 0 0 0 54939 94 0 0 25 0 1 0 755469472 104689664 24097 4294967295 134512640 134581331 3221221792 3221220428 1075289113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25559 24097 566 18 0 25541 0
vsize: 102236
[startup+560.563 s]
Raw data (loadavg): 1.27 1.05 1.01 2/55 5183
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24501 0 0 0 55966 95 0 0 25 0 1 0 755469472 106287104 24478 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24478 566 18 0 25931 0
vsize: 103796
[startup+570.563 s]
Raw data (loadavg): 1.23 1.05 1.01 2/55 5183
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24501 0 0 0 56966 96 0 0 25 0 1 0 755469472 106287104 24478 4294967295 134512640 134581331 3221221792 3221220576 134528804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24478 566 18 0 25931 0
vsize: 103796
[startup+580.563 s]
Raw data (loadavg): 1.19 1.05 1.01 2/55 5183
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24501 0 0 0 57965 97 0 0 25 0 1 0 755469472 106287104 24478 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24478 566 18 0 25931 0
vsize: 103796
[startup+590.563 s]
Raw data (loadavg): 1.16 1.04 1.01 2/55 5183
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 58965 97 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220736 134558837 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+600.563 s]
Raw data (loadavg): 1.14 1.04 1.01 2/55 5183
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 59965 97 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+610.564 s]
Raw data (loadavg): 1.12 1.04 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 60964 98 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220676 134557849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+620.563 s]
Raw data (loadavg): 1.10 1.04 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 61964 98 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+630.564 s]
Raw data (loadavg): 1.08 1.04 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 62964 99 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220736 134558837 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+640.564 s]
Raw data (loadavg): 1.07 1.03 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 63963 99 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+650.564 s]
Raw data (loadavg): 1.06 1.03 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 64963 100 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220736 134558812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+660.565 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 65963 100 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+670.565 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 66963 100 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+680.566 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 67962 101 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220736 134558822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+690.566 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 68962 102 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220676 134557876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+700.566 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 69961 102 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+710.566 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 70961 103 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220676 134557898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+720.566 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 71960 104 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220656 134528368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+730.566 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 72959 105 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220576 134528797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+740.567 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 73959 105 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+750.566 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 74958 107 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+760.567 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 75957 107 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220656 134528384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+770.568 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 76957 108 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+780.568 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 77956 109 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+790.568 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 78955 110 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+800.568 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 79956 110 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220676 134557884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+810.569 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 80955 110 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+820.569 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 81955 111 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+830.575 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 82955 111 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+840.58 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5185
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 83955 112 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+850.58 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 84955 113 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220576 134528734 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+860.581 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 85954 113 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+870.581 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 86953 115 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+880.582 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 87953 115 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+890.582 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 88952 116 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+900.581 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 89952 117 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220508 1075289110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+910.583 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 90951 117 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+920.582 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 91951 117 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+930.582 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24502 0 0 0 92950 119 0 0 25 0 1 0 755469472 106287104 24479 4294967295 134512640 134581331 3221221792 3221220656 134528528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25949 24479 566 18 0 25931 0
vsize: 103796
[startup+940.591 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24928 0 0 0 93948 121 0 0 25 0 1 0 755469472 107958272 24905 4294967295 134512640 134581331 3221221792 3221220676 134557767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26357 24905 566 18 0 26339 0
vsize: 105428
[startup+950.592 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 94947 122 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220608 134528848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+960.592 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 95947 123 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220488 1075291317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+970.592 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 96946 123 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+980.593 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 97946 124 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220576 134528760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+990.593 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 98945 125 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220676 134557898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1000.59 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 99945 126 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1010.59 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 100944 126 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220720 134519945 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1020.59 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 101944 127 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1030.59 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 102943 128 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220736 134558822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1040.59 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 103943 128 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1050.59 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 104942 129 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1060.59 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 105942 130 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1070.59 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 106941 131 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1080.6 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 107941 131 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220428 1075289104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1090.6 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 108940 132 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220672 134558100 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1100.6 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 109940 132 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1110.6 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 110940 133 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220676 134557922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1120.6 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 111939 133 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220676 134557830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1130.6 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 112939 134 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220676 134557951 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1140.6 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 113938 135 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1150.6 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 114937 136 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1160.6 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 115936 137 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1170.6 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 116936 137 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220612 1075289623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1180.6 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 117935 137 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 105548
[startup+1188.94 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5187
Raw data (stat): 5130 (Pueblo) R 5129 7876 7672 0 -1 0 24962 0 0 0 117935 137 0 0 25 0 1 0 755469472 108081152 24939 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26387 24939 566 18 0 26369 0
vsize: 0

Child status: 10
Real time (s): 1188.94
CPU time (s): 1189.07
CPU user time (s): 1187.64
CPU system time (s): 1.43078
CPU usage (%): 100.011
Max. virtual memory (Kb): 105548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	109
#### END VERIFIER DATA ####