Trace number 2674744

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.09 1800.82

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-afiro.opb
MD5SUM87ce4656e5ef67028f049e81ca6b4c7e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-11897496
Best CPU time to get the best result obtained on this benchmark8.39272
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -11897496
Optimality of the best value was proved YES
Number of variables960
Total number of constraints27
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 constraints27
Minimum length of a constraint30
Maximum length of a constraint270
Number of terms in the objective function 150
Biggest coefficient in the objective function 134217728000
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 316753837785
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 1304059445248
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 20964809094075
Number of bits of the biggest sum of numbers45
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

9.89/9.97	c 960 27 0 0 0 0 0 0
9.89/9.97	c 536870912 ~x440447+268435456 ~x440446+134217728 ~x440445+67108864 ~x440444+33554432 ~x440443+16777216 ~x440442+8388608 ~x440441+4194304 ~x440440+2097152 ~x440439+1048576 ~x440438+524288 ~x440437+262144 ~x440436+131072 ~x440435+65536 ~x440434+32768 ~x440433+16384 ~x440432+8192 ~x440431+4096 ~x440430+2048 ~x440429+1024 ~x440428+512 ~x440427+256 ~x440426+128 ~x440425+64 ~x440424+32 ~x440423+16 ~x440422+8 ~x440421+4 ~x440420+2 ~x440419+1 ~x440418+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=2147401726
10.37/10.43	c 536870912 ~x460760+268435456 ~x460759+134217728 ~x460758+67108864 ~x460757+33554432 ~x460756+16777216 ~x460755+8388608 ~x460754+4194304 ~x460753+2097152 ~x460752+1048576 ~x460751+524288 ~x460750+262144 ~x460749+131072 ~x460748+65536 ~x460747+32768 ~x460746+16384 ~x460745+8192 ~x460744+4096 ~x460743+2048 ~x460742+1024 ~x460741+512 ~x460740+256 ~x460739+128 ~x460738+64 ~x460737+32 ~x460736+16 ~x460735+8 ~x460734+4 ~x460733+2 ~x460732+1 ~x460731+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 ~x151+268435456 ~x150+134217728 ~x149+67108864 ~x148+33554432 ~x147+16777216 ~x146+8388608 ~x145+4194304 ~x144+2097152 ~x143+1048576 ~x142+524288 ~x141+262144 ~x140+131072 ~x139+65536 ~x138+32768 ~x137+16384 ~x136+8192 ~x135+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122-0=2147401726
11.08/11.15	c 536870912 ~x492503+268435456 ~x492502+134217728 ~x492501+67108864 ~x492500+33554432 ~x492499+16777216 ~x492498+8388608 ~x492497+4194304 ~x492496+2097152 ~x492495+1048576 ~x492494+524288 ~x492493+262144 ~x492492+131072 ~x492491+65536 ~x492490+32768 ~x492489+16384 ~x492488+8192 ~x492487+4096 ~x492486+2048 ~x492485+1024 ~x492484+512 ~x492483+256 ~x492482+128 ~x492481+64 ~x492480+32 ~x492479+16 ~x492478+8 ~x492477+4 ~x492476+2 ~x492475+1 ~x492474+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 ~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
11.77/11.87	c 536870912 ~x524246+268435456 ~x524245+134217728 ~x524244+67108864 ~x524243+33554432 ~x524242+16777216 ~x524241+8388608 ~x524240+4194304 ~x524239+2097152 ~x524238+1048576 ~x524237+524288 ~x524236+262144 ~x524235+131072 ~x524234+65536 ~x524233+32768 ~x524232+16384 ~x524231+8192 ~x524230+4096 ~x524229+2048 ~x524228+1024 ~x524227+512 ~x524226+256 ~x524225+128 ~x524224+64 ~x524223+32 ~x524222+16 ~x524221+8 ~x524220+4 ~x524219+2 ~x524218+1 ~x524217+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 ~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
12.47/12.59	c 536870912 ~x555989+268435456 ~x555988+134217728 ~x555987+67108864 ~x555986+33554432 ~x555985+16777216 ~x555984+8388608 ~x555983+4194304 ~x555982+2097152 ~x555981+1048576 ~x555980+524288 ~x555979+262144 ~x555978+131072 ~x555977+65536 ~x555976+32768 ~x555975+16384 ~x555974+8192 ~x555973+4096 ~x555972+2048 ~x555971+1024 ~x555970+512 ~x555969+256 ~x555968+128 ~x555967+64 ~x555966+32 ~x555965+16 ~x555964+8 ~x555963+4 ~x555962+2 ~x555961+1 ~x555960+536870912 x361+268435456 x360+134217728 x359+67108864 x358+33554432 x357+16777216 x356+8388608 x355+4194304 x354+2097152 x353+1048576 x352+524288 x351+262144 x350+131072 x349+65536 x348+32768 x347+16384 x346+8192 x345+4096 x344+2048 x343+1024 x342+512 x341+256 x340+128 x339+64 x338+32 x337+16 x336+8 x335+4 x334+2 x333+1 x332+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
13.27/13.31	c 4294967296 ~x587735+2147483648 ~x587734+1073741824 ~x587733+536870912 ~x587732+268435456 ~x587731+134217728 ~x587730+67108864 ~x587729+33554432 ~x587728+16777216 ~x587727+8388608 ~x587726+4194304 ~x587725+2097152 ~x587724+1048576 ~x587723+524288 ~x587722+262144 ~x587721+131072 ~x587720+65536 ~x587719+32768 ~x587718+16384 ~x587717+8192 ~x587716+4096 ~x587715+2048 ~x587714+1024 ~x587713+512 ~x587712+256 ~x587711+128 ~x587710+64 ~x587709+32 ~x587708+16 ~x587707+8 ~x587706+4 ~x587705+2 ~x587704+1 ~x587703+3758096384 ~x391+1879048192 ~x390+939524096 ~x389+469762048 ~x388+234881024 ~x387+117440512 ~x386+58720256 ~x385+29360128 ~x384+14680064 ~x383+7340032 ~x382+3670016 ~x381+1835008 ~x380+917504 ~x379+458752 ~x378+229376 ~x377+114688 ~x376+57344 ~x375+28672 ~x374+14336 ~x373+7168 ~x372+3584 ~x371+1792 ~x370+896 ~x369+448 ~x368+224 ~x367+112 ~x366+56 ~x365+28 ~x364+14 ~x363+7 ~x362+2684354560 x61+1342177280 x60+671088640 x59+335544320 x58+167772160 x57+83886080 x56+41943040 x55+20971520 x54+10485760 x53+5242880 x52+2621440 x51+1310720 x50+655360 x49+327680 x48+163840 x47+81920 x46+40960 x45+20480 x44+10240 x43+5120 x42+2560 x41+1280 x40+640 x39+320 x38+160 x37+80 x36+40 x35+20 x34+10 x33+5 x32-0=16106127352
14.07/14.19	c 536870912 ~x626823+268435456 ~x626822+134217728 ~x626821+67108864 ~x626820+33554432 ~x626819+16777216 ~x626818+8388608 ~x626817+4194304 ~x626816+2097152 ~x626815+1048576 ~x626814+524288 ~x626813+262144 ~x626812+131072 ~x626811+65536 ~x626810+32768 ~x626809+16384 ~x626808+8192 ~x626807+4096 ~x626806+2048 ~x626805+1024 ~x626804+512 ~x626803+256 ~x626802+128 ~x626801+64 ~x626800+32 ~x626799+16 ~x626798+8 ~x626797+4 ~x626796+2 ~x626795+1 ~x626794+536870912 ~x481+268435456 ~x480+134217728 ~x479+67108864 ~x478+33554432 ~x477+16777216 ~x476+8388608 ~x475+4194304 ~x474+2097152 ~x473+1048576 ~x472+524288 ~x471+262144 ~x470+131072 ~x469+65536 ~x468+32768 ~x467+16384 ~x466+8192 ~x465+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452-0=2146971646
14.57/14.66	c 536870912 ~x647136+268435456 ~x647135+134217728 ~x647134+67108864 ~x647133+33554432 ~x647132+16777216 ~x647131+8388608 ~x647130+4194304 ~x647129+2097152 ~x647128+1048576 ~x647127+524288 ~x647126+262144 ~x647125+131072 ~x647124+65536 ~x647123+32768 ~x647122+16384 ~x647121+8192 ~x647120+4096 ~x647119+2048 ~x647118+1024 ~x647117+512 ~x647116+256 ~x647115+128 ~x647114+64 ~x647113+32 ~x647112+16 ~x647111+8 ~x647110+4 ~x647109+2 ~x647108+1 ~x647107+536870912 x751+268435456 x750+134217728 x749+67108864 x748+33554432 x747+16777216 x746+8388608 x745+4194304 x744+2097152 x743+1048576 x742+524288 x741+262144 x740+131072 x739+65536 x738+32768 x737+16384 x736+8192 x735+4096 x734+2048 x733+1024 x732+512 x731+256 x730+128 x729+64 x728+32 x727+16 x726+8 x725+4 x724+2 x723+1 x722+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-0=2146971646
15.29/15.38	c 536870912 ~x678879+268435456 ~x678878+134217728 ~x678877+67108864 ~x678876+33554432 ~x678875+16777216 ~x678874+8388608 ~x678873+4194304 ~x678872+2097152 ~x678871+1048576 ~x678870+524288 ~x678869+262144 ~x678868+131072 ~x678867+65536 ~x678866+32768 ~x678865+16384 ~x678864+8192 ~x678863+4096 ~x678862+2048 ~x678861+1024 ~x678860+512 ~x678859+256 ~x678858+128 ~x678857+64 ~x678856+32 ~x678855+16 ~x678854+8 ~x678853+4 ~x678852+2 ~x678851+1 ~x678850+536870912 x781+268435456 x780+134217728 x779+67108864 x778+33554432 x777+16777216 x776+8388608 x775+4194304 x774+2097152 x773+1048576 x772+524288 x771+262144 x770+131072 x769+65536 x768+32768 x767+16384 x766+8192 x765+4096 x764+2048 x763+1024 x762+512 x761+256 x760+128 x759+64 x758+32 x757+16 x756+8 x755+4 x754+2 x753+1 x752+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-0=2147483646
16.07/16.10	c 536870912 ~x710622+268435456 ~x710621+134217728 ~x710620+67108864 ~x710619+33554432 ~x710618+16777216 ~x710617+8388608 ~x710616+4194304 ~x710615+2097152 ~x710614+1048576 ~x710613+524288 ~x710612+262144 ~x710611+131072 ~x710610+65536 ~x710609+32768 ~x710608+16384 ~x710607+8192 ~x710606+4096 ~x710605+2048 ~x710604+1024 ~x710603+512 ~x710602+256 ~x710601+128 ~x710600+64 ~x710599+32 ~x710598+16 ~x710597+8 ~x710596+4 ~x710595+2 ~x710594+1 ~x710593+536870912 x811+268435456 x810+134217728 x809+67108864 x808+33554432 x807+16777216 x806+8388608 x805+4194304 x804+2097152 x803+1048576 x802+524288 x801+262144 x800+131072 x799+65536 x798+32768 x797+16384 x796+8192 x795+4096 x794+2048 x793+1024 x792+512 x791+256 x790+128 x789+64 x788+32 x787+16 x786+8 x785+4 x784+2 x783+1 x782+536870912 ~x691+268435456 ~x690+134217728 ~x689+67108864 ~x688+33554432 ~x687+16777216 ~x686+8388608 ~x685+4194304 ~x684+2097152 ~x683+1048576 ~x682+524288 ~x681+262144 ~x680+131072 ~x679+65536 ~x678+32768 ~x677+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=2147483646
16.78/16.82	c 536870912 ~x742365+268435456 ~x742364+134217728 ~x742363+67108864 ~x742362+33554432 ~x742361+16777216 ~x742360+8388608 ~x742359+4194304 ~x742358+2097152 ~x742357+1048576 ~x742356+524288 ~x742355+262144 ~x742354+131072 ~x742353+65536 ~x742352+32768 ~x742351+16384 ~x742350+8192 ~x742349+4096 ~x742348+2048 ~x742347+1024 ~x742346+512 ~x742345+256 ~x742344+128 ~x742343+64 ~x742342+32 ~x742341+16 ~x742340+8 ~x742339+4 ~x742338+2 ~x742337+1 ~x742336+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+536870912 ~x721+268435456 ~x720+134217728 ~x719+67108864 ~x718+33554432 ~x717+16777216 ~x716+8388608 ~x715+4194304 ~x714+2097152 ~x713+1048576 ~x712+524288 ~x711+262144 ~x710+131072 ~x709+65536 ~x708+32768 ~x707+16384 ~x706+8192 ~x705+4096 ~x704+2048 ~x703+1024 ~x702+512 ~x701+256 ~x700+128 ~x699+64 ~x698+32 ~x697+16 ~x696+8 ~x695+4 ~x694+2 ~x693+1 ~x692-0=2147483646
17.49/17.53	c 4294967296 ~x774111+2147483648 ~x774110+1073741824 ~x774109+536870912 ~x774108+268435456 ~x774107+134217728 ~x774106+67108864 ~x774105+33554432 ~x774104+16777216 ~x774103+8388608 ~x774102+4194304 ~x774101+2097152 ~x774100+1048576 ~x774099+524288 ~x774098+262144 ~x774097+131072 ~x774096+65536 ~x774095+32768 ~x774094+16384 ~x774093+8192 ~x774092+4096 ~x774091+2048 ~x774090+1024 ~x774089+512 ~x774088+256 ~x774087+128 ~x774086+64 ~x774085+32 ~x774084+16 ~x774083+8 ~x774082+4 ~x774081+2 ~x774080+1 ~x774079+3758096384 ~x871+1879048192 ~x870+939524096 ~x869+469762048 ~x868+234881024 ~x867+117440512 ~x866+58720256 ~x865+29360128 ~x864+14680064 ~x863+7340032 ~x862+3670016 ~x861+1835008 ~x860+917504 ~x859+458752 ~x858+229376 ~x857+114688 ~x856+57344 ~x855+28672 ~x854+14336 ~x853+7168 ~x852+3584 ~x851+1792 ~x850+896 ~x849+448 ~x848+224 ~x847+112 ~x846+56 ~x845+28 ~x844+14 ~x843+7 ~x842+2684354560 x511+1342177280 x510+671088640 x509+335544320 x508+167772160 x507+83886080 x506+41943040 x505+20971520 x504+10485760 x503+5242880 x502+2621440 x501+1310720 x500+655360 x499+327680 x498+163840 x497+81920 x496+40960 x495+20480 x494+10240 x493+5120 x492+2560 x491+1280 x490+640 x489+320 x488+160 x487+80 x486+40 x485+20 x484+10 x483+5 x482-0=16106127352
18.37/18.44	c 17592186044416 ~x813214+8796093022208 ~x813213+4398046511104 ~x813212+2199023255552 ~x813211+1099511627776 ~x813210+549755813888 ~x813209+274877906944 ~x813208+137438953472 ~x813207+68719476736 ~x813206+34359738368 ~x813205+17179869184 ~x813204+8589934592 ~x813203+4294967296 ~x813202+2147483648 ~x813201+1073741824 ~x813200+536870912 ~x813199+268435456 ~x813198+134217728 ~x813197+67108864 ~x813196+33554432 ~x813195+16777216 ~x813194+8388608 ~x813193+4194304 ~x813192+2097152 ~x813191+1048576 ~x813190+524288 ~x813189+262144 ~x813188+131072 ~x813187+65536 ~x813186+32768 ~x813185+16384 ~x813184+8192 ~x813183+4096 ~x813182+2048 ~x813181+1024 ~x813180+512 ~x813179+256 ~x813178+128 ~x813177+64 ~x813176+32 ~x813175+16 ~x813174+8 ~x813173+4 ~x813172+2 ~x813171+1 ~x813170+1223528808448 ~x841+611764404224 ~x840+305882202112 ~x839+152941101056 ~x838+76470550528 ~x837+38235275264 ~x836+19117637632 ~x835+9558818816 ~x834+4779409408 ~x833+2389704704 ~x832+1194852352 ~x831+597426176 ~x830+298713088 ~x829+149356544 ~x828+74678272 ~x827+37339136 ~x826+18669568 ~x825+9334784 ~x824+4667392 ~x823+2333696 ~x822+1166848 ~x821+583424 ~x820+291712 ~x819+145856 ~x818+72928 ~x817+36464 ~x816+18232 ~x815+9116 ~x814+4558 ~x813+2279 ~x812+1207422681088 ~x811+603711340544 ~x810+301855670272 ~x809+150927835136 ~x808+75463917568 ~x807+37731958784 ~x806+18865979392 ~x805+9432989696 ~x804+4716494848 ~x803+2358247424 ~x802+1179123712 ~x801+589561856 ~x800+294780928 ~x799+147390464 ~x798+73695232 ~x797+36847616 ~x796+18423808 ~x795+9211904 ~x794+4605952 ~x793+2302976 ~x792+1151488 ~x791+575744 ~x790+287872 ~x789+143936 ~x788+71968 ~x787+35984 ~x786+17992 ~x785+8996 ~x784+4498 ~x783+2249 ~x782+1191316553728 ~x781+595658276864 ~x780+297829138432 ~x779+148914569216 ~x778+74457284608 ~x777+37228642304 ~x776+18614321152 ~x775+9307160576 ~x774+4653580288 ~x773+2326790144 ~x772+1163395072 ~x771+581697536 ~x770+290848768 ~x769+145424384 ~x768+72712192 ~x767+36356096 ~x766+18178048 ~x765+9089024 ~x764+4544512 ~x763+2272256 ~x762+1136128 ~x761+568064 ~x760+284032 ~x759+142016 ~x758+71008 ~x757+35504 ~x756+17752 ~x755+8876 ~x754+4438 ~x753+2219 ~x752+1176284168192 ~x751+588142084096 ~x750+294071042048 ~x749+147035521024 ~x748+73517760512 ~x747+36758880256 ~x746+18379440128 ~x745+9189720064 ~x744+4594860032 ~x743+2297430016 ~x742+1148715008 ~x741+574357504 ~x740+287178752 ~x739+143589376 ~x738+71794688 ~x737+35897344 ~x736+17948672 ~x735+8974336 ~x734+4487168 ~x733+2243584 ~x732+1121792 ~x731+560896 ~x730+280448 ~x729+140224 ~x728+70112 ~x727+35056 ~x726+17528 ~x725+8764 ~x724+4382 ~x723+2191 ~x722+536870912000 x571+268435456000 x570+134217728000 x569+67108864000 x568+33554432000 x567+16777216000 x566+8388608000 x565+4194304000 x564+2097152000 x563+1048576000 x562+524288000 x561+262144000 x560+131072000 x559+65536000 x558+32768000 x557+16384000 x556+8192000 x555+4096000 x554+2048000 x553+1024000 x552+512000 x551+256000 x550+128000 x549+64000 x548+32000 x547+16000 x546+8000 x545+4000 x544+2000 x543+1000 x542+1304059445248 ~x361+652029722624 ~x360+326014861312 ~x359+163007430656 ~x358+81503715328 ~x357+40751857664 ~x356+20375928832 ~x355+10187964416 ~x354+5093982208 ~x353+2546991104 ~x352+1273495552 ~x351+636747776 ~x350+318373888 ~x349+159186944 ~x348+79593472 ~x347+39796736 ~x346+19898368 ~x345+9949184 ~x344+4974592 ~x343+2487296 ~x342+1243648 ~x341+621824 ~x340+310912 ~x339+155456 ~x338+77728 ~x337+38864 ~x336+19432 ~x335+9716 ~x334+4858 ~x333+2429 ~x332+1292785156096 ~x331+646392578048 ~x330+323196289024 ~x329+161598144512 ~x328+80799072256 ~x327+40399536128 ~x326+20199768064 ~x325+10099884032 ~x324+5049942016 ~x323+2524971008 ~x322+1262485504 ~x321+631242752 ~x320+315621376 ~x319+157810688 ~x318+78905344 ~x317+39452672 ~x316+19726336 ~x315+9863168 ~x314+4931584 ~x313+2465792 ~x312+1232896 ~x311+616448 ~x310+308224 ~x309+154112 ~x308+77056 ~x307+38528 ~x306+19264 ~x305+9632 ~x304+4816 ~x303+2408 ~x302+1280973996032 ~x301+640486998016 ~x300+320243499008 ~x299+160121749504 ~x298+80060874752 ~x297+40030437376 ~x296+20015218688 ~x295+10007609344 ~x294+5003804672 ~x293+2501902336 ~x292+1250951168 ~x291+625475584 ~x290+312737792 ~x289+156368896 ~x288+78184448 ~x287+39092224 ~x286+19546112 ~x285+9773056 ~x284+4886528 ~x283+2443264 ~x282+1221632 ~x281+610816 ~x280+305408 ~x279+152704 ~x278+76352 ~x277+38176 ~x276+19088 ~x275+9544 ~x274+4772 ~x273+2386 ~x272+1269162835968 ~x271+634581417984 ~x270+317290708992 ~x269+158645354496 ~x268+79322677248 ~x267+39661338624 ~x266+19830669312 ~x265+9915334656 ~x264+4957667328 ~x263+2478833664 ~x262+1239416832 ~x261+619708416 ~x260+309854208 ~x259+154927104 ~x258+77463552 ~x257+38731776 ~x256+19365888 ~x255+9682944 ~x254+4841472 ~x253+2420736 ~x252+1210368 ~x251+605184 ~x250+302592 ~x249+151296 ~x248+75648 ~x247+37824 ~x246+18912 ~x245+9456 ~x244+4728 ~x243+2364 ~x242-0=55075439359906
22.78/22.80	c 68719476736 ~x1010582+34359738368 ~x1010581+17179869184 ~x1010580+8589934592 ~x1010579+4294967296 ~x1010578+2147483648 ~x1010577+1073741824 ~x1010576+536870912 ~x1010575+268435456 ~x1010574+134217728 ~x1010573+67108864 ~x1010572+33554432 ~x1010571+16777216 ~x1010570+8388608 ~x1010569+4194304 ~x1010568+2097152 ~x1010567+1048576 ~x1010566+524288 ~x1010565+262144 ~x1010564+131072 ~x1010563+65536 ~x1010562+32768 ~x1010561+16384 ~x1010560+8192 ~x1010559+4096 ~x1010558+2048 ~x1010557+1024 ~x1010556+512 ~x1010555+256 ~x1010554+128 ~x1010553+64 ~x1010552+32 ~x1010551+16 ~x1010550+8 ~x1010549+4 ~x1010548+2 ~x1010547+1 ~x1010546+58518929408 ~x481+29259464704 ~x480+14629732352 ~x479+7314866176 ~x478+3657433088 ~x477+1828716544 ~x476+914358272 ~x475+457179136 ~x474+228589568 ~x473+114294784 ~x472+57147392 ~x471+28573696 ~x470+14286848 ~x469+7143424 ~x468+3571712 ~x467+1785856 ~x466+892928 ~x465+446464 ~x464+223232 ~x463+111616 ~x462+55808 ~x461+27904 ~x460+13952 ~x459+6976 ~x458+3488 ~x457+1744 ~x456+872 ~x455+436 ~x454+218 ~x453+109 ~x452+67108864000 x88+33554432000 x87+16777216000 x86+8388608000 x85+4194304000 x84+2097152000 x83+1048576000 x82+524288000 x81+262144000 x80+131072000 x79+65536000 x78+32768000 x77+16384000 x76+8192000 x75+4096000 x74+2048000 x73+1024000 x72+512000 x71+256000 x70+128000 x69+64000 x68+32000 x67+16000 x66+8000 x65+4000 x64+2000 x63+1000 x62-0=254476812178
23.77/23.86	c 274877906944 ~x1057639+137438953472 ~x1057638+68719476736 ~x1057637+34359738368 ~x1057636+17179869184 ~x1057635+8589934592 ~x1057634+4294967296 ~x1057633+2147483648 ~x1057632+1073741824 ~x1057631+536870912 ~x1057630+268435456 ~x1057629+134217728 ~x1057628+67108864 ~x1057627+33554432 ~x1057626+16777216 ~x1057625+8388608 ~x1057624+4194304 ~x1057623+2097152 ~x1057622+1048576 ~x1057621+524288 ~x1057620+262144 ~x1057619+131072 ~x1057618+65536 ~x1057617+32768 ~x1057616+16384 ~x1057615+8192 ~x1057614+4096 ~x1057613+2048 ~x1057612+1024 ~x1057611+512 ~x1057610+256 ~x1057609+128 ~x1057608+64 ~x1057607+32 ~x1057606+16 ~x1057605+8 ~x1057604+4 ~x1057603+2 ~x1057602+1 ~x1057601+57445187584 ~x721+28722593792 ~x720+14361296896 ~x719+7180648448 ~x718+3590324224 ~x717+1795162112 ~x716+897581056 ~x715+448790528 ~x714+224395264 ~x713+112197632 ~x712+56098816 ~x711+28049408 ~x710+14024704 ~x709+7012352 ~x708+3506176 ~x707+1753088 ~x706+876544 ~x705+438272 ~x704+219136 ~x703+109568 ~x702+54784 ~x701+27392 ~x700+13696 ~x699+6848 ~x698+3424 ~x697+1712 ~x696+856 ~x695+428 ~x694+214 ~x693+107 ~x692+57982058496 ~x691+28991029248 ~x690+14495514624 ~x689+7247757312 ~x688+3623878656 ~x687+1811939328 ~x686+905969664 ~x685+452984832 ~x684+226492416 ~x683+113246208 ~x682+56623104 ~x681+28311552 ~x680+14155776 ~x679+7077888 ~x678+3538944 ~x677+1769472 ~x676+884736 ~x675+442368 ~x674+221184 ~x673+110592 ~x672+55296 ~x671+27648 ~x670+13824 ~x669+6912 ~x668+3456 ~x667+1728 ~x666+864 ~x665+432 ~x664+216 ~x663+108 ~x662+57982058496 ~x661+28991029248 ~x660+14495514624 ~x659+7247757312 ~x658+3623878656 ~x657+1811939328 ~x656+905969664 ~x655+452984832 ~x654+226492416 ~x653+113246208 ~x652+56623104 ~x651+28311552 ~x650+14155776 ~x649+7077888 ~x648+3538944 ~x647+1769472 ~x646+884736 ~x645+442368 ~x644+221184 ~x643+110592 ~x642+55296 ~x641+27648 ~x640+13824 ~x639+6912 ~x638+3456 ~x637+1728 ~x636+864 ~x635+432 ~x634+216 ~x633+108 ~x632+58518929408 ~x631+29259464704 ~x630+14629732352 ~x629+7314866176 ~x628+3657433088 ~x627+1828716544 ~x626+914358272 ~x625+457179136 ~x624+228589568 ~x623+114294784 ~x622+57147392 ~x621+28573696 ~x620+14286848 ~x619+7143424 ~x618+3571712 ~x617+1785856 ~x616+892928 ~x615+446464 ~x614+223232 ~x613+111616 ~x612+55808 ~x611+27904 ~x610+13952 ~x609+6976 ~x608+3488 ~x607+1744 ~x606+872 ~x605+436 ~x604+218 ~x603+109 ~x602+268435456000 x420+134217728000 x419+67108864000 x418+33554432000 x417+16777216000 x416+8388608000 x415+4194304000 x414+2097152000 x413+1048576000 x412+524288000 x411+262144000 x410+131072000 x409+65536000 x408+32768000 x407+16384000 x406+8192000 x405+4096000 x404+2048000 x403+1024000 x402+512000 x401+256000 x400+128000 x399+64000 x398+32000 x397+16000 x396+8000 x395+4000 x394+2000 x393+1000 x392-0=1013612281423
25.97/26.08	c 274877906944 ~x1157666+137438953472 ~x1157665+68719476736 ~x1157664+34359738368 ~x1157663+17179869184 ~x1157662+8589934592 ~x1157661+4294967296 ~x1157660+2147483648 ~x1157659+1073741824 ~x1157658+536870912 ~x1157657+268435456 ~x1157656+134217728 ~x1157655+67108864 ~x1157654+33554432 ~x1157653+16777216 ~x1157652+8388608 ~x1157651+4194304 ~x1157650+2097152 ~x1157649+1048576 ~x1157648+524288 ~x1157647+262144 ~x1157646+131072 ~x1157645+65536 ~x1157644+32768 ~x1157643+16384 ~x1157642+8192 ~x1157641+4096 ~x1157640+2048 ~x1157639+1024 ~x1157638+512 ~x1157637+256 ~x1157636+128 ~x1157635+64 ~x1157634+32 ~x1157633+16 ~x1157632+8 ~x1157631+4 ~x1157630+2 ~x1157629+1 ~x1157628+268435456000 x540+134217728000 x539+67108864000 x538+33554432000 x537+16777216000 x536+8388608000 x535+4194304000 x534+2097152000 x533+1048576000 x532+524288000 x531+262144000 x530+131072000 x529+65536000 x528+32768000 x527+16384000 x526+8192000 x525+4096000 x524+2048000 x523+1024000 x522+512000 x521+256000 x520+128000 x519+64000 x518+32000 x517+16000 x516+8000 x515+4000 x514+2000 x513+1000 x512+161598144512 ~x31+80799072256 ~x30+40399536128 ~x29+20199768064 ~x28+10099884032 ~x27+5049942016 ~x26+2524971008 ~x25+1262485504 ~x24+631242752 ~x23+315621376 ~x22+157810688 ~x21+78905344 ~x20+39452672 ~x19+19726336 ~x18+9863168 ~x17+4931584 ~x16+2465792 ~x15+1232896 ~x14+616448 ~x13+308224 ~x12+154112 ~x11+77056 ~x10+38528 ~x9+19264 ~x8+9632 ~x7+4816 ~x6+2408 ~x5+1204 ~x4+602 ~x3+301 ~x2-0=872952102610
27.17/27.21	c 1099511627776 ~x1207553+549755813888 ~x1207552+274877906944 ~x1207551+137438953472 ~x1207550+68719476736 ~x1207549+34359738368 ~x1207548+17179869184 ~x1207547+8589934592 ~x1207546+4294967296 ~x1207545+2147483648 ~x1207544+1073741824 ~x1207543+536870912 ~x1207542+268435456 ~x1207541+134217728 ~x1207540+67108864 ~x1207539+33554432 ~x1207538+16777216 ~x1207537+8388608 ~x1207536+4194304 ~x1207535+2097152 ~x1207534+1048576 ~x1207533+524288 ~x1207532+262144 ~x1207531+131072 ~x1207530+65536 ~x1207529+32768 ~x1207528+16384 ~x1207527+8192 ~x1207526+4096 ~x1207525+2048 ~x1207524+1024 ~x1207523+512 ~x1207522+256 ~x1207521+128 ~x1207520+64 ~x1207519+32 ~x1207518+16 ~x1207517+8 ~x1207516+4 ~x1207515+2 ~x1207514+1 ~x1207513+536870912000 x901+268435456000 x900+134217728000 x899+67108864000 x898+33554432000 x897+16777216000 x896+8388608000 x895+4194304000 x894+2097152000 x893+1048576000 x892+524288000 x891+262144000 x890+131072000 x889+65536000 x888+32768000 x887+16384000 x886+8192000 x885+4096000 x884+2048000 x883+1024000 x882+512000 x881+256000 x880+128000 x879+64000 x878+32000 x877+16000 x876+8000 x875+4000 x874+2000 x873+1000 x872+175019917312 ~x241+87509958656 ~x240+43754979328 ~x239+21877489664 ~x238+10938744832 ~x237+5469372416 ~x236+2734686208 ~x235+1367343104 ~x234+683671552 ~x233+341835776 ~x232+170917888 ~x231+85458944 ~x230+42729472 ~x229+21364736 ~x228+10682368 ~x227+5341184 ~x226+2670592 ~x225+1335296 ~x224+667648 ~x223+333824 ~x222+166912 ~x221+83456 ~x220+41728 ~x219+20864 ~x218+10432 ~x217+5216 ~x216+2608 ~x215+1304 ~x214+652 ~x213+326 ~x212+168040595456 ~x211+84020297728 ~x210+42010148864 ~x209+21005074432 ~x208+10502537216 ~x207+5251268608 ~x206+2625634304 ~x205+1312817152 ~x204+656408576 ~x203+328204288 ~x202+164102144 ~x201+82051072 ~x200+41025536 ~x199+20512768 ~x198+10256384 ~x197+5128192 ~x196+2564096 ~x195+1282048 ~x194+641024 ~x193+320512 ~x192+160256 ~x191+80128 ~x190+40064 ~x189+20032 ~x188+10016 ~x187+5008 ~x186+2504 ~x185+1252 ~x184+626 ~x183+313 ~x182+168040595456 ~x181+84020297728 ~x180+42010148864 ~x179+21005074432 ~x178+10502537216 ~x177+5251268608 ~x176+2625634304 ~x175+1312817152 ~x174+656408576 ~x173+328204288 ~x172+164102144 ~x171+82051072 ~x170+41025536 ~x169+20512768 ~x168+10256384 ~x167+5128192 ~x166+2564096 ~x165+1282048 ~x164+641024 ~x163+320512 ~x162+160256 ~x161+80128 ~x160+40064 ~x159+20032 ~x158+10016 ~x157+5008 ~x156+2504 ~x155+1252 ~x154+626 ~x153+313 ~x152+161598144512 ~x151+80799072256 ~x150+40399536128 ~x149+20199768064 ~x148+10099884032 ~x147+5049942016 ~x146+2524971008 ~x145+1262485504 ~x144+631242752 ~x143+315621376 ~x142+157810688 ~x141+78905344 ~x140+39452672 ~x139+19726336 ~x138+9863168 ~x137+4931584 ~x136+2465792 ~x135+1232896 ~x134+616448 ~x133+308224 ~x132+154112 ~x131+77056 ~x130+38528 ~x129+19264 ~x128+9632 ~x127+4816 ~x126+2408 ~x125+1204 ~x124+602 ~x123+301 ~x122-0=3544421759770
29.37/29.48	c 1073741824 ~x1310061+536870912 ~x1310060+268435456 ~x1310059+134217728 ~x1310058+67108864 ~x1310057+33554432 ~x1310056+16777216 ~x1310055+8388608 ~x1310054+4194304 ~x1310053+2097152 ~x1310052+1048576 ~x1310051+524288 ~x1310050+262144 ~x1310049+131072 ~x1310048+65536 ~x1310047+32768 ~x1310046+16384 ~x1310045+8192 ~x1310044+4096 ~x1310043+2048 ~x1310042+1024 ~x1310041+512 ~x1310040+256 ~x1310039+128 ~x1310038+64 ~x1310037+32 ~x1310036+16 ~x1310035+8 ~x1310034+4 ~x1310033+2 ~x1310032+1 ~x1310031+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 ~x121+268435456 ~x120+134217728 ~x119+67108864 ~x118+33554432 ~x117+16777216 ~x116+8388608 ~x115+4194304 ~x114+2097152 ~x113+1048576 ~x112+524288 ~x111+262144 ~x110+131072 ~x109+65536 ~x108+32768 ~x107+16384 ~x106+8192 ~x105+4096 ~x104+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92-0=3757778941
30.17/30.20	c 1073741824 ~x1342246+536870912 ~x1342245+268435456 ~x1342244+134217728 ~x1342243+67108864 ~x1342242+33554432 ~x1342241+16777216 ~x1342240+8388608 ~x1342239+4194304 ~x1342238+2097152 ~x1342237+1048576 ~x1342236+524288 ~x1342235+262144 ~x1342234+131072 ~x1342233+65536 ~x1342232+32768 ~x1342231+16384 ~x1342230+8192 ~x1342229+4096 ~x1342228+2048 ~x1342227+1024 ~x1342226+512 ~x1342225+256 ~x1342224+128 ~x1342223+64 ~x1342222+32 ~x1342221+16 ~x1342220+8 ~x1342219+4 ~x1342218+2 ~x1342217+1 ~x1342216+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 ~x451+268435456 ~x450+134217728 ~x449+67108864 ~x448+33554432 ~x447+16777216 ~x446+8388608 ~x445+4194304 ~x444+2097152 ~x443+1048576 ~x442+524288 ~x441+262144 ~x440+131072 ~x439+65536 ~x438+32768 ~x437+16384 ~x436+8192

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

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


[startup+0 s]
/proc/loadavg: 1.06 0.99 0.99 3/106 18753
/proc/meminfo: memFree=1872040/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0

[startup+0.085971 s]
/proc/loadavg: 1.06 0.99 0.99 3/106 18753
/proc/meminfo: memFree=1872040/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100969 s]
/proc/loadavg: 1.06 0.99 0.99 3/106 18753
/proc/meminfo: memFree=1872040/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301006 s]
/proc/loadavg: 1.06 0.99 0.99 3/106 18753
/proc/meminfo: memFree=1872040/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701084 s]
/proc/loadavg: 1.06 0.99 0.99 3/106 18753
/proc/meminfo: memFree=1872040/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50123 s]
/proc/loadavg: 1.06 0.99 0.99 2/108 18756
/proc/meminfo: memFree=1829120/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=55320 CPUtime=1.48
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 13422 0 0 0 137 11 0 0 19 0 1 0 55597638 56647680 13119 1992294400 134512640 134902295 4288084944 18446744073709551615 134634832 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 13830 13119 262 96 0 13042 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 64020

[startup+3.10052 s]
/proc/loadavg: 1.05 0.99 0.99 2/108 18756
/proc/meminfo: memFree=1808412/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=82200 CPUtime=3.08
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 21035 0 0 0 294 14 0 0 24 0 1 0 55597638 84172800 19707 1992294400 134512640 134902295 4288084944 18446744073709551615 2946556 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 20550 19707 262 96 0 19762 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 90900

[startup+6.30112 s]
/proc/loadavg: 1.05 0.99 0.99 2/108 18756
/proc/meminfo: memFree=1752364/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=138708 CPUtime=6.28
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 37096 0 0 0 606 22 0 0 25 0 1 0 55597638 142036992 33058 1992294400 134512640 134902295 4288084944 18446744073709551615 134565166 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 34677 33058 262 96 0 33889 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 147408

[startup+12.7013 s]
/proc/loadavg: 1.04 0.99 0.99 2/108 18756
/proc/meminfo: memFree=1634440/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=264016 CPUtime=12.68
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 68026 0 0 0 1233 35 0 0 25 0 1 0 55597638 270352384 62237 1992294400 134512640 134902295 4288084944 18446744073709551615 134588635 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 66012 62244 262 96 0 65224 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 272716

[startup+25.5007 s]
/proc/loadavg: 1.04 0.99 0.99 2/108 18758
/proc/meminfo: memFree=1397972/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=495996 CPUtime=25.47
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 129375 0 0 0 2487 60 0 0 25 0 1 0 55597638 507899904 119620 1992294400 134512640 134902295 4288084944 18446744073709551615 4160504499 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 123999 119620 262 96 0 123211 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 504696

[startup+51.1014 s]
/proc/loadavg: 1.02 0.99 0.99 2/108 18758
/proc/meminfo: memFree=1284016/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=611156 CPUtime=51.06
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 157063 0 0 0 5032 74 0 0 25 0 1 0 55597638 625823744 146796 1992294400 134512640 134902295 4288084944 18446744073709551615 4160523557 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 152789 146796 269 96 0 152001 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 619856

[startup+102.309 s]
/proc/loadavg: 1.01 0.99 0.99 2/108 18760
/proc/meminfo: memFree=1277816/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=616928 CPUtime=102.25
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 158507 0 0 0 10149 76 0 0 25 0 1 0 55597638 631734272 148240 1992294400 134512640 134902295 4288084944 18446744073709551615 4160539594 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 154232 148240 269 96 0 153444 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 625628

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18760
/proc/meminfo: memFree=1270500/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=624416 CPUtime=162.22
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 160369 0 0 0 16144 78 0 0 25 0 1 0 55597638 639401984 150102 1992294400 134512640 134902295 4288084944 18446744073709551615 4160525375 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 156104 150102 269 96 0 155316 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 633116

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18762
/proc/meminfo: memFree=1261448/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=633264 CPUtime=222.2
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 162588 0 0 0 22139 81 0 0 25 0 1 0 55597638 648462336 152321 1992294400 134512640 134902295 4288084944 18446744073709551615 4160540357 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 158316 152321 269 96 0 157528 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 641964

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18764
/proc/meminfo: memFree=1251280/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=643460 CPUtime=282.17
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 165137 0 0 0 28134 83 0 0 25 0 1 0 55597638 658903040 154870 1992294400 134512640 134902295 4288084944 18446744073709551615 4160534654 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 160865 154870 269 96 0 160077 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 652160

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18766
/proc/meminfo: memFree=1245824/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=648920 CPUtime=342.14
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 166444 0 0 0 34130 84 0 0 25 0 1 0 55597638 664494080 156177 1992294400 134512640 134902295 4288084944 18446744073709551615 4160534654 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 162230 156177 269 96 0 161442 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 657620

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18768
/proc/meminfo: memFree=1243468/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=651176 CPUtime=402.12
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 167031 0 0 0 40127 85 0 0 25 0 1 0 55597638 666804224 156764 1992294400 134512640 134902295 4288084944 18446744073709551615 4160537544 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 162794 156764 269 96 0 162006 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 659876

[startup+462.301 s]

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

/proc/18755/statm: 176498 170402 269 96 0 175710 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 714692

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18788
/proc/meminfo: memFree=1182336/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=711864 CPUtime=1181.81
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 182127 0 0 0 118079 102 0 0 25 0 1 0 55597638 728948736 171860 1992294400 134512640 134902295 4288084944 18446744073709551615 4160504527 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 177966 171860 269 96 0 177178 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 720564

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18790
/proc/meminfo: memFree=1179236/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=714840 CPUtime=1241.8
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 182870 0 0 0 124077 103 0 0 25 0 1 0 55597638 731996160 172603 1992294400 134512640 134902295 4288084944 18446744073709551615 4160537541 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 178710 172603 269 96 0 177922 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 723540

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18792
/proc/meminfo: memFree=1177376/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=716580 CPUtime=1301.77
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 183326 0 0 0 130074 103 0 0 25 0 1 0 55597638 733777920 173059 1992294400 134512640 134902295 4288084944 18446744073709551615 4160534654 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 179145 173059 269 96 0 178357 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 725280

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18801
/proc/meminfo: memFree=1170828/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=722052 CPUtime=1361.74
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 184678 0 0 0 136069 105 0 0 25 0 1 0 55597638 739381248 174411 1992294400 134512640 134902295 4288084944 18446744073709551615 4160527679 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 180513 174411 269 96 0 179725 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 730752

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18803
/proc/meminfo: memFree=1162520/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=730116 CPUtime=1421.73
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 186723 0 0 0 142065 108 0 0 25 0 1 0 55597638 747638784 176456 1992294400 134512640 134902295 4288084944 18446744073709551615 4160523434 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 182529 176456 269 96 0 181741 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 738816

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18805
/proc/meminfo: memFree=1153840/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=739320 CPUtime=1481.7
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 188875 0 0 0 148060 110 0 0 25 0 1 0 55597638 757063680 178608 1992294400 134512640 134902295 4288084944 18446744073709551615 4160534662 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 184830 178608 269 96 0 184042 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 748020

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18807
/proc/meminfo: memFree=1145160/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=747912 CPUtime=1541.67
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 191029 0 0 0 154054 113 0 0 25 0 1 0 55597638 765861888 180762 1992294400 134512640 134902295 4288084944 18446744073709551615 4160523097 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 186978 180762 269 96 0 186190 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 756612

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18809
/proc/meminfo: memFree=1137100/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=755976 CPUtime=1601.65
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 193051 0 0 0 160050 115 0 0 25 0 1 0 55597638 774119424 182784 1992294400 134512640 134902295 4288084944 18446744073709551615 4160542426 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 188994 182784 269 96 0 188206 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 764676

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18809
/proc/meminfo: memFree=1131892/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=761140 CPUtime=1661.63
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 194354 0 0 0 166046 117 0 0 25 0 1 0 55597638 779407360 184087 1992294400 134512640 134902295 4288084944 18446744073709551615 4160504560 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 190285 184087 269 96 0 189497 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 769840

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18811
/proc/meminfo: memFree=1126684/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=766424 CPUtime=1721.61
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 195662 0 0 0 172042 119 0 0 25 0 1 0 55597638 784818176 185395 1992294400 134512640 134902295 4288084944 18446744073709551615 4160537609 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 191606 185395 269 96 0 190818 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 775124

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18813
/proc/meminfo: memFree=1123088/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=769848 CPUtime=1781.58
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 196520 0 0 0 178039 119 0 0 25 0 1 0 55597638 788324352 186253 1992294400 134512640 134902295 4288084944 18446744073709551615 4160534654 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 192462 186253 269 96 0 191674 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 778548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 18813
/proc/meminfo: memFree=1121972/2059040 swapFree=4140132/4192956
[pid=18753] ppid=18751 vsize=8700 CPUtime=0
/proc/18753/stat : 18753 (run) S 18751 18753 18449 0 -1 4202496 390 134 0 0 0 0 0 0 20 0 1 0 55597637 8908800 251 1992294400 4194304 4922060 140736480613840 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18753/statm: 2175 251 211 178 0 68 0
[pid=18755] ppid=18753 vsize=770904 CPUtime=1800.09
/proc/18755/stat : 18755 (PBPASSolver) R 18753 18753 18449 0 -1 4202496 196802 0 0 0 179889 120 0 0 25 0 1 0 55597638 789405696 186535 1992294400 134512640 134902295 4288084944 18446744073709551615 4160539653 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18755/statm: 192726 186535 269 96 0 191938 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 779604

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 18753 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.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.82
CPU time (s): 1800.09
CPU user time (s): 1798.89
CPU system time (s): 1.2
CPU usage (%): 99.9597
Max. virtual memory (cumulated for all children) (KiB): 779604

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= 524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3

runsolver used 2.83557 second user time and 8.64968 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-17 20:39:02
IDJOB=2674744
IDBENCH=2440
IDSOLVER=1174
FILE ID=node007/2674744-1276799942
PBS_JOBID= 11176671
Free space on /tmp= 62488 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-afiro.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674744-1276799942/watcher-2674744-1276799942 -o /tmp/evaluation-result-2674744-1276799942/solver-2674744-1276799942 -C 1800 -W 2000 -M 1800  run HOME/instance-2674744-1276799942.opb

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

MD5SUM BENCH= 87ce4656e5ef67028f049e81ca6b4c7e
RANDOM SEED=358275961

node007.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1872560 kB
Buffers:         31208 kB
Cached:          59908 kB
SwapCached:       6616 kB
Active:           8372 kB
Inactive:        96404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1872560 kB
SwapTotal:     4192956 kB
SwapFree:      4140132 kB
Dirty:             756 kB
Writeback:           0 kB
AnonPages:       12100 kB
Mapped:          13016 kB
Slab:            60052 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180884 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62488 MiB
End job on node007 at 2010-06-17 21:09:05