Trace number 2674731

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.03 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sc50b.opb
MD5SUM9d5a30d09d178b709a3b68b215f432fe
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-70000
Best CPU time to get the best result obtained on this benchmark319.034
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -70000
Optimality of the best value was proved YES
Number of variables1440
Total number of constraints48
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint60
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 5905580032
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 22548578283
Number of bits of the biggest sum of numbers35
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.22	c 1440 48 0 0 0 0 0 0
0.00/0.22	c 2147483648 ~x1473+1073741824 ~x1472+536870912 ~x1471+268435456 ~x1470+134217728 ~x1469+67108864 ~x1468+33554432 ~x1467+16777216 ~x1466+8388608 ~x1465+4194304 ~x1464+2097152 ~x1463+1048576 ~x1462+524288 ~x1461+262144 ~x1460+131072 ~x1459+65536 ~x1458+32768 ~x1457+16384 ~x1456+8192 ~x1455+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+536870912 ~x91+268435456 ~x90+134217728 ~x89+67108864 ~x88+33554432 ~x87+16777216 ~x86+8388608 ~x85+4194304 ~x84+2097152 ~x83+1048576 ~x82+524288 ~x81+262144 ~x80+131072 ~x79+65536 ~x78+32768 ~x77+16384 ~x76+8192 ~x75+4096 ~x74+2048 ~x73+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32+536870912 ~x31+268435456 ~x30+134217728 ~x29+67108864 ~x28+33554432 ~x27+16777216 ~x26+8388608 ~x25+4194304 ~x24+2097152 ~x23+1048576 ~x22+524288 ~x21+262144 ~x20+131072 ~x19+65536 ~x18+32768 ~x17+16384 ~x16+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=7516090364
3.29/3.31	c 536870912 ~x136034+268435456 ~x136033+134217728 ~x136032+67108864 ~x136031+33554432 ~x136030+16777216 ~x136029+8388608 ~x136028+4194304 ~x136027+2097152 ~x136026+1048576 ~x136025+524288 ~x136024+262144 ~x136023+131072 ~x136022+65536 ~x136021+32768 ~x136020+16384 ~x136019+8192 ~x136018+4096 ~x136017+2048 ~x136016+1024 ~x136015+512 ~x136014+256 ~x136013+128 ~x136012+64 ~x136011+32 ~x136010+16 ~x136009+8 ~x136008+4 ~x136007+2 ~x136006+1 ~x136005+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+536870912 x181+268435456 x180+134217728 x179+67108864 x178+33554432 x177+16777216 x176+8388608 x175+4194304 x174+2097152 x173+1048576 x172+524288 x171+262144 x170+131072 x169+65536 x168+32768 x167+16384 x166+8192 x165+4096 x164+2048 x163+1024 x162+512 x161+256 x160+128 x159+64 x158+32 x157+16 x156+8 x155+4 x154+2 x153+1 x152-0=2147483646
3.99/4.04	c 536870912 ~x167777+268435456 ~x167776+134217728 ~x167775+67108864 ~x167774+33554432 ~x167773+16777216 ~x167772+8388608 ~x167771+4194304 ~x167770+2097152 ~x167769+1048576 ~x167768+524288 ~x167767+262144 ~x167766+131072 ~x167765+65536 ~x167764+32768 ~x167763+16384 ~x167762+8192 ~x167761+4096 ~x167760+2048 ~x167759+1024 ~x167758+512 ~x167757+256 ~x167756+128 ~x167755+64 ~x167754+32 ~x167753+16 ~x167752+8 ~x167751+4 ~x167750+2 ~x167749+1 ~x167748+536870912 ~x301+268435456 ~x300+134217728 ~x299+67108864 ~x298+33554432 ~x297+16777216 ~x296+8388608 ~x295+4194304 ~x294+2097152 ~x293+1048576 ~x292+524288 ~x291+262144 ~x290+131072 ~x289+65536 ~x288+32768 ~x287+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272+536870912 x211+268435456 x210+134217728 x209+67108864 x208+33554432 x207+16777216 x206+8388608 x205+4194304 x204+2097152 x203+1048576 x202+524288 x201+262144 x200+131072 x199+65536 x198+32768 x197+16384 x196+8192 x195+4096 x194+2048 x193+1024 x192+512 x191+256 x190+128 x189+64 x188+32 x187+16 x186+8 x185+4 x184+2 x183+1 x182-0=2147483646
4.68/4.77	c 536870912 ~x199520+268435456 ~x199519+134217728 ~x199518+67108864 ~x199517+33554432 ~x199516+16777216 ~x199515+8388608 ~x199514+4194304 ~x199513+2097152 ~x199512+1048576 ~x199511+524288 ~x199510+262144 ~x199509+131072 ~x199508+65536 ~x199507+32768 ~x199506+16384 ~x199505+8192 ~x199504+4096 ~x199503+2048 ~x199502+1024 ~x199501+512 ~x199500+256 ~x199499+128 ~x199498+64 ~x199497+32 ~x199496+16 ~x199495+8 ~x199494+4 ~x199493+2 ~x199492+1 ~x199491+536870912 ~x331+268435456 ~x330+134217728 ~x329+67108864 ~x328+33554432 ~x327+16777216 ~x326+8388608 ~x325+4194304 ~x324+2097152 ~x323+1048576 ~x322+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 x241+268435456 x240+134217728 x239+67108864 x238+33554432 x237+16777216 x236+8388608 x235+4194304 x234+2097152 x233+1048576 x232+524288 x231+262144 x230+131072 x229+65536 x228+32768 x227+16384 x226+8192 x225+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=2147483646
5.49/5.50	c 8589934592 ~x231267+4294967296 ~x231266+2147483648 ~x231265+1073741824 ~x231264+536870912 ~x231263+268435456 ~x231262+134217728 ~x231261+67108864 ~x231260+33554432 ~x231259+16777216 ~x231258+8388608 ~x231257+4194304 ~x231256+2097152 ~x231255+1048576 ~x231254+524288 ~x231253+262144 ~x231252+131072 ~x231251+65536 ~x231250+32768 ~x231249+16384 ~x231248+8192 ~x231247+4096 ~x231246+2048 ~x231245+1024 ~x231244+512 ~x231243+256 ~x231242+128 ~x231241+64 ~x231240+32 ~x231239+16 ~x231238+8 ~x231237+4 ~x231236+2 ~x231235+1 ~x231234+1610612736 ~x421+805306368 ~x420+402653184 ~x419+201326592 ~x418+100663296 ~x417+50331648 ~x416+25165824 ~x415+12582912 ~x414+6291456 ~x413+3145728 ~x412+1572864 ~x411+786432 ~x410+393216 ~x409+196608 ~x408+98304 ~x407+49152 ~x406+24576 ~x405+12288 ~x404+6144 ~x403+3072 ~x402+1536 ~x401+768 ~x400+384 ~x399+192 ~x398+96 ~x397+48 ~x396+24 ~x395+12 ~x394+6 ~x393+3 ~x392+1610612736 ~x391+805306368 ~x390+402653184 ~x389+201326592 ~x388+100663296 ~x387+50331648 ~x386+25165824 ~x385+12582912 ~x384+6291456 ~x383+3145728 ~x382+1572864 ~x381+786432 ~x380+393216 ~x379+196608 ~x378+98304 ~x377+49152 ~x376+24576 ~x375+12288 ~x374+6144 ~x373+3072 ~x372+1536 ~x371+768 ~x370+384 ~x369+192 ~x368+96 ~x367+48 ~x366+24 ~x365+12 ~x364+6 ~x363+3 ~x362+1610612736 ~x361+805306368 ~x360+402653184 ~x359+201326592 ~x358+100663296 ~x357+50331648 ~x356+25165824 ~x355+12582912 ~x354+6291456 ~x353+3145728 ~x352+1572864 ~x351+786432 ~x350+393216 ~x349+196608 ~x348+98304 ~x347+49152 ~x346+24576 ~x345+12288 ~x344+6144 ~x343+3072 ~x342+1536 ~x341+768 ~x340+384 ~x339+192 ~x338+96 ~x337+48 ~x336+24 ~x335+12 ~x334+6 ~x333+3 ~x332+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242-0=26843238390
6.98/7.05	c 1073741824 ~x299577+536870912 ~x299576+268435456 ~x299575+134217728 ~x299574+67108864 ~x299573+33554432 ~x299572+16777216 ~x299571+8388608 ~x299570+4194304 ~x299569+2097152 ~x299568+1048576 ~x299567+524288 ~x299566+262144 ~x299565+131072 ~x299564+65536 ~x299563+32768 ~x299562+16384 ~x299561+8192 ~x299560+4096 ~x299559+2048 ~x299558+1024 ~x299557+512 ~x299556+256 ~x299555+128 ~x299554+64 ~x299553+32 ~x299552+16 ~x299551+8 ~x299550+4 ~x299549+2 ~x299548+1 ~x299547+1342177280 x300+671088640 x299+335544320 x298+167772160 x297+83886080 x296+41943040 x295+20971520 x294+10485760 x293+5242880 x292+2621440 x291+1310720 x290+655360 x289+327680 x288+163840 x287+81920 x286+40960 x285+20480 x284+10240 x283+5120 x282+2560 x281+1280 x280+640 x279+320 x278+160 x277+80 x276+40 x275+20 x274+10 x273+5 x272+1073741824 ~x151+536870912 ~x150+268435456 ~x149+134217728 ~x148+67108864 ~x147+33554432 ~x146+16777216 ~x145+8388608 ~x144+4194304 ~x143+2097152 ~x142+1048576 ~x141+524288 ~x140+262144 ~x139+131072 ~x138+65536 ~x137+32768 ~x136+16384 ~x135+8192 ~x134+4096 ~x133+2048 ~x132+1024 ~x131+512 ~x130+256 ~x129+128 ~x128+64 ~x127+32 ~x126+16 ~x125+8 ~x124+4 ~x123+2 ~x122-0=4294967293
7.88/7.94	c 2147483648 ~x338129+1073741824 ~x338128+536870912 ~x338127+268435456 ~x338126+134217728 ~x338125+67108864 ~x338124+33554432 ~x338123+16777216 ~x338122+8388608 ~x338121+4194304 ~x338120+2097152 ~x338119+1048576 ~x338118+524288 ~x338117+262144 ~x338116+131072 ~x338115+65536 ~x338114+32768 ~x338113+16384 ~x338112+8192 ~x338111+4096 ~x338110+2048 ~x338109+1024 ~x338108+512 ~x338107+256 ~x338106+128 ~x338105+64 ~x338104+32 ~x338103+16 ~x338102+8 ~x338101+4 ~x338100+2 ~x338099+1 ~x338098+2684354560 x331+1342177280 x330+671088640 x329+335544320 x328+167772160 x327+83886080 x326+41943040 x325+20971520 x324+10485760 x323+5242880 x322+2621440 x321+1310720 x320+655360 x319+327680 x318+163840 x317+81920 x316+40960 x315+20480 x314+10240 x313+5120 x312+2560 x311+1280 x310+640 x309+320 x308+160 x307+80 x306+40 x305+20 x304+10 x303+5 x302+1610612736 ~x151+805306368 ~x150+402653184 ~x149+201326592 ~x148+100663296 ~x147+50331648 ~x146+25165824 ~x145+12582912 ~x144+6291456 ~x143+3145728 ~x142+1572864 ~x141+786432 ~x140+393216 ~x139+196608 ~x138+98304 ~x137+49152 ~x136+24576 ~x135+12288 ~x134+6144 ~x133+3072 ~x132+1536 ~x131+768 ~x130+384 ~x129+192 ~x128+96 ~x127+48 ~x126+24 ~x125+12 ~x124+6 ~x123+3 ~x122-0=7516192764
12.19/12.27	c 536870912 ~x527769+268435456 ~x527768+134217728 ~x527767+67108864 ~x527766+33554432 ~x527765+16777216 ~x527764+8388608 ~x527763+4194304 ~x527762+2097152 ~x527761+1048576 ~x527760+524288 ~x527759+262144 ~x527758+131072 ~x527757+65536 ~x527756+32768 ~x527755+16384 ~x527754+8192 ~x527753+4096 ~x527752+2048 ~x527751+1024 ~x527750+512 ~x527749+256 ~x527748+128 ~x527747+64 ~x527746+32 ~x527745+16 ~x527744+8 ~x527743+4 ~x527742+2 ~x527741+1 ~x527740+536870912 ~x601+268435456 ~x600+134217728 ~x599+67108864 ~x598+33554432 ~x597+16777216 ~x596+8388608 ~x595+4194304 ~x594+2097152 ~x593+1048576 ~x592+524288 ~x591+262144 ~x590+131072 ~x589+65536 ~x588+32768 ~x587+16384 ~x586+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572+536870912 x511+268435456 x510+134217728 x509+67108864 x508+33554432 x507+16777216 x506+8388608 x505+4194304 x504+2097152 x503+1048576 x502+524288 x501+262144 x500+131072 x499+65536 x498+32768 x497+16384 x496+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=2147483646
12.98/13.00	c 536870912 ~x559512+268435456 ~x559511+134217728 ~x559510+67108864 ~x559509+33554432 ~x559508+16777216 ~x559507+8388608 ~x559506+4194304 ~x559505+2097152 ~x559504+1048576 ~x559503+524288 ~x559502+262144 ~x559501+131072 ~x559500+65536 ~x559499+32768 ~x559498+16384 ~x559497+8192 ~x559496+4096 ~x559495+2048 ~x559494+1024 ~x559493+512 ~x559492+256 ~x559491+128 ~x559490+64 ~x559489+32 ~x559488+16 ~x559487+8 ~x559486+4 ~x559485+2 ~x559484+1 ~x559483+536870912 ~x631+268435456 ~x630+134217728 ~x629+67108864 ~x628+33554432 ~x627+16777216 ~x626+8388608 ~x625+4194304 ~x624+2097152 ~x623+1048576 ~x622+524288 ~x621+262144 ~x620+131072 ~x619+65536 ~x618+32768 ~x617+16384 ~x616+8192 ~x615+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602+536870912 x541+268435456 x540+134217728 x539+67108864 x538+33554432 x537+16777216 x536+8388608 x535+4194304 x534+2097152 x533+1048576 x532+524288 x531+262144 x530+131072 x529+65536 x528+32768 x527+16384 x526+8192 x525+4096 x524+2048 x523+1024 x522+512 x521+256 x520+128 x519+64 x518+32 x517+16 x516+8 x515+4 x514+2 x513+1 x512-0=2147483646
13.68/13.73	c 536870912 ~x591255+268435456 ~x591254+134217728 ~x591253+67108864 ~x591252+33554432 ~x591251+16777216 ~x591250+8388608 ~x591249+4194304 ~x591248+2097152 ~x591247+1048576 ~x591246+524288 ~x591245+262144 ~x591244+131072 ~x591243+65536 ~x591242+32768 ~x591241+16384 ~x591240+8192 ~x591239+4096 ~x591238+2048 ~x591237+1024 ~x591236+512 ~x591235+256 ~x591234+128 ~x591233+64 ~x591232+32 ~x591231+16 ~x591230+8 ~x591229+4 ~x591228+2 ~x591227+1 ~x591226+536870912 ~x661+268435456 ~x660+134217728 ~x659+67108864 ~x658+33554432 ~x657+16777216 ~x656+8388608 ~x655+4194304 ~x654+2097152 ~x653+1048576 ~x652+524288 ~x651+262144 ~x650+131072 ~x649+65536 ~x648+32768 ~x647+16384 ~x646+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632+536870912 x571+268435456 x570+134217728 x569+67108864 x568+33554432 x567+16777216 x566+8388608 x565+4194304 x564+2097152 x563+1048576 x562+524288 x561+262144 x560+131072 x559+65536 x558+32768 x557+16384 x556+8192 x555+4096 x554+2048 x553+1024 x552+512 x551+256 x550+128 x549+64 x548+32 x547+16 x546+8 x545+4 x544+2 x543+1 x542-0=2147483646
14.39/14.46	c 8589934592 ~x623002+4294967296 ~x623001+2147483648 ~x623000+1073741824 ~x622999+536870912 ~x622998+268435456 ~x622997+134217728 ~x622996+67108864 ~x622995+33554432 ~x622994+16777216 ~x622993+8388608 ~x622992+4194304 ~x622991+2097152 ~x622990+1048576 ~x622989+524288 ~x622988+262144 ~x622987+131072 ~x622986+65536 ~x622985+32768 ~x622984+16384 ~x622983+8192 ~x622982+4096 ~x622981+2048 ~x622980+1024 ~x622979+512 ~x622978+256 ~x622977+128 ~x622976+64 ~x622975+32 ~x622974+16 ~x622973+8 ~x622972+4 ~x622971+2 ~x622970+1 ~x622969+1610612736 ~x751+805306368 ~x750+402653184 ~x749+201326592 ~x748+100663296 ~x747+50331648 ~x746+25165824 ~x745+12582912 ~x744+6291456 ~x743+3145728 ~x742+1572864 ~x741+786432 ~x740+393216 ~x739+196608 ~x738+98304 ~x737+49152 ~x736+24576 ~x735+12288 ~x734+6144 ~x733+3072 ~x732+1536 ~x731+768 ~x730+384 ~x729+192 ~x728+96 ~x727+48 ~x726+24 ~x725+12 ~x724+6 ~x723+3 ~x722+1610612736 ~x721+805306368 ~x720+402653184 ~x719+201326592 ~x718+100663296 ~x717+50331648 ~x716+25165824 ~x715+12582912 ~x714+6291456 ~x713+3145728 ~x712+1572864 ~x711+786432 ~x710+393216 ~x709+196608 ~x708+98304 ~x707+49152 ~x706+24576 ~x705+12288 ~x704+6144 ~x703+3072 ~x702+1536 ~x701+768 ~x700+384 ~x699+192 ~x698+96 ~x697+48 ~x696+24 ~x695+12 ~x694+6 ~x693+3 ~x692+1610612736 ~x691+805306368 ~x690+402653184 ~x689+201326592 ~x688+100663296 ~x687+50331648 ~x686+25165824 ~x685+12582912 ~x684+6291456 ~x683+3145728 ~x682+1572864 ~x681+786432 ~x680+393216 ~x679+196608 ~x678+98304 ~x677+49152 ~x676+24576 ~x675+12288 ~x674+6144 ~x673+3072 ~x672+1536 ~x671+768 ~x670+384 ~x669+192 ~x668+96 ~x667+48 ~x666+24 ~x665+12 ~x664+6 ~x663+3 ~x662+536870912 x601+268435456 x600+134217728 x599+67108864 x598+33554432 x597+16777216 x596+8388608 x595+4194304 x594+2097152 x593+1048576 x592+524288 x591+262144 x590+131072 x589+65536 x588+32768 x587+16384 x586+8192 x585+4096 x584+2048 x583+1024 x582+512 x581+256 x580+128 x579+64 x578+32 x577+16 x576+8 x575+4 x574+2 x573+1 x572-0=26843238390
15.98/16.01	c 1073741824 ~x691312+536870912 ~x691311+268435456 ~x691310+134217728 ~x691309+67108864 ~x691308+33554432 ~x691307+16777216 ~x691306+8388608 ~x691305+4194304 ~x691304+2097152 ~x691303+1048576 ~x691302+524288 ~x691301+262144 ~x691300+131072 ~x691299+65536 ~x691298+32768 ~x691297+16384 ~x691296+8192 ~x691295+4096 ~x691294+2048 ~x691293+1024 ~x691292+512 ~x691291+256 ~x691290+128 ~x691289+64 ~x691288+32 ~x691287+16 ~x691286+8 ~x691285+4 ~x691284+2 ~x691283+1 ~x691282+1342177280 x630+671088640 x629+335544320 x628+167772160 x627+83886080 x626+41943040 x625+20971520 x624+10485760 x623+5242880 x622+2621440 x621+1310720 x620+655360 x619+327680 x618+163840 x617+81920 x616+40960 x615+20480 x614+10240 x613+5120 x612+2560 x611+1280 x610+640 x609+320 x608+160 x607+80 x606+40 x605+20 x604+10 x603+5 x602+1073741824 ~x481+536870912 ~x480+268435456 ~x479+134217728 ~x478+67108864 ~x477+33554432 ~x476+16777216 ~x475+8388608 ~x474+4194304 ~x473+2097152 ~x472+1048576 ~x471+524288 ~x470+262144 ~x469+131072 ~x468+65536 ~x467+32768 ~x466+16384 ~x465+8192 ~x464+4096 ~x463+2048 ~x462+1024 ~x461+512 ~x460+256 ~x459+128 ~x458+64 ~x457+32 ~x456+16 ~x455+8 ~x454+4 ~x453+2 ~x452-0=4294967293
16.78/16.90	c 2147483648 ~x729864+1073741824 ~x729863+536870912 ~x729862+268435456 ~x729861+134217728 ~x729860+67108864 ~x729859+33554432 ~x729858+16777216 ~x729857+8388608 ~x729856+4194304 ~x729855+2097152 ~x729854+1048576 ~x729853+524288 ~x729852+262144 ~x729851+131072 ~x729850+65536 ~x729849+32768 ~x729848+16384 ~x729847+8192 ~x729846+4096 ~x729845+2048 ~x729844+1024 ~x729843+512 ~x729842+256 ~x729841+128 ~x729840+64 ~x729839+32 ~x729838+16 ~x729837+8 ~x729836+4 ~x729835+2 ~x729834+1 ~x729833+2684354560 x661+1342177280 x660+671088640 x659+335544320 x658+167772160 x657+83886080 x656+41943040 x655+20971520 x654+10485760 x653+5242880 x652+2621440 x651+1310720 x650+655360 x649+327680 x648+163840 x647+81920 x646+40960 x645+20480 x644+10240 x643+5120 x642+2560 x641+1280 x640+640 x639+320 x638+160 x637+80 x636+40 x635+20 x634+10 x633+5 x632+1610612736 ~x481+805306368 ~x480+402653184 ~x479+201326592 ~x478+100663296 ~x477+50331648 ~x476+25165824 ~x475+12582912 ~x474+6291456 ~x473+3145728 ~x472+1572864 ~x471+786432 ~x470+393216 ~x469+196608 ~x468+98304 ~x467+49152 ~x466+24576 ~x465+12288 ~x464+6144 ~x463+3072 ~x462+1536 ~x461+768 ~x460+384 ~x459+192 ~x458+96 ~x457+48 ~x456+24 ~x455+12 ~x454+6 ~x453+3 ~x452-0=7516192764
21.18/21.23	c 536870912 ~x919504+268435456 ~x919503+134217728 ~x919502+67108864 ~x919501+33554432 ~x919500+16777216 ~x919499+8388608 ~x919498+4194304 ~x919497+2097152 ~x919496+1048576 ~x919495+524288 ~x919494+262144 ~x919493+131072 ~x919492+65536 ~x919491+32768 ~x919490+16384 ~x919489+8192 ~x919488+4096 ~x919487+2048 ~x919486+1024 ~x919485+512 ~x919484+256 ~x919483+128 ~x919482+64 ~x919481+32 ~x919480+16 ~x919479+8 ~x919478+4 ~x919477+2 ~x919476+1 ~x919475+536870912 ~x931+268435456 ~x930+134217728 ~x929+67108864 ~x928+33554432 ~x927+16777216 ~x926+8388608 ~x925+4194304 ~x924+2097152 ~x923+1048576 ~x922+524288 ~x921+262144 ~x920+131072 ~x919+65536 ~x918+32768 ~x917+16384 ~x916+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902+536870912 x841+268435456 x840+134217728 x839+67108864 x838+33554432 x837+16777216 x836+8388608 x835+4194304 x834+2097152 x833+1048576 x832+524288 x831+262144 x830+131072 x829+65536 x828+32768 x827+16384 x826+8192 x825+4096 x824+2048 x823+1024 x822+512 x821+256 x820+128 x819+64 x818+32 x817+16 x816+8 x815+4 x814+2 x813+1 x812-0=2147483646
21.88/21.96	c 536870912 ~x951247+268435456 ~x951246+134217728 ~x951245+67108864 ~x951244+33554432 ~x951243+16777216 ~x951242+8388608 ~x951241+4194304 ~x951240+2097152 ~x951239+1048576 ~x951238+524288 ~x951237+262144 ~x951236+131072 ~x951235+65536 ~x951234+32768 ~x951233+16384 ~x951232+8192 ~x951231+4096 ~x951230+2048 ~x951229+1024 ~x951228+512 ~x951227+256 ~x951226+128 ~x951225+64 ~x951224+32 ~x951223+16 ~x951222+8 ~x951221+4 ~x951220+2 ~x951219+1 ~x951218+536870912 ~x961+268435456 ~x960+134217728 ~x959+67108864 ~x958+33554432 ~x957+16777216 ~x956+8388608 ~x955+4194304 ~x954+2097152 ~x953+1048576 ~x952+524288 ~x951+262144 ~x950+131072 ~x949+65536 ~x948+32768 ~x947+16384 ~x946+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932+536870912 x871+268435456 x870+134217728 x869+67108864 x868+33554432 x867+16777216 x866+8388608 x865+4194304 x864+2097152 x863+1048576 x862+524288 x861+262144 x860+131072 x859+65536 x858+32768 x857+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=2147483646
22.58/22.68	c 536870912 ~x982990+268435456 ~x982989+134217728 ~x982988+67108864 ~x982987+33554432 ~x982986+16777216 ~x982985+8388608 ~x982984+4194304 ~x982983+2097152 ~x982982+1048576 ~x982981+524288 ~x982980+262144 ~x982979+131072 ~x982978+65536 ~x982977+32768 ~x982976+16384 ~x982975+8192 ~x982974+4096 ~x982973+2048 ~x982972+1024 ~x982971+512 ~x982970+256 ~x982969+128 ~x982968+64 ~x982967+32 ~x982966+16 ~x982965+8 ~x982964+4 ~x982963+2 ~x982962+1 ~x982961+536870912 ~x991+268435456 ~x990+134217728 ~x989+67108864 ~x988+33554432 ~x987+16777216 ~x986+8388608 ~x985+4194304 ~x984+2097152 ~x983+1048576 ~x982+524288 ~x981+262144 ~x980+131072 ~x979+65536 ~x978+32768 ~x977+16384 ~x976+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+536870912 x901+268435456 x900+134217728 x899+67108864 x898+33554432 x897+16777216 x896+8388608 x895+4194304 x894+2097152 x893+1048576 x892+524288 x891+262144 x890+131072 x889+65536 x888+32768 x887+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=2147483646
23.38/23.43	c 8589934592 ~x1014737+4294967296 ~x1014736+2147483648 ~x1014735+1073741824 ~x1014734+536870912 ~x1014733+268435456 ~x1014732+134217728 ~x1014731+67108864 ~x1014730+33554432 ~x1014729+16777216 ~x1014728+8388608 ~x1014727+4194304 ~x1014726+2097152 ~x1014725+1048576 ~x1014724+524288 ~x1014723+262144 ~x1014722+131072 ~x1014721+65536 ~x1014720+32768 ~x1014719+16384 ~x1014718+8192 ~x1014717+4096 ~x1014716+2048 ~x1014715+1024 ~x1014714+512 ~x1014713+256 ~x1014712+128 ~x1014711+64 ~x1014710+32 ~x1014709+16 ~x1014708+8 ~x1014707+4 ~x1014706+2 ~x1014705+1 ~x1014704+1610612736 ~x1081+805306368 ~x1080+402653184 ~x1079+201326592 ~x1078+100663296 ~x1077+50331648 ~x1076+25165824 ~x1075+12582912 ~x1074+6291456 ~x1073+3145728 ~x1072+1572864 ~x1071+786432 ~x1070+393216 ~x1069+196608 ~x1068+98304 ~x1067+49152 ~x1066+24576 ~x1065+12288 ~x1064+6144 ~x1063+3072 ~x1062+1536 ~x1061+768 ~x1060+384 ~x1059+192 ~x1058+96 ~x1057+48 ~x1056+24 ~x1055+12 ~x1054+6 ~x1053+3 ~x1052+1610612736 ~x1051+805306368 ~x1050+402653184 ~x1049+201326592 ~x1048+100663296 ~x1047+50331648 ~x1046+25165824 ~x1045+12582912 ~x1044+6291456 ~x1043+3145728 ~x1042+1572864 ~x1041+786432 ~x1040+393216 ~x1039+196608 ~x1038+98304 ~x1037+49152 ~x1036+24576 ~x1035+12288 ~x1034+6144 ~x1033+3072 ~x1032+1536 ~x1031+768 ~x1030+384 ~x1029+192 ~x1028+96 ~x1027+48 ~x1026+24 ~x1025+12 ~x1024+6 ~x1023+3 ~x1022+1610612736 ~x1021+805306368 ~x1020+402653184 ~x1019+201326592 ~x1018+100663296 ~x1017+50331648 ~x1016+25165824 ~x1015+12582912 ~x1014+6291456 ~x1013+3145728 ~x1012+1572864 ~x1011+786432 ~x1010+393216 ~x1009+196608 ~x1008+98304 ~x1007+49152 ~x1006+24576 ~x1005+12288 ~x1004+6144 ~x1003+3072 ~x1002+1536 ~x1001+768 ~x1000+384 ~x999+192 ~x998+96 ~x997+48 ~x996+24 ~x995+12 ~x994+6 ~x993+3 ~x992+536870912 x931+268435456 x930+134217728 x929+67108864 x928+33554432 x927+16777216 x926+8388608 x925+4194304 x924+2097152 x923+1048576 x922+524288 x921+262144 x920+131072 x919+65536 x918+32768 x917+16384 x916+8192 x915+4096 x914+2048 x913+1024 x912+512 x911+256 x910+128 x909+64 x908+32 x907+16 x906+8 x905+4 x904+2 x903+1 x902-0=26843238390
24.88/24.97	c 1073741824 ~x1083047+536870912 ~x1083046+268435456 ~x1083045+134217728 ~x1083044+67108864 ~x1083043+33554432 ~x1083042+16777216 ~x1083041+8388608 ~x1083040+4194304 ~x1083039+2097152 ~x1083038+1048576 ~x1083037+524288 ~x1083036+262144 ~x1083035+131072 ~x1083034+65536 ~x1083033+32768 ~x1083032+16384 ~x1083031+8192 ~x1083030+4096 ~x1083029+2048 ~x1083028+1024 ~x1083027+512 ~x1083026+256 ~x1083025+128 ~x1083024+64 ~x1083023+32 ~x1083022+16 ~x1083021+8 ~x1083020+4 ~x1083019+2 ~x1083018+1 ~x1083017+1342177280 x960+671088640 x959+335544320 x958+167772160 x957+83886080 x956+41943040 x955+20971520 x954+10485760 x953+5242880 x952+2621440 x951+1310720 x950+655360 x949+327680 x948+163840 x947+81920 x946+40960 x945+20480 x944+10240 x943+5120 x942+2560 x941+1280 x940+640 x939+320 x938+160 x937+80 x936+40 x935+20 x934+10 x933+5 x932+1073741824 ~x811+536870912 ~x810+268435456 ~x809+134217728 ~x808+67108864 ~x807+33554432 ~x806+16777216 ~x805+8388608 ~x804+4194304 ~x803+2097152 ~x802+1048576 ~x801+524288 ~x800+262144 ~x799+131072 ~x798+65536 ~x797+32768 ~x796+16384 ~x795+8192 ~x794+4096 ~x793+2048 ~x792+1024 ~x791+512 ~x790+256 ~x789+128 ~x788+64 ~x787+32 ~x786+16 ~x785+8 ~x784+4 ~x783+2 ~x782-0=4294967293
25.78/25.86	c 2147483648 ~x1121599+1073741824 ~x1121598+536870912 ~x1121597+268435456 ~x1121596+134217728 ~x1121595+67108864 ~x1121594+33554432 ~x1121593+16777216 ~x1121592+8388608 ~x1121591+4194304 ~x1121590+2097152 ~x1121589+1048576 ~x1121588+524288 ~x1121587+262144 ~x1121586+131072 ~x1121585+65536 ~x1121584+32768 ~x1121583+16384 ~x1121582+8192 ~x1121581+4096 ~x1121580+2048 ~x1121579+1024 ~x1121578+512 ~x1121577+256 ~x1121576+128 ~x1121575+64 ~x1121574+32 ~x1121573+16 ~x1121572+8 ~x1121571+4 ~x1121570+2 ~x1121569+1 ~x1121568+2684354560 x991+1342177280 x990+671088640 x989+335544320 x988+167772160 x987+83886080 x986+41943040 x985+20971520 x984+10485760 x983+5242880 x982+2621440 x981+1310720 x980+655360 x979+327680 x978+163840 x977+81920 x976+40960 x975+20480 x974+10240 x973+5120 x972+2560 x971+1280 x970+640 x969+320 x968+160 x967+80 x966+40 x965+20 x964+10 x963+5 x962+1610612736 ~x811+805306368 ~x810+402653184 ~x809+201326592 ~x808+100663296 ~x807+50331648 ~x806+25165824 ~x805+12582912 ~x804+6291456 ~x803+3145728 ~x802+1572864 ~x801+786432 ~x800+393216 ~x799+196608 ~x798+98304 ~x797+49152 ~x796+24576 ~x795+12288 ~x794+6144 ~x793+3072 ~x792+1536 ~x791+768 ~x790+384 ~x789+192 ~x788+96 ~x787+48 ~x786+24 ~x785+12 ~x784+6 ~x783+3 ~x782-0=7516192764
30.07/30.20	c 536870912 ~x1311239+268435456 ~x1311238+134217728 ~x1311237+67108864 ~x1311236+33554432 ~x1311235+16777216 ~x1311234+8388608 ~x1311233+4194304 ~x1311232+2097152 ~x1311231+1048576 ~x1311230+524288 ~x1311229+262144 ~x1311228+131072 ~x1311227+65536 ~x1311226+32768 ~x1311225+16384 ~x1311224+8192 ~x1311223+4096 ~x1311222+2048 ~x1311221+1024 ~x1311220+512 ~x1311219+256 ~x1311218+128 ~x1311217+64 ~x1311216+32 ~x1311215+16 ~x1311214+8 ~x1311213+4 ~x1311212+2 ~x1311211+1 ~x1311210+536870912 ~x1261+268435456 ~x1260+134217728 ~x1259+67108864 ~x1258+33554432 ~x1257+16777216 ~x1256+8388608 ~x1255+4194304 ~x1254+2097152 ~x1253+1048576 ~x1252+524288 ~x1251+262144 ~x1250+131072 ~x1249+65536 ~x1248+32768 ~x1247+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+536870912 x1171+268435456 x1170+134217728 x1169+67108864 x1168+33554432 x1167+16777216 x1166+8388608 x1165+4194304 x1164+2097152 x1163+1048576 x1162+524288 x1161+262144 x1160+131072 x1159+65536 x1158+32768 x1157+16384 x1156+8192 x1155+4096 x1154+2048 x1153+1024 x1152+512 x1151+256 x1150+128 x1149+64 x1148+32 x1147+16 x1146+8 x1145+4 x1144+2 x1143+1 x1142-0=2147483646
30.88/30.92	c 536870912 ~x1342982+268435456 ~x1342981+134217728 ~x1342980+67108864 ~x1342979+33554432 ~x1342978+16777216 ~x1342977+8388608 ~x1342976+4194304 ~x1342975+2097152 ~x1342974+1048576 ~x1342973+524288 ~x1342972+262144 ~x1342971+131072 ~x1342970+65536 ~x1342969+32768 ~x1342968+16384 ~x1342967+8192 ~x1342966+4096 ~x1342965+2048 ~x1342964+1024 ~x1342963+512 ~x1342962+256 ~x1342961+128 ~x1342960+64 ~x1342959+32 ~x1342958+16 ~x1342957+8 ~x1342956+4 ~x1342955+2 ~x1342954+1 ~x1342953+536870912 ~x1291+268435456 ~x1290+134217728 ~x1289+67108864 ~x1288+33554432 ~x1287+16777216 ~x1286+8388608 ~x1285+4194304 ~x1284+2097152 ~x1283+1048576 ~x1282+524288 ~x1281+262144 ~x1280+131072 ~x1279+65536 ~x1278+32768 ~x1277+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+536870912 x1201+268435456 x1200+134217728 x1199+67108864 x1198+33554432 x1197+16777216 x1196+8388608 x1195+4194304 x1194+2097152 x1193+1048576 x1192+524288 x1191+262144 x1190+131072 x1189+65536 x1188+32768 x1187+16384 x1186+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=2147483646
31.57/31.65	c 536870912 ~x1374725+268435456 ~x1374724+134217728 ~x1374723+67108864 ~x1374722+33554432 ~x1374721+16777216 ~x1374720+8388608 ~x1374719+4194304 ~x1374718+2097152 ~x1374717+1048576 ~x1374716+524288 ~x1374715+262144 ~x1374714+131072 ~x1374713+65536 ~x1374712+32768 ~x1374711+16384 ~x1374710+8192 ~x1374709+4096 ~x1374708+2048 ~x1374707+1024 ~x1374706+512 ~x1374705+256 ~x1374704+128 ~x1374703+64 ~x1374702+32 ~x1374701+16 ~x1374700+8 ~x1374699+4 ~x1374698+2 ~x1374697+1 ~x1374696+536870912 ~x1321+268435456 ~x1320+134217728 ~x1319+67108864 ~x1318+33554432 ~x1317+16777216 ~x1316+8388608 ~x1315+4194304 ~x1314+2097152 ~x1313+1048576 ~x1312+524288 ~x1311+262144 ~x1310+131072 ~x1309+65536 ~x1308+32768 ~x1307+16384 ~x1306+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292+536870912 x1231+268435456 x1230+134217728 x1229+67108864 x1228+33554432 x1227+16777216 x1226+8388608 x1225+4194304 x1224+2097152 x1223+1048576 x1222+524288 x1221+262144 x1220+131072 x1219+65536 x1218+32768 x1217+16384 x1216+8192 x1215+4096 x1214+2048 x1213+1024 x1212+512 x1211+256 x1210+128 x1209+64 x1208+32 x1207+16 x1206+8 x1205+4 x1204+2 x1203+1 x1202-0=2147483646
32.28/32.38	c 8589934592 ~x1406472+4294967296 ~x1406471+2147483648 ~x1406470+1073741824 ~x1406469+536870912 ~x1406468+268435456 ~x1406467+134217728 ~x1406466+67108864 ~x1406465+33554432 ~x1406464+16777216 ~x1406463+8388608 ~x1406462+4194304 ~x1406461+2097152 ~x1406460+1048576 ~x1406459+524288 ~x1406458+262144 ~x1406457+131072 ~x1406456+65536 ~x1406455+32768 ~x1406454+16384 ~x1406453+8192 ~x1406452+4096 ~x1406451+2048 ~x1406450+1024 ~x1406449+512 ~x1406448+256 ~x1406447+128 ~x1406446+64 ~x1406445+32 ~x1406444+16 ~x1406443+8 ~x1406442+4 ~x1406441+2 ~x1406440+1 ~x1406439+1610612736 ~x1411+805306368 ~x1410+402653184 ~x1409+201326592 ~x1408+100663296 ~x1407+50331648 ~x1406+25165824 ~x1405+12582912 ~x1404+6291456 ~x1403+3145728 ~x1402+1572864 ~x1401+786432 ~x1400+393216 ~x1399+196608 ~x1398+98304 ~x1397+49152 ~x1396+24576 ~x1395+12288 ~x1394+6144 ~x1393+3072 ~x1392+1536 ~x1391+768 ~x1390+384 ~x1389+192 ~x1388+96 ~x1387+48 ~x1386+24 ~x1385+12 ~x1384+6 ~x1383+3 ~x1382+1610612736 ~x1381+805306368 ~x1380+402653184 ~x1379+201326592 ~x1378+100663296 ~x1377+50331648 ~x1376+25165824 ~x1375+12582912 ~x1374+6291456 ~x1373+3145728 ~x1372+1572864 ~x1371+786432 ~x1370+393216 ~x1369+196608 ~x1368+98304 ~x1367+49152 ~x1366+24576 ~x1365+12288 ~x1364+6144 ~x1363+3072 ~x1362+1536 ~x1361+768 ~x1360+384 ~x1359+192 ~x1358+96 ~x1357+48 ~x1356+24 ~x1355+12 ~x1354+6 ~x1353+3 ~x1352+1610612736 ~x1351+805306368 ~x1350+402653184 ~x1349+201326592 ~x1348+100663296 ~x1347+50331648 ~x1346+25165824 ~x1345+12582912 ~x1344+6291456 ~x1343+3145728 ~x1342+1572864 ~x1341+786432 ~x1340+393216 ~x1339+196608 ~x1338+98304 ~x1337+49152 ~x1336+24576 ~x1335+12288 ~x1334+6144 ~x1333+3072 ~x1332+1536 ~x1331+768 ~x1330+384 ~x1329+192 ~x1328+96 ~x1327+48 ~x1326+24 ~x1325+12 ~x1324+6 ~x1323+3 ~x1322+536870912 x1261+268435456 x1260+134217728 x1259+67108864 x1258+33554432 x1257+16777216 x1256+8388608 x1255+4194304 x1254+2097152 x1253+1048576 x1252+524288 x1251+262144 x1250+131072 x1249+65536 x1248+32768 x1247+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=26843238390
33.88/33.93	c 1073741824 ~x1474782+536870912 ~x1474781+268435456 ~x1474780+134217728 ~x1474779+67108864 ~x1474778+33554432 ~x1474777+16777216 ~x1474776+8388608 ~x1474775+4194304 ~x1474774+2097152 ~x1474773+1048576 ~x1474772+524288 ~x1474771+262144 ~x1474770+131072 ~x1474769+65536 ~x1474768+32768 ~x1474767+16384 ~x1474766+8192 ~x1474765+4096 ~x1474764+2048 ~x1474763+1024 ~x1474762+512 ~x1474761+256 ~x1474760+128 ~x1474759+64 ~x1474758+32 ~x1474757+16 ~x1474756+8 ~x1474755+4 ~x1474754+2 ~x1474753+1 ~x1474752+1342177280 x1290+671088640 x1289+335544320 x1288+167772160 x1287+83886080 x1286+41943040 x1285+20971520 x1284+10485760 x1283+5242880 x1282+2621440 x1281+1310720 x1280+655360 x1279+327680 x1278+163840 x1277+81920 x1276+40960 x1275+20480 x1274+10240 x1273+5120 x1272+2560 x1271+1280 x1270+640 x1269+320 x1268+160 x1267+80 x1266+40 x1265+20 x1264+10 x1263+5 x1262+1073741824 ~x1141+536870912 ~x1140+268435456 ~x1139+134217728 ~x1138+67108864 ~x1137+33554432 ~x1136+16777216 ~x1135+8388608 ~x1134+4194304 ~x1133+2097152 ~x1132+1048576 ~x1131+524288 ~x1130+262144 ~x1129+131072 ~x1128+65536 ~x1127+32768 ~x1126+16384 ~x1125+8192 ~x1124+4096 ~x1123+2048 ~x1122+1024 ~x1121+512 ~x1120+256 ~x1119+128 ~x1118+64 ~x1117+32 ~x1116+16 ~x1115+8 ~x1114+4 ~x1113+2 ~x1112-0=4294967293
34.78/34.82	c 2147483648 ~x1513334+1073741824 ~x1513333+536870912 ~x1513332+268435456 ~x1513331+134217728 ~x1513330+67108864 ~x1513329+33554432 ~x1513328+16777216 ~x1513327+8388608 ~x1513326+4194304 ~x1513325+2097152 ~x1513324+1048576 ~x1513323+524288 ~x1513322+262144 ~x1513321+131072 ~x1513320+65536 ~x1513319+32768 ~x1513318+16384 ~x1513317+8192 ~x1513316+4096 ~x1513315+2048 ~x1513314+1024 ~x1513313+512 ~x1513312+256 ~x1513311+128 ~x1513310+64 ~x1513309+32 ~x1513308+16 ~x1513307+8 ~x1513306+4 ~x1513305+2 ~x1513304+1 ~x1513303+2684354560 x1321+1342177280 x1320+671088640 x1319+335544320 x1318+167772160 x1317+83886080 x1316+41943040 x1315+20971520 x1314+10485760 x1313+5242880 x1312+2621440 x1311+1310720 x1310+655360 x1309+327680 x1308+163840 x1307+81920 x1306+40960 x1305+20480 x1304+10240 x1303+5120 x1302+2560 x1301+1280 x1300+640 x1299+320 x1298+160 x1297+80 x1296+40 x1295+20 x1294+10 x1293+5 x1292+1610612736 ~x1141+805306368 ~x1140+402653184 ~x1139+201326592 ~x1138+100663296 ~x1137+50331648 ~x1136+25165824 ~x1135+12582912 ~x1134+6291456 ~x1133+3145728 ~x1132+1572864 ~x1131+786432 ~x1130+393216 ~x1129+196608 ~x1128+98304 ~x1127+49152 ~x1126+24576 ~x1125+12288 ~x1124+6144 ~x1123+3072 ~x1122+1536 ~x1121+768 ~x1120+384 ~x1119+192 ~x1118+96 ~x1117+48 ~x1116+24 ~x1115+12 ~x1114+6 ~x1113+3 ~x1112-0=7516192764
36.18/36.29	c 4294967296 ~x1576125+2147483648 ~x1576124+1073741824 ~x1576123+536870912 ~x1576122+268435456 ~x1576121+134217728 ~x1576120+67108864 ~x1576119+33554432 ~x1576118+16777216 ~x1576117+8388608 ~x1576116+4194304 ~x1576115+2097152 ~x1576114+1048576 ~x1576113+524288 ~x1576112+262144 ~x1576111+131072 ~x1576110+65536 ~x1576109+32768 ~x1576108+16384 ~x1576107+8192 ~x1576106+4096 ~x1576105+2048 ~x1576104+1024 ~x1576103+512 ~x1576102+256 ~x1576101+128 ~x1576100+64 ~x1576099+32 ~x1576098+16 ~x1576097+8 ~x1576096+4 ~x1576095+2 ~x1576094+1 ~x1576093+1610612736 ~x1411+805306368 ~x1410+402653184 ~x1409+201326592 ~x1408+100663296 ~x1407+50331648 ~x1406+25165824 ~x1405+12582912 ~x1404+6291456 ~x1403+3145728 ~x1402+1572864 ~x1401+786432 ~x1400+393216 ~x1399+196608 ~x1398+98304 ~x1397+49152 ~x1396+24576 ~x1395+12288 ~x1394+6144 ~x1393+3072 ~x1392+1536 ~x1391+768 ~x1390+384 ~x1389+192 ~x1388+96 ~x1387+48 ~x1386+24 ~x1385+12 ~x1384+6 ~x1383+3 ~x1382+1610612736 ~x1381+805306368 ~x1380+402653184 ~x1379+201326592 ~x1378+100663296 ~x1377+50331648 ~x1376+25165824 ~x1375+12582912 ~x1374+6291456 ~x1373+3145728 ~x1372+1572864 ~x1371+786432 ~x1370+393216 ~x1369+196608 ~x1368+98304 ~x1367+49152 ~x1366+24576 ~x1365+12288 ~x1364+6144 ~x1363+3072 ~x1362+1536 ~x1361+768 ~x1360+384 ~x1359+192 ~x1358+96 ~x1357+48 ~x1356+24 ~x1355+12 ~x1354+6 ~x1353+3 ~x1352+3758096384 x1351+1879048192 x1350+939524096 x1349+469762048 x1348+234881024 x1347+117440512 x1346+58720256 x1345+29360128 x1344+14680064 x1343+7340032 x1342+3670016 x1341+1835008 x1340+917504 x1339+458752 x1338+229376 x1337+114688 x1336+57344 x1335+28672 x1334+14336 x1333+7168 x1332+3584 x1331+1792 x1330+896 x1329+448 x1328+224 x1327+112 x1326+56 x1325+28 x1324+14 x1323+7 x1322-0=15032385529
37.38/37.49	c 1073741824 ~x1629480+536870912 ~x1629479+268435456 ~x1629478+134217728 ~x1629477+67108864 ~x1629476+33554432 ~x1629475+16777216 ~x1629474+8388608 ~x1629473+4194304 ~x1629472+2097152 ~x1629471+1048576 ~x1629470+524288 ~x1629469+262144 ~x1629468+131072 ~x1629467+65536 ~x1629466+32768 ~x1629465+16384 ~x1629464+8192 ~x1629463+4096 ~x1629462+2048 ~x1629461+1024 ~x1629460+512 ~x1629459+256 ~x1629458+128 ~x1629457+64 ~x1629456+32 ~x1629455+16 ~x1629454+8 ~x1629453+4 ~x1629452+2 ~x1629451+1 ~x1629450+1073741824 ~x1441+536870912 ~x1440+268435456 ~x1439+134217728 ~x1438+67108864 ~x1437+33554432 ~x1436+16777216 ~x1435+8388608 ~x1434+4194304 ~x1433+2097152 ~x1432+1048576 ~x1431+524288 ~x1430+262144 ~x1429+131072 ~x1428+65536 ~x1427+32768 ~x1426+16384 ~x1425+8192 ~x1424+4096 ~x1423+2048 ~x1422+1024 ~x1421+512 ~x1420+256 ~x1419+128 ~x1418+64 ~x1417+32 ~x1416+16 ~x1415+8 ~x1414+4 ~x1413+2 ~x1412+1342177280 x1380+671088640 x1379+335544320 x1378+167772160 x1377+83886080 x1376+41943040 x1375+20971520 x1374+10485760 x1373+5242880 x1372+2621440 x1371+1310720 x1370+655360 x1369+327680 x1368+163840 x1367+81920 x1366+40960 x1365+20480 x1364+10240 x1363+5120 x1362+2560 x1361+1280 x1360+640 x1359+320 x1358+160 x1357+80 x1356+40 x1355+20 x1354+10 x1353+5 x1352-0=4294967293
38.28/38.36	c 2147483648 ~x1667684+1073741824 ~x1667683+536870912 ~x1667682+268435456 ~x1667681+134217728 ~x1667680+67108864 ~x1667679+33554432 ~x1667678+16777216 ~x1667677+8388608 ~x1667676+4194304 ~x1667675+2097152 ~x1667674+1048576 ~x1667673+524288 ~x1667672+262144 ~x1667671+131072 ~x1667670+65536 ~x1667669+32768 ~x1667668+16384 ~x1667667+8192 ~x1667666+4096 ~x1667665+2048 ~x1667664+1024 ~x1667663+512 ~x1667662+256 ~x1667661+128 ~x1667660+64 ~x1667659+32 ~x1667658+16 ~x1667657+8 ~x1667656+4 ~x1667655+2 ~x1667654+1 ~x1667653+1610612736 ~x1441+805306368 ~x1440+402653184 ~x1439+201326592 ~x1438+100663296 ~x1437+50331648 ~x1436+25165824 ~x1435+12582912 ~x1434+6291456 ~x1433+3145728 ~x1432+1572864 ~x1431+786432 ~x1430+393216 ~x1429+196608 ~x1428+98304 ~x1427+49152 ~x1426+24576 ~x1425+12288 ~x1424+6144 ~x1423+3072 ~x1422+1536 ~x1421+768 ~x1420+384 ~x1419+192 ~x1418+96 ~x1417+48 ~x1416+24 ~x1415+12 ~x1414+6 ~x1413+3 ~x1412+2684354560 x1411+1342177280 x1410+671088640 x1409+335544320 x1408+167772160 x1407+83886080 x1406+41943040 x1405+20971520 x1404+10485760 x1403+5242880 x1402+2621440 x1401+1310720 x1400+655360 x1399+327680 x1398+1638

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-2674731-1276799783/watcher-2674731-1276799783 -o /tmp/evaluation-result-2674731-1276799783/solver-2674731-1276799783 -C 1800 -W 2000 -M 1800 run HOME/instance-2674731-1276799783.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.99 0.96 0.97 3/106 24233
/proc/meminfo: memFree=1892116/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0

[startup+0.10744 s]
/proc/loadavg: 0.99 0.96 0.97 3/106 24233
/proc/meminfo: memFree=1892116/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201448 s]
/proc/loadavg: 0.99 0.96 0.97 3/106 24233
/proc/meminfo: memFree=1892116/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301456 s]
/proc/loadavg: 0.99 0.96 0.97 3/106 24233
/proc/meminfo: memFree=1892116/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701492 s]
/proc/loadavg: 0.99 0.96 0.97 3/106 24233
/proc/meminfo: memFree=1892116/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50156 s]
/proc/loadavg: 0.99 0.96 0.97 2/108 24236
/proc/meminfo: memFree=1837540/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=63828 CPUtime=1.48
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 15743 0 0 0 134 14 0 0 25 0 1 0 21269791 65359872 15088 1992294400 134512640 134902295 4290721568 18446744073709551615 4159869006 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24235/statm: 15957 15088 262 96 0 15169 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 72528

[startup+3.10071 s]
/proc/loadavg: 0.99 0.96 0.97 2/108 24236
/proc/meminfo: memFree=1820428/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=89504 CPUtime=3.09
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 23077 0 0 0 291 18 0 0 25 0 1 0 21269791 91652096 21397 1992294400 134512640 134902295 4290721568 18446744073709551615 134860635 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24235/statm: 22376 21397 262 96 0 21588 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98204

[startup+6.30099 s]
/proc/loadavg: 0.99 0.96 0.97 2/108 24236
/proc/meminfo: memFree=1763512/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=151884 CPUtime=6.28
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 39116 0 0 0 603 25 0 0 25 0 1 0 21269791 155529216 36147 1992294400 134512640 134902295 4290721568 18446744073709551615 4159844912 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24235/statm: 37971 36147 262 96 0 37183 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 160584

[startup+12.7006 s]
/proc/loadavg: 0.99 0.96 0.97 2/108 24236
/proc/meminfo: memFree=1644596/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=267104 CPUtime=12.68
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 69085 0 0 0 1230 38 0 0 25 0 1 0 21269791 273514496 62735 1992294400 134512640 134902295 4290721568 18446744073709551615 134565230 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24235/statm: 66776 62735 262 96 0 65988 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 275804

[startup+25.5017 s]
/proc/loadavg: 0.99 0.96 0.97 2/108 24236
/proc/meminfo: memFree=1418668/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=495672 CPUtime=25.48
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 128564 0 0 0 2481 67 0 0 25 0 1 0 21269791 507568128 119032 1992294400 134512640 134902295 4290721568 18446744073709551615 134631158 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/24235/statm: 123918 119032 262 96 0 123130 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 504372

[startup+51.101 s]
/proc/loadavg: 0.99 0.96 0.97 2/108 24236
/proc/meminfo: memFree=1155916/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=760280 CPUtime=51.06
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 193694 0 2 0 5009 97 0 0 25 0 1 0 21269791 778526720 183745 1992294400 134512640 134902295 4290721568 18446744073709551615 4159863806 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 190070 183745 269 96 0 189282 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 768980

[startup+102.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24238
/proc/meminfo: memFree=1147484/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=768624 CPUtime=102.25
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 195755 0 2 0 10126 99 0 0 25 0 1 0 21269791 787070976 185806 1992294400 134512640 134902295 4290721568 18446744073709551615 4159875198 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 192156 185806 269 96 0 191368 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 777324

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24240
/proc/meminfo: memFree=1137192/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=778824 CPUtime=162.23
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 198323 0 2 0 16120 103 0 0 25 0 1 0 21269791 797515776 188374 1992294400 134512640 134902295 4290721568 18446744073709551615 4159858635 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 194706 188374 269 96 0 193918 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 787524

[startup+222.308 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24242
/proc/meminfo: memFree=1130868/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=785144 CPUtime=222.22
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 199878 0 2 0 22117 105 0 0 25 0 1 0 21269791 803987456 189929 1992294400 134512640 134902295 4290721568 18446744073709551615 4159875548 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 196286 189929 269 96 0 195498 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 793844

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24242
/proc/meminfo: memFree=1126156/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=789888 CPUtime=282.2
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 201043 0 2 0 28113 107 0 0 25 0 1 0 21269791 808845312 191094 1992294400 134512640 134902295 4290721568 18446744073709551615 4159868649 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 197472 191094 269 96 0 196684 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 798588

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24244
/proc/meminfo: memFree=1122312/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=793720 CPUtime=342.18
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 202016 0 2 0 34110 108 0 0 25 0 1 0 21269791 812769280 192067 1992294400 134512640 134902295 4290721568 18446744073709551615 4159844985 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 198430 192067 269 96 0 197642 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 802420

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24246
/proc/meminfo: memFree=1118344/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=797552 CPUtime=402.17
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 202971 0 2 0 40108 109 0 0 25 0 1 0 21269791 816693248 193022 1992294400 134512640 134902295 4290721568 18446744073709551615 4159878085 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 199388 193022 269 96 0 198600 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 806252

[startup+462.302 s]

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

/proc/24235/statm: 213345 206959 269 96 0 212557 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 862080

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24266
/proc/meminfo: memFree=1059320/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=856164 CPUtime=1181.98
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 217606 0 2 0 118070 128 0 0 25 0 1 0 21269791 876711936 207657 1992294400 134512640 134902295 4290721568 18446744073709551615 4159863641 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 214041 207657 269 96 0 213253 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 864864

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24268
/proc/meminfo: memFree=1056220/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=858940 CPUtime=1241.96
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 218293 0 2 0 124067 129 0 0 25 0 1 0 21269791 879554560 208344 1992294400 134512640 134902295 4290721568 18446744073709551615 4159878039 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 214735 208344 269 96 0 213947 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 867640

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24270
/proc/meminfo: memFree=1050144/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=865436 CPUtime=1301.95
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 219824 0 2 0 130064 131 0 0 25 0 1 0 21269791 886206464 209875 1992294400 134512640 134902295 4290721568 18446744073709551615 4159864054 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 216359 209875 269 96 0 215571 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 874136

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24272
/proc/meminfo: memFree=1044316/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=871000 CPUtime=1361.93
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 221242 0 2 0 136061 132 0 0 25 0 1 0 21269791 891904000 211293 1992294400 134512640 134902295 4290721568 18446744073709551615 4159875206 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 217750 211293 269 96 0 216962 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 879700

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24274
/proc/meminfo: memFree=1036132/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=879060 CPUtime=1421.93
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 223297 0 2 0 142058 135 0 0 25 0 1 0 21269791 900157440 213348 1992294400 134512640 134902295 4290721568 18446744073709551615 4159845032 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 219765 213348 269 96 0 218977 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 887760

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24283
/proc/meminfo: memFree=1026088/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=888716 CPUtime=1481.89
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 225707 0 2 0 148051 138 0 0 25 0 1 0 21269791 910045184 215758 1992294400 134512640 134902295 4290721568 18446744073709551615 4159863996 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 222179 215758 269 96 0 221391 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 897416

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24285
/proc/meminfo: memFree=1020756/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=894024 CPUtime=1541.89
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 227052 0 2 0 154049 140 0 0 25 0 1 0 21269791 915480576 217103 1992294400 134512640 134902295 4290721568 18446744073709551615 4159863988 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 223506 217103 269 96 0 222718 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 902724

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24287
/proc/meminfo: memFree=1012696/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=902232 CPUtime=1601.87
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 229096 0 2 0 160045 142 0 0 25 0 1 0 21269791 923885568 219147 1992294400 134512640 134902295 4290721568 18446744073709551615 4159878053 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 225558 219147 269 96 0 224770 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 910932

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24289
/proc/meminfo: memFree=1005752/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=909016 CPUtime=1661.86
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 230798 0 2 0 166041 145 0 0 25 0 1 0 21269791 930832384 220849 1992294400 134512640 134902295 4290721568 18446744073709551615 4159875418 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 227254 220849 269 96 0 226466 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 917716

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24291
/proc/meminfo: memFree=997940/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=916824 CPUtime=1721.84
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 232770 0 2 0 172037 147 0 0 25 0 1 0 21269791 938827776 222821 1992294400 134512640 134902295 4290721568 18446744073709551615 4159876277 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 229206 222821 269 96 0 228418 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 925524

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24291
/proc/meminfo: memFree=990748/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=923844 CPUtime=1781.82
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 234530 0 2 0 178033 149 0 0 25 0 1 0 21269791 946016256 224581 1992294400 134512640 134902295 4290721568 18446744073709551615 4159857528 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 230961 224581 269 96 0 230173 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 932544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 24293
/proc/meminfo: memFree=988516/2059040 swapFree=4140088/4192956
[pid=24233] ppid=24231 vsize=8700 CPUtime=0
/proc/24233/stat : 24233 (run) S 24231 24233 23863 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 21269790 8908800 251 1992294400 4194304 4922060 140736863504176 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24233/statm: 2175 251 211 178 0 68 0
[pid=24235] ppid=24233 vsize=925996 CPUtime=1800.03
/proc/24235/stat : 24235 (PBPASSolver) R 24233 24233 23863 0 -1 4202496 235072 0 2 0 179853 150 0 0 25 0 1 0 21269791 948219904 225123 1992294400 134512640 134902295 4290721568 18446744073709551615 7493116 0 0 4096 17608 0 0 0 17 1 0 0 1
/proc/24235/statm: 231499 225123 269 96 0 230711 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 934696

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 24233 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=3999
# CPU time returned by wait4() is 0.003999
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1798.53
CPU system time (s): 1.5
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 934696

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

runsolver used 2.91856 second user time and 8.5577 second system time

The end

Launcher Data 

Begin job on node051 at 2010-06-17 20:36:23
IDJOB=2674731
IDBENCH=2407
IDSOLVER=1174
FILE ID=node051/2674731-1276799783
PBS_JOBID= 11176667
Free space on /tmp= 62564 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50b.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674731-1276799783/watcher-2674731-1276799783 -o /tmp/evaluation-result-2674731-1276799783/solver-2674731-1276799783 -C 1800 -W 2000 -M 1800  run HOME/instance-2674731-1276799783.opb

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

MD5SUM BENCH= 9d5a30d09d178b709a3b68b215f432fe
RANDOM SEED=1815309829

node051.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.255
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.51
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.255
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1892636 kB
Buffers:          2952 kB
Cached:          79120 kB
SwapCached:       5384 kB
Active:          43772 kB
Inactive:        50320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1892636 kB
SwapTotal:     4192956 kB
SwapFree:      4140088 kB
Dirty:             820 kB
Writeback:           0 kB
AnonPages:       10668 kB
Mapped:          12756 kB
Slab:            50652 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182812 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= 62564 MiB
End job on node051 at 2010-06-17 21:06:26