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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUM09c7b63b87fdc5a38ccb26d9b87fe2d9
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 119
Optimality of the best value was proved NO
Number of terms in the objective function 6140
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6140
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6140
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1175.07
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint172

Trace number 23509 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 10:59:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=660 boxname=wulflinc31 idbench=74 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  09c7b63b87fdc5a38ccb26d9b87fe2d9  /oldhome/oroussel/tmp/wulflinc31/normalized-test4.pi.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-test4.pi.opb
IDLAUNCH: 660
/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:        912116 kB
Buffers:         41928 kB
Cached:          58108 kB
SwapCached:        944 kB
Active:          83620 kB
Inactive:        18880 kB
HighTotal:      131008 kB
HighFree:        71960 kB
LowTotal:       903652 kB
LowFree:        840156 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14420 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 11:19:20 (client local time) WITH STATUS 10 IN 1175.07 SECONDS
stats: 660 0 1175.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 6140 variables and 1437 constraints.
c After prepocess the problem consists of 6140 variables and 1435 constraints.
c preprocess terminated 15.655 s
c Initial Lower Bound: 50
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 156 @ 46.391
c NEW SOLUTION FOUND: 155 @ 46.409
c NEW SOLUTION FOUND: 154 @ 46.488
c NEW SOLUTION FOUND: 153 @ 46.583
c NEW SOLUTION FOUND: 152 @ 49.032
c NEW SOLUTION FOUND: 151 @ 58.022
c NEW SOLUTION FOUND: 150 @ 63.992
c NEW SOLUTION FOUND: 149 @ 227.374
c NEW SOLUTION FOUND: 148 @ 689.608
c NEW SOLUTION FOUND: 147 @ 794.023
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 x3350 -x3351 x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 x4108 -x4109 -x4110 x4111 x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 x4616 x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 x5677 x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 x5769 x5770 -x5771 x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 
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.93 0.98 0.99 2/54 11298
Raw data (stat): 11298 (runsolver) R 11297 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 656867744 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 11298
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 3545 0 0 0 982 15 0 0 25 0 1 0 656867744 18235392 3507 4294967295 134512640 134714540 3221221792 3221220272 134539429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4452 3507 1111 63 0 4389 0
vsize: 17808
[startup+20.0187 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 11298
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 3862 0 0 0 1982 16 0 0 25 0 1 0 656867744 19554304 3824 4294967295 134512640 134714540 3221221792 3221220488 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4774 3824 1111 63 0 4711 0
vsize: 19096
[startup+30.1261 s]
Raw data (loadavg): 1.18 1.03 1.01 3/57 11339
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 4058 0 0 0 2991 18 0 0 25 0 1 0 656867744 20365312 4020 4294967295 134512640 134714540 3221221792 3221220512 134625099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4972 4020 1111 63 0 4909 0
vsize: 19888
[startup+40.1262 s]
Raw data (loadavg): 1.15 1.03 1.01 2/58 11341
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 4932 0 0 0 3990 19 0 0 25 0 1 0 656867744 24018944 4894 4294967295 134512640 134714540 3221221792 3221220488 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5864 4894 1111 63 0 5801 0
vsize: 23456
[startup+50.4793 s]
Raw data (loadavg): 1.28 1.06 1.02 3/58 11348
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9135 0 0 0 4999 29 0 0 25 0 1 0 656867744 41508864 9084 4294967295 134512640 134714540 3221221792 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10134 9084 1111 63 0 10071 0
vsize: 40536
[startup+60.6905 s]
Raw data (loadavg): 1.31 1.08 1.02 2/54 11351
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9225 0 0 0 6019 30 0 0 25 0 1 0 656867744 41922560 9174 4294967295 134512640 134714540 3221221792 3221220536 134558593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10235 9174 1111 63 0 10172 0
vsize: 40940
[startup+70.6921 s]
Raw data (loadavg): 1.26 1.07 1.02 2/54 11351
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9242 0 0 0 7007 31 0 0 25 0 1 0 656867744 41922560 9191 4294967295 134512640 134714540 3221221792 3221220028 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10235 9191 1111 63 0 10172 0
vsize: 40940
[startup+81.0348 s]
Raw data (loadavg): 1.22 1.07 1.02 2/54 11351
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9276 0 0 0 8041 32 0 0 25 0 1 0 656867744 42065920 9225 4294967295 134512640 134714540 3221221792 3221220292 134696726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10270 9225 1111 63 0 10207 0
vsize: 41080
[startup+91.0348 s]
Raw data (loadavg): 1.19 1.07 1.02 2/54 11351
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9368 0 0 0 9040 33 0 0 25 0 1 0 656867744 42463232 9317 4294967295 134512640 134714540 3221221792 3221220552 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10367 9317 1111 63 0 10304 0
vsize: 41468
[startup+101.036 s]
Raw data (loadavg): 1.16 1.06 1.02 2/54 11351
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9368 0 0 0 10039 34 0 0 25 0 1 0 656867744 42369024 9306 4294967295 134512640 134714540 3221221792 3221220376 1077377797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10344 9306 1111 63 0 10281 0
vsize: 41376
[startup+111.037 s]
Raw data (loadavg): 1.13 1.06 1.02 2/54 11351
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9368 0 0 0 11039 34 0 0 25 0 1 0 656867744 42369024 9306 4294967295 134512640 134714540 3221221792 3221220276 1077374550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10344 9306 1111 63 0 10281 0
vsize: 41376
[startup+121.038 s]
Raw data (loadavg): 1.11 1.06 1.02 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9371 0 0 0 12038 35 0 0 25 0 1 0 656867744 42475520 9309 4294967295 134512640 134714540 3221221792 3221220512 134625095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10370 9309 1111 63 0 10307 0
vsize: 41480
[startup+131.039 s]
Raw data (loadavg): 1.10 1.06 1.02 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9390 0 0 0 13038 36 0 0 25 0 1 0 656867744 42475520 9328 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10370 9328 1111 63 0 10307 0
vsize: 41480
[startup+141.04 s]
Raw data (loadavg): 1.08 1.05 1.02 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9390 0 0 0 14037 37 0 0 25 0 1 0 656867744 42475520 9328 4294967295 134512640 134714540 3221221792 3221220348 134535634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10370 9328 1111 63 0 10307 0
vsize: 41480
[startup+151.041 s]
Raw data (loadavg): 1.07 1.05 1.01 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9394 0 0 0 15037 38 0 0 25 0 1 0 656867744 42475520 9332 4294967295 134512640 134714540 3221221792 3221220028 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10370 9332 1111 63 0 10307 0
vsize: 41480
[startup+161.04 s]
Raw data (loadavg): 1.06 1.05 1.01 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9418 0 0 0 16036 38 0 0 25 0 1 0 656867744 42614784 9356 4294967295 134512640 134714540 3221221792 3221220328 1077377193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10404 9356 1111 63 0 10341 0
vsize: 41616
[startup+171.041 s]
Raw data (loadavg): 1.05 1.05 1.01 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9418 0 0 0 17036 39 0 0 25 0 1 0 656867744 42614784 9356 4294967295 134512640 134714540 3221221792 3221220212 1077374550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10404 9356 1111 63 0 10341 0
vsize: 41616
[startup+181.041 s]
Raw data (loadavg): 1.04 1.05 1.01 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9421 0 0 0 18035 40 0 0 25 0 1 0 656867744 42614784 9359 4294967295 134512640 134714540 3221221792 3221220384 134538819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10404 9359 1111 63 0 10341 0
vsize: 41616
[startup+191.042 s]
Raw data (loadavg): 1.03 1.04 1.01 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9424 0 0 0 19034 41 0 0 25 0 1 0 656867744 42614784 9362 4294967295 134512640 134714540 3221221792 3221220520 134543256 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10404 9362 1111 63 0 10341 0
vsize: 41616
[startup+201.043 s]
Raw data (loadavg): 1.03 1.04 1.01 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9424 0 0 0 20034 42 0 0 25 0 1 0 656867744 42614784 9362 4294967295 134512640 134714540 3221221792 3221220432 134534107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10404 9362 1111 63 0 10341 0
vsize: 41616
[startup+211.044 s]
Raw data (loadavg): 1.02 1.04 1.01 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9424 0 0 0 21033 42 0 0 25 0 1 0 656867744 42614784 9362 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10404 9362 1111 63 0 10341 0
vsize: 41616
[startup+221.045 s]
Raw data (loadavg): 1.02 1.04 1.01 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9424 0 0 0 22033 43 0 0 25 0 1 0 656867744 42614784 9362 4294967295 134512640 134714540 3221221792 3221220436 1076648096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10404 9362 1111 63 0 10341 0
vsize: 41616
[startup+231.045 s]
Raw data (loadavg): 1.02 1.04 1.01 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9424 0 0 0 23032 43 0 0 25 0 1 0 656867744 42614784 9362 4294967295 134512640 134714540 3221221792 3221220528 134604686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10404 9362 1111 63 0 10341 0
vsize: 41616
[startup+241.045 s]
Raw data (loadavg): 1.01 1.03 1.01 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9424 0 0 0 24031 44 0 0 25 0 1 0 656867744 42561536 9353 4294967295 134512640 134714540 3221221792 3221220456 134524391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10391 9353 1111 63 0 10328 0
vsize: 41564
[startup+251.046 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9424 0 0 0 25031 45 0 0 25 0 1 0 656867744 42561536 9353 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10391 9353 1111 63 0 10328 0
vsize: 41564
[startup+261.046 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9424 0 0 0 26030 46 0 0 25 0 1 0 656867744 42561536 9353 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10391 9353 1111 63 0 10328 0
vsize: 41564
[startup+271.047 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9424 0 0 0 27029 47 0 0 25 0 1 0 656867744 42561536 9353 4294967295 134512640 134714540 3221221792 3221220496 134592393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10391 9353 1111 63 0 10328 0
vsize: 41564
[startup+281.048 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9427 0 0 0 28028 48 0 0 25 0 1 0 656867744 42700800 9356 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10425 9356 1111 63 0 10362 0
vsize: 41700
[startup+291.048 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9436 0 0 0 29027 49 0 0 25 0 1 0 656867744 42700800 9365 4294967295 134512640 134714540 3221221792 3221220492 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10425 9365 1111 63 0 10362 0
vsize: 41700
[startup+301.049 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9448 0 0 0 30027 50 0 0 25 0 1 0 656867744 42700800 9377 4294967295 134512640 134714540 3221221792 3221220420 1077374528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10425 9377 1111 63 0 10362 0
vsize: 41700
[startup+311.05 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9500 0 0 0 31026 51 0 0 25 0 1 0 656867744 42971136 9429 4294967295 134512640 134714540 3221221792 3221220624 134623817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10491 9429 1111 63 0 10428 0
vsize: 41964
[startup+321.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9500 0 0 0 32026 52 0 0 25 0 1 0 656867744 42971136 9429 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10491 9429 1111 63 0 10428 0
vsize: 41964
[startup+331.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9500 0 0 0 33026 52 0 0 25 0 1 0 656867744 42971136 9429 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10491 9429 1111 63 0 10428 0
vsize: 41964
[startup+341.051 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9500 0 0 0 34025 53 0 0 25 0 1 0 656867744 42971136 9429 4294967295 134512640 134714540 3221221792 3221220512 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10491 9429 1111 63 0 10428 0
vsize: 41964
[startup+351.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9500 0 0 0 35024 54 0 0 25 0 1 0 656867744 42971136 9429 4294967295 134512640 134714540 3221221792 3221220492 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10491 9429 1111 63 0 10428 0
vsize: 41964
[startup+361.052 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 11353
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9534 0 0 0 36024 54 0 0 25 0 1 0 656867744 43114496 9463 4294967295 134512640 134714540 3221221792 3221220364 1076533124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10526 9463 1111 63 0 10463 0
vsize: 42104
[startup+371.053 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9534 0 0 0 37024 55 0 0 25 0 1 0 656867744 43114496 9463 4294967295 134512640 134714540 3221221792 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10526 9463 1111 63 0 10463 0
vsize: 42104
[startup+381.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9534 0 0 0 38023 55 0 0 25 0 1 0 656867744 43114496 9463 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10526 9463 1111 63 0 10463 0
vsize: 42104
[startup+391.054 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9534 0 0 0 39023 56 0 0 25 0 1 0 656867744 43114496 9463 4294967295 134512640 134714540 3221221792 3221220324 1077378607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10526 9463 1111 63 0 10463 0
vsize: 42104
[startup+401.055 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9534 0 0 0 40022 57 0 0 25 0 1 0 656867744 43114496 9463 4294967295 134512640 134714540 3221221792 3221220512 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10526 9463 1111 63 0 10463 0
vsize: 42104
[startup+411.055 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9534 0 0 0 41021 58 0 0 25 0 1 0 656867744 43114496 9463 4294967295 134512640 134714540 3221221792 3221220512 134556671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10526 9463 1111 63 0 10463 0
vsize: 42104
[startup+421.055 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9534 0 0 0 42021 59 0 0 25 0 1 0 656867744 43114496 9463 4294967295 134512640 134714540 3221221792 3221220368 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10526 9463 1111 63 0 10463 0
vsize: 42104
[startup+431.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9534 0 0 0 43020 59 0 0 25 0 1 0 656867744 43114496 9463 4294967295 134512640 134714540 3221221792 3221220620 134586908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10526 9463 1111 63 0 10463 0
vsize: 42104
[startup+441.056 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9534 0 0 0 44019 60 0 0 25 0 1 0 656867744 43114496 9463 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10526 9463 1111 63 0 10463 0
vsize: 42104
[startup+451.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9558 0 0 0 45019 61 0 0 25 0 1 0 656867744 43253760 9487 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9487 1111 63 0 10497 0
vsize: 42240
[startup+461.057 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9558 0 0 0 46018 62 0 0 25 0 1 0 656867744 43253760 9487 4294967295 134512640 134714540 3221221792 3221220528 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9487 1111 63 0 10497 0
vsize: 42240
[startup+471.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9558 0 0 0 47018 63 0 0 25 0 1 0 656867744 43253760 9487 4294967295 134512640 134714540 3221221792 3221220632 134623521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9487 1111 63 0 10497 0
vsize: 42240
[startup+481.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9558 0 0 0 48018 63 0 0 25 0 1 0 656867744 43253760 9487 4294967295 134512640 134714540 3221221792 3221220364 134535488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9487 1111 63 0 10497 0
vsize: 42240
[startup+491.058 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9558 0 0 0 49017 64 0 0 25 0 1 0 656867744 43253760 9487 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9487 1111 63 0 10497 0
vsize: 42240
[startup+501.059 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9558 0 0 0 50016 64 0 0 25 0 1 0 656867744 43253760 9487 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9487 1111 63 0 10497 0
vsize: 42240
[startup+511.06 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9558 0 0 0 51015 66 0 0 25 0 1 0 656867744 43253760 9487 4294967295 134512640 134714540 3221221792 3221220216 1077377771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9487 1111 63 0 10497 0
vsize: 42240
[startup+521.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9558 0 0 0 52015 66 0 0 25 0 1 0 656867744 43253760 9487 4294967295 134512640 134714540 3221221792 3221220512 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9487 1111 63 0 10497 0
vsize: 42240
[startup+531.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 53014 67 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220484 134558543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+541.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 54014 68 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220512 134625219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+551.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 55013 69 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+561.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 56013 69 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+571.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 57012 70 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220492 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+581.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 58011 71 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+591.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 59011 72 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220324 134540530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+601.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 60010 73 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+611.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 61010 73 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220540 134625044 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+621.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 62009 74 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+631.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 63008 75 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+641.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 64007 77 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220432 134527304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+651.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 65006 77 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220524 134543569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+661.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 66006 78 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+671.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 67005 79 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+681.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9572 0 0 0 68005 79 0 0 25 0 1 0 656867744 43253760 9501 4294967295 134512640 134714540 3221221792 3221220440 1077374433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9501 1111 63 0 10497 0
vsize: 42240
[startup+691.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 69004 80 0 0 25 0 1 0 656867744 43253760 9502 4294967295 134512640 134714540 3221221792 3221220384 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10560 9502 1111 63 0 10497 0
vsize: 42240
[startup+701.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 70003 81 0 0 25 0 1 0 656867744 43253760 9502 4294967295 134512640 134714540 3221221792 3221220216 1077377790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9502 1111 63 0 10497 0
vsize: 42240
[startup+711.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 71003 81 0 0 25 0 1 0 656867744 43253760 9502 4294967295 134512640 134714540 3221221792 3221220360 134613753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9502 1111 63 0 10497 0
vsize: 42240
[startup+721.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 72003 82 0 0 25 0 1 0 656867744 43253760 9502 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9502 1111 63 0 10497 0
vsize: 42240
[startup+731.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 73002 82 0 0 25 0 1 0 656867744 43253760 9502 4294967295 134512640 134714540 3221221792 3221220432 134540144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9502 1111 63 0 10497 0
vsize: 42240
[startup+741.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 74001 83 0 0 25 0 1 0 656867744 43253760 9502 4294967295 134512640 134714540 3221221792 3221220408 134535482 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9502 1111 63 0 10497 0
vsize: 42240
[startup+751.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 75002 83 0 0 25 0 1 0 656867744 43253760 9502 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9502 1111 63 0 10497 0
vsize: 42240
[startup+761.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 76001 84 0 0 25 0 1 0 656867744 43253760 9502 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9502 1111 63 0 10497 0
vsize: 42240
[startup+771.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 77001 85 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220088 1077378425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+781.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 78000 85 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220512 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+791.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 79000 86 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220524 134523384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+801.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 79999 86 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+811.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 80998 88 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220100 1077378730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+821.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 81997 89 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220376 1077377343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+831.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 82997 89 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+841.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 83997 90 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220512 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+851.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 84996 91 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+861.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 85996 91 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220300 1077374113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+871.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 86995 92 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220492 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+881.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 87995 92 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220448 134540324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+891.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 88994 93 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220440 1077374433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+901.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 89993 94 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220544 134604600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+911.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 90993 95 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220472 134524052 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+921.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 91992 96 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220348 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+931.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 92991 97 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220544 134604507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+941.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 93991 98 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+951.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 94990 98 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220500 134592078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+961.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 95990 99 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220332 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+971.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 96989 100 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220584 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+981.074 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 97988 101 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220372 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+991.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 98988 101 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220556 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1001.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 99987 102 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220640 134623830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1011.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 100986 104 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1021.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 101985 104 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1031.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 102985 105 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220528 134604547 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1041.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 103984 106 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220384 134613451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1051.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 104984 107 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220488 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1061.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 105983 108 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220312 1077378297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1071.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 106982 109 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220456 1077377790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1081.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 107981 110 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220504 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1091.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 108981 110 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220496 1077377147 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1101.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 109980 111 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220028 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1111.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 110980 111 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220384 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1121.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 111980 112 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1131.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 112979 113 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220492 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1141.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 113978 114 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220520 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1151.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 114979 114 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220432 134594387 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1161.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 115977 115 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1171.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 116977 115 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220384 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 42072
[startup+1175.22 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 11355
Raw data (stat): 11298 (bsolo_mis) R 11297 7876 7672 0 -1 0 9573 0 0 0 116977 115 0 0 25 0 1 0 656867744 43081728 9479 4294967295 134512640 134714540 3221221792 3221220384 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9479 1111 63 0 10455 0
vsize: 0

Child status: 10
Real time (s): 1175.22
CPU time (s): 1175.07
CPU user time (s): 1173.89
CPU system time (s): 1.17982
CPU usage (%): 99.9874
Max. virtual memory (Kb): 42240
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	147
#### END VERIFIER DATA ####