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

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-3706072-1338202345/watcher-3706072-1338202345 -o /tmp/evaluation-result-3706072-1338202345/solver-3706072-1338202345 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706072-1338202345.opb 

running on 4 cores: 1,3,5,7

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/172 32384
/proc/meminfo: memFree=30767184/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 808 0 0 0 0 0 0 0 20 0 1 0 286359477 6356992 729 33554432000 4194304 8973514 140736706439392 140734318316824 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 1552 729 415 1167 0 333 0

[startup+0.0760471 s]
/proc/loadavg: 2.05 2.01 1.98 3/172 32384
/proc/meminfo: memFree=30767184/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=11328 CPUtime=0.07 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 1905 0 0 0 7 0 0 0 20 0 1 0 286359477 11599872 1826 33554432000 4194304 8973514 140736706439392 140734318316824 4212523 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 2832 1834 418 1167 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11328

[startup+0.100327 s]
/proc/loadavg: 2.05 2.01 1.98 3/172 32384
/proc/meminfo: memFree=30767184/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 2344 0 0 0 9 0 0 0 20 0 1 0 286359477 12648448 2265 33554432000 4194304 8973514 140736706439392 140734318316824 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 3088 2265 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300278 s]
/proc/loadavg: 2.05 2.01 1.98 3/172 32384
/proc/meminfo: memFree=30767184/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=18496 CPUtime=0.29 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 3923 0 0 0 29 0 0 0 20 0 1 0 286359477 18939904 3844 33554432000 4194304 8973514 140736706439392 140734318316824 6571904 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 4624 3844 444 1167 0 3405 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18496

[startup+0.700288 s]
/proc/loadavg: 2.05 2.01 1.98 3/172 32384
/proc/meminfo: memFree=30767184/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=18496 CPUtime=0.69 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 3923 0 0 0 69 0 0 0 20 0 1 0 286359477 18939904 3844 33554432000 4194304 8973514 140736706439392 140734318316824 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 4624 3844 444 1167 0 3405 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18496

[startup+1.50029 s]
/proc/loadavg: 2.05 2.01 1.98 3/177 32399
/proc/meminfo: memFree=30733656/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=19520 CPUtime=1.49 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 4179 0 0 0 149 0 0 0 20 0 1 0 286359477 19988480 4100 33554432000 4194304 8973514 140736706439392 140736706438888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 4880 4100 444 1167 0 3661 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19520

[startup+3.10028 s]
/proc/loadavg: 2.05 2.01 1.98 3/177 32399
/proc/meminfo: memFree=30725704/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=25664 CPUtime=3.09 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 5721 0 0 0 307 2 0 0 20 0 1 0 286359477 26279936 5641 33554432000 4194304 8973514 140736706439392 140736706438888 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 6416 5641 444 1167 0 5197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25664

[startup+6.30031 s]
/proc/loadavg: 2.05 2.01 1.98 3/177 32399
/proc/meminfo: memFree=30704036/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=35904 CPUtime=6.28 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 8281 0 0 0 625 3 0 0 20 0 1 0 286359477 36765696 8201 33554432000 4194304 8973514 140736706439392 140736706438888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 8976 8201 444 1167 0 7757 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 35904

[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 32399
/proc/meminfo: memFree=30682268/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=46144 CPUtime=12.69 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 10726 0 0 0 1263 6 0 0 20 0 1 0 286359477 47251456 10646 33554432000 4194304 8973514 140736706439392 140736706438888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 11536 10646 445 1167 0 10317 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46144

[startup+25.5003 s]
/proc/loadavg: 2.11 2.03 1.98 3/177 32399
/proc/meminfo: memFree=30668288/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=52288 CPUtime=25.48 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 12378 0 0 0 2537 11 0 0 20 0 1 0 286359477 53542912 12298 33554432000 4194304 8973514 140736706439392 140736706438888 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 13072 12298 445 1167 0 11853 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52288

[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 1.98 3/177 32399
/proc/meminfo: memFree=30654940/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=57408 CPUtime=51.07 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 13662 0 0 0 5086 21 0 0 20 0 1 0 286359477 58785792 13578 33554432000 4194304 8973514 140736706439392 140736706438888 4462761 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 14352 13578 445 1167 0 13133 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 57408

[startup+102.307 s]
/proc/loadavg: 2.03 2.02 1.98 3/177 32399
/proc/meminfo: memFree=30656640/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=54336 CPUtime=102.26 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 18281 0 0 0 10183 43 0 0 20 0 1 0 286359477 55640064 12810 33554432000 4194304 8973514 140736706439392 140736706438656 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 13584 12810 445 1167 0 12365 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 54336

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 32399
/proc/meminfo: memFree=30657780/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=59456 CPUtime=162.24 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 28783 0 0 0 16159 65 0 0 20 0 1 0 286359477 60882944 14090 33554432000 4194304 8973514 140736706439392 140736706438656 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 14864 14090 445 1167 0 13645 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 59456

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

[startup+163.1 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 32399
/proc/meminfo: memFree=30657780/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=59456 CPUtime=163.04 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 28783 0 0 0 16239 65 0 0 20 0 1 0 286359477 60882944 14090 33554432000 4194304 8973514 140736706439392 140736706438888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 14864 14090 445 1167 0 13645 0
Current children cumulated CPU time (s) 163.04
Current children cumulated vsize (KiB) 59456

[startup+163.5 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 32399
/proc/meminfo: memFree=30657780/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=59456 CPUtime=163.44 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 28783 0 0 0 16279 65 0 0 20 0 1 0 286359477 60882944 14090 33554432000 4194304 8973514 140736706439392 140736706438888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 14864 14090 445 1167 0 13645 0
Current children cumulated CPU time (s) 163.44
Current children cumulated vsize (KiB) 59456

[startup+163.7 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 32399
/proc/meminfo: memFree=30657780/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=59456 CPUtime=163.64 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 28783 0 0 0 16299 65 0 0 20 0 1 0 286359477 60882944 14090 33554432000 4194304 8973514 140736706439392 140736706438888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 14864 14090 445 1167 0 13645 0
Current children cumulated CPU time (s) 163.64
Current children cumulated vsize (KiB) 59456

[startup+163.8 s]
/proc/loadavg: 2.01 2.01 1.98 3/173 32404
/proc/meminfo: memFree=30704744/32873844 swapFree=7116/7116
[pid=32384] ppid=32381 vsize=59456 CPUtime=163.74 cores=1,3,5,7
/proc/32384/stat : 32384 (toysat) R 32381 32384 31934 0 -1 4202496 28783 0 0 0 16309 65 0 0 20 0 1 0 286359477 60882944 14090 33554432000 4194304 8973514 140736706439392 140736706438888 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/32384/statm: 14864 14090 445 1167 0 13645 0
Current children cumulated CPU time (s) 163.74
Current children cumulated vsize (KiB) 59456

Child status: 0
Real time (s): 163.873
CPU time (s): 163.821
CPU user time (s): 163.159
CPU system time (s): 0.661899
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 78912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.159
system time used= 0.661899
maximum resident set size= 75816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28796
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= 30
involuntary context switches= 167

runsolver used 0.25996 second user time and 0.701893 second system time

The end

Begin job on node146 at 2012-05-28 12:52:26
IDJOB=3706072
IDBENCH=90225
IDSOLVER=2285
FILE ID=node146/3706072-1338202345
RUNJOBID= node146-1338195134-31951
PBS_JOBID= 14624605
Free space on /tmp= 71176 MiB

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

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

MD5SUM BENCH= 27e32f10bb4e6a4bffc8a62c113afb72
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:        30759288 kB
Buffers:          413780 kB
Cached:           824168 kB
SwapCached:         2180 kB
Active:           996932 kB
Inactive:         246412 kB
Active(anon):       4632 kB
Inactive(anon):     2668 kB
Active(file):     992300 kB
Inactive(file):   243744 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100344 kB
Dirty:              7784 kB
Writeback:             0 kB
AnonPages:         10708 kB
Mapped:             8688 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:     103588 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