Trace number 2674171

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PBPASSolver 2010-06-13? (TO) 1800.06 1801.01

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mas76.opb
MD5SUM1a1687e6de95bc6822d45f4331f81d44
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark148070400480
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 143487941105
Optimality of the best value was proved NO
Number of variables240
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint90
Maximum length of a constraint239
Number of terms in the objective function 240
Biggest coefficient in the objective function 1934281311383406679529881600000
Number of bits for the biggest coefficient in the objective function 101
Sum of the numbers in the objective function 3868562622766813359059763201675
Number of bits of the sum of numbers in the objective function 102
Biggest number in a constraint 1208925819614629174706176000000000
Number of bits of the biggest number in a constraint 110
Biggest sum of numbers in a constraint 2417851639229258350907097073774043
Number of bits of the biggest sum of numbers111
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.25	c 240 13 0 0 0 0 0 0
0.00/0.25	c 618970019642690137449562112 ~x331+309485009821345068724781056 ~x330+154742504910672534362390528 ~x329+77371252455336267181195264 ~x328+38685626227668133590597632 ~x327+19342813113834066795298816 ~x326+9671406556917033397649408 ~x325+4835703278458516698824704 ~x324+2417851639229258349412352 ~x323+1208925819614629174706176 ~x322+604462909807314587353088 ~x321+302231454903657293676544 ~x320+151115727451828646838272 ~x319+75557863725914323419136 ~x318+37778931862957161709568 ~x317+18889465931478580854784 ~x316+9444732965739290427392 ~x315+4722366482869645213696 ~x314+2361183241434822606848 ~x313+1180591620717411303424 ~x312+590295810358705651712 ~x311+295147905179352825856 ~x310+147573952589676412928 ~x309+73786976294838206464 ~x308+36893488147419103232 ~x307+18446744073709551616 ~x306+9223372036854775808 ~x305+4611686018427387904 ~x304+2305843009213693952 ~x303+1152921504606846976 ~x302+576460752303423488 ~x301+288230376151711744 ~x300+144115188075855872 ~x299+72057594037927936 ~x298+36028797018963968 ~x297+18014398509481984 ~x296+9007199254740992 ~x295+4503599627370496 ~x294+2251799813685248 ~x293+1125899906842624 ~x292+562949953421312 ~x291+281474976710656 ~x290+140737488355328 ~x289+70368744177664 ~x288+35184372088832 ~x287+17592186044416 ~x286+8796093022208 ~x285+4398046511104 ~x284+2199023255552 ~x283+1099511627776 ~x282+549755813888 ~x281+274877906944 ~x280+137438953472 ~x279+68719476736 ~x278+34359738368 ~x277+17179869184 ~x276+8589934592 ~x275+4294967296 ~x274+2147483648 ~x273+1073741824 ~x272+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+618970019642690137449562112 ~x149+309485009821345068724781056 ~x148+154742504910672534362390528 ~x147+77371252455336267181195264 ~x146+38685626227668133590597632 ~x145+19342813113834066795298816 ~x144+9671406556917033397649408 ~x143+4835703278458516698824704 ~x142+2417851639229258349412352 ~x141+1208925819614629174706176 ~x140+604462909807314587353088 ~x139+302231454903657293676544 ~x138+151115727451828646838272 ~x137+75557863725914323419136 ~x136+37778931862957161709568 ~x135+18889465931478580854784 ~x134+9444732965739290427392 ~x133+4722366482869645213696 ~x132+2361183241434822606848 ~x131+1180591620717411303424 ~x130+590295810358705651712 ~x129+295147905179352825856 ~x128+147573952589676412928 ~x127+73786976294838206464 ~x126+36893488147419103232 ~x125+18446744073709551616 ~x124+9223372036854775808 ~x123+4611686018427387904 ~x122+2305843009213693952 ~x121+1152921504606846976 ~x120+576460752303423488 ~x119+288230376151711744 ~x118+144115188075855872 ~x117+72057594037927936 ~x116+36028797018963968 ~x115+18014398509481984 ~x114+9007199254740992 ~x113+4503599627370496 ~x112+2251799813685248 ~x111+1125899906842624 ~x110+562949953421312 ~x109+281474976710656 ~x108+140737488355328 ~x107+70368744177664 ~x106+35184372088832 ~x105+17592186044416 ~x104+8796093022208 ~x103+4398046511104 ~x102+2199023255552 ~x101+1099511627776 ~x100+549755813888 ~x99+274877906944 ~x98+137438953472 ~x97+68719476736 ~x96+34359738368 ~x95+17179869184 ~x94+8589934592 ~x93+4294967296 ~x92+2147483648 ~x91+1073741824 ~x90+536870912 ~x89+268435456 ~x88+134217728 ~x87+67108864 ~x86+33554432 ~x85+16777216 ~x84+8388608 ~x83+4194304 ~x82+2097152 ~x81+1048576 ~x80+524288 ~x79+262144 ~x78+131072 ~x77+65536 ~x76+32768 ~x75+16384 ~x74+8192 ~x73+4096 ~x72+2048 ~x71+1024 ~x70+512 ~x69+256 ~x68+128 ~x67+64 ~x66+32 ~x65+16 ~x64+8 ~x63+4 ~x62+2 ~x61+1 ~x60-0=2475880078569736549798248446
7.78/7.89	c 128 ~x362020+64 ~x362019+32 ~x362018+16 ~x362017+8 ~x362016+4 ~x362015+2 ~x362014+1 ~x362013+1 ~x241+1 ~x240+1 ~x239+1 ~x238+1 ~x237+1 ~x236+1 ~x235+1 ~x234+1 ~x233+1 ~x232+1 ~x231+1 ~x230+1 ~x229+1 ~x228+1 ~x227+1 ~x226+1 ~x225+1 ~x224+1 ~x223+1 ~x222+1 ~x221+1 ~x220+1 ~x219+1 ~x218+1 ~x217+1 ~x216+1 ~x215+1 ~x214+1 ~x213+1 ~x212+1 ~x211+1 ~x210+1 ~x209+1 ~x208+1 ~x207+1 ~x206+1 ~x205+1 ~x204+1 ~x203+1 ~x202+1 ~x201+1 ~x200+1 ~x199+1 ~x198+1 ~x197+1 ~x196+1 ~x195+1 ~x194+1 ~x193+1 ~x192+1 ~x191+1 ~x190+1 ~x189+1 ~x188+1 ~x187+1 ~x186+1 ~x185+1 ~x184+1 ~x183+1 ~x182+1 ~x181+1 ~x180+1 ~x179+1 ~x178+1 ~x177+1 ~x176+1 ~x175+1 ~x174+1 ~x173+1 ~x172+1 ~x171+1 ~x170+1 ~x169+1 ~x168+1 ~x167+1 ~x166+1 ~x165+1 ~x164+1 ~x163+1 ~x162+1 ~x161+1 ~x160+1 ~x159+1 ~x158+1 ~x157+1 ~x156+1 ~x155+1 ~x154+1 ~x153+1 ~x152+1 ~x151+1 ~x150+1 ~x59+1 ~x58+1 ~x57+1 ~x56+1 ~x55+1 ~x54+1 ~x53+1 ~x52+1 ~x51+1 ~x50+1 ~x49+1 ~x48+1 ~x47+1 ~x46+1 ~x45+1 ~x44+1 ~x43+1 ~x42+1 ~x41+1 ~x40+1 ~x39+1 ~x38+1 ~x37+1 ~x36+1 ~x35+1 ~x34+1 ~x33+1 ~x32+1 ~x31+1 ~x30+1 ~x29+1 ~x28+1 ~x27+1 ~x26+1 ~x25+1 ~x24+1 ~x23+1 ~x22+1 ~x21+1 ~x20+1 ~x19+1 ~x18+1 ~x17+1 ~x16+1 ~x15+1 ~x14+1 ~x13+1 ~x12+1 ~x11+1 ~x10+1 ~x9+1 ~x8+1 ~x7+1 ~x6+1 ~x5+1 ~x4+1 ~x3+1 ~x2-0=390
8.08/8.16	c 35184372088832 ~x373932+17592186044416 ~x373931+8796093022208 ~x373930+4398046511104 ~x373929+2199023255552 ~x373928+1099511627776 ~x373927+549755813888 ~x373926+274877906944 ~x373925+137438953472 ~x373924+68719476736 ~x373923+34359738368 ~x373922+17179869184 ~x373921+8589934592 ~x373920+4294967296 ~x373919+2147483648 ~x373918+1073741824 ~x373917+536870912 ~x373916+268435456 ~x373915+134217728 ~x373914+67108864 ~x373913+33554432 ~x373912+16777216 ~x373911+8388608 ~x373910+4194304 ~x373909+2097152 ~x373908+1048576 ~x373907+524288 ~x373906+262144 ~x373905+131072 ~x373904+65536 ~x373903+32768 ~x373902+16384 ~x373901+8192 ~x373900+4096 ~x373899+2048 ~x373898+1024 ~x373897+512 ~x373896+256 ~x373895+128 ~x373894+64 ~x373893+32 ~x373892+16 ~x373891+8 ~x373890+4 ~x373889+2 ~x373888+1 ~x373887+1136800000000 x241+1293600000000 x240+2672800000000 x239+821600000000 x238+2841600000000 x236+902000000000 x235+1861600000000 x234+780000000000 x233+1581018917640 x232+1179600000000 x231+2957200000000 x230+3048800000000 x229+1163600000000 x228+2804000000000 x227+494400000000 x226+3536400000000 x225+2444800000000 x224+2178000000000 x222+634000000000 x220+1164800000000 x219+1164800000000 x218+1458800000000 x217+1751200000000 x216+252121241696 x215+1388921241680 x214+3655200000000 x213+1837200000000 x212+1771600000000 x211+1802400000000 x210+611600000000 x209+1316400000000 x207+3340800000000 x206+3416400000000 x205+1568556025360 x203+767600000000 x202+2142000000000 x201+1888266069680 x200+3730400000000 x199+3108800000000 x197+1682000000000 x196+1558000000000 x195+712800000000 x194+2014400000000 x193+2680630117160 x192+3232000000000 x191+1416400000000 x190+2312005846720 x189+1014400000000 x188+3268800000000 x185+2666000000000 x184+2095600000000 x183+1421200000000 x182+1304400000000 x181+3522800000000 x180+1846400000000 x179+1938400000000 x178+1136800000000 x177+1150400000000 x176+878800000000 x175+2226800000000 x174+1456400000000 x173+1511600000000 x172+801018917640 x171+3726800000000 x170+2419600000000 x169+1579200000000 x168+2164000000000 x167+1147600000000 x166+421200000000 x164+2352000000000 x163+791262469640 x162+3397600000000 x161+1458800000000 x160+3944400000000 x159+1597581870800 x158+1054800000000 x157+1840000000000 x156+3268800000000 x155+487320990880 x154+3485200000000 x153+632800000000 x152+2281600000000 x151+1478972354320 x150+26214400000000 x86+13107200000000 x85+6553600000000 x84+3276800000000 x83+1638400000000 x82+819200000000 x81+409600000000 x80+204800000000 x79+102400000000 x78+51200000000 x77+25600000000 x76+12800000000 x75+6400000000 x74+3200000000 x73+1600000000 x72+800000000 x71+400000000 x70+200000000 x69+100000000 x68+50000000 x67+25000000 x66+12500000 x65+6250000 x64+3125000 x63+1562500 x62+781250 x61+390625 x60+3974400000000 x59+2849200000000 x58+3496800000000 x57+3270800000000 x56+2518000000000 x55+1622257354400 x54+632800000000 x53+1988000000000 x52+2441200000000 x51+1968000000000 x49+3114366696360 x48+3214800000000 x47+658000000000 x46+1293600000000 x45+2128000000000 x44+798400000000 x43+1689286522440 x42+3750400000000 x41+548000000000 x39+1816000000000 x38+786400000000 x37+1049536006440 x36+3000800000000 x35+1625200000000 x34+1066000000000 x33+1173200000000 x32+3140000000000 x29+3654400000000 x28+2822400000000 x27+2860800000000 x26+1436000000000 x24+1968800000000 x23+3944400000000 x22+1950400000000 x21+3935200000000 x20+1069156065680 x19+2507200000000 x18+1856424752960 x17+3336800000000 x16+1831600000000 x15+495600000000 x14+2527200000000 x12+1169200000000 x11+1862000000000 x10+1053200000000 x9+3436000000000 x8+898400000000 x7+2166000000000 x6+1449600000000 x5+1589600000000 x4+1705600000000 x2-0=121204400797663
11.49/11.59	c 8796093022208 ~x534931+4398046511104 ~x534930+2199023255552 ~x534929+1099511627776 ~x534928+549755813888 ~x534927+274877906944 ~x534926+137438953472 ~x534925+68719476736 ~x534924+34359738368 ~x534923+17179869184 ~x534922+8589934592 ~x534921+4294967296 ~x534920+2147483648 ~x534919+1073741824 ~x534918+536870912 ~x534917+268435456 ~x534916+134217728 ~x534915+67108864 ~x534914+33554432 ~x534913+16777216 ~x534912+8388608 ~x534911+4194304 ~x534910+2097152 ~x534909+1048576 ~x534908+524288 ~x534907+262144 ~x534906+131072 ~x534905+65536 ~x534904+32768 ~x534903+16384 ~x534902+8192 ~x534901+4096 ~x534900+2048 ~x534899+1024 ~x534898+512 ~x534897+256 ~x534896+128 ~x534895+64 ~x534894+32 ~x534893+16 ~x534892+8 ~x534891+4 ~x534890+2 ~x534889+1 ~x534888+107146325440 x241+258720000000 x240+144875276368 x239+164320000000 x238+619520000000 x237+180400000000 x235+372320000000 x234+156000000000 x233+460618319232 x232+235920000000 x231+232720000000 x228+98880000000 x226+488960000000 x224+435600000000 x222+126800000000 x220+232960000000 x219+303600000000 x218+291760000000 x217+350240000000 x216+416232780600 x215+283671463624 x214+166543809928 x213+367440000000 x212+354320000000 x211+360480000000 x210+122320000000 x209+586240000000 x208+263280000000 x207+668160000000 x206+372400000000 x205+587280000000 x204+565294495208 x203+153520000000 x202+428400000000 x201+154880000000 x200+746080000000 x199+584800000000 x198+559630659896 x197+336400000000 x196+311600000000 x195+142560000000 x194+402880000000 x193+541360000000 x192+646400000000 x191+283280000000 x190+641040000000 x189+202880000000 x188+777840000000 x187+674000000000 x186+653760000000 x185+533200000000 x184+419120000000 x183+284240000000 x182+260880000000 x181+704560000000 x180+369280000000 x179+387680000000 x178+227360000000 x177+230080000000 x176+175760000000 x175+428240000000 x174+291280000000 x173+302320000000 x172+373294901296 x171+483920000000 x169+315840000000 x168+432800000000 x167+229520000000 x166+476344495208 x165+84240000000 x164+345771466440 x163+251473147208 x162+460911951496 x161+291760000000 x160+358911951496 x159+570480000000 x158+210960000000 x157+368000000000 x156+738560000000 x155+187976232376 x154+697040000000 x153+126560000000 x152+456320000000 x151+645360000000 x150+5242880000000 x86+2621440000000 x85+1310720000000 x84+655360000000 x83+327680000000 x82+163840000000 x81+81920000000 x80+40960000000 x79+20480000000 x78+10240000000 x77+5120000000 x76+2560000000 x75+1280000000 x74+640000000 x73+320000000 x72+160000000 x71+80000000 x70+40000000 x69+20000000 x68+10000000 x67+5000000 x66+2500000 x65+1250000 x64+625000 x63+312500 x62+156250 x61+78125 x60+569840000000 x58+699360000000 x57+654160000000 x56+503600000000 x55+491680000000 x54+126560000000 x53+397600000000 x52+488240000000 x51+648560000000 x50+393600000000 x49+34640000000 x48+131600000000 x46+425600000000 x44+159680000000 x43+515440000000 x42+750080000000 x41+786240000000 x40+109600000000 x39+363200000000 x38+157280000000 x37+642000000000 x36+505976232376 x35+325040000000 x34+213200000000 x33+234640000000 x32+355840000000 x31+730880000000 x28+564480000000 x27+481581708968 x25+287200000000 x24+393760000000 x23+358911951496 x22+390080000000 x21+787040000000 x20+685600000000 x19+251473147208 x18+366320000000 x15+99120000000 x14+233840000000 x11+372400000000 x10+210640000000 x9+687200000000 x8+179680000000 x7+433200000000 x6+289920000000 x5+317920000000 x4+567760000000 x3+341120000000 x2-0=26585713292415
14.48/14.51	c 35184372088832 ~x672503+17592186044416 ~x672502+8796093022208 ~x672501+4398046511104 ~x672500+2199023255552 ~x672499+1099511627776 ~x672498+549755813888 ~x672497+274877906944 ~x672496+137438953472 ~x672495+68719476736 ~x672494+34359738368 ~x672493+17179869184 ~x672492+8589934592 ~x672491+4294967296 ~x672490+2147483648 ~x672489+1073741824 ~x672488+536870912 ~x672487+268435456 ~x672486+134217728 ~x672485+67108864 ~x672484+33554432 ~x672483+16777216 ~x672482+8388608 ~x672481+4194304 ~x672480+2097152 ~x672479+1048576 ~x672478+524288 ~x672477+262144 ~x672476+131072 ~x672475+65536 ~x672474+32768 ~x672473+16384 ~x672472+8192 ~x672471+4096 ~x672470+2048 ~x672469+1024 ~x672468+512 ~x672467+256 ~x672466+128 ~x672465+64 ~x672464+32 ~x672463+16 ~x672462+8 ~x672461+4 ~x672460+2 ~x672459+1 ~x672458+1136800000000 x241+1293600000000 x240+2672800000000 x239+821600000000 x238+2343595751640 x237+2841600000000 x236+902000000000 x235+1861600000000 x234+780000000000 x233+3532000000000 x232+1179600000000 x231+2957200000000 x230+3048800000000 x229+1163600000000 x228+494400000000 x226+3536400000000 x225+2444800000000 x224+2178000000000 x222+16223148148 x221+634000000000 x220+1164800000000 x219+1518000000000 x218+1458800000000 x217+1751200000000 x216+2162448965160 x215+1694443627440 x214+873696078440 x213+303318845316 x212+1771600000000 x211+1802400000000 x210+611600000000 x209+2931200000000 x208+1316400000000 x207+3340800000000 x206+3416400000000 x205+518609803920 x203+767600000000 x202+2142000000000 x201+549730773440 x200+2924000000000 x198+1682000000000 x196+307752505448 x195+712800000000 x194+2014400000000 x193+1418977396520 x192+3232000000000 x191+1416400000000 x190+2133306917200 x189+1014400000000 x188+3052342701520 x187+1752282952080 x186+3268800000000 x185+2095600000000 x183+1421200000000 x182+1304400000000 x181+3522800000000 x180+1846400000000 x179+1938400000000 x178+1136800000000 x177+1150400000000 x176+878800000000 x175+2226800000000 x174+1456400000000 x173+1511600000000 x172+2752000000000 x171+2419600000000 x169+1579200000000 x168+747183442280 x167+1147600000000 x166+1562400000000 x165+421200000000 x164+1366694117640 x163+1035094117640 x162+1165350435720 x161+1458800000000 x160+170212472768 x159+2708729357280 x158+1054800000000 x157+1840000000000 x156+3692800000000 x155+1486802668840 x154+3182285403040 x153+632800000000 x152+2281600000000 x151+26214400000000 x86+13107200000000 x85+6553600000000 x84+3276800000000 x83+1638400000000 x82+819200000000 x81+409600000000 x80+204800000000 x79+102400000000 x78+51200000000 x77+25600000000 x76+12800000000 x75+6400000000 x74+3200000000 x73+1600000000 x72+800000000 x71+400000000 x70+200000000 x69+100000000 x68+50000000 x67+25000000 x66+12500000 x65+6250000 x64+3125000 x63+1562500 x62+781250 x61+390625 x60+3496800000000 x57+3270800000000 x56+1555807843120 x54+632800000000 x53+1988000000000 x52+1482000000000 x51+1968000000000 x49+2297586819160 x48+3214800000000 x47+658000000000 x46+2119658224400 x45+2128000000000 x44+798400000000 x43+1609488289760 x42+3750400000000 x41+3931200000000 x40+548000000000 x39+1816000000000 x38+786400000000 x37+398736165576 x36+2737776851840 x35+1625200000000 x34+1066000000000 x33+1173200000000 x32+2852516339880 x31+2745200000000 x30+3140000000000 x29+2822400000000 x27+1436000000000 x24+1968800000000 x23+170212472768 x22+1950400000000 x21+3935200000000 x20+3139139324600 x19+2507200000000 x18+735728649240 x17+1831600000000 x15+495600000000 x14+2976000000000 x13+2527200000000 x12+1169200000000 x11+1862000000000 x10+1053200000000 x9+3436000000000 x8+898400000000 x7+2166000000000 x6+1449600000000 x5+1589600000000 x4+1597392156880 x3+1705600000000 x2-0=119643944177663
17.87/17.93	c 35184372088832 ~x833564+17592186044416 ~x833563+8796093022208 ~x833562+4398046511104 ~x833561+2199023255552 ~x833560+1099511627776 ~x833559+549755813888 ~x833558+274877906944 ~x833557+137438953472 ~x833556+68719476736 ~x833555+34359738368 ~x833554+17179869184 ~x833553+8589934592 ~x833552+4294967296 ~x833551+2147483648 ~x833550+1073741824 ~x833549+536870912 ~x833548+268435456 ~x833547+134217728 ~x833546+67108864 ~x833545+33554432 ~x833544+16777216 ~x833543+8388608 ~x833542+4194304 ~x833541+2097152 ~x833540+1048576 ~x833539+524288 ~x833538+262144 ~x833537+131072 ~x833536+65536 ~x833535+32768 ~x833534+16384 ~x833533+8192 ~x833532+4096 ~x833531+2048 ~x833530+1024 ~x833529+512 ~x833528+256 ~x833527+128 ~x833526+64 ~x833525+32 ~x833524+16 ~x833523+8 ~x833522+4 ~x833521+2 ~x833520+1 ~x833519+1136800000000 x241+1293600000000 x240+2672800000000 x239+821600000000 x238+3013915492960 x237+2841600000000 x236+902000000000 x235+1861600000000 x234+780000000000 x233+3327078873240 x232+1179600000000 x231+2957200000000 x230+3048800000000 x229+1163600000000 x228+2804000000000 x227+494400000000 x226+3536400000000 x225+2444800000000 x224+2178000000000 x222+3532000000000 x221+634000000000 x220+1164800000000 x219+1518000000000 x218+1458800000000 x217+1751200000000 x216+2049716901400 x215+1492706572760 x214+3655200000000 x213+1837200000000 x212+1771600000000 x211+1802400000000 x210+611600000000 x209+2931200000000 x208+1316400000000 x207+3340800000000 x206+3416400000000 x205+2936400000000 x204+3004230985920 x203+767600000000 x202+2142000000000 x201+1902800000000 x200+3730400000000 x199+2924000000000 x198+3108800000000 x197+1682000000000 x196+1558000000000 x195+712800000000 x194+2014400000000 x193+2237223474160 x192+3232000000000 x191+1416400000000 x190+3205200000000 x189+1014400000000 x188+3889200000000 x187+2887822535200 x186+1302996244120 x185+2666000000000 x184+2095600000000 x183+1421200000000 x182+1304400000000 x181+3522800000000 x180+1846400000000 x179+1938400000000 x178+1136800000000 x177+1150400000000 x176+878800000000 x175+2226800000000 x174+1456400000000 x173+1511600000000 x172+2752000000000 x171+3726800000000 x170+2419600000000 x169+1579200000000 x168+2164000000000 x167+1147600000000 x166+2866310798120 x165+421200000000 x164+1763650234760 x163+3133039906120 x162+2275394366200 x161+1458800000000 x160+167321126760 x159+2852400000000 x158+1054800000000 x157+1348400000000 x156+3692800000000 x155+50307042252 x154+3485200000000 x153+632800000000 x152+2281600000000 x151+3226800000000 x150+52428800000000 x87+26214400000000 x86+13107200000000 x85+6553600000000 x84+3276800000000 x83+1638400000000 x82+819200000000 x81+409600000000 x80+204800000000 x79+102400000000 x78+51200000000 x77+25600000000 x76+12800000000 x75+6400000000 x74+3200000000 x73+1600000000 x72+800000000 x71+400000000 x70+200000000 x69+100000000 x68+50000000 x67+25000000 x66+12500000 x65+6250000 x64+3125000 x63+1562500 x62+781250 x61+390625 x60+3974400000000 x59+2849200000000 x58+2135600000000 x57+3270800000000 x56+2518000000000 x55+2458400000000 x54+632800000000 x53+1988000000000 x52+2441200000000 x51+3242800000000 x50+1968000000000 x49+1156001877920 x48+3214800000000 x47+658000000000 x46+1242991549280 x45+2128000000000 x44+798400000000 x43+1542653051640 x42+3750400000000 x41+3931200000000 x40+548000000000 x39+1816000000000 x38+786400000000 x37+1838429108000 x36+3000800000000 x35+1625200000000 x34+1066000000000 x33+1173200000000 x32+3742400000000 x31+2745200000000 x30+3140000000000 x29+3654400000000 x28+2822400000000 x27+2860800000000 x26+2579600000000 x25+1436000000000 x24+1968800000000 x23+167321126760 x22+1950400000000 x21+3935200000000 x20+3428000000000 x19+2507200000000 x18+1525360093880 x17+3336800000000 x16+1831600000000 x15+495600000000 x14+2976000000000 x13+2527200000000 x12+1169200000000 x11+1862000000000 x10+1053200000000 x9+3436000000000 x8+898400000000 x7+2166000000000 x6+1449600000000 x5+1589600000000 x4+2838800000000 x3+1543013615040 x2-0=133306588309663
21.57/21.66	c 35184372088832 ~x1009160+17592186044416 ~x1009159+8796093022208 ~x1009158+4398046511104 ~x1009157+2199023255552 ~x1009156+1099511627776 ~x1009155+549755813888 ~x1009154+274877906944 ~x1009153+137438953472 ~x1009152+68719476736 ~x1009151+34359738368 ~x1009150+17179869184 ~x1009149+8589934592 ~x1009148+4294967296 ~x1009147+2147483648 ~x1009146+1073741824 ~x1009145+536870912 ~x1009144+268435456 ~x1009143+134217728 ~x1009142+67108864 ~x1009141+33554432 ~x1009140+16777216 ~x1009139+8388608 ~x1009138+4194304 ~x1009137+2097152 ~x1009136+1048576 ~x1009135+524288 ~x1009134+262144 ~x1009133+131072 ~x1009132+65536 ~x1009131+32768 ~x1009130+16384 ~x1009129+8192 ~x1009128+4096 ~x1009127+2048 ~x1009126+1024 ~x1009125+512 ~x1009124+256 ~x1009123+128 ~x1009122+64 ~x1009121+32 ~x1009120+16 ~x1009119+8 ~x1009118+4 ~x1009117+2 ~x1009116+1 ~x1009115+1136800000000 x241+1293600000000 x240+2672800000000 x239+821600000000 x238+3097600000000 x237+2841600000000 x236+902000000000 x235+1861600000000 x234+780000000000 x233+3532000000000 x232+1179600000000 x231+2637754175600 x230+3048800000000 x229+1163600000000 x228+2804000000000 x227+494400000000 x226+2444800000000 x224+2178000000000 x222+634000000000 x220+1164800000000 x219+558054336200 x218+1458800000000 x217+1751200000000 x216+2322746573880 x215+2586264400440 x214+1837200000000 x212+1771600000000 x211+1802400000000 x210+611600000000 x209+2931200000000 x208+1316400000000 x207+3340800000000 x206+3416400000000 x205+2936400000000 x204+3195373340480 x203+767600000000 x202+2142000000000 x201+1902800000000 x200+2924000000000 x198+3108800000000 x197+1682000000000 x196+1558000000000 x195+712800000000 x194+2014400000000 x193+2706800000000 x192+3232000000000 x191+1416400000000 x190+2304800000000 x189+1014400000000 x188+2605467799800 x186+2605467799800 x185+2666000000000 x184+2095600000000 x183+1421200000000 x182+1304400000000 x181+1846400000000 x179+1938400000000 x178+1136800000000 x177+1150400000000 x176+878800000000 x175+1995664614560 x174+1456400000000 x173+1511600000000 x172+2752000000000 x171+2419600000000 x169+1579200000000 x168+2164000000000 x167+1147600000000 x166+2399011937920 x165+421200000000 x164+2352000000000 x163+3958800000000 x162+2026948233400 x161+1458800000000 x160+2720293040680 x159+1133625107080 x158+1054800000000 x157+1780243415400 x156+2135600000000 x154+632800000000 x152+2281600000000 x151+1982538222680 x150+26214400000000 x86+13107200000000 x85+6553600000000 x84+3276800000000 x83+1638400000000 x82+819200000000 x81+409600000000 x80+204800000000 x79+102400000000 x78+51200000000 x77+25600000000 x76+12800000000 x75+6400000000 x74+3200000000 x73+1600000000 x72+800000000 x71+400000000 x70+200000000 x69+100000000 x68+50000000 x67+25000000 x66+12500000 x65+6250000 x64+3125000 x63+1562500 x62+781250 x61+390625 x60+2849200000000 x58+1353854336200 x57+1895800000000 x56+2518000000000 x55+2403042665960 x54+632800000000 x53+1988000000000 x52+2441200000000 x51+3242800000000 x50+1968000000000 x49+877639239840 x48+3214800000000 x47+658000000000 x46+1074496895080 x45+2128000000000 x44+798400000000 x43+279732200216 x42+548000000000 x39+1816000000000 x38+786400000000 x37+3210000000000 x36+2877798340480 x35+1625200000000 x34+1066000000000 x33+1173200000000 x32+2745200000000 x30+3140000000000 x29+2822400000000 x27+2860800000000 x26+3760800000000 x25+1436000000000 x24+1968800000000 x23+2720293040680 x22+1950400000000 x21+3428000000000 x19+2507200000000 x18+2020000000000 x17+3336800000000 x16+1831600000000 x15+495600000000 x14+2976000000000 x13+2527200000000 x12+1169200000000 x11+1862000000000 x10+949255112400 x9+3436000000000 x8+799043415400 x7+2166000000000 x6+1449600000000 x5+1589600000000 x4+1677877944320 x3+1705600000000 x2-0=117507073325663
24.98/25.07	c 35184372088832 ~x1170299+17592186044416 ~x1170298+8796093022208 ~x1170297+4398046511104 ~x1170296+2199023255552 ~x1170295+1099511627776 ~x1170294+549755813888 ~x1170293+274877906944 ~x1170292+137438953472 ~x1170291+68719476736 ~x1170290+34359738368 ~x1170289+17179869184 ~x1170288+8589934592 ~x1170287+4294967296 ~x1170286+2147483648 ~x1170285+1073741824 ~x1170284+536870912 ~x1170283+268435456 ~x1170282+134217728 ~x1170281+67108864 ~x1170280+33554432 ~x1170279+16777216 ~x1170278+8388608 ~x1170277+4194304 ~x1170276+2097152 ~x1170275+1048576 ~x1170274+524288 ~x1170273+262144 ~x1170272+131072 ~x1170271+65536 ~x1170270+32768 ~x1170269+16384 ~x1170268+8192 ~x1170267+4096 ~x1170266+2048 ~x1170265+1024 ~x1170264+512 ~x1170263+256 ~x1170262+128 ~x1170261+64 ~x1170260+32 ~x1170259+16 ~x1170258+8 ~x1170257+4 ~x1170256+2 ~x1170255+1 ~x1170254+1136800000000 x241+1293600000000 x240+2672800000000 x239+821600000000 x238+3097600000000 x237+2841600000000 x236+902000000000 x235+1861600000000 x234+71800000000 x233+1179600000000 x231+798879912520 x230+3048800000000 x229+1163600000000 x228+2804000000000 x227+494400000000 x226+3536400000000 x225+1791508934720 x224+2178000000000 x222+3532000000000 x221+634000000000 x220+1164800000000 x219+1518000000000 x218+1458800000000 x217+911770977800 x216+679520503200 x215+2479120503200 x214+2448471725200 x213+815454067240 x212+1771600000000 x211+1802400000000 x210+611600000000 x209+2931200000000 x208+1316400000000 x207+2936400000000 x204+2474049330720 x203+767600000000 x202+2142000000000 x201+534852156760 x200+2754931621120 x199+2924000000000 x198+3108800000000 x197+1682000000000 x196+1558000000000 x195+712800000000 x194+2014400000000 x193+1986575096720 x192+1416400000000 x190+1014400000000 x188+3370000000000 x186+3268800000000 x185+2666000000000 x184+2095600000000 x183+1421200000000 x182+1304400000000 x181+3522800000000 x180+1846400000000 x179+1938400000000 x178+1136800000000 x177+1150400000000 x176+878800000000 x175+2226800000000 x174+1456400000000 x173+1511600000000 x172+71800000000 x171+3726800000000 x170+2419600000000 x169+1579200000000 x168+2164000000000 x167+1147600000000 x166+1608000000000 x165+421200000000 x164+1831600000000 x163+3397600000000 x161+1458800000000 x160+577890575080 x159+1208967370760 x158+1054800000000 x157+1840000000000 x156+3692800000000 x155+2135600000000 x154+3485200000000 x153+602641896760 x152+2281600000000 x151+2075049984360 x150+26214400000000 x86+13107200000000 x85+6553600000000 x84+3276800000000 x83+1638400000000 x82+819200000000 x81+409600000000 x80+204800000000 x79+102400000000 x78+51200000000 x77+25600000000 x76+12800000000 x75+6400000000 x74+3200000000 x73+1600000000 x72+800000000 x71+400000000 x70+200000000 x69+100000000 x68+50000000 x67+25000000 x66+12500000 x65+6250000 x64+3125000 x63+1562500 x62+781250 x61+390625 x60+1378879912520 x58+3496800000000 x57+3270800000000 x56+2518000000000 x55+2458400000000 x54+632800000000 x53+1988000000000 x52+2441200000000 x51+1710650890360 x49+786400000000 x48+658000000000 x46+76116050272 x45+2128000000000 x44+798400000000 x43+2577200000000 x42+3750400000000 x41+548000000000 x39+1816000000000 x38+786400000000 x37+2082229022200 x36+3000800000000 x35+1625200000000 x34+1066000000000 x33+1173200000000 x32+2402467426040 x31+2745200000000 x30+1862000000000 x29+3654400000000 x28+322000000000 x27+2860800000000 x26+2085200000000 x25+1436000000000 x24+1968800000000 x23+577890575080 x22+1950400000000 x21+2020000000000 x18+2020000000000 x17+1831600000000 x15+495600000000 x14+2976000000000 x13+2527200000000 x12+1169200000000 x11+1862000000000 x10+1053200000000 x9+898400000000 x7+2166000000000 x6+1449600000000 x5+1589600000000 x4+2838800000000 x3+1705600000000 x2-0=118923935289663
28.47/28.53	c 8796093022208 ~x1331382+4398046511104 ~x1331381+2199023255552 ~x1331380+1099511627776 ~x1331379+549755813888 ~x1331378+274877906944 ~x1331377+137438953472 ~x1331376+68719476736 ~x1331375+34359738368 ~x1331374+17179869184 ~x1331373+8589934592 ~x1331372+4294967296 ~x1331371+2147483648 ~x1331370+1073741824 ~x1331369+536870912 ~x1331368+268435456 ~x1331367+134217728 ~x1331366+67108864 ~x1331365+33554432 ~x1331364+16777216 ~x1331363+8388608 ~x1331362+4194304 ~x1331361+2097152 ~x1331360+1048576 ~x1331359+524288 ~x1331358+262144 ~x1331357+131072 ~x1331356+65536 ~x1331355+32768 ~x1331354+16384 ~x1331353+8192 ~x1331352+4096 ~x1331351+2048 ~x1331350+1024 ~x1331349+512 ~x1331348+256 ~x1331347+128 ~x1331346+64 ~x1331345+32 ~x1331344+16 ~x1331343+8 ~x1331342+4 ~x1331341+2 ~x1331340+1 ~x1331339+227360000000 x241+258720000000 x240+200116656072 x239+164320000000 x238+568320000000 x236+180400000000 x235+372320000000 x234+156000000000 x233+235920000000 x231+488845015896 x230+232720000000 x228+560800000000 x227+98880000000 x226+707280000000 x225+488960000000 x224+435600000000 x222+200410251736 x221+126800000000 x220+232960000000 x219+303600000000 x218+291760000000 x217+350240000000 x216+233711927144 x215+494043440160 x214+678720000000 x213+367440000000 x212+354320000000 x211+360480000000 x210+122320000000 x209+586240000000 x208+263280000000 x207+668160000000 x206+587280000000 x204+153520000000 x202+428400000000 x201+141301893632 x200+203845646536 x199+584800000000 x198+336400000000 x196+311600000000 x195+142560000000 x194+402880000000 x193+228636441272 x192+646400000000 x191+283280000000 x190+414055341528 x189+202880000000 x188+777840000000 x187+533200000000 x184+419120000000 x183+284240000000 x182+260880000000 x181+704560000000 x180+369280000000 x179+387680000000 x178+227360000000 x177+230080000000 x176+175760000000 x175+445360000000 x174+291280000000 x173+302320000000 x172+156000000000 x171+483920000000 x169+315840000000 x168+356240000000 x167+229520000000 x166+204085646536 x165+84240000000 x164+470400000000 x163+791760000000 x162+330428803160 x161+291760000000 x160+355091196840 x159+412902943552 x158+210960000000 x157+322800000000 x156+427120000000 x154+330596656072 x153+126560000000 x152+456320000000 x151+645360000000 x150+5242880000000 x86+2621440000000 x85+1310720000000 x84+655360000000 x83+327680000000 x82+163840000000 x81+81920000000 x80+40960000000 x79+20480000000 x78+10240000000 x77+5120000000 x76+2560000000 x75+1280000000 x74+640000000 x73+320000000 x72+160000000 x71+80000000 x70+40000000 x69+20000000 x68+10000000 x67+5000000 x66+2500000 x65+1250000 x64+625000 x63+312500 x62+156250 x61+78125 x60+794880000000 x59+569840000000 x58+269840000000 x57+503600000000 x55+491680000000 x54+126560000000 x53+397600000000 x52+228051404760 x51+648560000000 x50+393600000000 x49+18749631412 x48+642960000000 x47+131600000000 x46+425600000000 x44+159680000000 x43+196777915632 x42+786240000000 x40+109600000000 x39+363200000000 x38+157280000000 x37+559084722056 x36+325040000000 x34+213200000000 x33+234640000000 x32+748480000000 x31+549040000000 x30+372400000000 x29+564480000000 x27+572160000000 x26+436809896040 x25+287200000000 x24+393760000000 x23+355091196840 x22+390080000000 x21+623920000000 x20+501440000000 x18+109210368592 x17+667360000000 x16+366320000000 x15+99120000000 x14+505440000000 x12+233840000000 x11+372400000000 x10+210640000000 x9+126560000000 x7+433200000000 x6+289920000000 x5+317920000000 x4+567760000000 x3+341120000000 x2-0=27394552596415
31.37/31.43	c 140737488355328 ~x1468101+70368744177664 ~x1468100+35184372088832 ~x1468099+17592186044416 ~x1468098+8796093022208 ~x1468097+4398046511104 ~x1468096+2199023255552 ~x1468095+1099511627776 ~x1468094+549755813888 ~x1468093+274877906944 ~x1468092+137438953472 ~x1468091+68719476736 ~x1468090+34359738368 ~x1468089+17179869184 ~x1468088+8589934592 ~x1468087+4294967296 ~x1468086+2147483648 ~x1468085+1073741824 ~x1468084+536870912 ~x1468083+268435456 ~x1468082+134217728 ~x1468081+67108864 ~x1468080+33554432 ~x1468079+16777216 ~x1468078+8388608 ~x1468077+4194304 ~x1468076+2097152 ~x1468075+1048576 ~x1468074+524288 ~x1468073+262144 ~x1468072+131072 ~x1468071+65536 ~x1468070+32768 ~x1468069+16384 ~x1468068+8192 ~x1468067+4096 ~x1468066+2048 ~x1468065+1024 ~x1468064+512 ~x1468063+256 ~x1468062+128 ~x1468061+64 ~x1468060+32 ~x1468059+16 ~x1468058+8 ~x1468057+4 ~x1468056+2 ~x1468055+1 ~x1468054+1308782430660 x241+6468000000000 x240+6249163576800 x239+4108000000000 x238+15488000000000 x237+14208000000000 x236+4510000000000 x235+9308000000000 x234+3900000000000 x233+9578756373200 x232+5898000000000 x231+11933300692600 x230+5818000000000 x228+14020000000000 x227+2472000000000 x226+17682000000000 x225+12224000000000 x224+10890000000000 x222+17660000000000 x221+3170000000000 x220+5824000000000 x219+7590000000000 x218+7294000000000 x217+8756000000000 x216+1308782430660 x215+7567562579200 x212+8858000000000 x211+9012000000000 x210+3058000000000 x209+6582000000000 x207+9310000000000 x205+10983715615200 x203+3838000000000 x202+10710000000000 x201+18652000000000 x199+8410000000000 x196+7790000000000 x195+3564000000000 x194+10072000000000 x193+13534000000000 x192+16160000000000 x191+1845429026120 x190+5844135835200 x189+5072000000000 x188+19446000000000 x187+16850000000000 x186+16344000000000 x185+13330000000000 x184+10478000000000 x183+7106000000000 x182+6522000000000 x181+8773257008200 x179+9692000000000 x178+5684000000000 x177+5752000000000 x176+4394000000000 x175+11134000000000 x174+7282000000000 x173+7558000000000 x172+13760000000000 x171+18634000000000 x170+12098000000000 x169+7896000000000 x168+10820000000000 x167+5738000000000 x166+15498000000000 x165+2106000000000 x164+11760000000000 x163+12405391487600 x161+7294000000000 x160+8752916606200 x159+10224836313800 x158+5274000000000 x157+8070000000000 x156+18464000000000 x155+8528000000000 x154+13141049650000 x153+3164000000000 x152+11408000000000 x151+16134000000000 x150+131072000000000 x86+65536000000000 x85+32768000000000 x84+16384000000000 x83+8192000000000 x82+4096000000000 x81+2048000000000 x80+1024000000000 x79+512000000000 x78+256000000000 x77+128000000000 x76+64000000000 x75+32000000000 x74+16000000000 x73+8000000000 x72+4000000000 x71+2000000000 x70+1000000000 x69+500000000 x68+250000000 x67+125000000 x66+62500000 x65+31250000 x64+15625000 x63+7812500 x62+3906250 x61+1953125 x60+19872000000000 x59+14246000000000 x58+9094274012800 x57+12590000000000 x55+3614823651800 x54+3164000000000 x53+9940000000000 x52+12206000000000 x51+16214000000000 x50+9840000000000 x49+12369786773200 x48+16074000000000 x47+3290000000000 x46+70831062528 x45+4461715615200 x44+3992000000000 x43+12886000000000 x42+19656000000000 x40+2740000000000 x39+9080000000000 x38+3932000000000 x37+10191587613400 x36+11611388247000 x35+8126000000000 x34+5330000000000 x33+5866000000000 x32+13726000000000 x30+18272000000000 x28+14112000000000 x27+9246726284800 x25+7180000000000 x24+7180000000000 x23+8752916606200 x22+9752000000000 x21+14239129309400 x20+17140000000000 x19+12536000000000 x18+7301800498800 x17+9158000000000 x15+2478000000000 x14+14880000000000 x13+12636000000000 x12+5846000000000 x11+9310000000000 x10+5266000000000 x9+17180000000000 x8+4492000000000 x7+10830000000000 x6+7248000000000 x5+7948000000000 x4+10615336606600 x3+8528000000000 x2-0=529862656530655
34.76/34.88	c 35184372088832 ~x1630512+17592186044416 ~x1630511+8796093022208 ~x1630510+4398046511104 ~x1630509+2199023255552 ~x1630508+1099511627776 ~x1630507+549755813888 ~x1630506+274877906944 ~x1630505+137438953472 ~x1630504+68719476736 ~x1630503+34359738368 ~x1630502+17179869184 ~x1630501+8589934592 ~x1630500+4294967296 ~x1630499+2147483648 ~x1630498+1073741824 ~x1630497+536870912 ~x1630496+268435456 ~x1630495+134217728 ~x1630494+67108864 ~x1630493+33554432 ~x1630492+16777216 ~x1630491+8388608 ~x1630490+4194304 ~x1630489+2097152 ~x1630488+1048576 ~x1630487+524288 ~x1630486+262144 ~x1630485+131072 ~x1630484+65536 ~x1630483+32768 ~x1630482+16384 ~x1630481+8192 ~x1630480+4096 ~x1630479+2048 ~x1630478+1024 ~x1630477+512 ~x1630476+256 ~x1630475+128 ~x1630474+64 ~x1630473+32 ~x1630472+16 ~x1630471+8 ~x1630470+4 ~x1630469+2 ~x1630468+1 ~x1630467+1082795522520 x241+1293600000000 x240+2672800000000 x239+821600000000 x238+902000000000 x235+1861600000000 x234+780000000000 x233+1905688003960 x232+1179600000000 x231+2512540089160 x230+3048800000000 x229+1163600000000 x228+494400000000 x226+2444800000000 x224+2178000000000 x222+3532000000000 x221+634000000000 x220+1164800000000 x219+1518000000000 x218+1458800000000 x217+1512795522520 x215+2399736265480 x214+1628755552240 x213+1068468132720 x212+1771600000000 x211+1802400000000 x210+611600000000 x209+1316400000000 x207+3340800000000 x206+3416400000000 x205+2740575354120 x203+767600000000 x202+2142000000000 x201+3730400000000 x199+3108800000000 x197+1682000000000 x196+1558000000000 x195+712800000000 x194+2014400000000 x193+2396529628520 x192+1416400000000 x190+1071919702840 x189+1014400000000 x188+3889200000000 x187+2207751045080 x186+2207751045080 x185+2666000000000 x184+2095600000000 x183+1421200000000 x182+1304400000000 x181+1846400000000 x179+1938400000000 x178+1136800000000 x177+1150400000000 x176+878800000000 x175+2226800000000 x174+1456400000000 x173+1511600000000 x172+1125688003960 x171+2419600000000 x169+1579200000000 x168+2164000000000 x167+1147600000000 x166+2380000000000 x165+421200000000 x164+2352000000000 x163+151762070332 x162+3397600000000 x161+1458800000000 x160+2358608330840 x159+2852400000000 x158+1054800000000 x157+1348400000000 x156+2135600000000 x154+2846290282320 x153+632800000000 x152+2281600000000 x151+26214400000000 x86+13107200000000 x85+6553600000000 x84+3276800000000 x83+1638400000000 x82+819200000000 x81+409600000000 x80+204800000000 x79+102400000000 x78+51200000000 x77+25600000000 x76+12800000000 x75+6400000000 x74+3200000000 x73+1600000000 x72+800000000 x71+400000000 x70+200000000 x69+100000000 x68+50000000 x67+25000000 x66+12500000 x65+6250000 x64+3125000 x63+1562500 x62+781250 x61+390625 x60+3974400000000 x59+1806834333840 x58+3496800000000 x57+3270800000000 x56+2518000000000 x55+2458400000000 x54+632800000000 x53+1988000000000 x52+2441200000000 x51+1968000000000 x49+173200000000 x48+658000000000 x46+1475227984160 x45+2128000000000 x44+798400000000 x43+1681751045080 x42+3750400000000 x41+3931200000000 x40+548000000000 x39+1816000000000 x38+786400000000 x37+1458800000000 x36+3000800000000 x35+1625200000000 x34+1066000000000 x33+1173200000000 x32+3742400000000 x31+2745200000000 x30+3140000000000 x29+3654400000000 x28+2822400000000 x27+2860800000000 x26+2579600000000 x25+1436000000000 x24+1968800000000 x23+2358608330840 x22+1950400000000 x21+3356834373440 x20+3428000000000 x19+395111074788 x18+546873145120 x17+2084692956920 x16+1831600000000 x15+495600000000 x14+2976000000000 x13+2527200000000 x12+1169200000000 x11+1862000000000 x10+1053200000000 x9+898400000000 x7+2166000000000 x6+1449600000000 x5+1589600000000 x4+1361119702840 x3+1705600000000 x2-0=114689754005663
38.16/38.27	c 8796093022208 ~x1789855+4398046511104 ~x1789854+2199023255552 ~x1789853+1099511627776 ~x1789852+549755813888 ~x1789851+274877906944 ~x1789850+137438953472 ~x1789849+68719476736 ~x1789848+34359738368 ~x1789847+17179869184 ~x1789846+8589934592 ~x1789845+4294967296 ~x1789844+2147483648 ~x1789843+1073741824 ~x1789842+536870912 ~x1789841+268435456 ~x1789840+134217728 ~x1789839+67108864 ~x1789838+33554432 ~x1789837+16777216 ~x1789836+8388608 ~x1789835+4194304 ~x1789834+2097152 ~x1789833+1048576 ~x1789832+524288 ~x1789831+262144 ~x1789830+131072 ~x1789829+65536 ~x1789828+32768 ~x1789827+16384 ~x1789826+8192 ~x1789825+4096 ~x1789824+2048 ~x1789823+1024 ~x1789822+512 ~x1789821+256 ~x1789820+128 ~x1789819+64 ~x1789818+32 ~x1789817+16 ~x1789816+8 ~x1789815+4 ~x1789814+2 ~x1789813+1 ~x1789812+227360000000 x241+258720000000 x240+534560000000 x239+164320000000 x238+180400000000 x235+372320000000 x234+156000000000 x233+264620775696 x232+235920000000 x231+591440000000 x230+609760000000 x229+232720000000 x228+98880000000 x226+488960000000 x224+435600000000 x222+706400000000 x221+126800000000 x220+232960000000 x219+303600000000 x218+291760000000 x217+350240000000 x216+437670518040 x215+343225104424 x214+678720000000 x213+165465516680 x212+354320000000 x211+360480000000 x210+122320000000 x209+586240000000 x208+263280000000 x207+372400000000 x205+587280000000 x204+544294439928 x203+153520000000 x202+428400000000 x201+306247442368 x200+462497293192 x199+584800000000 x198+336400000000 x196+311600000000 x195+142560000000 x194+402880000000 x193+368220395984 x192+283280000000 x190+503433555736 x189+202880000000 x188+675600000000 x187+674000000000 x186+653760000000 x185+419120000000 x183+284240000000 x182+260880000000 x181+704560000000 x180+369280000000 x179+387680000000 x178+227360000000 x177+230080000000 x176+175760000000 x175+445360000000 x174+291280000000 x173+302320000000 x172+210679446704 x171+745360000000 x170+483920000000 x169+315840000000 x168+153671733120 x167+222489373472 x166+660800000000 x165+84240000000 x164+470400000000 x163+134661556824 x162+233840000000 x161+291760000000 x160+192005706536 x159+548764307024 x158+210960000000 x157+368000000000 x156+738560000000 x155+427120000000 x154+697040000000 x153+126560000000 x152+234640000000 x151+5242880000000 x86+2621440000000 x85+1310720000000 x84+655360000000 x83+327680000000 x82+163840000000 x81+81920000000 x80+40960000000 x79+20480000000 x78+10240000000 x77+5120000000 x76+2560000000 x75+1280000000 x74+640000000 x73+320000000 x72+160000000 x71+80000000 x70+40000000 x69+20000000 x68+10000000 x67+5000000 x66+2500000 x65+1250000 x64+625000 x63+312500 x62+156250 x61+78125 x60+794880000000 x59+569840000000 x58+699360000000 x57+654160000000 x56+503600000000 x55+491680000000 x54+126560000000 x53+397600000000 x52+321194293464 x51+648560000000 x50+393600000000 x49+644612226744 x48+642960000000 x47+131600000000 x46+540320000000 x45+425600000000 x44+159680000000 x43+515440000000 x42+750080000000 x41+109600000000 x39+363200000000 x38+157280000000 x37+197040000000 x36+227052747488 x35+325040000000 x34+213200000000 x33+234640000000 x32+564480000000 x27+572160000000 x26+189147816656 x25+287200000000 x24+393760000000 x23+192005706536 x22+134228142120 x21+787040000000 x20+685600000000 x19+501440000000 x18+180796734472 x17+667360000000 x16+366320000000 x15+99120000000 x14+505440000000 x12+233840000000 x11+372400000000 x10+210640000000 x9+687200000000 x8+179680000000 x7+433200000000 x6+289920000000 x5+317920000000 x4+567760000000 x3+341120000000 x2-0=26550079378015
41.16/41.21	c 35184372088832 ~x1928810+17592186044416 ~x1928809+8796093022208 ~x1928808+4398046511104 ~x1928807+2199023255552 ~x1928806+1099511627776 ~x1928805+549755813888 ~x1928804+274877906944 ~x1928803+137438953472 ~x1928802+68719476736 ~x1928801+34359738368 ~x1928800+17179869184 ~x1928799+8589934592 ~x1928798+4294967296 ~x1928797+2147483648 ~x1928796+1073741824 ~x1928795+536870912 ~x1928794+268435456 ~x1928793+134217728 ~x1928792+67108864 ~x1928791+33554432 ~x1928790+16777216 ~x1928789+8388608 ~x1928788+4194304 ~x1928787+2097152 ~x1928786+1048576 ~x1928785+524288 ~x1928784+262144 ~x1928783+131072 ~x1928782+65536 ~x1928781+32768 ~x1928780+16384 ~x1928779+8192 ~x1928778+4096 ~x1928777+2048 ~x1928776+1024 ~x1928775+512 ~x1928774+256 ~x1928773+128 ~x1928772+64 ~x1928771+32 ~x1928770+16 ~x1928769+8 ~x1928768+4 ~x1928767+2 ~x1928766+1 ~x1928765+1136800000000 x241+1293600000000 x240+546759196440 x239+821600000000 x238+1761840803560 x237+902000000000 x235+1004138857280 x234+780000000000 x233+1607920122920 x232+1179600000000 x231+2957200000000 x230+3048800000000 x229+1163600000000 x228+2804000000000 x227+494400000000 x226+2444800000000 x224+958359196440 x222+3532000000000 x221+634000000000 x220+1164800000000 x219+1518000000000 x218+1458800000000 x217+1751200000000 x216+393799385384 x215+2350817186440 x214+1158440803560 x213+1837200000000 x212+1771600000000 x211+1802400000000 x210+611600000000 x209+1316400000000 x207+1278000000000 x205+2518242294560 x204+767600000000 x202+368176439792 x201+1018599112240 x200+3108800000000 x197+1682000000000 x196+1558000000000 x195+712800000000 x194+2014400000000 x193+1427547188720 x192+3232000000000 x191+1416400000000 x190+2865288549960 x189+1014400000000 x188+3889200000000 x187+3268800000000 x185+2666000000000 x184+2095600000000 x183+1421200000000 x182+1304400000000 x181+3522800000000 x180+1846400000000 x179+1938400000000 x178+1136800000000 x177+1150400000000 x176+878800000000 x175+2226800000000 x174+1456400000000 x173+1511600000000 x172+1833679877080 x171+3726800000000 x170+2419600000000 x169+1579200000000 x168+2164000000000 x167+1147600000000 x166+1636606282720 x165+421200000000 x164+500800000000 x163+277120122924 x162+1748000000000 x161+1458800000000 x160+1622400000000 x159+2480738697920 x158+1054800000000 x157+1840000000000 x156+3268800000000 x155+1550358320040 x154+632800000000 x152+2281600000000 x151+26214400000000 x86+13107200000000 x85+6553600000000 x84+3276800000000 x83+1638400000000 x82+819200000000 x81+409600000000 x80+204800000000 x79+102400000000 x78+51200000000 x77+25600000000 x76+12800000000 x75+6400000000 x74+3200000000 x73+1600000000 x72+800000000 x71+400000000 x70+200000000 x69+100000000 x68+50000000 x67+25000000 x66+12500000 x65+6250000 x64+3125000 x63+1562500 x62+781250 x61+390625 x60+3496800000000 x57+3270800000000 x56+2518000000000 x55+2458400000000 x54+632800000000 x53+1988000000000 x52+2441200000000 x51+3242800000000 x50+1968000000000 x49+2105979103120 x48+3214800000000 x47+658000000000 x46+2128000000000 x44+798400000000 x43+2176992214880 x42+3750400000000 x41+3931200000000 x40+548000000000 x39+1816000000000 x38+786400000000 x37+56741019804 x36+1189359469600 x35+1625200000000 x34+1066000000000 x33+1173200000000 x32+3193838083320 x31+3140000000000 x29+3654400000000 x28+2673894400200 x27+3760800000000 x25+1436000000000 x24+1333200000000 x23+1622400000000 x22+1950400000000 x21+3935200000000 x20+2507200000000 x18+632800000000 x17+3336800000000 x16+1831600000000 x15+495600000000 x14+2976000000000 x13+2527200000000 x12+1169200000000 x11+1862000000000 x10+1053200000000 x9+3436000000000 x8+898400000000 x7+2166000000000 x6+1449600000000 x5+1589600000000 x4+2838800000000 x3+1705600000000 x2-0=11674514417766

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674171-1276800525/watcher-2674171-1276800525 -o /tmp/evaluation-result-2674171-1276800525/solver-2674171-1276800525 -C 1800 -W 2000 -M 1800 run HOME/instance-2674171-1276800525.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.88 0.94 0.98 3/106 23648
/proc/meminfo: memFree=1925728/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0

[startup+0.053151 s]
/proc/loadavg: 0.88 0.94 0.98 3/106 23648
/proc/meminfo: memFree=1925728/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.102388 s]
/proc/loadavg: 0.88 0.94 0.98 3/106 23648
/proc/meminfo: memFree=1925728/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300378 s]
/proc/loadavg: 0.88 0.94 0.98 3/106 23648
/proc/meminfo: memFree=1925728/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700358 s]
/proc/loadavg: 0.88 0.94 0.98 3/106 23648
/proc/meminfo: memFree=1925728/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50132 s]
/proc/loadavg: 0.88 0.94 0.98 2/108 23651
/proc/meminfo: memFree=1878708/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=59752 CPUtime=1.49
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 14495 0 0 0 133 16 0 0 25 0 1 0 21343463 61186048 14136 1992294400 134512640 134902295 4294758976 18446744073709551615 134631403 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 14938 14136 262 96 0 14150 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68452

[startup+3.10024 s]
/proc/loadavg: 0.88 0.94 0.98 2/108 23651
/proc/meminfo: memFree=1858868/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=88328 CPUtime=3.08
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 22216 0 0 0 289 19 0 0 25 0 1 0 21343463 90447872 21270 1992294400 134512640 134902295 4294758976 18446744073709551615 11469023 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 22082 21270 262 96 0 21294 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 97028

[startup+6.30107 s]
/proc/loadavg: 0.89 0.94 0.98 2/108 23651
/proc/meminfo: memFree=1799596/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=148348 CPUtime=6.29
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 38937 0 0 0 601 28 0 0 25 0 1 0 21343463 151908352 35681 1992294400 134512640 134902295 4294758976 18446744073709551615 134631223 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 37087 35681 262 96 0 36299 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 157048

[startup+12.7007 s]
/proc/loadavg: 0.90 0.94 0.98 2/108 23651
/proc/meminfo: memFree=1683408/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=267760 CPUtime=12.68
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 73094 0 0 0 1226 42 0 0 25 0 1 0 21343463 274186240 63673 1992294400 134512640 134902295 4294758976 18446744073709551615 134632882 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 66940 63673 262 96 0 66152 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 276460

[startup+25.5001 s]
/proc/loadavg: 0.92 0.95 0.98 2/108 23653
/proc/meminfo: memFree=1447312/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=516840 CPUtime=25.47
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 136647 0 0 0 2476 71 0 0 25 0 1 0 21343463 529244160 120723 1992294400 134512640 134902295 4294758976 18446744073709551615 134565208 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 129210 120723 262 96 0 128422 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 525540

[startup+51.1008 s]
/proc/loadavg: 0.95 0.95 0.98 2/108 23653
/proc/meminfo: memFree=1067500/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=891096 CPUtime=51.05
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 235111 0 0 0 4989 116 0 0 25 0 1 0 21343463 912482304 214163 1992294400 134512640 134902295 4294758976 18446744073709551615 4160040188 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 222774 214163 269 96 0 221986 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 899796

[startup+102.308 s]
/proc/loadavg: 0.98 0.95 0.98 2/108 23655
/proc/meminfo: memFree=1065764/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=892372 CPUtime=102.24
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 235467 0 0 0 10107 117 0 0 25 0 1 0 21343463 913788928 214519 1992294400 134512640 134902295 4294758976 18446744073709551615 4160046810 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 223093 214519 269 96 0 222305 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 901072

[startup+162.3 s]
/proc/loadavg: 0.99 0.96 0.98 2/108 23655
/proc/meminfo: memFree=1063036/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=895896 CPUtime=162.19
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 236162 0 0 0 16100 119 0 0 25 0 1 0 21343463 917397504 215214 1992294400 134512640 134902295 4294758976 18446744073709551615 4160008803 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 223974 215214 269 96 0 223186 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 904596

[startup+222.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 23657
/proc/meminfo: memFree=1060804/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=898140 CPUtime=222.16
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 236714 0 0 0 22095 121 0 0 25 0 1 0 21343463 919695360 215766 1992294400 134512640 134902295 4294758976 18446744073709551615 4160046810 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 224535 215766 269 96 0 223747 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 906840

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 23659
/proc/meminfo: memFree=1054976/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=903252 CPUtime=282.14
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 238176 0 0 0 28090 124 0 0 25 0 1 0 21343463 924930048 217228 1992294400 134512640 134902295 4294758976 18446744073709551615 4160040188 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 225813 217228 269 96 0 225025 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 911952

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 23661
/proc/meminfo: memFree=1054604/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=903520 CPUtime=342.1
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 238255 0 0 0 34084 126 0 0 25 0 1 0 21343463 925204480 217307 1992294400 134512640 134902295 4294758976 18446744073709551615 4160041928 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 225880 217307 269 96 0 225092 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 912220

[startup+402.302 s]
/proc/loadavg: 1.05 0.99 0.98 2/108 23663
/proc/meminfo: memFree=1053984/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=907300 CPUtime=402.07
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 238476 0 0 0 40080 127 0 0 25 0 1 0 21343463 929075200 217528 1992294400 134512640 134902295 4294758976 18446744073709551615 4160028165 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 226825 217528 269 96 0 226037 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 916000

[startup+462.301 s]

################
# More data... #
################

/proc/23650/statm: 237436 228322 269 96 0 236648 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 958444

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 23692
/proc/meminfo: memFree=1006328/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=952384 CPUtime=1181.66
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 249963 0 0 0 118011 155 0 0 25 0 1 0 21343463 975241216 229007 1992294400 134512640 134902295 4294758976 18446744073709551615 4160046818 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 238096 229007 269 96 0 237308 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 961084

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 23694
/proc/meminfo: memFree=1001988/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=957064 CPUtime=1241.62
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 251072 0 0 0 124004 158 0 0 25 0 1 0 21343463 980033536 230116 1992294400 134512640 134902295 4294758976 18446744073709551615 4160039038 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 239266 230116 269 96 0 238478 0
Current children cumulated CPU time (s) 1241.62
Current children cumulated vsize (KiB) 965764

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 23696
/proc/meminfo: memFree=1000624/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=957992 CPUtime=1301.61
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 251325 0 0 0 130002 159 0 0 25 0 1 0 21343463 980983808 230369 1992294400 134512640 134902295 4294758976 18446744073709551615 4160041949 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 239498 230369 269 96 0 238710 0
Current children cumulated CPU time (s) 1301.61
Current children cumulated vsize (KiB) 966692

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 23696
/proc/meminfo: memFree=999756/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=958940 CPUtime=1361.57
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 251546 0 0 0 135997 160 0 0 25 0 1 0 21343463 981954560 230590 1992294400 134512640 134902295 4294758976 18446744073709551615 4160032482 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 239735 230590 269 96 0 238947 0
Current children cumulated CPU time (s) 1361.57
Current children cumulated vsize (KiB) 967640

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 23698
/proc/meminfo: memFree=998764/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=959892 CPUtime=1421.54
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 251798 0 0 0 141992 162 0 0 25 0 1 0 21343463 982929408 230842 1992294400 134512640 134902295 4294758976 18446744073709551615 4160040188 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 239973 230842 269 96 0 239185 0
Current children cumulated CPU time (s) 1421.54
Current children cumulated vsize (KiB) 968592

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 23700
/proc/meminfo: memFree=997648/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=961160 CPUtime=1481.51
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 252081 0 0 0 147987 164 0 0 25 0 1 0 21343463 984227840 231125 1992294400 134512640 134902295 4294758976 18446744073709551615 4160039038 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 240290 231125 269 96 0 239502 0
Current children cumulated CPU time (s) 1481.51
Current children cumulated vsize (KiB) 969860

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 23702
/proc/meminfo: memFree=996160/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=962392 CPUtime=1541.48
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 252408 0 0 0 153983 165 0 0 25 0 1 0 21343463 985489408 231452 1992294400 134512640 134902295 4294758976 18446744073709551615 4160027015 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 240598 231452 269 96 0 239810 0
Current children cumulated CPU time (s) 1541.48
Current children cumulated vsize (KiB) 971092

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 23704
/proc/meminfo: memFree=995416/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=963184 CPUtime=1601.45
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 252589 0 0 0 159979 166 0 0 25 0 1 0 21343463 986300416 231633 1992294400 134512640 134902295 4294758976 18446744073709551615 4160008834 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 240796 231633 269 96 0 240008 0
Current children cumulated CPU time (s) 1601.45
Current children cumulated vsize (KiB) 971884

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 23704
/proc/meminfo: memFree=994424/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=964108 CPUtime=1661.42
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 252819 0 0 0 165975 167 0 0 25 0 1 0 21343463 987246592 231863 1992294400 134512640 134902295 4294758976 18446744073709551615 4160041893 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 241027 231863 269 96 0 240239 0
Current children cumulated CPU time (s) 1661.42
Current children cumulated vsize (KiB) 972808

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 23706
/proc/meminfo: memFree=993928/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=964504 CPUtime=1721.4
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 252943 0 0 0 171971 169 0 0 25 0 1 0 21343463 987652096 231987 1992294400 134512640 134902295 4294758976 18446744073709551615 4160039038 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 241126 231987 269 96 0 240338 0
Current children cumulated CPU time (s) 1721.4
Current children cumulated vsize (KiB) 973204

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 23708
/proc/meminfo: memFree=992936/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=965428 CPUtime=1781.37
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 253171 0 0 0 177966 171 0 0 25 0 1 0 21343463 988598272 232215 1992294400 134512640 134902295 4294758976 18446744073709551615 4160027543 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 241357 232215 269 96 0 240569 0
Current children cumulated CPU time (s) 1781.37
Current children cumulated vsize (KiB) 974128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 23708
/proc/meminfo: memFree=992688/2059040 swapFree=4140416/4192956
[pid=23648] ppid=23646 vsize=8700 CPUtime=0
/proc/23648/stat : 23648 (run) S 23646 23648 23497 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21343463 8908800 251 1992294400 4194304 4922060 140736962163920 18446744073709551615 261052013701 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23648/statm: 2175 251 211 178 0 68 0
[pid=23650] ppid=23648 vsize=965716 CPUtime=1800.06
/proc/23650/stat : 23650 (PBPASSolver) R 23648 23648 23497 0 -1 4202496 253225 0 0 0 179835 171 0 0 25 0 1 0 21343463 988893184 232269 1992294400 134512640 134902295 4294758976 18446744073709551615 4160027852 0 0 4096 17608 0 0 0 17 0 0 0 0
/proc/23650/statm: 241429 232269 269 96 0 240641 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 974416

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 23648 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=2999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 1800.06
#
# 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.06
CPU user time (s): 1798.35
CPU system time (s): 1.71
CPU usage (%): 99.947
Max. virtual memory (cumulated for all children) (KiB): 974416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 4

runsolver used 3.41548 second user time and 8.25774 second system time

The end

Launcher Data 

Begin job on node052 at 2010-06-17 20:48:45
IDJOB=2674171
IDBENCH=2510
IDSOLVER=1174
FILE ID=node052/2674171-1276800525
PBS_JOBID= 11176681
Free space on /tmp= 62488 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mas76.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674171-1276800525/watcher-2674171-1276800525 -o /tmp/evaluation-result-2674171-1276800525/solver-2674171-1276800525 -C 1800 -W 2000 -M 1800  run HOME/instance-2674171-1276800525.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 1a1687e6de95bc6822d45f4331f81d44
RANDOM SEED=212895575

node052.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.262
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.262
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:       1926248 kB
Buffers:          5872 kB
Cached:          38852 kB
SwapCached:       5520 kB
Active:          10280 kB
Inactive:        46808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1926248 kB
SwapTotal:     4192956 kB
SwapFree:      4140416 kB
Dirty:             676 kB
Writeback:           0 kB
AnonPages:       11088 kB
Mapped:          13000 kB
Slab:            53916 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181272 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= 62488 MiB
End job on node052 at 2010-06-17 21:18:48