Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.03 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
MD5SUM | 38a2c469f9dc1120b8fe634a693ac03d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8691 |
Best CPU time to get the best result obtained on this benchmark | 0.140977 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10829 |
Optimality of the best value was proved | NO |
Number of variables | 548 |
Total number of constraints | 166 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 126 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 143 |
Number of terms in the objective function | 416 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 96797 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 96797 |
Number of bits of the biggest sum of numbers | 17 |
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.16 c 548 166 0 0 0 0 0 0 0.00/0.16 c 512 ~x559+256 ~x558+128 ~x557+64 ~x556+32 ~x555+16 ~x554+8 ~x553+4 ~x552+2 ~x551+1 ~x550+71 x11+68 x10+68 x9+189 x8+120 x7+35 x6+161 ~x5+167 x4+10 x3+59 x2-0=1880 0.00/0.16 c 256 ~x1830+128 ~x1829+64 ~x1828+32 ~x1827+16 ~x1826+8 ~x1825+4 ~x1824+2 ~x1823+1 ~x1822+71 x22+68 x21+68 x20+189 x19+120 x18+35 x17+161 ~x16+167 x15+10 x14+59 x13+106 x12-0=770 0.00/0.20 c 512 ~x3108+256 ~x3107+128 ~x3106+64 ~x3105+32 ~x3104+16 ~x3103+8 ~x3102+4 ~x3101+2 ~x3100+1 ~x3099+71 x31+68 x30+189 x29+120 x28+35 x27+161 ~x26+167 x25+10 x24+59 x23-0=1674 0.00/0.26 c 512 ~x4296+256 ~x4295+128 ~x4294+64 ~x4293+32 ~x4292+16 ~x4291+8 ~x4290+4 ~x4289+2 ~x4288+1 ~x4287+71 x41+68 x40+68 x39+189 x38+120 x37+35 x36+161 ~x35+167 x34+10 x33+59 x32-0=1871 0.00/0.26 c 256 ~x5567+128 ~x5566+64 ~x5565+32 ~x5564+16 ~x5563+8 ~x5562+4 ~x5561+2 ~x5560+1 ~x5559+71 x52+68 x51+68 x50+189 x49+120 x48+35 x47+161 ~x46+167 x45+10 x44+59 x43+106 x42-0=866 0.00/0.29 c 512 ~x6845+256 ~x6844+128 ~x6843+64 ~x6842+32 ~x6841+16 ~x6840+8 ~x6839+4 ~x6838+2 ~x6837+1 ~x6836+71 x61+68 x60+68 x59+189 x58+120 x57+45 ~x56+10 x55+59 x54+106 x53-0=1737 0.00/0.34 c 64 ~x8009+32 ~x8008+16 ~x8007+8 ~x8006+4 ~x8005+2 ~x8004+1 ~x8003+71 x90+68 x89+68 x88+35 x85+10 x82+59 x81-0=242 0.00/0.34 c 256 ~x8641+128 ~x8640+64 ~x8639+32 ~x8638+16 ~x8637+8 ~x8636+4 ~x8635+2 ~x8634+1 ~x8633+71 x101+68 x100+68 x99+189 x98+120 x97+35 x96+161 ~x95+167 x94+10 x93+59 x92+106 x91-0=931 0.00/0.37 c 128 ~x9917+64 ~x9916+32 ~x9915+16 ~x9914+8 ~x9913+4 ~x9912+2 ~x9911+1 ~x9910+71 x110+68 x109+189 x108+120 x107+35 x106+161 ~x105+167 x104+10 x103+59 x102-0=483 0.00/0.42 c 128 ~x10869+64 ~x10868+32 ~x10867+16 ~x10866+8 ~x10865+4 ~x10864+2 ~x10863+1 ~x10862+71 x120+68 x119+68 x118+120 x116+35 x115+10 x112+59 x111-0=397 0.00/0.42 c 256 ~x11642+128 ~x11641+64 ~x11640+32 ~x11639+16 ~x11638+8 ~x11637+4 ~x11636+2 ~x11635+1 ~x11634+71 x131+68 x130+68 x129+189 x128+120 x127+35 x126+161 ~x125+167 x124+10 x123+59 x122+106 x121-0=991 0.00/0.47 c 64 ~x12917+32 ~x12916+16 ~x12915+8 ~x12914+4 ~x12913+2 ~x12912+1 ~x12911+71 x152+68 x151+68 x150+35 x149+10 x147-0=234 0.00/0.47 c 256 ~x13361+128 ~x13360+64 ~x13359+32 ~x13358+16 ~x13357+8 ~x13356+4 ~x13355+2 ~x13354+1 ~x13353+71 x172+77 x171+100 x170+149 x169+68 x168+189 x167+120 x166+35 x165+161 ~x164+167 x163+10 x162+59 x161+81 x160-0=845 0.00/0.50 c 256 ~x14788+128 ~x14787+64 ~x14786+32 ~x14785+16 ~x14784+8 ~x14783+4 ~x14782+2 ~x14781+1 ~x14780+71 x184+77 x183+100 x182+149 x181+68 x180+189 x179+120 x178+35 x177+161 ~x176+10 x175+59 x174+81 x173-0=919 0.00/0.54 c 512 ~x16096+256 ~x16095+128 ~x16094+64 ~x16093+32 ~x16092+16 ~x16091+8 ~x16090+4 ~x16089+2 ~x16088+1 ~x16087+71 x196+77 x195+100 x194+149 x193+68 x192+189 x191+120 x190+35 x189+161 ~x188+10 x187+59 x186+81 x185-0=1639 0.00/0.57 c 1024 ~x17486+512 ~x17485+256 ~x17484+128 ~x17483+64 ~x17482+32 ~x17481+16 ~x17480+8 ~x17479+4 ~x17478+2 ~x17477+1 ~x17476+71 x210+77 x209+100 x208+149 x207+68 x206+189 x205+120 x204+35 x203+161 ~x202+167 x201+10 x200+59 x199+81 x198+93 x197-0=3204 0.00/0.65 c 256 ~x19508+128 ~x19507+64 ~x19506+32 ~x19505+16 ~x19504+8 ~x19503+4 ~x19502+2 ~x19501+1 ~x19500+71 x217+100 x216+149 x215+68 x214+35 x213+161 ~x212+10 x211-0=844 0.00/0.65 c 256 ~x20350+128 ~x20349+64 ~x20348+32 ~x20347+16 ~x20346+8 ~x20345+4 ~x20344+2 ~x20343+1 ~x20342+71 x229+77 x228+100 x227+149 x226+68 x225+189 x224+120 x223+35 x222+161 ~x221+10 x220+59 x219+81 x218-0=945 0.00/0.68 c 256 ~x21657+128 ~x21656+64 ~x21655+32 ~x21654+16 ~x21653+8 ~x21652+4 ~x21651+2 ~x21650+1 ~x21649+71 x241+77 x240+100 x239+149 x238+68 x237+189 x236+120 x235+35 x234+161 ~x233+10 x232+59 x231+81 x230-0=897 0.00/0.71 c 1024 ~x22966+512 ~x22965+256 ~x22964+128 ~x22963+64 ~x22962+32 ~x22961+16 ~x22960+8 ~x22959+4 ~x22958+2 ~x22957+1 ~x22956+71 x254+77 x253+100 x252+149 x251+68 x250+189 x249+120 x248+45 ~x247+10 x246+145 x245+59 x244+81 x243+93 x242-0=3227 0.00/0.76 c 128 ~x24879+64 ~x24878+32 ~x24877+16 ~x24876+8 ~x24875+4 ~x24874+2 ~x24873+1 ~x24872+71 x267+110 x266+104 x265+189 x264+68 x263+189 x262+120 x261+35 x260+161 ~x259+167 x258+10 x257+145 x256+59 x255-0=505 0.00/0.80 c 256 ~x26246+128 ~x26245+64 ~x26244+32 ~x26243+16 ~x26242+8 ~x26241+4 ~x26240+2 ~x26239+1 ~x26238+71 x281+110 x280+104 x279+189 x278+68 x277+189 x276+120 x275+35 x274+161 ~x273+167 x272+10 x271+145 x270+59 x269+93 x268-0=807 0.00/0.84 c 128 ~x27780+64 ~x27779+32 ~x27778+16 ~x27777+8 ~x27776+4 ~x27775+2 ~x27774+1 ~x27773+71 x294+110 x293+104 x292+189 x291+68 x290+189 x289+120 x288+35 x287+161 ~x286+167 x285+10 x284+155 x283+59 x282-0=505 0.00/0.91 c 256 ~x29135+128 ~x29134+64 ~x29133+32 ~x29132+16 ~x29131+8 ~x29130+4 ~x29129+2 ~x29128+1 ~x29127+71 x308+110 x307+104 x306+189 x305+68 x304+189 x303+120 x302+35 x301+161 ~x300+167 x299+10 x298+145 x297+59 x296+93 x295-0=1006 0.00/0.91 c 256 ~x30670+128 ~x30669+64 ~x30668+32 ~x30667+16 ~x30666+8 ~x30665+4 ~x30664+2 ~x30663+1 ~x30662+71 x321+110 x320+104 x319+189 x318+68 x317+138 x316+35 x315+161 ~x314+167 x313+10 x312+136 x311+59 x310+93 x309-0=1018 0.00/0.95 c 256 ~x32124+128 ~x32123+64 ~x32122+32 ~x32121+16 ~x32120+8 ~x32119+4 ~x32118+2 ~x32117+1 ~x32116+71 x330+104 x329+189 x328+68 x327+35 x326+161 ~x325+10 x324+145 x323+93 x322-0=771 0.00/0.98 c 256 ~x33206+128 ~x33205+64 ~x33204+32 ~x33203+16 ~x33202+8 ~x33201+4 ~x33200+2 ~x33199+1 ~x33198+71 x338+104 x337+189 x336+68 x335+35 x334+10 x333+145 x332+93 x331-0=951 0.99/1.02 c 64 ~x34199+32 ~x34198+16 ~x34197+8 ~x34196+4 ~x34195+2 ~x34194+1 ~x34193+71 x347+104 x345+68 x343+10 x341+93 x339-0=233 0.99/1.02 c 256 ~x34759+128 ~x34758+64 ~x34757+32 ~x34756+16 ~x34755+8 ~x34754+4 ~x34753+2 ~x34752+1 ~x34751+71 x356+110 x355+104 x354+189 x353+68 x352+189 x351+10 x350+145 x349+93 x348-0=905 0.99/1.05 c 1024 ~x35852+512 ~x35851+256 ~x35850+128 ~x35849+64 ~x35848+32 ~x35847+16 ~x35846+8 ~x35845+4 ~x35844+2 ~x35843+1 ~x35842+71 x379+100 x378+120 x377+180 x376+68 x375+189 x374+120 x373+35 x372+161 ~x371+167 x370+10 x369+59 x368+93 x367-0=3129 0.99/1.10 c 512 ~x37782+256 ~x37781+128 ~x37780+64 ~x37779+32 ~x37778+16 ~x37777+8 ~x37776+4 ~x37775+2 ~x37774+1 ~x37773+71 x392+100 x391+120 x390+180 x389+68 x388+189 x387+120 x386+35 x385+161 ~x384+167 x383+10 x382+34 x381+59 x380-0=1705 1.09/1.14 c 512 ~x39583+256 ~x39582+128 ~x39581+64 ~x39580+32 ~x39579+16 ~x39578+8 ~x39577+4 ~x39576+2 ~x39575+1 ~x39574+71 x404+100 x403+120 x402+180 x401+68 x400+189 x399+120 x398+35 x397+161 ~x396+167 x395+10 x394+59 x393-0=1536 1.19/1.21 c 128 ~x41021+64 ~x41020+32 ~x41019+16 ~x41018+8 ~x41017+4 ~x41016+2 ~x41015+1 ~x41014+71 x417+100 x416+120 x415+68 x413+120 x411+35 x410+10 x407+59 x406+93 x405-0=414 1.19/1.21 c 512 ~x41981+256 ~x41980+128 ~x41979+64 ~x41978+32 ~x41977+16 ~x41976+8 ~x41975+4 ~x41974+2 ~x41973+1 ~x41972+71 x430+100 x429+120 x428+180 x427+68 x426+189 x425+120 x424+35 x423+161 ~x422+167 x421+10 x420+34 x419+93 x418-0=1582 1.19/1.25 c 256 ~x43799+128 ~x43798+64 ~x43797+32 ~x43796+16 ~x43795+8 ~x43794+4 ~x43793+2 ~x43792+1 ~x43791+71 x436+120 x435+180 x434+68 x433+35 x432+10 x431-0=953 1.28/1.30 c 256 ~x44554+128 ~x44553+64 ~x44552+32 ~x44551+16 ~x44550+8 ~x44549+4 ~x44548+2 ~x44547+1 ~x44546+71 x446+100 x445+120 x444+180 x443+68 x442+189 x441+161 ~x440+10 x439+34 x438+93 x437-0=942 1.28/1.30 c 256 ~x45753+128 ~x45752+64 ~x45751+32 ~x45750+16 ~x45749+8 ~x45748+4 ~x45747+2 ~x45746+1 ~x45745+71 x454+100 x453+120 x452+180 x451+68 x450+189 x449+10 x448+93 x447-0=994 1.28/1.33 c 512 ~x46770+256 ~x46769+128 ~x46768+64 ~x46767+32 ~x46766+16 ~x46765+8 ~x46764+4 ~x46763+2 ~x46762+1 ~x46761+71 x462+100 x461+120 x460+192 x459+68 x458+189 x457+10 x456+93 x455-0=1843 1.28/1.36 c 256 ~x47870+128 ~x47869+64 ~x47868+32 ~x47867+16 ~x47866+8 ~x47865+4 ~x47864+2 ~x47863+1 ~x47862+71 x479+100 x478+120 x477+192 x476+68 x475+138 x474+10 x473+136 x472+93 x471-0=787 1.39/1.42 c 256 ~x48982+128 ~x48981+64 ~x48980+32 ~x48979+16 ~x48978+8 ~x48977+4 ~x48976+2 ~x48975+1 ~x48974+71 x495+100 x494+120 x493+192 x492+68 x491+189 x490+10 x489+106 x488-0=820 1.39/1.42 c 512 ~x50006+256 ~x50005+128 ~x50004+64 ~x50003+32 ~x50002+16 ~x50001+8 ~x50000+4 ~x49999+2 ~x49998+1 ~x49997+71 ~x22+68 ~x21+68 ~x20+189 ~x19+120 ~x18+35 ~x17+161 x16+167 ~x15+10 ~x14+59 ~x13+106 ~x12-0=1918 1.39/1.45 c 64 ~x51362+32 ~x51361+16 ~x51360+8 ~x51359+4 ~x51358+2 ~x51357+1 ~x51356+71 x31+68 x30+35 x27+10 x24+59 x23-0=211 1.39/1.50 c 128 ~x51829+64 ~x51828+32 ~x51827+16 ~x51826+8 ~x51825+4 ~x51824+2 ~x51823+1 ~x51822+71 ~x41+68 ~x40+68 ~x39+189 ~x38+120 ~x37+35 ~x36+161 x35+167 ~x34+10 ~x33+59 ~x32-0=455 1.39/1.50 c 512 ~x52939+256 ~x52938+128 ~x52937+64 ~x52936+32 ~x52935+16 ~x52934+8 ~x52933+4 ~x52932+2 ~x52931+1 ~x52930+71 ~x52+68 ~x51+68 ~x50+189 ~x49+120 ~x48+35 ~x47+161 x46+167 ~x45+10 ~x44+59 ~x43+106 ~x42-0=1822 1.49/1.53 c 64 ~x54295+32 ~x54294+16 ~x54293+8 ~x54292+4 ~x54291+2 ~x54290+1 ~x54289+71 ~x61+68 ~x60+68 ~x59+120 ~x57+45 x56+10 ~x55+59 ~x54+106 ~x53-0=249 1.49/1.58 c 512 ~x55078+256 ~x55077+128 ~x55076+64 ~x55075+32 ~x55074+16 ~x55073+8 ~x55072+4 ~x55071+2 ~x55070+1 ~x55069+71 ~x90+68 ~x89+68 ~x88+189 ~x87+120 ~x86+35 ~x85+161 x84+167 ~x83+10 ~x82+59 ~x81-0=1956 1.49/1.58 c 512 ~x56350+256 ~x56349+128 ~x56348+64 ~x56347+32 ~x56346+16 ~x56345+8 ~x56344+4 ~x56343+2 ~x56342+1 ~x56341+71 ~x101+68 ~x100+68 ~x99+189 ~x98+120 ~x97+35 ~x96+161 x95+167 ~x94+10 ~x93+59 ~x92+106 ~x91-0=1757 1.58/1.62 c 512 ~x57709+256 ~x57708+128 ~x57707+64 ~x57706+32 ~x57705+16 ~x57704+8 ~x57703+4 ~x57702+2 ~x57701+1 ~x57700+71 ~x110+68 ~x109+189 ~x108+120 ~x107+35 ~x106+161 x105+167 ~x104+10 ~x103+59 ~x102-0=1775 1.58/1.65 c 512 ~x58897+256 ~x58896+128 ~x58895+64 ~x58894+32 ~x58893+16 ~x58892+8 ~x58891+4 ~x58890+2 ~x58889+1 ~x58888+71 ~x120+68 ~x119+68 ~x118+189 ~x117+120 ~x116+35 ~x115+161 x114+167 ~x113+10 ~x112+59 ~x111-0=1929 1.58/1.68 c 512 ~x60169+256 ~x60168+128 ~x60167+64 ~x60166+32 ~x60165+16 ~x60164+8 ~x60163+4 ~x60162+2 ~x60161+1 ~x60160+71 ~x131+68 ~x130+68 ~x129+189 ~x128+120 ~x127+35 ~x126+161 x125+167 ~x124+10 ~x123+59 ~x122+106 ~x121-0=1697 1.69/1.74 c 256 ~x61528+128 ~x61527+64 ~x61526+32 ~x61525+16 ~x61524+8 ~x61523+4 ~x61522+2 ~x61521+1 ~x61520+71 ~x152+68 ~x151+68 ~x150+35 ~x149+161 x148+10 ~x147-0=917 1.69/1.74 c 1024 ~x62297+512 ~x62296+256 ~x62295+128 ~x62294+64 ~x62293+32 ~x62292+16 ~x62291+8 ~x62290+4 ~x62289+2 ~x62288+1 ~x62287+71 ~x172+77 ~x171+100 ~x170+149 ~x169+68 ~x168+189 ~x167+120 ~x166+35 ~x165+161 x164+167 ~x163+10 ~x162+59 ~x161+81 ~x160-0=3100 1.69/1.79 c 512 ~x64191+256 ~x64190+128 ~x64189+64 ~x64188+32 ~x64187+16 ~x64186+8 ~x64185+4 ~x64184+2 ~x64183+1 ~x64182+71 ~x184+77 ~x183+100 ~x182+149 ~x181+68 ~x180+189 ~x179+120 ~x178+35 ~x177+161 x176+10 ~x175+59 ~x174+81 ~x173-0=1835 1.79/1.82 c 512 ~x65580+256 ~x65579+128 ~x65578+64 ~x65577+32 ~x65576+16 ~x65575+8 ~x65574+4 ~x65573+2 ~x65572+1 ~x65571+71 ~x196+77 ~x195+100 ~x194+149 ~x193+68 ~x192+189 ~x191+120 ~x190+35 ~x189+161 x188+10 ~x187+59 ~x186+81 ~x185-0=1627 1.79/1.86 c 256 ~x66969+128 ~x66968+64 ~x66967+32 ~x66966+16 ~x66965+8 ~x66964+4 ~x66963+2 ~x66962+1 ~x66961+71 ~x217+100 ~x216+149 ~x215+68 ~x214+35 ~x213+161 x212+10 ~x211-0=872 1.79/1.88 c 512 ~x67812+256 ~x67811+128 ~x67810+64 ~x67809+32 ~x67808+16 ~x67807+8 ~x67806+4 ~x67805+2 ~x67804+1 ~x67803+71 ~x229+77 ~x228+100 ~x227+149 ~x226+68 ~x225+189 ~x224+120 ~x223+35 ~x222+161 x221+10 ~x220+59 ~x219+81 ~x218-0=1809 1.89/1.92 c 512 ~x69201+256 ~x69200+128 ~x69199+64 ~x69198+32 ~x69197+16 ~x69196+8 ~x69195+4 ~x69194+2 ~x69193+1 ~x69192+71 ~x241+77 ~x240+100 ~x239+149 ~x238+68 ~x237+189 ~x236+120 ~x235+35 ~x234+161 x233+10 ~x232+59 ~x231+81 ~x230-0=1857 1.89/1.96 c 32 ~x70586+16 ~x70585+8 ~x70584+4 ~x70583+2 ~x70582+1 ~x70581+45 ~x247+10 x246-0=109 1.89/1.96 c 1024 ~x70776+512 ~x70775+256 ~x70774+128 ~x70773+64 ~x70772+32 ~x70771+16 ~x70770+8 ~x70769+4 ~x70768+2 ~x70767+1 ~x70766+71 ~x267+110 ~x266+104 ~x265+189 ~x264+68 ~x263+189 ~x262+120 ~x261+35 ~x260+161 x259+167 ~x258+10 ~x257+145 ~x256+59 ~x255-0=3325 1.99/2.01 c 1024 ~x72692+512 ~x72691+256 ~x72690+128 ~x72689+64 ~x72688+32 ~x72687+16 ~x72686+8 ~x72685+4 ~x72684+2 ~x72683+1 ~x72682+71 ~x281+110 ~x280+104 ~x279+189 ~x278+68 ~x277+189 ~x276+120 ~x275+35 ~x274+161 x273+167 ~x272+10 ~x271+145 ~x270+59 ~x269+93 ~x268-0=3372 1.99/2.06 c 1024 ~x74719+512 ~x74718+256 ~x74717+128 ~x74716+64 ~x74715+32 ~x74714+16 ~x74713+8 ~x74712+4 ~x74711+2 ~x74710+1 ~x74709+71 ~x294+110 ~x293+104 ~x292+189 ~x291+68 ~x290+189 ~x289+120 ~x288+35 ~x287+161 x286+167 ~x285+10 ~x284+155 ~x283+59 ~x282-0=3335 2.10/2.11 c 1024 ~x76614+512 ~x76613+256 ~x76612+128 ~x76611+64 ~x76610+32 ~x76609+16 ~x76608+8 ~x76607+4 ~x76606+2 ~x76605+1 ~x76604+71 ~x308+110 ~x307+104 ~x306+189 ~x305+68 ~x304+189 ~x303+120 ~x302+35 ~x301+161 x300+167 ~x299+10 ~x298+145 ~x297+59 ~x296+93 ~x295-0=3173 2.10/2.16 c 512 ~x78640+256 ~x78639+128 ~x78638+64 ~x78637+32 ~x78636+16 ~x78635+8 ~x78634+4 ~x78633+2 ~x78632+1 ~x78631+71 ~x321+110 ~x320+104 ~x319+189 ~x318+68 ~x317+138 ~x316+35 ~x315+161 x314+167 ~x313+10 ~x312+136 ~x311+59 ~x310+93 ~x309-0=1957 2.20/2.21 c 512 ~x80459+256 ~x80458+128 ~x80457+64 ~x80456+32 ~x80455+16 ~x80454+8 ~x80453+4 ~x80452+2 ~x80451+1 ~x80450+71 ~x330+104 ~x329+189 ~x328+68 ~x327+35 ~x326+161 x325+10 ~x324+145 ~x323+93 ~x322-0=1739 2.20/2.27 c 256 ~x81622+128 ~x81621+64 ~x81620+32 ~x81619+16 ~x81618+8 ~x81617+4 ~x81616+2 ~x81615+1 ~x81614+71 ~x338+104 ~x337+189 ~x336+68 ~x335+35 ~x334+10 ~x333+145 ~x332+93 ~x331-0=886 2.20/2.27 c 512 ~x82618+256 ~x82617+128 ~x82616+64 ~x82615+32 ~x82614+16 ~x82613+8 ~x82612+4 ~x82611+2 ~x82610+1 ~x82609+71 ~x347+110 ~x346+104 ~x345+189 ~x344+68 ~x343+189 ~x342+10 ~x341+145 ~x340+93 ~x339-0=1996 2.29/2.30 c 512 ~x83791+256 ~x83790+128 ~x83789+64 ~x83788+32 ~x83787+16 ~x83786+8 ~x83785+4 ~x83784+2 ~x83783+1 ~x83782+71 ~x356+110 ~x355+104 ~x354+189 ~x353+68 ~x352+189 ~x351+10 ~x350+145 ~x349+93 ~x348-0=1708 2.29/2.34 c 64 ~x84961+32 ~x84960+16 ~x84959+8 ~x84958+4 ~x84957+2 ~x84956+1 ~x84955+68 x362+10 x359-0=196 2.29/2.34 c 256 ~x85220+128 ~x85219+64 ~x85218+32 ~x85217+16 ~x85216+8 ~x85215+4 ~x85214+2 ~x85213+1 ~x85212+71 ~x379+100 ~x378+120 ~x377+180 ~x376+68 ~x375+189 ~x374+120 ~x373+35 ~x372+161 x371+167 ~x370+10 ~x369+59 ~x368+93 ~x367-0=902 2.29/2.37 c 512 ~x86678+256 ~x86677+128 ~x86676+64 ~x86675+32 ~x86674+16 ~x86673+8 ~x86672+4 ~x86671+2 ~x86670+1 ~x86669+71 ~x392+100 ~x391+120 ~x390+180 ~x389+68 ~x388+189 ~x387+120 ~x386+35 ~x385+161 x384+167 ~x383+10 ~x382+34 ~x381+59 ~x380-0=1755 2.39/2.42 c 512 ~x88479+256 ~x88478+128 ~x88477+64 ~x88476+32 ~x88475+16 ~x88474+8 ~x88473+4 ~x88472+2 ~x88471+1 ~x88470+71 ~x404+100 ~x403+120 ~x402+180 ~x401+68 ~x400+189 ~x399+120 ~x398+35 ~x397+161 x396+167 ~x395+10 ~x394+59 ~x393-0=1890 2.39/2.46 c 1024 ~x89920+512 ~x89919+256 ~x89918+128 ~x89917+64 ~x89916+32 ~x89915+16 ~x89914+8 ~x89913+4 ~x89912+2 ~x89911+1 ~x89910+71 ~x417+100 ~x416+120 ~x415+180 ~x414+68 ~x413+189 ~x412+120 ~x411+35 ~x410+161 x409+167 ~x408+10 ~x407+59 ~x406+93 ~x405-0=3361 2.49/2.51 c 512 ~x91850+256 ~x91849+128 ~x91848+64 ~x91847+32 ~x91846+16 ~x91845+8 ~x91844+4 ~x91843+2 ~x91842+1 ~x91841+71 ~x430+100 ~x429+120 ~x428+180 ~x427+68 ~x426+189 ~x425+120 ~x424+35 ~x423+161 x422+167 ~x421+10 ~x420+34 ~x419+93 ~x418-0=1912 2.49/2.55 c 128 ~x93667+64 ~x93666+32 ~x93665+16 ~x93664+8 ~x93663+4 ~x93662+2 ~x93661+1 ~x93660+71 ~x436+120 ~x435+68 ~x433+35 ~x432+10 ~x431-0=397 2.59/2.60 c 512 ~x94273+256 ~x94272+128 ~x94271+64 ~x94270+32 ~x94269+16 ~x94268+8 ~x94267+4 ~x94266+2 ~x94265+1 ~x94264+71 ~x446+100 ~x445+120 ~x444+180 ~x443+68 ~x442+189 ~x441+161 x440+10 ~x439+34 ~x438+93 ~x437-0=1718 2.59/2.60 c 256 ~x95553+128 ~x95552+64 ~x95551+32 ~x95550+16 ~x95549+8 ~x95548+4 ~x95547+2 ~x95546+1 ~x95545+71 ~x454+100 ~x453+120 ~x452+180 ~x451+68 ~x450+189 ~x449+10 ~x448+93 ~x447-0=959 2.59/2.63 c 64 ~x96567+32 ~x96566+16 ~x96565+8 ~x96564+4 ~x96563+2 ~x96562+1 ~x96561+71 ~x462+100 ~x461+120 ~x460+68 ~x458+10 ~x456+93 ~x455-0=250 2.59/2.66 c 64 ~x97197+32 ~x97196+16 ~x97195+8 ~x97194+4 ~x97193+2 ~x97192+1 ~x97191+68 ~x466+10 ~x464-0=196 2.59/2.66 c 512 ~x97457+256 ~x97456+128 ~x97455+64 ~x97454+32 ~x97453+16 ~x97452+8 ~x97451+4 ~x97450+2 ~x97449+1 ~x97448+71 ~x479+100 ~x478+120 ~x477+192 ~x476+68 ~x475+138 ~x474+10 ~x473+136 ~x472+93 ~x471-0=1775 2.69/2.70 c 64 ~x98648+32 ~x98647+16 ~x98646+8 ~x98645+4 ~x98644+2 ~x98643+1 ~x98642+71 x487+68 x483+10 x481-0=210 2.69/2.70 c 512 ~x99003+256 ~x99002+128 ~x99001+64 ~x99000+32 ~x98999+16 ~x98998+8 ~x98997+4 ~x98996+2 ~x98995+1 ~x98994+71 ~x495+100 ~x494+120 ~x493+192 ~x492+68 ~x491+189 ~x490+10 ~x489+106 ~x488-0=1670 2.69/2.73 c 2048 ~x100109+1024 ~x100108+512 ~x100107+256 ~x100106+128 ~x100105+64 ~x100104+32 ~x100103+16 ~x100102+8 ~x100101+4 ~x100100+2 ~x100099+1 ~x100098+25 x549+9 x547+82 x545+16 x544+12 x543+11 x542+18 x541+20 x540+46 x539+20 x538+9 x537+52 x535+16 x534+12 x533+9 x532+18 x531+67 x530+15 x529+33 x528+12 x527+12 x526+24 x525+10 x524+13 x523+13 x522+11 x521+10 x520+9 x519+25 x517+58 x514+88 x513+13 x512+19 x511+28 x510+10 x506+48 x505+58 x504+8 x503+12 x502+15 x501+23 ~x440+33 x432+39 x423+38 ~x422+42 x421+42 x410+41 ~x409+46 x408+110 x397+109 ~x396+120 x395+48 x385+47 ~x384+52 x383+21 x372+20 ~x371+23 x370+19 x360+33 x334+23 x326+22 ~x325+22 x315+21 ~x314+24 x313+145 x301+144 ~x300+158 x299+32 x287+31 ~x286+34 x285+71 x274+70 ~x273+77 x272+26 x260+25 ~x259+28 x258+57 x234+56 ~x233+24 x222+23 ~x221+37 x213+36 ~x212+30 x203+29 ~x202+32 x201+27 x189+26 ~x188+24 x177+23 ~x176+18 x165+17 ~x164+20 x163+13 x156+12 ~x155+70 x149+69 ~x148+22 x143+21 ~x142+122 x126+121 ~x125+132 x124+164 x115+163 ~x114+178 x113+31 x106+30 ~x105+33 x104+39 x96+38 ~x95+43 x94+53 x85+52 ~x84+58 x83+16 x77+15 ~x76+81 x70+80 ~x69+26 x64+25 ~x63+100 x47+99 ~x46+109 x45+128 x36+127 ~x35+139 x34+24 x27+23 ~x26+26 x25+25 x17+24 ~x16+27 x15+32 x6+31 ~x5+35 x4-0=6746 2.99/3.10 c 256 ~x115725+128 ~x115724+64 ~x115723+32 ~x115722+16 ~x115721+8 ~x115720+4 ~x115719+2 ~x115718+1 ~x115717+19 ~x421+22 ~x408+50 ~x395+27 ~x383+10 ~x370+16 ~x360+20 ~x313+73 ~x299+17 ~x285+36 ~x272+13 ~x258+14 ~x201+10 ~x163+63 ~x124+95 ~x113+18 ~x104+20 ~x94+31 ~x83+52 ~x45+78 ~x34+15 ~x25+13 ~x15+20 ~x4-0=893 3.09/3.15 c 64 ~x117971+32 ~x117970+16 ~x117969+8 ~x117968+4 ~x117967+2 ~x117966+1 ~x117965+12 x440+18 x422+21 x409+49 x396+26 x384+9 x371+9 x325+19 x314+72 x300+16 x286+35 x273+12 x259+25 x233+10 x221+14 x212+13 x202+11 x188+10 x176+9 x164+9 x155+27 x148+9 x142+62 x125+94 x114+17 x105+19 x95+30 x84+11 x76+33 x69+11 x63+51 x46+77 x35+14 x26+12 x16+19 x5-0=231 3.19/3.22 c 512 ~x120817+256 ~x120816+128 ~x120815+64 ~x120814+32 ~x120813+16 ~x120812+8 ~x120811+4 ~x120810+2 ~x120809+1 ~x120808+12 ~x432+19 ~x423+22 ~x410+50 ~x397+27 ~x385+10 ~x372+13 ~x334+10 ~x326+20 ~x315+73 ~x301+17 ~x287+36 ~x274+13 ~x260+26 ~x234+11 ~x222+15 ~x213+14 ~x203+12 ~x189+11 ~x177+10 ~x165+10 ~x156+28 ~x149+10 ~x143+63 ~x126+95 ~x115+18 ~x106+20 ~x96+31 ~x85+12 ~x77+34 ~x70+12 ~x64+52 ~x47+78 ~x36+15 ~x27+13 ~x17+20 ~x6-0=1760 3.19/3.30 c 256 ~x124238+128 ~x124237+64 ~x124236+32 ~x124235+16 ~x124234+8 ~x124233+4 ~x124232+2 ~x124231+1 ~x124230+10 ~x158+28 ~x151+10 ~x145+13 ~x139+63 ~x130+95 ~x119+20 ~x100+31 ~x89+12 ~x79+34 ~x72+12 ~x66+11 ~x60+52 ~x51+78 ~x40+13 ~x21+20 ~x10-0=973 3.29/3.34 c 32 ~x125787+16 ~x125786+8 ~x125785+4 ~x125784+2 ~x125783+1 ~x125782+13 ~x247+13 ~x135+11 ~x56-0=100 3.29/3.36 c 2 ~x126024+1 ~x126023+1 ~x6+1 x5+1 ~x4-0=5 3.29/3.36 c 2 ~x126068+1 ~x126067+1 ~x17+1 x16+1 ~x15-0=5 3.29/3.36 c 2 ~x126112+1 ~x126111+1 ~x27+1 x26+1 ~x25-0=5 3.29/3.36 c 2 ~x126156+1 ~x126155+1 ~x36+1 x35+1 ~x34-0=5 3.29/3.36 c 2 ~x126200+1 ~x126199+1 ~x47+1 x46+1 ~x45-0=5 3.29/3.36 c 2 ~x126248+1 ~x126247+1 ~x85+1 x84+1 ~x83-0=5 3.29/3.37 c 2 ~x126292+1 ~x126291+1 ~x96+1 x95+1 ~x94-0=5 3.29/3.37 c 2 ~x126336+1 ~x126335+1 ~x106+1 x105+1 ~x104-0=5 3.29/3.37 c 2 ~x126380+1 ~x126379+1 ~x115+1 x114+1 ~x113-0=5 3.29/3.37 c 2 ~x126424+1 ~x126423+1 ~x126+1 x125+1 ~x124-0=5 3.29/3.37 c 2 ~x126472+1 ~x126471+1 ~x165+1 x164+1 ~x163-0=5 3.29/3.39 c 2 ~x126520+1 ~x126519+1 ~x203+1 x202+1 ~x201-0=5 3.29/3.39 c 2 ~x126570+1 ~x126569+1 ~x260+1 x259+1 ~x258-0=5 3.29/3.39 c 2 ~x126614+1 ~x126613+1 ~x274+1 x273+1 ~x272-0=5 3.29/3.39 c 2 ~x126658+1 ~x126657+1 ~x287+1 x286+1 ~x285-0=5 3.29/3.39 c 2 ~x126702+1 ~x126701+1 ~x301+1 x300+1 ~x299-0=5 3.38/3.40 c 2 ~x126746+1 ~x126745+1 ~x315+1 x314+1 ~x313-0=5 3.38/3.40 c 2 ~x126790+1 ~x126789+1 ~x372+1 x371+1 ~x370-0=5 3.38/3.40 c 2 ~x126834+1 ~x126833+1 ~x385+1 x384+1 ~x383-0=5 3.38/3.40 c 2 ~x126878+1 ~x126877+1 ~x397+1 x396+1 ~x395-0=5 3.38/3.40 c 2 ~x126922+1 ~x126921+1 ~x410+1 x409+1 ~x408-0=5 3.38/3.40 c 2 ~x126966+1 ~x126965+1 ~x423+1 x422+1 ~x421-0=5 3.38/3.40 c 32 ~x127014+16 ~x127013+8 ~x127012+4 ~x127011+2 ~x127010+1 ~x127009+1 ~x489+1 ~x481+1 ~x473+1 ~x464+1 ~x456+1 ~x448+1 ~x439+1 ~x431+1 ~x420+1 ~x407+1 ~x394+1 ~x382+1 ~x369+1 ~x359+1 ~x350+1 ~x341+1 ~x333+1 ~x324+1 ~x312+1 ~x298+1 ~x284+1 ~x271+1 ~x257+1 ~x246+1 ~x232+1 ~x220+1 ~x211+1 ~x200+1 ~x187+1 ~x175+1 ~x162+1 ~x154+1 ~x147+1 ~x141+1 ~x134+1 ~x123+1 ~x112+1 ~x103+1 ~x93+1 ~x82+1 ~x75+1 ~x68+1 ~x62+1 ~x55+1 ~x44+1 ~x33+1 ~x24+1 ~x14+1 ~x3-0=112 3.38/3.47 c 32 ~x129608+16 ~x129607+8 ~x129606+4 ~x129605+2 ~x129604+1 ~x129603+1 ~x491+1 ~x483+1 ~x475+1 ~x466+1 ~x458+1 ~x450+1 ~x442+1 ~x433+1 ~x426+1 ~x413+1 ~x400+1 ~x388+1 ~x375+1 ~x362+1 ~x352+1 ~x343+1 ~x335+1 ~x327+1 ~x317+1 ~x304+1 ~x290+1 ~x277+1 ~x263+1 ~x250+1 ~x237+1 ~x225+1 ~x214+1 ~x206+1 ~x192+1 ~x180+1 ~x168+1 ~x157+1 ~x150+1 ~x144+1 ~x138+1 ~x129+1 ~x118+1 ~x109+1 ~x99+1 ~x88+1 ~x78+1 ~x71+1 ~x65+1 ~x59+1 ~x50+1 ~x39+1 ~x30+1 ~x20+1 ~x9-0=112 3.49/3.53 c 16 ~x132201+8 ~x132200+4 ~x132199+2 ~x132198+1 ~x132197+1 ~x488+1 ~x480+1 ~x471+1 ~x463+1 ~x455+1 ~x447+1 ~x437+1 ~x418+1 ~x405+1 ~x367+1 ~x357+1 ~x348+1 ~x339+1 ~x331+1 ~x322+1 ~x309+1 ~x295+1 ~x268+1 ~x242+1 ~x197+1 ~x132+1 ~x121+1 ~x91+1 ~x53+1 ~x42+1 ~x12-0=57 3.49/3.56 c 4 ~x133406+
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-2674044-1276793298/watcher-2674044-1276793298 -o /tmp/evaluation-result-2674044-1276793298/solver-2674044-1276793298 -C 1800 -W 2000 -M 1800 run HOME/instance-2674044-1276793298.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.00 1.02 1.00 3/106 23391 /proc/meminfo: memFree=1631336/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [startup+0.0902949 s] /proc/loadavg: 1.00 1.02 1.00 3/106 23391 /proc/meminfo: memFree=1631336/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101295 s] /proc/loadavg: 1.00 1.02 1.00 3/106 23391 /proc/meminfo: memFree=1631336/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301315 s] /proc/loadavg: 1.00 1.02 1.00 3/106 23391 /proc/meminfo: memFree=1631336/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701356 s] /proc/loadavg: 1.00 1.02 1.00 3/106 23391 /proc/meminfo: memFree=1631336/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50144 s] /proc/loadavg: 1.00 1.02 1.00 2/108 23394 /proc/meminfo: memFree=1592632/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=49912 CPUtime=1.49 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 13311 0 0 0 138 11 0 0 22 0 1 0 20621951 51109888 11579 1992294400 134512640 134902295 4287471136 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 12478 11579 262 96 0 11690 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58612 [startup+3.1016 s] /proc/loadavg: 1.00 1.02 1.00 2/108 23394 /proc/meminfo: memFree=1576636/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=76596 CPUtime=3.09 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 21909 0 0 0 295 14 0 0 25 0 1 0 20621951 78434304 17997 1992294400 134512640 134902295 4287471136 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 19149 17997 262 96 0 18361 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 85296 [startup+6.30093 s] /proc/loadavg: 1.00 1.02 1.00 2/108 23394 /proc/meminfo: memFree=1552456/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=82716 CPUtime=6.29 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 24067 0 0 0 614 15 0 0 25 0 1 0 20621951 84701184 19835 1992294400 134512640 134902295 4287471136 18446744073709551615 4160610844 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 20679 19835 269 96 0 19891 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 91416 [startup+12.7016 s] /proc/loadavg: 1.00 1.02 1.00 2/108 23394 /proc/meminfo: memFree=1550968/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=84132 CPUtime=12.68 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 24421 0 0 0 1253 15 0 0 25 0 1 0 20621951 86151168 20189 1992294400 134512640 134902295 4287471136 18446744073709551615 4160598680 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 21033 20189 269 96 0 20245 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 92832 [startup+25.5009 s] /proc/loadavg: 1.00 1.02 1.00 2/108 23396 /proc/meminfo: memFree=1548364/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=86560 CPUtime=25.48 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 25046 0 0 0 2533 15 0 0 25 0 1 0 20621951 88637440 20814 1992294400 134512640 134902295 4287471136 18446744073709551615 4160633805 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 21640 20814 269 96 0 20852 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 95260 [startup+51.1005 s] /proc/loadavg: 1.00 1.01 1.00 2/108 23396 /proc/meminfo: memFree=1543404/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=91476 CPUtime=51.07 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 26258 0 0 0 5090 17 0 0 25 0 1 0 20621951 93671424 22026 1992294400 134512640 134902295 4287471136 18446744073709551615 4160629048 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 22869 22026 269 96 0 22081 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 100176 [startup+102.308 s] /proc/loadavg: 1.00 1.01 1.00 2/108 23398 /proc/meminfo: memFree=1538072/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=96488 CPUtime=102.26 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 27506 0 0 0 10208 18 0 0 25 0 1 0 20621951 98803712 23274 1992294400 134512640 134902295 4287471136 18446744073709551615 4160598696 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 24122 23274 269 96 0 23334 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 105188 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23398 /proc/meminfo: memFree=1534724/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=99916 CPUtime=162.24 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 28365 0 0 0 16205 19 0 0 25 0 1 0 20621951 102313984 24133 1992294400 134512640 134902295 4287471136 18446744073709551615 4160617684 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 24979 24133 269 96 0 24191 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 108616 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23400 /proc/meminfo: memFree=1531872/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=102720 CPUtime=222.23 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 29080 0 0 0 22203 20 0 0 25 0 1 0 20621951 105185280 24848 1992294400 134512640 134902295 4287471136 18446744073709551615 4160629213 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 25680 24848 269 96 0 24892 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 111420 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23402 /proc/meminfo: memFree=1524432/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=110428 CPUtime=282.22 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 30965 0 0 0 28201 21 0 0 25 0 1 0 20621951 113078272 26733 1992294400 134512640 134902295 4287471136 18446744073709551615 4160598696 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 27607 26733 269 96 0 26819 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 119128 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23404 /proc/meminfo: memFree=1517612/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=116984 CPUtime=342.2 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 32619 0 0 0 34197 23 0 0 25 0 1 0 20621951 119791616 28387 1992294400 134512640 134902295 4287471136 18446744073709551615 4160628862 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 29246 28387 269 96 0 28458 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 125684 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23406 /proc/meminfo: memFree=1509428/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=125324 CPUtime=402.18 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 34689 0 0 0 40194 24 0 0 25 0 1 0 20621951 128331776 30457 1992294400 134512640 134902295 4287471136 18446744073709551615 4160610838 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 31331 30457 269 96 0 30543 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 134024 [startup+462.301 s] ################ # More data... # ################ /proc/23393/statm: 45333 44323 269 96 0 44545 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 190032 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23437 /proc/meminfo: memFree=1449288/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=185120 CPUtime=1241.96 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 49519 0 0 0 124156 40 0 0 25 0 1 0 20621951 189562880 45287 1992294400 134512640 134902295 4287471136 18446744073709551615 4160631762 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 46280 45287 269 96 0 45492 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 193820 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23439 /proc/meminfo: memFree=1445568/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=188768 CPUtime=1301.96 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 50436 0 0 0 130154 42 0 0 25 0 1 0 20621951 193298432 46204 1992294400 134512640 134902295 4287471136 18446744073709551615 4160628862 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 47192 46204 269 96 0 46404 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 197468 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23439 /proc/meminfo: memFree=1441724/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=192596 CPUtime=1361.94 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 51382 0 0 0 136151 43 0 0 25 0 1 0 20621951 197218304 47150 1992294400 134512640 134902295 4287471136 18446744073709551615 4160610795 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 48149 47150 269 96 0 47361 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 201296 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23441 /proc/meminfo: memFree=1437508/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=196752 CPUtime=1421.93 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 52442 0 0 0 142149 44 0 0 25 0 1 0 20621951 201474048 48210 1992294400 134512640 134902295 4287471136 18446744073709551615 4160598570 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 49188 48210 269 96 0 48400 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 205452 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23443 /proc/meminfo: memFree=1434532/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=199732 CPUtime=1481.9 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 53196 0 0 0 148146 44 0 0 25 0 1 0 20621951 204525568 48964 1992294400 134512640 134902295 4287471136 18446744073709551615 4160628862 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 49933 48964 269 96 0 49145 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 208432 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23445 /proc/meminfo: memFree=1431928/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=202188 CPUtime=1541.89 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 53816 0 0 0 154144 45 0 0 25 0 1 0 20621951 207040512 49584 1992294400 134512640 134902295 4287471136 18446744073709551615 4160598632 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 50547 49584 269 96 0 49759 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 210888 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23447 /proc/meminfo: memFree=1427588/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=206536 CPUtime=1601.87 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 54902 0 0 0 160141 46 0 0 25 0 1 0 20621951 211492864 50670 1992294400 134512640 134902295 4287471136 18446744073709551615 4160631805 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 51634 50670 269 96 0 50846 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 215236 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23447 /proc/meminfo: memFree=1424488/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=209572 CPUtime=1661.86 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 55674 0 0 0 166139 47 0 0 25 0 1 0 20621951 214601728 51442 1992294400 134512640 134902295 4287471136 18446744073709551615 4160628862 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 52393 51442 269 96 0 51605 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 218272 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23449 /proc/meminfo: memFree=1421264/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=212612 CPUtime=1721.85 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 56453 0 0 0 172137 48 0 0 25 0 1 0 20621951 217714688 52221 1992294400 134512640 134902295 4287471136 18446744073709551615 4160598729 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 53153 52221 269 96 0 52365 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 221312 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23451 /proc/meminfo: memFree=1418164/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=216576 CPUtime=1781.83 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 57209 0 0 0 178135 48 0 0 25 0 1 0 20621951 221773824 52977 1992294400 134512640 134902295 4287471136 18446744073709551615 4160617305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 54144 52977 269 96 0 53356 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 225276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23451 /proc/meminfo: memFree=1417296/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=217368 CPUtime=1800.03 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 57432 0 0 0 179955 48 0 0 25 0 1 0 20621951 222584832 53200 1992294400 134512640 134902295 4287471136 18446744073709551615 4160628862 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 54342 53200 269 96 0 53554 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 226068 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 23451 /proc/meminfo: memFree=1417296/2059040 swapFree=4192956/4192956 [pid=23391] ppid=23389 vsize=8700 CPUtime=0 /proc/23391/stat : 23391 (run) S 23389 23391 22949 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20621951 8908800 250 1992294400 4194304 4922060 140733804120944 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23391/statm: 2175 250 211 178 0 68 0 [pid=23393] ppid=23391 vsize=217368 CPUtime=1800.03 /proc/23393/stat : 23393 (PBPASSolver) R 23391 23391 22949 0 -1 4202496 57432 0 0 0 179955 48 0 0 25 0 1 0 20621951 222584832 53200 1992294400 134512640 134902295 4287471136 18446744073709551615 4160628862 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23393/statm: 54342 53200 269 96 0 53554 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 226068 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23391 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.003998 # while last known CPU time is 1800.03 # # 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.03 CPU user time (s): 1799.55 CPU system time (s): 0.48 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 226068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001999 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 2.99654 second user time and 8.48371 second system time The end
Begin job on node045 at 2010-06-17 18:48:18 IDJOB=2674044 IDBENCH=1866 IDSOLVER=1174 FILE ID=node045/2674044-1276793298 PBS_JOBID= 11176584 Free space on /tmp= 62460 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674044-1276793298/watcher-2674044-1276793298 -o /tmp/evaluation-result-2674044-1276793298/solver-2674044-1276793298 -C 1800 -W 2000 -M 1800 run HOME/instance-2674044-1276793298.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 38a2c469f9dc1120b8fe634a693ac03d RANDOM SEED=484026317 node045.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.247 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.49 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.247 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1631856 kB Buffers: 150580 kB Cached: 146192 kB SwapCached: 0 kB Active: 125536 kB Inactive: 230616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1631856 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 640 kB Writeback: 0 kB AnonPages: 59372 kB Mapped: 15336 kB Slab: 49320 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182692 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= 62456 MiB End job on node045 at 2010-06-17 19:18:20