| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PBPASSolver 2010-06-13 | ? (TO) | 1800.08 | 1800.91 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod013.opb |
| MD5SUM | 4cb1be2dcc654132071469b521292770 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 30807040 |
| Best CPU time to get the best result obtained on this benchmark | 1800.16 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 32455680 |
| Optimality of the best value was proved | NO |
| Number of variables | 1488 |
| Total number of constraints | 62 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 62 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 240 |
| Number of terms in the objective function | 1488 |
| Biggest coefficient in the objective function | 375272767488 |
| Number of bits for the biggest coefficient in the objective function | 39 |
| Sum of the numbers in the objective function | 12937590079727 |
| Number of bits of the sum of numbers in the objective function | 44 |
| Biggest number in a constraint | 375272767488 |
| Number of bits of the biggest number in a constraint | 39 |
| Biggest sum of numbers in a constraint | 12937590079727 |
| Number of bits of the biggest sum of numbers | 44 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2.09/2.14 c 1488 62 0 0 0 0 0 0 2.09/2.14 c 536870912 ~x80939+268435456 ~x80938+134217728 ~x80937+67108864 ~x80936+33554432 ~x80935+16777216 ~x80934+8388608 ~x80933+4194304 ~x80932+2097152 ~x80931+1048576 ~x80930+524288 ~x80929+262144 ~x80928+131072 ~x80927+65536 ~x80926+32768 ~x80925+16384 ~x80924+8192 ~x80923+4096 ~x80922+2048 ~x80921+1024 ~x80920+512 ~x80919+256 ~x80918+128 ~x80917+64 ~x80916+32 ~x80915+16 ~x80914+8 ~x80913+4 ~x80912+2 ~x80911+1 ~x80910+35840 x1322+536870912 ~x31+268435456 ~x30+134217728 ~x29+67108864 ~x28+33554432 ~x27+16777216 ~x26+8388608 ~x25+4194304 ~x24+2097152 ~x23+1048576 ~x22+524288 ~x21+262144 ~x20+131072 ~x19+65536 ~x18+32768 ~x17+16384 ~x16+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=2147483646 2.48/2.55 c 536870912 ~x100079+268435456 ~x100078+134217728 ~x100077+67108864 ~x100076+33554432 ~x100075+16777216 ~x100074+8388608 ~x100073+4194304 ~x100072+2097152 ~x100071+1048576 ~x100070+524288 ~x100069+262144 ~x100068+131072 ~x100067+65536 ~x100066+32768 ~x100065+16384 ~x100064+8192 ~x100063+4096 ~x100062+2048 ~x100061+1024 ~x100060+512 ~x100059+256 ~x100058+128 ~x100057+64 ~x100056+32 ~x100055+16 ~x100054+8 ~x100053+4 ~x100052+2 ~x100051+1 ~x100050+30720 x1323+536870912 ~x361+268435456 ~x360+134217728 ~x359+67108864 ~x358+33554432 ~x357+16777216 ~x356+8388608 ~x355+4194304 ~x354+2097152 ~x353+1048576 ~x352+524288 ~x351+262144 ~x350+131072 ~x349+65536 ~x348+32768 ~x347+16384 ~x346+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332-0=2147483646 2.88/2.96 c 16384 ~x119204+8192 ~x119203+4096 ~x119202+2048 ~x119201+1024 ~x119200+512 ~x119199+256 ~x119198+128 ~x119197+64 ~x119196+32 ~x119195+16 ~x119194+8 ~x119193+4 ~x119192+2 ~x119191+1 ~x119190+25600 x1324+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=65534 2.98/3.06 c 16384 ~x123496+8192 ~x123495+4096 ~x123494+2048 ~x123493+1024 ~x123492+512 ~x123491+256 ~x123490+128 ~x123489+64 ~x123488+32 ~x123487+16 ~x123486+8 ~x123485+4 ~x123484+2 ~x123483+1 ~x123482+20480 x1325+16384 ~x1006+8192 ~x1005+4096 ~x1004+2048 ~x1003+1024 ~x1002+512 ~x1001+256 ~x1000+128 ~x999+64 ~x998+32 ~x997+16 ~x996+8 ~x995+4 ~x994+2 ~x993+1 ~x992-0=65534 3.48/3.57 c 8192 ~x146513+4096 ~x146512+2048 ~x146511+1024 ~x146510+512 ~x146509+256 ~x146508+128 ~x146507+64 ~x146506+32 ~x146505+16 ~x146504+8 ~x146503+4 ~x146502+2 ~x146501+1 ~x146500+15360 x1326+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=32766 3.58/3.65 c 8192 ~x150229+4096 ~x150228+2048 ~x150227+1024 ~x150226+512 ~x150225+256 ~x150224+128 ~x150223+64 ~x150222+32 ~x150221+16 ~x150220+8 ~x150219+4 ~x150218+2 ~x150217+1 ~x150216+8192 ~x1345+4096 ~x1344+2048 ~x1343+1024 ~x1342+512 ~x1341+256 ~x1340+128 ~x1339+64 ~x1338+32 ~x1337+16 ~x1336+8 ~x1335+4 ~x1334+2 ~x1333+1 ~x1332+10240 x1327-0=32766 3.68/3.74 c 8192 ~x153897+4096 ~x153896+2048 ~x153895+1024 ~x153894+512 ~x153893+256 ~x153892+128 ~x153891+64 ~x153890+32 ~x153889+16 ~x153888+8 ~x153887+4 ~x153886+2 ~x153885+1 ~x153884+8192 ~x1385+4096 ~x1384+2048 ~x1383+1024 ~x1382+512 ~x1381+256 ~x1380+128 ~x1379+64 ~x1378+32 ~x1377+16 ~x1376+8 ~x1375+4 ~x1374+2 ~x1373+1 ~x1372+10240 x1328-0=32766 3.78/3.83 c 4096 ~x157564+2048 ~x157563+1024 ~x157562+512 ~x157561+256 ~x157560+128 ~x157559+64 ~x157558+32 ~x157557+16 ~x157556+8 ~x157555+4 ~x157554+2 ~x157553+1 ~x157552+4096 ~x1424+2048 ~x1423+1024 ~x1422+512 ~x1421+256 ~x1420+128 ~x1419+64 ~x1418+32 ~x1417+16 ~x1416+8 ~x1415+4 ~x1414+2 ~x1413+1 ~x1412+5120 x1329-0=16382 3.78/3.89 c 536870912 ~x160251+268435456 ~x160250+134217728 ~x160249+67108864 ~x160248+33554432 ~x160247+16777216 ~x160246+8388608 ~x160245+4194304 ~x160244+2097152 ~x160243+1048576 ~x160242+524288 ~x160241+262144 ~x160240+131072 ~x160239+65536 ~x160238+32768 ~x160237+16384 ~x160236+8192 ~x160235+4096 ~x160234+2048 ~x160233+1024 ~x160232+512 ~x160231+256 ~x160230+128 ~x160229+64 ~x160228+32 ~x160227+16 ~x160226+8 ~x160225+4 ~x160224+2 ~x160223+1 ~x160222+536870912 ~x1481+268435456 ~x1480+134217728 ~x1479+67108864 ~x1478+33554432 ~x1477+16777216 ~x1476+8388608 ~x1475+4194304 ~x1474+2097152 ~x1473+1048576 ~x1472+524288 ~x1471+262144 ~x1470+131072 ~x1469+65536 ~x1468+32768 ~x1467+16384 ~x1466+8192 ~x1465+4096 ~x1464+2048 ~x1463+1024 ~x1462+512 ~x1461+256 ~x1460+128 ~x1459+64 ~x1458+32 ~x1457+16 ~x1456+8 ~x1455+4 ~x1454+2 ~x1453+1 ~x1452+35840 x1330-0=2147483646 4.18/4.30 c 536870912 ~x179286+268435456 ~x179285+134217728 ~x179284+67108864 ~x179283+33554432 ~x179282+16777216 ~x179281+8388608 ~x179280+4194304 ~x179279+2097152 ~x179278+1048576 ~x179277+524288 ~x179276+262144 ~x179275+131072 ~x179274+65536 ~x179273+32768 ~x179272+16384 ~x179271+8192 ~x179270+4096 ~x179269+2048 ~x179268+1024 ~x179267+512 ~x179266+256 ~x179265+128 ~x179264+64 ~x179263+32 ~x179262+16 ~x179261+8 ~x179260+4 ~x179259+2 ~x179258+1 ~x179257+30720 x1331+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=2147483646 4.68/4.71 c 16384 ~x198411+8192 ~x198410+4096 ~x198409+2048 ~x198408+1024 ~x198407+512 ~x198406+256 ~x198405+128 ~x198404+64 ~x198403+32 ~x198402+16 ~x198401+8 ~x198400+4 ~x198399+2 ~x198398+1 ~x198397+25600 x1362+16384 ~x76+8192 ~x75+4096 ~x74+2048 ~x73+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62-0=65534 4.78/4.81 c 16384 ~x202703+8192 ~x202702+4096 ~x202701+2048 ~x202700+1024 ~x202699+512 ~x202698+256 ~x202697+128 ~x202696+64 ~x202695+32 ~x202694+16 ~x202693+8 ~x202692+4 ~x202691+2 ~x202690+1 ~x202689+20480 x1363+16384 ~x106+8192 ~x105+4096 ~x104+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92-0=65534 4.88/4.91 c 8192 ~x206994+4096 ~x206993+2048 ~x206992+1024 ~x206991+512 ~x206990+256 ~x206989+128 ~x206988+64 ~x206987+32 ~x206986+16 ~x206985+8 ~x206984+4 ~x206983+2 ~x206982+1 ~x206981+15360 x1364+8192 ~x135+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122-0=32766 4.99/5.00 c 8192 ~x210710+4096 ~x210709+2048 ~x210708+1024 ~x210707+512 ~x210706+256 ~x210705+128 ~x210704+64 ~x210703+32 ~x210702+16 ~x210701+8 ~x210700+4 ~x210699+2 ~x210698+1 ~x210697+10240 x1365+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152-0=32766 5.39/5.49 c 8192 ~x233152+4096 ~x233151+2048 ~x233150+1024 ~x233149+512 ~x233148+256 ~x233147+128 ~x233146+64 ~x233145+32 ~x233144+16 ~x233143+8 ~x233142+4 ~x233141+2 ~x233140+1 ~x233139+10240 x1366+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182-0=32766 5.49/5.58 c 4096 ~x236867+2048 ~x236866+1024 ~x236865+512 ~x236864+256 ~x236863+128 ~x236862+64 ~x236861+32 ~x236860+16 ~x236859+8 ~x236858+4 ~x236857+2 ~x236856+1 ~x236855+5120 x1367+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212-0=16382 5.58/5.64 c 536870912 ~x239584+268435456 ~x239583+134217728 ~x239582+67108864 ~x239581+33554432 ~x239580+16777216 ~x239579+8388608 ~x239578+4194304 ~x239577+2097152 ~x239576+1048576 ~x239575+524288 ~x239574+262144 ~x239573+131072 ~x239572+65536 ~x239571+32768 ~x239570+16384 ~x239569+8192 ~x239568+4096 ~x239567+2048 ~x239566+1024 ~x239565+512 ~x239564+256 ~x239563+128 ~x239562+64 ~x239561+32 ~x239560+16 ~x239559+8 ~x239558+4 ~x239557+2 ~x239556+1 ~x239555+30720 x1368+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242-0=2147483646 5.98/6.05 c 536870912 ~x258724+268435456 ~x258723+134217728 ~x258722+67108864 ~x258721+33554432 ~x258720+16777216 ~x258719+8388608 ~x258718+4194304 ~x258717+2097152 ~x258716+1048576 ~x258715+524288 ~x258714+262144 ~x258713+131072 ~x258712+65536 ~x258711+32768 ~x258710+16384 ~x258709+8192 ~x258708+4096 ~x258707+2048 ~x258706+1024 ~x258705+512 ~x258704+256 ~x258703+128 ~x258702+64 ~x258701+32 ~x258700+16 ~x258699+8 ~x258698+4 ~x258697+2 ~x258696+1 ~x258695+30720 x1369+536870912 ~x301+268435456 ~x300+134217728 ~x299+67108864 ~x298+33554432 ~x297+16777216 ~x296+8388608 ~x295+4194304 ~x294+2097152 ~x293+1048576 ~x292+524288 ~x291+262144 ~x290+131072 ~x289+65536 ~x288+32768 ~x287+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272-0=2147483646 6.38/6.47 c 16384 ~x277849+8192 ~x277848+4096 ~x277847+2048 ~x277846+1024 ~x277845+512 ~x277844+256 ~x277843+128 ~x277842+64 ~x277841+32 ~x277840+16 ~x277839+8 ~x277838+4 ~x277837+2 ~x277836+1 ~x277835+25600 x1370+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302-0=65534 6.48/6.57 c 16384 ~x282141+8192 ~x282140+4096 ~x282139+2048 ~x282138+1024 ~x282137+512 ~x282136+256 ~x282135+128 ~x282134+64 ~x282133+32 ~x282132+16 ~x282131+8 ~x282130+4 ~x282129+2 ~x282128+1 ~x282127+20480 x1371+16384 ~x376+8192 ~x375+4096 ~x374+2048 ~x373+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362-0=65534 6.59/6.66 c 8192 ~x286432+4096 ~x286431+2048 ~x286430+1024 ~x286429+512 ~x286428+256 ~x286427+128 ~x286426+64 ~x286425+32 ~x286424+16 ~x286423+8 ~x286422+4 ~x286421+2 ~x286420+1 ~x286419+15360 x1402+8192 ~x405+4096 ~x404+2048 ~x403+1024 ~x402+512 ~x401+256 ~x400+128 ~x399+64 ~x398+32 ~x397+16 ~x396+8 ~x395+4 ~x394+2 ~x393+1 ~x392-0=32766 6.68/6.75 c 8192 ~x290148+4096 ~x290147+2048 ~x290146+1024 ~x290145+512 ~x290144+256 ~x290143+128 ~x290142+64 ~x290141+32 ~x290140+16 ~x290139+8 ~x290138+4 ~x290137+2 ~x290136+1 ~x290135+10240 x1403+8192 ~x435+4096 ~x434+2048 ~x433+1024 ~x432+512 ~x431+256 ~x430+128 ~x429+64 ~x428+32 ~x427+16 ~x426+8 ~x425+4 ~x424+2 ~x423+1 ~x422-0=32766 6.78/6.84 c 8192 ~x293864+4096 ~x293863+2048 ~x293862+1024 ~x293861+512 ~x293860+256 ~x293859+128 ~x293858+64 ~x293857+32 ~x293856+16 ~x293855+8 ~x293854+4 ~x293853+2 ~x293852+1 ~x293851+10240 x1404+8192 ~x465+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452-0=32766 6.88/6.93 c 4096 ~x297579+2048 ~x297578+1024 ~x297577+512 ~x297576+256 ~x297575+128 ~x297574+64 ~x297573+32 ~x297572+16 ~x297571+8 ~x297570+4 ~x297569+2 ~x297568+1 ~x297567+5120 x1405+4096 ~x494+2048 ~x493+1024 ~x492+512 ~x491+256 ~x490+128 ~x489+64 ~x488+32 ~x487+16 ~x486+8 ~x485+4 ~x484+2 ~x483+1 ~x482-0=16382 7.28/7.39 c 536870912 ~x318686+268435456 ~x318685+134217728 ~x318684+67108864 ~x318683+33554432 ~x318682+16777216 ~x318681+8388608 ~x318680+4194304 ~x318679+2097152 ~x318678+1048576 ~x318677+524288 ~x318676+262144 ~x318675+131072 ~x318674+65536 ~x318673+32768 ~x318672+16384 ~x318671+8192 ~x318670+4096 ~x318669+2048 ~x318668+1024 ~x318667+512 ~x318666+256 ~x318665+128 ~x318664+64 ~x318663+32 ~x318662+16 ~x318661+8 ~x318660+4 ~x318659+2 ~x318658+1 ~x318657+20480 x1406+536870912 ~x541+268435456 ~x540+134217728 ~x539+67108864 ~x538+33554432 ~x537+16777216 ~x536+8388608 ~x535+4194304 ~x534+2097152 ~x533+1048576 ~x532+524288 ~x531+262144 ~x530+131072 ~x529+65536 ~x528+32768 ~x527+16384 ~x526+8192 ~x525+4096 ~x524+2048 ~x523+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512-0=2147483646 7.78/7.80 c 536870912 ~x337826+268435456 ~x337825+134217728 ~x337824+67108864 ~x337823+33554432 ~x337822+16777216 ~x337821+8388608 ~x337820+4194304 ~x337819+2097152 ~x337818+1048576 ~x337817+524288 ~x337816+262144 ~x337815+131072 ~x337814+65536 ~x337813+32768 ~x337812+16384 ~x337811+8192 ~x337810+4096 ~x337809+2048 ~x337808+1024 ~x337807+512 ~x337806+256 ~x337805+128 ~x337804+64 ~x337803+32 ~x337802+16 ~x337801+8 ~x337800+4 ~x337799+2 ~x337798+1 ~x337797+20480 x1407+536870912 ~x571+268435456 ~x570+134217728 ~x569+67108864 ~x568+33554432 ~x567+16777216 ~x566+8388608 ~x565+4194304 ~x564+2097152 ~x563+1048576 ~x562+524288 ~x561+262144 ~x560+131072 ~x559+65536 ~x558+32768 ~x557+16384 ~x556+8192 ~x555+4096 ~x554+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542-0=2147483646 8.17/8.22 c 16384 ~x356951+8192 ~x356950+4096 ~x356949+2048 ~x356948+1024 ~x356947+512 ~x356946+256 ~x356945+128 ~x356944+64 ~x356943+32 ~x356942+16 ~x356941+8 ~x356940+4 ~x356939+2 ~x356938+1 ~x356937+20480 x1408+16384 ~x586+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572-0=65534 8.28/8.31 c 16384 ~x361243+8192 ~x361242+4096 ~x361241+2048 ~x361240+1024 ~x361239+512 ~x361238+256 ~x361237+128 ~x361236+64 ~x361235+32 ~x361234+16 ~x361233+8 ~x361232+4 ~x361231+2 ~x361230+1 ~x361229+20480 x1409+16384 ~x616+8192 ~x615+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=65534 8.38/8.41 c 8192 ~x365534+4096 ~x365533+2048 ~x365532+1024 ~x365531+512 ~x365530+256 ~x365529+128 ~x365528+64 ~x365527+32 ~x365526+16 ~x365525+8 ~x365524+4 ~x365523+2 ~x365522+1 ~x365521+15360 x1410+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632-0=32766 8.48/8.50 c 8192 ~x369250+4096 ~x369249+2048 ~x369248+1024 ~x369247+512 ~x369246+256 ~x369245+128 ~x369244+64 ~x369243+32 ~x369242+16 ~x369241+8 ~x369240+4 ~x369239+2 ~x369238+1 ~x369237+10240 x1411+8192 ~x705+4096 ~x704+2048 ~x703+1024 ~x702+512 ~x701+256 ~x700+128 ~x699+64 ~x698+32 ~x697+16 ~x696+8 ~x695+4 ~x694+2 ~x693+1 ~x692-0=32766 8.48/8.59 c 8192 ~x372966+4096 ~x372965+2048 ~x372964+1024 ~x372963+512 ~x372962+256 ~x372961+128 ~x372960+64 ~x372959+32 ~x372958+16 ~x372957+8 ~x372956+4 ~x372955+2 ~x372954+1 ~x372953+10240 x1442+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722-0=32766 8.58/8.68 c 4096 ~x376681+2048 ~x376680+1024 ~x376679+512 ~x376678+256 ~x376677+128 ~x376676+64 ~x376675+32 ~x376674+16 ~x376673+8 ~x376672+4 ~x376671+2 ~x376670+1 ~x376669+5120 x1443+4096 ~x764+2048 ~x763+1024 ~x762+512 ~x761+256 ~x760+128 ~x759+64 ~x758+32 ~x757+16 ~x756+8 ~x755+4 ~x754+2 ~x753+1 ~x752-0=16382 8.68/8.74 c 536870912 ~x379398+268435456 ~x379397+134217728 ~x379396+67108864 ~x379395+33554432 ~x379394+16777216 ~x379393+8388608 ~x379392+4194304 ~x379391+2097152 ~x379390+1048576 ~x379389+524288 ~x379388+262144 ~x379387+131072 ~x379386+65536 ~x379385+32768 ~x379384+16384 ~x379383+8192 ~x379382+4096 ~x379381+2048 ~x379380+1024 ~x379379+512 ~x379378+256 ~x379377+128 ~x379376+64 ~x379375+32 ~x379374+16 ~x379373+8 ~x379372+4 ~x379371+2 ~x379370+1 ~x379369+10240 x1444+536870912 ~x811+268435456 ~x810+134217728 ~x809+67108864 ~x808+33554432 ~x807+16777216 ~x806+8388608 ~x805+4194304 ~x804+2097152 ~x803+1048576 ~x802+524288 ~x801+262144 ~x800+131072 ~x799+65536 ~x798+32768 ~x797+16384 ~x796+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782-0=2147483646 9.08/9.15 c 536870912 ~x398538+268435456 ~x398537+134217728 ~x398536+67108864 ~x398535+33554432 ~x398534+16777216 ~x398533+8388608 ~x398532+4194304 ~x398531+2097152 ~x398530+1048576 ~x398529+524288 ~x398528+262144 ~x398527+131072 ~x398526+65536 ~x398525+32768 ~x398524+16384 ~x398523+8192 ~x398522+4096 ~x398521+2048 ~x398520+1024 ~x398519+512 ~x398518+256 ~x398517+128 ~x398516+64 ~x398515+32 ~x398514+16 ~x398513+8 ~x398512+4 ~x398511+2 ~x398510+1 ~x398509+10240 x1445+536870912 ~x841+268435456 ~x840+134217728 ~x839+67108864 ~x838+33554432 ~x837+16777216 ~x836+8388608 ~x835+4194304 ~x834+2097152 ~x833+1048576 ~x832+524288 ~x831+262144 ~x830+131072 ~x829+65536 ~x828+32768 ~x827+16384 ~x826+8192 ~x825+4096 ~x824+2048 ~x823+1024 ~x822+512 ~x821+256 ~x820+128 ~x819+64 ~x818+32 ~x817+16 ~x816+8 ~x815+4 ~x814+2 ~x813+1 ~x812-0=2147483646 9.89/9.96 c 16384 ~x436053+8192 ~x436052+4096 ~x436051+2048 ~x436050+1024 ~x436049+512 ~x436048+256 ~x436047+128 ~x436046+64 ~x436045+32 ~x436044+16 ~x436043+8 ~x436042+4 ~x436041+2 ~x436040+1 ~x436039+10240 x1446+16384 ~x856+8192 ~x855+4096 ~x854+2048 ~x853+1024 ~x852+512 ~x851+256 ~x850+128 ~x849+64 ~x848+32 ~x847+16 ~x846+8 ~x845+4 ~x844+2 ~x843+1 ~x842-0=65534 9.98/10.06 c 16384 ~x440088+8192 ~x440087+4096 ~x440086+2048 ~x440085+1024 ~x440084+512 ~x440083+256 ~x440082+128 ~x440081+64 ~x440080+32 ~x440079+16 ~x440078+8 ~x440077+4 ~x440076+2 ~x440075+1 ~x440074+10240 x1447+16384 ~x886+8192 ~x885+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872-0=65534 10.08/10.15 c 8192 ~x444122+4096 ~x444121+2048 ~x444120+1024 ~x444119+512 ~x444118+256 ~x444117+128 ~x444116+64 ~x444115+32 ~x444114+16 ~x444113+8 ~x444112+4 ~x444111+2 ~x444110+1 ~x444109+10240 x1448+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902-0=32766 10.17/10.24 c 8192 ~x447838+4096 ~x447837+2048 ~x447836+1024 ~x447835+512 ~x447834+256 ~x447833+128 ~x447832+64 ~x447831+32 ~x447830+16 ~x447829+8 ~x447828+4 ~x447827+2 ~x447826+1 ~x447825+10240 x1449+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932-0=32766 10.27/10.33 c 8192 ~x451554+4096 ~x451553+2048 ~x451552+1024 ~x451551+512 ~x451550+256 ~x451549+128 ~x451548+64 ~x451547+32 ~x451546+16 ~x451545+8 ~x451544+4 ~x451543+2 ~x451542+1 ~x451541+10240 x1450+8192 ~x975+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962-0=32766 10.37/10.42 c 4096 ~x455269+2048 ~x455268+1024 ~x455267+512 ~x455266+256 ~x455265+128 ~x455264+64 ~x455263+32 ~x455262+16 ~x455261+8 ~x455260+4 ~x455259+2 ~x455258+1 ~x455257+5120 x1451+4096 ~x1034+2048 ~x1033+1024 ~x1032+512 ~x1031+256 ~x1030+128 ~x1029+64 ~x1028+32 ~x1027+16 ~x1026+8 ~x1025+4 ~x1024+2 ~x1023+1 ~x1022-0=16382 10.37/10.48 c 536870912 ~x457986+268435456 ~x457985+134217728 ~x457984+67108864 ~x457983+33554432 ~x457982+16777216 ~x457981+8388608 ~x457980+4194304 ~x457979+2097152 ~x457978+1048576 ~x457977+524288 ~x457976+262144 ~x457975+131072 ~x457974+65536 ~x457973+32768 ~x457972+16384 ~x457971+8192 ~x457970+4096 ~x457969+2048 ~x457968+1024 ~x457967+512 ~x457966+256 ~x457965+128 ~x457964+64 ~x457963+32 ~x457962+16 ~x457961+8 ~x457960+4 ~x457959+2 ~x457958+1 ~x457957+5120 x1482+536870912 ~x1081+268435456 ~x1080+134217728 ~x1079+67108864 ~x1078+33554432 ~x1077+16777216 ~x1076+8388608 ~x1075+4194304 ~x1074+2097152 ~x1073+1048576 ~x1072+524288 ~x1071+262144 ~x1070+131072 ~x1069+65536 ~x1068+32768 ~x1067+16384 ~x1066+8192 ~x1065+4096 ~x1064+2048 ~x1063+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052-0=2147483646 10.77/10.89 c 536870912 ~x477126+268435456 ~x477125+134217728 ~x477124+67108864 ~x477123+33554432 ~x477122+16777216 ~x477121+8388608 ~x477120+4194304 ~x477119+2097152 ~x477118+1048576 ~x477117+524288 ~x477116+262144 ~x477115+131072 ~x477114+65536 ~x477113+32768 ~x477112+16384 ~x477111+8192 ~x477110+4096 ~x477109+2048 ~x477108+1024 ~x477107+512 ~x477106+256 ~x477105+128 ~x477104+64 ~x477103+32 ~x477102+16 ~x477101+8 ~x477100+4 ~x477099+2 ~x477098+1 ~x477097+5120 x1483+536870912 ~x1111+268435456 ~x1110+134217728 ~x1109+67108864 ~x1108+33554432 ~x1107+16777216 ~x1106+8388608 ~x1105+4194304 ~x1104+2097152 ~x1103+1048576 ~x1102+524288 ~x1101+262144 ~x1100+131072 ~x1099+65536 ~x1098+32768 ~x1097+16384 ~x1096+8192 ~x1095+4096 ~x1094+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082-0=2147483646 11.27/11.30 c 16384 ~x496251+8192 ~x496250+4096 ~x496249+2048 ~x496248+1024 ~x496247+512 ~x496246+256 ~x496245+128 ~x496244+64 ~x496243+32 ~x496242+16 ~x496241+8 ~x496240+4 ~x496239+2 ~x496238+1 ~x496237+5120 x1484+16384 ~x1126+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112-0=65534 11.37/11.40 c 16384 ~x500286+8192 ~x500285+4096 ~x500284+2048 ~x500283+1024 ~x500282+512 ~x500281+256 ~x500280+128 ~x500279+64 ~x500278+32 ~x500277+16 ~x500276+8 ~x500275+4 ~x500274+2 ~x500273+1 ~x500272+5120 x1485+16384 ~x1156+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142-0=65534 11.77/11.88 c 8192 ~x522038+4096 ~x522037+2048 ~x522036+1024 ~x522035+512 ~x522034+256 ~x522033+128 ~x522032+64 ~x522031+32 ~x522030+16 ~x522029+8 ~x522028+4 ~x522027+2 ~x522026+1 ~x522025+5120 x1486+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172-0=32766 11.87/11.97 c 8192 ~x525754+4096 ~x525753+2048 ~x525752+1024 ~x525751+512 ~x525750+256 ~x525749+128 ~x525748+64 ~x525747+32 ~x525746+16 ~x525745+8 ~x525744+4 ~x525743+2 ~x525742+1 ~x525741+5120 x1487+8192 ~x1215+4096 ~x1214+2048 ~x1213+1024 ~x1212+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202-0=32766 11.98/12.06 c 8192 ~x529470+4096 ~x529469+2048 ~x529468+1024 ~x529467+512 ~x529466+256 ~x529465+128 ~x529464+64 ~x529463+32 ~x529462+16 ~x529461+8 ~x529460+4 ~x529459+2 ~x529458+1 ~x529457+5120 x1488+8192 ~x1245+4096 ~x1244+2048 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232-0=32766 12.08/12.14 c 4096 ~x533185+2048 ~x533184+1024 ~x533183+512 ~x533182+256 ~x533181+128 ~x533180+64 ~x533179+32 ~x533178+16 ~x533177+8 ~x533176+4 ~x533175+2 ~x533174+1 ~x533173+5120 x
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-2674137-1276800044/watcher-2674137-1276800044 -o /tmp/evaluation-result-2674137-1276800044/solver-2674137-1276800044 -C 1800 -W 2000 -M 1800 run HOME/instance-2674137-1276800044.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: 0.91 0.95 0.98 4/105 25450 /proc/meminfo: memFree=1663680/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [startup+0.017225 s] /proc/loadavg: 0.91 0.95 0.98 4/105 25450 /proc/meminfo: memFree=1663680/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100226 s] /proc/loadavg: 0.91 0.95 0.98 4/105 25450 /proc/meminfo: memFree=1663680/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300228 s] /proc/loadavg: 0.91 0.95 0.98 4/105 25450 /proc/meminfo: memFree=1663680/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700231 s] /proc/loadavg: 0.91 0.95 0.98 4/105 25450 /proc/meminfo: memFree=1663680/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50024 s] /proc/loadavg: 0.91 0.95 0.98 2/107 25453 /proc/meminfo: memFree=1591620/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=85168 CPUtime=1.48 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 24332 0 0 0 122 26 0 0 23 0 1 0 21295814 87212032 20369 1992294400 134512640 134902295 4291200848 18446744073709551615 134788450 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 21292 20369 262 96 0 20504 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 93868 [startup+3.10025 s] /proc/loadavg: 0.91 0.95 0.98 2/107 25453 /proc/meminfo: memFree=1572028/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=113356 CPUtime=3.08 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 33000 0 0 0 279 29 0 0 25 0 1 0 21295814 116076544 27371 1992294400 134512640 134902295 4291200848 18446744073709551615 7714300 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 28339 27371 262 96 0 27551 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 122056 [startup+6.30128 s] /proc/loadavg: 0.92 0.95 0.98 2/107 25453 /proc/meminfo: memFree=1509408/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=179656 CPUtime=6.28 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 48862 0 0 0 592 36 0 0 25 0 1 0 21295814 183967744 43177 1992294400 134512640 134902295 4291200848 18446744073709551615 7714300 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 44914 43177 262 96 0 44126 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 188356 [startup+12.7003 s] /proc/loadavg: 0.93 0.95 0.98 2/107 25453 /proc/meminfo: memFree=1380200/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=310228 CPUtime=12.67 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 79648 0 0 0 1217 50 0 0 25 0 1 0 21295814 317673472 73763 1992294400 134512640 134902295 4291200848 18446744073709551615 134631594 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 77557 73763 262 96 0 76769 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 318928 [startup+25.5004 s] /proc/loadavg: 0.94 0.96 0.98 2/107 25453 /proc/meminfo: memFree=1359120/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=318140 CPUtime=25.47 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 81975 0 0 0 2496 51 0 0 25 0 1 0 21295814 325775360 76090 1992294400 134512640 134902295 4291200848 18446744073709551615 4160015984 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 79535 76090 269 96 0 78747 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 326840 [startup+51.1007 s] /proc/loadavg: 0.96 0.96 0.98 2/107 25453 /proc/meminfo: memFree=1356020/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=321180 CPUtime=51.05 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 82746 0 0 0 5053 52 0 0 25 0 1 0 21295814 328888320 76861 1992294400 134512640 134902295 4291200848 18446744073709551615 4160015475 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 80295 76861 269 96 0 79507 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 329880 [startup+102.308 s] /proc/loadavg: 0.98 0.96 0.98 2/107 25455 /proc/meminfo: memFree=1348704/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=328256 CPUtime=102.24 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 84484 0 0 0 10170 54 0 0 25 0 1 0 21295814 336134144 78599 1992294400 134512640 134902295 4291200848 18446744073709551615 4159996656 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 82064 78599 269 96 0 81276 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 336956 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 25457 /proc/meminfo: memFree=1339404/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=337640 CPUtime=162.2 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 86822 0 0 0 16165 55 0 0 25 0 1 0 21295814 345743360 80937 1992294400 134512640 134902295 4291200848 18446744073709551615 4160026750 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 84410 80937 269 96 0 83622 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 346340 [startup+222.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 25459 /proc/meminfo: memFree=1334692/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=342328 CPUtime=222.18 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 87983 0 0 0 22162 56 0 0 25 0 1 0 21295814 350543872 82098 1992294400 134512640 134902295 4291200848 18446744073709551615 4160008668 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 85582 82098 269 96 0 84794 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 351028 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 25459 /proc/meminfo: memFree=1326012/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=351088 CPUtime=282.15 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 90147 0 0 0 28157 58 0 0 25 0 1 0 21295814 359514112 84262 1992294400 134512640 134902295 4291200848 18446744073709551615 4160026750 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 87772 84262 269 96 0 86984 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 359788 [startup+342.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 25461 /proc/meminfo: memFree=1317704/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=359452 CPUtime=342.13 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 92244 0 0 0 34151 62 0 0 25 0 1 0 21295814 368078848 86359 1992294400 134512640 134902295 4291200848 18446744073709551615 4160008683 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 89863 86359 269 96 0 89075 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 368152 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 25463 /proc/meminfo: memFree=1310388/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=367040 CPUtime=402.1 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 94088 0 0 0 40146 64 0 0 25 0 1 0 21295814 375848960 88203 1992294400 134512640 134902295 4291200848 18446744073709551615 4160029671 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 91760 88203 269 96 0 90972 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 375740 [startup+462.3 s] ################ # More data... # ################ /proc/25452/statm: 110300 106559 269 96 0 109512 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 449900 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/107 25494 /proc/meminfo: memFree=1231152/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=445640 CPUtime=1241.72 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 113580 0 0 0 124079 93 0 0 25 0 1 0 21295814 456335360 107695 1992294400 134512640 134902295 4291200848 18446744073709551615 4160029640 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 111410 107695 269 96 0 110622 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 454340 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/107 25496 /proc/meminfo: memFree=1227680/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=449268 CPUtime=1301.7 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 114479 0 0 0 130075 95 0 0 25 0 1 0 21295814 460050432 108594 1992294400 134512640 134902295 4291200848 18446744073709551615 4159996638 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 112317 108594 269 96 0 111529 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 457968 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/107 25498 /proc/meminfo: memFree=1223340/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=453644 CPUtime=1361.66 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 115588 0 0 0 136070 96 0 0 25 0 1 0 21295814 464531456 109703 1992294400 134512640 134902295 4291200848 18446744073709551615 4160015774 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 113411 109703 269 96 0 112623 0 Current children cumulated CPU time (s) 1361.66 Current children cumulated vsize (KiB) 462344 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/107 25500 /proc/meminfo: memFree=1216644/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=460248 CPUtime=1421.65 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 117230 0 0 0 142067 98 0 0 25 0 1 0 21295814 471293952 111345 1992294400 134512640 134902295 4291200848 18446744073709551615 4160015193 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 115062 111345 269 96 0 114274 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 468948 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/107 25500 /proc/meminfo: memFree=1212800/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=464152 CPUtime=1481.61 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 118202 0 0 0 148062 99 0 0 25 0 1 0 21295814 475291648 112317 1992294400 134512640 134902295 4291200848 18446744073709551615 4160026750 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 116038 112317 269 96 0 115250 0 Current children cumulated CPU time (s) 1481.61 Current children cumulated vsize (KiB) 472852 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/107 25502 /proc/meminfo: memFree=1209204/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=467768 CPUtime=1541.58 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 119107 0 0 0 154058 100 0 0 25 0 1 0 21295814 478994432 113222 1992294400 134512640 134902295 4291200848 18446744073709551615 4159996673 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 116942 113222 269 96 0 116154 0 Current children cumulated CPU time (s) 1541.58 Current children cumulated vsize (KiB) 476468 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/107 25504 /proc/meminfo: memFree=1207096/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=469804 CPUtime=1601.56 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 119621 0 0 0 160055 101 0 0 25 0 1 0 21295814 481079296 113736 1992294400 134512640 134902295 4291200848 18446744073709551615 4159996544 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 117451 113736 269 96 0 116663 0 Current children cumulated CPU time (s) 1601.56 Current children cumulated vsize (KiB) 478504 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/107 25506 /proc/meminfo: memFree=1203872/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=473064 CPUtime=1661.53 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 120441 0 0 0 166051 102 0 0 25 0 1 0 21295814 484417536 114556 1992294400 134512640 134902295 4291200848 18446744073709551615 4160026909 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 118266 114556 269 96 0 117478 0 Current children cumulated CPU time (s) 1661.53 Current children cumulated vsize (KiB) 481764 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/107 25508 /proc/meminfo: memFree=1200400/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=476512 CPUtime=1721.5 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 121330 0 0 0 172047 103 0 0 25 0 1 0 21295814 487948288 115445 1992294400 134512640 134902295 4291200848 18446744073709551615 4160026927 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 119128 115445 269 96 0 118340 0 Current children cumulated CPU time (s) 1721.5 Current children cumulated vsize (KiB) 485212 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/107 25508 /proc/meminfo: memFree=1197052/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=479540 CPUtime=1781.48 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 122094 0 0 0 178043 105 0 0 25 0 1 0 21295814 491048960 116209 1992294400 134512640 134902295 4291200848 18446744073709551615 4159996465 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 119885 116209 269 96 0 119097 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (KiB) 488240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 0.99 0.98 2/107 25510 /proc/meminfo: memFree=1196184/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=480468 CPUtime=1800.08 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 122324 0 0 0 179903 105 0 0 25 0 1 0 21295814 491999232 116439 1992294400 134512640 134902295 4291200848 18446744073709551615 4160015739 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 120117 116439 269 96 0 119329 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 489168 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 0.99 0.98 2/107 25510 /proc/meminfo: memFree=1196184/2059040 swapFree=4140540/4192956 [pid=25450] ppid=25448 vsize=8700 CPUtime=0 /proc/25450/stat : 25450 (run) S 25448 25450 25344 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 21295814 8908800 250 1992294400 4194304 4922060 140733969001264 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25450/statm: 2175 250 211 178 0 68 0 [pid=25452] ppid=25450 vsize=480468 CPUtime=1800.08 /proc/25452/stat : 25452 (PBPASSolver) R 25450 25450 25344 0 -1 4202496 122324 0 0 0 179903 105 0 0 25 0 1 0 21295814 491999232 116439 1992294400 134512640 134902295 4291200848 18446744073709551615 4160015739 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/25452/statm: 120117 116439 269 96 0 119329 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 489168 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25450 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.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.91 CPU time (s): 1800.08 CPU user time (s): 1799.03 CPU system time (s): 1.05 CPU usage (%): 99.9537 Max. virtual memory (cumulated for all children) (KiB): 489168 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= 523 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= 4 runsolver used 3.32849 second user time and 8.22675 second system time The end
Begin job on node054 at 2010-06-17 20:40:44 IDJOB=2674137 IDBENCH=2469 IDSOLVER=1174 FILE ID=node054/2674137-1276800044 PBS_JOBID= 11176632 Free space on /tmp= 62476 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod013.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674137-1276800044/watcher-2674137-1276800044 -o /tmp/evaluation-result-2674137-1276800044/solver-2674137-1276800044 -C 1800 -W 2000 -M 1800 run HOME/instance-2674137-1276800044.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4cb1be2dcc654132071469b521292770 RANDOM SEED=1165312435 node054.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.217 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.217 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1664076 kB Buffers: 152700 kB Cached: 157424 kB SwapCached: 6892 kB Active: 134240 kB Inactive: 189928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1664076 kB SwapTotal: 4192956 kB SwapFree: 4140540 kB Dirty: 780 kB Writeback: 0 kB AnonPages: 11236 kB Mapped: 12992 kB Slab: 49072 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181604 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62476 MiB End job on node054 at 2010-06-17 21:10:47