Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1p.opb |
MD5SUM | 0417a8bac185d4a033d4915882b274ef |
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 | 30780 |
Biggest coefficient in the objective function | 1610612736 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 1591285381686 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 59431609958400 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 209844586667159 |
Number of bits of the biggest sum of numbers | 48 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.394938 |
Number of variables | 45485 |
Total number of constraints | 1026 |
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 | 1026 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 619 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-05-24 17:10:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=10792 boxname=wulflinc5 idbench=831 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 0417a8bac185d4a033d4915882b274ef /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-fit1p.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-fit1p.opb IDLAUNCH: 10792 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 879048 kB Buffers: 6396 kB Cached: 127608 kB SwapCached: 636 kB Active: 36212 kB Inactive: 100412 kB HighTotal: 131008 kB HighFree: 1316 kB LowTotal: 903652 kB LowFree: 877732 kB SwapTotal: 2097136 kB SwapFree: 2096140 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5760 kB Slab: 13148 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 17:13:15 (client local time) WITH STATUS 0 IN 174.242 SECONDS stats: 10792 7 174.242 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +100*CONSTANT_bit_10 +200*CONSTANT_bit_9 +400*CONSTANT_bit_8 +800*CONSTANT_bit_7 +1600*CONSTANT_bit_6 +3200*CONSTANT_bit_5 +6400*CONSTANT_bit_4 +12800*CONSTANT_bit_3 +25600*CONSTANT_bit_2 +51200*CONSTANT_bit_1 +102400*CONSTANT_bit0 +204800*CONSTANT_bit1 +409600*CONSTANT_bit2 +819200*CONSTANT_bit3 +1638400*CONSTANT_bit4 +3276800*CONSTANT_bit5 +6553600*CONSTANT_bit6 +13107200*CONSTANT_bit7 +26214400*CONSTANT_bit8 +52428800*CONSTANT_bit9 +104857600*CONSTANT_bit10 +209715200*CONSTANT_bit11 +419430400*CONSTANT_bit12 +838860800*CONSTANT_bit13 +1677721600*CONSTANT_bit14 +3355443200*CONSTANT_bit15 +6710886400*CONSTANT_bit16 +13421772800*CONSTANT_bit17 +26843545600*CONSTANT_bit18 +53687091200*CONSTANT_bit19 +400*X0000001_bit_10 +800*X0000001_bit_9 +1600*X0000001_bit_8 +3200*X0000001_bit_7 +6400*X0000001_bit_6 +12800*X0000001_bit_5 +25600*X0000001_bit_4 +51200*X0000001_bit_3 +102400*X0000001_bit_2 +204800*X0000001_bit_1 +409600*X0000001_bit0 +819200*X0000001_bit1 +1638400*X0000001_bit2 +3276800*X0000001_bit3 +6553600*X0000001_bit4 +13107200*X0000001_bit5 +26214400*X0000001_bit6 +52428800*X0000001_bit7 +104857600*X0000001_bit8 +209715200*X0000001_bit9 +419430400*X0000001_bit10 +838860800*X0000001_bit11 +1677721600*X0000001_bit12 +3355443200*X0000001_bit13 +6710886400*X0000001_bit14 +13421772800*X0000001_bit15 +26843545600*X0000001_bit16 +53687091200*X0000001_bit17 +107374182400*X0000001_bit18 +214748364800*X0000001_bit19 -100*X0000003_bit_10 -200*X0000003_bit_9 -400*X0000003_bit_8 -800*X0000003_bit_7 -1600*X0000003_bit_6 -3200*X0000003_bit_5 -6400*X0000003_bit_4 -12800*X0000003_bit_3 -25600*X0000003_bit_2 -51200*X0000003_bit_1 -102400*X0000003_bit0 -204800*X0000003_bit1 -409600*X0000003_bit2 -819200*X0000003_bit3 -1638400*X0000003_bit4 -3276800*X0000003_bit5 -6553600*X0000003_bit6 -13107200*X0000003_bit7 -26214400*X0000003_bit8 -52428800*X0000003_bit9 -104857600*X0000003_bit10 -209715200*X0000003_bit11 -419430400*X0000003_bit12 -838860800*X0000003_bit13 -1677721600*X0000003_bit14 -3355443200*X0000003_bit15 -6710886400*X0000003_bit16 -13421772800*X0000003_bit17 -26843545600*X0000003_bit18 -53687091200*X0000003_bit19 -200*X0000005_bit_10 -400*X0000005_bit_9 -800*X0000005_bit_8 -1600*X0000005_bit_7 -3200*X0000005_bit_6 -6400*X0000005_bit_5 -12800*X0000005_bit_4 -25600*X0000005_bit_3 -51200*X0000005_bit_2 -102400*X0000005_bit_1 -204800*X0000005_bit0 -409600*X0000005_bit1 -819200*X0000005_bit2 -1638400*X0000005_bit3 -3276800*X0000005_bit4 -6553600*X0000005_bit5 -13107200*X0000005_bit6 -26214400*X0000005_bit7 -52428800*X0000005_bit8 -104857600*X0000005_bit9 -209715200*X0000005_bit10 -419430400*X0000005_bit11 -838860800*X0000005_bit12 -1677721600*X0000005_bit13 -3355443200*X0000005_bit14 -6710886400*X0000005_bit15 -13421772800*X0000005_bit16 -26843545600*X0000005_bit17 -53687091200*X0000005_bit18 -107374182400*X0000005_bit19 -13*X0000006_bit_10 -26*X0000006_bit_9 -52*X0000006_bit_8 -104*X0000006_bit_7 -208*X0000006_bit_6 -416*X0000006_bit_5 -832*X0000006_bit_4 -1664*X0000006_bit_3 -3328*X0000006_bit_2 -6656*X0000006_bit_1 -13312*X0000006_bit0 -26624*X0000006_bit1 -53248*X0000006_bit2 -106496*X0000006_bit3 -212992*X0000006_bit4 -425984*X0000006_bit5 -851968*X0000006_bit6 -1703936*X0000006_bit7 -3407872*X0000006_bit8 -6815744*X0000006_bit9 -13631488*X0000006_bit10 -27262976*X0000006_bit11 -54525952*X0000006_bit12 -109051904*X0000006_bit13 -218103808*X0000006_bit14 -436207616*X0000006_bit15 -872415232*X0000006_bit16 -1744830464*X0000006_bit17 -3489660928*X0000006_bit18 -6979321856*X0000006_bit19 +2400*X0000007_bit_10 +4800*X0000007_bit_9 +9600*X0000007_bit_8 +19200*X0000007_bit_7 +38400*X0000007_bit_6 +76800*X0000007_bit_5 +153600*X0000007_bit_4 +307200*X0000007_bit_3 +614400*X0000007_bit_2 +1228800*X0000007_bit_1 +2457600*X0000007_bit0 +4915200*X0000007_bit1 +9830400*X0000007_bit2 +19660800*X0000007_bit3 +39321600*X0000007_bit4 +78643200*X0000007_bit5 +157286400*X0000007_bit6 +314572800*X0000007_bit7 +629145600*X0000007_bit8 +1258291200*X0000007_bit9 +2516582400*X0000007_bit10 +5033164800*X0000007_bit11 +10066329600*X0000007_bit12 +20132659200*X0000007_bit13 +40265318400*X0000007_bit14 +80530636800*X0000007_bit15 +161061273600*X0000007_bit16 +322122547200*X0000007_bit17 +644245094400*X0000007_bit18 +1288490188800*X0000007_bit19 +7200*X0000008_bit_10 +14400*X0000008_bit_9 +28800*X0000008_bit_8 +57600*X0000008_bit_7 +115200*X0000008_bit_6 +230400*X0000008_bit_5 +460800*X0000008_bit_4 +921600*X0000008_bit_3 +1843200*X0000008_bit_2 +3686400*X0000008_bit_1 +7372800*X0000008_bit0 +14745600*X0000008_bit1 +29491200*X0000008_bit2 +58982400*X0000008_bit3 +117964800*X0000008_bit4 +235929600*X0000008_bit5 +471859200*X0000008_bit6 +943718400*X0000008_bit7 +1887436800*X0000008_bit8 +3774873600*X0000008_bit9 +7549747200*X0000008_bit10 +15099494400*X0000008_bit11 +30198988800*X0000008_bit12 +60397977600*X0000008_bit13 +120795955200*X0000008_bit14 +241591910400*X0000008_bit15 +483183820800*X0000008_bit16 +966367641600*X0000008_bit17 +1932735283200*X0000008_bit18 +3865470566400*X0000008_bit19 +400*X0000009_bit_10 +800*X0000009_bit_9 +1600*X0000009_bit_8 +3200*X0000009_bit_7 +6400*X0000009_bit_6 +12800*X0000009_bit_5 +25600*X0000009_bit_4 +51200*X0000009_bit_3 +102400*X0000009_bit_2 +204800*X0000009_bit_1 +409600*X0000009_bit0 +819200*X0000009_bit1 +1638400*X0000009_bit2 +3276800*X0000009_bit3 +6553600*X0000009_bit4 +13107200*X0000009_bit5 +26214400*X0000009_bit6 +52428800*X0000009_bit7 +104857600*X0000009_bit8 +209715200*X0000009_bit9 +419430400*X0000009_bit10 +838860800*X0000009_bit11 +1677721600*X0000009_bit12 +3355443200*X0000009_bit13 +6710886400*X0000009_bit14 +13421772800*X0000009_bit15 +26843545600*X0000009_bit16 +53687091200*X0000009_bit17 +107374182400*X0000009_bit18 +214748364800*X0000009_bit19 -300*X0000010_bit_10 -600*X0000010_bit_9 -1200*X0000010_bit_8 -2400*X0000010_bit_7 -4800*X0000010_bit_6 -9600*X0000010_bit_5 -19200*X0000010_bit_4 -38400*X0000010_bit_3 -76800*X0000010_bit_2 -153600*X0000010_bit_1 -307200*X0000010_bit0 -614400*X0000010_bit1 -1228800*X0000010_bit2 -2457600*X0000010_bit3 -4915200*X0000010_bit4 -9830400*X0000010_bit5 -19660800*X0000010_bit6 -39321600*X0000010_bit7 -78643200*X0000010_bit8 -157286400*X0000010_bit9 -314572800*X0000010_bit10 -629145600*X0000010_bit11 -1258291200*X0000010_bit12 -2516582400*X0000010_bit13 -5033164800*X0000010_bit14 -10066329600*X0000010_bit15 -20132659200*X0000010_bit16 -40265318400*X0000010_bit17 -80530636800*X0000010_bit18 -161061273600*X0000010_bit19 -13800*X0000011_bit_10 -27600*X0000011_bit_9 -55200*X0000011_bit_8 -110400*X0000011_bit_7 -220800*X0000011_bit_6 -441600*X0000011_bit_5 -883200*X0000011_bit_4 -1766400*X0000011_bit_3 -3532800*X0000011_bit_2 -7065600*X0000011_bit_1 -14131200*X0000011_bit0 -28262400*X0000011_bit1 -56524800*X0000011_bit2 -113049600*X0000011_bit3 -226099200*X0000011_bit4 -452198400*X0000011_bit5 -904396800*X0000011_bit6 -1808793600*X0000011_bit7 -3617587200*X0000011_bit8 -7235174400*X0000011_bit9 -14470348800*X0000011_bit10 -28940697600*X0000011_bit11 -57881395200*X0000011_bit12 -115762790400*X0000011_bit13 -231525580800*X0000011_bit14 -463051161600*X0000011_bit15 -926102323200*X0000011_bit16 -1852204646400*X0000011_bit17 -3704409292800*X0000011_bit18 -7408818585600*X0000011_bit19 +100*X0000014_bit_10 +200*X0000014_bit_9 +400*X0000014_bit_8 +800*X0000014_bit_7 +1600*X0000014_bit_6 +3200*X0000014_bit_5 +6400*X0000014_bit_4 +12800*X0000014_bit_3 +25600*X0000014_bit_2 +51200*X0000014_bit_1 +102400*X0000014_bit0 +204800*X0000014_bit1 +409600*X0000014_bit2 +819200*X0000014_bit3 +1638400*X0000014_bit4 +3276800*X0000014_bit5 +6553600*X0000014_bit6 +13107200*X0000014_bit7 +26214400*X0000014_bit8 +52428800*X0000014_bit9 +104857600*X0000014_bit10 +209715200*X0000014_bit11 +419430400*X0000014_bit12 +838860800*X0000014_bit13 +1677721600*X0000014_bit14 +3355443200*X0000014_bit15 +6710886400*X0000014_bit16 +13421772800*X0000014_bit17 +26843545600*X0000014_bit18 +53687091200*X0000014_bit19 +100*X0000018_bit_10 +200*X0000018_bit_9 +400*X0000018_bit_8 +800*X0000018_bit_7 +1600*X0000018_bit_6 +3200*X0000018_bit_5 +6400*X0000018_bit_4 +12800*X0000018_bit_3 +25600*X0000018_bit_2 +51200*X0000018_bit_1 +102400*X0000018_bit0 +204800*X0000018_bit1 +409600*X0000018_bit2 +819200*X0000018_bit3 +1638400*X0000018_bit4 +3276800*X0000018_bit5 +6553600*X0000018_bit6 +13107200*X0000018_bit7 +26214400*X0000018_bit8 +52428800*X0000018_bit9 +104857600*X0000018_bit10 +209715200*X0000018_bit11 +419430400*X0000018_bit12 +838860800*X0000018_bit13 +1677721600*X0000018_bit14 +3355443200*X0000018_bit15 +6710886400*X0000018_bit16 +13421772800*X0000018_bit17 +26843545600*X0000018_bit18 +53687091200*X0000018_bit19 +100*X0000020_bit_10 +200*X0000020_bit_9 +400*X0000020_bit_8 +800*X0000020_bit_7 +1600*X0000020_bit_6 +3200*X0000020_bit_5 +6400*X0000020_bit_4 +12800*X0000020_bit_3 +25600*X0000020_bit_2 +51200*X0000020_bit_1 +102400*X0000020_bit0 +204800*X0000020_bit1 +409600*X0000020_bit2 +819200*X0000020_bit3 +1638400*X0000020_bit4 +3276800*X0000020_bit5 +6553600*X0000020_bit6 +13107200*X0000020_bit7 +26214400*X0000020_bit8 +52428800*X0000020_bit9 +104857600*X0000020_bit10 +209715200*X0000020_bit11 +419430400*X0000020_bit12 +838860800*X0000020_bit13 +1677721600*X0000020_bit14 +3355443200*X0000020_bit15 +6710886400*X0000020_bit16 +13421772800*X0000020_bit17 +26843545600*X0000020_bit18 +53687091200*X0000020_bit19 -100*X0000022_bit_10 -200*X0000022_bit_9 -400*X0000022_bit_8 -800*X0000022_bit_7 -1600*X0000022_bit_6 -3200*X0000022_bit_5 -6400*X0000022_bit_4 -12800*X0000022_bit_3 -25600*X0000022_bit_2 -51200*X0000022_bit_1 -102400*X0000022_bit0 -204800*X0000022_bit1 -409600*X0000022_bit2 -819200*X0000022_bit3 -1638400*X0000022_bit4 -3276800*X0000022_bit5 -6553600*X0000022_bit6 -13107200*X0000022_bit7 -26214400*X0000022_bit8 -52428800*X0000022_bit9 -104857600*X0000022_bit10 -209715200*X0000022_bit11 -419430400*X0000022_bit12 -838860800*X0000022_bit13 -1677721600*X0000022_bit14 -3355443200*X0000022_bit15 -6710886400*X0000022_bit16 -13421772800*X0000022_bit17 -26843545600*X0000022_bit18 -53687091200*X0000022_bit19 +100*S0100001_bit_10 +200*S0100001_bit_9 +400*S0100001_bit_8 +800*S0100001_bit_7 +1600*S0100001_bit_6 +3200*S0100001_bit_5 +6400*S0100001_bit_4 +12800*S0100001_bit_3 +25600*S0100001_bit_2 +51200*S0100001_bit_1 +102400*S0100001_bit0 +204800*S0100001_bit1 +409600*S0100001_bit2 +819200*S0100001_bit3 +1638400*S0100001_bit4 +3276800*S0100001_bit5 +6553600*S0100001_bit6 +13107200*S0100001_bit7 +26214400*S0100001_bit8 +52428800*S0100001_bit9 +104857600*S0100001_bit10 +209715200*S0100001_bit11 +419430400*S0100001_bit12 +838860800*S0100001_bit13 +1677721600*S0100001_bit14 +3355443200*S0100001_bit15 +6710886400*S0100001_bit16 +13421772800*S0100001_bit17 +26843545600*S0100001_bit18 +53687091200*S0100001_bit19 -100*S0200001_bit_10 -200*S0200001_bit_9 -400*S0200001_bit_8 -800*S0200001_bit_7 -1600*S0200001_bit_6 -3200*S0200001_bit_5 -6400*S0200001_bit_4 -12800*S0200001_bit_3 -25600*S0200001_bit_2 -51200*S0200001_bit_1 -102400*S0200001_bit0 -204800*S0200001_bit1 -409600*S0200001_bit2 -819200*S0200001_bit3 -1638400*S0200001_bit4 -3276800*S0200001_bit5 -6553600*S0200001_bit6 -13107200*S0200001_bit7 -100*S0300001_bit_10 -200*S0300001_bit_9 -400*S0300001_bit_8 -800*S0300001_bit_7 -1600*S0300001_bit_6 -3200*S0300001_bit_5 -6400*S0300001_bit_4 -12800*S0300001_bit_3 -25600*S0300001_bit_2 -51200*S0300001_bit_1 -102400*S0300001_bit0 -204800*S0300001_bit1 -409600*S0300001_bit2 -819200*S0300001_bit3 -1638400*S0300001_bit4 -3276800*S0300001_bit5 -6553600*S0300001_bit6 -13107200*S0300001_bit7 -26214400*S0300001_bit8 -52428800*S0300001_bit9 -104857600*S0300001_bit10 -209715200*S0300001_bit11 -419430400*S0300001_bit12 -838860800*S0300001_bit13 -1677721600*S0300001_bit14 -3355443200*S0300001_bit15 -6710886400*S0300001_bit16 -13421772800*S0300001_bit17 -26843545600*S0300001_bit18 -53687091200*S0300001_bit19 = +4608000; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-fit1p.opb s UNKNOWN c Exit Code: 0 c Total time: 174.194 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 Raw data (loadavg): 1.00 1.00 0.96 1/54 9631 Raw data (stat): 9631 (runsolver) D 9630 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 773709602 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0005 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 1118 0 0 0 974 2 0 0 25 0 1 0 773709602 17137664 1042 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4184 1042 1111 63 0 4121 0 vsize: 16736 [startup+20.0009 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 1662 0 0 0 1974 3 0 0 25 0 1 0 773709602 19341312 1586 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4722 1586 1111 63 0 4659 0 vsize: 18888 [startup+30.001 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 2237 0 0 0 2973 4 0 0 25 0 1 0 773709602 21749760 2161 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5310 2161 1111 63 0 5247 0 vsize: 21240 [startup+40.0017 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 2861 0 0 0 3972 5 0 0 25 0 1 0 773709602 24297472 2785 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5932 2785 1111 63 0 5869 0 vsize: 23728 [startup+50.0022 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 3540 0 0 0 4971 6 0 0 25 0 1 0 773709602 26984448 3464 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6588 3464 1111 63 0 6525 0 vsize: 26352 [startup+60.0027 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 4262 0 0 0 5970 7 0 0 25 0 1 0 773709602 29982720 4186 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7320 4186 1111 63 0 7257 0 vsize: 29280 [startup+70.003 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 5024 0 0 0 6969 8 0 0 25 0 1 0 773709602 33181696 4948 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8101 4948 1111 63 0 8038 0 vsize: 32404 [startup+80.0036 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 5834 0 0 0 7968 10 0 0 25 0 1 0 773709602 36491264 5758 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8909 5758 1111 63 0 8846 0 vsize: 35636 [startup+90.0099 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 6692 0 0 0 8968 11 0 0 25 0 1 0 773709602 39952384 6616 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9754 6616 1111 63 0 9691 0 vsize: 39016 [startup+100.01 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 7593 0 0 0 9966 12 0 0 25 0 1 0 773709602 43683840 7517 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10665 7517 1111 63 0 10602 0 vsize: 42660 [startup+110.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 8565 0 0 0 10966 13 0 0 25 0 1 0 773709602 47710208 8489 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11648 8489 1111 63 0 11585 0 vsize: 46592 [startup+120.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 9563 0 0 0 11964 15 0 0 25 0 1 0 773709602 51855360 9487 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12660 9487 1111 63 0 12597 0 vsize: 50640 [startup+130.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 10619 0 0 0 12962 17 0 0 25 0 1 0 773709602 56066048 10543 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13688 10543 1111 63 0 13625 0 vsize: 54752 [startup+140.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 11740 0 0 0 13959 20 0 0 25 0 1 0 773709602 60735488 11664 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14828 11664 1111 63 0 14765 0 vsize: 59312 [startup+150.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 12903 0 0 0 14957 23 0 0 25 0 1 0 773709602 65400832 12827 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15967 12827 1111 63 0 15904 0 vsize: 63868 [startup+160.013 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 14071 0 0 0 15954 26 0 0 25 0 1 0 773709602 70217728 13995 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17143 13995 1111 63 0 17080 0 vsize: 68572 [startup+170.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 15340 0 0 0 16953 28 0 0 25 0 1 0 773709602 75304960 15264 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18385 15264 1111 63 0 18322 0 vsize: 73540 [startup+174.444 s] Raw data (loadavg): 1.00 1.00 0.96 1/53 9631 Raw data (stat): 9631 (bsolo_lpr_cuts) R 9630 7266 7265 0 -1 0 15340 0 0 0 16953 28 0 0 25 0 1 0 773709602 75304960 15264 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18385 15264 1111 63 0 18322 0 vsize: 0 Child status: 0 Real time (s): 174.444 CPU time (s): 174.242 CPU user time (s): 173.8 CPU system time (s): 0.441932 CPU usage (%): 99.8842 Max. virtual memory (Kb): 73540 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####