Name | normalized-opb/submitted/manquinho/ttp/normalized-data8_3.opb |
MD5SUM | 1f07a50778ff795858a07800272da436 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 48343 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 279536 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 279536 |
Number of bits of the biggest sum of numbers | 19 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.04 |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-10 15:03:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2360 boxname=wulflinc31 idbench=263 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 1f07a50778ff795858a07800272da436 /oldhome/oroussel/tmp/wulflinc31/normalized-data8_3.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-data8_3.opb IDLAUNCH: 2360 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 290644 kB Buffers: 46888 kB Cached: 663204 kB SwapCached: 644 kB Active: 313376 kB Inactive: 399040 kB HighTotal: 131008 kB HighFree: 27356 kB LowTotal: 903652 kB LowFree: 263288 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 25968 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-10 15:22:51 (client local time) WITH STATUS 0 IN 1175.06 SECONDS stats: 2360 7 1175.06 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1344 variables and 16376 constraints. c After prepocess the problem consists of 1344 variables and 15618 constraints. c preprocess terminated 54.633 s c Initial Lower Bound: 31916 c Lower Bound Elapsed time: 169.175 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.02 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): 0.93 0.98 0.94 2/54 11346 Raw data (stat): 11346 (runsolver) R 11345 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 710175045 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0011 s] Raw data (loadavg): 0.94 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 5814 0 0 0 976 20 0 0 25 0 1 0 710175045 24379392 5096 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5952 5096 1111 63 0 5889 0 vsize: 23808 [startup+20.0013 s] Raw data (loadavg): 0.95 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 6724 0 0 0 1972 23 0 0 25 0 1 0 710175045 26226688 5568 4294967295 134512640 134714508 3221221776 3221220192 134543684 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6403 5568 1111 63 0 6340 0 vsize: 25612 [startup+30.0022 s] Raw data (loadavg): 0.95 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 7168 0 0 0 2971 25 0 0 25 0 1 0 710175045 27770880 5913 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6780 5913 1111 63 0 6717 0 vsize: 27120 [startup+40.0025 s] Raw data (loadavg): 0.96 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 7601 0 0 0 3970 26 0 0 25 0 1 0 710175045 28606464 6145 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6984 6145 1111 63 0 6921 0 vsize: 27936 [startup+50.0031 s] Raw data (loadavg): 0.97 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 7601 0 0 0 4970 27 0 0 25 0 1 0 710175045 28606464 6145 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6984 6145 1111 63 0 6921 0 vsize: 27936 [startup+60.003 s] Raw data (loadavg): 0.97 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 7744 0 0 0 5968 28 0 0 25 0 1 0 710175045 29171712 6288 4294967295 134512640 134714508 3221221776 3221219952 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7122 6288 1111 63 0 7059 0 vsize: 28488 [startup+70.0037 s] Raw data (loadavg): 0.97 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 7887 0 0 0 6966 31 0 0 25 0 1 0 710175045 29540352 6401 4294967295 134512640 134714508 3221221776 3221219912 1074207521 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7212 6401 1111 63 0 7149 0 vsize: 28848 [startup+80.0039 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 7933 0 0 0 7965 32 0 0 25 0 1 0 710175045 29728768 6447 4294967295 134512640 134714508 3221221776 3221220032 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7258 6447 1111 63 0 7195 0 vsize: 29032 [startup+90.0038 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 8025 0 0 0 8964 33 0 0 25 0 1 0 710175045 30121984 6539 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7354 6539 1111 63 0 7291 0 vsize: 29416 [startup+100.005 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 8058 0 0 0 9964 34 0 0 25 0 1 0 710175045 30257152 6572 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7387 6572 1111 63 0 7324 0 vsize: 29548 [startup+110.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 8158 0 0 0 10963 35 0 0 25 0 1 0 710175045 30568448 6652 4294967295 134512640 134714508 3221221776 3221219888 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7463 6652 1111 63 0 7400 0 vsize: 29852 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 8186 0 0 0 11962 36 0 0 25 0 1 0 710175045 30683136 6680 4294967295 134512640 134714508 3221221776 3221220032 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7491 6680 1111 63 0 7428 0 vsize: 29964 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 8213 0 0 0 12961 37 0 0 25 0 1 0 710175045 30793728 6707 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7518 6707 1111 63 0 7455 0 vsize: 30072 [startup+140.006 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 8240 0 0 0 13960 39 0 0 25 0 1 0 710175045 30904320 6734 4294967295 134512640 134714508 3221221776 3221219840 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7545 6734 1111 63 0 7482 0 vsize: 30180 [startup+150.007 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 12603 0 0 0 14950 49 0 0 25 0 1 0 710175045 42708992 8964 4294967295 134512640 134714508 3221221776 3221217644 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10427 8964 1111 63 0 10364 0 vsize: 41708 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 12772 0 0 0 15949 50 0 0 25 0 1 0 710175045 43134976 9133 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10531 9133 1111 63 0 10468 0 vsize: 42124 [startup+170.007 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 12857 0 0 0 16948 50 0 0 25 0 1 0 710175045 43352064 9218 4294967295 134512640 134714508 3221221776 3221217656 1075964764 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10584 9218 1111 63 0 10521 0 vsize: 42336 [startup+180.007 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 12958 0 0 0 17948 51 0 0 25 0 1 0 710175045 43843584 9319 4294967295 134512640 134714508 3221221776 3221217920 1075895746 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10704 9319 1111 63 0 10641 0 vsize: 42816 [startup+190.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13000 0 0 0 18947 52 0 0 25 0 1 0 710175045 44105728 9361 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10768 9361 1111 63 0 10705 0 vsize: 43072 [startup+200.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13070 0 0 0 19947 52 0 0 25 0 1 0 710175045 44380160 9431 4294967295 134512640 134714508 3221221776 3221217856 1074883509 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10835 9431 1111 63 0 10772 0 vsize: 43340 [startup+210.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13112 0 0 0 20947 52 0 0 25 0 1 0 710175045 44675072 9473 4294967295 134512640 134714508 3221221776 3221217856 1074883551 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10907 9473 1111 63 0 10844 0 vsize: 43628 [startup+220.008 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13160 0 0 0 21947 53 0 0 25 0 1 0 710175045 44974080 9521 4294967295 134512640 134714508 3221221776 3221217740 1074873598 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10980 9521 1111 63 0 10917 0 vsize: 43920 [startup+230.009 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13175 0 0 0 22946 53 0 0 25 0 1 0 710175045 44974080 9536 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10980 9536 1111 63 0 10917 0 vsize: 43920 [startup+240.009 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13201 0 0 0 23946 54 0 0 25 0 1 0 710175045 45285376 9562 4294967295 134512640 134714508 3221221776 3221217968 1074961149 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11056 9562 1111 63 0 10993 0 vsize: 44224 [startup+250.01 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13220 0 0 0 24946 54 0 0 25 0 1 0 710175045 45285376 9581 4294967295 134512640 134714508 3221221776 3221217696 1075965246 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11056 9581 1111 63 0 10993 0 vsize: 44224 [startup+260.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13273 0 0 0 25945 55 0 0 25 0 1 0 710175045 45625344 9634 4294967295 134512640 134714508 3221221776 3221217580 1074788977 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9634 1111 63 0 11076 0 vsize: 44556 [startup+270.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13273 0 0 0 26945 56 0 0 25 0 1 0 710175045 45625344 9634 4294967295 134512640 134714508 3221221776 3221217904 1074815430 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9634 1111 63 0 11076 0 vsize: 44556 [startup+280.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13273 0 0 0 27944 57 0 0 25 0 1 0 710175045 45625344 9634 4294967295 134512640 134714508 3221221776 3221217688 1075964730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9634 1111 63 0 11076 0 vsize: 44556 [startup+290.011 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13273 0 0 0 28944 57 0 0 25 0 1 0 710175045 45625344 9634 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9634 1111 63 0 11076 0 vsize: 44556 [startup+300.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13273 0 0 0 29944 58 0 0 25 0 1 0 710175045 45625344 9634 4294967295 134512640 134714508 3221221776 3221217968 1074961146 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9634 1111 63 0 11076 0 vsize: 44556 [startup+310.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13282 0 0 0 30943 58 0 0 25 0 1 0 710175045 45625344 9639 4294967295 134512640 134714508 3221221776 3221217656 1075964728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9639 1111 63 0 11076 0 vsize: 44556 [startup+320.012 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13282 0 0 0 31943 59 0 0 25 0 1 0 710175045 45625344 9639 4294967295 134512640 134714508 3221221776 3221217936 1075115724 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9639 1111 63 0 11076 0 vsize: 44556 [startup+330.013 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13282 0 0 0 32943 59 0 0 25 0 1 0 710175045 45625344 9639 4294967295 134512640 134714508 3221221776 3221217796 1075964214 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9639 1111 63 0 11076 0 vsize: 44556 [startup+340.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13282 0 0 0 33942 60 0 0 25 0 1 0 710175045 45625344 9639 4294967295 134512640 134714508 3221221776 3221217856 1074794682 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9639 1111 63 0 11076 0 vsize: 44556 [startup+350.014 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 13282 0 0 0 34942 60 0 0 25 0 1 0 710175045 45625344 9639 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9639 1111 63 0 11076 0 vsize: 44556 [startup+360.015 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 18961 0 0 0 35927 75 0 0 25 0 1 0 710175045 33894400 7541 4294967295 134512640 134714508 3221221776 3221219848 1074950119 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8275 7541 1111 63 0 8212 0 vsize: 33100 [startup+370.016 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 21081 0 0 0 36918 85 0 0 25 0 1 0 710175045 34349056 7549 4294967295 134512640 134714508 3221221776 3221219908 1075964227 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8386 7549 1111 63 0 8323 0 vsize: 33544 [startup+380.016 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 31344 0 0 0 37893 110 0 0 25 0 1 0 710175045 34242560 7625 4294967295 134512640 134714508 3221221776 3221220000 1074039238 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8360 7625 1111 63 0 8297 0 vsize: 33440 [startup+390.016 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 33480 0 0 0 38884 119 0 0 25 0 1 0 710175045 34697216 7633 4294967295 134512640 134714508 3221221776 3221219716 1074786571 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8471 7633 1111 63 0 8408 0 vsize: 33884 [startup+400.017 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34090 0 0 0 39881 122 0 0 25 0 1 0 710175045 34242560 7627 4294967295 134512640 134714508 3221221776 3221220464 134542892 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8360 7627 1111 63 0 8297 0 vsize: 33440 [startup+410.018 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34090 0 0 0 40880 123 0 0 25 0 1 0 710175045 34242560 7627 4294967295 134512640 134714508 3221221776 3221220336 134542342 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8360 7627 1111 63 0 8297 0 vsize: 33440 [startup+420.018 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34090 0 0 0 41879 125 0 0 25 0 1 0 710175045 34242560 7627 4294967295 134512640 134714508 3221221776 3221220364 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8360 7627 1111 63 0 8297 0 vsize: 33440 [startup+430.019 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34146 0 0 0 42878 126 0 0 25 0 1 0 710175045 34512896 7683 4294967295 134512640 134714508 3221221776 3221220512 134535844 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8426 7683 1111 63 0 8363 0 vsize: 33704 [startup+440.019 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34206 0 0 0 43877 127 0 0 25 0 1 0 710175045 34648064 7743 4294967295 134512640 134714508 3221221776 3221220304 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8459 7743 1111 63 0 8396 0 vsize: 33836 [startup+450.02 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34241 0 0 0 44877 127 0 0 25 0 1 0 710175045 34783232 7778 4294967295 134512640 134714508 3221221776 3221220316 134539301 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8492 7778 1111 63 0 8429 0 vsize: 33968 [startup+460.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34284 0 0 0 45876 128 0 0 25 0 1 0 710175045 35049472 7821 4294967295 134512640 134714508 3221221776 3221220416 134543113 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8557 7821 1111 63 0 8494 0 vsize: 34228 [startup+470.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34315 0 0 0 46876 129 0 0 25 0 1 0 710175045 35184640 7852 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8590 7852 1111 63 0 8527 0 vsize: 34360 [startup+480.021 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34356 0 0 0 47875 130 0 0 25 0 1 0 710175045 35319808 7893 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8623 7893 1111 63 0 8560 0 vsize: 34492 [startup+490.022 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34397 0 0 0 48875 131 0 0 25 0 1 0 710175045 35454976 7934 4294967295 134512640 134714508 3221221776 3221220316 134539243 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8656 7934 1111 63 0 8593 0 vsize: 34624 [startup+500.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34473 0 0 0 49874 132 0 0 25 0 1 0 710175045 35860480 8010 4294967295 134512640 134714508 3221221776 3221220364 134543653 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8755 8010 1111 63 0 8692 0 vsize: 35020 [startup+510.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34518 0 0 0 50873 132 0 0 25 0 1 0 710175045 35995648 8055 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8788 8055 1111 63 0 8725 0 vsize: 35152 [startup+520.023 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34564 0 0 0 51873 133 0 0 25 0 1 0 710175045 36130816 8101 4294967295 134512640 134714508 3221221776 3221220400 134536678 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8821 8101 1111 63 0 8758 0 vsize: 35284 [startup+530.024 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34593 0 0 0 52872 134 0 0 25 0 1 0 710175045 36265984 8130 4294967295 134512640 134714508 3221221776 3221220504 134543804 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8854 8130 1111 63 0 8791 0 vsize: 35416 [startup+540.024 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34650 0 0 0 53871 135 0 0 25 0 1 0 710175045 36536320 8187 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8920 8187 1111 63 0 8857 0 vsize: 35680 [startup+550.025 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34689 0 0 0 54871 135 0 0 25 0 1 0 710175045 36671488 8226 4294967295 134512640 134714508 3221221776 3221220344 134542295 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8953 8226 1111 63 0 8890 0 vsize: 35812 [startup+560.026 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34724 0 0 0 55871 136 0 0 25 0 1 0 710175045 36806656 8261 4294967295 134512640 134714508 3221221776 3221220416 134539462 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8986 8261 1111 63 0 8923 0 vsize: 35944 [startup+570.026 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34762 0 0 0 56870 137 0 0 25 0 1 0 710175045 36941824 8299 4294967295 134512640 134714508 3221221776 3221220316 134539223 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9019 8299 1111 63 0 8956 0 vsize: 36076 [startup+580.026 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34823 0 0 0 57870 137 0 0 25 0 1 0 710175045 37208064 8360 4294967295 134512640 134714508 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9084 8360 1111 63 0 9021 0 vsize: 36336 [startup+590.025 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34838 0 0 0 58869 138 0 0 25 0 1 0 710175045 37343232 8375 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9117 8375 1111 63 0 9054 0 vsize: 36468 [startup+600.026 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34875 0 0 0 59869 139 0 0 25 0 1 0 710175045 37478400 8412 4294967295 134512640 134714508 3221221776 3221220384 134543674 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9150 8412 1111 63 0 9087 0 vsize: 36600 [startup+610.027 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34916 0 0 0 60868 139 0 0 25 0 1 0 710175045 37609472 8453 4294967295 134512640 134714508 3221221776 3221220400 134542368 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9182 8453 1111 63 0 9119 0 vsize: 36728 [startup+620.026 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34954 0 0 0 61868 140 0 0 25 0 1 0 710175045 37744640 8491 4294967295 134512640 134714508 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9215 8491 1111 63 0 9152 0 vsize: 36860 [startup+630.026 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 34963 0 0 0 62867 141 0 0 25 0 1 0 710175045 37744640 8500 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9215 8500 1111 63 0 9152 0 vsize: 36860 [startup+640.027 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35004 0 0 0 63867 141 0 0 25 0 1 0 710175045 38010880 8541 4294967295 134512640 134714508 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9280 8541 1111 63 0 9217 0 vsize: 37120 [startup+650.028 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35031 0 0 0 64867 141 0 0 25 0 1 0 710175045 38146048 8568 4294967295 134512640 134714508 3221221776 3221220312 134613965 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9313 8568 1111 63 0 9250 0 vsize: 37252 [startup+660.028 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35056 0 0 0 65867 142 0 0 25 0 1 0 710175045 38248448 8593 4294967295 134512640 134714508 3221221776 3221220384 134523171 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9338 8593 1111 63 0 9275 0 vsize: 37352 [startup+670.028 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35094 0 0 0 66866 142 0 0 25 0 1 0 710175045 38383616 8631 4294967295 134512640 134714508 3221221776 3221220416 134543110 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9371 8631 1111 63 0 9308 0 vsize: 37484 [startup+680.029 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35158 0 0 0 67866 142 0 0 25 0 1 0 710175045 38645760 8695 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9435 8695 1111 63 0 9372 0 vsize: 37740 [startup+690.029 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35200 0 0 0 68866 143 0 0 25 0 1 0 710175045 38772736 8737 4294967295 134512640 134714508 3221221776 3221220344 134542370 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9466 8737 1111 63 0 9403 0 vsize: 37864 [startup+700.03 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35210 0 0 0 69866 143 0 0 25 0 1 0 710175045 38772736 8747 4294967295 134512640 134714508 3221221776 3221220452 134542905 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9466 8747 1111 63 0 9403 0 vsize: 37864 [startup+710.031 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35256 0 0 0 70866 143 0 0 25 0 1 0 710175045 39026688 8793 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9528 8793 1111 63 0 9465 0 vsize: 38112 [startup+720.031 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35304 0 0 0 71866 143 0 0 25 0 1 0 710175045 39161856 8841 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9561 8841 1111 63 0 9498 0 vsize: 38244 [startup+730.031 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35338 0 0 0 72866 143 0 0 25 0 1 0 710175045 39297024 8875 4294967295 134512640 134714508 3221221776 3221220416 134543110 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9594 8875 1111 63 0 9531 0 vsize: 38376 [startup+740.031 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35387 0 0 0 73866 144 0 0 25 0 1 0 710175045 39567360 8924 4294967295 134512640 134714508 3221221776 3221220400 134539462 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9660 8924 1111 63 0 9597 0 vsize: 38640 [startup+750.032 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35402 0 0 0 74866 144 0 0 25 0 1 0 710175045 39567360 8939 4294967295 134512640 134714508 3221221776 3221220404 134696209 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9660 8939 1111 63 0 9597 0 vsize: 38640 [startup+760.033 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35443 0 0 0 75866 144 0 0 25 0 1 0 710175045 39837696 8980 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9726 8980 1111 63 0 9663 0 vsize: 38904 [startup+770.032 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35467 0 0 0 76866 145 0 0 25 0 1 0 710175045 39837696 9004 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9726 9004 1111 63 0 9663 0 vsize: 38904 [startup+780.032 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35517 0 0 0 77865 145 0 0 25 0 1 0 710175045 40108032 9054 4294967295 134512640 134714508 3221221776 3221220384 134523171 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9792 9054 1111 63 0 9729 0 vsize: 39168 [startup+790.033 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35558 0 0 0 78865 146 0 0 25 0 1 0 710175045 40239104 9095 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9824 9095 1111 63 0 9761 0 vsize: 39296 [startup+800.033 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35593 0 0 0 79865 146 0 0 25 0 1 0 710175045 40374272 9130 4294967295 134512640 134714508 3221221776 3221220284 134535967 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9857 9130 1111 63 0 9794 0 vsize: 39428 [startup+810.034 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35625 0 0 0 80866 146 0 0 25 0 1 0 710175045 40509440 9162 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9890 9162 1111 63 0 9827 0 vsize: 39560 [startup+820.034 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35670 0 0 0 81865 146 0 0 25 0 1 0 710175045 40644608 9207 4294967295 134512640 134714508 3221221776 3221220380 134536814 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9923 9207 1111 63 0 9860 0 vsize: 39692 [startup+830.035 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35687 0 0 0 82865 146 0 0 25 0 1 0 710175045 40751104 9224 4294967295 134512640 134714508 3221221776 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9949 9224 1111 63 0 9886 0 vsize: 39796 [startup+840.036 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35706 0 0 0 83864 146 0 0 25 0 1 0 710175045 40849408 9243 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9973 9243 1111 63 0 9910 0 vsize: 39892 [startup+850.037 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35706 0 0 0 84864 146 0 0 25 0 1 0 710175045 40849408 9243 4294967295 134512640 134714508 3221221776 3221220368 134542677 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9973 9243 1111 63 0 9910 0 vsize: 39892 [startup+860.038 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35762 0 0 0 85864 147 0 0 25 0 1 0 710175045 41119744 9299 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10039 9299 1111 63 0 9976 0 vsize: 40156 [startup+870.038 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35804 0 0 0 86864 147 0 0 25 0 1 0 710175045 41254912 9341 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10072 9341 1111 63 0 10009 0 vsize: 40288 [startup+880.038 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35824 0 0 0 87865 147 0 0 25 0 1 0 710175045 41390080 9361 4294967295 134512640 134714508 3221221776 3221220284 134535967 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10105 9361 1111 63 0 10042 0 vsize: 40420 [startup+890.038 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35861 0 0 0 88865 147 0 0 25 0 1 0 710175045 41525248 9398 4294967295 134512640 134714508 3221221776 3221220316 134539243 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10138 9398 1111 63 0 10075 0 vsize: 40552 [startup+900.039 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35882 0 0 0 89865 147 0 0 25 0 1 0 710175045 41525248 9419 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10138 9419 1111 63 0 10075 0 vsize: 40552 [startup+910.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35930 0 0 0 90865 147 0 0 25 0 1 0 710175045 41795584 9467 4294967295 134512640 134714508 3221221776 3221220400 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10204 9467 1111 63 0 10141 0 vsize: 40816 [startup+920.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35944 0 0 0 91865 148 0 0 25 0 1 0 710175045 41795584 9481 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10204 9481 1111 63 0 10141 0 vsize: 40816 [startup+930.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 35974 0 0 0 92864 148 0 0 25 0 1 0 710175045 41930752 9511 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10237 9511 1111 63 0 10174 0 vsize: 40948 [startup+940.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36018 0 0 0 93864 148 0 0 25 0 1 0 710175045 42065920 9555 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10270 9555 1111 63 0 10207 0 vsize: 41080 [startup+950.041 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36060 0 0 0 94864 148 0 0 25 0 1 0 710175045 42332160 9597 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10335 9597 1111 63 0 10272 0 vsize: 41340 [startup+960.041 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36070 0 0 0 95864 149 0 0 25 0 1 0 710175045 42332160 9607 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10335 9607 1111 63 0 10272 0 vsize: 41340 [startup+970.041 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36103 0 0 0 96864 149 0 0 25 0 1 0 710175045 42467328 9640 4294967295 134512640 134714508 3221221776 3221220336 134696530 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10368 9640 1111 63 0 10305 0 vsize: 41472 [startup+980.042 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36150 0 0 0 97864 149 0 0 25 0 1 0 710175045 42602496 9687 4294967295 134512640 134714508 3221221776 3221220316 134539306 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10401 9687 1111 63 0 10338 0 vsize: 41604 [startup+990.042 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36176 0 0 0 98864 150 0 0 25 0 1 0 710175045 42737664 9713 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10434 9713 1111 63 0 10371 0 vsize: 41736 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36207 0 0 0 99864 150 0 0 25 0 1 0 710175045 42872832 9744 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10467 9744 1111 63 0 10404 0 vsize: 41868 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36237 0 0 0 100864 150 0 0 25 0 1 0 710175045 43003904 9774 4294967295 134512640 134714508 3221221776 3221220456 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10499 9774 1111 63 0 10436 0 vsize: 41996 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36261 0 0 0 101864 150 0 0 25 0 1 0 710175045 43139072 9798 4294967295 134512640 134714508 3221221776 3221220316 134539296 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10532 9798 1111 63 0 10469 0 vsize: 42128 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36271 0 0 0 102864 150 0 0 25 0 1 0 710175045 43139072 9808 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10532 9808 1111 63 0 10469 0 vsize: 42128 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36278 0 0 0 103864 150 0 0 25 0 1 0 710175045 43139072 9815 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10532 9815 1111 63 0 10469 0 vsize: 42128 [startup+1050.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36314 0 0 0 104864 151 0 0 25 0 1 0 710175045 43401216 9851 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10596 9851 1111 63 0 10533 0 vsize: 42384 [startup+1060.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36342 0 0 0 105864 151 0 0 25 0 1 0 710175045 43401216 9879 4294967295 134512640 134714508 3221221776 3221220396 134536852 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10596 9879 1111 63 0 10533 0 vsize: 42384 [startup+1070.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36377 0 0 0 106864 151 0 0 25 0 1 0 710175045 43536384 9914 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10629 9914 1111 63 0 10566 0 vsize: 42516 [startup+1080.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36395 0 0 0 107864 151 0 0 25 0 1 0 710175045 43671552 9932 4294967295 134512640 134714508 3221221776 3221220576 134597692 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10662 9932 1111 63 0 10599 0 vsize: 42648 [startup+1090.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36406 0 0 0 108864 151 0 0 25 0 1 0 710175045 43671552 9943 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10662 9943 1111 63 0 10599 0 vsize: 42648 [startup+1100.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36420 0 0 0 109864 152 0 0 25 0 1 0 710175045 43806720 9957 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10695 9957 1111 63 0 10632 0 vsize: 42780 [startup+1110.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36434 0 0 0 110864 152 0 0 25 0 1 0 710175045 43806720 9971 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10695 9971 1111 63 0 10632 0 vsize: 42780 [startup+1120.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36434 0 0 0 111865 152 0 0 25 0 1 0 710175045 43806720 9971 4294967295 134512640 134714508 3221221776 3221220380 134536834 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10695 9971 1111 63 0 10632 0 vsize: 42780 [startup+1130.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36442 0 0 0 112865 152 0 0 25 0 1 0 710175045 43806720 9979 4294967295 134512640 134714508 3221221776 3221220304 134542306 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10695 9979 1111 63 0 10632 0 vsize: 42780 [startup+1140.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36456 0 0 0 113865 152 0 0 25 0 1 0 710175045 43941888 9993 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10728 9993 1111 63 0 10665 0 vsize: 42912 [startup+1150.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36468 0 0 0 114865 152 0 0 25 0 1 0 710175045 43925504 10005 4294967295 134512640 134714508 3221221776 3221220416 134543108 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10724 10005 1111 63 0 10661 0 vsize: 42896 [startup+1160.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36498 0 0 0 115865 152 0 0 25 0 1 0 710175045 44060672 10035 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10757 10035 1111 63 0 10694 0 vsize: 43028 [startup+1170.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36537 0 0 0 116865 152 0 0 25 0 1 0 710175045 44195840 10074 4294967295 134512640 134714508 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10790 10074 1111 63 0 10727 0 vsize: 43160 [startup+1174.93 s] Raw data (loadavg): 0.99 0.98 0.94 1/53 11346 Raw data (stat): 11346 (bsolo_lpr_cuts) R 11345 7876 7672 0 -1 0 36537 0 0 0 116865 152 0 0 25 0 1 0 710175045 44195840 10074 4294967295 134512640 134714508 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10790 10074 1111 63 0 10727 0 vsize: 0 Child status: 0 Real time (s): 1174.93 CPU time (s): 1175.06 CPU user time (s): 1173.51 CPU system time (s): 1.54976 CPU usage (%): 100.011 Max. virtual memory (Kb): 44556 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####