Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros.opb |
MD5SUM | 556e36156521a89a958e30efd7492465 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 6740 |
Biggest coefficient in the objective function | 322437120000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 14584033415409150 |
Number of bits of the sum of numbers in the objective function | 54 |
Biggest number in a constraint | 322437120000000 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 14584033415409150 |
Number of bits of the biggest sum of numbers | 54 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.241962 |
Number of variables | 28160 |
Total number of constraints | 844 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 844 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 3160 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-09 11:21:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29445 boxname=wulflinc1 idbench=1229 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 556e36156521a89a958e30efd7492465 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-maros.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-maros.opb IDLAUNCH: 29445 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 656576 kB Buffers: 25164 kB Cached: 328524 kB SwapCached: 1136 kB Active: 30640 kB Inactive: 325240 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 656324 kB SwapTotal: 2097136 kB SwapFree: 2094824 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5260 kB Slab: 16444 kB Committed_AS: 92716 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 11:21:12 (client local time) WITH STATUS 0 IN 10.6094 SECONDS stats: 29445 7 10.6094 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +140536*G0186031_bit_7 +281072*G0186031_bit_6 +562144*G0186031_bit_5 +1124288*G0186031_bit_4 +2248576*G0186031_bit_3 +4497152*G0186031_bit_2 +8994304*G0186031_bit_1 +17988608*G0186031_bit0 +35977216*G0186031_bit1 +71954432*G0186031_bit2 +143908864*G0186031_bit3 +287817728*G0186031_bit4 +575635456*G0186031_bit5 +1151270912*G0186031_bit6 +2302541824*G0186031_bit7 +4605083648*G0186031_bit8 +9210167296*G0186031_bit9 +18420334592*G0186031_bit10 +36840669184*G0186031_bit11 +73681338368*G0186031_bit12 +99475*G0186051_bit_7 +198950*G0186051_bit_6 +397900*G0186051_bit_5 +795800*G0186051_bit_4 +1591600*G0186051_bit_3 +3183200*G0186051_bit_2 +6366400*G0186051_bit_1 +12732800*G0186051_bit0 +25465600*G0186051_bit1 +50931200*G0186051_bit2 +101862400*G0186051_bit3 +203724800*G0186051_bit4 +407449600*G0186051_bit5 +814899200*G0186051_bit6 +1629798400*G0186051_bit7 +3259596800*G0186051_bit8 +6519193600*G0186051_bit9 +13038387200*G0186051_bit10 +26076774400*G0186051_bit11 +52153548800*G0186051_bit12 +164415*G0186061_bit_7 +328830*G0186061_bit_6 +657660*G0186061_bit_5 +1315320*G0186061_bit_4 +2630640*G0186061_bit_3 +5261280*G0186061_bit_2 +10522560*G0186061_bit_1 +21045120*G0186061_bit0 +42090240*G0186061_bit1 +84180480*G0186061_bit2 +168360960*G0186061_bit3 +336721920*G0186061_bit4 +673443840*G0186061_bit5 +1346887680*G0186061_bit6 +2693775360*G0186061_bit7 +5387550720*G0186061_bit8 +10775101440*G0186061_bit9 +21550202880*G0186061_bit10 +43100405760*G0186061_bit11 +86200811520*G0186061_bit12 +15301*G0186071_bit_7 +30602*G0186071_bit_6 +61204*G0186071_bit_5 +122408*G0186071_bit_4 +244816*G0186071_bit_3 +489632*G0186071_bit_2 +979264*G0186071_bit_1 +1958528*G0186071_bit0 +3917056*G0186071_bit1 +7834112*G0186071_bit2 +15668224*G0186071_bit3 +31336448*G0186071_bit4 +62672896*G0186071_bit5 +125345792*G0186071_bit6 +250691584*G0186071_bit7 +501383168*G0186071_bit8 +1002766336*G0186071_bit9 +2005532672*G0186071_bit10 +4011065344*G0186071_bit11 +8022130688*G0186071_bit12 +91313*G0186081_bit_7 +182626*G0186081_bit_6 +365252*G0186081_bit_5 +730504*G0186081_bit_4 +1461008*G0186081_bit_3 +2922016*G0186081_bit_2 +5844032*G0186081_bit_1 +11688064*G0186081_bit0 +23376128*G0186081_bit1 +46752256*G0186081_bit2 +93504512*G0186081_bit3 +187009024*G0186081_bit4 +374018048*G0186081_bit5 +748036096*G0186081_bit6 +1496072192*G0186081_bit7 +2992144384*G0186081_bit8 +5984288768*G0186081_bit9 +11968577536*G0186081_bit10 +23937155072*G0186081_bit11 +47874310144*G0186081_bit12 +19576*G0186091_bit_7 +39152*G0186091_bit_6 +78304*G0186091_bit_5 +156608*G0186091_bit_4 +313216*G0186091_bit_3 +626432*G0186091_bit_2 +1252864*G0186091_bit_1 +2505728*G0186091_bit0 +5011456*G0186091_bit1 +10022912*G0186091_bit2 +20045824*G0186091_bit3 +40091648*G0186091_bit4 +80183296*G0186091_bit5 +160366592*G0186091_bit6 +320733184*G0186091_bit7 +641466368*G0186091_bit8 +1282932736*G0186091_bit9 +2565865472*G0186091_bit10 +5131730944*G0186091_bit11 +10263461888*G0186091_bit12 +3783*G0186101_bit_7 +7566*G0186101_bit_6 +15132*G0186101_bit_5 +30264*G0186101_bit_4 +60528*G0186101_bit_3 +121056*G0186101_bit_2 +242112*G0186101_bit_1 +484224*G0186101_bit0 +968448*G0186101_bit1 +1936896*G0186101_bit2 +3873792*G0186101_bit3 +7747584*G0186101_bit4 +15495168*G0186101_bit5 +30990336*G0186101_bit6 +61980672*G0186101_bit7 +123961344*G0186101_bit8 +247922688*G0186101_bit9 +495845376*G0186101_bit10 +991690752*G0186101_bit11 +1983381504*G0186101_bit12 +39565*G0186161_bit_7 +79130*G0186161_bit_6 +158260*G0186161_bit_5 +316520*G0186161_bit_4 +633040*G0186161_bit_3 +1266080*G0186161_bit_2 +2532160*G0186161_bit_1 +5064320*G0186161_bit0 +10128640*G0186161_bit1 +20257280*G0186161_bit2 +40514560*G0186161_bit3 +81029120*G0186161_bit4 +162058240*G0186161_bit5 +324116480*G0186161_bit6 +648232960*G0186161_bit7 +1296465920*G0186161_bit8 +2592931840*G0186161_bit9 +5185863680*G0186161_bit10 +10371727360*G0186161_bit11 +20743454720*G0186161_bit12 +34550*G0186171_bit_7 +69100*G0186171_bit_6 +138200*G0186171_bit_5 +276400*G0186171_bit_4 +552800*G0186171_bit_3 +1105600*G0186171_bit_2 +2211200*G0186171_bit_1 +4422400*G0186171_bit0 +8844800*G0186171_bit1 +17689600*G0186171_bit2 +35379200*G0186171_bit3 +70758400*G0186171_bit4 +141516800*G0186171_bit5 +283033600*G0186171_bit6 +566067200*G0186171_bit7 +1132134400*G0186171_bit8 +2264268800*G0186171_bit9 +4528537600*G0186171_bit10 +9057075200*G0186171_bit11 +18114150400*G0186171_bit12 +101237*G0186201_bit_7 +202474*G0186201_bit_6 +404948*G0186201_bit_5 +809896*G0186201_bit_4 +1619792*G0186201_bit_3 +3239584*G0186201_bit_2 +6479168*G0186201_bit_1 +12958336*G0186201_bit0 +25916672*G0186201_bit1 +51833344*G0186201_bit2 +103666688*G0186201_bit3 +207333376*G0186201_bit4 +414666752*G0186201_bit5 +829333504*G0186201_bit6 +1658667008*G0186201_bit7 +3317334016*G0186201_bit8 +6634668032*G0186201_bit9 +13269336064*G0186201_bit10 +26538672128*G0186201_bit11 +53077344256*G0186201_bit12 +123040*G0186211_bit_7 +246080*G0186211_bit_6 +492160*G0186211_bit_5 +984320*G0186211_bit_4 +1968640*G0186211_bit_3 +3937280*G0186211_bit_2 +7874560*G0186211_bit_1 +15749120*G0186211_bit0 +31498240*G0186211_bit1 +62996480*G0186211_bit2 +125992960*G0186211_bit3 +251985920*G0186211_bit4 +503971840*G0186211_bit5 +1007943680*G0186211_bit6 +2015887360*G0186211_bit7 +4031774720*G0186211_bit8 +8063549440*G0186211_bit9 +16127098880*G0186211_bit10 +32254197760*G0186211_bit11 +64508395520*G0186211_bit12 +121220*G0186221_bit_7 +242440*G0186221_bit_6 +484880*G0186221_bit_5 +969760*G0186221_bit_4 +1939520*G0186221_bit_3 +3879040*G0186221_bit_2 +7758080*G0186221_bit_1 +15516160*G0186221_bit0 +31032320*G0186221_bit1 +62064640*G0186221_bit2 +124129280*G0186221_bit3 +248258560*G0186221_bit4 +496517120*G0186221_bit5 +993034240*G0186221_bit6 +1986068480*G0186221_bit7 +3972136960*G0186221_bit8 +7944273920*G0186221_bit9 +15888547840*G0186221_bit10 +31777095680*G0186221_bit11 +63554191360*G0186221_bit12 +102420*G0186231_bit_7 +204840*G0186231_bit_6 +409680*G0186231_bit_5 +819360*G0186231_bit_4 +1638720*G0186231_bit_3 +3277440*G0186231_bit_2 +6554880*G0186231_bit_1 +13109760*G0186231_bit0 +26219520*G0186231_bit1 +52439040*G0186231_bit2 +104878080*G0186231_bit3 +209756160*G0186231_bit4 +419512320*G0186231_bit5 +839024640*G0186231_bit6 +1678049280*G0186231_bit7 +3356098560*G0186231_bit8 +6712197120*G0186231_bit9 +13424394240*G0186231_bit10 +26848788480*G0186231_bit11 +53697576960*G0186231_bit12 +81054*G0186241_bit_7 +162108*G0186241_bit_6 +324216*G0186241_bit_5 +648432*G0186241_bit_4 +1296864*G0186241_bit_3 +2593728*G0186241_bit_2 +5187456*G0186241_bit_1 +10374912*G0186241_bit0 +20749824*G0186241_bit1 +41499648*G0186241_bit2 +82999296*G0186241_bit3 +165998592*G0186241_bit4 +331997184*G0186241_bit5 +663994368*G0186241_bit6 +1327988736*G0186241_bit7 +2655977472*G0186241_bit8 +5311954944*G0186241_bit9 +10623909888*G0186241_bit10 +21247819776*G0186241_bit11 +42495639552*G0186241_bit12 +51821*G0186281_bit_7 +103642*G0186281_bit_6 +207284*G0186281_bit_5 +414568*G0186281_bit_4 +829136*G0186281_bit_3 +1658272*G0186281_bit_2 +3316544*G0186281_bit_1 +6633088*G0186281_bit0 +13266176*G0186281_bit1 +26532352*G0186281_bit2 +53064704*G0186281_bit3 +106129408*G0186281_bit4 +212258816*G0186281_bit5 +424517632*G0186281_bit6 +849035264*G0186281_bit7 +1698070528*G0186281_bit8 +3396141056*G0186281_bit9 +6792282112*G0186281_bit10 +13584564224*G0186281_bit11 +27169128448*G0186281_bit12 +121220*G0186291_bit_7 +242440*G0186291_bit_6 +484880*G0186291_bit_5 +969760*G0186291_bit_4 +1939520*G0186291_bit_3 +3879040*G0186291_bit_2 +7758080*G0186291_bit_1 +15516160*G0186291_bit0 +31032320*G0186291_bit1 +62064640*G0186291_bit2 +124129280*G0186291_bit3 +248258560*G0186291_bit4 +496517120*G0186291_bit5 +993034240*G0186291_bit6 +1986068480*G0186291_bit7 +3972136960*G0186291_bit8 +7944273920*G0186291_bit9 +15888547840*G0186291_bit10 +31777095680*G0186291_bit11 +63554191360*G0186291_bit12 +63074*G0186331_bit_7 +126148*G0186331_bit_6 +252296*G0186331_bit_5 +504592*G0186331_bit_4 +1009184*G0186331_bit_3 +2018368*G0186331_bit_2 +4036736*G0186331_bit_1 +8073472*G0186331_bit0 +16146944*G0186331_bit1 +32293888*G0186331_bit2 +64587776*G0186331_bit3 +129175552*G0186331_bit4 +258351104*G0186331_bit5 +516702208*G0186331_bit6 +1033404416*G0186331_bit7 +2066808832*G0186331_bit8 +4133617664*G0186331_bit9 +8267235328*G0186331_bit10 +16534470656*G0186331_bit11 +33068941312*G0186331_bit12 +108083*G0186341_bit_7 +216166*G0186341_bit_6 +432332*G0186341_bit_5 +864664*G0186341_bit_4 +1729328*G0186341_bit_3 +3458656*G0186341_bit_2 +6917312*G0186341_bit_1 +13834624*G0186341_bit0 +27669248*G0186341_bit1 +55338496*G0186341_bit2 +110676992*G0186341_bit3 +221353984*G0186341_bit4 +442707968*G0186341_bit5 +885415936*G0186341_bit6 +1770831872*G0186341_bit7 +3541663744*G0186341_bit8 +7083327488*G0186341_bit9 +14166654976*G0186341_bit10 +28333309952*G0186341_bit11 +56666619904*G0186341_bit12 +69277*G0186411_bit_7 +138554*G0186411_bit_6 +277108*G0186411_bit_5 +554216*G0186411_bit_4 +1108432*G0186411_bit_3 +2216864*G0186411_bit_2 +4433728*G0186411_bit_1 +8867456*G0186411_bit0 +17734912*G0186411_bit1 +35469824*G0186411_bit2 +70939648*G0186411_bit3 +141879296*G0186411_bit4 +283758592*G0186411_bit5 +567517184*G0186411_bit6 +1135034368*G0186411_bit7 +2270068736*G0186411_bit8 +4540137472*G0186411_bit9 +9080274944*G0186411_bit10 +18160549888*G0186411_bit11 +36321099776*G0186411_bit12 +156780*G0186431_bit_7 +313560*G0186431_bit_6 +627120*G0186431_bit_5 +1254240*G0186431_bit_4 +2508480*G0186431_bit_3 +5016960*G0186431_bit_2 +10033920*G0186431_bit_1 +20067840*G0186431_bit0 +40135680*G0186431_bit1 +80271360*G0186431_bit2 +160542720*G0186431_bit3 +321085440*G0186431_bit4 +642170880*G0186431_bit5 +1284341760*G0186431_bit6 +2568683520*G0186431_bit7 +5137367040*G0186431_bit8 +10274734080*G0186431_bit9 +20549468160*G0186431_bit10 +41098936320*G0186431_bit11 +82197872640*G0186431_bit12 +140625*G0186441_bit_7 +281250*G0186441_bit_6 +562500*G0186441_bit_5 +1125000*G0186441_bit_4 +2250000*G0186441_bit_3 +4500000*G0186441_bit_2 +9000000*G0186441_bit_1 +18000000*G0186441_bit0 +36000000*G0186441_bit1 +72000000*G0186441_bit2 +144000000*G0186441_bit3 +288000000*G0186441_bit4 +576000000*G0186441_bit5 +1152000000*G0186441_bit6 +2304000000*G0186441_bit7 +4608000000*G0186441_bit8 +9216000000*G0186441_bit9 +18432000000*G0186441_bit10 +36864000000*G0186441_bit11 +73728000000*G0186441_bit12 +26634*G0186451_bit_7 +53268*G0186451_bit_6 +106536*G0186451_bit_5 +213072*G0186451_bit_4 +426144*G0186451_bit_3 +852288*G0186451_bit_2 +1704576*G0186451_bit_1 +3409152*G0186451_bit0 +6818304*G0186451_bit1 +13636608*G0186451_bit2 +27273216*G0186451_bit3 +54546432*G0186451_bit4 +109092864*G0186451_bit5 +218185728*G0186451_bit6 +436371456*G0186451_bit7 +872742912*G0186451_bit8 +1745485824*G0186451_bit9 +3490971648*G0186451_bit10 +6981943296*G0186451_bit11 +13963886592*G0186451_bit12 +81948*G0186461_bit_7 +163896*G0186461_bit_6 +327792*G0186461_bit_5 +655584*G0186461_bit_4 +1311168*G0186461_bit_3 +2622336*G0186461_bit_2 +5244672*G0186461_bit_1 +10489344*G0186461_bit0 +20978688*G0186461_bit1 +41957376*G0186461_bit2 +83914752*G0186461_bit3 +167829504*G0186461_bit4 +335659008*G0186461_bit5 +671318016*G0186461_bit6 +1342636032*G0186461_bit7 +2685272064*G0186461_bit8 +5370544128*G0186461_bit9 +10741088256*G0186461_bit10 +21482176512*G0186461_bit11 +42964353024*G0186461_bit12 +85129*G0186581_bit_7 +170258*G0186581_bit_6 +340516*G0186581_bit_5 +681032*G0186581_bit_4 +1362064*G0186581_bit_3 +2724128*G0186581_bit_2 +5448256*G0186581_bit_1 +10896512*G0186581_bit0 +21793024*G0186581_bit1 +43586048*G0186581_bit2 +87172096*G0186581_bit3 +174344192*G0186581_bit4 +348688384*G0186581_bit5 +697376768*G0186581_bit6 +1394753536*G0186581_bit7 +2789507072*G0186581_bit8 +5579014144*G0186581_bit9 +11158028288*G0186581_bit10 +22316056576*G0186581_bit11 +44632113152*G0186581_bit12 +62025*G0186711_bit_7 +124050*G0186711_bit_6 +248100*G0186711_bit_5 +496200*G0186711_bit_4 +992400*G0186711_bit_3 +1984800*G0186711_bit_2 +3969600*G0186711_bit_1 +7939200*G0186711_bit0 +15878400*G0186711_bit1 +31756800*G0186711_bit2 +63513600*G0186711_bit3 +127027200*G0186711_bit4 +254054400*G0186711_bit5 +508108800*G0186711_bit6 +1016217600*G0186711_bit7 +2032435200*G0186711_bit8 +4064870400*G0186711_bit9 +8129740800*G0186711_bit10 +16259481600*G0186711_bit11 +32518963200*G0186711_bit12 +6290*G0186831_bit_7 +12580*G0186831_bit_6 +25160*G0186831_bit_5 +50320*G0186831_bit_4 +100640*G0186831_bit_3 +201280*G0186831_bit_2 +402560*G0186831_bit_1 +805120*G0186831_bit0 +1610240*G0186831_bit1 +3220480*G0186831_bit2 +6440960*G0186831_bit3 +12881920*G0186831_bit4 +25763840*G0186831_bit5 +51527680*G0186831_bit6 +103055360*G0186831_bit7 +206110720*G0186831_bit8 +412221440*G0186831_bit9 +824442880*G0186831_bit10 +1648885760*G0186831_bit11 +3297771520*G0186831_bit12 -755*G0186971_bit_7 -1510*G0186971_bit_6 -3020*G0186971_bit_5 -6040*G0186971_bit_4 -12080*G0186971_bit_3 -24160*G0186971_bit_2 -48320*G0186971_bit_1 -96640*G0186971_bit0 -193280*G0186971_bit1 -386560*G0186971_bit2 -773120*G0186971_bit3 -1546240*G0186971_bit4 -3092480*G0186971_bit5 -6184960*G0186971_bit6 -12369920*G0186971_bit7 -24739840*G0186971_bit8 -49479680*G0186971_bit9 -98959360*G0186971_bit10 -197918720*G0186971_bit11 -395837440*G0186971_bit12 >= +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-maros.opb s UNKNOWN c Exit Code: 0 c Total time: 10.571 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.67 0.87 0.88 2/55 4332 Raw data (stat): 4332 (runsolver) R 4331 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853015027 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0002 s] Raw data (loadavg): 0.72 0.88 0.88 2/55 4332 Raw data (stat): 4332 (bsolo_lpr_cuts-) R 4331 8378 8377 0 -1 0 15311 0 0 0 964 33 0 0 25 0 1 0 853015027 75857920 15231 4294967295 134512640 134716908 3221224560 3221222836 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18520 15231 1111 63 0 18457 0 vsize: 74080 [startup+10.6615 s] Raw data (loadavg): 0.72 0.88 0.88 1/54 4332 Raw data (stat): 4332 (bsolo_lpr_cuts-) R 4331 8378 8377 0 -1 0 15311 0 0 0 964 33 0 0 25 0 1 0 853015027 75857920 15231 4294967295 134512640 134716908 3221224560 3221222836 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18520 15231 1111 63 0 18457 0 vsize: 0 Child status: 0 Real time (s): 10.6612 CPU time (s): 10.6094 CPU user time (s): 10.2014 CPU system time (s): 0.407937 CPU usage (%): 99.5145 Max. virtual memory (Kb): 74080 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####