Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.05 | 1800.51 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb |
MD5SUM | f8c14dd136fe3d96d6bf396134dc65fd |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.154975 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3150 |
Total number of constraints | 160 |
Number of constraints which are clauses | 90 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 35 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 46 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.40 c 3150 160 0 0 0 0 0 0 0.00/0.40 c 32 ~x3247+16 ~x3246+8 ~x3245+4 ~x3244+2 ~x3243+1 ~x3242+1 ~x1542+1 ~x1507+1 ~x1472+1 ~x1437+1 ~x1402+1 ~x1367+1 ~x1332+1 ~x1297+1 ~x1262+1 ~x1227+1 ~x1192+1 ~x1157+1 ~x1122+1 ~x1087+1 ~x1052+1 ~x1017+1 ~x982+1 ~x947+1 ~x912+1 ~x877+1 ~x842+1 ~x807+1 ~x772+1 ~x737+1 ~x702+1 ~x667+1 ~x632+1 ~x597+1 ~x562+1 ~x527+1 ~x492+1 ~x457+1 ~x422+1 ~x387+1 ~x352+1 ~x317+1 ~x282+1 ~x247+1 ~x212+1 ~x177+1 ~x142+1 ~x107+1 ~x72+1 ~x37+1 ~x2-0=107 0.00/0.46 c 32 ~x5636+16 ~x5635+8 ~x5634+4 ~x5633+2 ~x5632+1 ~x5631+1 ~x1543+1 ~x1508+1 ~x1473+1 ~x1438+1 ~x1403+1 ~x1368+1 ~x1333+1 ~x1298+1 ~x1263+1 ~x1228+1 ~x1193+1 ~x1158+1 ~x1123+1 ~x1088+1 ~x1053+1 ~x1018+1 ~x983+1 ~x948+1 ~x913+1 ~x878+1 ~x843+1 ~x808+1 ~x773+1 ~x738+1 ~x703+1 ~x668+1 ~x633+1 ~x598+1 ~x563+1 ~x528+1 ~x493+1 ~x458+1 ~x423+1 ~x388+1 ~x353+1 ~x318+1 ~x283+1 ~x248+1 ~x213+1 ~x178+1 ~x143+1 ~x108+1 ~x73+1 ~x38+1 ~x3-0=107 0.00/0.51 c 32 ~x8025+16 ~x8024+8 ~x8023+4 ~x8022+2 ~x8021+1 ~x8020+1 ~x1544+1 ~x1509+1 ~x1474+1 ~x1439+1 ~x1404+1 ~x1369+1 ~x1334+1 ~x1299+1 ~x1264+1 ~x1229+1 ~x1194+1 ~x1159+1 ~x1124+1 ~x1089+1 ~x1054+1 ~x1019+1 ~x984+1 ~x949+1 ~x914+1 ~x879+1 ~x844+1 ~x809+1 ~x774+1 ~x739+1 ~x704+1 ~x669+1 ~x634+1 ~x599+1 ~x564+1 ~x529+1 ~x494+1 ~x459+1 ~x424+1 ~x389+1 ~x354+1 ~x319+1 ~x284+1 ~x249+1 ~x214+1 ~x179+1 ~x144+1 ~x109+1 ~x74+1 ~x39+1 ~x4-0=107 0.00/0.57 c 32 ~x10414+16 ~x10413+8 ~x10412+4 ~x10411+2 ~x10410+1 ~x10409+1 ~x1545+1 ~x1510+1 ~x1475+1 ~x1440+1 ~x1405+1 ~x1370+1 ~x1335+1 ~x1300+1 ~x1265+1 ~x1230+1 ~x1195+1 ~x1160+1 ~x1125+1 ~x1090+1 ~x1055+1 ~x1020+1 ~x985+1 ~x950+1 ~x915+1 ~x880+1 ~x845+1 ~x810+1 ~x775+1 ~x740+1 ~x705+1 ~x670+1 ~x635+1 ~x600+1 ~x565+1 ~x530+1 ~x495+1 ~x460+1 ~x425+1 ~x390+1 ~x355+1 ~x320+1 ~x285+1 ~x250+1 ~x215+1 ~x180+1 ~x145+1 ~x110+1 ~x75+1 ~x40+1 ~x5-0=107 0.00/0.62 c 32 ~x12803+16 ~x12802+8 ~x12801+4 ~x12800+2 ~x12799+1 ~x12798+1 ~x1546+1 ~x1511+1 ~x1476+1 ~x1441+1 ~x1406+1 ~x1371+1 ~x1336+1 ~x1301+1 ~x1266+1 ~x1231+1 ~x1196+1 ~x1161+1 ~x1126+1 ~x1091+1 ~x1056+1 ~x1021+1 ~x986+1 ~x951+1 ~x916+1 ~x881+1 ~x846+1 ~x811+1 ~x776+1 ~x741+1 ~x706+1 ~x671+1 ~x636+1 ~x601+1 ~x566+1 ~x531+1 ~x496+1 ~x461+1 ~x426+1 ~x391+1 ~x356+1 ~x321+1 ~x286+1 ~x251+1 ~x216+1 ~x181+1 ~x146+1 ~x111+1 ~x76+1 ~x41+1 ~x6-0=107 0.00/0.68 c 32 ~x15192+16 ~x15191+8 ~x15190+4 ~x15189+2 ~x15188+1 ~x15187+1 ~x1547+1 ~x1512+1 ~x1477+1 ~x1442+1 ~x1407+1 ~x1372+1 ~x1337+1 ~x1302+1 ~x1267+1 ~x1232+1 ~x1197+1 ~x1162+1 ~x1127+1 ~x1092+1 ~x1057+1 ~x1022+1 ~x987+1 ~x952+1 ~x917+1 ~x882+1 ~x847+1 ~x812+1 ~x777+1 ~x742+1 ~x707+1 ~x672+1 ~x637+1 ~x602+1 ~x567+1 ~x532+1 ~x497+1 ~x462+1 ~x427+1 ~x392+1 ~x357+1 ~x322+1 ~x287+1 ~x252+1 ~x217+1 ~x182+1 ~x147+1 ~x112+1 ~x77+1 ~x42+1 ~x7-0=107 0.00/0.73 c 32 ~x17581+16 ~x17580+8 ~x17579+4 ~x17578+2 ~x17577+1 ~x17576+1 ~x1548+1 ~x1513+1 ~x1478+1 ~x1443+1 ~x1408+1 ~x1373+1 ~x1338+1 ~x1303+1 ~x1268+1 ~x1233+1 ~x1198+1 ~x1163+1 ~x1128+1 ~x1093+1 ~x1058+1 ~x1023+1 ~x988+1 ~x953+1 ~x918+1 ~x883+1 ~x848+1 ~x813+1 ~x778+1 ~x743+1 ~x708+1 ~x673+1 ~x638+1 ~x603+1 ~x568+1 ~x533+1 ~x498+1 ~x463+1 ~x428+1 ~x393+1 ~x358+1 ~x323+1 ~x288+1 ~x253+1 ~x218+1 ~x183+1 ~x148+1 ~x113+1 ~x78+1 ~x43+1 ~x8-0=107 0.00/0.79 c 32 ~x19970+16 ~x19969+8 ~x19968+4 ~x19967+2 ~x19966+1 ~x19965+1 ~x1549+1 ~x1514+1 ~x1479+1 ~x1444+1 ~x1409+1 ~x1374+1 ~x1339+1 ~x1304+1 ~x1269+1 ~x1234+1 ~x1199+1 ~x1164+1 ~x1129+1 ~x1094+1 ~x1059+1 ~x1024+1 ~x989+1 ~x954+1 ~x919+1 ~x884+1 ~x849+1 ~x814+1 ~x779+1 ~x744+1 ~x709+1 ~x674+1 ~x639+1 ~x604+1 ~x569+1 ~x534+1 ~x499+1 ~x464+1 ~x429+1 ~x394+1 ~x359+1 ~x324+1 ~x289+1 ~x254+1 ~x219+1 ~x184+1 ~x149+1 ~x114+1 ~x79+1 ~x44+1 ~x9-0=107 0.00/0.84 c 32 ~x22359+16 ~x22358+8 ~x22357+4 ~x22356+2 ~x22355+1 ~x22354+1 ~x1550+1 ~x1515+1 ~x1480+1 ~x1445+1 ~x1410+1 ~x1375+1 ~x1340+1 ~x1305+1 ~x1270+1 ~x1235+1 ~x1200+1 ~x1165+1 ~x1130+1 ~x1095+1 ~x1060+1 ~x1025+1 ~x990+1 ~x955+1 ~x920+1 ~x885+1 ~x850+1 ~x815+1 ~x780+1 ~x745+1 ~x710+1 ~x675+1 ~x640+1 ~x605+1 ~x570+1 ~x535+1 ~x500+1 ~x465+1 ~x430+1 ~x395+1 ~x360+1 ~x325+1 ~x290+1 ~x255+1 ~x220+1 ~x185+1 ~x150+1 ~x115+1 ~x80+1 ~x45+1 ~x10-0=107 0.00/0.90 c 32 ~x24748+16 ~x24747+8 ~x24746+4 ~x24745+2 ~x24744+1 ~x24743+1 ~x1551+1 ~x1516+1 ~x1481+1 ~x1446+1 ~x1411+1 ~x1376+1 ~x1341+1 ~x1306+1 ~x1271+1 ~x1236+1 ~x1201+1 ~x1166+1 ~x1131+1 ~x1096+1 ~x1061+1 ~x1026+1 ~x991+1 ~x956+1 ~x921+1 ~x886+1 ~x851+1 ~x816+1 ~x781+1 ~x746+1 ~x711+1 ~x676+1 ~x641+1 ~x606+1 ~x571+1 ~x536+1 ~x501+1 ~x466+1 ~x431+1 ~x396+1 ~x361+1 ~x326+1 ~x291+1 ~x256+1 ~x221+1 ~x186+1 ~x151+1 ~x116+1 ~x81+1 ~x46+1 ~x11-0=107 0.00/0.95 c 32 ~x27137+16 ~x27136+8 ~x27135+4 ~x27134+2 ~x27133+1 ~x27132+1 ~x1552+1 ~x1517+1 ~x1482+1 ~x1447+1 ~x1412+1 ~x1377+1 ~x1342+1 ~x1307+1 ~x1272+1 ~x1237+1 ~x1202+1 ~x1167+1 ~x1132+1 ~x1097+1 ~x1062+1 ~x1027+1 ~x992+1 ~x957+1 ~x922+1 ~x887+1 ~x852+1 ~x817+1 ~x782+1 ~x747+1 ~x712+1 ~x677+1 ~x642+1 ~x607+1 ~x572+1 ~x537+1 ~x502+1 ~x467+1 ~x432+1 ~x397+1 ~x362+1 ~x327+1 ~x292+1 ~x257+1 ~x222+1 ~x187+1 ~x152+1 ~x117+1 ~x82+1 ~x47+1 ~x12-0=107 0.99/1.02 c 32 ~x29526+16 ~x29525+8 ~x29524+4 ~x29523+2 ~x29522+1 ~x29521+1 ~x1553+1 ~x1518+1 ~x1483+1 ~x1448+1 ~x1413+1 ~x1378+1 ~x1343+1 ~x1308+1 ~x1273+1 ~x1238+1 ~x1203+1 ~x1168+1 ~x1133+1 ~x1098+1 ~x1063+1 ~x1028+1 ~x993+1 ~x958+1 ~x923+1 ~x888+1 ~x853+1 ~x818+1 ~x783+1 ~x748+1 ~x713+1 ~x678+1 ~x643+1 ~x608+1 ~x573+1 ~x538+1 ~x503+1 ~x468+1 ~x433+1 ~x398+1 ~x363+1 ~x328+1 ~x293+1 ~x258+1 ~x223+1 ~x188+1 ~x153+1 ~x118+1 ~x83+1 ~x48+1 ~x13-0=107 0.99/1.07 c 32 ~x31915+16 ~x31914+8 ~x31913+4 ~x31912+2 ~x31911+1 ~x31910+1 ~x1554+1 ~x1519+1 ~x1484+1 ~x1449+1 ~x1414+1 ~x1379+1 ~x1344+1 ~x1309+1 ~x1274+1 ~x1239+1 ~x1204+1 ~x1169+1 ~x1134+1 ~x1099+1 ~x1064+1 ~x1029+1 ~x994+1 ~x959+1 ~x924+1 ~x889+1 ~x854+1 ~x819+1 ~x784+1 ~x749+1 ~x714+1 ~x679+1 ~x644+1 ~x609+1 ~x574+1 ~x539+1 ~x504+1 ~x469+1 ~x434+1 ~x399+1 ~x364+1 ~x329+1 ~x294+1 ~x259+1 ~x224+1 ~x189+1 ~x154+1 ~x119+1 ~x84+1 ~x49+1 ~x14-0=107 1.09/1.13 c 32 ~x34304+16 ~x34303+8 ~x34302+4 ~x34301+2 ~x34300+1 ~x34299+1 ~x1555+1 ~x1520+1 ~x1485+1 ~x1450+1 ~x1415+1 ~x1380+1 ~x1345+1 ~x1310+1 ~x1275+1 ~x1240+1 ~x1205+1 ~x1170+1 ~x1135+1 ~x1100+1 ~x1065+1 ~x1030+1 ~x995+1 ~x960+1 ~x925+1 ~x890+1 ~x855+1 ~x820+1 ~x785+1 ~x750+1 ~x715+1 ~x680+1 ~x645+1 ~x610+1 ~x575+1 ~x540+1 ~x505+1 ~x470+1 ~x435+1 ~x400+1 ~x365+1 ~x330+1 ~x295+1 ~x260+1 ~x225+1 ~x190+1 ~x155+1 ~x120+1 ~x85+1 ~x50+1 ~x15-0=107 1.09/1.19 c 32 ~x36693+16 ~x36692+8 ~x36691+4 ~x36690+2 ~x36689+1 ~x36688+1 ~x1556+1 ~x1521+1 ~x1486+1 ~x1451+1 ~x1416+1 ~x1381+1 ~x1346+1 ~x1311+1 ~x1276+1 ~x1241+1 ~x1206+1 ~x1171+1 ~x1136+1 ~x1101+1 ~x1066+1 ~x1031+1 ~x996+1 ~x961+1 ~x926+1 ~x891+1 ~x856+1 ~x821+1 ~x786+1 ~x751+1 ~x716+1 ~x681+1 ~x646+1 ~x611+1 ~x576+1 ~x541+1 ~x506+1 ~x471+1 ~x436+1 ~x401+1 ~x366+1 ~x331+1 ~x296+1 ~x261+1 ~x226+1 ~x191+1 ~x156+1 ~x121+1 ~x86+1 ~x51+1 ~x16-0=107 1.18/1.25 c 32 ~x39082+16 ~x39081+8 ~x39080+4 ~x39079+2 ~x39078+1 ~x39077+1 ~x1557+1 ~x1522+1 ~x1487+1 ~x1452+1 ~x1417+1 ~x1382+1 ~x1347+1 ~x1312+1 ~x1277+1 ~x1242+1 ~x1207+1 ~x1172+1 ~x1137+1 ~x1102+1 ~x1067+1 ~x1032+1 ~x997+1 ~x962+1 ~x927+1 ~x892+1 ~x857+1 ~x822+1 ~x787+1 ~x752+1 ~x717+1 ~x682+1 ~x647+1 ~x612+1 ~x577+1 ~x542+1 ~x507+1 ~x472+1 ~x437+1 ~x402+1 ~x367+1 ~x332+1 ~x297+1 ~x262+1 ~x227+1 ~x192+1 ~x157+1 ~x122+1 ~x87+1 ~x52+1 ~x17-0=107 1.28/1.31 c 32 ~x41471+16 ~x41470+8 ~x41469+4 ~x41468+2 ~x41467+1 ~x41466+1 ~x1558+1 ~x1523+1 ~x1488+1 ~x1453+1 ~x1418+1 ~x1383+1 ~x1348+1 ~x1313+1 ~x1278+1 ~x1243+1 ~x1208+1 ~x1173+1 ~x1138+1 ~x1103+1 ~x1068+1 ~x1033+1 ~x998+1 ~x963+1 ~x928+1 ~x893+1 ~x858+1 ~x823+1 ~x788+1 ~x753+1 ~x718+1 ~x683+1 ~x648+1 ~x613+1 ~x578+1 ~x543+1 ~x508+1 ~x473+1 ~x438+1 ~x403+1 ~x368+1 ~x333+1 ~x298+1 ~x263+1 ~x228+1 ~x193+1 ~x158+1 ~x123+1 ~x88+1 ~x53+1 ~x18-0=107 1.28/1.37 c 32 ~x43860+16 ~x43859+8 ~x43858+4 ~x43857+2 ~x43856+1 ~x43855+1 ~x1559+1 ~x1524+1 ~x1489+1 ~x1454+1 ~x1419+1 ~x1384+1 ~x1349+1 ~x1314+1 ~x1279+1 ~x1244+1 ~x1209+1 ~x1174+1 ~x1139+1 ~x1104+1 ~x1069+1 ~x1034+1 ~x999+1 ~x964+1 ~x929+1 ~x894+1 ~x859+1 ~x824+1 ~x789+1 ~x754+1 ~x719+1 ~x684+1 ~x649+1 ~x614+1 ~x579+1 ~x544+1 ~x509+1 ~x474+1 ~x439+1 ~x404+1 ~x369+1 ~x334+1 ~x299+1 ~x264+1 ~x229+1 ~x194+1 ~x159+1 ~x124+1 ~x89+1 ~x54+1 ~x19-0=107 1.38/1.43 c 32 ~x46249+16 ~x46248+8 ~x46247+4 ~x46246+2 ~x46245+1 ~x46244+1 ~x1560+1 ~x1525+1 ~x1490+1 ~x1455+1 ~x1420+1 ~x1385+1 ~x1350+1 ~x1315+1 ~x1280+1 ~x1245+1 ~x1210+1 ~x1175+1 ~x1140+1 ~x1105+1 ~x1070+1 ~x1035+1 ~x1000+1 ~x965+1 ~x930+1 ~x895+1 ~x860+1 ~x825+1 ~x790+1 ~x755+1 ~x720+1 ~x685+1 ~x650+1 ~x615+1 ~x580+1 ~x545+1 ~x510+1 ~x475+1 ~x440+1 ~x405+1 ~x370+1 ~x335+1 ~x300+1 ~x265+1 ~x230+1 ~x195+1 ~x160+1 ~x125+1 ~x90+1 ~x55+1 ~x20-0=107 1.38/1.48 c 32 ~x48638+16 ~x48637+8 ~x48636+4 ~x48635+2 ~x48634+1 ~x48633+1 ~x1561+1 ~x1526+1 ~x1491+1 ~x1456+1 ~x1421+1 ~x1386+1 ~x1351+1 ~x1316+1 ~x1281+1 ~x1246+1 ~x1211+1 ~x1176+1 ~x1141+1 ~x1106+1 ~x1071+1 ~x1036+1 ~x1001+1 ~x966+1 ~x931+1 ~x896+1 ~x861+1 ~x826+1 ~x791+1 ~x756+1 ~x721+1 ~x686+1 ~x651+1 ~x616+1 ~x581+1 ~x546+1 ~x511+1 ~x476+1 ~x441+1 ~x406+1 ~x371+1 ~x336+1 ~x301+1 ~x266+1 ~x231+1 ~x196+1 ~x161+1 ~x126+1 ~x91+1 ~x56+1 ~x21-0=107 1.48/1.54 c 32 ~x51027+16 ~x51026+8 ~x51025+4 ~x51024+2 ~x51023+1 ~x51022+1 ~x1562+1 ~x1527+1 ~x1492+1 ~x1457+1 ~x1422+1 ~x1387+1 ~x1352+1 ~x1317+1 ~x1282+1 ~x1247+1 ~x1212+1 ~x1177+1 ~x1142+1 ~x1107+1 ~x1072+1 ~x1037+1 ~x1002+1 ~x967+1 ~x932+1 ~x897+1 ~x862+1 ~x827+1 ~x792+1 ~x757+1 ~x722+1 ~x687+1 ~x652+1 ~x617+1 ~x582+1 ~x547+1 ~x512+1 ~x477+1 ~x442+1 ~x407+1 ~x372+1 ~x337+1 ~x302+1 ~x267+1 ~x232+1 ~x197+1 ~x162+1 ~x127+1 ~x92+1 ~x57+1 ~x22-0=107 1.58/1.60 c 32 ~x53416+16 ~x53415+8 ~x53414+4 ~x53413+2 ~x53412+1 ~x53411+1 ~x1563+1 ~x1528+1 ~x1493+1 ~x1458+1 ~x1423+1 ~x1388+1 ~x1353+1 ~x1318+1 ~x1283+1 ~x1248+1 ~x1213+1 ~x1178+1 ~x1143+1 ~x1108+1 ~x1073+1 ~x1038+1 ~x1003+1 ~x968+1 ~x933+1 ~x898+1 ~x863+1 ~x828+1 ~x793+1 ~x758+1 ~x723+1 ~x688+1 ~x653+1 ~x618+1 ~x583+1 ~x548+1 ~x513+1 ~x478+1 ~x443+1 ~x408+1 ~x373+1 ~x338+1 ~x303+1 ~x268+1 ~x233+1 ~x198+1 ~x163+1 ~x128+1 ~x93+1 ~x58+1 ~x23-0=107 1.58/1.66 c 32 ~x55805+16 ~x55804+8 ~x55803+4 ~x55802+2 ~x55801+1 ~x55800+1 ~x1564+1 ~x1529+1 ~x1494+1 ~x1459+1 ~x1424+1 ~x1389+1 ~x1354+1 ~x1319+1 ~x1284+1 ~x1249+1 ~x1214+1 ~x1179+1 ~x1144+1 ~x1109+1 ~x1074+1 ~x1039+1 ~x1004+1 ~x969+1 ~x934+1 ~x899+1 ~x864+1 ~x829+1 ~x794+1 ~x759+1 ~x724+1 ~x689+1 ~x654+1 ~x619+1 ~x584+1 ~x549+1 ~x514+1 ~x479+1 ~x444+1 ~x409+1 ~x374+1 ~x339+1 ~x304+1 ~x269+1 ~x234+1 ~x199+1 ~x164+1 ~x129+1 ~x94+1 ~x59+1 ~x24-0=107 1.68/1.72 c 32 ~x58194+16 ~x58193+8 ~x58192+4 ~x58191+2 ~x58190+1 ~x58189+1 ~x1565+1 ~x1530+1 ~x1495+1 ~x1460+1 ~x1425+1 ~x1390+1 ~x1355+1 ~x1320+1 ~x1285+1 ~x1250+1 ~x1215+1 ~x1180+1 ~x1145+1 ~x1110+1 ~x1075+1 ~x1040+1 ~x1005+1 ~x970+1 ~x935+1 ~x900+1 ~x865+1 ~x830+1 ~x795+1 ~x760+1 ~x725+1 ~x690+1 ~x655+1 ~x620+1 ~x585+1 ~x550+1 ~x515+1 ~x480+1 ~x445+1 ~x410+1 ~x375+1 ~x340+1 ~x305+1 ~x270+1 ~x235+1 ~x200+1 ~x165+1 ~x130+1 ~x95+1 ~x60+1 ~x25-0=107 1.68/1.78 c 32 ~x60583+16 ~x60582+8 ~x60581+4 ~x60580+2 ~x60579+1 ~x60578+1 ~x1566+1 ~x1531+1 ~x1496+1 ~x1461+1 ~x1426+1 ~x1391+1 ~x1356+1 ~x1321+1 ~x1286+1 ~x1251+1 ~x1216+1 ~x1181+1 ~x1146+1 ~x1111+1 ~x1076+1 ~x1041+1 ~x1006+1 ~x971+1 ~x936+1 ~x901+1 ~x866+1 ~x831+1 ~x796+1 ~x761+1 ~x726+1 ~x691+1 ~x656+1 ~x621+1 ~x586+1 ~x551+1 ~x516+1 ~x481+1 ~x446+1 ~x411+1 ~x376+1 ~x341+1 ~x306+1 ~x271+1 ~x236+1 ~x201+1 ~x166+1 ~x131+1 ~x96+1 ~x61+1 ~x26-0=107 1.78/1.83 c 32 ~x62972+16 ~x62971+8 ~x62970+4 ~x62969+2 ~x62968+1 ~x62967+1 ~x1567+1 ~x1532+1 ~x1497+1 ~x1462+1 ~x1427+1 ~x1392+1 ~x1357+1 ~x1322+1 ~x1287+1 ~x1252+1 ~x1217+1 ~x1182+1 ~x1147+1 ~x1112+1 ~x1077+1 ~x1042+1 ~x1007+1 ~x972+1 ~x937+1 ~x902+1 ~x867+1 ~x832+1 ~x797+1 ~x762+1 ~x727+1 ~x692+1 ~x657+1 ~x622+1 ~x587+1 ~x552+1 ~x517+1 ~x482+1 ~x447+1 ~x412+1 ~x377+1 ~x342+1 ~x307+1 ~x272+1 ~x237+1 ~x202+1 ~x167+1 ~x132+1 ~x97+1 ~x62+1 ~x27-0=107 1.78/1.89 c 32 ~x65361+16 ~x65360+8 ~x65359+4 ~x65358+2 ~x65357+1 ~x65356+1 ~x1568+1 ~x1533+1 ~x1498+1 ~x1463+1 ~x1428+1 ~x1393+1 ~x1358+1 ~x1323+1 ~x1288+1 ~x1253+1 ~x1218+1 ~x1183+1 ~x1148+1 ~x1113+1 ~x1078+1 ~x1043+1 ~x1008+1 ~x973+1 ~x938+1 ~x903+1 ~x868+1 ~x833+1 ~x798+1 ~x763+1 ~x728+1 ~x693+1 ~x658+1 ~x623+1 ~x588+1 ~x553+1 ~x518+1 ~x483+1 ~x448+1 ~x413+1 ~x378+1 ~x343+1 ~x308+1 ~x273+1 ~x238+1 ~x203+1 ~x168+1 ~x133+1 ~x98+1 ~x63+1 ~x28-0=107 1.88/1.95 c 32 ~x67750+16 ~x67749+8 ~x67748+4 ~x67747+2 ~x67746+1 ~x67745+1 ~x1569+1 ~x1534+1 ~x1499+1 ~x1464+1 ~x1429+1 ~x1394+1 ~x1359+1 ~x1324+1 ~x1289+1 ~x1254+1 ~x1219+1 ~x1184+1 ~x1149+1 ~x1114+1 ~x1079+1 ~x1044+1 ~x1009+1 ~x974+1 ~x939+1 ~x904+1 ~x869+1 ~x834+1 ~x799+1 ~x764+1 ~x729+1 ~x694+1 ~x659+1 ~x624+1 ~x589+1 ~x554+1 ~x519+1 ~x484+1 ~x449+1 ~x414+1 ~x379+1 ~x344+1 ~x309+1 ~x274+1 ~x239+1 ~x204+1 ~x169+1 ~x134+1 ~x99+1 ~x64+1 ~x29-0=107 1.98/2.01 c 32 ~x70139+16 ~x70138+8 ~x70137+4 ~x70136+2 ~x70135+1 ~x70134+1 ~x1570+1 ~x1535+1 ~x1500+1 ~x1465+1 ~x1430+1 ~x1395+1 ~x1360+1 ~x1325+1 ~x1290+1 ~x1255+1 ~x1220+1 ~x1185+1 ~x1150+1 ~x1115+1 ~x1080+1 ~x1045+1 ~x1010+1 ~x975+1 ~x940+1 ~x905+1 ~x870+1 ~x835+1 ~x800+1 ~x765+1 ~x730+1 ~x695+1 ~x660+1 ~x625+1 ~x590+1 ~x555+1 ~x520+1 ~x485+1 ~x450+1 ~x415+1 ~x380+1 ~x345+1 ~x310+1 ~x275+1 ~x240+1 ~x205+1 ~x170+1 ~x135+1 ~x100+1 ~x65+1 ~x30-0=107 1.98/2.07 c 32 ~x72528+16 ~x72527+8 ~x72526+4 ~x72525+2 ~x72524+1 ~x72523+1 ~x1571+1 ~x1536+1 ~x1501+1 ~x1466+1 ~x1431+1 ~x1396+1 ~x1361+1 ~x1326+1 ~x1291+1 ~x1256+1 ~x1221+1 ~x1186+1 ~x1151+1 ~x1116+1 ~x1081+1 ~x1046+1 ~x1011+1 ~x976+1 ~x941+1 ~x906+1 ~x871+1 ~x836+1 ~x801+1 ~x766+1 ~x731+1 ~x696+1 ~x661+1 ~x626+1 ~x591+1 ~x556+1 ~x521+1 ~x486+1 ~x451+1 ~x416+1 ~x381+1 ~x346+1 ~x311+1 ~x276+1 ~x241+1 ~x206+1 ~x171+1 ~x136+1 ~x101+1 ~x66+1 ~x31-0=107 2.08/2.13 c 32 ~x74917+16 ~x74916+8 ~x74915+4 ~x74914+2 ~x74913+1 ~x74912+1 ~x1572+1 ~x1537+1 ~x1502+1 ~x1467+1 ~x1432+1 ~x1397+1 ~x1362+1 ~x1327+1 ~x1292+1 ~x1257+1 ~x1222+1 ~x1187+1 ~x1152+1 ~x1117+1 ~x1082+1 ~x1047+1 ~x1012+1 ~x977+1 ~x942+1 ~x907+1 ~x872+1 ~x837+1 ~x802+1 ~x767+1 ~x732+1 ~x697+1 ~x662+1 ~x627+1 ~x592+1 ~x557+1 ~x522+1 ~x487+1 ~x452+1 ~x417+1 ~x382+1 ~x347+1 ~x312+1 ~x277+1 ~x242+1 ~x207+1 ~x172+1 ~x137+1 ~x102+1 ~x67+1 ~x32-0=107 2.08/2.19 c 32 ~x77306+16 ~x77305+8 ~x77304+4 ~x77303+2 ~x77302+1 ~x77301+1 ~x1573+1 ~x1538+1 ~x1503+1 ~x1468+1 ~x1433+1 ~x1398+1 ~x1363+1 ~x1328+1 ~x1293+1 ~x1258+1 ~x1223+1 ~x1188+1 ~x1153+1 ~x1118+1 ~x1083+1 ~x1048+1 ~x1013+1 ~x978+1 ~x943+1 ~x908+1 ~x873+1 ~x838+1 ~x803+1 ~x768+1 ~x733+1 ~x698+1 ~x663+1 ~x628+1 ~x593+1 ~x558+1 ~x523+1 ~x488+1 ~x453+1 ~x418+1 ~x383+1 ~x348+1 ~x313+1 ~x278+1 ~x243+1 ~x208+1 ~x173+1 ~x138+1 ~x103+1 ~x68+1 ~x33-0=107 2.19/2.24 c 32 ~x79695+16 ~x79694+8 ~x79693+4 ~x79692+2 ~x79691+1 ~x79690+1 ~x1574+1 ~x1539+1 ~x1504+1 ~x1469+1 ~x1434+1 ~x1399+1 ~x1364+1 ~x1329+1 ~x1294+1 ~x1259+1 ~x1224+1 ~x1189+1 ~x1154+1 ~x1119+1 ~x1084+1 ~x1049+1 ~x1014+1 ~x979+1 ~x944+1 ~x909+1 ~x874+1 ~x839+1 ~x804+1 ~x769+1 ~x734+1 ~x699+1 ~x664+1 ~x629+1 ~x594+1 ~x559+1 ~x524+1 ~x489+1 ~x454+1 ~x419+1 ~x384+1 ~x349+1 ~x314+1 ~x279+1 ~x244+1 ~x209+1 ~x174+1 ~x139+1 ~x104+1 ~x69+1 ~x34-0=107 2.28/2.30 c 32 ~x82084+16 ~x82083+8 ~x82082+4 ~x82081+2 ~x82080+1 ~x82079+1 ~x1575+1 ~x1540+1 ~x1505+1 ~x1470+1 ~x1435+1 ~x1400+1 ~x1365+1 ~x1330+1 ~x1295+1 ~x1260+1 ~x1225+1 ~x1190+1 ~x1155+1 ~x1120+1 ~x1085+1 ~x1050+1 ~x1015+1 ~x980+1 ~x945+1 ~x910+1 ~x875+1 ~x840+1 ~x805+1 ~x770+1 ~x735+1 ~x700+1 ~x665+1 ~x630+1 ~x595+1 ~x560+1 ~x525+1 ~x490+1 ~x455+1 ~x420+1 ~x385+1 ~x350+1 ~x315+1 ~x280+1 ~x245+1 ~x210+1 ~x175+1 ~x140+1 ~x105+1 ~x70+1 ~x35-0=107 2.28/2.36 c 32 ~x84473+16 ~x84472+8 ~x84471+4 ~x84470+2 ~x84469+1 ~x84468+1 ~x1576+1 ~x1541+1 ~x1506+1 ~x1471+1 ~x1436+1 ~x1401+1 ~x1366+1 ~x1331+1 ~x1296+1 ~x1261+1 ~x1226+1 ~x1191+1 ~x1156+1 ~x1121+1 ~x1086+1 ~x1051+1 ~x1016+1 ~x981+1 ~x946+1 ~x911+1 ~x876+1 ~x841+1 ~x806+1 ~x771+1 ~x736+1 ~x701+1 ~x666+1 ~x631+1 ~x596+1 ~x561+1 ~x526+1 ~x491+1 ~x456+1 ~x421+1 ~x386+1 ~x351+1 ~x316+1 ~x281+1 ~x246+1 ~x211+1 ~x176+1 ~x141+1 ~x106+1 ~x71+1 ~x36-0=107 2.38/2.42 c 32 ~x86862+16 ~x86861+8 ~x86860+4 ~x86859+2 ~x86858+1 ~x86857+1 ~x3117+1 ~x3082+1 ~x3047+1 ~x3012+1 ~x2977+1 ~x2942+1 ~x2907+1 ~x2872+1 ~x2837+1 ~x2802+1 ~x2767+1 ~x2732+1 ~x2697+1 ~x2662+1 ~x2627+1 ~x2592+1 ~x2557+1 ~x2522+1 ~x2487+1 ~x2452+1 ~x2417+1 ~x2382+1 ~x2347+1 ~x2312+1 ~x2277+1 ~x2242+1 ~x2207+1 ~x2172+1 ~x2137+1 ~x2102+1 ~x2067+1 ~x2032+1 ~x1997+1 ~x1962+1 ~x1927+1 ~x1892+1 ~x1857+1 ~x1822+1 ~x1787+1 ~x1752+1 ~x1717+1 ~x1682+1 ~x1647+1 ~x1612+1 ~x1577-0=107 2.38/2.48 c 32 ~x89251+16 ~x89250+8 ~x89249+4 ~x89248+2 ~x89247+1 ~x89246+1 ~x3118+1 ~x3083+1 ~x3048+1 ~x3013+1 ~x2978+1 ~x2943+1 ~x2908+1 ~x2873+1 ~x2838+1 ~x2803+1 ~x2768+1 ~x2733+1 ~x2698+1 ~x2663+1 ~x2628+1 ~x2593+1 ~x2558+1 ~x2523+1 ~x2488+1 ~x2453+1 ~x2418+1 ~x2383+1 ~x2348+1 ~x2313+1 ~x2278+1 ~x2243+1 ~x2208+1 ~x2173+1 ~x2138+1 ~x2103+1 ~x2068+1 ~x2033+1 ~x1998+1 ~x1963+1 ~x1928+1 ~x1893+1 ~x1858+1 ~x1823+1 ~x1788+1 ~x1753+1 ~x1718+1 ~x1683+1 ~x1648+1 ~x1613+1 ~x1578-0=107 2.48/2.54 c 32 ~x91640+16 ~x91639+8 ~x91638+4 ~x91637+2 ~x91636+1 ~x91635+1 ~x3119+1 ~x3084+1 ~x3049+1 ~x3014+1 ~x2979+1 ~x2944+1 ~x2909+1 ~x2874+1 ~x2839+1 ~x2804+1 ~x2769+1 ~x2734+1 ~x2699+1 ~x2664+1 ~x2629+1 ~x2594+1 ~x2559+1 ~x2524+1 ~x2489+1 ~x2454+1 ~x2419+1 ~x2384+1 ~x2349+1 ~x2314+1 ~x2279+1 ~x2244+1 ~x2209+1 ~x2174+1 ~x2139+1 ~x2104+1 ~x2069+1 ~x2034+1 ~x1999+1 ~x1964+1 ~x1929+1 ~x1894+1 ~x1859+1 ~x1824+1 ~x1789+1 ~x1754+1 ~x1719+1 ~x1684+1 ~x1649+1 ~x1614+1 ~x1579-0=107 2.48/2.59 c 32 ~x94029+16 ~x94028+8 ~x94027+4 ~x94026+2 ~x94025+1 ~x94024+1 ~x3120+1 ~x3085+1 ~x3050+1 ~x3015+1 ~x2980+1 ~x2945+1 ~x2910+1 ~x2875+1 ~x2840+1 ~x2805+1 ~x2770+1 ~x2735+1 ~x2700+1 ~x2665+1 ~x2630+1 ~x2595+1 ~x2560+1 ~x2525+1 ~x2490+1 ~x2455+1 ~x2420+1 ~x2385+1 ~x2350+1 ~x2315+1 ~x2280+1 ~x2245+1 ~x2210+1 ~x2175+1 ~x2140+1 ~x2105+1 ~x2070+1 ~x2035+1 ~x2000+1 ~x1965+1 ~x1930+1 ~x1895+1 ~x1860+1 ~x1825+1 ~x1790+1 ~x1755+1 ~x1720+1 ~x1685+1 ~x1650+1 ~x1615+1 ~x1580-0=107 2.58/2.65 c 32 ~x96418+16 ~x96417+8 ~x96416+4 ~x96415+2 ~x96414+1 ~x96413+1 ~x3121+1 ~x3086+1 ~x3051+1 ~x3016+1 ~x2981+1 ~x2946+1 ~x2911+1 ~x2876+1 ~x2841+1 ~x2806+1 ~x2771+1 ~x2736+1 ~x2701+1 ~x2666+1 ~x2631+1 ~x2596+1 ~x2561+1 ~x2526+1 ~x2491+1 ~x2456+1 ~x2421+1 ~x2386+1 ~x2351+1 ~x2316+1 ~x2281+1 ~x2246+1 ~x2211+1 ~x2176+1 ~x2141+1 ~x2106+1 ~x2071+1 ~x2036+1 ~x2001+1 ~x1966+1 ~x1931+1 ~x1896+1 ~x1861+1 ~x1826+1 ~x1791+1 ~x1756+1 ~x1721+1 ~x1686+1 ~x1651+1 ~x1616+1 ~x1581-0=107 2.68/2.71 c 32 ~x98807+16 ~x98806+8 ~x98805+4 ~x98804+2 ~x98803+1 ~x98802+1 ~x3122+1 ~x3087+1 ~x3052+1 ~x3017+1 ~x2982+1 ~x2947+1 ~x2912+1 ~x2877+1 ~x2842+1 ~x2807+1 ~x2772+1 ~x2737+1 ~x2702+1 ~x2667+1 ~x2632+1 ~x2597+1 ~x2562+1 ~x2527+1 ~x2492+1 ~x2457+1 ~x2422+1 ~x2387+1 ~x2352+1 ~x2317+1 ~x2282+1 ~x2247+1 ~x2212+1 ~x2177+1 ~x2142+1 ~x2107+1 ~x2072+1 ~x2037+1 ~x2002+1 ~x1967+1 ~x1932+1 ~x1897+1 ~x1862+1 ~x1827+1 ~x1792+1 ~x1757+1 ~x1722+1 ~x1687+1 ~x1652+1 ~x1617+1 ~x1582-0=107 2.68/2.77 c 32 ~x101196+16 ~x101195+8 ~x101194+4 ~x101193+2 ~x101192+1 ~x101191+1 ~x3123+1 ~x3088+1 ~x3053+1 ~x3018+1 ~x2983+1 ~x2948+1 ~x2913+1 ~x2878+1 ~x2843+1 ~x2808+1 ~x2773+1 ~x2738+1 ~x2703+1 ~x2668+1 ~x2633+1 ~x2598+1 ~x2563+1 ~x2528+1 ~x2493+1 ~x2458+1 ~x2423+1 ~x2388+1 ~x2353+1 ~x2318+1 ~x2283+1 ~x2248+1 ~x2213+1 ~x2178+1 ~x2143+1 ~x2108+1 ~x2073+1 ~x2038+1 ~x2003+1 ~x1968+1 ~x1933+1 ~x1898+1 ~x1863+1 ~x1828+1 ~x1793+1 ~x1758+1 ~x1723+1 ~x1688+1 ~x1653+1 ~x1618+1 ~x1583-0=107 2.78/2.83 c 32 ~x103585+16 ~x103584+8 ~x103583+4 ~x103582+2 ~x103581+1 ~x103580+1 ~x3124+1 ~x3089+1 ~x3054+1 ~x3019+1 ~x2984+1 ~x2949+1 ~x2914+1 ~x2879+1 ~x2844+1 ~x2809+1 ~x2774+1 ~x2739+1 ~x2704+1 ~x2669+1 ~x2634+1 ~x2599+1 ~x2564+1 ~x2529+1 ~x2494+1 ~x2459+1 ~x2424+1 ~x2389+1 ~x2354+1 ~x2319+1 ~x2284+1 ~x2249+1 ~x2214+1 ~x2179+1 ~x2144+1 ~x2109+1 ~x2074+1 ~x2039+1 ~x2004+1 ~x1969+1 ~x1934+1 ~x1899+1 ~x1864+1 ~x1829+1 ~x1794+1 ~x1759+1 ~x1724+1 ~x1689+1 ~x1654+1 ~x1619+1 ~x1584-0=107 2.78/2.89 c 32 ~x105974+16 ~x105973+8 ~x105972+4 ~x105971+2 ~x105970+1 ~x105969+1 ~x3125+1 ~x3090+1 ~x3055+1 ~x3020+1 ~x2985+1 ~x2950+1 ~x2915+1 ~x2880+1 ~x2845+1 ~x2810+1 ~x2775+1 ~x2740+1 ~x2705+1 ~x2670+1 ~x2635+1 ~x2600+1 ~x2565+1 ~x2530+1 ~x2495+1 ~x2460+1 ~x2425+1 ~x2390+1 ~x2355+1 ~x2320+1 ~x2285+1 ~x2250+1 ~x2215+1 ~x2180+1 ~x2145+1 ~x2110+1 ~x2075+1 ~x2040+1 ~x2005+1 ~x1970+1 ~x1935+1 ~x1900+1 ~x1865+1 ~x1830+1 ~x1795+1 ~x1760+1 ~x1725+1 ~x1690+1 ~x1655+1 ~x1620+1 ~x1585-0=107 2.88/2.94 c 32 ~x108363+16 ~x108362+8 ~x108361+4 ~x108360+2 ~x108359+1 ~x108358+1 ~x3126+1 ~x3091+1 ~x3056+1 ~x3021+1 ~x2986+1 ~x2951+1 ~x2916+1 ~x2881+1 ~x2846+1 ~x2811+1 ~x2776+1 ~x2741+1 ~x2706+1 ~x2671+1 ~x2636+1 ~x2601+1 ~x2566+1 ~x2531+1 ~x2496+1 ~x2461+1 ~x2426+1 ~x2391+1 ~x2356+1 ~x2321+1 ~x2286+1 ~x2251+1 ~x2216+1 ~x2181+1 ~x2146+1 ~x2111+1 ~x2076+1 ~x2041+1 ~x2006+1 ~x1971+1 ~x1936+1 ~x1901+1 ~x1866+1 ~x1831+1 ~x1796+1 ~x1761+1 ~x1726+1 ~x1691+1 ~x1656+1 ~x1621+1 ~x1586-0=107 2.98/3.00 c 32 ~x110752+16 ~x110751+8 ~x110750+4 ~x110749+2 ~x110748+1 ~x110747+1 ~x3127+1 ~x3092+1 ~x3057+1 ~x3022+1 ~x2987+1 ~x2952+1 ~x2917+1 ~x2882+1 ~x2847+1 ~x2812+1 ~x2777+1 ~x2742+1 ~x2707+1 ~x2672+1 ~x2637+1 ~x2602+1 ~x2567+1 ~x2532+1 ~x2497+1 ~x2462+1 ~x2427+1 ~x2392+1 ~x2357+1 ~x2322+1 ~x2287+1 ~x2252+1 ~x2217+1 ~x2182+1 ~x2147+1 ~x2112+1 ~x2077+1 ~x2042+1 ~x2007+1 ~x1972+1 ~x1937+1 ~x1902+1 ~x1867+1 ~x1832+1 ~x1797+1 ~x1762+1 ~x1727+1 ~x1692+1 ~x1657+1 ~x1622+1 ~x1587-0=107 2.98/3.06 c 32 ~x113141+16 ~x113140+8 ~x113139+4 ~x113138+2 ~x113137+1 ~x113136+1 ~x3128+1 ~x3093+1 ~x3058+1 ~x3023+1 ~x2988+1 ~x2953+1 ~x2918+1 ~x2883+1 ~x2848+1 ~x2813+1 ~x2778+1 ~x2743+1 ~x2708+1 ~x2673+1 ~x2638+1 ~x2603+1 ~x2568+1 ~x2533+1 ~x2498+1 ~x2463+1 ~x2428+1 ~x2393+1 ~x2358+1 ~x2323+1 ~x2288+1 ~x2253+1 ~x2218+1 ~x2183+1 ~x2148+1 ~x2113+1 ~x2078+1 ~x2043+1 ~x2008+1 ~x1973+1 ~x1938+1 ~x1903+1 ~x1868+1 ~x1833+1 ~x1798+1 ~x1763+1 ~x1728+1 ~x1693+1 ~x1658+1 ~x1623+1 ~x1588-0=107 3.08/3.12 c 32 ~x115530+16 ~x115529+8 ~x115528+4 ~x115527+2 ~x115526+1 ~x115525+1 ~x3129+1 ~x3094+1 ~x3059+1 ~x3024+1 ~x2989+1 ~x2954+1 ~x2919+1 ~x2884+1 ~x2849+1 ~x2814+1 ~x2779+1 ~x2744+1 ~x2709+1 ~x2674+1 ~x2639+1 ~x2604+1 ~x2569+1 ~x2534+1 ~x2499+1 ~x2464+1 ~x2429+1 ~x2394+1 ~x2359+1 ~x2324+1 ~x2289+1 ~x2254+1 ~x2219+1 ~x2184+1 ~x2149+1 ~x2114+1 ~x2079+1 ~x2044+1 ~x2009+1 ~x1974+1 ~x1939+1 ~x1904+1 ~x1869+1 ~x1834+1 ~x1799+1 ~x1764+1 ~x1729+1 ~x1694+1 ~x1659+1 ~x1624+1 ~x1589-0=107 3.08/3.18 c 32 ~x117919+16 ~x117918+8 ~x117917+4 ~x117916+2 ~x117915+1 ~x117914+1 ~x3130+1 ~x3095+1 ~x3060+1 ~x3025+1 ~x2990+1 ~x2955+1 ~x2920+1 ~x2885+1 ~x2850+1 ~x2815+1 ~x2780+1 ~x2745+1 ~x2710+1 ~x2675+1 ~x2640+1 ~x2605+1 ~x2570+1 ~x2535+1 ~x2500+1 ~x2465+1 ~x2430+1 ~x2395+1 ~x2360+1 ~x2325+1 ~x2290+1 ~x2255+1 ~x2220+1 ~x2185+1 ~x2150+1 ~x2115+1 ~x2080+1 ~x2045+1 ~x2010+1 ~x1975+1 ~x1940+1 ~x1905+1 ~x1870+1 ~x1835+1 ~x1800+1 ~x1765+1 ~x1730+1 ~x1695+1 ~x1660+1 ~x1625+1 ~x1590-0=107 3.19/3.24 c 32 ~x120308+16 ~x120307+8 ~x120306+4 ~x120305+2 ~x120304+1 ~x120303+1 ~x3131+1 ~x3096+1 ~x3061+1 ~x3026+1 ~x2991+1 ~x2956+1 ~x2921+1 ~x2886+1 ~x2851+1 ~x2816+1 ~x2781+1 ~x2746+1 ~x2711+1 ~x2676+1 ~x2641+1 ~x2606+1 ~x2571+1 ~x2536+1 ~x2501+1 ~x2466+1 ~x2431+1 ~x2396+1 ~x2361+1 ~x2326+1 ~x2291+1 ~x2256+1 ~x2221+1 ~x2186+1 ~x2151+1 ~x2116+1 ~x2081+1 ~x2046+1 ~x2011+1 ~x1976+1 ~x1941+1 ~x1906+1 ~x1871+1 ~x1836+1 ~x1801+1 ~x1766+1 ~x1731+1 ~x1696+1 ~x1661+1 ~x1626+1 ~x1591-0=107 3.19/3.30 c 32 ~x122697+16 ~x122696+8 ~x122695+4 ~x122694+2 ~x122693+1 ~x122692+1 ~x3132+1 ~x3097+1 ~x3062+1 ~x3027+1 ~x2992+1 ~x2957+1 ~x2922+1 ~x2887+1 ~x2852+1 ~x2817+1 ~x2782+1 ~x2747+1 ~x2712+1 ~x2677+1 ~x2642+1 ~x2607+1 ~x2572+1 ~x2537+1 ~x2502+1 ~x2467+1 ~x2432+1 ~x2397+1 ~x2362+1 ~x2327+1 ~x2292+1 ~x2257+1 ~x2222+1 ~x2187+1 ~x2152+1 ~x2117+1 ~x2082+1 ~x2047+1 ~x2012+1 ~x1977+1 ~x1942+1 ~x1907+1 ~x1872+1 ~x1837+1 ~x1802+1 ~x1767+1 ~x1732+1 ~x1697+1 ~x1662+1 ~x1627+1 ~x1592-0=107 3.29/3.35 c 32 ~x125086+16 ~x125085+8 ~x125084+4 ~x125083+2 ~x125082+1 ~x125081+1 ~x3133+1 ~x3098+1 ~x3063+1 ~x3028+1 ~x2993+1 ~x2958+1 ~x2923+1 ~x2888+1 ~x2853+1 ~x2818+1 ~x2783+1 ~x2748+1 ~x2713+1 ~x2678+1 ~x2643+1 ~x2608+1 ~x2573+1 ~x2538+1 ~x2503+1 ~x2468+1 ~x2433+1 ~x2398+1 ~x2363+1 ~x2328+1 ~x2293+1 ~x2258+1 ~x2223+1 ~x2188+1 ~x2153+1 ~x2118+1 ~x2083+1 ~x2048+1 ~x2013+1 ~x1978+1 ~x1943+1 ~x1908+1 ~x1873+1 ~x1838+1 ~x1803+1 ~x1768+1 ~x1733+1 ~x1698+1 ~x1663+1 ~x1628+1 ~x1593-0=107 3.38/3.41 c 32 ~x127475+16 ~x127474+8 ~x127473+4 ~x127472+2 ~x127471+1 ~x127470+1 ~x3134+1 ~x3099+1 ~x3064+1 ~x3029+1 ~x2994+1 ~x2959+1 ~x2924+1 ~x2889+1 ~x2854+1 ~x2819+1 ~x2784+1 ~x2749+1 ~x2714+1 ~x2679+1 ~x2644+1 ~x2609+1 ~x2574+1 ~x2539+1 ~x2504+1 ~x2469+1 ~x2434+1 ~x2399+1 ~x2364+1 ~x2329+1 ~x2294+1 ~x2259+1 ~x2224+1 ~x2189+1 ~x2154+1 ~x2119+1 ~x2084+1 ~x2049+1 ~x2014+1 ~x1979+1 ~x1944+1 ~x1909+1 ~x1874+1 ~x1839+1 ~x1804+1 ~x1769+1 ~x1734+1 ~x1699+1 ~x1664+1 ~x1629+1 ~x1594-0=107 3.38/3.47 c 32 ~x129864+16 ~x129863+8 ~x129862+4 ~x129861+2 ~x129860+1 ~x129859+1 ~x3135+1 ~x3100+1 ~x3065+1 ~x3030+1 ~x2995+1 ~x2960+1 ~x2925+1 ~x2890+1 ~x2855+1 ~x2820+1 ~x2785+1 ~x2750+1 ~x2715+1 ~x2680+1 ~x2645+1 ~x2610+1 ~x2575+1 ~x2540+1 ~x2505+1 ~x2470+1 ~x2435+1 ~x2400+1 ~x2365+1 ~x2330+1 ~x2295+1 ~x2260+1 ~x2225+1 ~x2190+1 ~x2155+1 ~x2120+1 ~x2085+1 ~x2050+1 ~x2015+1 ~x1980+1 ~x1945+1 ~x1910+1 ~x1875+1 ~x1840+1 ~x1805+1 ~x1770+1 ~x1735+1 ~x1700+1 ~x1665+1 ~x1630+1 ~x1595-0=107 3.48/3.53 c 32 ~x132253+16 ~x132252+8 ~x132251+4 ~x132250+2 ~x132249+1 ~x132248+1 ~x3136+1 ~x3101+1 ~x3066+1 ~x3031+1 ~x2996+1 ~x2961+1 ~x2926+1 ~x2891+1 ~x2856+1 ~x2821+1 ~x2786+1 ~x2751+1 ~x2716+1 ~x2681+1 ~x2646+1 ~x2611+1 ~x2576+1 ~x2541+1 ~x2506+1 ~x2471+1 ~x2436+1 ~x2401+1 ~x2366+1 ~x2331+1 ~x2296+1 ~x2261+1 ~x2226+1 ~x2191+1 ~x2156+1 ~x2121+1 ~x2086+1 ~x2051+1 ~x2016+1 ~x1981+1 ~x1946+1 ~x1911+1 ~x1876+1 ~x1841+1 ~x1806+1 ~x1771+1 ~x1736+1 ~x1701+1 ~x1666+1 ~x1631+1 ~x1596-0=107 3.48/3.59 c 32 ~x134642+16 ~x134641+8 ~x134640+4 ~x134639+2 ~x134638+1 ~x134637+1 ~x3137+1 ~x3102+1 ~x3067+1 ~x3032+1 ~x2997+1 ~x2962+1 ~x2927+1 ~x2892+1 ~x2857+1 ~x2822+1 ~x2787+1 ~x2752+1 ~x2717+1 ~x2682+1 ~x2647+1 ~x2612+1 ~x2577+1 ~x2542+1 ~x2507+1 ~x2472+1 ~x2437+1 ~x2402+1 ~x2367+1 ~x2332+1 ~x2297+1 ~x2262+1 ~x2227+1 ~x2192+1 ~x2157+1 ~x2122+1 ~x2087+1 ~x2052+1 ~x2017+1 ~x1982+1 ~x1947+1 ~x1912+1 ~x1877+1 ~x1842+1 ~x1807+1 ~x1772+1 ~x1737+1 ~x1702+1 ~x1667+1 ~x1632+1 ~x1597-0=107 3.58/3.65 c 32 ~x137031+16 ~x137030+8 ~x137029+4 ~x137028+2 ~x137027+1 ~x137026+1 ~x3138+1 ~x3103+1 ~x3068+1 ~x3033+1 ~x2998+1 ~x2963+1 ~x2928+1 ~x2893+1 ~x2858+1 ~x2823+1 ~x2788+1 ~x2753+1 ~x2718+1 ~x2683+1 ~x2648+1 ~x2613+1 ~x2578+1 ~x2543+1 ~x2508+1 ~x2473+1 ~x2438+1 ~x2403+1 ~x2368+1 ~x2333+1 ~x2298+1 ~x2263+1 ~x2228+1 ~x2193+1 ~x2158+1 ~x2123+1 ~x2088+1 ~x2053+1 ~x2018+1 ~x1983+1 ~x1948+1 ~x1913+1 ~x1878+1 ~x1843+1 ~x1808+1 ~x1773+1 ~x1738+1 ~x1703+1 ~x1668+1 ~x1633+1 ~x1598-0=107 3.68/3.71 c 32 ~x139420+16 ~x139419+8 ~x139418+4 ~x139417+2 ~x139416+1 ~x139415+1 ~x3139+1 ~x3104+1 ~x3069+1 ~x3034+1 ~x2999+1 ~x2964+1 ~x2929+1 ~x2894+1 ~x2859+1 ~x2824+1 ~x2789+1 ~x2754+1 ~x2719+1 ~x2684+1 ~x2649+1 ~x2614+1 ~x2579+1 ~x2544+1 ~x2509+1 ~x2474+1 ~x2439+1 ~x2404+1 ~x2369+1 ~x2334+1 ~x2299+1 ~x2264+1 ~x2229+1 ~x2194+1 ~x2159+1 ~x2124+1 ~x2089+1 ~x2054+1 ~x2019+1 ~x1984+1 ~x1949+1 ~x1914+1 ~x1879+1 ~x1844+1 ~x1809+1 ~x1774+1 ~x1739+1 ~x1704+1 ~x1669+1 ~x1634+1 ~x1599-0=107 3.68/3.76 c 32 ~x141809+16 ~x141808+8 ~x141807+4 ~x141806+2 ~x141805+1 ~x141804+1 ~x3140+1 ~x3105+1 ~x3070+1 ~x3035+1 ~x3000+1 ~x2965+1 ~x2930+1 ~x2895+1 ~x2860+1 ~x2825+1 ~x2790+1 ~x2755+1 ~x2720+1 ~x2685+1 ~x2650+1 ~x2615+1 ~x2580+1 ~x2545+1 ~x2510+1 ~x2475+1 ~x2440+1 ~x2405+1 ~x2370+1 ~x2335+1 ~x2300+1 ~x2265+1 ~x2230+1 ~x2195+1 ~x2160+1 ~x2125+1 ~x2090+1 ~x2055+1 ~x2020+1 ~x1985+1 ~x1950+1 ~x1915+1 ~x1880+1 ~x1845+1 ~x1810+1 ~x1775+1 ~x1740+1 ~x1705+1 ~x1670+1 ~x1635+1 ~x1600-0=107 3.78/3.82 c 32 ~x144198+16 ~x144197+8 ~x144196+4 ~x144195+2 ~x144194+1 ~x144193+1 ~x3141+1 ~x3106+1 ~x3071+1 ~x3036+1 ~x3001+1 ~x2966+1 ~x2931+1 ~x2896+1 ~x2861+1 ~x2826+1 ~x2791+1 ~x2756+1 ~x2721+1 ~x2686+1 ~x2651+1 ~x2616+1 ~x2581+1 ~x2546+1 ~x2511+1 ~x2476+1 ~x2441+1 ~x2406+1 ~x2371+1 ~x2336+1 ~x2301+1 ~x2266+1 ~x2231+1 ~x2196+1 ~x2161+1 ~x2126+1 ~x2091+1 ~x2056+1 ~x2021+1 ~x1986+1 ~x1951+1 ~x1916+1 ~x1881+1 ~x1846+1 ~x1811+1 ~x1776+1 ~x1741+1 ~x1706+1 ~x1671+1 ~x1636+1 ~x1601-0=107 3.78/3.88 c 32 ~x146587+16 ~x146586+8 ~x146585+4 ~x146584+2 ~x146583+1 ~x146582+1 ~x3142+1 ~x3107+1 ~x3072+1 ~x3037+1 ~x3002+1 ~x2967+1 ~x2932+1 ~x2897+1 ~x2862+1 ~x2827+1 ~x2792+1 ~x2757+1 ~x2722+1 ~x2687+1 ~x2652+1 ~x2617+1 ~x2582+1 ~x2547+1 ~x2512+1 ~x2477+1 ~x2442+1 ~x2407+1 ~x2372+1 ~x2337+1 ~x2302+1 ~x2267+1 ~x2232+1 ~x2197+1 ~x2162+1 ~x2127+1 ~x2092+1 ~x2057+1 ~x2022+1 ~x1987+1 ~x1952+1 ~x1917+1 ~x1882+1 ~x1847+1 ~x1812+1 ~x1777+1 ~x1742+1 ~x1707+1 ~x1672+1 ~x1637+1 ~x1602-0=107 3.88/3.94 c 32 ~x148976+16 ~x148975+8 ~x148974+4 ~x148973+2 ~x148972+1 ~x148971+1 ~x3143+1 ~x3108+1 ~x3073+1 ~x3038+1 ~x3003+1 ~x2968+1 ~x2933+1 ~x2898+1 ~x2863+1 ~x2828+1 ~x2793+1 ~x2758+1 ~x2723+1 ~x2688+1 ~x2653+1 ~x2618+1 ~x2583+1 ~x2548+1 ~x2513+1 ~x2478+1 ~x2443+1 ~x2408+1 ~x2373+1 ~x2338+1 ~x2303+1 ~x2268+1 ~x2233+1 ~x2198+1 ~x2163+1 ~x2128+1 ~x2093+1 ~x2058+1 ~x2023+1 ~x1988+1 ~x1953+1 ~x1918+1 ~x1883+1 ~x1848+1 ~x1813+1 ~x1778+1 ~x1743+1 ~x1708+1 ~x1673+1 ~x1638+1 ~x1603-0=107 3.99/4.00 c 32 ~x151365+16 ~x151364+8 ~x151363+4 ~x151362+2 ~x151361+1 ~x151360+1 ~x3144+1 ~x3109+1 ~x3074+1 ~x3039+1 ~x3004+1 ~x2969+1 ~x2934+1 ~x2899+1 ~x2864+1 ~x2829+1 ~x2794+1 ~x2759+1 ~x2724+1 ~x2689+1 ~x2654+1 ~x2619+1 ~x2584+1 ~x2549+1 ~x2514+1 ~x2479+1 ~x2444+1 ~x2409+1 ~x2374+1 ~x2339+1 ~x2304+1 ~x2269+1 ~x2234+1 ~x2199+1 ~x2164+1 ~x2129+1 ~x2094+1 ~x2059+1 ~x2024+1 ~x1989+1 ~x1954+1 ~x1919+1 ~x1884+1 ~x1849+1 ~x1814+1 ~x1779+1 ~x1744+1 ~x1709+1 ~x1674+1 ~x1639+1 ~x1604-0=107 3.99/4.06 c 32 ~x153754+16 ~x153753+8 ~x153752+4 ~x153751+2 ~x153750+1 ~x153749+1 ~x3145+1 ~x3110+1 ~x3075+1 ~x3040+1 ~x3005+1 ~x2970+1 ~x2935+1 ~x2900+1 ~x2865+1 ~x2830+1 ~x2795+1 ~x2760+1 ~x2725+1 ~x2690+1 ~x2655+1 ~x2620+1 ~x2585+1 ~x2550+1 ~x2515+1 ~x2480+1 ~x2445+1 ~x2410+1 ~x2375+1 ~x2340+1 ~x2305+1 ~x2270+1 ~x2235+1 ~x2200+1 ~x2165+1 ~x2130+1 ~x2095+1 ~x2060+1 ~x2025+1 ~x1990+1 ~x1955+1 ~x1920+1 ~x1885+1 ~x1850+1 ~x1815+1 ~x1780+1 ~x1745+1 ~x1710+1 ~x1675+1 ~x1640+1 ~x1605-0=107 4.08/4.11 c 32 ~x156143+16 ~x156142+8 ~x156141+4 ~x156140+2 ~x156139+1 ~x156138+1 ~x3146+1 ~x3111+1 ~x3076+1 ~x3041+1 ~x3006+1 ~x2971+1 ~x2936+1 ~x2901+1 ~x2866+1 ~x2831+1 ~x2796+1 ~x2761+1 ~x2726+1 ~x2691+1 ~x2656+1 ~x2621+1 ~x2586+1 ~x2551+1 ~x2516+1 ~x2481+1 ~x2446+1 ~x2411+1 ~x2376+1 ~x2341+1 ~x2306+1 ~x2271+1 ~x2236+1 ~x2201+1 ~x2166+1 ~x2131+1 ~x2096+1 ~x2061+1 ~x2026+1 ~x1991+1 ~x1956+1 ~x1921+1 ~x1886+1 ~x1851+1 ~x1816+1 ~x1781+1 ~x1746+1 ~x1711+1 ~x1676+1 ~x1641+1 ~x1606-0=107 4.08/4.17 c 32 ~x158532+16 ~x158531+8 ~x158530+4 ~x158529+2 ~x158528+1 ~x158527+1 ~x3147+1 ~x3112+1 ~x3077+1 ~x3042+1 ~x3007+1 ~x2972+1 ~x2937+1 ~x2902+1 ~x2867+1 ~x2832+1 ~x2797+1 ~x2762+1 ~x2727+1 ~x2692+1 ~x2657+1 ~x2622+1 ~x2587+1 ~x2552+1 ~x2517+1 ~x2482+1 ~x2447+1 ~x2412+1 ~x2377+1 ~x2342+1 ~x2307+1 ~x2272+1 ~x2237+1 ~x2202+1 ~x2167+1 ~x2132+1 ~x2097+1 ~x2062+1 ~x2027+1 ~x1992+1 ~x1957+1 ~x1922+1 ~x1887+1 ~x1852+1 ~x1817+1 ~x1782+1 ~x1747+1 ~x1712+1 ~x1677+1 ~x1642+1 ~x1607-0=107 4.18/4.23 c 32 ~x160921+16 ~x160920+8 ~x160919+4 ~x160918+2 ~x160917+1 ~x160916+1 ~x3148+1 ~x3113+1 ~x3078+1 ~x3043+1 ~x3008+1 ~x2973+1 ~x2938+1 ~x2903+1 ~x2868+1 ~x2833+1 ~x2798+1 ~x2763+1 ~x2728+1 ~x2693+1 ~x2658+1 ~x2623+1 ~x2588+1 ~x2553+1 ~x2518+1 ~x2483+1 ~x2448+1 ~x2413+1 ~x2378+1 ~x2343+1 ~x2308+1 ~x2273+1 ~x2238+1 ~x2203+1 ~x2168+1 ~x2133+1 ~x2098+1 ~x2063+1 ~x2028+1 ~x1993+1 ~x1958+1 ~x1923+1 ~x1888+1 ~x1853+1 ~x1818+1 ~x1783+1 ~x1748+1 ~x1713+1 ~x1678+1 ~x1643+1 ~x1608-0=107 4.18/4.29 c 32 ~x163310+16 ~x163309+8 ~x163308+4 ~x163307+2 ~x163306+1 ~x163305+1 ~x3149+1 ~x3114+1 ~x3079+1 ~x3044+1 ~x3009+1 ~x2974+1 ~x2939+1 ~x2904+1 ~x2869+1 ~x2834+1 ~x2799+1 ~x2764+1 ~x2729+1 ~x2694+1 ~x2659+1 ~x2624+1 ~x2589+1 ~x2554+1 ~x2519+1 ~x2484+1 ~x2449+1 ~x2414+1 ~x2379+1 ~x2344+1 ~x2309+1 ~x2274+1 ~x2239+1 ~x2204+1 ~x2169+1 ~x2134+1 ~x2099+1 ~x2064+1 ~x2029+1 ~x1994+1 ~x1959+1 ~x1924+1 ~x1889+1 ~x1854+1 ~x1819+1 ~x1784+1 ~x1749+1 ~x1714+1 ~x1679+1 ~x1644+1 ~x1609-0=107 4.29/4.35 c 32 ~x165699+16 ~x165698+8 ~x165697+4 ~x165696+2 ~x165695+1 ~x165694+1 ~x3150+1 ~x3115+1 ~x3080+1 ~x3045+1 ~x3010+1 ~x2975+1 ~x2940+1 ~x2905+1 ~x2870+1 ~x2835+1 ~x2800+1 ~x2765+1 ~x2730+1 ~x2695+1 ~x2660+1 ~x2625+1 ~x2590+1 ~x2555+1 ~x2520+1 ~x2485+1 ~x2450+1 ~x2415+1 ~x2380+1 ~x2345+1 ~x2310+1 ~x2275+1 ~x2240+1 ~x2205+1 ~x2170+1 ~x2135+1 ~x2100+1 ~x2065+1 ~x2030+1 ~x1995+1 ~x1960+1 ~x1925+1 ~x1890+1 ~x1855+1 ~x1820+1 ~x1785+1 ~x1750+1 ~x1715+1 ~x1680+1 ~x1645+1 ~x1610-0=107 4.39/4.41 c 32 ~x168088+16 ~x168087+8 ~x168086+4 ~x168085+2 ~x168084+1 ~x168083+1 ~x3151+1 ~x3116+1 ~x3081+1 ~x3046+1 ~x3011+1 ~x2976+1 ~x2941+1 ~x2906+1 ~x2871+1 ~x2836+1 ~x2801+1 ~x2766+1 ~x2731+1 ~x2696+1 ~x2661+1 ~x2626+1 ~x2591+1 ~x2556+1 ~x2521+1 ~x2486+1 ~x2451+1 ~x2416+1 ~x2381+1 ~x2346+1 ~x2311+1 ~x2276+1 ~x2241+1 ~x2206+1 ~x2171+1 ~x2136+1 ~x2101+1 ~x2066+1 ~x2031+1 ~x1996+1 ~x1961+1 ~x1926+1 ~x1891+1 ~x1856+
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674481-1276790970/watcher-2674481-1276790970 -o /tmp/evaluation-result-2674481-1276790970/solver-2674481-1276790970 -C 1800 -W 2000 -M 1800 run HOME/instance-2674481-1276790970.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.13 1.04 1.01 3/106 22463 /proc/meminfo: memFree=1713572/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [startup+0.0734821 s] /proc/loadavg: 1.13 1.04 1.01 3/106 22463 /proc/meminfo: memFree=1713572/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101484 s] /proc/loadavg: 1.13 1.04 1.01 3/106 22463 /proc/meminfo: memFree=1713572/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301503 s] /proc/loadavg: 1.13 1.04 1.01 3/106 22463 /proc/meminfo: memFree=1713572/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701536 s] /proc/loadavg: 1.13 1.04 1.01 3/106 22463 /proc/meminfo: memFree=1713572/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50059 s] /proc/loadavg: 1.13 1.04 1.01 2/108 22466 /proc/meminfo: memFree=1633948/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=91504 CPUtime=1.48 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 23084 0 0 0 124 24 0 0 25 0 1 0 20388617 93700096 22057 1992294400 134512640 134902295 4293631280 18446744073709551615 4160321353 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 22876 22057 262 96 0 22088 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 100204 [startup+3.10073 s] /proc/loadavg: 1.13 1.04 1.01 2/108 22466 /proc/meminfo: memFree=1616712/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=119104 CPUtime=3.08 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 30406 0 0 0 281 27 0 0 25 0 1 0 20388617 121962496 28638 1992294400 134512640 134902295 4293631280 18446744073709551615 134584709 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 29776 28638 262 96 0 28988 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 127804 [startup+6.30101 s] /proc/loadavg: 1.20 1.06 1.01 2/108 22466 /proc/meminfo: memFree=1574056/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=145980 CPUtime=6.28 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 36974 0 0 0 598 30 0 0 25 0 1 0 20388617 149483520 35004 1992294400 134512640 134902295 4293631280 18446744073709551615 4160283337 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 36495 35004 269 96 0 35707 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 154680 [startup+12.7006 s] /proc/loadavg: 1.18 1.05 1.01 2/108 22466 /proc/meminfo: memFree=1571824/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=147900 CPUtime=12.68 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 37445 0 0 0 1238 30 0 0 25 0 1 0 20388617 151449600 35475 1992294400 134512640 134902295 4293631280 18446744073709551615 4160313470 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 36975 35475 269 96 0 36187 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 156600 [startup+25.5017 s] /proc/loadavg: 1.14 1.05 1.01 2/108 22466 /proc/meminfo: memFree=1568352/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=151236 CPUtime=25.48 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 38294 0 0 0 2517 31 0 0 25 0 1 0 20388617 154865664 36324 1992294400 134512640 134902295 4293631280 18446744073709551615 4160316311 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 37809 36324 269 96 0 37021 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 159936 [startup+51.1019 s] /proc/loadavg: 1.09 1.05 1.01 2/108 22468 /proc/meminfo: memFree=1564756/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=154924 CPUtime=51.07 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 39185 0 0 0 5075 32 0 0 25 0 1 0 20388617 158642176 37215 1992294400 134512640 134902295 4293631280 18446744073709551615 4160313820 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 38731 37215 269 96 0 37943 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 163624 [startup+102.308 s] /proc/loadavg: 1.04 1.04 1.00 2/108 22468 /proc/meminfo: memFree=1555704/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=163524 CPUtime=102.26 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 41360 0 0 0 10193 33 0 0 25 0 1 0 20388617 167448576 39390 1992294400 134512640 134902295 4293631280 18446744073709551615 4160295933 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 40881 39390 269 96 0 40093 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 172224 [startup+162.302 s] /proc/loadavg: 1.01 1.03 1.00 2/108 22470 /proc/meminfo: memFree=1549876/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=169540 CPUtime=162.24 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 42825 0 0 0 16189 35 0 0 25 0 1 0 20388617 173608960 40855 1992294400 134512640 134902295 4293631280 18446744073709551615 4160295441 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 42385 40855 269 96 0 41597 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 178240 [startup+222.302 s] /proc/loadavg: 1.04 1.03 1.00 2/108 22472 /proc/meminfo: memFree=1544420/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=174852 CPUtime=222.23 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 44164 0 0 0 22186 37 0 0 25 0 1 0 20388617 179048448 42194 1992294400 134512640 134902295 4293631280 18446744073709551615 4160283304 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 43713 42194 269 96 0 42925 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 183552 [startup+282.301 s] /proc/loadavg: 1.01 1.03 1.00 2/108 22474 /proc/meminfo: memFree=1540204/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=179296 CPUtime=282.22 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 45223 0 0 0 28184 38 0 0 25 0 1 0 20388617 183599104 43253 1992294400 134512640 134902295 4293631280 18446744073709551615 4160319148 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 44824 43253 269 96 0 44036 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 187996 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/108 22474 /proc/meminfo: memFree=1535988/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=183444 CPUtime=342.2 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 46269 0 0 0 34181 39 0 0 25 0 1 0 20388617 187846656 44299 1992294400 134512640 134902295 4293631280 18446744073709551615 4160283391 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 45861 44299 269 96 0 45073 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 192144 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/108 22476 /proc/meminfo: memFree=1532020/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=187596 CPUtime=402.18 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 47294 0 0 0 40179 39 0 0 25 0 1 0 20388617 192098304 45324 1992294400 134512640 134902295 4293631280 18446744073709551615 4160302343 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 46899 45324 269 96 0 46111 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 196296 [startup+462.302 s] ################ # More data... # ################ /proc/22465/statm: 56902 55121 269 96 0 56114 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 236308 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22498 /proc/meminfo: memFree=1489488/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=230260 CPUtime=1241.98 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 57747 0 0 0 124148 50 0 0 25 0 1 0 20388617 235786240 55777 1992294400 134512640 134902295 4293631280 18446744073709551615 4160283383 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 57565 55777 269 96 0 56777 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 238960 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22500 /proc/meminfo: memFree=1487008/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=232620 CPUtime=1301.97 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 58342 0 0 0 130147 50 0 0 25 0 1 0 20388617 238202880 56372 1992294400 134512640 134902295 4293631280 18446744073709551615 4160302188 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 58155 56372 269 96 0 57367 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 241320 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22502 /proc/meminfo: memFree=1484900/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=234896 CPUtime=1361.95 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 58905 0 0 0 136144 51 0 0 25 0 1 0 20388617 240533504 56935 1992294400 134512640 134902295 4293631280 18446744073709551615 4160313470 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 58724 56935 269 96 0 57936 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 243596 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22507 /proc/meminfo: memFree=1481924/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=237152 CPUtime=1421.95 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 59472 0 0 0 142143 52 0 0 25 0 1 0 20388617 242843648 57502 1992294400 134512640 134902295 4293631280 18446744073709551615 4160313690 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 59288 57502 269 96 0 58500 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 245852 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22509 /proc/meminfo: memFree=1480064/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=239144 CPUtime=1481.92 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 59949 0 0 0 148140 52 0 0 25 0 1 0 20388617 244883456 57979 1992294400 134512640 134902295 4293631280 18446744073709551615 4160313470 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 59786 57979 269 96 0 58998 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 247844 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22509 /proc/meminfo: memFree=1477832/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=241368 CPUtime=1541.91 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 60512 0 0 0 154138 53 0 0 25 0 1 0 20388617 247160832 58542 1992294400 134512640 134902295 4293631280 18446744073709551615 4160313832 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 60342 58542 269 96 0 59554 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 250068 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22511 /proc/meminfo: memFree=1476096/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=243236 CPUtime=1601.9 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 60972 0 0 0 160136 54 0 0 25 0 1 0 20388617 249073664 59002 1992294400 134512640 134902295 4293631280 18446744073709551615 4160301913 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 60809 59002 269 96 0 60021 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 251936 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22513 /proc/meminfo: memFree=1474236/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=244956 CPUtime=1661.88 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 61429 0 0 0 166134 54 0 0 25 0 1 0 20388617 250834944 59459 1992294400 134512640 134902295 4293631280 18446744073709551615 4160313632 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 61239 59459 269 96 0 60451 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 253656 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22515 /proc/meminfo: memFree=1472004/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=247220 CPUtime=1721.86 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 61992 0 0 0 172131 55 0 0 25 0 1 0 20388617 253153280 60022 1992294400 134512640 134902295 4293631280 18446744073709551615 4160313470 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 61805 60022 269 96 0 61017 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 255920 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22517 /proc/meminfo: memFree=1470020/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=249172 CPUtime=1781.85 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 62464 0 0 0 178129 56 0 0 25 0 1 0 20388617 255152128 60494 1992294400 134512640 134902295 4293631280 18446744073709551615 4160283391 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 62293 60494 269 96 0 61505 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 257872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22517 /proc/meminfo: memFree=1469400/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=249700 CPUtime=1800.05 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 62619 0 0 0 179949 56 0 0 25 0 1 0 20388617 255692800 60649 1992294400 134512640 134902295 4293631280 18446744073709551615 4160313478 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 62425 60649 269 96 0 61637 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 258400 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22517 /proc/meminfo: memFree=1469400/2059040 swapFree=4141112/4192956 [pid=22463] ppid=22461 vsize=8700 CPUtime=0 /proc/22463/stat : 22463 (run) S 22461 22463 22102 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20388617 8908800 250 1992294400 4194304 4922060 140733736319936 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22463/statm: 2175 250 211 178 0 68 0 [pid=22465] ppid=22463 vsize=249700 CPUtime=1800.05 /proc/22465/stat : 22465 (PBPASSolver) R 22463 22463 22102 0 -1 4202496 62619 0 0 0 179949 56 0 0 25 0 1 0 20388617 255692800 60649 1992294400 134512640 134902295 4293631280 18446744073709551615 4160313478 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22465/statm: 62425 60649 269 96 0 61637 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 258400 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22463 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.49 CPU system time (s): 0.56 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 258400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 522 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= 3 involuntary context switches= 3 runsolver used 3.08253 second user time and 8.40072 second system time The end
Begin job on node050 at 2010-06-17 18:09:30 IDJOB=2674481 IDBENCH=1411 IDSOLVER=1174 FILE ID=node050/2674481-1276790970 PBS_JOBID= 11176577 Free space on /tmp= 62572 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674481-1276790970/watcher-2674481-1276790970 -o /tmp/evaluation-result-2674481-1276790970/solver-2674481-1276790970 -C 1800 -W 2000 -M 1800 run HOME/instance-2674481-1276790970.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f8c14dd136fe3d96d6bf396134dc65fd RANDOM SEED=1678504829 node050.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1714092 kB Buffers: 99084 kB Cached: 152888 kB SwapCached: 6564 kB Active: 89228 kB Inactive: 176876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1714092 kB SwapTotal: 4192956 kB SwapFree: 4141112 kB Dirty: 760 kB Writeback: 0 kB AnonPages: 11692 kB Mapped: 13020 kB Slab: 57104 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179704 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62572 MiB End job on node050 at 2010-06-17 18:39:33