Trace number 2674168

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mas74.opb
MD5SUMd879f5802b2059e72ece8e718d439f85
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark54886400640
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 52428797515
Optimality of the best value was proved NO
Number of variables240
Total number of constraints14
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 constraints13
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 2417851639229258350773194212202779
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.26	c 240 14 0 0 0 0 0 0
0.00/0.26	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.69/7.73	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=385
7.98/8.00	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+821600000000 x238+2445655410640 x236+902000000000 x235+1861600000000 x234+780000000000 x233+1890888474480 x232+1179600000000 x231+2957200000000 x230+3048800000000 x229+1163600000000 x228+2804000000000 x227+494400000000 x226+3536400000000 x225+2444800000000 x224+3532000000000 x221+634000000000 x220+1164800000000 x219+1518000000000 x218+1458800000000 x217+1751200000000 x216+1361038519080 x215+224238519080 x214+1907970807720 x213+1837200000000 x212+1771600000000 x211+1802400000000 x210+611600000000 x209+1316400000000 x207+1755894957320 x203+767600000000 x202+2142000000000 x201+1902800000000 x200+1268771729520 x199+1090491046480 x197+1682000000000 x196+1558000000000 x195+712800000000 x194+2014400000000 x193+1069190292400 x192+3232000000000 x191+1416400000000 x190+3205200000000 x189+1014400000000 x188+2282649447680 x187+3370000000000 x186+3268800000000 x185+2095600000000 x183+1421200000000 x182+1304400000000 x181+3522800000000 x180+1846400000000 x179+1938400000000 x178+1136800000000 x177+1150400000000 x176+878800000000 x175+590998534200 x174+1456400000000 x173+1511600000000 x172+2752000000000 x171+2419600000000 x169+1579200000000 x168+2164000000000 x167+1147600000000 x166+421200000000 x164+2015881819400 x162+1556609529280 x161+1458800000000 x160+1860808616560 x159+2852400000000 x158+1054800000000 x157+1840000000000 x156+3692800000000 x155+2135600000000 x154+3485200000000 x153+632800000000 x152+2281600000000 x151+2725809529280 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+2354800000000 x59+1934400000000 x57+2518000000000 x55+382723753684 x54+632800000000 x53+1988000000000 x52+2441200000000 x51+3242800000000 x50+1968000000000 x49+1540598534200 x48+3214800000000 x47+658000000000 x46+231802653572 x45+974510821320 x44+798400000000 x43+1113652998880 x42+3750400000000 x41+3931200000000 x40+548000000000 x39+1816000000000 x38+786400000000 x37+1308162333200 x36+3000800000000 x35+1625200000000 x34+1066000000000 x33+1173200000000 x32+2745200000000 x30+1862000000000 x29+2822400000000 x27+1436000000000 x24+1154600912720 x23+1860808616560 x22+1849758491880 x21+3935200000000 x20+3428000000000 x19+2507200000000 x18+1308281819400 x17+1388954526640 x15+495600000000 x14+2976000000000 x13+2527200000000 x12+1169200000000 x11+1862000000000 x10+1053200000000 x9+723104392880 x7+2166000000000 x6+1449600000000 x5+1589600000000 x4+2838800000000 x3+1705600000000 x2-0=117489589685663
11.19/11.29	c 4398046511104 ~x531060+2199023255552 ~x531059+1099511627776 ~x531058+549755813888 ~x531057+274877906944 ~x531056+137438953472 ~x531055+68719476736 ~x531054+34359738368 ~x531053+17179869184 ~x531052+8589934592 ~x531051+4294967296 ~x531050+2147483648 ~x531049+1073741824 ~x531048+536870912 ~x531047+268435456 ~x531046+134217728 ~x531045+67108864 ~x531044+33554432 ~x531043+16777216 ~x531042+8388608 ~x531041+4194304 ~x531040+2097152 ~x531039+1048576 ~x531038+524288 ~x531037+262144 ~x531036+131072 ~x531035+65536 ~x531034+32768 ~x531033+16384 ~x531032+8192 ~x531031+4096 ~x531030+2048 ~x531029+1024 ~x531028+512 ~x531027+256 ~x531026+128 ~x531025+64 ~x531024+32 ~x531023+16 ~x531022+8 ~x531021+4 ~x531020+2 ~x531019+1 ~x531018+227360000000 x241+258720000000 x240+534560000000 x239+164320000000 x238+619520000000 x237+568320000000 x236+180400000000 x235+95040000000 x234+156000000000 x233+404294806296 x232+235920000000 x231+609760000000 x229+232720000000 x228+560800000000 x227+98880000000 x226+435600000000 x222+126800000000 x220+232960000000 x219+303600000000 x218+291760000000 x217+350240000000 x216+330126973088 x215+276221187920 x214+229163375432 x213+367440000000 x212+354320000000 x211+360480000000 x210+122320000000 x209+586240000000 x208+263280000000 x207+668160000000 x206+634144721944 x205+587280000000 x204+467701936616 x203+153520000000 x202+428400000000 x201+202880000000 x200+396946498264 x199+584800000000 x198+621760000000 x197+336400000000 x196+311600000000 x195+142560000000 x194+402880000000 x193+541360000000 x192+646400000000 x191+202880000000 x188+480597914288 x187+256287736616 x186+653760000000 x185+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+248294806296 x171+483920000000 x169+315840000000 x168+229520000000 x166+363200000000 x165+84240000000 x164+445728055432 x162+241050930000 x161+291760000000 x160+151937680872 x159+413358394040 x158+210960000000 x157+368000000000 x156+738560000000 x155+427120000000 x154+126560000000 x152+456320000000 x151+540410930000 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+469559323432 x56+339159973248 x55+491680000000 x54+126560000000 x53+397600000000 x52+648560000000 x50+393600000000 x49+272060904856 x48+131600000000 x46+425600000000 x44+159680000000 x43+384228404200 x42+594871482800 x40+109600000000 x39+363200000000 x38+157280000000 x37+103031989296 x36+600160000000 x35+325040000000 x34+213200000000 x33+234640000000 x32+425580542808 x31+628000000000 x29+564480000000 x27+413184721944 x25+164596624568 x24+393760000000 x23+151937680872 x22+390080000000 x21+414400000000 x20+570640000000 x19+366025193704 x18+404000000000 x17+667360000000 x16+366320000000 x15+99120000000 x14+505440000000 x12+233840000000 x11+372400000000 x10+210640000000 x9+424984514208 x8+179680000000 x7+289920000000 x5+317920000000 x4+341120000000 x2-0=16630813022207
13.98/14.05	c 17592186044416 ~x664374+8796093022208 ~x664373+4398046511104 ~x664372+2199023255552 ~x664371+1099511627776 ~x664370+549755813888 ~x664369+274877906944 ~x664368+137438953472 ~x664367+68719476736 ~x664366+34359738368 ~x664365+17179869184 ~x664364+8589934592 ~x664363+4294967296 ~x664362+2147483648 ~x664361+1073741824 ~x664360+536870912 ~x664359+268435456 ~x664358+134217728 ~x664357+67108864 ~x664356+33554432 ~x664355+16777216 ~x664354+8388608 ~x664353+4194304 ~x664352+2097152 ~x664351+1048576 ~x664350+524288 ~x664349+262144 ~x664348+131072 ~x664347+65536 ~x664346+32768 ~x664345+16384 ~x664344+8192 ~x664343+4096 ~x664342+2048 ~x664341+1024 ~x664340+512 ~x664339+256 ~x664338+128 ~x664337+64 ~x664336+32 ~x664335+16 ~x664334+8 ~x664333+4 ~x664332+2 ~x664331+1 ~x664330+841329729720 x241+1293600000000 x240+1845405405400 x239+821600000000 x238+1281037837840 x237+2841600000000 x236+902000000000 x235+1861600000000 x234+780000000000 x233+2558664864880 x232+1179600000000 x231+2957200000000 x230+1163600000000 x228+529600000000 x227+494400000000 x226+2444800000000 x224+3532000000000 x221+634000000000 x220+1164800000000 x219+1518000000000 x218+1458800000000 x217+612108108120 x216+1846135135120 x215+612108108120 x214+1837200000000 x212+1771600000000 x211+1771600000000 x210+611600000000 x209+2695718918920 x208+1316400000000 x207+864183783800 x206+2912583783800 x205+2075356756760 x204+2406832432440 x203+767600000000 x202+2142000000000 x201+2367913513520 x199+3108800000000 x197+1682000000000 x196+1558000000000 x195+712800000000 x194+2014400000000 x193+168264864864 x190+1182664864880 x189+1014400000000 x188+2649016216200 x187+403778378360 x186+403778378360 x185+1066000000000 x183+1421200000000 x182+1304400000000 x181+3522800000000 x180+1846400000000 x179+1938400000000 x178+841329729720 x177+1150400000000 x176+878800000000 x175+1957967567560 x174+1456400000000 x173+1511600000000 x172+1778664864880 x171+2195486486480 x170+1579200000000 x168+2114800000000 x167+421200000000 x166+421200000000 x164+1176070270280 x162+168745945944 x161+1458800000000 x160+525200000000 x158+1054800000000 x157+1614000000000 x156+632800000000 x152+2281600000000 x151+168745945944 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+777070270280 x56+2518000000000 x55+2458400000000 x54+632800000000 x53+1988000000000 x52+899054054040 x51+1424718918920 x50+1968000000000 x49+3186864864880 x48+3214800000000 x47+658000000000 x46+110000000000 x45+556032432440 x44+798400000000 x43+1816000000000 x41+548000000000 x39+1816000000000 x38+786400000000 x37+846691891880 x36+1608000000000 x34+1066000000000 x33+1173200000000 x32+3742400000000 x31+2745200000000 x30+3140000000000 x29+3654400000000 x28+1450286486480 x26+2084000000000 x25+746578378360 x24+1290054054040 x23+2507200000000 x18+440800000000 x17+3336800000000 x16+1831600000000 x15+495600000000 x14+1169200000000 x11+167383783784 x10+293172972972 x9+2157172972960 x8+632800000000 x7+1449600000000 x5+1589600000000 x4+836459459440 x3+612108108120 x2-0=69239172088831
16.68/16.77	c 35184372088832 ~x795058+17592186044416 ~x795057+8796093022208 ~x795056+4398046511104 ~x795055+2199023255552 ~x795054+1099511627776 ~x795053+549755813888 ~x795052+274877906944 ~x795051+137438953472 ~x795050+68719476736 ~x795049+34359738368 ~x795048+17179869184 ~x795047+8589934592 ~x795046+4294967296 ~x795045+2147483648 ~x795044+1073741824 ~x795043+536870912 ~x795042+268435456 ~x795041+134217728 ~x795040+67108864 ~x795039+33554432 ~x795038+16777216 ~x795037+8388608 ~x795036+4194304 ~x795035+2097152 ~x795034+1048576 ~x795033+524288 ~x795032+262144 ~x795031+131072 ~x795030+65536 ~x795029+32768 ~x795028+16384 ~x795027+8192 ~x795026+4096 ~x795025+2048 ~x795024+1024 ~x795023+512 ~x795022+256 ~x795021+128 ~x795020+64 ~x795019+32 ~x795018+16 ~x795017+8 ~x795016+4 ~x795015+2 ~x795014+1 ~x795013+1136800000000 x241+1293600000000 x240+678605128200 x239+821600000000 x238+3097600000000 x237+902000000000 x235+1861600000000 x234+1179600000000 x231+2957200000000 x230+1163600000000 x228+2804000000000 x227+494400000000 x226+3536400000000 x225+2178000000000 x222+156374358976 x221+634000000000 x220+1164800000000 x219+1518000000000 x218+1458800000000 x217+1751200000000 x216+2961600000000 x215+3096374358960 x214+3655200000000 x213+1837200000000 x212+1771600000000 x211+1802400000000 x210+611600000000 x209+1316400000000 x207+3340800000000 x206+3416400000000 x205+1198041025640 x204+767600000000 x202+2142000000000 x201+630617948720 x200+3730400000000 x199+2924000000000 x198+1682000000000 x196+1558000000000 x195+712800000000 x194+2014400000000 x193+303843589744 x192+3232000000000 x191+1416400000000 x190+1107200000000 x189+1014400000000 x188+2828610256400 x187+1066000000000 x183+1421200000000 x182+1304400000000 x181+1106087179480 x179+1938400000000 x178+1136800000000 x177+1150400000000 x176+878800000000 x175+2226800000000 x174+1456400000000 x173+1511600000000 x172+355200000000 x170+1579200000000 x168+992287179480 x167+3304000000000 x165+421200000000 x164+2259761538480 x163+428161538480 x162+1000458974360 x161+1458800000000 x160+664846153840 x158+1054800000000 x157+1173415384600 x156+2135600000000 x154+3485200000000 x153+457815384600 x152+2281600000000 x151+1236528205120 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+3270800000000 x56+2518000000000 x55+1575600000000 x54+632800000000 x53+1458800000000 x52+1968000000000 x49+173200000000 x48+658000000000 x46+550712820520 x45+2128000000000 x44+798400000000 x43+326774358976 x42+3750400000000 x41+548000000000 x39+1816000000000 x38+786400000000 x37+1755200000000 x36+2542358974360 x35+1625200000000 x34+1066000000000 x33+1173200000000 x32+3177471794880 x31+2745200000000 x30+3140000000000 x29+1422225641040 x27+2860800000000 x26+572512820520 x25+359979487180 x24+696602564120 x23+768289743600 x21+827558974360 x20+1887633333320 x18+1459471794880 x17+1378000000000 x16+1831600000000 x15+495600000000 x14+560851282040 x13+2527200000000 x12+1169200000000 x11+276400000000 x10+1053200000000 x9+898400000000 x7+1449600000000 x5+1068112820520 x4+495600000000 x3+1705600000000 x2-0=108112144177663
19.88/19.91	c 35184372088832 ~x946432+17592186044416 ~x946431+8796093022208 ~x946430+4398046511104 ~x946429+2199023255552 ~x946428+1099511627776 ~x946427+549755813888 ~x946426+274877906944 ~x946425+137438953472 ~x946424+68719476736 ~x946423+34359738368 ~x946422+17179869184 ~x946421+8589934592 ~x946420+4294967296 ~x946419+2147483648 ~x946418+1073741824 ~x946417+536870912 ~x946416+268435456 ~x946415+134217728 ~x946414+67108864 ~x946413+33554432 ~x946412+16777216 ~x946411+8388608 ~x946410+4194304 ~x946409+2097152 ~x946408+1048576 ~x946407+524288 ~x946406+262144 ~x946405+131072 ~x946404+65536 ~x946403+32768 ~x946402+16384 ~x946401+8192 ~x946400+4096 ~x946399+2048 ~x946398+1024 ~x946397+512 ~x946396+256 ~x946395+128 ~x946394+64 ~x946393+32 ~x946392+16 ~x946391+8 ~x946390+4 ~x946389+2 ~x946388+1 ~x946387+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
23.48/23.55	c 35184372088832 ~x1122028+17592186044416 ~x1122027+8796093022208 ~x1122026+4398046511104 ~x1122025+2199023255552 ~x1122024+1099511627776 ~x1122023+549755813888 ~x1122022+274877906944 ~x1122021+137438953472 ~x1122020+68719476736 ~x1122019+34359738368 ~x1122018+17179869184 ~x1122017+8589934592 ~x1122016+4294967296 ~x1122015+2147483648 ~x1122014+1073741824 ~x1122013+536870912 ~x1122012+268435456 ~x1122011+134217728 ~x1122010+67108864 ~x1122009+33554432 ~x1122008+16777216 ~x1122007+8388608 ~x1122006+4194304 ~x1122005+2097152 ~x1122004+1048576 ~x1122003+524288 ~x1122002+262144 ~x1122001+131072 ~x1122000+65536 ~x1121999+32768 ~x1121998+16384 ~x1121997+8192 ~x1121996+4096 ~x1121995+2048 ~x1121994+1024 ~x1121993+512 ~x1121992+256 ~x1121991+128 ~x1121990+64 ~x1121989+32 ~x1121988+16 ~x1121987+8 ~x1121986+4 ~x1121985+2 ~x1121984+1 ~x1121983+465948164440 x241+1293600000000 x240+2672800000000 x239+821600000000 x238+2974018787480 x237+2841600000000 x236+902000000000 x235+1861600000000 x234+780000000000 x233+2753332565280 x232+1179600000000 x231+2957200000000 x230+2136858118480 x229+1163600000000 x228+2804000000000 x227+494400000000 x226+2444800000000 x224+2178000000000 x222+3040498268040 x221+634000000000 x220+1164800000000 x219+1518000000000 x218+1458800000000 x217+1751200000000 x216+2961600000000 x215+1943083595960 x214+1837200000000 x212+1771600000000 x211+1802400000000 x210+611600000000 x209+2931200000000 x208+1316400000000 x207+2936400000000 x204+3488957472400 x203+767600000000 x202+1902800000000 x200+2924000000000 x198+3108800000000 x197+689688218320 x195+712800000000 x194+2014400000000 x193+1111537556880 x192+3232000000000 x191+1416400000000 x190+3205200000000 x189+1014400000000 x188+662313959880 x186+662313959880 x185+2666000000000 x184+2095600000000 x183+1421200000000 x182+1304400000000 x181+55889371368 x179+1938400000000 x178+465948164440 x177+1150400000000 x176+878800000000 x175+2226800000000 x174+1456400000000 x173+1511600000000 x172+2752000000000 x171+2419600000000 x169+1579200000000 x168+2164000000000 x167+1147600000000 x166+2891000000000 x165+421200000000 x164+2352000000000 x163+2266361277800 x162+2191314854440 x161+1458800000000 x160+3944400000000 x159+1002370266800 x158+1054800000000 x157+1614000000000 x156+2135600000000 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+3974400000000 x59+2849200000000 x58+2406200000000 x57+3270800000000 x56+2518000000000 x55+2458400000000 x54+632800000000 x53+1988000000000 x52+2441200000000 x51+3242800000000 x50+1968000000000 x49+1746000000000 x48+3214800000000 x47+658000000000 x46+2213519728760 x45+2128000000000 x44+798400000000 x43+951866416200 x42+548000000000 x39+1816000000000 x38+786400000000 x37+989536027960 x36+1648254593360 x35+1625200000000 x34+1066000000000 x33+1173200000000 x32+2745200000000 x30+1862000000000 x29+2822400000000 x27+2860800000000 x26+3251297726240 x25+1436000000000 x24+1968800000000 x23+3944400000000 x22+1950400000000 x21+3428000000000 x19+2507200000000 x18+2020000000000 x17+3336800000000 x16+1831600000000 x15+495600000000 x14+2976000000000 x13+2527200000000 x12+1169200000000 x11+1862000000000 x10+1053200000000 x9+632800000000 x7+2166000000000 x6+1449600000000 x5+1589600000000 x4+2161937938640 x3+1705600000000 x2-0=114371855049663
26.79/26.83	c 35184372088832 ~x1279543+17592186044416 ~x1279542+8796093022208 ~x1279541+4398046511104 ~x1279540+2199023255552 ~x1279539+1099511627776 ~x1279538+549755813888 ~x1279537+274877906944 ~x1279536+137438953472 ~x1279535+68719476736 ~x1279534+34359738368 ~x1279533+17179869184 ~x1279532+8589934592 ~x1279531+4294967296 ~x1279530+2147483648 ~x1279529+1073741824 ~x1279528+536870912 ~x1279527+268435456 ~x1279526+134217728 ~x1279525+67108864 ~x1279524+33554432 ~x1279523+16777216 ~x1279522+8388608 ~x1279521+4194304 ~x1279520+2097152 ~x1279519+1048576 ~x1279518+524288 ~x1279517+262144 ~x1279516+131072 ~x1279515+65536 ~x1279514+32768 ~x1279513+16384 ~x1279512+8192 ~x1279511+4096 ~x1279510+2048 ~x1279509+1024 ~x1279508+512 ~x1279507+256 ~x1279506+128 ~x1279505+64 ~x1279504+32 ~x1279503+16 ~x1279502+8 ~x1279501+4 ~x1279500+2 ~x1279499+1 ~x1279498+1136800000000 x241+1293600000000 x240+2672800000000 x239+821600000000 x238+3097600000000 x237+2841600000000 x236+902000000000 x235+1861600000000 x234+780000000000 x233+1179600000000 x231+3048800000000 x229+639620845840 x228+2804000000000 x227+494400000000 x226+3536400000000 x225+2444800000000 x224+2178000000000 x222+634000000000 x220+1164800000000 x219+1518000000000 x218+1458800000000 x217+1751200000000 x216+1602738141080 x215+1989039877880 x214+2761453224840 x213+1837200000000 x212+1771600000000 x211+1802400000000 x210+611600000000 x209+1316400000000 x207+3340800000000 x206+3416400000000 x205+1461078924080 x203+767600000000 x202+2142000000000 x201+810502743240 x200+2924000000000 x198+1682000000000 x196+190742708592 x195+712800000000 x194+2014400000000 x193+2052193706160 x192+203897256772 x190+1014400000000 x188+3889200000000 x187+2234981328920 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+771314636720 x171+2419600000000 x169+1579200000000 x168+2164000000000 x167+1147600000000 x166+2350716957960 x165+421200000000 x164+2352000000000 x163+636395536920 x162+3397600000000 x161+1458800000000 x160+2228837956280 x159+1049179154160 x158+1054800000000 x157+1493471119840 x156+3692800000000 x155+2135600000000 x154+3485200000000 x153+403088268960 x152+2153314636720 x151+1803200000000 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+1572830987560 x58+3456400000000 x57+2518000000000 x55+2458400000000 x54+403088268960 x53+1988000000000 x52+2441200000000 x51+1968000000000 x49+199728335644 x48+658000000000 x46+1009897122280 x45+2128000000000 x44+798400000000 x43+2577200000000 x42+3750400000000 x41+548000000000 x39+1816000000000 x38+786400000000 x37+1915199946080 x36+3000800000000 x35+1625200000000 x34+1066000000000 x33+1173200000000 x32+3742400000000 x31+2745200000000 x30+3140000000000 x29+3654400000000 x28+2822400000000 x27+2860800000000 x26+1305579154160 x25+1436000000000 x24+1968800000000 x23+2228837956280 x22+863045600800 x21+2507200000000 x18+1870804463080 x17+1831600000000 x15+495600000000 x14+2032245600800 x13+1169200000000 x11+1862000000000 x10+1053200000000 x9+3436000000000 x8+898400000000 x7+2166000000000 x6+1449600000000 x5+1589600000000 x4+2838800000000 x3+1705600000000 x2-0=115604725597663
30.08/30.10	c 140737488355328 ~x1437426+70368744177664 ~x1437425+35184372088832 ~x1437424+17592186044416 ~x1437423+8796093022208 ~x1437422+4398046511104 ~x1437421+2199023255552 ~x1437420+1099511627776 ~x1437419+549755813888 ~x1437418+274877906944 ~x1437417+137438953472 ~x1437416+68719476736 ~x1437415+34359738368 ~x1437414+17179869184 ~x1437413+8589934592 ~x1437412+4294967296 ~x1437411+2147483648 ~x1437410+1073741824 ~x1437409+536870912 ~x1437408+268435456 ~x1437407+134217728 ~x1437406+67108864 ~x1437405+33554432 ~x1437404+16777216 ~x1437403+8388608 ~x1437402+4194304 ~x1437401+2097152 ~x1437400+1048576 ~x1437399+524288 ~x1437398+262144 ~x1437397+131072 ~x1437396+65536 ~x1437395+32768 ~x1437394+16384 ~x1437393+8192 ~x1437392+4096 ~x1437391+2048 ~x1437390+1024 ~x1437389+512 ~x1437388+256 ~x1437387+128 ~x1437386+64 ~x1437385+32 ~x1437384+16 ~x1437383+8 ~x1437382+4 ~x1437381+2 ~x1437380+1 ~x1437379+5684000000000 x241+6468000000000 x240+13364000000000 x239+4108000000000 x238+4510000000000 x235+9308000000000 x234+3900000000000 x233+17660000000000 x232+5898000000000 x231+14786000000000 x230+15244000000000 x229+5818000000000 x228+2472000000000 x226+17682000000000 x225+12224000000000 x224+10890000000000 x222+3170000000000 x220+2411881265200 x219+2411881265200 x218+7294000000000 x217+8756000000000 x216+3589478832200 x215+15851317275000 x214+4973187348000 x213+1793643795620 x212+8858000000000 x211+9012000000000 x210+3058000000000 x209+14656000000000 x208+6582000000000 x207+16704000000000 x206+9310000000000 x205+14682000000000 x204+3838000000000 x202+5957287591200 x201+9514000000000 x200+16734474939200 x199+15544000000000 x197+8410000000000 x196+4132237469600 x195+3564000000000 x194+10072000000000 x193+1019882725060 x192+6673932846800 x191+7082000000000 x190+7849824817600 x189+5072000000000 x188+8984813625400 x186+8984813625400 x185+13330000000000 x184+5330000000000 x183+7106000000000 x182+6522000000000 x181+9232000000000 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+3147881265200 x166+8425160097400 x165+2106000000000 x164+11760000000000 x163+3701949878400 x162+2320031630200 x161+7294000000000 x160+4871593674000 x159+14262000000000 x158+5274000000000 x157+8070000000000 x156+10052664720200 x154+17426000000000 x153+3164000000000 x152+4599494403800 x151+9804031630200 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+14246000000000 x58+7280118734800 x56+10806395133800 x55+3164000000000 x53+9940000000000 x52+12206000000000 x51+16214000000000 x50+9840000000000 x49+5729762530400 x48+16074000000000 x47+3290000000000 x46+13508000000000 x45+9321494403800 x44+3992000000000 x43+10076433576600 x42+13365562043800 x40+2740000000000 x39+9080000000000 x38+3932000000000 x37+3347598053600 x36+15004000000000 x35+8126000000000 x34+5330000000000 x33+5866000000000 x32+18272000000000 x28+14112000000000 x27+12898000000000 x25+7180000000000 x24+9844000000000 x23+4871593674000 x22+9752000000000 x21+13662785888000 x20+12536000000000 x18+163949878346 x17+9158000000000 x15+2478000000000 x14+12636000000000 x12+5846000000000 x11+9310000000000 x10+5266000000000 x9+17180000000000 x8+3164000000000 x7+10830000000000 x6+7248000000000 x5+7948000000000 x4+14194000000000 x3+8528000000000 x2-0=497008976710655
33.38/33.44	c 35184372088832 ~x1597677+17592186044416 ~x1597676+8796093022208 ~x1597675+4398046511104 ~x1597674+2199023255552 ~x1597673+1099511627776 ~x1597672+549755813888 ~x1597671+274877906944 ~x1597670+137438953472 ~x1597669+68719476736 ~x1597668+34359738368 ~x1597667+17179869184 ~x1597666+8589934592 ~x1597665+4294967296 ~x1597664+2147483648 ~x1597663+1073741824 ~x1597662+536870912 ~x1597661+268435456 ~x1597660+134217728 ~x1597659+67108864 ~x1597658+33554432 ~x1597657+16777216 ~x1597656+8388608 ~x1597655+4194304 ~x1597654+2097152 ~x1597653+1048576 ~x1597652+524288 ~x1597651+262144 ~x1597650+131072 ~x1597649+65536 ~x1597648+32768 ~x1597647+16384 ~x1597646+8192 ~x1597645+4096 ~x1597644+2048 ~x1597643+1024 ~x1597642+512 ~x1597641+256 ~x1597640+128 ~x1597639+64 ~x1597638+32 ~x1597637+16 ~x1597636+8 ~x1597635+4 ~x1597634+2 ~x1597633+1 ~x1597632+1136800000000 x241+1293600000000 x240+821600000000 x238+902000000000 x235+1861600000000 x234+780000000000 x233+1179600000000 x231+2957200000000 x230+1163600000000 x228+494400000000 x226+2444800000000 x224+2178000000000 x222+3532000000000 x221+634000000000 x220+1164800000000 x219+1518000000000 x218+1458800000000 x217+1751200000000 x216+469749632840 x215+2021023844480 x214+3655200000000 x213+1837200000000 x212+1771600000000 x211+1802400000000 x210+611600000000 x209+2931200000000 x208+1316400000000 x207+3340800000000 x206+1862000000000 x205+2936400000000 x204+1789230928720 x203+767600000000 x202+841876155520 x200+2102600000000 x199+1682000000000 x196+1558000000000 x195+712800000000 x194+2014400000000 x193+2135168207360 x192+3232000000000 x191+1416400000000 x190+1947867861760 x189+1014400000000 x188+3889200000000 x187+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+780000000000 x171+3726800000000 x170+2419600000000 x169+1579200000000 x168+1296274211680 x167+179725788336 x166+421200000000 x164+2065000000000 x163+233400000000 x162+2998400000000 x161+1458800000000 x160+2171833174960 x159+2852400000000 x158+1054800000000 x157+1614000000000 x156+3692800000000 x155+2135600000000 x154+632800000000 x152+2281600000000 x151+1501600000000 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+3496800000000 x57+3270800000000 x56+2518000000000 x55+2458400000000 x54+632800000000 x53+1988000000000 x52+2441200000000 x51+1968000000000 x49+1746000000000 x48+658000000000 x46+543397365000 x45+2128000000000 x44+798400000000 x43+2246751317480 x42+3750400000000 x41+3931200000000 x40+548000000000 x39+1816000000000 x38+786400000000 x37+2726966479480 x36+1625200000000 x34+1066000000000 x33+1173200000000 x32+3742400000000 x31+2745200000000 x30+2860800000000 x26+990000000000 x25+1436000000000 x24+1968800000000 x23+2171833174960 x22+1950400000000 x21+3935200000000 x20+3428000000000 x19+729000000000 x18+495600000000 x17+3336800000000 x16+1831600000000 x15+495600000000 x14+695600000000 x13+2527200000000 x12+1169200000000 x11+1862000000000 x10+1053200000000 x9+898400000000 x7+2166000000000 x6+1449600000000 x5+1589600000000 x4+1705600000000 x2-0=113282323529663
36.58/36.67	c 140737488355328 ~x1753748+70368744177664 ~x1753747+35184372088832 ~x1753746+17592186044416 ~x1753745+8796093022208 ~x1753744+4398046511104 ~x1753743+2199023255552 ~x1753742+1099511627776 ~x1753741+549755813888 ~x1753740+274877906944 ~x1753739+137438953472 ~x1753738+68719476736 ~x1753737+34359738368 ~x1753736+17179869184 ~x1753735+8589934592 ~x1753734+4294967296 ~x1753733+2147483648 ~x1753732+1073741824 ~x1753731+536870912 ~x1753730+268435456 ~x1753729+134217728 ~x1753728+67108864 ~x1753727+33554432 ~x1753726+16777216 ~x1753725+8388608 ~x1753724+4194304 ~x1753723+2097152 ~x1753722+1048576 ~x1753721+524288 ~x1753720+262144 ~x1753719+131072 ~x1753718+65536 ~x1753717+32768 ~x1753716+16384 ~x1753715+8192 ~x1753714+4096 ~x1753713+2048 ~x1753712+1024 ~x1753711+512 ~x1753710+256 ~x1753709+128 ~x1753708+64 ~x1753707+32 ~x1753706+16 ~x1753705+8 ~x1753704+4 ~x1753703+2 ~x1753702+1 ~x1753701+5350561797800 x241+6468000000000 x240+4108000000000 x238+6812561797800 x237+14208000000000 x236+234067415740 x235+9308000000000 x234+3900000000000 x233+8523438202200 x232+5898000000000 x231+5818000000000 x228+14020000000000 x227+2472000000000 x226+10016494382000 x222+5100044943800 x221+3170000000000 x220+5119213483200 x219+7590000000000 x218+7294000000000 x217+8756000000000 x216+10648606741600 x215+15999168539400 x214+8545932584200 x213+8162629213400 x212+8858000000000 x211+8858000000000 x210+3058000000000 x209+6582000000000 x207+17082000000000 x205+12242101123600 x203+3838000000000 x202+4066651685400 x201+7122977528000 x200+14766000000000 x199+14620000000000 x198+14212651685400 x197+8410000000000 x196+7790000000000 x195+3564000000000 x194+10072000000000 x193+4480719101200 x192+16160000000000 x191+2148022472000 x190+14180011236000 x189+5072000000000 x188+8524752809000 x186+11755337078600 x185+10478000000000 x183+7106000000000 x182+6522000000000 x181+17614000000000 x180+9232000000000 x179+9692000000000 x178+5684000000000 x177+5752000000000 x176+4394000000000 x175+11134000000000 x174+7282000000000 x173+7558000000000 x172+4623438202200 x171+18634000000000 x170+7896000000000 x168+10820000000000 x167+5738000000000 x166+6978000000000 x165+2106000000000 x164+11760000000000 x163+8545932584200 x162+7294000000000 x160+7051393258400 x158+5274000000000 x157+9200000000000 x156+18464000000000 x155+10678000000000 x154+16342786516800 x153+3164000000000 x152+11408000000000 x151+5846000000000 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+8599123595600 x57+9388000000000 x54+3164000000000 x53+9940000000000 x52+16214000000000 x50+8792112359600 x49+7562022472000 x48+16074000000000 x47+3290000000000 x46+6538561797800 x45+10640000000000 x44+3992000000000 x43+11522202247200 x42+9323977528000 x40+2740000000000 x39+9080000000000 x38+3932000000000 x37+15839932584200 x36+10971977528000 x35+8126000000000 x34+5330000000000 x33+5866000000000 x32+18712000000000 x31+13726000000000 x30+15700000000000 x29+18643550561800 x25+1251932584260 x24+7294000000000 x23+9752000000000 x21+11227370786600 x20+7528067415800 x17+16684000000000 x16+9158000000000 x15+2478000000000 x14+12638494382000 x13+8571370786600 x12+5846000000000 x11+9310000000000 x10+81494382022 x9+17180000000000 x8+4492000000000 x7+10830000000000 x6+7248000000000 x5+7948000000000 x4+11729550561800 x3+8528000000000 x2-0=454226976710655
39.87/39.92	c 35184372088832 ~x1909853+17592186044416 ~x1909852+8796093022208 ~x1909851+4398046511104 ~x1909850+2199023255552 ~x1909849+1099511627776 ~x1909848+549755813888 ~x1909847+274877906944 ~x1909846+137438953472 ~x1909845+68719476736 ~x1909844+34359738368 ~x1909843+17179869184 ~x1909842+8589934592 ~x1909841+4294967296 ~x1909840+2147483648 ~x1909839+1073741824 ~x1909838+536870912 ~x1909837+268435456 ~x1909836+134217728 ~x1909835+67108864 ~x1909834+33554432 ~x1909833+16777216 ~x1909832+8388608 ~x1909831+4194304 ~x1909830+2097152 ~x1909829+1048576 ~x1909828+524288 ~x1909827+262144 ~x1909826+131072 ~x1909825+65536 ~x1909824+32768 ~x1909823+16384 ~x1909822+8192 ~x1909821+4096 ~x1909820+2048 ~x1909819+1024 ~x1909818+512 ~x1909817+256 ~x1909816+128 ~x1909815+64 ~x1909814+32 ~x1909813+16 ~x1909812+8 ~x1909811+4 ~x1909810+2 ~x1909809+1 ~x1909808+1136800000000 x241+1293600000000 x240+690464524640 x239+821600000000 x238+3097600000000 x237+2841600000000 x236+902000000000 x235+1861600000000 x234+780000000000 x233+1181324605160 x232+1179600000000 x231+1163600000000 x228+1163600000000 x227+494400000000 x226+3536400000000 x225+2178000000000 x222+2682800000000 x221+634000000000 x220+1164800000000 x219+1518000000000 x218+1458800000000 x217+888196562400 x216+2692724945800 x215+376194533912 x214+3655200000000 x213+1837200000000 x212+1771600000000 x211+1802400000000 x210+611600000000 x209+2931200000000 x208+1316400000000 x207+2785014803360 x205+2936400000000 x204+3979200000000 x203+767600000000 x202+2142000000000 x201+2647631124200 x199+2753600000000 x198+3108800000000 x197+1682000000000 x196+1558000000000 x195+712800000000 x194+2014400000000 x193+102831820996 x192+1416400000000 x190+2430800000000 x189+1014400000000 x188+1035720377840 x186+1035720377840 x185+1335266615040 x183+1421200000000 x182+1304400000000 x181+3522800000000 x180+1846400000000 x179+1938400000000 x178+1136800000000 x177+1150400000000 x176+878800000000 x175+2226800000000 x174+1456400000000 x173+1511600000000 x172+704937240640 x171+3726800000000 x170+1579200000000 x168+2164000000000 x167+1147600000000 x166+3304000000000 x165+421200000000 x164+2352000000000 x163+1064235692160 x162+322102105916 x161+1458800000000 x160+368916537628 x159+2852400000000 x158+1054800000000 x157+1348400000000 x156+1294659538560 x154+632800000000 x152+1668400000000 x151+1192012635480 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+2458400000000 x54+632800000000 x53+1988000000000 x52+1968000000000 x49+258800000000 x48+658000000000 x46+2416670455240 x45+2128000000000 x44+798400000000 x43+2577200000000 x42+3750400000000 x41+3931200000000 x40+548000000000 x39+1816000000000 x38+786400000000 x37+2234769464240 x36+801012867760 x35+1625200000000 x34+1066000000000 x33+1173200000000 x32+2380836203160 x29+3654400000000 x28+2860800000000 x26+1436000000000 x24+1968800000000 x23+368916537628 x22+1950400000000 x21+3935200000000 x20+3428000000000 x19+1064235692160 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+1705600000000 x2-0=113292344177663
43.08/43.15	c 140737488355328 ~x2065165+70368744177664 ~x2065164+35184372088832 ~x2065163+17592186044416 ~x2065162+8796093022208 ~x2065161+4398046511104 ~x2065160+2199023255552 ~x2065159+1099511627776 ~x2065158+549755813888 ~x2065157+274877906944 ~x2065156+137438953472 ~x2065155+68719476736 ~x2065154+34359738368 ~x2065153+17179869184 ~x2065152+8589934592 ~x2065151+4294967296 ~x2065150+2147483648 ~x2065149+1073741824 ~x2065148+536870912 ~x2065147+268435456 ~x2065146+134217728 ~x2065145+67108864 ~x2065144+33554432 ~x2065143+16777216 ~x2065142+8388608 ~x2065141+4194304 ~x2065140+2097152 ~x2065139+1048576 ~x2065138+524288 ~x2065137+262144 ~x2065136+131072 ~x2065135+65536 ~x2065134+32768 ~x2065133+16384 ~x2065132+8192 ~x2065131+4096 ~x2065130+2048 ~x2065129+1024 ~x2065128+512 ~x2065127+256 ~x2065126+128 ~x2065125+64 ~x2065124+32 ~x2065123+16 ~x2065122+8 ~x2065121+4 ~x2065120+2 ~x2065119+1 ~x2065118+5684000000000 x241+6468000000000 x240+13364000000000 x239+4108000000000 x238+15488000000000 x237+14208000000000 x236+4510000000000 x235+9308000000000 x234+3900000000000 x233+12677760730600 x232+5898000000000 x231+14786000000000 x230+15244000000000 x229+5818000000000 x228+14020000000000 x227+2472000000000 x226+12224000000000 x224+10890000000000 x222+17660000000000 x221+3170000000000 x220+5824000000000 x219+7590000000000 x218+7294000000000 x217+8756000000000 x216+9446790867600 x215+3762790867600 x214+9186000000000 x212+8858000000000 x211+9012000000000 x210+3058000000000 x209+6582000000000 x207+16704000000000 x206+3838000000000 x202+10710000000000 x201+176256621004 x200+12150268036600 x199+14620000000000 x198+8410000000000 x196+7790000000000 x195+3564000000000 x194+10072000000000 x193+13534000000000 x192+7082000000000 x190+2702248401800 x189+5072000000000 x188+12648047488600 x187+16850000000000 x186+16344000000000 x185+10478000000000 x183+7106000000000 x182+6522000000000 x181+9232000000000 x179+9692000000000 x178+5684000000000 x177+5752000000000 x176+4394000000000 x175+7282000000000 x173+7558000000000 x172+8777760730600 x171+18634000000000 x170+12098000000000 x169+7896000000000 x168+5356032420000 x167+408046118720 x166+16520000000000 x165+2106000000000 x164+11760000000000 x163+3262060274000 x162+4402239269400 x161+7294000000000 x160+10015760730600 x159+14097935159800 x158+5274000000000 x157+6742000000000 x156+18464000000000 x155+10678000000000 x154+17426000000000 x153+3164000000000 x152+11408000000000 x151+1443760730600 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+17282000000000 x59+8307516895000 x54+3164000000000 x53+9940000000000 x52+12206000000000 x51+8951760730600 x50+9840000000000 x49+9840000000000 x48+16074000000000 x47+3290000000000 x46+1603012785380 x45+10640000000000 x44+3992000000000 x43+12886000000000 x42+14708000000000 x41+19656000000000 x40+2740000000000 x39+9080000000000 x38+3932000000000 x37+6448000000000 x36+8126000000000 x34+5330000000000 x33+5866000000000 x32+18182000000000 x31+9310000000000 x29+18272000000000 x28+14304000000000 x26+5339104109600 x25+7180000000000 x24+9844000000000 x23+10015760730600 x22+9752000000000 x21+8586257534200 x20+12850540639200 x19+12536000000000 x18+4360538812800 x17+16684000000000 x16+2344299543400 x15+2478000000000 x14+7354190867600 x13+12636000000000 x12+584600

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-2674168-1276800248/watcher-2674168-1276800248 -o /tmp/evaluation-result-2674168-1276800248/solver-2674168-1276800248 -C 1800 -W 2000 -M 1800 run HOME/instance-2674168-1276800248.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/105 22360
/proc/meminfo: memFree=1884472/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0

[startup+0.036694 s]
/proc/loadavg: 0.91 0.95 0.98 3/105 22360
/proc/meminfo: memFree=1884472/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101701 s]
/proc/loadavg: 0.91 0.95 0.98 3/105 22360
/proc/meminfo: memFree=1884472/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301723 s]
/proc/loadavg: 0.91 0.95 0.98 3/105 22360
/proc/meminfo: memFree=1884472/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701765 s]
/proc/loadavg: 0.91 0.95 0.98 3/105 22360
/proc/meminfo: memFree=1884472/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50185 s]
/proc/loadavg: 0.91 0.95 0.98 2/107 22363
/proc/meminfo: memFree=1835724/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=61512 CPUtime=1.49
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 14964 0 0 0 133 16 0 0 25 0 1 0 21318930 62988288 14605 1992294400 134512640 134902295 4288610448 18446744073709551615 4160457637 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 15378 14605 262 96 0 14590 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70212

[startup+3.10102 s]
/proc/loadavg: 0.91 0.95 0.98 2/107 22363
/proc/meminfo: memFree=1815636/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=91056 CPUtime=3.09
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 23231 0 0 0 289 20 0 0 25 0 1 0 21318930 93241344 21894 1992294400 134512640 134902295 4288610448 18446744073709551615 4160457618 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 22764 21894 262 96 0 21976 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99756

[startup+6.30136 s]
/proc/loadavg: 0.92 0.95 0.98 2/107 22363
/proc/meminfo: memFree=1755000/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=151728 CPUtime=6.29
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 39904 0 0 0 602 27 0 0 25 0 1 0 21318930 155369472 36624 1992294400 134512640 134902295 4288610448 18446744073709551615 4160417800 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 37932 36624 262 96 0 37144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 160428

[startup+12.701 s]
/proc/loadavg: 0.93 0.95 0.98 2/107 22363
/proc/meminfo: memFree=1636580/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=272668 CPUtime=12.69
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 74542 0 0 0 1227 42 0 0 25 0 1 0 21318930 279212032 65162 1992294400 134512640 134902295 4288610448 18446744073709551615 3596761 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 68167 65162 262 96 0 67379 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 281368

[startup+25.5014 s]
/proc/loadavg: 0.94 0.96 0.98 2/107 22363
/proc/meminfo: memFree=1385728/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=535436 CPUtime=25.48
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 139151 0 0 0 2479 69 0 0 20 0 1 0 21318930 548286464 125901 1992294400 134512640 134902295 4288610448 18446744073709551615 3589628 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 133859 125901 262 96 0 133071 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 544136

[startup+51.1011 s]
/proc/loadavg: 0.96 0.96 0.98 2/107 22363
/proc/meminfo: memFree=988308/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=918572 CPUtime=51.07
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 247323 0 0 0 4989 118 0 0 25 0 1 0 21318930 940617728 223684 1992294400 134512640 134902295 4288610448 18446744073709551615 4160418534 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 229643 223684 269 96 0 228855 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 927272

[startup+102.309 s]
/proc/loadavg: 0.98 0.96 0.98 2/107 22365
/proc/meminfo: memFree=985704/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=921288 CPUtime=102.27
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 247925 0 0 0 10108 119 0 0 25 0 1 0 21318930 943398912 224286 1992294400 134512640 134902295 4288610448 18446744073709551615 4160418565 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 230322 224286 269 96 0 229534 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 929988

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 22367
/proc/meminfo: memFree=982852/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=923976 CPUtime=162.24
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 248611 0 0 0 16105 119 0 0 25 0 1 0 21318930 946151424 224972 1992294400 134512640 134902295 4288610448 18446744073709551615 4160437406 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 230994 224972 269 96 0 230206 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 932676

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 22369
/proc/meminfo: memFree=982604/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=924240 CPUtime=222.23
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 248677 0 0 0 22104 119 0 0 25 0 1 0 21318930 946421760 225038 1992294400 134512640 134902295 4288610448 18446744073709551615 4160437081 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 231060 225038 269 96 0 230272 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 932940

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 22369
/proc/meminfo: memFree=982356/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=924504 CPUtime=282.21
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 248737 0 0 0 28102 119 0 0 25 0 1 0 21318930 946692096 225098 1992294400 134512640 134902295 4288610448 18446744073709551615 4160437690 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 231126 225098 269 96 0 230338 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 933204

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 22371
/proc/meminfo: memFree=982232/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=924788 CPUtime=342.2
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 248795 0 0 0 34100 120 0 0 25 0 1 0 21318930 946982912 225156 1992294400 134512640 134902295 4288610448 18446744073709551615 4160442040 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 231197 225156 269 96 0 230409 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 933488

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/107 22373
/proc/meminfo: memFree=981860/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=925052 CPUtime=402.19
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 248851 0 0 0 40099 120 0 0 25 0 1 0 21318930 947253248 225212 1992294400 134512640 134902295 4288610448 18446744073709551615 4160437688 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 231263 225212 269 96 0 230475 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 933752

[startup+462.302 s]

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

/proc/22362/statm: 236237 229778 269 96 0 235449 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 953648

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22404
/proc/meminfo: memFree=962516/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=945292 CPUtime=1241.96
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 253481 0 0 0 124071 125 0 0 25 0 1 0 21318930 967979008 229842 1992294400 134512640 134902295 4288610448 18446744073709551615 4160437081 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 236323 229842 269 96 0 235535 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 953992

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22406
/proc/meminfo: memFree=962020/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=945688 CPUtime=1301.95
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 253583 0 0 0 130070 125 0 0 25 0 1 0 21318930 968384512 229944 1992294400 134512640 134902295 4288610448 18446744073709551615 4160437081 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 236422 229944 269 96 0 235634 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 954388

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22408
/proc/meminfo: memFree=961648/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=946216 CPUtime=1361.92
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 253693 0 0 0 136067 125 0 0 25 0 1 0 21318930 968925184 230054 1992294400 134512640 134902295 4288610448 18446744073709551615 4160437832 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 236554 230054 269 96 0 235766 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 954916

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22410
/proc/meminfo: memFree=961028/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=946776 CPUtime=1421.92
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 253852 0 0 0 142066 126 0 0 25 0 1 0 21318930 969498624 230213 1992294400 134512640 134902295 4288610448 18446744073709551615 4160451559 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 236694 230213 269 96 0 235906 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 955476

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22410
/proc/meminfo: memFree=960160/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=947708 CPUtime=1481.9
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 254065 0 0 0 148064 126 0 0 25 0 1 0 21318930 970452992 230426 1992294400 134512640 134902295 4288610448 18446744073709551615 4160448989 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 236927 230426 269 96 0 236139 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 956408

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22412
/proc/meminfo: memFree=959044/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=948676 CPUtime=1541.88
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 254335 0 0 0 154062 126 0 0 25 0 1 0 21318930 971444224 230696 1992294400 134512640 134902295 4288610448 18446744073709551615 4160448638 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 237169 230696 269 96 0 236381 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 957376

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22414
/proc/meminfo: memFree=958052/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=949732 CPUtime=1601.86
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 254580 0 0 0 160060 126 0 0 25 0 1 0 21318930 972525568 230941 1992294400 134512640 134902295 4288610448 18446744073709551615 4160448638 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 237433 230941 269 96 0 236645 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 958432

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22416
/proc/meminfo: memFree=956936/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=950908 CPUtime=1661.84
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 254858 0 0 0 166058 126 0 0 25 0 1 0 21318930 973729792 231219 1992294400 134512640 134902295 4288610448 18446744073709551615 4160451528 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 237727 231219 269 96 0 236939 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 959608

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22418
/proc/meminfo: memFree=955820/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=951980 CPUtime=1721.83
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 255135 0 0 0 172056 127 0 0 25 0 1 0 21318930 974827520 231496 1992294400 134512640 134902295 4288610448 18446744073709551615 4160418440 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 237995 231496 269 96 0 237207 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 960680

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22418
/proc/meminfo: memFree=954580/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=952904 CPUtime=1781.81
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 255375 0 0 0 178054 127 0 0 25 0 1 0 21318930 975773696 231736 1992294400 134512640 134902295 4288610448 18446744073709551615 4160448638 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 238226 231736 269 96 0 237438 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 961604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22420
/proc/meminfo: memFree=954208/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=953300 CPUtime=1800.02
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 255470 0 0 0 179875 127 0 0 25 0 1 0 21318930 976179200 231831 1992294400 134512640 134902295 4288610448 18446744073709551615 4160430612 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 238325 231831 269 96 0 237537 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 962000

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 22420
/proc/meminfo: memFree=954208/2059040 swapFree=4159788/4192956
[pid=22360] ppid=22358 vsize=8700 CPUtime=0
/proc/22360/stat : 22360 (run) S 22358 22360 22064 0 -1 4202496 389 134 0 0 0 0 0 0 25 0 1 0 21318930 8908800 250 1992294400 4194304 4922060 140735488679808 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22360/statm: 2175 250 211 178 0 68 0
[pid=22362] ppid=22360 vsize=953300 CPUtime=1800.02
/proc/22362/stat : 22362 (PBPASSolver) R 22360 22360 22064 0 -1 4202496 255470 0 0 0 179875 127 0 0 25 0 1 0 21318930 976179200 231831 1992294400 134512640 134902295 4288610448 18446744073709551615 4160430612 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22362/statm: 238325 231831 269 96 0 237537 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 962000

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22360 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 1800.02
#
# 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.02
CPU user time (s): 1798.75
CPU system time (s): 1.27
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 962000

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

runsolver used 2.93155 second user time and 8.5477 second system time

The end

Launcher Data 

Begin job on node081 at 2010-06-17 20:44:08
IDJOB=2674168
IDBENCH=2495
IDSOLVER=1174
FILE ID=node081/2674168-1276800248
PBS_JOBID= 11176663
Free space on /tmp= 121808 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-mas74.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674168-1276800248/watcher-2674168-1276800248 -o /tmp/evaluation-result-2674168-1276800248/solver-2674168-1276800248 -C 1800 -W 2000 -M 1800  run HOME/instance-2674168-1276800248.opb

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

MD5SUM BENCH= d879f5802b2059e72ece8e718d439f85
RANDOM SEED=1368945285

node081.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.212
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.42
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.212
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1884992 kB
Buffers:          8732 kB
Cached:          73664 kB
SwapCached:       1752 kB
Active:          56220 kB
Inactive:        54456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1884992 kB
SwapTotal:     4192956 kB
SwapFree:      4159788 kB
Dirty:             788 kB
Writeback:           0 kB
AnonPages:       26556 kB
Mapped:          14020 kB
Slab:            41600 kB
PageTables:       3952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179776 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121808 MiB
End job on node081 at 2010-06-17 21:14:11