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 24999

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 20:31:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3342 boxname=wulflinc31 idbench=372 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  bc393d4b1cc38ed414c3e21eb8bc6b60  /oldhome/oroussel/tmp/wulflinc31/normalized-30:30:4.5:0.5:100.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-30:30:4.5:0.5:100.opb
IDLAUNCH: 3342
/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:        809884 kB
Buffers:         42932 kB
Cached:         159884 kB
SwapCached:       1932 kB
Active:         164020 kB
Inactive:        41976 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        809632 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            13048 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 20:51:18 (client local time) WITH STATUS 10 IN 1175.07 SECONDS
stats: 3342 0 1175.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 4447 variables and 4926 constraints.
c After prepocess the problem consists of 4446 variables and 4923 constraints.
c preprocess terminated 2.557 s
c Initial Lower Bound: -1474
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1860 @ 13.097
c NEW SOLUTION FOUND: 1859 @ 14.236
c NEW SOLUTION FOUND: 1858 @ 14.784
c NEW SOLUTION FOUND: 1856 @ 16.37
c NEW SOLUTION FOUND: 1855 @ 20.025
c NEW SOLUTION FOUND: 1852 @ 21.78
c NEW SOLUTION FOUND: 1851 @ 22.174
c NEW SOLUTION FOUND: 1850 @ 25.526
c NEW SOLUTION FOUND: 1849 @ 30.439
c NEW SOLUTION FOUND: 1848 @ 31.631
c NEW SOLUTION FOUND: 1847 @ 37.187
c NEW SOLUTION FOUND: 1846 @ 43.39
c NEW SOLUTION FOUND: 1845 @ 78.945
c NEW SOLUTION FOUND: 1844 @ 106.308
c NEW SOLUTION FOUND: 1843 @ 116.151
c NEW SOLUTION FOUND: 1842 @ 170.973
c NEW SOLUTION FOUND: 1841 @ 312.204
c NEW SOLUTION FOUND: 1840 @ 330.678
c NEW SOLUTION FOUND: 1839 @ 339.141
c NEW SOLUTION FOUND: 1838 @ 458.294
c NEW SOLUTION FOUND: 1837 @ 500.498
c NEW SOLUTION FOUND: 1836 @ 548.791
c NEW SOLUTION FOUND: 1835 @ 905.14
c NEW SOLUTION FOUND: 1834 @ 1133.37
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 
c Exit Code: 10
c Total time: 1175.02 s
#### 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.85 0.98 0.99 2/55 5037
Raw data (stat): 5037 (runsolver) R 5036 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 755350842 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.88 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 4010 0 0 0 986 11 0 0 25 0 1 0 755350842 20230144 3976 4294967295 134512640 134714540 3221221776 3221220496 134535383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4939 3976 1111 63 0 4876 0
vsize: 19756
[startup+20.0022 s]
Raw data (loadavg): 0.89 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 15782 0 0 0 1959 37 0 0 25 0 1 0 755350842 68669440 15748 4294967295 134512640 134714540 3221221776 3221220416 134613442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16765 15748 1111 63 0 16702 0
vsize: 67060
[startup+30.0027 s]
Raw data (loadavg): 0.91 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 15904 0 0 0 2958 38 0 0 25 0 1 0 755350842 69218304 15870 4294967295 134512640 134714540 3221221776 3221220476 134535534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16899 15870 1111 63 0 16836 0
vsize: 67596
[startup+40.0037 s]
Raw data (loadavg): 0.92 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 15920 0 0 0 3958 39 0 0 25 0 1 0 755350842 69353472 15886 4294967295 134512640 134714540 3221221776 3221220496 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16932 15886 1111 63 0 16869 0
vsize: 67728
[startup+50.0049 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 15951 0 0 0 4957 40 0 0 25 0 1 0 755350842 69353472 15917 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16932 15917 1111 63 0 16869 0
vsize: 67728
[startup+60.0054 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16025 0 0 0 5957 40 0 0 25 0 1 0 755350842 69758976 15991 4294967295 134512640 134714540 3221221776 3221220308 1077378632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17031 15991 1111 63 0 16968 0
vsize: 68124
[startup+70.0063 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16036 0 0 0 6956 42 0 0 25 0 1 0 755350842 69758976 16002 4294967295 134512640 134714540 3221221776 3221220368 134613442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17031 16002 1111 63 0 16968 0
vsize: 68124
[startup+80.0066 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16071 0 0 0 7955 42 0 0 25 0 1 0 755350842 69894144 16037 4294967295 134512640 134714540 3221221776 3221220304 134539593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17064 16037 1111 63 0 17001 0
vsize: 68256
[startup+90.0075 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16071 0 0 0 8955 43 0 0 25 0 1 0 755350842 69894144 16037 4294967295 134512640 134714540 3221221776 3221220312 1077377249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17064 16037 1111 63 0 17001 0
vsize: 68256
[startup+100.007 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16071 0 0 0 9955 43 0 0 25 0 1 0 755350842 69832704 16034 4294967295 134512640 134714540 3221221776 3221220072 1077377398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17049 16034 1111 63 0 16986 0
vsize: 68196
[startup+110.008 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16079 0 0 0 10954 44 0 0 25 0 1 0 755350842 69971968 16042 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17083 16042 1111 63 0 17020 0
vsize: 68332
[startup+120.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16079 0 0 0 11954 44 0 0 25 0 1 0 755350842 69971968 16042 4294967295 134512640 134714540 3221221776 3221220140 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17083 16042 1111 63 0 17020 0
vsize: 68332
[startup+130.009 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16079 0 0 0 12954 45 0 0 25 0 1 0 755350842 69971968 16042 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17083 16042 1111 63 0 17020 0
vsize: 68332
[startup+140.01 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16079 0 0 0 13953 46 0 0 25 0 1 0 755350842 69971968 16042 4294967295 134512640 134714540 3221221776 3221220368 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17083 16042 1111 63 0 17020 0
vsize: 68332
[startup+150.011 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16079 0 0 0 14952 47 0 0 25 0 1 0 755350842 69791744 16024 4294967295 134512640 134714540 3221221776 3221220368 134613442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17039 16024 1111 63 0 16976 0
vsize: 68156
[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16079 0 0 0 15952 47 0 0 25 0 1 0 755350842 69791744 16024 4294967295 134512640 134714540 3221221776 3221220028 1077379936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17039 16024 1111 63 0 16976 0
vsize: 68156
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 16952 47 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220536 134558593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.99 3/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 17952 48 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220028 1077379863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 18951 49 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220332 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 19951 49 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220296 1077378441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 20951 49 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220072 1077377556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 21951 50 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220476 134535671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 22950 50 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 23950 51 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220448 134524399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 24949 52 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220576 134610922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+260.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 25948 53 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220368 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+270.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 26947 54 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220368 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+280.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 27947 55 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220424 1077374435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 28947 55 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220476 134535512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+300.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 29946 56 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220424 134524426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+310.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 30946 57 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220484 134603388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+320.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 31945 58 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+330.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 32945 58 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220476 134535534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+340.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 33944 59 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220368 134538741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+350.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 34943 60 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220496 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+360.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 35943 61 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+370.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 36942 61 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220292 134540530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+380.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 37942 62 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220356 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+390.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 38941 62 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+400.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 39941 63 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220480 134592340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+410.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16103 0 0 0 40941 64 0 0 25 0 1 0 755350842 69918720 16048 4294967295 134512640 134714540 3221221776 3221220424 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17070 16048 1111 63 0 17007 0
vsize: 68280
[startup+420.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16124 0 0 0 41940 64 0 0 25 0 1 0 755350842 70057984 16069 4294967295 134512640 134714540 3221221776 3221220384 134538828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17104 16069 1111 63 0 17041 0
vsize: 68416
[startup+430.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16155 0 0 0 42939 65 0 0 25 0 1 0 755350842 70193152 16100 4294967295 134512640 134714540 3221221776 3221220156 1077379848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17137 16100 1111 63 0 17074 0
vsize: 68548
[startup+440.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16155 0 0 0 43939 66 0 0 25 0 1 0 755350842 70025216 16081 4294967295 134512640 134714540 3221221776 3221220304 134540176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16081 1111 63 0 17033 0
vsize: 68384
[startup+450.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16155 0 0 0 44938 66 0 0 25 0 1 0 755350842 70025216 16081 4294967295 134512640 134714540 3221221776 3221220368 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16081 1111 63 0 17033 0
vsize: 68384
[startup+460.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16155 0 0 0 45938 67 0 0 25 0 1 0 755350842 70025216 16081 4294967295 134512640 134714540 3221221776 3221220476 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17096 16081 1111 63 0 17033 0
vsize: 68384
[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16155 0 0 0 46938 67 0 0 25 0 1 0 755350842 69951488 16063 4294967295 134512640 134714540 3221221776 3221220352 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17078 16063 1111 63 0 17015 0
vsize: 68312
[startup+480.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 47937 68 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220368 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 48937 69 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220404 1077374568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+500.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 49936 69 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220384 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+510.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 50936 70 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220496 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+520.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 51935 71 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220484 134603388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 52935 71 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220480 134603682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 53935 71 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220484 134603388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+550.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 54934 72 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220368 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+560.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 55934 73 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220368 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 56934 73 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220396 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+580.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 57933 74 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220568 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+590.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 58932 75 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220304 134540332 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+600.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 59932 75 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220312 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+610.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 60931 76 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220384 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+620.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 61931 77 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220028 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+630.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 62930 77 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220288 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+640.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 63930 78 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220368 134535468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+650.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 64929 79 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220308 134542296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+660.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 65928 80 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+670.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 66928 81 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220496 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+680.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 67927 81 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220384 134535017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+690.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16188 0 0 0 68927 82 0 0 25 0 1 0 755350842 70086656 16096 4294967295 134512640 134714540 3221221776 3221220376 134523385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17111 16096 1111 63 0 17048 0
vsize: 68444
[startup+700.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16206 0 0 0 69926 83 0 0 25 0 1 0 755350842 70123520 16106 4294967295 134512640 134714540 3221221776 3221220476 134535530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17120 16106 1111 63 0 17057 0
vsize: 68480
[startup+710.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16232 0 0 0 70926 83 0 0 25 0 1 0 755350842 70258688 16132 4294967295 134512640 134714540 3221221776 3221220304 134540492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17153 16132 1111 63 0 17090 0
vsize: 68612
[startup+720.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16232 0 0 0 71925 84 0 0 25 0 1 0 755350842 70258688 16132 4294967295 134512640 134714540 3221221776 3221220296 1077377368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17153 16132 1111 63 0 17090 0
vsize: 68612
[startup+730.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16232 0 0 0 72925 85 0 0 25 0 1 0 755350842 70258688 16132 4294967295 134512640 134714540 3221221776 3221220220 1076647871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17153 16132 1111 63 0 17090 0
vsize: 68612
[startup+740.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16267 0 0 0 73924 86 0 0 25 0 1 0 755350842 70438912 16167 4294967295 134512640 134714540 3221221776 3221220352 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17197 16167 1111 63 0 17134 0
vsize: 68788
[startup+750.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16267 0 0 0 74924 86 0 0 25 0 1 0 755350842 70430720 16167 4294967295 134512640 134714540 3221221776 3221220476 134535534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17195 16167 1111 63 0 17132 0
vsize: 68780
[startup+760.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16267 0 0 0 75923 87 0 0 25 0 1 0 755350842 70430720 16167 4294967295 134512640 134714540 3221221776 3221220028 1077379851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17195 16167 1111 63 0 17132 0
vsize: 68780
[startup+770.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16267 0 0 0 76922 88 0 0 25 0 1 0 755350842 70430720 16167 4294967295 134512640 134714540 3221221776 3221220352 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17195 16167 1111 63 0 17132 0
vsize: 68780
[startup+780.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16267 0 0 0 77921 90 0 0 25 0 1 0 755350842 70430720 16167 4294967295 134512640 134714540 3221221776 3221220480 134592421 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17195 16167 1111 63 0 17132 0
vsize: 68780
[startup+790.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16267 0 0 0 78921 90 0 0 25 0 1 0 755350842 70430720 16167 4294967295 134512640 134714540 3221221776 3221220352 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17195 16167 1111 63 0 17132 0
vsize: 68780
[startup+800.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16267 0 0 0 79921 90 0 0 25 0 1 0 755350842 70430720 16167 4294967295 134512640 134714540 3221221776 3221220368 134538785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17195 16167 1111 63 0 17132 0
vsize: 68780
[startup+810.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 80920 91 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220400 134594364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+820.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 81920 91 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220488 134673069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+830.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 82919 92 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220372 134524197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+840.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 83918 93 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+850.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 84918 94 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220368 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+860.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 85917 95 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220312 1077377725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+870.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 86916 96 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220536 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+880.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 87916 96 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220352 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+890.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 88916 97 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220368 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+900.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 89915 98 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220424 1077374433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+910.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 90914 99 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+920.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 91914 99 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220312 134542289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+930.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 92913 100 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220296 1077378384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+940.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 93913 100 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220288 134540324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+950.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 94913 101 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220156 1077379918 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+960.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 95912 102 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220424 1077374435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+970.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 96911 102 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220476 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+980.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 97911 103 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220476 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+990.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 98911 103 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220328 134543638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 99910 104 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220464 134558518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 100909 105 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 101909 106 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220028 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 102909 106 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 103908 107 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220228 1077374568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 104908 107 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220388 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 105907 108 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220028 1077379944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 106907 109 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220368 134613442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 107906 109 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220440 134591888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 108906 110 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220408 134524426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 109906 110 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220336 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 110905 111 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220420 134524465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 111904 112 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 112904 113 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 113903 114 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 114903 114 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220368 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 115902 115 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220368 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 116902 116 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220384 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 68912
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 5037
Raw data (stat): 5037 (bsolo_mis) R 5036 7876 7672 0 -1 0 16307 0 0 0 116902 116 0 0 25 0 1 0 755350842 70565888 16207 4294967295 134512640 134714540 3221221776 3221220384 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17228 16207 1111 63 0 17165 0
vsize: 0

Child status: 10
Real time (s): 1174.94
CPU time (s): 1175.07
CPU user time (s): 1173.87
CPU system time (s): 1.20482
CPU usage (%): 100.012
Max. virtual memory (Kb): 68912
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1834
#### END VERIFIER DATA ####