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 38576

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 14:38:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26642 boxname=wulflinc2 idbench=372 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  bc393d4b1cc38ed414c3e21eb8bc6b60  /oldhome/oroussel/tmp/wulflinc2/normalized-30:30:4.5:0.5:100.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-30:30:4.5:0.5:100.opb
IDLAUNCH: 26642
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        916544 kB
Buffers:         17804 kB
Cached:          78480 kB
SwapCached:       1160 kB
Active:          21432 kB
Inactive:        77272 kB
HighTotal:      131008 kB
HighFree:        49588 kB
LowTotal:       903652 kB
LowFree:        866956 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            13672 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 14:58:28 (client local time) WITH STATUS 10 IN 1189.06 SECONDS
stats: 26642 0 1189.06 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/wulflinc2/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.92 1/54 23132
Raw data (stat): 23132 (runsolver) R 23131 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850573248 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 1586 0 0 0 994 4 0 0 25 0 1 0 850573248 12328960 1560 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3010 1560 566 18 0 2992 0
vsize: 12040
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 1886 0 0 0 1993 5 0 0 25 0 1 0 850573248 13561856 1860 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3311 1860 566 18 0 3293 0
vsize: 13244
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 2202 0 0 0 2993 6 0 0 25 0 1 0 850573248 14798848 2176 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2176 566 18 0 3595 0
vsize: 14452
[startup+40.0001 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 2669 0 0 0 3992 7 0 0 25 0 1 0 850573248 16793600 2643 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4100 2643 566 18 0 4082 0
vsize: 16400
[startup+50.0005 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 3471 0 0 0 4990 9 0 0 25 0 1 0 850573248 20013056 3445 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4886 3445 566 18 0 4868 0
vsize: 19544
[startup+60.0001 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 4792 0 0 0 5987 12 0 0 25 0 1 0 850573248 25460736 4766 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 4766 566 18 0 6198 0
vsize: 24864
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 6518 0 0 0 6981 18 0 0 25 0 1 0 850573248 32534528 6492 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7943 6492 566 18 0 7925 0
vsize: 31772
[startup+80.0016 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 8199 0 0 0 7977 23 0 0 25 0 1 0 850573248 39460864 8173 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9634 8173 566 18 0 9616 0
vsize: 38536
[startup+90.0012 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 9375 0 0 0 8974 26 0 0 25 0 1 0 850573248 44273664 9349 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10809 9349 566 18 0 10791 0
vsize: 43236
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 9548 0 0 0 9972 28 0 0 25 0 1 0 850573248 44892160 9522 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10960 9522 566 18 0 10942 0
vsize: 43840
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 12276 0 0 0 10964 36 0 0 25 0 1 0 850573248 56139776 12250 4294967295 134512640 134581267 3221224576 3221223352 1075291826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13706 12250 566 18 0 13688 0
vsize: 54824
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 14826 0 0 0 11958 42 0 0 25 0 1 0 850573248 66527232 14800 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16242 14800 566 18 0 16224 0
vsize: 64968
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 14826 0 0 0 12957 43 0 0 25 0 1 0 850573248 66527232 14800 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16242 14800 566 18 0 16224 0
vsize: 64968
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 14826 0 0 0 13957 44 0 0 25 0 1 0 850573248 66527232 14800 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16242 14800 566 18 0 16224 0
vsize: 64968
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 15657 0 0 0 14954 47 0 0 25 0 1 0 850573248 69992448 15631 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17088 15631 566 18 0 17070 0
vsize: 68352
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 15657 0 0 0 15953 48 0 0 25 0 1 0 850573248 69992448 15631 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17088 15631 566 18 0 17070 0
vsize: 68352
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 15657 0 0 0 16953 49 0 0 25 0 1 0 850573248 69992448 15631 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17088 15631 566 18 0 17070 0
vsize: 68352
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 16918 0 0 0 17949 53 0 0 25 0 1 0 850573248 75083776 16892 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18331 16892 566 18 0 18313 0
vsize: 73324
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 16918 0 0 0 18948 54 0 0 25 0 1 0 850573248 75083776 16892 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18331 16892 566 18 0 18313 0
vsize: 73324
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 16918 0 0 0 19947 55 0 0 25 0 1 0 850573248 75083776 16892 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18331 16892 566 18 0 18313 0
vsize: 73324
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 17357 0 0 0 20946 56 0 0 25 0 1 0 850573248 76951552 17331 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18787 17331 566 18 0 18769 0
vsize: 75148
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 17357 0 0 0 21946 56 0 0 25 0 1 0 850573248 76951552 17331 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18787 17331 566 18 0 18769 0
vsize: 75148
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 17357 0 0 0 22945 57 0 0 25 0 1 0 850573248 76951552 17331 4294967295 134512640 134581267 3221224576 3221223440 134528338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18787 17331 566 18 0 18769 0
vsize: 75148
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 18256 0 0 0 23943 59 0 0 25 0 1 0 850573248 80543744 18230 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19664 18230 566 18 0 19646 0
vsize: 78656
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 18256 0 0 0 24942 60 0 0 25 0 1 0 850573248 80543744 18230 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19664 18230 566 18 0 19646 0
vsize: 78656
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 18256 0 0 0 25942 61 0 0 25 0 1 0 850573248 80543744 18230 4294967295 134512640 134581267 3221224576 3221223504 134519806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19664 18230 566 18 0 19646 0
vsize: 78656
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 18256 0 0 0 26941 62 0 0 25 0 1 0 850573248 80543744 18230 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19664 18230 566 18 0 19646 0
vsize: 78656
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 18256 0 0 0 27941 62 0 0 25 0 1 0 850573248 80543744 18230 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19664 18230 566 18 0 19646 0
vsize: 78656
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 18256 0 0 0 28940 64 0 0 25 0 1 0 850573248 80543744 18230 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19664 18230 566 18 0 19646 0
vsize: 78656
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 18256 0 0 0 29939 65 0 0 25 0 1 0 850573248 80543744 18230 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19664 18230 566 18 0 19646 0
vsize: 78656
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 18256 0 0 0 30938 66 0 0 25 0 1 0 850573248 80543744 18230 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19664 18230 566 18 0 19646 0
vsize: 78656
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 18256 0 0 0 31938 66 0 0 25 0 1 0 850573248 80543744 18230 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19664 18230 566 18 0 19646 0
vsize: 78656
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 19644 0 0 0 32934 70 0 0 25 0 1 0 850573248 86228992 19618 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21052 19618 566 18 0 21034 0
vsize: 84208
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 19644 0 0 0 33934 70 0 0 25 0 1 0 850573248 86228992 19618 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21052 19618 566 18 0 21034 0
vsize: 84208
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 19644 0 0 0 34933 72 0 0 25 0 1 0 850573248 86228992 19618 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21052 19618 566 18 0 21034 0
vsize: 84208
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 19647 0 0 0 35932 73 0 0 25 0 1 0 850573248 86347776 19621 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21081 19621 566 18 0 21063 0
vsize: 84324
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 19647 0 0 0 36932 73 0 0 25 0 1 0 850573248 86347776 19621 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21081 19621 566 18 0 21063 0
vsize: 84324
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 19647 0 0 0 37932 73 0 0 25 0 1 0 850573248 86347776 19621 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21081 19621 566 18 0 21063 0
vsize: 84324
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 19783 0 0 0 38930 75 0 0 25 0 1 0 850573248 86839296 19757 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21201 19757 566 18 0 21183 0
vsize: 84804
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 19783 0 0 0 39930 75 0 0 25 0 1 0 850573248 86839296 19757 4294967295 134512640 134581267 3221224576 3221223440 134528346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21201 19757 566 18 0 21183 0
vsize: 84804
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 19783 0 0 0 40930 76 0 0 25 0 1 0 850573248 86839296 19757 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21201 19757 566 18 0 21183 0
vsize: 84804
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 19783 0 0 0 41929 77 0 0 25 0 1 0 850573248 86839296 19757 4294967295 134512640 134581267 3221224576 3221223520 134558872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21201 19757 566 18 0 21183 0
vsize: 84804
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21129 0 0 0 42925 81 0 0 25 0 1 0 850573248 92430336 21103 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22566 21103 566 18 0 22548 0
vsize: 90264
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21129 0 0 0 43925 82 0 0 25 0 1 0 850573248 92430336 21103 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22566 21103 566 18 0 22548 0
vsize: 90264
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21129 0 0 0 44923 83 0 0 25 0 1 0 850573248 92430336 21103 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22566 21103 566 18 0 22548 0
vsize: 90264
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21129 0 0 0 45923 84 0 0 25 0 1 0 850573248 92430336 21103 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22566 21103 566 18 0 22548 0
vsize: 90264
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21189 0 0 0 46922 85 0 0 25 0 1 0 850573248 92676096 21163 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22626 21163 566 18 0 22608 0
vsize: 90504
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21189 0 0 0 47921 86 0 0 25 0 1 0 850573248 92676096 21163 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22626 21163 566 18 0 22608 0
vsize: 90504
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21189 0 0 0 48921 86 0 0 25 0 1 0 850573248 92676096 21163 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22626 21163 566 18 0 22608 0
vsize: 90504
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21273 0 0 0 49921 87 0 0 25 0 1 0 850573248 93048832 21247 4294967295 134512640 134581267 3221224576 3221223484 134527740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22717 21247 566 18 0 22699 0
vsize: 90868
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21273 0 0 0 50920 87 0 0 25 0 1 0 850573248 93048832 21247 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22717 21247 566 18 0 22699 0
vsize: 90868
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21273 0 0 0 51919 89 0 0 25 0 1 0 850573248 93048832 21247 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22717 21247 566 18 0 22699 0
vsize: 90868
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21273 0 0 0 52919 89 0 0 25 0 1 0 850573248 93048832 21247 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22717 21247 566 18 0 22699 0
vsize: 90868
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21307 0 0 0 53918 91 0 0 25 0 1 0 850573248 93171712 21281 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22747 21281 566 18 0 22729 0
vsize: 90988
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21307 0 0 0 54917 91 0 0 25 0 1 0 850573248 93171712 21281 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22747 21281 566 18 0 22729 0
vsize: 90988
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21307 0 0 0 55916 92 0 0 25 0 1 0 850573248 93171712 21281 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22747 21281 566 18 0 22729 0
vsize: 90988
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21307 0 0 0 56916 93 0 0 25 0 1 0 850573248 93171712 21281 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22747 21281 566 18 0 22729 0
vsize: 90988
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21478 0 0 0 57915 94 0 0 25 0 1 0 850573248 93913088 21452 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22928 21452 566 18 0 22910 0
vsize: 91712
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21478 0 0 0 58914 95 0 0 25 0 1 0 850573248 93913088 21452 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22928 21452 566 18 0 22910 0
vsize: 91712
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21478 0 0 0 59914 95 0 0 25 0 1 0 850573248 93913088 21452 4294967295 134512640 134581267 3221224576 3221223504 134519956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22928 21452 566 18 0 22910 0
vsize: 91712
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 21478 0 0 0 60913 97 0 0 25 0 1 0 850573248 93913088 21452 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22928 21452 566 18 0 22910 0
vsize: 91712
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23124 0 0 0 61907 102 0 0 25 0 1 0 850573248 100597760 23098 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24560 23098 566 18 0 24542 0
vsize: 98240
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23124 0 0 0 62907 103 0 0 25 0 1 0 850573248 100597760 23098 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24560 23098 566 18 0 24542 0
vsize: 98240
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23124 0 0 0 63907 103 0 0 25 0 1 0 850573248 100597760 23098 4294967295 134512640 134581267 3221224576 3221223488 134527420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24560 23098 566 18 0 24542 0
vsize: 98240
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23130 0 0 0 64905 105 0 0 25 0 1 0 850573248 100597760 23104 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24560 23104 566 18 0 24542 0
vsize: 98240
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23130 0 0 0 65905 105 0 0 25 0 1 0 850573248 100597760 23104 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24560 23104 566 18 0 24542 0
vsize: 98240
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23130 0 0 0 66904 107 0 0 25 0 1 0 850573248 100597760 23104 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24560 23104 566 18 0 24542 0
vsize: 98240
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23130 0 0 0 67903 108 0 0 25 0 1 0 850573248 100597760 23104 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24560 23104 566 18 0 24542 0
vsize: 98240
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23153 0 0 0 68901 110 0 0 25 0 1 0 850573248 100720640 23127 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24590 23127 566 18 0 24572 0
vsize: 98360
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23153 0 0 0 69900 111 0 0 25 0 1 0 850573248 100720640 23127 4294967295 134512640 134581267 3221224576 3221223440 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24590 23127 566 18 0 24572 0
vsize: 98360
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23153 0 0 0 70900 112 0 0 25 0 1 0 850573248 100720640 23127 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24590 23127 566 18 0 24572 0
vsize: 98360
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23281 0 0 0 71898 113 0 0 25 0 1 0 850573248 101212160 23255 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24710 23255 566 18 0 24692 0
vsize: 98840
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23281 0 0 0 72898 114 0 0 25 0 1 0 850573248 101212160 23255 4294967295 134512640 134581267 3221224576 3221223488 134527680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24710 23255 566 18 0 24692 0
vsize: 98840
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23281 0 0 0 73897 115 0 0 25 0 1 0 850573248 101212160 23255 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24710 23255 566 18 0 24692 0
vsize: 98840
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23281 0 0 0 74896 116 0 0 25 0 1 0 850573248 101212160 23255 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24710 23255 566 18 0 24692 0
vsize: 98840
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23430 0 0 0 75895 118 0 0 25 0 1 0 850573248 101830656 23404 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24861 23404 566 18 0 24843 0
vsize: 99444
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23430 0 0 0 76893 120 0 0 25 0 1 0 850573248 101830656 23404 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24861 23404 566 18 0 24843 0
vsize: 99444
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23430 0 0 0 77893 120 0 0 25 0 1 0 850573248 101830656 23404 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24861 23404 566 18 0 24843 0
vsize: 99444
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23535 0 0 0 78891 122 0 0 25 0 1 0 850573248 102326272 23509 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24982 23509 566 18 0 24964 0
vsize: 99928
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23535 0 0 0 79890 124 0 0 25 0 1 0 850573248 102326272 23509 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24982 23509 566 18 0 24964 0
vsize: 99928
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23535 0 0 0 80888 126 0 0 25 0 1 0 850573248 102326272 23509 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24982 23509 566 18 0 24964 0
vsize: 99928
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23535 0 0 0 81887 127 0 0 25 0 1 0 850573248 102326272 23509 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24982 23509 566 18 0 24964 0
vsize: 99928
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23710 0 0 0 82885 129 0 0 25 0 1 0 850573248 102952960 23684 4294967295 134512640 134581267 3221224576 3221223520 134558778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25135 23684 566 18 0 25117 0
vsize: 100540
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23710 0 0 0 83885 130 0 0 25 0 1 0 850573248 102952960 23684 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25135 23684 566 18 0 25117 0
vsize: 100540
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 23710 0 0 0 84883 131 0 0 25 0 1 0 850573248 102952960 23684 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25135 23684 566 18 0 25117 0
vsize: 100540
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 24142 0 0 0 85881 134 0 0 25 0 1 0 850573248 104820736 24116 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25591 24116 566 18 0 25573 0
vsize: 102364
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 86877 138 0 0 25 0 1 0 850573248 109166592 25185 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26652 25185 566 18 0 26634 0
vsize: 106608
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 87877 138 0 0 25 0 1 0 850573248 109166592 25185 4294967295 134512640 134581267 3221224576 3221223540 134519893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26652 25185 566 18 0 26634 0
vsize: 106608
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 88875 140 0 0 25 0 1 0 850573248 109166592 25185 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26652 25185 566 18 0 26634 0
vsize: 106608
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 89874 141 0 0 25 0 1 0 850573248 109166592 25185 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26652 25185 566 18 0 26634 0
vsize: 106608
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 90872 143 0 0 25 0 1 0 850573248 109166592 25185 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26652 25185 566 18 0 26634 0
vsize: 106608
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 91872 144 0 0 25 0 1 0 850573248 109166592 25185 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26652 25185 566 18 0 26634 0
vsize: 106608
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 92872 144 0 0 25 0 1 0 850573248 109166592 25185 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26652 25185 566 18 0 26634 0
vsize: 106608
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 93871 145 0 0 25 0 1 0 850573248 109166592 25185 4294967295 134512640 134581267 3221224576 3221223440 134528318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26652 25185 566 18 0 26634 0
vsize: 106608
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 94870 146 0 0 25 0 1 0 850573248 109166592 25185 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26652 25185 566 18 0 26634 0
vsize: 106608
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 95869 147 0 0 25 0 1 0 850573248 109166592 25185 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26652 25185 566 18 0 26634 0
vsize: 106608
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 96868 148 0 0 25 0 1 0 850573248 109166592 25185 4294967295 134512640 134581267 3221224576 3221223472 134517729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26652 25185 566 18 0 26634 0
vsize: 106608
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 97868 149 0 0 25 0 1 0 850573248 108994560 25165 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25165 566 18 0 26592 0
vsize: 106440
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 98867 150 0 0 25 0 1 0 850573248 108994560 25165 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25165 566 18 0 26592 0
vsize: 106440
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 99866 151 0 0 25 0 1 0 850573248 108994560 25165 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25165 566 18 0 26592 0
vsize: 106440
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 100866 152 0 0 25 0 1 0 850573248 108994560 25165 4294967295 134512640 134581267 3221224576 3221223292 1075289350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26610 25165 566 18 0 26592 0
vsize: 106440
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 101865 153 0 0 25 0 1 0 850573248 108986368 25163 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26608 25163 566 18 0 26590 0
vsize: 106432
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 102864 153 0 0 25 0 1 0 850573248 108986368 25163 4294967295 134512640 134581267 3221224576 3221223520 134558784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26608 25163 566 18 0 26590 0
vsize: 106432
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 103864 154 0 0 25 0 1 0 850573248 108986368 25163 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26608 25163 566 18 0 26590 0
vsize: 106432
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 104862 156 0 0 25 0 1 0 850573248 108986368 25163 4294967295 134512640 134581267 3221224576 3221223536 134519892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26608 25163 566 18 0 26590 0
vsize: 106432
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 105862 157 0 0 25 0 1 0 850573248 108879872 25137 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26582 25137 566 18 0 26564 0
vsize: 106328
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 106861 158 0 0 25 0 1 0 850573248 108879872 25137 4294967295 134512640 134581267 3221224576 3221223520 134558872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26582 25137 566 18 0 26564 0
vsize: 106328
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 107860 159 0 0 25 0 1 0 850573248 108879872 25137 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26582 25137 566 18 0 26564 0
vsize: 106328
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 108858 161 0 0 25 0 1 0 850573248 108879872 25137 4294967295 134512640 134581267 3221224576 3221223212 1075289104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26582 25137 566 18 0 26564 0
vsize: 106328
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 109857 162 0 0 25 0 1 0 850573248 108875776 25136 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26581 25136 566 18 0 26563 0
vsize: 106324
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 110856 163 0 0 25 0 1 0 850573248 108875776 25136 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26581 25136 566 18 0 26563 0
vsize: 106324
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 111855 164 0 0 25 0 1 0 850573248 108875776 25136 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26581 25136 566 18 0 26563 0
vsize: 106324
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25211 0 0 0 112855 165 0 0 25 0 1 0 850573248 108875776 25136 4294967295 134512640 134581267 3221224576 3221223488 134527621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26581 25136 566 18 0 26563 0
vsize: 106324
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25249 0 0 0 113853 166 0 0 25 0 1 0 850573248 109121536 25174 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26641 25174 566 18 0 26623 0
vsize: 106564
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25249 0 0 0 114852 168 0 0 25 0 1 0 850573248 109121536 25174 4294967295 134512640 134581267 3221224576 3221223504 134519956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26641 25174 566 18 0 26623 0
vsize: 106564
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25249 0 0 0 115852 168 0 0 25 0 1 0 850573248 109121536 25174 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26641 25174 566 18 0 26623 0
vsize: 106564
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25293 0 0 0 116850 170 0 0 25 0 1 0 850573248 109244416 25218 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26671 25218 566 18 0 26653 0
vsize: 106684
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25293 0 0 0 117850 171 0 0 25 0 1 0 850573248 109244416 25218 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26671 25218 566 18 0 26653 0
vsize: 106684
[startup+1188.86 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 23132
Raw data (stat): 23132 (Pueblo-v2) R 23131 31399 31398 0 -1 0 25293 0 0 0 117850 171 0 0 25 0 1 0 850573248 109244416 25218 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26671 25218 566 18 0 26653 0
vsize: 0

Child status: 10
Real time (s): 1188.86
CPU time (s): 1189.06
CPU user time (s): 1187.29
CPU system time (s): 1.76773
CPU usage (%): 100.016
Max. virtual memory (Kb): 106684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	109
#### END VERIFIER DATA ####