Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.08 | 1801.01 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x12.opb |
MD5SUM | 9d08937c2a2ec73e4fca19adadace920 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3243008 |
Best CPU time to get the best result obtained on this benchmark | 1800.3 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3208192 |
Optimality of the best value was proved | NO |
Number of variables | 3720 |
Total number of constraints | 142 |
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 | 142 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 3720 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 679702048135 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 679702048135 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
12.76/12.88 c 3720 142 0 0 0 0 0 0 12.76/12.88 c 2048 ~x529159+1024 ~x529158+512 ~x529157+256 ~x529156+128 ~x529155+64 ~x529154+32 ~x529153+16 ~x529152+8 ~x529151+4 ~x529150+2 ~x529149+1 ~x529148+2048 x3602+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=8190 12.86/12.94 c 4096 ~x531508+2048 ~x531507+1024 ~x531506+512 ~x531505+256 ~x531504+128 ~x531503+64 ~x531502+32 ~x531501+16 ~x531500+8 ~x531499+4 ~x531498+2 ~x531497+1 ~x531496+7168 x3603+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=16382 12.96/13.00 c 4096 ~x534208+2048 ~x534207+1024 ~x534206+512 ~x534205+256 ~x534204+128 ~x534203+64 ~x534202+32 ~x534201+16 ~x534200+8 ~x534199+4 ~x534198+2 ~x534197+1 ~x534196+5120 x3604+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=16382 12.96/13.07 c 4096 ~x536908+2048 ~x536907+1024 ~x536906+512 ~x536905+256 ~x536904+128 ~x536903+64 ~x536902+32 ~x536901+16 ~x536900+8 ~x536899+4 ~x536898+2 ~x536897+1 ~x536896+5120 x3605+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=16382 13.06/13.13 c 4096 ~x539608+2048 ~x539607+1024 ~x539606+512 ~x539605+256 ~x539604+128 ~x539603+64 ~x539602+32 ~x539601+16 ~x539600+8 ~x539599+4 ~x539598+2 ~x539597+1 ~x539596+5120 x3606+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=16382 13.06/13.20 c 2048 ~x542307+1024 ~x542306+512 ~x542305+256 ~x542304+128 ~x542303+64 ~x542302+32 ~x542301+16 ~x542300+8 ~x542299+4 ~x542298+2 ~x542297+1 ~x542296+2048 x3607+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=8190 13.16/13.25 c 2048 ~x544655+1024 ~x544654+512 ~x544653+256 ~x544652+128 ~x544651+64 ~x544650+32 ~x544649+16 ~x544648+8 ~x544647+4 ~x544646+2 ~x544645+1 ~x544644+2048 x3608+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=8190 13.26/13.31 c 4096 ~x547004+2048 ~x547003+1024 ~x547002+512 ~x547001+256 ~x547000+128 ~x546999+64 ~x546998+32 ~x546997+16 ~x546996+8 ~x546995+4 ~x546994+2 ~x546993+1 ~x546992+5120 x3609+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 13.26/13.38 c 2048 ~x549703+1024 ~x549702+512 ~x549701+256 ~x549700+128 ~x549699+64 ~x549698+32 ~x549697+16 ~x549696+8 ~x549695+4 ~x549694+2 ~x549693+1 ~x549692+2048 x3610+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=8190 13.36/13.43 c 4096 ~x552052+2048 ~x552051+1024 ~x552050+512 ~x552049+256 ~x552048+128 ~x552047+64 ~x552046+32 ~x552045+16 ~x552044+8 ~x552043+4 ~x552042+2 ~x552041+1 ~x552040+5120 x3611+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=16382 13.46/13.50 c 4096 ~x554752+2048 ~x554751+1024 ~x554750+512 ~x554749+256 ~x554748+128 ~x554747+64 ~x554746+32 ~x554745+16 ~x554744+8 ~x554743+4 ~x554742+2 ~x554741+1 ~x554740+5120 x3612+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=16382 13.46/13.56 c 2048 ~x557451+1024 ~x557450+512 ~x557449+256 ~x557448+128 ~x557447+64 ~x557446+32 ~x557445+16 ~x557444+8 ~x557443+4 ~x557442+2 ~x557441+1 ~x557440+2048 x3613+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=8190 13.56/13.62 c 4096 ~x559800+2048 ~x559799+1024 ~x559798+512 ~x559797+256 ~x559796+128 ~x559795+64 ~x559794+32 ~x559793+16 ~x559792+8 ~x559791+4 ~x559790+2 ~x559789+1 ~x559788+7168 x3614+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=16382 13.56/13.69 c 8192 ~x562501+4096 ~x562500+2048 ~x562499+1024 ~x562498+512 ~x562497+256 ~x562496+128 ~x562495+64 ~x562494+32 ~x562493+16 ~x562492+8 ~x562491+4 ~x562490+2 ~x562489+1 ~x562488+14336 x3615+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 13.66/13.78 c 8192 ~x566217+4096 ~x566216+2048 ~x566215+1024 ~x566214+512 ~x566213+256 ~x566212+128 ~x566211+64 ~x566210+32 ~x566209+16 ~x566208+8 ~x566207+4 ~x566206+2 ~x566205+1 ~x566204+12288 x3616+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 13.76/13.87 c 2048 ~x569931+1024 ~x569930+512 ~x569929+256 ~x569928+128 ~x569927+64 ~x569926+32 ~x569925+16 ~x569924+8 ~x569923+4 ~x569922+2 ~x569921+1 ~x569920+3072 x3617+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=8190 13.86/13.92 c 8192 ~x572281+4096 ~x572280+2048 ~x572279+1024 ~x572278+512 ~x572277+256 ~x572276+128 ~x572275+64 ~x572274+32 ~x572273+16 ~x572272+8 ~x572271+4 ~x572270+2 ~x572269+1 ~x572268+12288 x3618+8192 ~x495+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=32766 13.96/14.01 c 8192 ~x575997+4096 ~x575996+2048 ~x575995+1024 ~x575994+512 ~x575993+256 ~x575992+128 ~x575991+64 ~x575990+32 ~x575989+16 ~x575988+8 ~x575987+4 ~x575986+2 ~x575985+1 ~x575984+12288 x3619+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=32766 14.06/14.10 c 2048 ~x579711+1024 ~x579710+512 ~x579709+256 ~x579708+128 ~x579707+64 ~x579706+32 ~x579705+16 ~x579704+8 ~x579703+4 ~x579702+2 ~x579701+1 ~x579700+2048 x3620+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=8190 14.06/14.16 c 2048 ~x582059+1024 ~x582058+512 ~x582057+256 ~x582056+128 ~x582055+64 ~x582054+32 ~x582053+16 ~x582052+8 ~x582051+4 ~x582050+2 ~x582049+1 ~x582048+2048 x3621+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=8190 14.17/14.22 c 8192 ~x584409+4096 ~x584408+2048 ~x584407+1024 ~x584406+512 ~x584405+256 ~x584404+128 ~x584403+64 ~x584402+32 ~x584401+16 ~x584400+8 ~x584399+4 ~x584398+2 ~x584397+1 ~x584396+12288 x3622+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=32766 14.27/14.31 c 2048 ~x588123+1024 ~x588122+512 ~x588121+256 ~x588120+128 ~x588119+64 ~x588118+32 ~x588117+16 ~x588116+8 ~x588115+4 ~x588114+2 ~x588113+1 ~x588112+2048 x3623+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=8190 14.27/14.37 c 4096 ~x590472+2048 ~x590471+1024 ~x590470+512 ~x590469+256 ~x590468+128 ~x590467+64 ~x590466+32 ~x590465+16 ~x590464+8 ~x590463+4 ~x590462+2 ~x590461+1 ~x590460+5120 x3624+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=16382 14.36/14.43 c 8192 ~x593173+4096 ~x593172+2048 ~x593171+1024 ~x593170+512 ~x593169+256 ~x593168+128 ~x593167+64 ~x593166+32 ~x593165+16 ~x593164+8 ~x593163+4 ~x593162+2 ~x593161+1 ~x593160+12288 x3625+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 14.46/14.52 c 2048 ~x596887+1024 ~x596886+512 ~x596885+256 ~x596884+128 ~x596883+64 ~x596882+32 ~x596881+16 ~x596880+8 ~x596879+4 ~x596878+2 ~x596877+1 ~x596876+2048 x3626+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=8190 14.46/14.58 c 4096 ~x599236+2048 ~x599235+1024 ~x599234+512 ~x599233+256 ~x599232+128 ~x599231+64 ~x599230+32 ~x599229+16 ~x599228+8 ~x599227+4 ~x599226+2 ~x599225+1 ~x599224+7168 x3627+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 14.56/14.64 c 8192 ~x601937+4096 ~x601936+2048 ~x601935+1024 ~x601934+512 ~x601933+256 ~x601932+128 ~x601931+64 ~x601930+32 ~x601929+16 ~x601928+8 ~x601927+4 ~x601926+2 ~x601925+1 ~x601924+13312 x3628+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=32766 14.65/14.73 c 2048 ~x605651+1024 ~x605650+512 ~x605649+256 ~x605648+128 ~x605647+64 ~x605646+32 ~x605645+16 ~x605644+8 ~x605643+4 ~x605642+2 ~x605641+1 ~x605640+3072 x3629+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=8190 14.65/14.79 c 16384 ~x608002+8192 ~x608001+4096 ~x608000+2048 ~x607999+1024 ~x607998+512 ~x607997+256 ~x607996+128 ~x607995+64 ~x607994+32 ~x607993+16 ~x607992+8 ~x607991+4 ~x607990+2 ~x607989+1 ~x607988+21504 x3630+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 14.75/14.89 c 16384 ~x612294+8192 ~x612293+4096 ~x612292+2048 ~x612291+1024 ~x612290+512 ~x612289+256 ~x612288+128 ~x612287+64 ~x612286+32 ~x612285+16 ~x612284+8 ~x612283+4 ~x612282+2 ~x612281+1 ~x612280+16384 x3631+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 14.86/14.99 c 2048 ~x616326+1024 ~x616325+512 ~x616324+256 ~x616323+128 ~x616322+64 ~x616321+32 ~x616320+16 ~x616319+8 ~x616318+4 ~x616317+2 ~x616316+1 ~x616315+2048 x3632+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=8190 14.96/15.05 c 2048 ~x618674+1024 ~x618673+512 ~x618672+256 ~x618671+128 ~x618670+64 ~x618669+32 ~x618668+16 ~x618667+8 ~x618666+4 ~x618665+2 ~x618664+1 ~x618663+2048 x3633+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=8190 15.06/15.10 c 8192 ~x621024+4096 ~x621023+2048 ~x621022+1024 ~x621021+512 ~x621020+256 ~x621019+128 ~x621018+64 ~x621017+32 ~x621016+16 ~x621015+8 ~x621014+4 ~x621013+2 ~x621012+1 ~x621011+13312 x3634+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 15.06/15.19 c 16384 ~x624741+8192 ~x624740+4096 ~x624739+2048 ~x624738+1024 ~x624737+512 ~x624736+256 ~x624735+128 ~x624734+64 ~x624733+32 ~x624732+16 ~x624731+8 ~x624730+4 ~x624729+2 ~x624728+1 ~x624727+21504 x3635+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 15.16/15.29 c 2048 ~x629030+1024 ~x629029+512 ~x629028+256 ~x629027+128 ~x629026+64 ~x629025+32 ~x629024+16 ~x629023+8 ~x629022+4 ~x629021+2 ~x629020+1 ~x629019+2048 x3636+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=8190 15.26/15.35 c 4096 ~x631379+2048 ~x631378+1024 ~x631377+512 ~x631376+256 ~x631375+128 ~x631374+64 ~x631373+32 ~x631372+16 ~x631371+8 ~x631370+4 ~x631369+2 ~x631368+1 ~x631367+5120 x3637+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=16382 15.37/15.42 c 16384 ~x634081+8192 ~x634080+4096 ~x634079+2048 ~x634078+1024 ~x634077+512 ~x634076+256 ~x634075+128 ~x634074+64 ~x634073+32 ~x634072+16 ~x634071+8 ~x634070+4 ~x634069+2 ~x634068+1 ~x634067+21504 x3638+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=65534 15.46/15.52 c 2048 ~x638370+1024 ~x638369+512 ~x638368+256 ~x638367+128 ~x638366+64 ~x638365+32 ~x638364+16 ~x638363+8 ~x638362+4 ~x638361+2 ~x638360+1 ~x638359+2048 x3639+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=8190 15.46/15.59 c 4096 ~x640719+2048 ~x640718+1024 ~x640717+512 ~x640716+256 ~x640715+128 ~x640714+64 ~x640713+32 ~x640712+16 ~x640711+8 ~x640710+4 ~x640709+2 ~x640708+1 ~x640707+7168 x3640+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=16382 15.56/15.65 c 8192 ~x643420+4096 ~x643419+2048 ~x643418+1024 ~x643417+512 ~x643416+256 ~x643415+128 ~x643414+64 ~x643413+32 ~x643412+16 ~x643411+8 ~x643410+4 ~x643409+2 ~x643408+1 ~x643407+13312 x3641+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 15.66/15.74 c 2048 ~x647134+1024 ~x647133+512 ~x647132+256 ~x647131+128 ~x647130+64 ~x647129+32 ~x647128+16 ~x647127+8 ~x647126+4 ~x647125+2 ~x647124+1 ~x647123+3072 x3642+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=8190 15.76/15.80 c 16384 ~x649485+8192 ~x649484+4096 ~x649483+2048 ~x649482+1024 ~x649481+512 ~x649480+256 ~x649479+128 ~x649478+64 ~x649477+32 ~x649476+16 ~x649475+8 ~x649474+4 ~x649473+2 ~x649472+1 ~x649471+28672 x3643+16384 ~x1246+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=65534 15.86/15.90 c 16384 ~x653777+8192 ~x653776+4096 ~x653775+2048 ~x653774+1024 ~x653773+512 ~x653772+256 ~x653771+128 ~x653770+64 ~x653769+32 ~x653768+16 ~x653767+8 ~x653766+4 ~x653765+2 ~x653764+1 ~x653763+16384 x3644+16384 ~x1276+8192 ~x1275+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262-0=65534 15.86/15.99 c 2048 ~x657809+1024 ~x657808+512 ~x657807+256 ~x657806+128 ~x657805+64 ~x657804+32 ~x657803+16 ~x657802+8 ~x657801+4 ~x657800+2 ~x657799+1 ~x657798+3072 x3645+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=8190 15.96/16.05 c 2048 ~x660157+1024 ~x660156+512 ~x660155+256 ~x660154+128 ~x660153+64 ~x660152+32 ~x660151+16 ~x660150+8 ~x660149+4 ~x660148+2 ~x660147+1 ~x660146+2048 x3646+2048 ~x1333+1024 ~x1332+512 ~x1331+256 ~x1330+128 ~x1329+64 ~x1328+32 ~x1327+16 ~x1326+8 ~x1325+4 ~x1324+2 ~x1323+1 ~x1322-0=8190 16.06/16.11 c 2048 ~x662505+1024 ~x662504+512 ~x662503+256 ~x662502+128 ~x662501+64 ~x662500+32 ~x662499+16 ~x662498+8 ~x662497+4 ~x662496+2 ~x662495+1 ~x662494+2048 x3647+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352-0=8190 16.06/16.17 c 16384 ~x664856+8192 ~x664855+4096 ~x664854+2048 ~x664853+1024 ~x664852+512 ~x664851+256 ~x664850+128 ~x664849+64 ~x664848+32 ~x664847+16 ~x664846+8 ~x664845+4 ~x664844+2 ~x664843+1 ~x664842+29696 x3648+16384 ~x1396+8192 ~x1395+4096 ~x1394+2048 ~x1393+1024 ~x1392+512 ~x1391+256 ~x1390+128 ~x1389+64 ~x1388+32 ~x1387+16 ~x1386+8 ~x1385+4 ~x1384+2 ~x1383+1 ~x1382-0=65534 16.15/16.27 c 2048 ~x669145+1024 ~x669144+512 ~x669143+256 ~x669142+128 ~x669141+64 ~x669140+32 ~x669139+16 ~x669138+8 ~x669137+4 ~x669136+2 ~x669135+1 ~x669134+2048 x3649+2048 ~x1423+1024 ~x1422+512 ~x1421+256 ~x1420+128 ~x1419+64 ~x1418+32 ~x1417+16 ~x1416+8 ~x1415+4 ~x1414+2 ~x1413+1 ~x1412-0=8190 16.25/16.32 c 4096 ~x671494+2048 ~x671493+1024 ~x671492+512 ~x671491+256 ~x671490+128 ~x671489+64 ~x671488+32 ~x671487+16 ~x671486+8 ~x671485+4 ~x671484+2 ~x671483+1 ~x671482+5120 x3650+4096 ~x1454+2048 ~x1453+1024 ~x1452+512 ~x1451+256 ~x1450+128 ~x1449+64 ~x1448+32 ~x1447+16 ~x1446+8 ~x1445+4 ~x1444+2 ~x1443+1 ~x1442-0=16382 16.25/16.39 c 16384 ~x674196+8192 ~x674195+4096 ~x674194+2048 ~x674193+1024 ~x674192+512 ~x674191+256 ~x674190+128 ~x674189+64 ~x674188+32 ~x674187+16 ~x674186+8 ~x674185+4 ~x674184+2 ~x674183+1 ~x674182+30720 x3651+16384 ~x1486+8192 ~x1485+4096 ~x1484+2048 ~x1483+1024 ~x1482+512 ~x1481+256 ~x1480+128 ~x1479+64 ~x1478+32 ~x1477+16 ~x1476+8 ~x1475+4 ~x1474+2 ~x1473+1 ~x1472-0=65534 16.36/16.49 c 2048 ~x678485+1024 ~x678484+512 ~x678483+256 ~x678482+128 ~x678481+64 ~x678480+32 ~x678479+16 ~x678478+8 ~x678477+4 ~x678476+2 ~x678475+1 ~x678474+2048 x3652+2048 ~x1513+1024 ~x1512+512 ~x1511+256 ~x1510+128 ~x1509+64 ~x1508+32 ~x1507+16 ~x1506+8 ~x1505+4 ~x1504+2 ~x1503+1 ~x1502-0=8190 16.47/16.55 c 4096 ~x680834+2048 ~x680833+1024 ~x680832+512 ~x680831+256 ~x680830+128 ~x680829+64 ~x680828+32 ~x680827+16 ~x680826+8 ~x680825+4 ~x680824+2 ~x680823+1 ~x680822+7168 x3653+4096 ~x1544+2048 ~x1543+1024 ~x1542+512 ~x1541+256 ~x1540+128 ~x1539+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=16382 16.56/16.61 c 8192 ~x683535+4096 ~x683534+2048 ~x683533+1024 ~x683532+512 ~x683531+256 ~x683530+128 ~x683529+64 ~x683528+32 ~x683527+16 ~x683526+8 ~x683525+4 ~x683524+2 ~x683523+1 ~x683522+13312 x3654+8192 ~x1575+4096 ~x1574+2048 ~x1573+1024 ~x1572+512 ~x1571+256 ~x1570+128 ~x1569+64 ~x1568+32 ~x1567+16 ~x1566+8 ~x1565+4 ~x1564+2 ~x1563+1 ~x1562-0=32766 16.66/16.70 c 2048 ~x687249+1024 ~x687248+512 ~x687247+256 ~x687246+128 ~x687245+64 ~x687244+32 ~x687243+16 ~x687242+8 ~x687241+4 ~x687240+2 ~x687239+1 ~x687238+3072 x3655+2048 ~x1603+1024 ~x1602+512 ~x1601+256 ~x1600+128 ~x1599+64 ~x1598+32 ~x1597+16 ~x1596+8 ~x1595+4 ~x1594+2 ~x1593+1 ~x1592-0=8190 16.66/16.76 c 8192 ~x689599+4096 ~x689598+2048 ~x689597+1024 ~x689596+512 ~x689595+256 ~x689594+128 ~x689593+64 ~x689592+32 ~x689591+16 ~x689590+8 ~x689589+4 ~x689588+2 ~x689587+1 ~x689586+14336 x3656+8192 ~x1635+4096 ~x1634+2048 ~x1633+1024 ~x1632+512 ~x1631+256 ~x1630+128 ~x1629+64 ~x1628+32 ~x1627+16 ~x1626+8 ~x1625+4 ~x1624+2 ~x1623+1 ~x1622-0=32766 16.76/16.85 c 16384 ~x693316+8192 ~x693315+4096 ~x693314+2048 ~x693313+1024 ~x693312+512 ~x693311+256 ~x693310+128 ~x693309+64 ~x693308+32 ~x693307+16 ~x693306+8 ~x693305+4 ~x693304+2 ~x693303+1 ~x693302+17408 x3657+16384 ~x1666+8192 ~x1665+4096 ~x1664+2048 ~x1663+1024 ~x1662+512 ~x1661+256 ~x1660+128 ~x1659+64 ~x1658+32 ~x1657+16 ~x1656+8 ~x1655+4 ~x1654+2 ~x1653+1 ~x1652-0=65534 16.85/16.95 c 16384 ~x697351+8192 ~x697350+4096 ~x697349+2048 ~x697348+1024 ~x697347+512 ~x697346+256 ~x697345+128 ~x697344+64 ~x697343+32 ~x697342+16 ~x697341+8 ~x697340+4 ~x697339+2 ~x697338+1 ~x697337+16384 x3658+16384 ~x1696+8192 ~x1695+4096 ~x1694+2048 ~x1693+1024 ~x1692+512 ~x1691+256 ~x1690+128 ~x1689+64 ~x1688+32 ~x1687+16 ~x1686+8 ~x1685+4 ~x1684+2 ~x1683+1 ~x1682-0=65534 16.95/17.04 c 2048 ~x701383+1024 ~x701382+512 ~x701381+256 ~x701380+128 ~x701379+64 ~x701378+32 ~x701377+16 ~x701376+8 ~x701375+4 ~x701374+2 ~x701373+1 ~x701372+2048 x3659+2048 ~x1723+1024 ~x1722+512 ~x1721+256 ~x1720+128 ~x1719+64 ~x1718+32 ~x1717+16 ~x1716+8 ~x1715+4 ~x1714+2 ~x1713+1 ~x1712-0=8190 17.06/17.10 c 2048 ~x703731+1024 ~x703730+512 ~x703729+256 ~x703728+128 ~x703727+64 ~x703726+32 ~x703725+16 ~x703724+8 ~x703723+4 ~x703722+2 ~x703721+1 ~x703720+2048 x3660+2048 ~x1753+1024 ~x1752+512 ~x1751+256 ~x1750+128 ~x1749+64 ~x1748+32 ~x1747+16 ~x1746+8 ~x1745+4 ~x1744+2 ~x1743+1 ~x1742-0=8190 17.06/17.16 c 16384 ~x706082+8192 ~x706081+4096 ~x706080+2048 ~x706079+1024 ~x706078+512 ~x706077+256 ~x706076+128 ~x706075+64 ~x706074+32 ~x706073+16 ~x706072+8 ~x706071+4 ~x706070+2 ~x706069+1 ~x706068+17408 x3661+16384 ~x1786+8192 ~x1785+4096 ~x1784+2048 ~x1783+1024 ~x1782+512 ~x1781+256 ~x1780+128 ~x1779+64 ~x1778+32 ~x1777+16 ~x1776+8 ~x1775+4 ~x1774+2 ~x1773+1 ~x1772-0=65534 17.16/17.26 c 2048 ~x710114+1024 ~x710113+512 ~x710112+256 ~x710111+128 ~x710110+64 ~x710109+32 ~x710108+16 ~x710107+8 ~x710106+4 ~x710105+2 ~x710104+1 ~x710103+2048 x3662+2048 ~x1813+1024 ~x1812+512 ~x1811+256 ~x1810+128 ~x1809+64 ~x1808+32 ~x1807+16 ~x1806+8 ~x1805+4 ~x1804+2 ~x1803+1 ~x1802-0=8190 17.25/17.31 c 4096 ~x712463+2048 ~x712462+1024 ~x712461+512 ~x712460+256 ~x712459+128 ~x712458+64 ~x712457+32 ~x712456+16 ~x712455+8 ~x712454+4 ~x712453+2 ~x712452+1 ~x712451+5120 x3663+4096 ~x1844+2048 ~x1843+1024 ~x1842+512 ~x1841+256 ~x1840+128 ~x1839+64 ~x1838+32 ~x1837+16 ~x1836+8 ~x1835+4 ~x1834+2 ~x1833+1 ~x1832-0=16382 17.25/17.38 c 16384 ~x715165+8192 ~x715164+4096 ~x715163+2048 ~x715162+1024 ~x715161+512 ~x715160+256 ~x715159+128 ~x715158+64 ~x715157+32 ~x715156+16 ~x715155+8 ~x715154+4 ~x715153+2 ~x715152+1 ~x715151+17408 x3664+16384 ~x1876+8192 ~x1875+4096 ~x1874+2048 ~x1873+1024 ~x1872+512 ~x1871+256 ~x1870+128 ~x1869+64 ~x1868+32 ~x1867+16 ~x1866+8 ~x1865+4 ~x1864+2 ~x1863+1 ~x1862-0=65534 17.35/17.48 c 2048 ~x719197+1024 ~x719196+512 ~x719195+256 ~x719194+128 ~x719193+64 ~x719192+32 ~x719191+16 ~x719190+8 ~x719189+4 ~x719188+2 ~x719187+1 ~x719186+2048 x3665+2048 ~x1903+1024 ~x1902+512 ~x1901+256 ~x1900+128 ~x1899+64 ~x1898+32 ~x1897+16 ~x1896+8 ~x1895+4 ~x1894+2 ~x1893+1 ~x1892-0=8190 17.46/17.53 c 4096 ~x721546+2048 ~x721545+1024 ~x721544+512 ~x721543+256 ~x721542+128 ~x721541+64 ~x721540+32 ~x721539+16 ~x721538+8 ~x721537+4 ~x721536+2 ~x721535+1 ~x721534+7168 x3666+4096 ~x1934+2048 ~x1933+1024 ~x1932+512 ~x1931+256 ~x1930+128 ~x1929+64 ~x1928+32 ~x1927+16 ~x1926+8 ~x1925+4 ~x1924+2 ~x1923+1 ~x1922-0=16382 17.46/17.60 c 8192 ~x724247+4096 ~x724246+2048 ~x724245+1024 ~x724244+512 ~x724243+256 ~x724242+128 ~x724241+64 ~x724240+32 ~x724239+16 ~x724238+8 ~x724237+4 ~x724236+2 ~x724235+1 ~x724234+14336 x3667+8192 ~x1965+4096 ~x1964+2048 ~x1963+1024 ~x1962+512 ~x1961+256 ~x1960+128 ~x1959+64 ~x1958+32 ~x1957+16 ~x1956+8 ~x1955+4 ~x1954+2 ~x1953+1 ~x1952-0=32766 17.56/17.69 c 8192 ~x727963+4096 ~x727962+2048 ~x727961+1024 ~x727960+512 ~x727959+256 ~x727958+128 ~x727957+64 ~x727956+32 ~x727955+16 ~x727954+8 ~x727953+4 ~x727952+2 ~x727951+1 ~x727950+8192 x3668+8192 ~x1995+4096 ~x1994+2048 ~x1993+1024 ~x1992+512 ~x1991+256 ~x1990+128 ~x1989+64 ~x1988+32 ~x1987+16 ~x1986+8 ~x1985+4 ~x1984+2 ~x1983+1 ~x1982-0=32766 17.64/17.78 c 2048 ~x731677+1024 ~x731676+512 ~x731675+256 ~x731674+128 ~x731673+64 ~x731672+32 ~x731671+16 ~x731670+8 ~x731669+4 ~x731668+2 ~x731667+1 ~x731666+3072 x3669+2048 ~x2023+1024 ~x2022+512 ~x2021+256 ~x2020+128 ~x2019+64 ~x2018+32 ~x2017+16 ~x2016+8 ~x2015+4 ~x2014+2 ~x2013+1 ~x2012-0=8190 17.75/17.84 c 8192 ~x734027+4096 ~x734026+2048 ~x734025+1024 ~x734024+512 ~x734023+256 ~x734022+128 ~x734021+64 ~x734020+32 ~x734019+16 ~x734018+8 ~x734017+4 ~x734016+2 ~x734015+1 ~x734014+8192 x3670+8192 ~x2055+4096 ~x2054+2048 ~x2053+1024 ~x2052+512 ~x2051+256 ~x2050+128 ~x2049+64 ~x2048+32 ~x2047+16 ~x2046+8 ~x2045+4 ~x2044+2 ~x2043+1 ~x2042-0=32766 17.85/17.93 c 8192 ~x737743+4096 ~x737742+2048 ~x737741+1024 ~x737740+512 ~x737739+256 ~x737738+128 ~x737737+64 ~x737736+32 ~x737735+16 ~x737734+8 ~x737733+4 ~x737732+2 ~x737731+1 ~x737730+8192 x3671+8192 ~x2085+4096 ~x2084+2048 ~x2083+1024 ~x2082+512 ~x2081+256 ~x2080+128 ~x2079+64 ~x2078+32 ~x2077+16 ~x2076+8 ~x2075+4 ~x2074+2 ~x2073+1 ~x2072-0=32766 17.95/18.02 c 2048 ~x741457+1024 ~x741456+512 ~x741455+256 ~x741454+128 ~x741453+64 ~x741452+32 ~x741451+16 ~x741450+8 ~x741449+4 ~x741448+2 ~x741447+1 ~x741446+2048 x3672+2048 ~x2113+1024 ~x2112+512 ~x2111+256 ~x2110+128 ~x2109+64 ~x2108+32 ~x2107+16 ~x2106+8 ~x2105+4 ~x2104+2 ~x2103+1 ~x2102-0=8190 17.95/18.07 c 2048 ~x743805+1024 ~x743804+512 ~x743803+256 ~x743802+128 ~x743801+64 ~x743800+32 ~x743799+16 ~x743798+8 ~x743797+4 ~x743796+2 ~x743795+1 ~x743794+2048 x3673+2048 ~x2143+1024 ~x2142+512 ~x2141+256 ~x2140+128 ~x2139+64 ~x2138+32 ~x2137+16 ~x2136+8 ~x2135+4 ~x2134+2 ~x2133+1 ~x2132-0=8190 18.05/18.13 c 8192 ~x746155+4096 ~x746154+2048 ~x746153+1024 ~x746152+512 ~x746151+256 ~x746150+128 ~x746149+64 ~x746148+32 ~x746147+16 ~x746146+8 ~x746145+4 ~x746144+2 ~x746143+1 ~x746142+8192 x3674+8192 ~x2175+4096 ~x2174+2048 ~x2173+1024 ~x2172+512 ~x2171+256 ~x2170+128 ~x2169+64 ~x2168+32 ~x2167+16 ~x2166+8 ~x2165+4 ~x2164+2 ~x2163+1 ~x2162-0=32766 18.14/18.22 c 2048 ~x749869+1024 ~x749868+512 ~x749867+256 ~x749866+128 ~x749865+64 ~x749864+32 ~x749863+16 ~x749862+8 ~x749861+4 ~x749860+2 ~x749859+1 ~x749858+2048 x3675+2048 ~x2203+1024 ~x2202+512 ~x2201+256 ~x2200+128 ~x2199+64 ~x2198+32 ~x2197+16 ~x2196+8 ~x2195+4 ~x2194+2 ~x2193+1 ~x2192-0=8190 18.14/18.28 c 4096 ~x752218+2048 ~x752217+1024 ~x752216+512 ~x752215+256 ~x752214+128 ~x752213+64 ~x752212+32 ~x752211+16 ~x752210+8 ~x752209+4 ~x752208+2 ~x752207+1 ~x752206+5120 x3676+4096 ~x2234+2048 ~x2233+1024 ~x2232+512 ~x2231+256 ~x2230+128 ~x2229+64 ~x2228+32 ~x2227+16 ~x2226+8 ~x2225+4 ~x2224+2 ~x2223+1 ~x2222-0=16382 18.25/18.34 c 8192 ~x754919+4096 ~x754918+2048 ~x754917+1024 ~x754916+512 ~x754915+256 ~x754914+128 ~x754913+64 ~x754912+32 ~x754911+16 ~x754910+8 ~x754909+4 ~x754908+2 ~x754907+1 ~x754906+8192 x3677+8192 ~x2265+4096 ~x2264+2048 ~x2263+1024 ~x2262+512 ~x2261+256 ~x2260+128 ~x2259+64 ~x2258+32 ~x2257+16 ~x2256+8 ~x2255+4 ~x2254+2 ~x2253+1 ~x2252-0=32766 18.35/18.43 c 2048 ~x758633+1024 ~x758632+512 ~x758631+256 ~x758630+128 ~x758629+64 ~x758628+32 ~x758627+16 ~x758626+8 ~x758625+4 ~x758624+2 ~x758623+1 ~x758622+2048 x3678+2048 ~x2293+1024 ~x2292+512 ~x2291+256 ~x2290+128 ~x2289+64 ~x2288+32 ~x2287+16 ~x2286+8 ~x2285+4 ~x2284+2 ~x2283+1 ~x2282-0=8190 18.35/18.49 c 2048 ~x760981+1024 ~x760980+512 ~x760979+256 ~x760978+128 ~x760977+64 ~x760976+32 ~x760975+16 ~x760974+8 ~x760973+4 ~x760972+2 ~x760971+1 ~x760970+2048 x3679+2048 ~x2323+1024 ~x2322+512 ~x2321+256 ~x2320+128 ~x2319+64 ~x2318+32 ~x2317+16 ~x2316+8 ~x2315+4 ~x2314+2 ~x2313+1 ~x2312-0=8190 18.44/18.55 c 4096 ~x763330+2048 ~x763329+1024 ~x763328+512 ~x763327+256 ~x763326+128 ~x763325+64 ~x763324+32 ~x763323+16 ~x763322+8 ~x763321+4 ~x763320+2 ~x763319+1 ~x763318+7168 x3680+4096 ~x2354+2048 ~x2353+1024 ~x2352+512 ~x2351+256 ~x2350+128 ~x2349+64 ~x2348+32 ~x2347+16 ~x2346+8 ~x2345+4 ~x2344+2 ~x2343+1 ~x2342-0=16382 18.56/18.61 c 8192 ~x766031+4096 ~x766030+2048 ~x766029+1024 ~x766028+512 ~x766027+256 ~x766026+128 ~x766025+64 ~x766024+32 ~x766023+16 ~x766022+8 ~x766021+4 ~x766020+2 ~x766019+1 ~x766018+10240 x3681+8192 ~x2385+4096 ~x2384+2048 ~x2383+1024 ~x2382+512 ~x2381+256 ~x2380+128 ~x2379+64 ~x2378+32 ~x2377+16 ~x2376+8 ~x2375+4 ~x2374+2 ~x2373+1 ~x2372-0=32766 18.56/18.70 c 2048 ~x769745+1024 ~x769744+512 ~x769743+256 ~x769742+128 ~x769741+64 ~x769740+32 ~x769739+16 ~x769738+8 ~x769737+4 ~x769736+2 ~x769735+1 ~x769734+3072 x3682+2048 ~x2413+1024 ~x2412+512 ~x2411+256 ~x2410+128 ~x2409+64 ~x2408+32 ~x2407+16 ~x2406+8 ~x2405+4 ~x2404+2 ~x2403+1 ~x2402-0=8190 18.66/18.76 c 8192 ~x772095+4096 ~x772094+2048 ~x772093+1024 ~x772092+512 ~x772091+256 ~x772090+128 ~x772089+64 ~x772088+32 ~x772087+16 ~x772086+8 ~x772085+4 ~x772084+2 ~x772083+1 ~x772082+10240 x3683+8192 ~x2445+4096 ~x2444+2048 ~x2443+1024 ~x2442+512 ~x2441+256 ~x2440+128 ~x2439+64 ~x2438+32 ~x2437+16 ~x2436+8 ~x2435+4 ~x2434+2 ~x2433+1 ~x2432-0=32766 18.75/18.85 c 8192 ~x775811+4096 ~x775810+2048 ~x775809+1024 ~x775808+512 ~x775807+256 ~x775806+128 ~x775805+64 ~x775804+32 ~x775803+16 ~x775802+8 ~x775801+4 ~x775800+2 ~x775799+1 ~x775798+10240 x3684+8192 ~x2475+4096 ~x2474+2048 ~x2473+1024 ~x2472+512 ~x2471+256 ~x2470+128 ~x2469+64 ~x2468+32 ~x2467+16 ~x2466+8 ~x2465+4 ~x2464+2 ~x2463+1 ~x2462-0=32766 18.85/18.94 c 2048 ~x779525+1024 ~x779524+512 ~x779523+256 ~x779522+128 ~x779521+64 ~x779520+32 ~x779519+16 ~x779518+8 ~x779517+4 ~x779516+2 ~x779515+1 ~x779514+2048 x3685+2048 ~x2503+1024 ~x2502+512 ~x2501+256 ~x2500+128 ~x2499+64 ~x2498+32 ~x2497+16 ~x2496+8 ~x2495+4 ~x2494+2 ~x2493+1 ~x2492-0=8190 18.85/19.00 c 2048 ~x781873+1024 ~x781872+512 ~x781871+256 ~x781870+128 ~x781869+64 ~x781868+32 ~x781867+16 ~x781866+8 ~x781865+4 ~x781864+2 ~x781863+1 ~x781862+2048 x3686+2048 ~x2533+1024 ~x2532+512 ~x2531+256 ~x2530+128 ~x2529+64 ~x2528+32 ~x2527+16 ~x2526+8 ~x2525+4 ~x2524+2 ~x2523+1 ~x2522-0=8190 18.95/19.05 c 8192 ~x784223+4096 ~x784222+2048 ~x784221+1024 ~x784220+512 ~x784219+256 ~x784218+128 ~x784217+64 ~x784216+32 ~x784215+16 ~x784214+8 ~x784213+4 ~x784212+2 ~x784211+1 ~x784210+10240 x3687+8192 ~x2565+4096 ~x2564+2048 ~x2563+1024 ~x2562+512 ~x2561+256 ~x2560+128 ~x2559+64 ~x2558+32 ~x2557+16 ~x2556+8 ~x2555+4 ~x2554+2 ~x2553+1 ~x2552-0=32766 19.05/19.15 c 2048 ~x787937+1024 ~x787936+512 ~x787935+256 ~x787934+128 ~x787933+64 ~x787932+32 ~x787931+16 ~x787930+8 ~x787929+4 ~x787928+2 ~x787927+1 ~x787926+2048 x3688+2048 ~x2593+1024 ~x2592+512 ~x2591+256 ~x2590+128 ~x2589+64 ~x2588+32 ~x2587+16 ~x2586+8 ~x2585+4 ~x2584+2 ~x2583+1 ~x2582-0=8190 19.14/19.20 c 2048 ~x790285+1024 ~x790284+512 ~x790283+256 ~x790282+128 ~x790281+64 ~x790280+32 ~x790279+16 ~x790278+8 ~x790277+4 ~x790276+2 ~x790275+1 ~x790274+2048 x3689+2048 ~x2623+1024 ~x2622+512 ~x2621+256 ~x2620+128 ~x2619+64 ~x2618+32 ~x2617+16 ~x2616+8 ~x2615+4 ~x2614+2 ~x2613+1 ~x2612-0=8190 19.14/19.26 c 4096 ~x792634+2048 ~x792633+1024 ~x792632+512 ~x792631+256 ~x792630+128 ~x792629+64 ~x792628+32 ~x792627+16 ~x792626+8 ~x792625+4 ~x792624+2 ~x792623+1 ~x792622+5120 x3690+4096 ~x2654+2048 ~x2653+1024 ~x2652+512 ~x2651+256 ~x2650+128 ~x2649+64 ~x2648+32 ~x2647+16 ~x2646+8 ~x2645+4 ~x2644+2 ~x2643+1 ~x2642-0=16382 19.25/19.33 c 8192 ~x795335+4096 ~x795334+2048 ~x795333+1024 ~x795332+512 ~x795331+256 ~x795330+128 ~x795329+64 ~x795328+32 ~x795327+16 ~x795326+8 ~x795325+4 ~x795324+2 ~x795323+1 ~x795322+10240 x3691+8192 ~x2685+4096 ~x2684+2048 ~x2683+1024 ~x2682+512 ~x2681+256 ~x2680+128 ~x2679+64 ~x2678+32 ~x2677+16 ~x2676+8 ~x2675+4 ~x2674+2 ~x2673+1 ~x2672-0=32766 19.35/19.43 c 2048 ~x799049+1024 ~x799048+512 ~x799047+256 ~x799046+128 ~x799045+64 ~x799044+32 ~x799043+16 ~x799042+8 ~x799041+4 ~x799040+2 ~x799039+1 ~x799038+2048 x3692+2048 ~x2713+1024 ~x2712+512 ~x2711+256 ~x2710+128 ~x2709+64 ~x2708+32 ~x2707+16 ~x2706+8 ~x2705+4 ~x2704+2 ~x2703+1 ~x2702-0=8190 19.35/19.49 c 4096 ~x801398+2048 ~x801397+1024 ~x801396+512 ~x801395+256 ~x801394+128 ~x801393+64 ~x801392+32 ~x801391+16 ~x801390+8 ~x801389+4 ~x801388+2 ~x801387+1 ~x801386+7168 x3693+4096 ~x2744+2048 ~x2743+1024 ~x2742+512 ~x2741+256 ~x2740+128 ~x2739+64 ~x2738+32 ~x2737+16 ~x2736+8 ~x2735+4 ~x2734+2 ~x2733+1 ~x2732-0=16382 19.44/19.55 c 8192 ~x804099+4096 ~x804098+2048 ~x804097+1024 ~x804096+512 ~x804095+256 ~x804094+128 ~x804093+64 ~x804092+32 ~x804091+16 ~x804090+8 ~x804089+4 ~x804088+2 ~x804087+1 ~x804086+13312 x3694+8192 ~x2775+4096 ~x2774+2048 ~x2773+1024 ~x2772+512 ~x2771+256 ~x2770+128 ~x2769+64 ~x2768+32 ~x2767+16 ~x2766+8 ~x2765+4 ~x2764+2 ~x2763+1 ~x2762-0=32766 19.55/19.64 c 2048 ~x807813+1024 ~x807812+512 ~x807811+256 ~x807810+128 ~x807809+64 ~x807808+32 ~x807807+16 ~x807806+8 ~x807805+4 ~x807804+2 ~x807803+1 ~x807802+3072 x3695+2048 ~x2803+1024 ~x2802+512 ~x2801+256 ~x2800+128 ~x2799+64 ~x2798+32 ~x2797+16 ~x2796+8 ~x2795+4 ~x2794+2 ~x2793+1 ~x2792-0=8190 19.55/19.70 c 16384 ~x810164+8192 ~x810163+4096 ~x810162+2048 ~x810161+1024 ~x810160+512 ~x810159+256 ~x810158+128 ~x810157+64 ~x810156+32 ~x810155+16 ~x810154+8 ~x810153+4 ~x810152+2 ~x810151+1 ~x810150+28672 x3696+16384 ~x2836+8192 ~x2835+4096 ~x2834+2048 ~x2833+1024 ~x2832+512 ~x2831+256 ~x2830+128 ~x2829+64 ~x2828+32 ~x2827+16 ~x2826+8 ~x2825+4 ~x2824+2 ~x2823+1 ~x2822-0=65534 19.66/19.80 c 16384 ~x814456+8192 ~x814455+4096 ~x814454+2048 ~x814453+1024 ~x814452+512 ~x814451+256 ~x814450+128 ~x814449+64 ~x814448+32 ~x814447+16 ~x814446+8 ~x814445+4 ~x814444+2 ~x814443+1 ~x814442+16384 x3697+16384 ~x2866+8192 ~x2865+4096 ~x2864+2048 ~x2863+1024 ~x2862+512 ~x2861+256 ~x2860+128 ~x2859+64 ~x2858+32 ~x2857+16 ~x2856+8 ~x2855+4 ~x2854+2 ~x2853+1 ~x2852-0=65534 19.76/19.89 c 2048 ~x818488+1024 ~x818487+512 ~x818486+256 ~x818485+128 ~x818484+64 ~x818483+32 ~x818482+16 ~x818481+8 ~x818480+4 ~x818479+2 ~x818478+1 ~x818477+2048 x3698+2048 ~x2893+1024 ~x2892+512 ~x2891+256 ~x2890+128 ~x2889+64 ~x2888+32 ~x2887+16 ~x2886+8 ~x2885+4 ~x2884+2 ~x2883+1 ~x2882-0=8190 19.85/19.95 c 2048 ~x820836+1024 ~x820835+512 ~x820834+256 ~x820833+128 ~x820832+64 ~x820831+32 ~x820830+16 ~x820829+8 ~x820828+4 ~x820827+2 ~x820826+1 ~x820825+2048 x3699+2048 ~x2923+1024 ~x2922+512 ~x2921+256 ~x2920+128 ~x2919+64 ~x2918+32 ~x2917+16 ~x2916+8 ~x2915+4 ~x2914+2 ~x2913+1 ~x2912-0=8190 19.95/20.01 c 8192 ~x823186+4096 ~x823185+2048 ~x823184+1024 ~x823183+512 ~x823182+256 ~x823181+128 ~x823180+64 ~x823179+32 ~x823178+16 ~x823177+8 ~x823176+4 ~x823175+2 ~x823174+1 ~x823173+14336 x3700+8192 ~x2955+4096 ~x2954+2048 ~x2953+1024 ~x2952+512 ~x2951+256 ~x2950+128 ~x2949+64 ~x2948+32 ~x2947+16 ~x2946+8 ~x2945+4 ~x2944+2 ~x2943+1 ~x2942-0=32766 20.04/20.10 c 16384 ~x826903+8192 ~x826902+4096 ~x826901+2048 ~x826900+1024 ~x826899+512 ~x826898+256 ~x826897+128 ~x826896+64 ~x826895+32 ~x826894+16 ~x826893+8 ~x826892+4 ~x826891+2 ~x826890+1 ~x826889+28672 x3701+16384 ~x2986+8192 ~x2985+4096 ~x2984+2048 ~x2983+1024 ~x2982+512 ~x2981+256 ~x2980+128 ~x2979+64 ~x2978+32 ~x2977+16 ~x2976+8 ~x2975+4 ~x2974+2 ~x2973+1 ~x2972-0=65534 20.15/20.20 c 2048 ~x831192+1024 ~x831191+512 ~x831190+256 ~x831189+128 ~x831188+64 ~x831187+32 ~x831186+16 ~x831185+8 ~x831184+4 ~x831183+2 ~x831182+1 ~x831181+2048 x3702+2048 ~x3013+1024 ~x3012+512 ~x3011+256 ~x3010+128 ~x3009+64 ~x3008+32 ~x3007+16 ~x3006+8 ~x3005+4 ~x3004+2 ~x3003+1 ~x3002-0=8190 20.15/20.26 c 4096 ~x833541+2048 ~x833540+1024 ~x833539+512 ~x833538+256 ~x833537+128 ~x833536+64 ~x833535+32 ~x833534+16 ~x833533+8 ~x833532+4 ~x833531+2 ~x833530+1 ~x833529+5120 x3703+4096 ~x3044+2048 ~x3043+1024 ~x3042+512 ~x3041+256 ~x3040+128 ~x3039+64 ~x3038+32 ~x3037+16 ~x3036+8 ~x3035+4 ~x3034+2 ~x3033+1 ~x3032-0=16382 20.25/20.32 c 16384 ~x836243+8192 ~x836242+4096 ~x836241+2048 ~x836240+1024 ~x836239+512 ~x836238+256 ~x836237+128 ~x836236+64 ~x836235+32 ~x836234+16 ~x836233+8 ~x836232+4 ~x836231+2 ~x836230+1 ~x836229+28672 x3704+16384 ~x3076+8192 ~x3075+4096 ~x3074+2048 ~x3073+1024 ~x3072+512 ~x3071+256 ~x3070+128 ~x3069+64 ~x3068+32 ~x3067+16 ~x3066+8 ~x3065+4 ~x3064+2 ~x3063+1 ~x3062-0=65534 20.34/20.42 c 2048 ~x840532+1024 ~x840531+512 ~x840530+256 ~x840529+128 ~x840528+64 ~x840527+32 ~x840526+16 ~x840525+8 ~x840524+4 ~x840523+2 ~x840522+1 ~x840521+2048 x3705+2048 ~x3103+1024 ~x3102+512 ~x3101+256 ~x3100+128 ~x3099+64 ~x3098+32 ~x3097+16 ~x3096+8 ~x3095+4 ~x3094+2 ~x3093+1 ~x3092-0=8190 20.34/20.48 c 4096 ~x842881+2048 ~x842880+1024 ~x842879+512 ~x842878+256 ~x842877+128 ~x842876+64 ~x842875+32 ~x842874+16 ~x842873+8 ~x842872+4 ~x842871+2 ~x842870+1 ~x842869+5120 x3706+4096 ~x3134+2048 ~x3133+1024 ~x3132+512 ~x3131+256 ~x3130+128 ~x3129+64 ~x3128+32 ~x3127+16 ~x3126+8 ~x3125+4 ~x3124+2 ~x3123+1 ~x3122-0=16382 20.44/20.54 c 4096 ~x845581+2048 ~x845580+1024 ~x845579+512 ~x845578+256 ~x845577+128 ~x845576+64 ~x845575+32 ~x845574+16 ~x845573+8 ~x845572+4 ~x845571+2 ~x845570+1 ~x845569+5120 x3707+4096 ~x3164+2048 ~x3163+1024 ~x3162+512 ~x3161+256 ~x3160+128 ~x3159+64 ~x3158+32 ~x3157+16 ~x3156+8 ~x3155+4 ~x3154+2 ~x3153+1 ~x3152-0=16382 20.55/20.61 c 2048 ~x848280+1024 ~x848279+512 ~x848278+256 ~x848277+128 ~x848276+64 ~x848275+32 ~x848274+16 ~x848273+8 ~x848272+4 ~x848271+2 ~x848270+1 ~x848269+3072 x3708+2048 ~x3193+1024 ~x3192+512 ~x3191+256 ~x3190+128 ~x3189+64 ~x3188+32 ~x3187+16 ~x3186+8 ~x3185+4 ~x3184+2 ~x3183+1 ~x3182-0=8190 20.55/20.66 c 4096 ~x850629+2048 ~x850628+1024 ~x850627+512 ~x850626+256 ~x850625+128 ~x850624+64 ~x850623+32 ~x850622+16 ~x850621+8 ~x850620+4 ~x850619+2 ~x850618+1 ~x850617+5120 x3709+4096 ~x3224+2048 ~x3223+1024 ~x3222+512 ~x3221+256 ~x3220+128 ~x3219+64 ~x3218+32 ~x3217+16 ~x3216+8 ~x3215+4 ~x3214+2 ~x3213+1 ~x3212-0=16382 20.65/20.73 c 4096 ~x853329+2048 ~x853328+1024 ~x853327+512 ~x853326+256 ~x853325+128 ~x853324+64 ~x853323+32 ~x853322+16 ~x853321+8 ~x853320+4 ~x853319+2 ~x853318+1 ~x853317+5120 x3710+4096 ~x3254+2048 ~x3253+1024 ~x3252+512 ~x3251+256 ~x3250+128 ~x3249+64 ~x3248+32 ~x3247+16 ~x3246+8 ~x3245+4 ~x3244+2 ~x3243+1 ~x3242-0=16382 20.65/20.79 c 2048 ~x856028+1024 ~x856027+512 ~x856026+256 ~x856025+128 ~x856024+64 ~x856023+32 ~x856022+16 ~x856021+8 ~x856020+4 ~x856019+2 ~x856018+1 ~x856017+2048 x3711+2048 ~x3283+1024 ~x3282+512 ~x3281+256 ~x3280+128 ~x3279+64 ~x3278+32 ~x3277+16 ~x3276+8 ~x3275+4 ~x3274+2 ~x3273+1 ~x3272-0=8190 20.75/20.85 c 2048 ~x858376+1024 ~x858375+512 ~x858374+256 ~x858373+128 ~x858372+64 ~x858371+32 ~x858370+16 ~x858369+8 ~x858368+4 ~x858367+2 ~x858366+1 ~x858365+2048 x3712+2048 ~x3313+1024 ~x3312+512 ~x3311+256 ~x3310+128 ~x3309+64 ~x3308+32 ~x3307+16 ~x3306+8 ~x3305+4 ~x3304+2 ~x3303+1 ~x3302-0=8190 20.85/20.91 c 2048 ~x860724+1024 ~x860723+512 ~x860722+256 ~x860721+128 ~x860720+64 ~x860719+32 ~x860718+16 ~x860717+8 ~x860716+4 ~x860715+2 ~x860714+1 ~x860713+2048 x3713+2048 ~x3343+1024 ~x3342+512 ~x3341+256 ~x3340+128 ~x3339+64 ~x3338+32 ~x3337+16 ~x3336+8 ~x3335+4 ~x3334+2 ~x3333+1 ~x3332-0=8190 20.85/20.97 c 4096 ~x863073+2048 ~x863072+1024 ~x863071+512 ~x863070+256 ~x863069+128 ~x863068+64 ~x863067+32 ~x863066+16 ~x863065+8 ~x863064+4 ~x863063+2 ~x863062+1 ~x863061+5120 x3714+4096 ~x3374+2048 ~x3373+1024 ~x3372+512 ~x3371+256 ~x3370+128 ~x3369+64 ~x3368+32 ~x3367+16 ~x3366+8 ~x3365+4 ~x3364+2 ~x3363+1 ~x3362-0=16382 20.94/21.03 c 2048 ~x865772+1024 ~x865771+512 ~x865770+256 ~x865769+128 ~x865768+64 ~x865767+32 ~x865766+16 ~x865765+8 ~x865764+4 ~x865763+2 ~x865762+1 ~x865761+2048 x3715+2048 ~x3403+1024 ~x3402+512 ~x3401+256 ~x3400+128 ~x3399+64 ~x3398+32 ~x3397+16 ~x3396+8 ~x3395+4 ~x3394+2 ~x3393+1 ~x3392-0=8190 20.94/21.09 c 4096 ~x868121+2048 ~x868120+1024 ~x868119+512 ~x868118+256 ~x868117+128 ~x868116+64 ~x868115+32 ~x868114+16 ~x868113+8 ~x868112+4 ~x868111+2 ~x868110+1 ~x868109+5120 x3716+4096 ~x3434+2048 ~x3433+1024 ~x3432+512 ~x3431+256 ~x3430+128 ~x3429+64 ~x3428+32 ~x3427+16 ~x3426+8 ~x3425+4 ~x3424+2 ~x3423+1 ~x3422-0=16382 21.04/21.15 c 4096 ~x870821+2048 ~x870820+1024 ~x870819+512 ~x870818+256 ~x870817+128 ~x870816+64 ~x870815+32 ~x870814+16 ~x870813+8 ~x870812+4 ~x870811+2 ~x870810+1 ~x870809+5120 x3717+4096 ~x3464+2048 ~x3463+1024 ~x3462+512 ~x3461+256 ~x3460+128 ~x3459+64 ~x3458+32 ~x3457+16 ~x3456+8 ~x3455+4 ~x3454+2 ~x3453+1 ~x3452-0=16382 21.14/21.22 c 2048 ~x873520+1024 ~x873519+512 ~x873518+256 ~x873517+128 ~x873516+64 ~x873515+32 ~x873514+16 ~x873513+8 ~x873512+4 ~x873511+2 ~x873510+1 ~x873509+2048 x3718+2048 ~x3493+1024 ~x3492+512 ~x3491+256 ~x3490+128 ~x3489+64 ~x3488+32 ~x3487+16 ~x3486+8 ~x3485+4 ~x3484+2 ~x3483+1 ~x3482-0=8190 21.14/21.28 c 4096 ~x875869+2048 ~x875868+1024 ~x875867+512 ~x875866+256 ~x875865+128 ~x875864+64 ~x875863+32 ~x875862+16 ~x875861+8 ~x875860+4 ~x875859+2 ~x875858+1 ~x875857+5120 x3719+4096 ~x3524+2048 ~x3523+1024 ~x3522+512 ~x3521+256 ~x3520+128 ~x3519+64 ~x3518+32 ~x3517+16 ~x3516+8 ~x3515+4 ~x3514+2 ~x3513+1 ~x3512-0=16382 21.24/21.34 c 4096 ~x878569+2048 ~x878568+1024 ~x878567+512 ~x878566+256 ~x878565+128 ~x878564+64 ~x878563+32 ~x878562+16 ~x878561+8 ~x878560+4 ~x878559+2 ~x878558+1 ~x878557+5120 x3720+4096 ~x3554+2048 ~x3553+1024 ~x3552+512 ~x3551+256 ~x3550+128 ~x3549+64 ~x3548+32 ~x3547+16 ~x3546+8 ~x3545+4 ~x3544+2 ~x3543+1 ~x3542-0=16382 21.35/21.41 c 2048 ~x881268+1024 ~x881267+512 ~x881266+256 ~x881265+128 ~x881264+64 ~x881263+32 ~x881262+16 ~x881261+8 ~x881260+4 ~x881259+2 ~x881258+1 ~x881257+3072 x3721+2048 ~x3583+1024
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-2674108-1276798948/watcher-2674108-1276798948 -o /tmp/evaluation-result-2674108-1276798948/solver-2674108-1276798948 -C 1800 -W 2000 -M 1800 run HOME/instance-2674108-1276798948.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.94 0.97 0.99 3/106 20668 /proc/meminfo: memFree=1935232/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [startup+0.0279039 s] /proc/loadavg: 0.94 0.97 0.99 3/106 20668 /proc/meminfo: memFree=1935232/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101904 s] /proc/loadavg: 0.94 0.97 0.99 3/106 20668 /proc/meminfo: memFree=1935232/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301903 s] /proc/loadavg: 0.94 0.97 0.99 3/106 20668 /proc/meminfo: memFree=1935232/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700903 s] /proc/loadavg: 0.94 0.97 0.99 3/106 20668 /proc/meminfo: memFree=1935232/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5009 s] /proc/loadavg: 0.95 0.97 0.99 2/108 20671 /proc/meminfo: memFree=1786664/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=156652 CPUtime=1.47 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 47765 0 0 0 91 56 0 0 20 0 1 0 55496383 160411648 38552 1992294400 134512640 134902295 4292608592 18446744073709551615 4160655438 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/20670/statm: 39163 38552 262 96 0 38375 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 165352 [startup+3.1009 s] /proc/loadavg: 0.95 0.97 0.99 3/108 20671 /proc/meminfo: memFree=1770668/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=186124 CPUtime=3.08 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 55432 0 0 0 248 60 0 0 25 0 1 0 55496383 190590976 45707 1992294400 134512640 134902295 4292608592 18446744073709551615 4160655438 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/20670/statm: 46531 45707 262 96 0 45743 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 194824 [startup+6.3009 s] /proc/loadavg: 0.95 0.97 0.99 3/108 20671 /proc/meminfo: memFree=1715240/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=243636 CPUtime=6.26 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 70976 0 0 0 560 66 0 0 25 0 1 0 55496383 249483264 59591 1992294400 134512640 134902295 4292608592 18446744073709551615 134630960 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/20670/statm: 60909 59591 262 96 0 60121 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 252336 [startup+12.7009 s] /proc/loadavg: 0.95 0.97 0.99 2/108 20671 /proc/meminfo: memFree=1591488/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=371180 CPUtime=12.66 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 102789 0 0 0 1187 79 0 0 25 0 1 0 55496383 380088320 90556 1992294400 134512640 134902295 4292608592 18446744073709551615 4160661080 0 0 4096 17608 0 0 0 17 0 0 0 1 /proc/20670/statm: 92795 90557 262 96 0 92007 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 379880 [startup+25.5019 s] /proc/loadavg: 1.04 0.99 0.99 2/108 20671 /proc/meminfo: memFree=1420992/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=533588 CPUtime=25.43 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 144095 0 2 0 2447 96 0 0 25 0 1 0 55496383 546394112 128667 1992294400 134512640 134902295 4292608592 18446744073709551615 4160631408 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 133397 128667 269 96 0 132609 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 542288 [startup+51.1018 s] /proc/loadavg: 1.02 0.99 0.99 2/108 20673 /proc/meminfo: memFree=1416280/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=538408 CPUtime=51.02 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 145295 0 2 0 5004 98 0 0 25 0 1 0 55496383 551329792 129867 1992294400 134512640 134902295 4292608592 18446744073709551615 4160631426 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 134602 129867 269 96 0 133814 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (KiB) 547108 [startup+102.309 s] /proc/loadavg: 1.01 0.99 0.99 2/108 20673 /proc/meminfo: memFree=1409336/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=545180 CPUtime=102.19 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 147013 0 2 0 10119 100 0 0 25 0 1 0 55496383 558264320 131585 1992294400 134512640 134902295 4292608592 18446744073709551615 4160631426 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 136295 131585 269 96 0 135507 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 553880 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20675 /proc/meminfo: memFree=1402020/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=552548 CPUtime=162.16 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 148841 0 2 0 16112 104 0 0 25 0 1 0 55496383 565809152 133413 1992294400 134512640 134902295 4292608592 18446744073709551615 4160661816 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 138137 133413 269 96 0 137349 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 561248 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20677 /proc/meminfo: memFree=1398052/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=556484 CPUtime=222.13 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 149796 0 2 0 22108 105 0 0 25 0 1 0 55496383 569839616 134368 1992294400 134512640 134902295 4292608592 18446744073709551615 4160661622 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 139121 134368 269 96 0 138333 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 565184 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20679 /proc/meminfo: memFree=1395572/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=559040 CPUtime=282.1 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 150423 0 2 0 28103 107 0 0 25 0 1 0 55496383 572456960 134995 1992294400 134512640 134902295 4292608592 18446744073709551615 4160661630 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 139760 134995 269 96 0 138972 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 567740 [startup+342.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20681 /proc/meminfo: memFree=1393340/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=561368 CPUtime=342.08 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 150996 0 2 0 34099 109 0 0 25 0 1 0 55496383 574840832 135568 1992294400 134512640 134902295 4292608592 18446744073709551615 4160650080 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 140342 135568 269 96 0 139554 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 570068 [startup+402.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20681 /proc/meminfo: memFree=1384908/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=569864 CPUtime=402.04 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 153094 0 2 0 40092 112 0 0 25 0 1 0 55496383 583540736 137666 1992294400 134512640 134902295 4292608592 18446744073709551615 4160662780 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 142466 137666 269 96 0 141678 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 578564 [startup+462.301 s] ################ # More data... # ################ /proc/20670/statm: 156408 151501 269 96 0 155620 0 Current children cumulated CPU time (s) 1121.7 Current children cumulated vsize (KiB) 634332 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20703 /proc/meminfo: memFree=1326628/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=627896 CPUtime=1181.66 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 167497 0 2 0 118026 140 0 0 25 0 1 0 55496383 642965504 152069 1992294400 134512640 134902295 4292608592 18446744073709551615 4160669402 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 156974 152069 269 96 0 156186 0 Current children cumulated CPU time (s) 1181.66 Current children cumulated vsize (KiB) 636596 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20705 /proc/meminfo: memFree=1324396/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=629864 CPUtime=1241.63 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 167981 0 2 0 124022 141 0 0 25 0 1 0 55496383 644980736 152553 1992294400 134512640 134902295 4292608592 18446744073709551615 4160650433 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 157466 152553 269 96 0 156678 0 Current children cumulated CPU time (s) 1241.63 Current children cumulated vsize (KiB) 638564 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20705 /proc/meminfo: memFree=1322288/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=631712 CPUtime=1301.61 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 168466 0 2 0 130018 143 0 0 25 0 1 0 55496383 646873088 153038 1992294400 134512640 134902295 4292608592 18446744073709551615 4160650629 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 157928 153038 269 96 0 157140 0 Current children cumulated CPU time (s) 1301.61 Current children cumulated vsize (KiB) 640412 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20707 /proc/meminfo: memFree=1317452/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=636792 CPUtime=1361.57 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 169718 0 2 0 136012 145 0 0 25 0 1 0 55496383 652075008 154290 1992294400 134512640 134902295 4292608592 18446744073709551615 4160661630 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 159198 154290 269 96 0 158410 0 Current children cumulated CPU time (s) 1361.57 Current children cumulated vsize (KiB) 645492 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20709 /proc/meminfo: memFree=1311004/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=643836 CPUtime=1421.56 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 171292 0 2 0 142008 148 0 0 25 0 1 0 55496383 659288064 155864 1992294400 134512640 134902295 4292608592 18446744073709551615 4160650680 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 160959 155864 269 96 0 160171 0 Current children cumulated CPU time (s) 1421.56 Current children cumulated vsize (KiB) 652536 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20711 /proc/meminfo: memFree=1306912/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=647860 CPUtime=1481.52 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 172306 0 2 0 148001 151 0 0 25 0 1 0 55496383 663408640 156878 1992294400 134512640 134902295 4292608592 18446744073709551615 4160661630 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 161965 156878 269 96 0 161177 0 Current children cumulated CPU time (s) 1481.52 Current children cumulated vsize (KiB) 656560 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20713 /proc/meminfo: memFree=1303316/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=651468 CPUtime=1541.49 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 173217 0 2 0 153996 153 0 0 25 0 1 0 55496383 667103232 157789 1992294400 134512640 134902295 4292608592 18446744073709551615 4160666978 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 162867 157789 269 96 0 162079 0 Current children cumulated CPU time (s) 1541.49 Current children cumulated vsize (KiB) 660168 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20713 /proc/meminfo: memFree=1300216/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=654580 CPUtime=1601.46 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 173991 0 2 0 159991 155 0 0 25 0 1 0 55496383 670289920 158563 1992294400 134512640 134902295 4292608592 18446744073709551615 4160664523 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 163645 158563 269 96 0 162857 0 Current children cumulated CPU time (s) 1601.46 Current children cumulated vsize (KiB) 663280 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20715 /proc/meminfo: memFree=1297116/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=657452 CPUtime=1661.43 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 174730 0 2 0 165986 157 0 0 25 0 1 0 55496383 673230848 159302 1992294400 134512640 134902295 4292608592 18446744073709551615 4160661630 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 164363 159302 269 96 0 163575 0 Current children cumulated CPU time (s) 1661.43 Current children cumulated vsize (KiB) 666152 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20717 /proc/meminfo: memFree=1294636/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=659988 CPUtime=1721.4 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 175352 0 2 0 171981 159 0 0 25 0 1 0 55496383 675827712 159924 1992294400 134512640 134902295 4292608592 18446744073709551615 4160661630 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 164997 159924 269 96 0 164209 0 Current children cumulated CPU time (s) 1721.4 Current children cumulated vsize (KiB) 668688 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20719 /proc/meminfo: memFree=1292032/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=662344 CPUtime=1781.37 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 175947 0 2 0 177977 160 0 0 25 0 1 0 55496383 678240256 160519 1992294400 134512640 134902295 4292608592 18446744073709551615 4160661630 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 165586 160519 269 96 0 164798 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (KiB) 671044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801 s] /proc/loadavg: 1.00 0.99 0.99 2/108 20719 /proc/meminfo: memFree=1291288/2059040 swapFree=4135720/4192956 [pid=20668] ppid=20666 vsize=8700 CPUtime=0 /proc/20668/stat : 20668 (run) S 20666 20668 20611 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55496383 8908800 251 1992294400 4194304 4922060 140733577153968 18446744073709551615 223060008069 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20668/statm: 2175 251 211 178 0 68 0 [pid=20670] ppid=20668 vsize=663016 CPUtime=1800.08 /proc/20670/stat : 20670 (PBPASSolver) R 20668 20668 20611 0 -1 4202496 176125 0 2 0 179847 161 0 0 25 0 1 0 55496383 678928384 160697 1992294400 134512640 134902295 4292608592 18446744073709551615 4160661630 0 0 4096 17608 0 0 0 17 0 0 0 2 /proc/20670/statm: 165754 160697 269 96 0 164966 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 671716 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20668 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): 1801.01 CPU time (s): 1800.08 CPU user time (s): 1798.47 CPU system time (s): 1.61 CPU usage (%): 99.9482 Max. virtual memory (cumulated for all children) (KiB): 671716 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= 4 involuntary context switches= 4 runsolver used 3.81942 second user time and 9.30958 second system time The end
Begin job on node011 at 2010-06-17 20:22:28 IDJOB=2674108 IDBENCH=2295 IDSOLVER=1174 FILE ID=node011/2674108-1276798948 PBS_JOBID= 11176646 Free space on /tmp= 62332 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x12.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674108-1276798948/watcher-2674108-1276798948 -o /tmp/evaluation-result-2674108-1276798948/solver-2674108-1276798948 -C 1800 -W 2000 -M 1800 run HOME/instance-2674108-1276798948.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9d08937c2a2ec73e4fca19adadace920 RANDOM SEED=1583310005 node011.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.264 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.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1935940 kB Buffers: 944 kB Cached: 43796 kB SwapCached: 9420 kB Active: 24208 kB Inactive: 32464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1935940 kB SwapTotal: 4192956 kB SwapFree: 4135720 kB Dirty: 876 kB Writeback: 0 kB AnonPages: 10804 kB Mapped: 9208 kB Slab: 44628 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182592 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= 62328 MiB End job on node011 at 2010-06-17 20:52:31