0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/354739-1176723648/instance-354739-1176723648.opb
0.00/0.00	c File size is 9972193 bytes.
1.79/1.86	c Highest Coefficient sum: 5203
1.79/1.86	c Parsing was ok!!
1.79/1.86	c Total parsing time: 1.865 s
1.79/1.88	c Var: 5203 Constr: 19637 19637/0/0 Lit: 1117990 Watch. Lit: 39274
1.79/1.88	c Obj. Vars: 5203 (100 % of total variables)
23.09/23.20	c Formula reductions applied at preprocessing
23.19/23.20	c Pre-processing Time: 23.19 s
61.26/61.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.26/61.36	c        0   5039    19063  1097921   57    38126    6354      0      0 23.19
61.26/61.36	c Initial Lower Bound: 40
61.26/61.36	c Initial Path Cost: 0
61.36/61.43	o 89	61.399
611.67/611.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
611.67/611.96	c        2   5039    19066  1103221   57    43082    7354      3      0 61.40
611.67/611.96	o 60	611.741 * 
1594.42/1595.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1594.42/1595.16	c        3   5039    19068  1108377   58    48065    7354      5      0 611.74
1594.42/1595.16	c      103   5039    19266  1165151   60    48461    8090    203      0 1228.19
1594.42/1595.16	o 57	1594.5 * 
1800.06/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.80	c      103   5039    19267  1170190   60    53445    7354    204      0 1594.50
1800.06/1800.80	c Caught signal: 15
1800.06/1800.80	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
1800.06/1800.80	v -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
1800.06/1800.80	v -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
1800.06/1800.80	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.06/1800.80	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.06/1800.80	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.06/1800.80	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.06/1800.80	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.06/1800.80	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.06/1800.80	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.06/1800.80	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.06/1800.80	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.06/1800.80	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.06/1800.80	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.06/1800.80	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.06/1800.80	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.06/1800.80	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.06/1800.80	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.06/1800.80	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419
1800.06/1800.80	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.06/1800.80	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.06/1800.80	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.06/1800.80	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.06/1800.80	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524
1800.06/1800.80	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.06/1800.80	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.06/1800.80	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.06/1800.80	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.06/1800.80	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629
1800.06/1800.80	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.06/1800.80	v -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.06/1800.80	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.06/1800.80	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713
1800.06/1800.80	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.06/1800.80	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.06/1800.80	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.06/1800.80	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.06/1800.80	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.06/1800.80	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.06/1800.80	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.06/1800.80	v -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881
1800.06/1800.80	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.06/1800.80	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.06/1800.80	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.06/1800.80	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.06/1800.80	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.06/1800.80	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.06/1800.80	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.06/1800.80	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.06/1800.80	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.06/1800.80	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1800.06/1800.80	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1800.06/1800.80	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1800.06/1800.80	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1800.06/1800.80	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
1800.06/1800.80	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158
1800.06/1800.80	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
1800.06/1800.80	v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
1800.06/1800.80	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209
1800.06/1800.80	v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226
1800.06/1800.80	v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
1800.06/1800.80	v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
1800.06/1800.80	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277
1800.06/1800.80	v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1800.06/1800.80	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
1800.06/1800.80	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328
1800.06/1800.80	v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345
1800.06/1800.80	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362
1800.06/1800.80	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.06/1800.80	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396
1800.06/1800.80	v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413
1800.06/1800.80	v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
1800.06/1800.80	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447
1800.06/1800.80	v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464
1800.06/1800.80	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
1800.06/1800.80	v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498
1800.06/1800.80	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515
1800.06/1800.80	v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532
1800.06/1800.80	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549
1800.06/1800.80	v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566
1800.06/1800.80	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583
1800.06/1800.80	v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600
1800.06/1800.80	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
1800.06/1800.80	v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634
1800.06/1800.80	v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651
1800.06/1800.80	v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668
1800.06/1800.80	v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685
1800.06/1800.80	v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702
1800.06/1800.80	v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719
1800.06/1800.80	v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736
1800.06/1800.80	v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753
1800.06/1800.80	v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
1800.06/1800.80	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787
1800.06/1800.80	v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804
1800.06/1800.80	v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
1800.06/1800.80	v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838
1800.06/1800.80	v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
1800.06/1800.80	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1800.06/1800.80	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889
1800.06/1800.80	v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906
1800.06/1800.80	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923
1800.06/1800.80	v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
1800.06/1800.80	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957
1800.06/1800.80	v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974
1800.06/1800.80	v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991
1800.06/1800.80	v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
1800.06/1800.80	v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
1800.06/1800.80	v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042
1800.06/1800.80	v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059
1800.06/1800.80	v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076
1800.06/1800.80	v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093
1800.06/1800.80	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
1800.06/1800.80	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127
1800.06/1800.80	v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144
1800.06/1800.80	v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161
1800.06/1800.80	v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178
1800.06/1800.80	v -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195
1800.06/1800.80	v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212
1800.06/1800.80	v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229
1800.06/1800.80	v -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246
1800.06/1800.80	v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263
1800.06/1800.80	v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
1800.06/1800.80	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297
1800.06/1800.80	v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314
1800.06/1800.80	v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331
1800.06/1800.80	v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348
1800.06/1800.80	v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365
1800.06/1800.80	v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382
1800.06/1800.80	v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399
1800.06/1800.80	v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416
1800.06/1800.80	v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433
1800.06/1800.80	v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 x2450
1800.06/1800.80	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467
1800.06/1800.80	v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484
1800.06/1800.80	v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501
1800.06/1800.80	v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518
1800.06/1800.80	v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535
1800.06/1800.80	v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552
1800.06/1800.80	v -x2553 -x2554 -x2555 x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569
1800.06/1800.80	v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586
1800.06/1800.80	v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603
1800.06/1800.80	v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
1800.06/1800.80	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637
1800.06/1800.80	v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654
1800.06/1800.80	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671
1800.06/1800.80	v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688
1800.06/1800.80	v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705
1800.06/1800.80	v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722
1800.06/1800.80	v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739
1800.06/1800.80	v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756
1800.06/1800.80	v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2773
1800.06/1800.80	v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
1800.06/1800.80	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 x2803 -x2804 -x2805 -x2806 -x2807
1800.06/1800.80	v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824
1800.06/1800.80	v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841
1800.06/1800.80	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858
1800.06/1800.80	v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875
1800.06/1800.80	v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892
1800.06/1800.80	v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909
1800.06/1800.80	v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926
1800.06/1800.80	v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943
1800.06/1800.80	v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
1800.06/1800.80	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977
1800.06/1800.80	v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994
1800.06/1800.80	v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011
1800.06/1800.80	v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028
1800.06/1800.80	v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045
1800.06/1800.80	v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062
1800.06/1800.80	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079
1800.06/1800.80	v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096
1800.06/1800.80	v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113
1800.06/1800.80	v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
1800.06/1800.80	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 x3146 -x3147
1800.06/1800.80	v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164
1800.06/1800.80	v -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181
1800.06/1800.80	v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198
1800.06/1800.80	v -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215
1800.06/1800.80	v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232
1800.06/1800.80	v -x3233 -x3234 -x3235 x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249
1800.06/1800.80	v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266
1800.06/1800.80	v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283
1800.06/1800.80	v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
1800.06/1800.80	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317
1800.06/1800.80	v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334
1800.06/1800.80	v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351
1800.06/1800.80	v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368
1800.06/1800.80	v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385
1800.06/1800.80	v -x3386 x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402
1800.06/1800.80	v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419
1800.06/1800.80	v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436
1800.06/1800.80	v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453
1800.06/1800.80	v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
1800.06/1800.80	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487
1800.06/1800.80	v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504
1800.06/1800.80	v -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521
1800.06/1800.80	v -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538
1800.06/1800.80	v -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555
1800.06/1800.80	v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572
1800.06/1800.80	v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589
1800.06/1800.80	v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606
1800.06/1800.80	v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623
1800.06/1800.80	v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
1800.06/1800.80	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 x3653 -x3654 -x3655 -x3656 -x3657
1800.06/1800.80	v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674
1800.06/1800.80	v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691
1800.06/1800.80	v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708
1800.06/1800.80	v -x3709 -x3710 x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725
1800.06/1800.80	v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740 -x3741 -x3742
1800.06/1800.80	v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759
1800.06/1800.80	v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776
1800.06/1800.80	v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793
1800.06/1800.80	v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
1800.06/1800.80	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827
1800.06/1800.80	v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844
1800.06/1800.80	v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861
1800.06/1800.80	v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878
1800.06/1800.80	v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895
1800.06/1800.80	v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912
1800.06/1800.80	v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929
1800.06/1800.80	v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946
1800.06/1800.80	v -x3947 -x3948 -x3949 x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963
1800.06/1800.80	v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
1800.06/1800.80	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 x3993 -x3994 -x3995 -x3996 -x3997
1800.06/1800.80	v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014
1800.06/1800.80	v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031
1800.06/1800.80	v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048
1800.06/1800.80	v -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065
1800.06/1800.80	v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082
1800.06/1800.80	v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099
1800.06/1800.80	v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116
1800.06/1800.80	v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133
1800.06/1800.80	v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
1800.06/1800.80	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167
1800.06/1800.80	v -x4168 -x4169 x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184
1800.06/1800.80	v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 x4197 -x4198 -x4199 -x4200 -x4201
1800.06/1800.80	v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218
1800.06/1800.80	v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235
1800.06/1800.80	v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 x4250 -x4251 -x4252
1800.06/1800.80	v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269
1800.06/1800.80	v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286
1800.06/1800.80	v -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303
1800.06/1800.80	v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320
1800.06/1800.80	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337
1800.06/1800.80	v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354
1800.06/1800.80	v -x4355 -x4356 -x4357 -x4358 -x4359 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371
1800.06/1800.80	v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388
1800.06/1800.80	v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405
1800.06/1800.80	v -x4406 x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422
1800.06/1800.80	v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439
1800.06/1800.80	v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456
1800.06/1800.80	v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473
1800.06/1800.80	v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490
1800.06/1800.80	v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507
1800.06/1800.80	v -x4508 -x4509 -x4510 -x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524
1800.06/1800.80	v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541
1800.06/1800.80	v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558
1800.06/1800.80	v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575
1800.06/1800.80	v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592
1800.06/1800.80	v -x4593 -x4594 -x4595 -x4596 -x4597 x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609
1800.06/1800.80	v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626
1800.06/1800.80	v -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643
1800.06/1800.80	v -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660
1800.06/1800.80	v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 x4674 -x4675 -x4676 -x4677
1800.06/1800.80	v -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694
1800.06/1800.80	v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711
1800.06/1800.80	v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 x4723 -x4724 -x4725 -x4726 -x4727 -x4728
1800.06/1800.80	v -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745
1800.06/1800.80	v -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762
1800.06/1800.80	v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779
1800.06/1800.80	v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796
1800.06/1800.80	v -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813
1800.06/1800.80	v -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830
1800.06/1800.80	v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847
1800.06/1800.80	v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864
1800.06/1800.80	v -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 x4881 -x4882
1800.06/1800.80	v -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899
1800.06/1800.80	v -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 x4915 -x4916
1800.06/1800.80	v -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933
1800.06/1800.80	v -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950
1800.06/1800.80	v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967
1800.06/1800.80	v -x4968 x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984
1800.06/1800.80	v -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001
1800.06/1800.80	v -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018
1800.06/1800.80	v -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035
1800.06/1800.80	v -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052
1800.06/1800.80	v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069
1800.06/1800.80	v -x5070 -x5071 x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086
1800.06/1800.80	v -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103
1800.06/1800.80	v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120
1800.06/1800.80	v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137
1800.06/1800.80	v -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154
1800.06/1800.80	v -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171
1800.06/1800.80	v -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188
1800.06/1800.80	v -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203
1800.06/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.80	c    4      103      4     5239    19267  1170190    204      0 1800.07
1800.06/1800.80	c Objective: 57
1800.06/1800.80	s SATISFIABLE
1800.06/1800.80	c Total time: 1800.07 s

OK	57

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node69/watcher-354739-1176723648 -o ROOT/results/node69/solver-354739-1176723648 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354739-1176723648/instance-354739-1176723648.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 8333
/proc/meminfo: memFree=1856900/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=21476 CPUtime=0
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 148354221 21991424 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 5369 335 281 324 0 2003 0

[startup+0.0542631 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 8333
/proc/meminfo: memFree=1856900/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=14412 CPUtime=0.05
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 612 0 0 0 5 0 0 0 18 0 1 0 148354221 14757888 580 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 3603 580 347 324 0 237 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14412

[startup+0.101269 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 8333
/proc/meminfo: memFree=1856900/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=14812 CPUtime=0.09
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 774 0 0 0 9 0 0 0 18 0 1 0 148354221 15167488 742 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 3703 743 408 324 0 337 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14812

[startup+0.301301 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 8333
/proc/meminfo: memFree=1856900/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=16504 CPUtime=0.29
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 1455 0 0 0 29 0 0 0 19 0 1 0 148354221 16900096 1423 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 4126 1423 670 324 0 760 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16504

[startup+0.701365 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 8333
/proc/meminfo: memFree=1856900/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=19876 CPUtime=0.69
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 2819 0 0 0 69 0 0 0 22 0 1 0 148354221 20353024 2787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 4969 2788 1193 324 0 1603 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19876

[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 8334
/proc/meminfo: memFree=1847932/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=26492 CPUtime=1.49
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 5534 0 0 0 148 1 0 0 25 0 1 0 148354221 27127808 5502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 6623 5502 2238 324 0 3257 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26492

[startup+3.10176 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 8334
/proc/meminfo: memFree=1821500/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=38728 CPUtime=3.09
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 11510 0 0 0 306 3 0 0 25 0 1 0 148354221 39657472 9043 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134545517 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 9682 9043 307 324 0 8751 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38728

[startup+6.30128 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 8334
/proc/meminfo: memFree=1821508/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=38728 CPUtime=6.29
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 11510 0 0 0 625 4 0 0 25 0 1 0 148354221 39657472 9043 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 9682 9043 307 324 0 8751 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38728

[startup+12.7013 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 8334
/proc/meminfo: memFree=1822420/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=38104 CPUtime=12.68
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 15706 0 0 0 1262 6 0 0 25 0 1 0 148354221 39018496 8877 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 9526 8877 307 324 0 8595 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38104

[startup+25.5014 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 8334
/proc/meminfo: memFree=1822164/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=38104 CPUtime=25.48
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 15729 0 2 0 2539 9 0 0 25 0 1 0 148354221 39018496 8902 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135468271 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 9526 8902 332 324 0 8595 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38104

[startup+51.1016 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 8334
/proc/meminfo: memFree=1806356/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=64596 CPUtime=51.06
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 2231464 0 2 0 4173 933 0 0 25 0 1 0 148354221 66146304 12531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135468006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 16149 12536 332 324 0 15218 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 64596

[startup+102.306 s]
/proc/loadavg: 1.05 1.02 1.00 2/65 8334
/proc/meminfo: memFree=1793556/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=84076 CPUtime=102.25
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 2361837 0 2 0 9229 996 0 0 25 0 1 0 148354221 86093824 15260 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694903 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 21019 15260 393 324 0 20088 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 84076

[startup+162.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 8334
/proc/meminfo: memFree=1792724/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=87324 CPUtime=162.22
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 2479868 0 2 0 15170 1052 0 0 25 0 1 0 148354221 89419776 15278 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135311596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 21831 15278 393 324 0 20900 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 87324

[startup+222.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 8334
/proc/meminfo: memFree=1793748/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=86396 CPUtime=222.2
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 2612470 0 2 0 21105 1115 0 0 25 0 1 0 148354221 88469504 15301 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135308658 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 21599 15301 393 324 0 20668 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 86396

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 8334
/proc/meminfo: memFree=1793428/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=87884 CPUtime=282.18
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 2759224 0 2 0 27033 1185 0 0 25 0 1 0 148354221 89993216 15568 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134948727 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 21971 15568 393 324 0 21040 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 87884

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8334
/proc/meminfo: memFree=1793812/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=84920 CPUtime=342.16
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 2895366 0 2 0 32965 1251 0 0 25 0 1 0 148354221 86958080 15249 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694903 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 21230 15249 393 324 0 20299 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 84920

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8334
/proc/meminfo: memFree=1794452/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=79588 CPUtime=402.15
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 3024870 0 2 0 38903 1312 0 0 25 0 1 0 148354221 81498112 14666 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694901 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 19897 14666 393 324 0 18966 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 79588

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8334
/proc/meminfo: memFree=1793812/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=85980 CPUtime=462.12
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 3179211 0 2 0 44829 1383 0 0 25 0 1 0 148354221 88043520 15261 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694901 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 21495 15261 393 324 0 20564 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 85980

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8334
/proc/meminfo: memFree=1793812/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=84344 CPUtime=522.1
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 3366868 0 2 0 50735 1475 0 0 25 0 1 0 148354221 86368256 15023 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135332419 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 21086 15023 393 324 0 20155 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 84344

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8334
/proc/meminfo: memFree=1796820/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=56612 CPUtime=582.08
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 3573450 0 2 0 56635 1573 0 0 25 0 1 0 148354221 57970688 13623 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134705758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 14153 13623 393 324 0 13222 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 56612

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8334
/proc/meminfo: memFree=1793364/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=84916 CPUtime=642.06
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 3829301 0 2 0 62512 1694 0 0 25 0 1 0 148354221 86953984 15244 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135323338 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 21229 15244 393 324 0 20298 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 84916


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8334
/proc/meminfo: memFree=1793236/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=92024 CPUtime=822
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 4173647 0 2 0 80334 1866 0 0 25 0 1 0 148354221 94232576 15140 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135330274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 23006 15140 393 324 0 22075 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 92024

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8334
/proc/meminfo: memFree=1795220/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=90460 CPUtime=881.98
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 4333358 0 2 0 86250 1948 0 0 25 0 1 0 148354221 92631040 14971 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135332201 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 22615 14971 393 324 0 21684 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 90460

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8334
/proc/meminfo: memFree=1793748/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=74320 CPUtime=941.95
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 4509376 0 2 0 92160 2035 0 0 25 0 1 0 148354221 76103680 14428 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135266322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 18580 14428 393 324 0 17649 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 74320

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8334
/proc/meminfo: memFree=1793940/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=87144 CPUtime=1001.94
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 4713429 0 2 0 98061 2133 0 0 25 0 1 0 148354221 89235456 15236 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135332375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 21786 15236 393 324 0 20855 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 87144

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8334
/proc/meminfo: memFree=1795220/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=80900 CPUtime=1061.92
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 4933890 0 2 0 103957 2235 0 0 25 0 1 0 148354221 82841600 14443 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690029 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 20225 14443 393 324 0 19294 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 80900

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8334
/proc/meminfo: memFree=1794068/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=79376 CPUtime=1121.9
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 5139384 0 2 0 109856 2334 0 0 25 0 1 0 148354221 81281024 14676 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331976 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 19844 14676 393 324 0 18913 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 79376

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8334
/proc/meminfo: memFree=1794772/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=79788 CPUtime=1181.87
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 5337235 0 2 0 115760 2427 0 0 25 0 1 0 148354221 81702912 14415 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134690034 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 19947 14415 393 324 0 19016 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 79788

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 8498
/proc/meminfo: memFree=1793812/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=81700 CPUtime=1241.77
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 5469378 0 2 0 121675 2502 0 0 25 0 1 0 148354221 83660800 15035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694906 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 20425 15035 393 324 0 19494 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 81700

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8532
/proc/meminfo: memFree=1793236/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=87336 CPUtime=1301.73
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 5574334 0 2 0 127621 2552 0 0 25 0 1 0 148354221 89432064 15165 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694901 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 21834 15165 393 324 0 20903 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 87336

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8532
/proc/meminfo: memFree=1793492/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=96812 CPUtime=1361.7
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 5691273 0 2 0 133558 2612 0 0 25 0 1 0 148354221 99135488 15328 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331976 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 24203 15328 393 324 0 23272 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 96812

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8532
/proc/meminfo: memFree=1791380/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=99944 CPUtime=1421.68
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 5857597 0 2 0 139475 2693 0 0 25 0 1 0 148354221 102342656 15741 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135244599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 24986 15741 393 324 0 24055 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 99944

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8532
/proc/meminfo: memFree=1799252/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=83564 CPUtime=1481.66
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 6021613 0 2 0 145393 2773 0 0 25 0 1 0 148354221 85569536 14930 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694914 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 20891 14930 393 324 0 19960 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 83564

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8532
/proc/meminfo: memFree=1795924/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=79348 CPUtime=1541.64
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 6216932 0 2 0 151298 2866 0 0 25 0 1 0 148354221 81252352 14657 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694847 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 19837 14657 393 324 0 18906 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 79348

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8532
/proc/meminfo: memFree=1793620/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=86376 CPUtime=1601.62
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 6535376 0 2 0 157146 3016 0 0 25 0 1 0 148354221 88449024 14906 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135323314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 21594 14906 393 324 0 20663 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 86376

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8532
/proc/meminfo: memFree=1794388/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=87496 CPUtime=1661.6
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 6634221 0 2 0 163097 3063 0 0 25 0 1 0 148354221 89595904 15070 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134694903 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 21874 15070 393 324 0 20943 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 87496

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8532
/proc/meminfo: memFree=1793364/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=86244 CPUtime=1721.58
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 6739276 0 2 0 169039 3119 0 0 25 0 1 0 148354221 88313856 15115 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135324485 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 21561 15115 393 324 0 20630 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 86244

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8532
/proc/meminfo: memFree=1793620/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=92008 CPUtime=1781.55
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 6842252 0 2 0 174984 3171 0 0 25 0 1 0 148354221 94216192 15352 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135331935 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 23002 15352 393 324 0 22071 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 92008



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8532
/proc/meminfo: memFree=1793364/2055920 swapFree=4183812/4192956
[pid=8333] ppid=8331 vsize=90084 CPUtime=1800.06
/proc/8333/stat : 8333 (bsolo3.0.16) R 8331 8333 7755 0 -1 4194304 6877840 0 2 0 176816 3190 0 0 25 0 1 0 148354221 92246016 15121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135184782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8333/statm: 22521 15121 393 324 0 21590 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 90084

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

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

Child status: 15
Real time (s): 1800.82
CPU time (s): 1800.08
CPU user time (s): 1768.17
CPU system time (s): 31.9111
CPU usage (%): 99.9588
Max. virtual memory (cumulated for all children) (KiB): 108184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.17
system time used= 31.9111
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6877841
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 2721

runsolver used 1.2948 second user time and 3.69144 second system time

The end

Begin job on node69 on Mon Apr 16 11:40:48 UTC 2007

IDJOB= 354739
IDBENCH= 2889
IDSOLVER= 163
FILE ID= node69/354739-1176723648

PBS_JOBID= 4559468

Free space on /tmp= 66521 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354739-1176723648/instance-354739-1176723648.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-354739-1176723648 -o ROOT/results/node69/solver-354739-1176723648 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354739-1176723648/instance-354739-1176723648.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  0b80319f4195f1e1329c2c4b63b416b0

RANDOM SEED= 273425942

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1857308 kB
Buffers:          5436 kB
Cached:         148256 kB
SwapCached:       2980 kB
Active:          43628 kB
Inactive:       120028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1857308 kB
SwapTotal:     4192956 kB
SwapFree:      4183812 kB
Dirty:           14120 kB
Writeback:           0 kB
Mapped:          15924 kB
Slab:            20940 kB
Committed_AS:  1408832 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66521 MiB

End job on node69 on Mon Apr 16 12:10:51 UTC 2007