Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb |
MD5SUM | 0d744fe957d41a18692933adc6be4af7 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1493203 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5292 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 1511880035 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 1511880035 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.04 |
Number of variables | 5292 |
Total number of constraints | 285 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 285 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 420 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-05-24 17:38:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19268 boxname=wulflinc19 idbench=1483 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 0d744fe957d41a18692933adc6be4af7 /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-ran12x21.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-ran12x21.opb IDLAUNCH: 19268 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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: 461820 kB Buffers: 10192 kB Cached: 531316 kB SwapCached: 520 kB Active: 21188 kB Inactive: 522768 kB HighTotal: 131008 kB HighFree: 9940 kB LowTotal: 903652 kB LowFree: 451880 kB SwapTotal: 2097892 kB SwapFree: 2096796 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5676 kB Slab: 23364 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 17:57:41 (client local time) WITH STATUS 0 IN 1175.17 SECONDS stats: 19268 7 1175.17 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 5292 variables and 318 constraints. c After prepocess the problem consists of 2942 variables and 409 constraints. c preprocess terminated 7.755 s c Initial Lower Bound: 404145 c Lower Bound Elapsed time: 0.725 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.14 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.85 0.97 0.98 2/54 12733 Raw data (stat): 12733 (runsolver) R 12732 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832090270 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0005 s] Raw data (loadavg): 0.87 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 9557 0 0 0 973 24 0 0 25 0 1 0 832090270 35647488 7930 4294967295 134512640 134714508 3221224576 3221222648 1074950117 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8703 7930 1111 63 0 8640 0 vsize: 34812 [startup+20.0013 s] Raw data (loadavg): 0.89 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 16571 0 0 0 1958 39 0 0 25 0 1 0 832090270 36270080 8089 4294967295 134512640 134714508 3221224576 3221222880 1074153581 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8089 1111 63 0 8792 0 vsize: 35420 [startup+30.0021 s] Raw data (loadavg): 0.91 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 22546 0 0 0 2945 52 0 0 25 0 1 0 832090270 36270080 8091 4294967295 134512640 134714508 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8091 1111 63 0 8792 0 vsize: 35420 [startup+40.0016 s] Raw data (loadavg): 0.92 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 28855 0 0 0 3931 66 0 0 25 0 1 0 832090270 37212160 8266 4294967295 134512640 134714508 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9085 8266 1111 63 0 9022 0 vsize: 36340 [startup+50.0026 s] Raw data (loadavg): 0.93 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 35027 0 0 0 4918 79 0 0 25 0 1 0 832090270 37236736 8257 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9091 8257 1111 63 0 9028 0 vsize: 36364 [startup+60.0023 s] Raw data (loadavg): 0.94 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 41499 0 0 0 5904 93 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221221440 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+70.0028 s] Raw data (loadavg): 0.95 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 48105 0 0 0 6890 108 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+80.0029 s] Raw data (loadavg): 0.96 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 54521 0 0 0 7874 124 0 0 25 0 1 0 832090270 36655104 8189 4294967295 134512640 134714508 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8949 8189 1111 63 0 8886 0 vsize: 35796 [startup+90.0026 s] Raw data (loadavg): 0.96 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 61127 0 0 0 8862 136 0 0 25 0 1 0 832090270 37167104 8255 4294967295 134512640 134714508 3221224576 3221220604 1074788217 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9074 8255 1111 63 0 9011 0 vsize: 36296 [startup+100.003 s] Raw data (loadavg): 0.97 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 67818 0 0 0 9847 151 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+110.003 s] Raw data (loadavg): 0.97 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 74263 0 0 0 10832 167 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222864 1074153823 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+120.004 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 81016 0 0 0 11816 183 0 0 25 0 1 0 832090270 37150720 8250 4294967295 134512640 134714508 3221224576 3221220648 1074950204 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9070 8250 1111 63 0 9007 0 vsize: 36280 [startup+130.003 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 87650 0 0 0 12801 198 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+140.004 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 94457 0 0 0 13787 212 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+150.004 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 101243 0 0 0 14771 228 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 107745 0 0 0 15757 242 0 0 25 0 1 0 832090270 36823040 8230 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8990 8230 1111 63 0 8927 0 vsize: 35960 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 114459 0 0 0 16742 257 0 0 25 0 1 0 832090270 36823040 8220 4294967295 134512640 134714508 3221224576 3221222536 1074138316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8990 8221 1111 63 0 8927 0 vsize: 35960 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 121431 0 0 0 17727 272 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+190.003 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 128661 0 0 0 18713 287 0 0 25 0 1 0 832090270 37175296 8243 4294967295 134512640 134714508 3221224576 3221222544 1075961292 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9076 8243 1111 63 0 9013 0 vsize: 36304 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 135607 0 0 0 19698 302 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 142582 0 0 0 20682 318 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 149473 0 0 0 21669 332 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 156371 0 0 0 22653 348 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 163190 0 0 0 23639 362 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222792 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 170232 0 0 0 24623 378 0 0 25 0 1 0 832090270 37150720 8225 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9070 8225 1111 63 0 9007 0 vsize: 36280 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 177193 0 0 0 25607 395 0 0 25 0 1 0 832090270 36786176 8221 4294967295 134512640 134714508 3221224576 3221222576 1074918330 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8981 8221 1111 63 0 8918 0 vsize: 35924 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 183949 0 0 0 26592 410 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221221536 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 190792 0 0 0 27576 426 0 0 25 0 1 0 832090270 36421632 8132 4294967295 134512640 134714508 3221224576 3221220576 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8892 8132 1111 63 0 8829 0 vsize: 35568 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 197542 0 0 0 28562 440 0 0 25 0 1 0 832090270 36438016 8136 4294967295 134512640 134714508 3221224576 3221220632 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8896 8136 1111 63 0 8833 0 vsize: 35584 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 204418 0 0 0 29548 455 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221223152 134650084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+310.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 211548 0 0 0 30533 470 0 0 25 0 1 0 832090270 37126144 8219 4294967295 134512640 134714508 3221224576 3221222496 1075799712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9064 8219 1111 63 0 9001 0 vsize: 36256 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 218330 0 0 0 31519 484 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221220628 1077374461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 225668 0 0 0 32504 498 0 0 25 0 1 0 832090270 36597760 8175 4294967295 134512640 134714508 3221224576 3221220780 1075562967 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8935 8175 1111 63 0 8872 0 vsize: 35740 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 232780 0 0 0 33490 513 0 0 25 0 1 0 832090270 36974592 8236 4294967295 134512640 134714508 3221224576 3221220648 1074950189 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9027 8236 1111 63 0 8964 0 vsize: 36108 [startup+350.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 239825 0 0 0 34474 529 0 0 25 0 1 0 832090270 36749312 8212 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8972 8212 1111 63 0 8909 0 vsize: 35888 [startup+360.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 247230 0 0 0 35459 544 0 0 25 0 1 0 832090270 36270080 8095 4294967295 134512640 134714508 3221224576 3221222880 1074153773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8095 1111 63 0 8792 0 vsize: 35420 [startup+370.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 254869 0 0 0 36442 562 0 0 25 0 1 0 832090270 37101568 8212 4294967295 134512640 134714508 3221224576 3221222712 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9058 8212 1111 63 0 8995 0 vsize: 36232 [startup+380.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 262255 0 0 0 37425 578 0 0 25 0 1 0 832090270 36581376 8172 4294967295 134512640 134714508 3221224576 3221221920 1074839039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8931 8172 1111 63 0 8868 0 vsize: 35724 [startup+390.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 269854 0 0 0 38409 595 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8096 1111 63 0 8792 0 vsize: 35420 [startup+400.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 277293 0 0 0 39392 612 0 0 25 0 1 0 832090270 37089280 8210 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9055 8210 1111 63 0 8992 0 vsize: 36220 [startup+410.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 284729 0 0 0 40375 629 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8096 1111 63 0 8792 0 vsize: 35420 [startup+420.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 292021 0 0 0 41359 645 0 0 25 0 1 0 832090270 36724736 8207 4294967295 134512640 134714508 3221224576 3221222576 1074916974 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8966 8207 1111 63 0 8903 0 vsize: 35864 [startup+430.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 299629 0 0 0 42342 662 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8096 1111 63 0 8792 0 vsize: 35420 [startup+440.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 306922 0 0 0 43326 679 0 0 25 0 1 0 832090270 37076992 8207 4294967295 134512640 134714508 3221224576 3221222688 1074867331 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9052 8207 1111 63 0 8989 0 vsize: 36208 [startup+450.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 314395 0 0 0 44309 696 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221222880 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8096 1111 63 0 8792 0 vsize: 35420 [startup+460.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 321611 0 0 0 45294 711 0 0 25 0 1 0 832090270 36909056 8224 4294967295 134512640 134714508 3221224576 3221220572 1074788069 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9011 8224 1111 63 0 8948 0 vsize: 36044 [startup+470.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 328588 0 0 0 46279 726 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221222912 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8096 1111 63 0 8792 0 vsize: 35420 [startup+480.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 335079 0 0 0 47264 741 0 0 25 0 1 0 832090270 36626432 8183 4294967295 134512640 134714508 3221224576 3221222576 1074917021 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8942 8183 1111 63 0 8879 0 vsize: 35768 [startup+490.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 341910 0 0 0 48250 755 0 0 25 0 1 0 832090270 36544512 8133 4294967295 134512640 134714508 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8922 8134 1111 63 0 8859 0 vsize: 35688 [startup+500.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 348569 0 0 0 49235 771 0 0 25 0 1 0 832090270 36409344 8130 4294967295 134512640 134714508 3221224576 3221221680 1074138827 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8889 8130 1111 63 0 8826 0 vsize: 35556 [startup+510.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 354699 0 0 0 50221 785 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221223280 134652491 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8096 1111 63 0 8792 0 vsize: 35420 [startup+520.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 361026 0 0 0 51206 800 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221222824 1074138144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8096 1111 63 0 8792 0 vsize: 35420 [startup+530.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 367154 0 0 0 52192 814 0 0 25 0 1 0 832090270 36876288 8169 4294967295 134512640 134714508 3221224576 3221222688 1074867344 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9003 8169 1111 63 0 8940 0 vsize: 36012 [startup+540.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 372924 0 0 0 53180 827 0 0 25 0 1 0 832090270 36536320 8161 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8920 8161 1111 63 0 8857 0 vsize: 35680 [startup+550.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 378105 0 0 0 54168 839 0 0 25 0 1 0 832090270 36466688 8112 4294967295 134512640 134714508 3221224576 3221221856 1074140368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8903 8112 1111 63 0 8840 0 vsize: 35612 [startup+560.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 382928 0 0 0 55155 851 0 0 25 0 1 0 832090270 37031936 8222 4294967295 134512640 134714508 3221224576 3221220840 1074950124 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9041 8222 1111 63 0 8978 0 vsize: 36164 [startup+570.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 387776 0 0 0 56143 863 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221221048 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8096 1111 63 0 8792 0 vsize: 35420 [startup+580.005 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 392017 0 0 0 57134 873 0 0 25 0 1 0 832090270 36577280 8169 4294967295 134512640 134714508 3221224576 3221221680 1074138642 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8930 8169 1111 63 0 8867 0 vsize: 35720 [startup+590.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 395966 0 0 0 58126 881 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221221920 1074839014 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8096 1111 63 0 8792 0 vsize: 35420 [startup+600.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 399812 0 0 0 59117 890 0 0 25 0 1 0 832090270 36270080 8096 4294967295 134512640 134714508 3221224576 3221223424 134623453 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8096 1111 63 0 8792 0 vsize: 35420 [startup+610.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403224 0 0 0 60108 899 0 0 25 0 1 0 832090270 36270080 8107 4294967295 134512640 134714508 3221224576 3221221880 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8107 1111 63 0 8792 0 vsize: 35420 [startup+620.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403294 0 0 0 61108 900 0 0 25 0 1 0 832090270 36270080 8109 4294967295 134512640 134714508 3221224576 3221221160 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8109 1111 63 0 8792 0 vsize: 35420 [startup+630.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403365 0 0 0 62108 900 0 0 25 0 1 0 832090270 36270080 8110 4294967295 134512640 134714508 3221224576 3221222320 1075646807 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8110 1111 63 0 8792 0 vsize: 35420 [startup+640.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403433 0 0 0 63107 901 0 0 25 0 1 0 832090270 36270080 8110 4294967295 134512640 134714508 3221224576 3221222016 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8110 1111 63 0 8792 0 vsize: 35420 [startup+650.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403507 0 0 0 64107 901 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222192 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8114 1111 63 0 8792 0 vsize: 35420 [startup+660.006 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403579 0 0 0 65107 902 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222864 1073978447 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8114 1111 63 0 8792 0 vsize: 35420 [startup+670.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403651 0 0 0 66106 903 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8114 1111 63 0 8792 0 vsize: 35420 [startup+680.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403723 0 0 0 67106 903 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222880 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8114 1111 63 0 8792 0 vsize: 35420 [startup+690.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403797 0 0 0 68105 904 0 0 25 0 1 0 832090270 36454400 8116 4294967295 134512640 134714508 3221224576 3221222544 1075810662 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8900 8116 1111 63 0 8837 0 vsize: 35600 [startup+700.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403871 0 0 0 69105 904 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221220576 1075965301 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8114 1111 63 0 8792 0 vsize: 35420 [startup+710.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 403943 0 0 0 70104 905 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222144 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8114 1111 63 0 8792 0 vsize: 35420 [startup+720.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404017 0 0 0 71104 906 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221221740 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8114 1111 63 0 8792 0 vsize: 35420 [startup+730.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404091 0 0 0 72103 907 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8114 1111 63 0 8792 0 vsize: 35420 [startup+740.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404165 0 0 0 73102 907 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222928 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8114 1111 63 0 8792 0 vsize: 35420 [startup+750.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404241 0 0 0 74102 909 0 0 25 0 1 0 832090270 36454400 8116 4294967295 134512640 134714508 3221224576 3221222400 1075824343 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8900 8116 1111 63 0 8837 0 vsize: 35600 [startup+760.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404317 0 0 0 75101 909 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8114 1111 63 0 8792 0 vsize: 35420 [startup+770.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404397 0 0 0 76100 910 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8114 1111 63 0 8792 0 vsize: 35420 [startup+780.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404479 0 0 0 77100 911 0 0 25 0 1 0 832090270 36454400 8116 4294967295 134512640 134714508 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8900 8116 1111 63 0 8837 0 vsize: 35600 [startup+790.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404561 0 0 0 78099 912 0 0 25 0 1 0 832090270 36454400 8116 4294967295 134512640 134714508 3221224576 3221222224 1075818272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8900 8116 1111 63 0 8837 0 vsize: 35600 [startup+800.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404643 0 0 0 79098 912 0 0 25 0 1 0 832090270 36270080 8114 4294967295 134512640 134714508 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8114 1111 63 0 8792 0 vsize: 35420 [startup+810.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404728 0 0 0 80098 913 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8115 1111 63 0 8792 0 vsize: 35420 [startup+820.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404812 0 0 0 81098 914 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222448 1074153767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8115 1111 63 0 8792 0 vsize: 35420 [startup+830.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 404904 0 0 0 82097 915 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222544 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8115 1111 63 0 8792 0 vsize: 35420 [startup+840.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405002 0 0 0 83096 915 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222696 1077378310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8115 1111 63 0 8792 0 vsize: 35420 [startup+850.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405104 0 0 0 84096 916 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221221680 1074138844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8115 1111 63 0 8792 0 vsize: 35420 [startup+860.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405210 0 0 0 85095 917 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8115 1111 63 0 8792 0 vsize: 35420 [startup+870.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405318 0 0 0 86095 918 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8115 1111 63 0 8792 0 vsize: 35420 [startup+880.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405426 0 0 0 87094 919 0 0 25 0 1 0 832090270 36450304 8117 4294967295 134512640 134714508 3221224576 3221222304 1075828211 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8899 8117 1111 63 0 8836 0 vsize: 35596 [startup+890.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405534 0 0 0 88093 920 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8115 1111 63 0 8792 0 vsize: 35420 [startup+900.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405646 0 0 0 89093 920 0 0 25 0 1 0 832090270 36270080 8115 4294967295 134512640 134714508 3221224576 3221222960 1074153669 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8115 1111 63 0 8792 0 vsize: 35420 [startup+910.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405769 0 0 0 90092 922 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+920.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 405897 0 0 0 91091 922 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222912 1074143115 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+930.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406025 0 0 0 92091 923 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+940.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406153 0 0 0 93090 924 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222816 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+950.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406279 0 0 0 94089 925 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+960.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406407 0 0 0 95089 926 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+970.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406533 0 0 0 96088 927 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+980.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406659 0 0 0 97087 928 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222832 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+990.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406787 0 0 0 98086 929 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 406911 0 0 0 99085 930 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221220540 1074860649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407031 0 0 0 100084 931 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407155 0 0 0 101084 932 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222472 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407279 0 0 0 102083 933 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222616 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407401 0 0 0 103082 934 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407527 0 0 0 104081 935 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407655 0 0 0 105080 936 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407785 0 0 0 106079 937 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 407911 0 0 0 107078 938 0 0 25 0 1 0 832090270 36450304 8118 4294967295 134512640 134714508 3221224576 3221222608 1075088363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35596 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408041 0 0 0 108078 939 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408175 0 0 0 109077 940 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222320 1075640405 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408301 0 0 0 110076 942 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408429 0 0 0 111074 943 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222640 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408557 0 0 0 112074 944 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222560 1074052248 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408685 0 0 0 113073 945 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222648 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408811 0 0 0 114073 946 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 408937 0 0 0 115072 947 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222320 1075646688 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 409063 0 0 0 116071 949 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222672 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 35420 [startup+1174.99 s] Raw data (loadavg): 0.99 0.97 0.98 1/53 12733 Raw data (stat): 12733 (bsolo_lpr_cuts) R 12732 10795 10794 0 -1 0 409063 0 0 0 116071 949 0 0 25 0 1 0 832090270 36270080 8116 4294967295 134512640 134714508 3221224576 3221222672 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8855 8116 1111 63 0 8792 0 vsize: 0 Child status: 0 Real time (s): 1174.99 CPU time (s): 1175.17 CPU user time (s): 1165.65 CPU system time (s): 9.51155 CPU usage (%): 100.015 Max. virtual memory (Kb): 36364 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####