Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-gt2.opb |
MD5SUM | f1382105ee9fb79777762a53cf6a73c1 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21166 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 62376 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 3092598 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 62376 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 3092598 |
Number of bits of the biggest sum of numbers | 22 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.14 |
Number of variables | 556 |
Total number of constraints | 217 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 191 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 48 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-08 09:10:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28463 boxname=wulflinc5 idbench=1419 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: f1382105ee9fb79777762a53cf6a73c1 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gt2.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-gt2.opb IDLAUNCH: 28463 /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: 903620 kB Buffers: 10644 kB Cached: 98344 kB SwapCached: 696 kB Active: 22152 kB Inactive: 88860 kB HighTotal: 131008 kB HighFree: 42672 kB LowTotal: 903652 kB LowFree: 860948 kB SwapTotal: 2097136 kB SwapFree: 2095476 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5080 kB Slab: 14372 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 09:29:44 (client local time) WITH STATUS 10 IN 1175.31 SECONDS stats: 28463 0 1175.31 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 556 variables and 180 constraints. c After prepocess the problem consists of 556 variables and 193 constraints. c preprocess terminated 0.774 s c Initial Lower Bound: 17002 c Lower Bound Elapsed time: 0.038 c Use computed LB before first solution. c NEW SOLUTION FOUND: 176910 @ 16.253 c NEW SOLUTION FOUND: 171540 @ 16.288 c NEW SOLUTION FOUND: 168716 @ 16.425 c NEW SOLUTION FOUND: 166170 @ 16.442 c NEW SOLUTION FOUND: 164510 @ 16.62 c NEW SOLUTION FOUND: 163485 @ 17.042 c NEW SOLUTION FOUND: 161825 @ 17.317 c NEW SOLUTION FOUND: 160661 @ 17.719 c NEW SOLUTION FOUND: 158115 @ 17.877 c NEW SOLUTION FOUND: 156455 @ 18.308 c NEW SOLUTION FOUND: 156291 @ 23.949 c NEW SOLUTION FOUND: 153411 @ 24.176 c NEW SOLUTION FOUND: 151751 @ 24.443 c NEW SOLUTION FOUND: 150726 @ 28.014 c NEW SOLUTION FOUND: 149066 @ 28.123 c NEW SOLUTION FOUND: 148261 @ 30.056 c NEW SOLUTION FOUND: 147626 @ 44.554 c NEW SOLUTION FOUND: 145966 @ 44.683 c NEW SOLUTION FOUND: 145551 @ 45.979 c NEW SOLUTION FOUND: 145161 @ 47.963 c NEW SOLUTION FOUND: 144966 @ 56.52 c NEW SOLUTION FOUND: 144526 @ 57.747 c NEW SOLUTION FOUND: 144136 @ 57.856 c NEW SOLUTION FOUND: 143721 @ 66.405 c NEW SOLUTION FOUND: 141426 @ 102.936 c NEW SOLUTION FOUND: 141011 @ 105.251 c NEW SOLUTION FOUND: 140621 @ 106.298 s SATISFIABLE v -x_0x2e__0x2e__0x2e_0101_bit0 -x_0x2e__0x2e__0x2e_0101_bit1 -x_0x2e__0x2e__0x2e_0101_bit2 -x_0x2e__0x2e__0x2e_0101_bit3 -x_0x2e__0x2e__0x2e_0201_bit0 -x_0x2e__0x2e__0x2e_0201_bit1 -x_0x2e__0x2e__0x2e_0201_bit2 -x_0x2e__0x2e__0x2e_0201_bit3 -x_0x2e__0x2e__0x2e_0301_bit0 -x_0x2e__0x2e__0x2e_0301_bit1 -x_0x2e__0x2e__0x2e_0301_bit2 -x_0x2e__0x2e__0x2e_0301_bit3 -x_0x2e__0x2e__0x2e_0401_bit0 -x_0x2e__0x2e__0x2e_0401_bit1 -x_0x2e__0x2e__0x2e_0401_bit2 -x_0x2e__0x2e__0x2e_0401_bit3 -x_0x2e__0x2e__0x2e_0701_bit0 -x_0x2e__0x2e__0x2e_0701_bit1 -x_0x2e__0x2e__0x2e_0701_bit2 x_0x2e__0x2e__0x2e_0701_bit3 -x_0x2e__0x2e__0x2e_0801_bit0 -x_0x2e__0x2e__0x2e_0801_bit1 -x_0x2e__0x2e__0x2e_0801_bit2 -x_0x2e__0x2e__0x2e_0801_bit3 -x_0x2e__0x2e__0x2e_0901_bit0 -x_0x2e__0x2e__0x2e_0901_bit1 -x_0x2e__0x2e__0x2e_0901_bit2 -x_0x2e__0x2e__0x2e_0901_bit3 -x_0x2e__0x2e__0x2e_1001_bit0 -x_0x2e__0x2e__0x2e_1001_bit1 -x_0x2e__0x2e__0x2e_1001_bit2 -x_0x2e__0x2e__0x2e_1001_bit3 x_0x2e__0x2e__0x2e_0102_bit0 x_0x2e__0x2e__0x2e_0102_bit1 -x_0x2e__0x2e__0x2e_0102_bit2 -x_0x2e__0x2e__0x2e_0102_bit3 -x_0x2e__0x2e__0x2e_0202_bit0 -x_0x2e__0x2e__0x2e_0202_bit1 -x_0x2e__0x2e__0x2e_0202_bit2 -x_0x2e__0x2e__0x2e_0202_bit3 -x_0x2e__0x2e__0x2e_0302_bit0 -x_0x2e__0x2e__0x2e_0302_bit1 -x_0x2e__0x2e__0x2e_0302_bit2 x_0x2e__0x2e__0x2e_0302_bit3 x_0x2e__0x2e__0x2e_0402_bit0 -x_0x2e__0x2e__0x2e_0402_bit1 -x_0x2e__0x2e__0x2e_0402_bit2 -x_0x2e__0x2e__0x2e_0402_bit3 -x_0x2e__0x2e__0x2e_0502_bit0 -x_0x2e__0x2e__0x2e_0502_bit1 -x_0x2e__0x2e__0x2e_0502_bit2 -x_0x2e__0x2e__0x2e_0502_bit3 -x_0x2e__0x2e__0x2e_0602_bit0 -x_0x2e__0x2e__0x2e_0602_bit1 -x_0x2e__0x2e__0x2e_0602_bit2 -x_0x2e__0x2e__0x2e_0602_bit3 -x_0x2e__0x2e__0x2e_0702_bit0 -x_0x2e__0x2e__0x2e_0702_bit1 -x_0x2e__0x2e__0x2e_0702_bit2 -x_0x2e__0x2e__0x2e_0702_bit3 x_0x2e__0x2e__0x2e_0802_bit0 -x_0x2e__0x2e__0x2e_0802_bit1 -x_0x2e__0x2e__0x2e_0802_bit2 -x_0x2e__0x2e__0x2e_0802_bit3 -x_0x2e__0x2e__0x2e_0902_bit0 -x_0x2e__0x2e__0x2e_0902_bit1 -x_0x2e__0x2e__0x2e_0902_bit2 -x_0x2e__0x2e__0x2e_0902_bit3 -x_0x2e__0x2e__0x2e_1002_bit0 -x_0x2e__0x2e__0x2e_1002_bit1 -x_0x2e__0x2e__0x2e_1002_bit2 -x_0x2e__0x2e__0x2e_1002_bit3 -x_0x2e__0x2e__0x2e_1102_bit0 x_0x2e__0x2e__0x2e_1102_bit1 -x_0x2e__0x2e__0x2e_1102_bit2 -x_0x2e__0x2e__0x2e_1102_bit3 -x_0x2e__0x2e__0x2e_1202_bit0 -x_0x2e__0x2e__0x2e_1202_bit1 -x_0x2e__0x2e__0x2e_1202_bit2 -x_0x2e__0x2e__0x2e_1202_bit3 -x_0x2e__0x2e__0x2e_0103_bit0 x_0x2e__0x2e__0x2e_0103_bit1 -x_0x2e__0x2e__0x2e_0103_bit2 -x_0x2e__0x2e__0x2e_0103_bit3 -x_0x2e__0x2e__0x2e_0203_bit0 -x_0x2e__0x2e__0x2e_0203_bit1 -x_0x2e__0x2e__0x2e_0203_bit2 -x_0x2e__0x2e__0x2e_0203_bit3 -x_0x2e__0x2e__0x2e_0303_bit0 -x_0x2e__0x2e__0x2e_0303_bit1 -x_0x2e__0x2e__0x2e_0303_bit2 -x_0x2e__0x2e__0x2e_0303_bit3 -x_0x2e__0x2e__0x2e_0403_bit0 -x_0x2e__0x2e__0x2e_0403_bit1 -x_0x2e__0x2e__0x2e_0403_bit2 -x_0x2e__0x2e__0x2e_0403_bit3 -x_0x2e__0x2e__0x2e_0503_bit0 -x_0x2e__0x2e__0x2e_0503_bit1 -x_0x2e__0x2e__0x2e_0503_bit2 -x_0x2e__0x2e__0x2e_0503_bit3 -x_0x2e__0x2e__0x2e_0603_bit0 -x_0x2e__0x2e__0x2e_0603_bit1 -x_0x2e__0x2e__0x2e_0603_bit2 -x_0x2e__0x2e__0x2e_0603_bit3 -x_0x2e__0x2e__0x2e_0703_bit0 -x_0x2e__0x2e__0x2e_0703_bit1 -x_0x2e__0x2e__0x2e_0703_bit2 -x_0x2e__0x2e__0x2e_0703_bit3 -x_0x2e__0x2e__0x2e_0803_bit0 -x_0x2e__0x2e__0x2e_0803_bit1 -x_0x2e__0x2e__0x2e_0803_bit2 -x_0x2e__0x2e__0x2e_0803_bit3 -x_0x2e__0x2e__0x2e_0903_bit0 -x_0x2e__0x2e__0x2e_0903_bit1 -x_0x2e__0x2e__0x2e_0903_bit2 -x_0x2e__0x2e__0x2e_0903_bit3 x_0x2e__0x2e__0x2e_1003_bit0 -x_0x2e__0x2e__0x2e_1003_bit1 -x_0x2e__0x2e__0x2e_1003_bit2 -x_0x2e__0x2e__0x2e_1003_bit3 -x_0x2e__0x2e__0x2e_1103_bit0 -x_0x2e__0x2e__0x2e_1103_bit1 -x_0x2e__0x2e__0x2e_1103_bit2 -x_0x2e__0x2e__0x2e_1103_bit3 -x_0x2e__0x2e__0x2e_1203_bit0 -x_0x2e__0x2e__0x2e_1203_bit1 -x_0x2e__0x2e__0x2e_1203_bit2 -x_0x2e__0x2e__0x2e_1203_bit3 -x_0x2e__0x2e__0x2e_0104_bit0 -x_0x2e__0x2e__0x2e_0204_bit0 -x_0x2e__0x2e__0x2e_0304_bit0 -x_0x2e__0x2e__0x2e_0404_bit0 -x_0x2e__0x2e__0x2e_0504_bit0 -x_0x2e__0x2e__0x2e_0604_bit0 -x_0x2e__0x2e__0x2e_0704_bit0 -x_0x2e__0x2e__0x2e_0804_bit0 x_0x2e__0x2e__0x2e_0904_bit0 -x_0x2e__0x2e__0x2e_1004_bit0 -x_0x2e__0x2e__0x2e_1104_bit0 -x_0x2e__0x2e__0x2e_1204_bit0 -x_0x2e__0x2e__0x2e_0105_bit0 -x_0x2e__0x2e__0x2e_0105_bit1 -x_0x2e__0x2e__0x2e_0105_bit2 -x_0x2e__0x2e__0x2e_0205_bit0 -x_0x2e__0x2e__0x2e_0205_bit1 -x_0x2e__0x2e__0x2e_0205_bit2 -x_0x2e__0x2e__0x2e_0305_bit0 -x_0x2e__0x2e__0x2e_0305_bit1 -x_0x2e__0x2e__0x2e_0305_bit2 -x_0x2e__0x2e__0x2e_0405_bit0 -x_0x2e__0x2e__0x2e_0405_bit1 -x_0x2e__0x2e__0x2e_0405_bit2 -x_0x2e__0x2e__0x2e_0505_bit0 -x_0x2e__0x2e__0x2e_0505_bit1 -x_0x2e__0x2e__0x2e_0505_bit2 -x_0x2e__0x2e__0x2e_0605_bit0 -x_0x2e__0x2e__0x2e_0605_bit1 -x_0x2e__0x2e__0x2e_0605_bit2 -x_0x2e__0x2e__0x2e_0705_bit0 -x_0x2e__0x2e__0x2e_0705_bit1 -x_0x2e__0x2e__0x2e_0705_bit2 -x_0x2e__0x2e__0x2e_0805_bit0 -x_0x2e__0x2e__0x2e_0805_bit1 -x_0x2e__0x2e__0x2e_0805_bit2 x_0x2e__0x2e__0x2e_0905_bit0 -x_0x2e__0x2e__0x2e_0905_bit1 x_0x2e__0x2e__0x2e_0905_bit2 -x_0x2e__0x2e__0x2e_1005_bit0 -x_0x2e__0x2e__0x2e_1005_bit1 -x_0x2e__0x2e__0x2e_1005_bit2 -x_0x2e__0x2e__0x2e_1105_bit0 -x_0x2e__0x2e__0x2e_1105_bit1 -x_0x2e__0x2e__0x2e_1105_bit2 -x_0x2e__0x2e__0x2e_1205_bit0 -x_0x2e__0x2e__0x2e_1205_bit1 -x_0x2e__0x2e__0x2e_1205_bit2 -x_0x2e__0x2e__0x2e_0106_bit0 -x_0x2e__0x2e__0x2e_0106_bit1 -x_0x2e__0x2e__0x2e_0106_bit2 -x_0x2e__0x2e__0x2e_0106_bit3 -x_0x2e__0x2e__0x2e_0206_bit0 -x_0x2e__0x2e__0x2e_0206_bit1 -x_0x2e__0x2e__0x2e_0206_bit2 -x_0x2e__0x2e__0x2e_0206_bit3 -x_0x2e__0x2e__0x2e_0306_bit0 -x_0x2e__0x2e__0x2e_0306_bit1 -x_0x2e__0x2e__0x2e_0306_bit2 -x_0x2e__0x2e__0x2e_0306_bit3 -x_0x2e__0x2e__0x2e_0406_bit0 -x_0x2e__0x2e__0x2e_0406_bit1 -x_0x2e__0x2e__0x2e_0406_bit2 -x_0x2e__0x2e__0x2e_0406_bit3 -x_0x2e__0x2e__0x2e_0506_bit0 -x_0x2e__0x2e__0x2e_0506_bit1 -x_0x2e__0x2e__0x2e_0506_bit2 x_0x2e__0x2e__0x2e_0506_bit3 -x_0x2e__0x2e__0x2e_0606_bit0 -x_0x2e__0x2e__0x2e_0606_bit1 -x_0x2e__0x2e__0x2e_0606_bit2 -x_0x2e__0x2e__0x2e_0606_bit3 -x_0x2e__0x2e__0x2e_0706_bit0 -x_0x2e__0x2e__0x2e_0706_bit1 -x_0x2e__0x2e__0x2e_0706_bit2 -x_0x2e__0x2e__0x2e_0706_bit3 -x_0x2e__0x2e__0x2e_0806_bit0 -x_0x2e__0x2e__0x2e_0806_bit1 -x_0x2e__0x2e__0x2e_0806_bit2 -x_0x2e__0x2e__0x2e_0806_bit3 -x_0x2e__0x2e__0x2e_0906_bit0 -x_0x2e__0x2e__0x2e_0906_bit1 -x_0x2e__0x2e__0x2e_0906_bit2 -x_0x2e__0x2e__0x2e_0906_bit3 -x_0x2e__0x2e__0x2e_1006_bit0 -x_0x2e__0x2e__0x2e_1006_bit1 -x_0x2e__0x2e__0x2e_1006_bit2 -x_0x2e__0x2e__0x2e_1006_bit3 -x_0x2e__0x2e__0x2e_1106_bit0 -x_0x2e__0x2e__0x2e_1106_bit1 -x_0x2e__0x2e__0x2e_1106_bit2 -x_0x2e__0x2e__0x2e_1106_bit3 -x_0x2e__0x2e__0x2e_1206_bit0 -x_0x2e__0x2e__0x2e_1206_bit1 -x_0x2e__0x2e__0x2e_1206_bit2 -x_0x2e__0x2e__0x2e_1206_bit3 -x_0x2e__0x2e__0x2e_0507_bit0 -x_0x2e__0x2e__0x2e_0507_bit1 -x_0x2e__0x2e__0x2e_0507_bit2 -x_0x2e__0x2e__0x2e_0607_bit0 -x_0x2e__0x2e__0x2e_0607_bit1 -x_0x2e__0x2e__0x2e_0607_bit2 -x_0x2e__0x2e__0x2e_1107_bit0 -x_0x2e__0x2e__0x2e_1107_bit1 -x_0x2e__0x2e__0x2e_1107_bit2 -x_0x2e__0x2e__0x2e_1207_bit0 -x_0x2e__0x2e__0x2e_1207_bit1 -x_0x2e__0x2e__0x2e_1207_bit2 -x_0x2e__0x2e__0x2e_0108_bit0 -x_0x2e__0x2e__0x2e_0108_bit1 -x_0x2e__0x2e__0x2e_0108_bit2 -x_0x2e__0x2e__0x2e_0108_bit3 -x_0x2e__0x2e__0x2e_0208_bit0 -x_0x2e__0x2e__0x2e_0208_bit1 -x_0x2e__0x2e__0x2e_0208_bit2 -x_0x2e__0x2e__0x2e_0208_bit3 -x_0x2e__0x2e__0x2e_0308_bit0 -x_0x2e__0x2e__0x2e_0308_bit1 -x_0x2e__0x2e__0x2e_0308_bit2 -x_0x2e__0x2e__0x2e_0308_bit3 -x_0x2e__0x2e__0x2e_0408_bit0 -x_0x2e__0x2e__0x2e_0408_bit1 x_0x2e__0x2e__0x2e_0408_bit2 -x_0x2e__0x2e__0x2e_0408_bit3 -x_0x2e__0x2e__0x2e_0708_bit0 -x_0x2e__0x2e__0x2e_0708_bit1 -x_0x2e__0x2e__0x2e_0708_bit2 -x_0x2e__0x2e__0x2e_0708_bit3 -x_0x2e__0x2e__0x2e_0808_bit0 -x_0x2e__0x2e__0x2e_0808_bit1 -x_0x2e__0x2e__0x2e_0808_bit2 -x_0x2e__0x2e__0x2e_0808_bit3 -x_0x2e__0x2e__0x2e_0908_bit0 -x_0x2e__0x2e__0x2e_0908_bit1 -x_0x2e__0x2e__0x2e_0908_bit2 -x_0x2e__0x2e__0x2e_0908_bit3 -x_0x2e__0x2e__0x2e_1008_bit0 -x_0x2e__0x2e__0x2e_1008_bit1 x_0x2e__0x2e__0x2e_1008_bit2 -x_0x2e__0x2e__0x2e_1008_bit3 -x_0x2e__0x2e__0x2e_0109_bit0 -x_0x2e__0x2e__0x2e_0109_bit1 -x_0x2e__0x2e__0x2e_0109_bit2 -x_0x2e__0x2e__0x2e_0209_bit0 -x_0x2e__0x2e__0x2e_0209_bit1 -x_0x2e__0x2e__0x2e_0209_bit2 -x_0x2e__0x2e__0x2e_0309_bit0 -x_0x2e__0x2e__0x2e_0309_bit1 -x_0x2e__0x2e__0x2e_0309_bit2 -x_0x2e__0x2e__0x2e_0409_bit0 -x_0x2e__0x2e__0x2e_0409_bit1 -x_0x2e__0x2e__0x2e_0409_bit2 -x_0x2e__0x2e__0x2e_0509_bit0 -x_0x2e__0x2e__0x2e_0509_bit1 -x_0x2e__0x2e__0x2e_0509_bit2 -x_0x2e__0x2e__0x2e_0609_bit0 -x_0x2e__0x2e__0x2e_0609_bit1 x_0x2e__0x2e__0x2e_0609_bit2 -x_0x2e__0x2e__0x2e_0709_bit0 -x_0x2e__0x2e__0x2e_0709_bit1 -x_0x2e__0x2e__0x2e_0709_bit2 -x_0x2e__0x2e__0x2e_0809_bit0 -x_0x2e__0x2e__0x2e_0809_bit1 -x_0x2e__0x2e__0x2e_0809_bit2 -x_0x2e__0x2e__0x2e_0909_bit0 -x_0x2e__0x2e__0x2e_0909_bit1 -x_0x2e__0x2e__0x2e_0909_bit2 -x_0x2e__0x2e__0x2e_1009_bit0 -x_0x2e__0x2e__0x2e_1009_bit1 -x_0x2e__0x2e__0x2e_1009_bit2 -x_0x2e__0x2e__0x2e_1109_bit0 -x_0x2e__0x2e__0x2e_1109_bit1 -x_0x2e__0x2e__0x2e_1109_bit2 -x_0x2e__0x2e__0x2e_1209_bit0 -x_0x2e__0x2e__0x2e_1209_bit1 -x_0x2e__0x2e__0x2e_1209_bit2 -x_0x2e__0x2e__0x2e_0110_bit0 -x_0x2e__0x2e__0x2e_0110_bit1 -x_0x2e__0x2e__0x2e_0110_bit2 -x_0x2e__0x2e__0x2e_0111_bit0 -x_0x2e__0x2e__0x2e_0111_bit1 -x_0x2e__0x2e__0x2e_0111_bit2 -x_0x2e__0x2e__0x2e_0112_bit0 -x_0x2e__0x2e__0x2e_0112_bit1 -x_0x2e__0x2e__0x2e_0112_bit2 -x_0x2e__0x2e__0x2e_0112_bit3 -x_0x2e__0x2e__0x2e_0113_bit0 -x_0x2e__0x2e__0x2e_0113_bit1 -x_0x2e__0x2e__0x2e_0113_bit2 -x_0x2e__0x2e__0x2e_0114_bit0 -x_0x2e__0x2e__0x2e_0114_bit1 -x_0x2e__0x2e__0x2e_0114_bit2 -x_0x2e__0x2e__0x2e_0115_bit0 -x_0x2e__0x2e__0x2e_0115_bit1 -x_0x2e__0x2e__0x2e_0116_bit0 -x_0x2e__0x2e__0x2e_0116_bit1 -x_0x2e__0x2e__0x2e_0210_bit0 x_0x2e__0x2e__0x2e_0210_bit1 -x_0x2e__0x2e__0x2e_0210_bit2 -x_0x2e__0x2e__0x2e_0211_bit0 -x_0x2e__0x2e__0x2e_0211_bit1 -x_0x2e__0x2e__0x2e_0211_bit2 -x_0x2e__0x2e__0x2e_0212_bit0 -x_0x2e__0x2e__0x2e_0212_bit1 -x_0x2e__0x2e__0x2e_0212_bit2 -x_0x2e__0x2e__0x2e_0212_bit3 -x_0x2e__0x2e__0x2e_0213_bit0 -x_0x2e__0x2e__0x2e_0213_bit1 -x_0x2e__0x2e__0x2e_0213_bit2 -x_0x2e__0x2e__0x2e_0214_bit0 x_0x2e__0x2e__0x2e_0214_bit1 -x_0x2e__0x2e__0x2e_0214_bit2 -x_0x2e__0x2e__0x2e_0215_bit0 -x_0x2e__0x2e__0x2e_0215_bit1 -x_0x2e__0x2e__0x2e_0216_bit0 -x_0x2e__0x2e__0x2e_0216_bit1 -x_0x2e__0x2e__0x2e_0310_bit0 -x_0x2e__0x2e__0x2e_0310_bit1 -x_0x2e__0x2e__0x2e_0310_bit2 -x_0x2e__0x2e__0x2e_0311_bit0 -x_0x2e__0x2e__0x2e_0311_bit1 -x_0x2e__0x2e__0x2e_0311_bit2 -x_0x2e__0x2e__0x2e_0312_bit0 -x_0x2e__0x2e__0x2e_0312_bit1 -x_0x2e__0x2e__0x2e_0312_bit2 -x_0x2e__0x2e__0x2e_0312_bit3 -x_0x2e__0x2e__0x2e_0313_bit0 -x_0x2e__0x2e__0x2e_0313_bit1 -x_0x2e__0x2e__0x2e_0313_bit2 -x_0x2e__0x2e__0x2e_0314_bit0 -x_0x2e__0x2e__0x2e_0314_bit1 -x_0x2e__0x2e__0x2e_0314_bit2 -x_0x2e__0x2e__0x2e_0315_bit0 -x_0x2e__0x2e__0x2e_0315_bit1 -x_0x2e__0x2e__0x2e_0316_bit0 -x_0x2e__0x2e__0x2e_0316_bit1 -x_0x2e__0x2e__0x2e_0410_bit0 -x_0x2e__0x2e__0x2e_0410_bit1 -x_0x2e__0x2e__0x2e_0410_bit2 -x_0x2e__0x2e__0x2e_0411_bit0 -x_0x2e__0x2e__0x2e_0411_bit1 -x_0x2e__0x2e__0x2e_0411_bit2 x_0x2e__0x2e__0x2e_0412_bit0 -x_0x2e__0x2e__0x2e_0412_bit1 -x_0x2e__0x2e__0x2e_0412_bit2 -x_0x2e__0x2e__0x2e_0412_bit3 -x_0x2e__0x2e__0x2e_0413_bit0 -x_0x2e__0x2e__0x2e_0413_bit1 -x_0x2e__0x2e__0x2e_0413_bit2 -x_0x2e__0x2e__0x2e_0414_bit0 -x_0x2e__0x2e__0x2e_0414_bit1 -x_0x2e__0x2e__0x2e_0414_bit2 -x_0x2e__0x2e__0x2e_0415_bit0 -x_0x2e__0x2e__0x2e_0415_bit1 -x_0x2e__0x2e__0x2e_0416_bit0 -x_0x2e__0x2e__0x2e_0416_bit1 -x_0x2e__0x2e__0x2e_0510_bit0 -x_0x2e__0x2e__0x2e_0510_bit1 -x_0x2e__0x2e__0x2e_0510_bit2 -x_0x2e__0x2e__0x2e_0511_bit0 -x_0x2e__0x2e__0x2e_0511_bit1 -x_0x2e__0x2e__0x2e_0511_bit2 -x_0x2e__0x2e__0x2e_0512_bit0 -x_0x2e__0x2e__0x2e_0512_bit1 -x_0x2e__0x2e__0x2e_0512_bit2 -x_0x2e__0x2e__0x2e_0512_bit3 -x_0x2e__0x2e__0x2e_0513_bit0 -x_0x2e__0x2e__0x2e_0513_bit1 -x_0x2e__0x2e__0x2e_0513_bit2 -x_0x2e__0x2e__0x2e_0514_bit0 -x_0x2e__0x2e__0x2e_0514_bit1 -x_0x2e__0x2e__0x2e_0514_bit2 -x_0x2e__0x2e__0x2e_0515_bit0 -x_0x2e__0x2e__0x2e_0515_bit1 -x_0x2e__0x2e__0x2e_0516_bit0 -x_0x2e__0x2e__0x2e_0516_bit1 -x_0x2e__0x2e__0x2e_0610_bit0 -x_0x2e__0x2e__0x2e_0610_bit1 -x_0x2e__0x2e__0x2e_0610_bit2 -x_0x2e__0x2e__0x2e_0611_bit0 -x_0x2e__0x2e__0x2e_0611_bit1 -x_0x2e__0x2e__0x2e_0611_bit2 -x_0x2e__0x2e__0x2e_0612_bit0 -x_0x2e__0x2e__0x2e_0612_bit1 -x_0x2e__0x2e__0x2e_0612_bit2 -x_0x2e__0x2e__0x2e_0612_bit3 -x_0x2e__0x2e__0x2e_0613_bit0 -x_0x2e__0x2e__0x2e_0613_bit1 -x_0x2e__0x2e__0x2e_0613_bit2 -x_0x2e__0x2e__0x2e_0614_bit0 -x_0x2e__0x2e__0x2e_0614_bit1 -x_0x2e__0x2e__0x2e_0614_bit2 -x_0x2e__0x2e__0x2e_0615_bit0 -x_0x2e__0x2e__0x2e_0615_bit1 -x_0x2e__0x2e__0x2e_0616_bit0 -x_0x2e__0x2e__0x2e_0616_bit1 -x_0x2e__0x2e__0x2e_0710_bit0 -x_0x2e__0x2e__0x2e_0710_bit1 -x_0x2e__0x2e__0x2e_0710_bit2 -x_0x2e__0x2e__0x2e_0711_bit0 -x_0x2e__0x2e__0x2e_0711_bit1 -x_0x2e__0x2e__0x2e_0711_bit2 -x_0x2e__0x2e__0x2e_0712_bit0 -x_0x2e__0x2e__0x2e_0712_bit1 -x_0x2e__0x2e__0x2e_0712_bit2 -x_0x2e__0x2e__0x2e_0712_bit3 -x_0x2e__0x2e__0x2e_0713_bit0 -x_0x2e__0x2e__0x2e_0713_bit1 -x_0x2e__0x2e__0x2e_0713_bit2 -x_0x2e__0x2e__0x2e_0714_bit0 -x_0x2e__0x2e__0x2e_0714_bit1 -x_0x2e__0x2e__0x2e_0714_bit2 -x_0x2e__0x2e__0x2e_0715_bit0 -x_0x2e__0x2e__0x2e_0715_bit1 -x_0x2e__0x2e__0x2e_0716_bit0 -x_0x2e__0x2e__0x2e_0716_bit1 -x_0x2e__0x2e__0x2e_0810_bit0 -x_0x2e__0x2e__0x2e_0810_bit1 -x_0x2e__0x2e__0x2e_0810_bit2 -x_0x2e__0x2e__0x2e_0811_bit0 -x_0x2e__0x2e__0x2e_0811_bit1 -x_0x2e__0x2e__0x2e_0811_bit2 -x_0x2e__0x2e__0x2e_0812_bit0 -x_0x2e__0x2e__0x2e_0812_bit1 -x_0x2e__0x2e__0x2e_0812_bit2 -x_0x2e__0x2e__0x2e_0812_bit3 x_0x2e__0x2e__0x2e_0813_bit0 -x_0x2e__0x2e__0x2e_0813_bit1 -x_0x2e__0x2e__0x2e_0813_bit2 -x_0x2e__0x2e__0x2e_0814_bit0 -x_0x2e__0x2e__0x2e_0814_bit1 -x_0x2e__0x2e__0x2e_0814_bit2 -x_0x2e__0x2e__0x2e_0815_bit0 -x_0x2e__0x2e__0x2e_0815_bit1 -x_0x2e__0x2e__0x2e_0816_bit0 -x_0x2e__0x2e__0x2e_0816_bit1 x_0x2e__0x2e__0x2e_0910_bit0 -x_0x2e__0x2e__0x2e_0910_bit1 -x_0x2e__0x2e__0x2e_0910_bit2 x_0x2e__0x2e__0x2e_0911_bit0 x_0x2e__0x2e__0x2e_0911_bit1 -x_0x2e__0x2e__0x2e_0911_bit2 -x_0x2e__0x2e__0x2e_0912_bit0 -x_0x2e__0x2e__0x2e_0912_bit1 -x_0x2e__0x2e__0x2e_0912_bit2 -x_0x2e__0x2e__0x2e_0912_bit3 -x_0x2e__0x2e__0x2e_0913_bit0 -x_0x2e__0x2e__0x2e_0913_bit1 -x_0x2e__0x2e__0x2e_0913_bit2 -x_0x2e__0x2e__0x2e_0914_bit0 -x_0x2e__0x2e__0x2e_0914_bit1 -x_0x2e__0x2e__0x2e_0914_bit2 x_0x2e__0x2e__0x2e_0915_bit0 -x_0x2e__0x2e__0x2e_0915_bit1 -x_0x2e__0x2e__0x2e_0916_bit0 -x_0x2e__0x2e__0x2e_0916_bit1 -x_0x2e__0x2e__0x2e_1010_bit0 x_0x2e__0x2e__0x2e_1010_bit1 -x_0x2e__0x2e__0x2e_1010_bit2 -x_0x2e__0x2e__0x2e_1011_bit0 -x_0x2e__0x2e__0x2e_1011_bit1 -x_0x2e__0x2e__0x2e_1011_bit2 -x_0x2e__0x2e__0x2e_1012_bit0 -x_0x2e__0x2e__0x2e_1012_bit1 -x_0x2e__0x2e__0x2e_1012_bit2 -x_0x2e__0x2e__0x2e_1012_bit3 -x_0x2e__0x2e__0x2e_1013_bit0 -x_0x2e__0x2e__0x2e_1013_bit1 -x_0x2e__0x2e__0x2e_1013_bit2 -x_0x2e__0x2e__0x2e_1014_bit0 -x_0x2e__0x2e__0x2e_1014_bit1 -x_0x2e__0x2e__0x2e_1014_bit2 -x_0x2e__0x2e__0x2e_1015_bit0 -x_0x2e__0x2e__0x2e_1015_bit1 -x_0x2e__0x2e__0x2e_1016_bit0 -x_0x2e__0x2e__0x2e_1016_bit1 -x_0x2e__0x2e__0x2e_1110_bit0 -x_0x2e__0x2e__0x2e_1110_bit1 -x_0x2e__0x2e__0x2e_1110_bit2 x_0x2e__0x2e__0x2e_1111_bit0 -x_0x2e__0x2e__0x2e_1111_bit1 -x_0x2e__0x2e__0x2e_1111_bit2 -x_0x2e__0x2e__0x2e_1112_bit0 -x_0x2e__0x2e__0x2e_1112_bit1 -x_0x2e__0x2e__0x2e_1112_bit2 -x_0x2e__0x2e__0x2e_1112_bit3 -x_0x2e__0x2e__0x2e_1113_bit0 -x_0x2e__0x2e__0x2e_1113_bit1 -x_0x2e__0x2e__0x2e_1113_bit2 -x_0x2e__0x2e__0x2e_1114_bit0 -x_0x2e__0x2e__0x2e_1114_bit1 -x_0x2e__0x2e__0x2e_1114_bit2 -x_0x2e__0x2e__0x2e_1115_bit0 -x_0x2e__0x2e__0x2e_1115_bit1 -x_0x2e__0x2e__0x2e_1116_bit0 -x_0x2e__0x2e__0x2e_1116_bit1 -x_0x2e__0x2e__0x2e_1210_bit0 -x_0x2e__0x2e__0x2e_1210_bit1 -x_0x2e__0x2e__0x2e_1210_bit2 -x_0x2e__0x2e__0x2e_1211_bit0 -x_0x2e__0x2e__0x2e_1211_bit1 -x_0x2e__0x2e__0x2e_1211_bit2 -x_0x2e__0x2e__0x2e_1212_bit0 -x_0x2e__0x2e__0x2e_1212_bit1 -x_0x2e__0x2e__0x2e_1212_bit2 -x_0x2e__0x2e__0x2e_1212_bit3 -x_0x2e__0x2e__0x2e_1213_bit0 -x_0x2e__0x2e__0x2e_1213_bit1 -x_0x2e__0x2e__0x2e_1213_bit2 -x_0x2e__0x2e__0x2e_1214_bit0 -x_0x2e__0x2e__0x2e_1214_bit1 -x_0x2e__0x2e__0x2e_1214_bit2 -x_0x2e__0x2e__0x2e_1215_bit0 -x_0x2e__0x2e__0x2e_1215_bit1 -x_0x2e__0x2e__0x2e_1216_bit0 -x_0x2e__0x2e__0x2e_1216_bit1 -x_0x2e__0x2e__0x2e_0117_bit0 -x_0x2e__0x2e__0x2e_0217_bit0 -x_0x2e__0x2e__0x2e_0317_bit0 -x_0x2e__0x2e__0x2e_0417_bit0 -x_0x2e__0x2e__0x2e_0517_bit0 -x_0x2e__0x2e__0x2e_0617_bit0 -x_0x2e__0x2e__0x2e_0717_bit0 -x_0x2e__0x2e__0x2e_0817_bit0 x_0x2e__0x2e__0x2e_0917_bit0 -x_0x2e__0x2e__0x2e_1017_bit0 -x_0x2e__0x2e__0x2e_1117_bit0 -x_0x2e__0x2e__0x2e_1217_bit0 c Exit Code: 10 c Total time: 1175.26 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.73 0.90 0.89 2/54 17853 Raw data (stat): 17853 (runsolver) R 17852 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900445512 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.0011 s] Raw data (loadavg): 0.77 0.90 0.89 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 5091 0 0 0 983 15 0 0 25 0 1 0 900445512 11259904 2024 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2749 2024 1111 63 0 2686 0 vsize: 10996 [startup+20.0018 s] Raw data (loadavg): 0.81 0.90 0.89 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 8507 0 0 0 1966 32 0 0 25 0 1 0 900445512 12148736 2221 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2910 2220 1111 63 0 2847 0 vsize: 11864 [startup+30.0023 s] Raw data (loadavg): 0.84 0.91 0.89 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 15769 0 0 0 2936 61 0 0 25 0 1 0 900445512 14204928 2765 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3468 2765 1111 63 0 3405 0 vsize: 13872 [startup+40.0027 s] Raw data (loadavg): 0.86 0.91 0.89 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 23431 0 0 0 3906 92 0 0 25 0 1 0 900445512 16109568 3244 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3933 3244 1111 63 0 3870 0 vsize: 15732 [startup+50.0034 s] Raw data (loadavg): 0.88 0.91 0.89 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 31318 0 0 0 4877 121 0 0 25 0 1 0 900445512 17870848 3681 4294967295 134512640 134716908 3221224576 3221222708 1077378716 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4363 3681 1111 63 0 4300 0 vsize: 17452 [startup+60.0041 s] Raw data (loadavg): 0.90 0.91 0.89 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 39408 0 0 0 5849 149 0 0 25 0 1 0 900445512 19640320 4111 4294967295 134512640 134716908 3221224576 3221222828 1077411540 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4795 4111 1111 63 0 4732 0 vsize: 19180 [startup+70.0049 s] Raw data (loadavg): 0.92 0.92 0.89 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 45626 0 0 0 6825 173 0 0 25 0 1 0 900445512 20672512 4363 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5047 4363 1111 63 0 4984 0 vsize: 20188 [startup+80.0066 s] Raw data (loadavg): 0.93 0.92 0.90 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 49788 0 0 0 7814 184 0 0 25 0 1 0 900445512 21110784 4473 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5154 4473 1111 63 0 5091 0 vsize: 20616 [startup+90.0068 s] Raw data (loadavg): 0.94 0.92 0.90 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 59225 0 0 0 8786 212 0 0 25 0 1 0 900445512 23015424 4917 4294967295 134512640 134716908 3221224576 3221222864 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5619 4917 1111 63 0 5556 0 vsize: 22476 [startup+100.007 s] Raw data (loadavg): 0.95 0.92 0.90 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 64045 0 0 0 9773 226 0 0 25 0 1 0 900445512 24223744 5225 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5914 5225 1111 63 0 5851 0 vsize: 23656 [startup+110.008 s] Raw data (loadavg): 0.95 0.92 0.90 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 79548 0 0 0 10729 270 0 0 25 0 1 0 900445512 25042944 5432 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6114 5432 1111 63 0 6051 0 vsize: 24456 [startup+120.009 s] Raw data (loadavg): 0.96 0.93 0.90 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 92897 0 0 0 11693 306 0 0 25 0 1 0 900445512 27238400 5731 4294967295 134512640 134716908 3221224576 3221220736 1075094962 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6650 5731 1111 63 0 6587 0 vsize: 26600 [startup+130.009 s] Raw data (loadavg): 0.97 0.93 0.90 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 105539 0 0 0 12660 339 0 0 25 0 1 0 900445512 27295744 5982 4294967295 134512640 134716908 3221224576 3221223472 134621531 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6664 5982 1111 63 0 6601 0 vsize: 26656 [startup+140.01 s] Raw data (loadavg): 0.97 0.93 0.90 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 119280 0 0 0 13625 374 0 0 25 0 1 0 900445512 28381184 6247 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6929 6247 1111 63 0 6866 0 vsize: 27716 [startup+150.01 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 131215 0 0 0 14595 404 0 0 25 0 1 0 900445512 29581312 6540 4294967295 134512640 134716908 3221224576 3221222992 1074116193 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7222 6540 1111 63 0 7159 0 vsize: 28888 [startup+160.01 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 146139 0 0 0 15555 445 0 0 25 0 1 0 900445512 31682560 7036 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7735 7036 1111 63 0 7672 0 vsize: 30940 [startup+170.01 s] Raw data (loadavg): 0.98 0.94 0.90 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 161857 0 0 0 16510 489 0 0 25 0 1 0 900445512 34422784 7658 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8404 7658 1111 63 0 8341 0 vsize: 33616 [startup+180.011 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 166148 0 0 0 17501 499 0 0 25 0 1 0 900445512 35246080 7887 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8605 7887 1111 63 0 8542 0 vsize: 34420 [startup+190.011 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 166908 0 0 0 18499 501 0 0 25 0 1 0 900445512 35094528 7838 4294967295 134512640 134716908 3221224576 3221223368 134536900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8568 7838 1111 63 0 8505 0 vsize: 34272 [startup+200.011 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 172179 0 0 0 19488 512 0 0 25 0 1 0 900445512 34770944 7771 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8489 7771 1111 63 0 8426 0 vsize: 33956 [startup+210.012 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 177303 0 0 0 20475 525 0 0 25 0 1 0 900445512 35278848 7895 4294967295 134512640 134716908 3221224576 3221223328 134556642 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8613 7895 1111 63 0 8550 0 vsize: 34452 [startup+220.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 183959 0 0 0 21460 541 0 0 25 0 1 0 900445512 35442688 7935 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8653 7935 1111 63 0 8590 0 vsize: 34612 [startup+230.013 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 189654 0 0 0 22444 557 0 0 25 0 1 0 900445512 35495936 7948 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8666 7948 1111 63 0 8603 0 vsize: 34664 [startup+240.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 190487 0 0 0 23442 559 0 0 25 0 1 0 900445512 38010880 8555 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9280 8555 1111 63 0 9217 0 vsize: 37120 [startup+250.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 192208 0 0 0 24438 564 0 0 25 0 1 0 900445512 36388864 8137 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8884 8137 1111 63 0 8821 0 vsize: 35536 [startup+260.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 193955 0 0 0 25435 567 0 0 25 0 1 0 900445512 36380672 8164 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8882 8164 1111 63 0 8819 0 vsize: 35528 [startup+270.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 201031 0 0 0 26418 584 0 0 25 0 1 0 900445512 36007936 8072 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8791 8072 1111 63 0 8728 0 vsize: 35164 [startup+280.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 210460 0 0 0 27396 607 0 0 25 0 1 0 900445512 36261888 8126 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8853 8126 1111 63 0 8790 0 vsize: 35412 [startup+290.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 217421 0 0 0 28376 626 0 0 25 0 1 0 900445512 36249600 8132 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8850 8132 1111 63 0 8787 0 vsize: 35400 [startup+300.017 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 223226 0 0 0 29361 641 0 0 25 0 1 0 900445512 36491264 8191 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8909 8191 1111 63 0 8846 0 vsize: 35636 [startup+310.017 s] Raw data (loadavg): 1.07 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 235827 0 0 0 30329 674 0 0 25 0 1 0 900445512 38309888 8633 4294967295 134512640 134716908 3221224576 3221223368 134558485 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9353 8633 1111 63 0 9290 0 vsize: 37412 [startup+320.018 s] Raw data (loadavg): 1.06 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 243242 0 0 0 31310 693 0 0 25 0 1 0 900445512 38445056 8666 4294967295 134512640 134716908 3221224576 3221223296 134622957 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9386 8666 1111 63 0 9323 0 vsize: 37544 [startup+330.019 s] Raw data (loadavg): 1.05 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 258220 0 0 0 32273 730 0 0 25 0 1 0 900445512 40513536 9172 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9891 9172 1111 63 0 9828 0 vsize: 39564 [startup+340.019 s] Raw data (loadavg): 1.04 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 259967 0 0 0 33269 734 0 0 25 0 1 0 900445512 41353216 9377 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10096 9377 1111 63 0 10033 0 vsize: 40384 [startup+350.018 s] Raw data (loadavg): 1.04 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 265132 0 0 0 34256 747 0 0 25 0 1 0 900445512 40853504 9255 4294967295 134512640 134716908 3221224576 3221222660 1077378674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9974 9255 1111 63 0 9911 0 vsize: 39896 [startup+360.019 s] Raw data (loadavg): 1.03 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 273096 0 0 0 35235 768 0 0 25 0 1 0 900445512 42524672 9663 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10382 9663 1111 63 0 10319 0 vsize: 41528 [startup+370.019 s] Raw data (loadavg): 1.03 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 275390 0 0 0 36230 774 0 0 25 0 1 0 900445512 42618880 9686 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10405 9686 1111 63 0 10342 0 vsize: 41620 [startup+380.02 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 275471 0 0 0 37230 774 0 0 25 0 1 0 900445512 42319872 9590 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10332 9590 1111 63 0 10269 0 vsize: 41328 [startup+390.02 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 277243 0 0 0 38226 779 0 0 25 0 1 0 900445512 42225664 9590 4294967295 134512640 134716908 3221224576 3221223368 134558485 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10309 9590 1111 63 0 10246 0 vsize: 41236 [startup+400.02 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 278874 0 0 0 39223 782 0 0 25 0 1 0 900445512 41844736 9471 4294967295 134512640 134716908 3221224576 3221222912 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10216 9471 1111 63 0 10153 0 vsize: 40864 [startup+410.021 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 288750 0 0 0 40199 806 0 0 25 0 1 0 900445512 41934848 9519 4294967295 134512640 134716908 3221224576 3221223368 134536915 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10238 9519 1111 63 0 10175 0 vsize: 40952 [startup+420.021 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 301353 0 0 0 41168 837 0 0 25 0 1 0 900445512 42868736 9747 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10466 9747 1111 63 0 10403 0 vsize: 41864 [startup+430.021 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 306745 0 0 0 42156 849 0 0 25 0 1 0 900445512 44244992 10008 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10802 10008 1111 63 0 10739 0 vsize: 43208 [startup+440.022 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 311167 0 0 0 43146 860 0 0 25 0 1 0 900445512 43601920 9925 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10645 9925 1111 63 0 10582 0 vsize: 42580 [startup+450.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 312228 0 0 0 44143 862 0 0 25 0 1 0 900445512 43491328 9889 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10618 9889 1111 63 0 10555 0 vsize: 42472 [startup+460.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 320286 0 0 0 45122 884 0 0 25 0 1 0 900445512 43724800 9957 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10675 9957 1111 63 0 10612 0 vsize: 42700 [startup+470.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 335066 0 0 0 46086 920 0 0 25 0 1 0 900445512 46632960 10590 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11385 10590 1111 63 0 11322 0 vsize: 45540 [startup+480.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 342828 0 0 0 47064 942 0 0 25 0 1 0 900445512 48525312 11067 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11847 11067 1111 63 0 11784 0 vsize: 47388 [startup+490.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 346476 0 0 0 48055 952 0 0 25 0 1 0 900445512 48066560 10972 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11735 10972 1111 63 0 11672 0 vsize: 46940 [startup+500.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 355413 0 0 0 49035 972 0 0 25 0 1 0 900445512 51634176 11770 4294967295 134512640 134716908 3221224576 3221222304 1075828336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12606 11770 1111 63 0 12543 0 vsize: 50424 [startup+510.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 356909 0 0 0 50031 976 0 0 25 0 1 0 900445512 50262016 11513 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12271 11513 1111 63 0 12208 0 vsize: 49084 [startup+520.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 357875 0 0 0 51030 977 0 0 25 0 1 0 900445512 50040832 11446 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12217 11446 1111 63 0 12154 0 vsize: 48868 [startup+530.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 359677 0 0 0 52027 981 0 0 25 0 1 0 900445512 49729536 11383 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12141 11383 1111 63 0 12078 0 vsize: 48564 [startup+540.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 371133 0 0 0 53000 1008 0 0 25 0 1 0 900445512 50085888 11470 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12228 11470 1111 63 0 12165 0 vsize: 48912 [startup+550.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 379661 0 0 0 53977 1031 0 0 25 0 1 0 900445512 52224000 11974 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12750 11974 1111 63 0 12687 0 vsize: 51000 [startup+560.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 380241 0 0 0 54975 1033 0 0 25 0 1 0 900445512 53821440 12371 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13140 12371 1111 63 0 13077 0 vsize: 52560 [startup+570.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 382207 0 0 0 55970 1038 0 0 25 0 1 0 900445512 52183040 11975 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12740 11975 1111 63 0 12677 0 vsize: 50960 [startup+580.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 391251 0 0 0 56943 1065 0 0 25 0 1 0 900445512 52637696 12094 4294967295 134512640 134716908 3221224576 3221223368 134542412 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12851 12094 1111 63 0 12788 0 vsize: 51404 [startup+590.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 404856 0 0 0 57907 1101 0 0 25 0 1 0 900445512 54886400 12640 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13400 12640 1111 63 0 13337 0 vsize: 53600 [startup+600.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 410875 0 0 0 58890 1119 0 0 25 0 1 0 900445512 56532992 13030 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13802 13030 1111 63 0 13739 0 vsize: 55208 [startup+610.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 422377 0 0 0 59860 1149 0 0 25 0 1 0 900445512 58335232 13467 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14242 13467 1111 63 0 14179 0 vsize: 56968 [startup+620.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 430934 0 0 0 60838 1171 0 0 25 0 1 0 900445512 60772352 13687 4294967295 134512640 134716908 3221224576 3221222904 1077404742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14485 13681 1111 63 0 14422 0 vsize: 59348 [startup+630.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 439669 0 0 0 61813 1196 0 0 25 0 1 0 900445512 61247488 14159 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14953 14159 1111 63 0 14890 0 vsize: 59812 [startup+640.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 442650 0 0 0 62805 1205 0 0 25 0 1 0 900445512 61120512 14128 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14922 14128 1111 63 0 14859 0 vsize: 59688 [startup+650.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 455731 0 0 0 63769 1241 0 0 25 0 1 0 900445512 64008192 14822 4294967295 134512640 134716908 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15627 14822 1111 63 0 15564 0 vsize: 62508 [startup+660.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 455898 0 0 0 64765 1244 0 0 25 0 1 0 900445512 64331776 14931 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15706 14931 1111 63 0 15643 0 vsize: 62824 [startup+670.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 456800 0 0 0 65763 1247 0 0 25 0 1 0 900445512 66818048 15524 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16313 15524 1111 63 0 16250 0 vsize: 65252 [startup+680.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 456800 0 0 0 66763 1247 0 0 25 0 1 0 900445512 66818048 15524 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16313 15524 1111 63 0 16250 0 vsize: 65252 [startup+690.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 459099 0 0 0 67757 1253 0 0 25 0 1 0 900445512 64724992 15027 4294967295 134512640 134716908 3221224576 3221223368 134536921 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15802 15027 1111 63 0 15739 0 vsize: 63208 [startup+700.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 459099 0 0 0 68758 1253 0 0 25 0 1 0 900445512 64724992 15027 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15802 15027 1111 63 0 15739 0 vsize: 63208 [startup+710.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 459099 0 0 0 69758 1253 0 0 25 0 1 0 900445512 64724992 15027 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15802 15027 1111 63 0 15739 0 vsize: 63208 [startup+720.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 459159 0 0 0 70758 1253 0 0 25 0 1 0 900445512 63959040 14840 4294967295 134512640 134716908 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15615 14840 1111 63 0 15552 0 vsize: 62460 [startup+730.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 461147 0 0 0 71754 1257 0 0 25 0 1 0 900445512 63713280 14780 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15555 14780 1111 63 0 15492 0 vsize: 62220 [startup+740.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 468437 0 0 0 72733 1279 0 0 25 0 1 0 900445512 63995904 14852 4294967295 134512640 134716908 3221224576 3221222496 1073986677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15624 14852 1111 63 0 15561 0 vsize: 62496 [startup+750.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 474485 0 0 0 73713 1299 0 0 25 0 1 0 900445512 65196032 14980 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16414 14985 1111 63 0 16351 0 vsize: 63668 [startup+760.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 483467 0 0 0 74680 1331 0 0 25 0 1 0 900445512 66301952 15405 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16187 15405 1111 63 0 16124 0 vsize: 64748 [startup+770.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 490808 0 0 0 75655 1356 0 0 25 0 1 0 900445512 67371008 15659 4294967295 134512640 134716908 3221224576 3221223212 134535484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16448 15659 1111 63 0 16385 0 vsize: 65792 [startup+780.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 496129 0 0 0 76638 1374 0 0 25 0 1 0 900445512 70078464 16274 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17109 16274 1111 63 0 17046 0 vsize: 68436 [startup+790.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 497456 0 0 0 77634 1378 0 0 25 0 1 0 900445512 77029376 16997 4294967295 134512640 134716908 3221224576 3221221504 1075890968 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18806 16997 1111 63 0 18743 0 vsize: 75224 [startup+800.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 498525 0 0 0 78633 1380 0 0 25 0 1 0 900445512 70303744 16335 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17164 16335 1111 63 0 17101 0 vsize: 68656 [startup+810.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 498525 0 0 0 79633 1380 0 0 25 0 1 0 900445512 70303744 16335 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17164 16335 1111 63 0 17101 0 vsize: 68656 [startup+820.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 506150 0 0 0 80611 1402 0 0 25 0 1 0 900445512 70070272 16273 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17107 16276 1111 63 0 17044 0 vsize: 68428 [startup+830.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 512460 0 0 0 81592 1420 0 0 25 0 1 0 900445512 72884224 16948 4294967295 134512640 134716908 3221224576 3221222576 1074916988 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17794 16948 1111 63 0 17731 0 vsize: 71176 [startup+840.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 513731 0 0 0 82590 1423 0 0 25 0 1 0 900445512 71749632 16688 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17517 16688 1111 63 0 17454 0 vsize: 70068 [startup+850.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 518083 0 0 0 83578 1435 0 0 25 0 1 0 900445512 71442432 16613 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17442 16613 1111 63 0 17379 0 vsize: 69768 [startup+860.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 519523 0 0 0 84574 1439 0 0 25 0 1 0 900445512 71794688 16699 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17528 16699 1111 63 0 17465 0 vsize: 70112 [startup+870.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 519802 0 0 0 85574 1440 0 0 25 0 1 0 900445512 72413184 16818 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17679 16818 1111 63 0 17616 0 vsize: 70716 [startup+880.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 524921 0 0 0 86560 1453 0 0 25 0 1 0 900445512 71430144 16610 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17439 16610 1111 63 0 17376 0 vsize: 69756 [startup+890.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 532096 0 0 0 87540 1474 0 0 25 0 1 0 900445512 72355840 16835 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17665 16835 1111 63 0 17602 0 vsize: 70660 [startup+900.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 533823 0 0 0 88533 1481 0 0 25 0 1 0 900445512 73764864 17173 4294967295 134512640 134716908 3221224576 3221222776 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18009 17173 1111 63 0 17946 0 vsize: 72036 [startup+910.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 533943 0 0 0 89531 1483 0 0 25 0 1 0 900445512 73936896 17222 4294967295 134512640 134716908 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18051 17222 1111 63 0 17988 0 vsize: 72204 [startup+920.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 534028 0 0 0 90530 1485 0 0 25 0 1 0 900445512 74338304 17307 4294967295 134512640 134716908 3221224576 3221222912 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18149 17307 1111 63 0 18086 0 vsize: 72596 [startup+930.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 534090 0 0 0 91529 1486 0 0 25 0 1 0 900445512 74670080 17369 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18230 17369 1111 63 0 18167 0 vsize: 72920 [startup+940.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 535303 0 0 0 92526 1489 0 0 25 0 1 0 900445512 77713408 18133 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18973 18133 1111 63 0 18910 0 vsize: 75892 [startup+950.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 535303 0 0 0 93526 1489 0 0 25 0 1 0 900445512 77713408 18133 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18973 18133 1111 63 0 18910 0 vsize: 75892 [startup+960.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 535303 0 0 0 94526 1489 0 0 25 0 1 0 900445512 77713408 18133 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18973 18133 1111 63 0 18910 0 vsize: 75892 [startup+970.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 538887 0 0 0 95517 1499 0 0 25 0 1 0 900445512 73682944 17160 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17989 17160 1111 63 0 17926 0 vsize: 71956 [startup+980.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 538998 0 0 0 96516 1500 0 0 25 0 1 0 900445512 74137600 17271 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18100 17271 1111 63 0 18037 0 vsize: 72400 [startup+990.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 539048 0 0 0 97515 1501 0 0 25 0 1 0 900445512 74342400 17321 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18150 17321 1111 63 0 18087 0 vsize: 72600 [startup+1000.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 539928 0 0 0 98513 1503 0 0 25 0 1 0 900445512 76546048 17844 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18688 17844 1111 63 0 18625 0 vsize: 74752 [startup+1010.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 542671 0 0 0 99507 1509 0 0 25 0 1 0 900445512 74444800 17346 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18175 17346 1111 63 0 18112 0 vsize: 72700 [startup+1020.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 542671 0 0 0 100507 1509 0 0 25 0 1 0 900445512 74444800 17346 4294967295 134512640 134716908 3221224576 3221223304 134622771 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18175 17346 1111 63 0 18112 0 vsize: 72700 [startup+1030.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 542671 0 0 0 101507 1509 0 0 25 0 1 0 900445512 74444800 17346 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18175 17346 1111 63 0 18112 0 vsize: 72700 [startup+1040.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 542749 0 0 0 102506 1511 0 0 25 0 1 0 900445512 73658368 17154 4294967295 134512640 134716908 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17983 17154 1111 63 0 17920 0 vsize: 71932 [startup+1050.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 544946 0 0 0 103500 1517 0 0 25 0 1 0 900445512 73805824 17188 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18019 17188 1111 63 0 17956 0 vsize: 72076 [startup+1060.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 556926 0 0 0 104473 1545 0 0 25 0 1 0 900445512 73338880 17076 4294967295 134512640 134716908 3221224576 3221223368 134536921 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17905 17076 1111 63 0 17842 0 vsize: 71620 [startup+1070.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 574273 0 0 0 105433 1584 0 0 25 0 1 0 900445512 73338880 17076 4294967295 134512640 134716908 3221224576 3221222216 1077410163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17905 17076 1111 63 0 17842 0 vsize: 71620 [startup+1080.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 575990 0 0 0 106428 1589 0 0 25 0 1 0 900445512 75108352 17501 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18337 17501 1111 63 0 18274 0 vsize: 73348 [startup+1090.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 577523 0 0 0 107426 1592 0 0 25 0 1 0 900445512 73900032 17213 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18042 17213 1111 63 0 17979 0 vsize: 72168 [startup+1100.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 590180 0 0 0 108397 1621 0 0 25 0 1 0 900445512 73555968 17098 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17958 17098 1111 63 0 17895 0 vsize: 71832 [startup+1110.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 591374 0 0 0 109394 1625 0 0 25 0 1 0 900445512 74084352 17246 4294967295 134512640 134716908 3221224576 3221223368 134536897 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18087 17246 1111 63 0 18024 0 vsize: 72348 [startup+1120.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 600598 0 0 0 110372 1647 0 0 25 0 1 0 900445512 73666560 17156 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17985 17156 1111 63 0 17922 0 vsize: 71940 [startup+1130.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 612215 0 0 0 111340 1678 0 0 25 0 1 0 900445512 74190848 17284 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18113 17284 1111 63 0 18050 0 vsize: 72452 [startup+1140.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 617111 0 0 0 112329 1690 0 0 25 0 1 0 900445512 74977280 17457 4294967295 134512640 134716908 3221224576 3221222912 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18305 17457 1111 63 0 18242 0 vsize: 73220 [startup+1150.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 619249 0 0 0 113324 1695 0 0 25 0 1 0 900445512 75083776 17502 4294967295 134512640 134716908 3221224576 3221223352 134543568 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18331 17502 1111 63 0 18268 0 vsize: 73324 [startup+1160.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 619249 0 0 0 114324 1695 0 0 25 0 1 0 900445512 75083776 17502 4294967295 134512640 134716908 3221224576 3221223372 134558493 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18331 17502 1111 63 0 18268 0 vsize: 73324 [startup+1170.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 619249 0 0 0 115324 1695 0 0 25 0 1 0 900445512 74403840 17336 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18165 17336 1111 63 0 18102 0 vsize: 72660 [startup+1175.14 s] Raw data (loadavg): 1.00 0.97 0.91 1/53 17853 Raw data (stat): 17853 (bsolo_lpr-v2) R 17852 7266 7265 0 -1 0 619249 0 0 0 115324 1695 0 0 25 0 1 0 900445512 74403840 17336 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18165 17336 1111 63 0 18102 0 vsize: 0 Child status: 10 Real time (s): 1175.14 CPU time (s): 1175.31 CPU user time (s): 1158.1 CPU system time (s): 17.2064 CPU usage (%): 100.014 Max. virtual memory (Kb): 75892 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 140621 #### END VERIFIER DATA ####