0.09/0.16	c 2012-05-28T12:52:26+0200
0.09/0.16	c arch = x86_64
0.09/0.16	c os = linux
0.09/0.16	c compiler = ghc 7.4
0.09/0.16	c packages:
0.09/0.16	c   OptDir-0.0.1
0.09/0.16	c   array-0.4.0.0
0.09/0.16	c   base-4.5.0.0
0.09/0.16	c   bytestring-0.9.2.1
0.09/0.16	c   containers-0.4.2.1
0.09/0.16	c   deepseq-1.3.0.0
0.09/0.16	c   mtl-2.1.1
0.09/0.16	c   old_locale-1.0.0.4
0.09/0.16	c   parse_dimacs-1.2
0.09/0.16	c   parsec-3.1.2
0.09/0.16	c   queue-0.1.2
0.09/0.16	c   stm-2.3
0.09/0.16	c   time-1.4
0.09/0.16	c command line = ["--pb","HOME/instance-3706071-1338202346.opb"]
0.09/0.16	c #vars 4235
0.09/0.16	c #constraints 4391
0.09/0.16	c Solving starts ...
6.68/6.74	c learnt constraints deletion: 7008 -> 3504
13.09/13.14	c learnt constraints deletion: 8445 -> 4223
17.58/17.63	c learnt constraints deletion: 8615 -> 4312
22.77/22.85	c learnt constraints deletion: 9269 -> 4657
31.26/31.35	c learnt constraints deletion: 10065 -> 5033
37.96/38.05	c learnt constraints deletion: 10676 -> 5355
46.46/46.50	c learnt constraints deletion: 10215 -> 5129
51.86/51.98	c learnt constraints deletion: 10577 -> 5289
59.46/59.57	c learnt constraints deletion: 11182 -> 5620
65.97/66.04	c learnt constraints deletion: 11274 -> 5667
74.86/74.91	c learnt constraints deletion: 12338 -> 6192
83.26/83.31	c learnt constraints deletion: 12709 -> 6391
90.46/90.51	c learnt constraints deletion: 11828 -> 5944
103.14/103.27	c learnt constraints deletion: 13181 -> 6663
120.24/120.31	c learnt constraints deletion: 13297 -> 6730
147.83/147.90	c learnt constraints deletion: 14721 -> 7524
158.52/158.65	c learnt constraints deletion: 13018 -> 6518
163.43/163.52	c solving time = 163.295s
163.43/163.52	c #decision = 762408
163.43/163.52	c #conflict = 104688
163.43/163.52	c #restart = 15
163.43/163.52	s SATISFIABLE
163.43/163.52	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10
163.43/163.52	v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20
163.43/163.52	v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
163.43/163.52	v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40
163.43/163.52	v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50
163.43/163.52	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
163.43/163.52	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70
163.43/163.52	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80
163.43/163.52	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
163.43/163.52	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
163.43/163.52	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
163.43/163.52	v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120
163.43/163.52	v -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
163.43/163.52	v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140
163.43/163.52	v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
163.43/163.52	v -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160
163.43/163.52	v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
163.43/163.52	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180
163.43/163.52	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
163.43/163.52	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
163.43/163.52	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
163.43/163.52	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
163.43/163.52	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
163.43/163.52	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
163.43/163.52	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
163.43/163.52	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
163.43/163.52	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
163.43/163.52	v -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
163.43/163.52	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
163.43/163.52	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
163.43/163.52	v -x301 -x302 -x303 x304 -x305 x306 -x307 -x308 -x309 -x310
163.43/163.52	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
163.43/163.52	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
163.43/163.52	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
163.43/163.52	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
163.43/163.52	v -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360
163.43/163.52	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
163.43/163.52	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
163.43/163.52	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
163.43/163.52	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
163.43/163.52	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
163.43/163.52	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
163.43/163.52	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430
163.43/163.52	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
163.43/163.52	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
163.43/163.52	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460
163.43/163.52	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
163.43/163.52	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
163.43/163.52	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
163.43/163.52	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
163.43/163.52	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510
163.43/163.52	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
163.43/163.52	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
163.43/163.52	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540
163.43/163.52	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
163.43/163.52	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560
163.43/163.52	v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
163.43/163.52	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
163.43/163.52	v -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
163.43/163.52	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
163.43/163.52	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
163.43/163.52	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
163.43/163.52	v x621 -x622 x623 -x624 x625 -x626 -x627 -x628 -x629 -x630
163.43/163.52	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
163.43/163.52	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
163.43/163.52	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
163.43/163.52	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
163.43/163.52	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
163.43/163.52	v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
163.43/163.52	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
163.43/163.52	v x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
163.43/163.52	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
163.43/163.52	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
163.43/163.52	v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
163.43/163.52	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750
163.43/163.52	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
163.43/163.52	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
163.43/163.52	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780
163.43/163.52	v -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
163.43/163.52	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
163.43/163.52	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
163.43/163.52	v -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820
163.43/163.52	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
163.43/163.52	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
163.43/163.52	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
163.43/163.52	v -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
163.43/163.52	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
163.43/163.52	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
163.43/163.52	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
163.43/163.52	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
163.43/163.52	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
163.43/163.52	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
163.43/163.52	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 -x929 -x930
163.43/163.52	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
163.43/163.52	v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950
163.43/163.52	v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
163.43/163.52	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
163.43/163.52	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980
163.43/163.52	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
163.43/163.52	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
163.43/163.52	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
163.43/163.52	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
163.43/163.52	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030
163.43/163.52	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
163.43/163.52	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050
163.43/163.52	v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
163.43/163.52	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
163.43/163.52	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
163.43/163.52	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
163.43/163.52	v x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
163.43/163.52	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
163.43/163.52	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
163.43/163.52	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
163.43/163.52	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
163.43/163.52	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
163.43/163.52	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
163.43/163.52	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
163.43/163.52	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
163.43/163.52	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
163.43/163.52	v -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200
163.43/163.52	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
163.43/163.52	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220
163.43/163.52	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230
163.43/163.52	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240
163.43/163.52	v -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
163.43/163.52	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
163.43/163.52	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
163.43/163.52	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
163.43/163.52	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
163.43/163.52	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
163.43/163.52	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
163.43/163.52	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
163.43/163.52	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
163.43/163.52	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340
163.43/163.52	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
163.43/163.52	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
163.43/163.52	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
163.43/163.52	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
163.43/163.52	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
163.43/163.52	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
163.43/163.52	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
163.43/163.52	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
163.43/163.52	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
163.43/163.52	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440
163.43/163.52	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
163.43/163.52	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
163.43/163.52	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
163.43/163.52	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
163.43/163.52	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
163.43/163.52	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
163.43/163.52	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
163.43/163.52	v -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520
163.43/163.52	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
163.43/163.52	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
163.43/163.52	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
163.43/163.52	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
163.43/163.52	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
163.43/163.52	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
163.43/163.52	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
163.43/163.52	v -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
163.43/163.52	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
163.43/163.52	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
163.43/163.52	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
163.43/163.52	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
163.43/163.52	v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
163.43/163.52	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
163.43/163.52	v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670
163.43/163.52	v x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
163.43/163.52	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
163.43/163.52	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
163.43/163.52	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
163.43/163.52	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
163.43/163.52	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730
163.43/163.52	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
163.43/163.52	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750
163.43/163.52	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
163.43/163.52	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
163.43/163.52	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
163.43/163.52	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
163.43/163.52	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
163.43/163.52	v -x1801 -x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810
163.43/163.52	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
163.43/163.52	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830
163.43/163.52	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
163.43/163.52	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
163.43/163.52	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
163.43/163.52	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
163.43/163.52	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
163.43/163.52	v -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
163.43/163.52	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
163.43/163.52	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
163.43/163.52	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
163.43/163.52	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
163.43/163.52	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
163.43/163.52	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
163.43/163.52	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
163.43/163.52	v x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
163.43/163.52	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
163.43/163.52	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
163.43/163.52	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
163.43/163.52	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
163.43/163.52	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
163.43/163.52	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
163.43/163.52	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040
163.43/163.52	v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050
163.43/163.52	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
163.43/163.52	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
163.43/163.52	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
163.43/163.52	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090
163.43/163.52	v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
163.43/163.52	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
163.43/163.52	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120
163.43/163.52	v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130
163.43/163.52	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
163.43/163.52	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
163.43/163.52	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
163.43/163.52	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
163.43/163.52	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
163.43/163.52	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190
163.43/163.52	v -x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200
163.43/163.52	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
163.43/163.52	v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
163.43/163.52	v -x2221 -x2222 -x2223 -x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230
163.43/163.52	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
163.43/163.52	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
163.43/163.52	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
163.43/163.52	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
163.43/163.52	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
163.43/163.52	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290
163.43/163.52	v -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300
163.43/163.52	v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
163.43/163.52	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
163.43/163.52	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
163.43/163.52	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
163.43/163.52	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
163.43/163.52	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
163.43/163.52	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 -x2368 -x2369 -x2370
163.43/163.52	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
163.43/163.52	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
163.43/163.52	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
163.43/163.52	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
163.43/163.52	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
163.43/163.52	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
163.43/163.52	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
163.43/163.52	v -x2441 -x2442 -x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450
163.43/163.52	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460
163.43/163.52	v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
163.43/163.52	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480
163.43/163.52	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490
163.43/163.52	v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
163.43/163.52	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
163.43/163.52	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
163.43/163.52	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2530
163.43/163.52	v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540
163.43/163.52	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550
163.43/163.52	v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560
163.43/163.52	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
163.43/163.52	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
163.43/163.52	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590
163.43/163.52	v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600
163.43/163.52	v -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 x2609 -x2610
163.43/163.52	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
163.43/163.52	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630
163.43/163.52	v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640
163.43/163.52	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650
163.43/163.52	v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660
163.43/163.52	v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670
163.43/163.52	v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 -x2679 -x2680
163.43/163.52	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
163.43/163.52	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
163.43/163.52	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
163.43/163.52	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
163.43/163.52	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730
163.43/163.52	v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
163.43/163.52	v -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750
163.43/163.52	v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760
163.43/163.52	v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
163.43/163.52	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780
163.43/163.52	v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
163.43/163.52	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
163.43/163.52	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810
163.43/163.52	v -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820
163.43/163.52	v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
163.43/163.52	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840
163.43/163.52	v -x2841 -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
163.43/163.52	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860
163.43/163.52	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
163.43/163.52	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880
163.43/163.52	v x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890
163.43/163.52	v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900
163.43/163.52	v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
163.43/163.52	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920
163.43/163.52	v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930
163.43/163.52	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
163.43/163.52	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950
163.43/163.52	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
163.43/163.52	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970
163.43/163.52	v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980
163.43/163.52	v -x2981 -x2982 -x2983 -x2984 x2985 -x2986 x2987 -x2988 -x2989 -x2990
163.43/163.52	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000
163.43/163.52	v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010
163.43/163.52	v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
163.43/163.52	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
163.43/163.52	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
163.43/163.52	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
163.43/163.52	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
163.43/163.52	v -x3061 -x3062 -x3063 -x3064 -x3065 x3066 -x3067 x3068 -x3069 x3070
163.43/163.52	v -x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
163.43/163.52	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090
163.43/163.52	v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x3100
163.43/163.52	v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 x3108 -x3109 -x3110
163.43/163.52	v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120
163.43/163.52	v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
163.43/163.52	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140
163.43/163.52	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150
163.43/163.52	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
163.43/163.52	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170
163.43/163.52	v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 x3178 -x3179 -x3180
163.43/163.52	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
163.43/163.52	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200
163.43/163.52	v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
163.43/163.52	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220
163.43/163.52	v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
163.43/163.52	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
163.43/163.52	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
163.43/163.52	v -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260
163.43/163.52	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
163.43/163.52	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280
163.43/163.52	v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290
163.43/163.52	v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
163.43/163.52	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310
163.43/163.52	v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320
163.43/163.52	v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330
163.43/163.52	v -x3331 -x3332 -x3333 x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
163.43/163.52	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
163.43/163.52	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
163.43/163.52	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
163.43/163.52	v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
163.43/163.52	v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390
163.43/163.52	v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400
163.43/163.52	v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410
163.43/163.52	v -x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420
163.43/163.52	v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430
163.43/163.52	v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440
163.43/163.52	v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450
163.43/163.52	v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
163.43/163.52	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
163.43/163.52	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480
163.43/163.52	v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490
163.43/163.52	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500
163.43/163.52	v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510
163.43/163.52	v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520
163.43/163.52	v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530
163.43/163.52	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540
163.43/163.52	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550
163.43/163.52	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
163.43/163.52	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 x3568 -x3569 -x3570
163.43/163.52	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
163.43/163.52	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
163.43/163.52	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600
163.43/163.52	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
163.43/163.52	v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620
163.43/163.52	v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630
163.43/163.52	v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
163.43/163.52	v -x3641 -x3642 -x3643 -x3644 -x3645 x3646 -x3647 -x3648 -x3649 -x3650
163.43/163.52	v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660
163.43/163.52	v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670
163.43/163.52	v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
163.43/163.52	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
163.43/163.52	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700
163.43/163.52	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
163.43/163.52	v -x3711 x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720
163.43/163.52	v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730
163.43/163.52	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740
163.43/163.52	v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
163.43/163.52	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
163.43/163.52	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770
163.43/163.52	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780
163.43/163.52	v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
163.43/163.52	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
163.43/163.52	v -x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
163.43/163.52	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820
163.43/163.52	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830
163.43/163.52	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840
163.43/163.52	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850
163.43/163.52	v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860
163.43/163.52	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870
163.43/163.52	v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x3880
163.43/163.52	v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890
163.43/163.52	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
163.43/163.52	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
163.43/163.52	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920
163.43/163.52	v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
163.43/163.52	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
163.43/163.52	v x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950
163.43/163.52	v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960
163.43/163.52	v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970
163.43/163.52	v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
163.43/163.52	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990
163.43/163.52	v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
163.43/163.52	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010
163.43/163.52	v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
163.43/163.52	v -x4021 x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
163.43/163.52	v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040
163.43/163.52	v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050
163.43/163.52	v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060
163.43/163.52	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070
163.43/163.52	v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080
163.43/163.52	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090
163.43/163.52	v -x4091 -x4092 -x4093 -x4094 -x4095 x4096 -x4097 x4098 -x4099 x4100
163.43/163.52	v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110
163.43/163.52	v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120
163.43/163.52	v -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130
163.43/163.52	v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140
163.43/163.52	v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
163.43/163.52	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160
163.43/163.52	v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170
163.43/163.52	v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180
163.43/163.52	v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
163.43/163.52	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200
163.43/163.52	v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210
163.43/163.52	v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220
163.43/163.52	v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230
163.43/163.52	v -x4231 -x4232 -x4233 x4234 x4235
163.43/163.52	c total time = 163.461s

OK	0

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706071-1338202346/watcher-3706071-1338202346 -o /tmp/evaluation-result-3706071-1338202346/solver-3706071-1338202346 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706071-1338202346.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.01 1.98 3/176 32398
/proc/meminfo: memFree=30747684/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 809 0 0 0 0 0 0 0 20 0 1 0 286359495 6356992 731 33554432000 4194304 8973514 140737429221440 140733769168152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 1552 731 415 1167 0 333 0

[startup+0.0571431 s]
/proc/loadavg: 2.05 2.01 1.98 3/176 32398
/proc/meminfo: memFree=30747684/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=10304 CPUtime=0.05 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 1742 0 0 0 5 0 0 0 20 0 1 0 286359495 10551296 1664 33554432000 4194304 8973514 140737429221440 140733769168152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 2576 1664 418 1167 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10304

[startup+0.100299 s]
/proc/loadavg: 2.05 2.01 1.98 3/176 32398
/proc/meminfo: memFree=30747684/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 2355 0 0 0 9 0 0 0 20 0 1 0 286359495 12648448 2277 33554432000 4194304 8973514 140737429221440 140733769168152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 3088 2277 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300286 s]
/proc/loadavg: 2.05 2.01 1.98 3/176 32398
/proc/meminfo: memFree=30747684/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=17472 CPUtime=0.29 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 3667 0 0 0 29 0 0 0 20 0 1 0 286359495 17891328 3589 33554432000 4194304 8973514 140737429221440 140733769168152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 4368 3589 444 1167 0 3149 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17472

[startup+0.700289 s]
/proc/loadavg: 2.05 2.01 1.98 3/176 32398
/proc/meminfo: memFree=30747684/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=17472 CPUtime=0.69 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 3667 0 0 0 69 0 0 0 20 0 1 0 286359495 17891328 3589 33554432000 4194304 8973514 140737429221440 140733769168152 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 4368 3589 444 1167 0 3149 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17472

[startup+1.50029 s]
/proc/loadavg: 2.05 2.01 1.98 3/177 32399
/proc/meminfo: memFree=30731424/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=20544 CPUtime=1.49 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 4195 0 0 0 148 1 0 0 20 0 1 0 286359495 21037056 4117 33554432000 4194304 8973514 140737429221440 140737429220936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 5136 4117 444 1167 0 3917 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20544

[startup+3.10028 s]
/proc/loadavg: 2.05 2.01 1.98 3/177 32399
/proc/meminfo: memFree=30724588/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=24640 CPUtime=3.09 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 5460 0 0 0 308 1 0 0 20 0 1 0 286359495 25231360 5386 33554432000 4194304 8973514 140737429221440 140737429220704 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 6160 5386 444 1167 0 4941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24640

[startup+6.30028 s]
/proc/loadavg: 2.05 2.01 1.98 3/177 32399
/proc/meminfo: memFree=30702176/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=35904 CPUtime=6.29 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 8102 0 0 0 627 2 0 0 20 0 1 0 286359495 36765696 8028 33554432000 4194304 8973514 140737429221440 140737429220936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 8976 8028 444 1167 0 7757 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35904

[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 32399
/proc/meminfo: memFree=30680036/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=45120 CPUtime=12.68 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 10588 0 0 0 1263 5 0 0 20 0 1 0 286359495 46202880 10507 33554432000 4194304 8973514 140737429221440 140737429220704 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 11280 10507 445 1167 0 10061 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45120

[startup+25.5003 s]
/proc/loadavg: 2.11 2.03 1.98 3/177 32399
/proc/meminfo: memFree=30668288/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=48192 CPUtime=25.47 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 11364 0 0 0 2539 8 0 0 20 0 1 0 286359495 49348608 11275 33554432000 4194304 8973514 140737429221440 140737429220936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 12048 11275 445 1167 0 10829 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 48192

[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 1.98 3/177 32399
/proc/meminfo: memFree=30654940/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=56384 CPUtime=51.06 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 13416 0 0 0 5088 18 0 0 20 0 1 0 286359495 57737216 13323 33554432000 4194304 8973514 140737429221440 140737429220936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 14096 13323 445 1167 0 12877 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 56384

[startup+102.307 s]
/proc/loadavg: 2.03 2.02 1.98 3/177 32399
/proc/meminfo: memFree=30655896/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=58432 CPUtime=102.25 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 15498 0 0 0 10187 38 0 0 20 0 1 0 286359495 59834368 13607 33554432000 4194304 8973514 140737429221440 140737429220936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 14608 13607 445 1167 0 13389 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 58432

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 32399
/proc/meminfo: memFree=30657780/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=50240 CPUtime=162.22 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 23420 0 0 0 16160 62 0 0 20 0 1 0 286359495 51445760 11787 33554432000 4194304 8973514 140737429221440 140737429220936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 12560 11787 445 1167 0 11341 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 50240

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

[startup+163.1 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 32399
/proc/meminfo: memFree=30657780/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=50240 CPUtime=163.03 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 23420 0 0 0 16240 63 0 0 20 0 1 0 286359495 51445760 11787 33554432000 4194304 8973514 140737429221440 140737429220936 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 12560 11787 445 1167 0 11341 0
Current children cumulated CPU time (s) 163.03
Current children cumulated vsize (KiB) 50240

[startup+163.5 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 32399
/proc/meminfo: memFree=30657780/32873844 swapFree=7116/7116
[pid=32398] ppid=32396 vsize=50240 CPUtime=163.43 cores=0,2,4,6
/proc/32398/stat : 32398 (toysat) R 32396 32398 31934 0 -1 4202496 23420 0 0 0 16280 63 0 0 20 0 1 0 286359495 51445760 11787 33554432000 4194304 8973514 140737429221440 140737429220936 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/32398/statm: 12560 11787 445 1167 0 11341 0
Current children cumulated CPU time (s) 163.43
Current children cumulated vsize (KiB) 50240

Child status: 0
Real time (s): 163.527
CPU time (s): 163.461
CPU user time (s): 162.828
CPU system time (s): 0.632903
CPU usage (%): 99.9596
Max. virtual memory (cumulated for all children) (KiB): 71744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 162.828
system time used= 0.632903
maximum resident set size= 68652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43
involuntary context switches= 199

runsolver used 0.283956 second user time and 0.630904 second system time

The end

Begin job on node146 at 2012-05-28 12:52:26
IDJOB=3706071
IDBENCH=90226
IDSOLVER=2285
FILE ID=node146/3706071-1338202346
RUNJOBID= node146-1338195134-31950
PBS_JOBID= 14624605
Free space on /tmp= 71180 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K77.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706071-1338202346/watcher-3706071-1338202346 -o /tmp/evaluation-result-3706071-1338202346/solver-3706071-1338202346 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706071-1338202346.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2e0c2eafadf06efe322a3c6e27882b3c
RANDOM SEED=838387792

node146.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30748592 kB
Buffers:          413796 kB
Cached:           823376 kB
SwapCached:         2180 kB
Active:          1008112 kB
Inactive:         246672 kB
Active(anon):      16852 kB
Inactive(anon):     2668 kB
Active(file):     991260 kB
Inactive(file):   244004 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100344 kB
Dirty:             15544 kB
Writeback:             0 kB
AnonPages:         23512 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             730144 kB
SReclaimable:     171308 kB
SUnreclaim:       558836 kB
KernelStack:        1416 kB
PageTables:         3896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     137616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71172 MiB
End job on node146 at 2012-05-28 12:55:09