Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb |
MD5SUM | fae1fae180d772ad3ee6c1acfa1c8b4f |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 122 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 504 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 2000000 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 30041153 |
Number of bits of the biggest sum of numbers | 25 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 2124 |
Total number of constraints | 444 |
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 | 444 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 64 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-21 02:59:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18943 boxname=wulflinc31 idbench=1458 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: fae1fae180d772ad3ee6c1acfa1c8b4f /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-vpm2.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-vpm2.opb IDLAUNCH: 18943 /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: 586064 kB Buffers: 34776 kB Cached: 392996 kB SwapCached: 1172 kB Active: 297124 kB Inactive: 133048 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 585812 kB SwapTotal: 2097892 kB SwapFree: 2095980 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5356 kB Slab: 12732 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-21 03:19:17 (client local time) WITH STATUS 0 IN 1175.18 SECONDS stats: 18943 7 1175.18 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 2124 variables and 486 constraints. c After prepocess the problem consists of 1392 variables and 289 constraints. c preprocess terminated 46.138 s c Initial Lower Bound: 39 c Lower Bound Elapsed time: 0.179 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.15 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.91 0.95 0.90 2/55 4544 Raw data (stat): 4544 (runsolver) R 4543 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 800884034 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0007 s] Raw data (loadavg): 0.93 0.95 0.90 2/55 4544 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 5954 0 0 0 980 15 0 0 25 0 1 0 800884034 27561984 5875 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6729 5875 1111 63 0 6666 0 vsize: 26916 [startup+20.0018 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 4544 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 6002 0 0 0 1980 16 0 0 25 0 1 0 800884034 27807744 5923 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6789 5923 1111 63 0 6726 0 vsize: 27156 [startup+30.0028 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 4597 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 6002 0 0 0 2980 16 0 0 25 0 1 0 800884034 27807744 5923 4294967295 134512640 134714508 3221221776 3221220448 134606848 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6789 5923 1111 63 0 6726 0 vsize: 27156 [startup+40.0033 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 4597 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 6002 0 0 0 3980 16 0 0 25 0 1 0 800884034 27807744 5923 4294967295 134512640 134714508 3221221776 3221220500 134618161 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6789 5923 1111 63 0 6726 0 vsize: 27156 [startup+50.0039 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 4597 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 7263 0 0 0 4977 19 0 0 25 0 1 0 800884034 27807744 6092 4294967295 134512640 134714508 3221221776 3221219648 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6789 6092 1111 63 0 6726 0 vsize: 27156 [startup+60.0045 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 4597 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 8704 0 0 0 5972 23 0 0 25 0 1 0 800884034 27807744 6093 4294967295 134512640 134714508 3221221776 3221220400 134649041 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6789 6093 1111 63 0 6726 0 vsize: 27156 [startup+70.005 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 4597 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 9994 0 0 0 6967 28 0 0 25 0 1 0 800884034 28004352 6095 4294967295 134512640 134714508 3221221776 3221219888 1074867325 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6837 6095 1111 63 0 6774 0 vsize: 27348 [startup+80.0064 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 4597 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 10842 0 0 0 7963 33 0 0 25 0 1 0 800884034 27955200 6100 4294967295 134512640 134714508 3221221776 3221217888 1075895679 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6825 6100 1111 63 0 6762 0 vsize: 27300 [startup+90.0063 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 4597 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 12057 0 0 0 8959 37 0 0 25 0 1 0 800884034 27836416 6096 4294967295 134512640 134714508 3221221776 3221219776 1074916565 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6796 6096 1111 63 0 6733 0 vsize: 27184 [startup+100.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 13767 0 0 0 9952 44 0 0 25 0 1 0 800884034 27807744 6095 4294967295 134512640 134714508 3221221776 3221220056 1074138322 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6789 6095 1111 63 0 6726 0 vsize: 27156 [startup+110.007 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 15830 0 0 0 10946 50 0 0 25 0 1 0 800884034 28192768 6122 4294967295 134512640 134714508 3221221776 3221217872 1074879331 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6883 6122 1111 63 0 6820 0 vsize: 27532 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 17923 0 0 0 11942 55 0 0 25 0 1 0 800884034 28057600 6119 4294967295 134512640 134714508 3221221776 3221218004 1075115112 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6850 6119 1111 63 0 6787 0 vsize: 27400 [startup+130.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 20009 0 0 0 12935 62 0 0 25 0 1 0 800884034 27807744 6095 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6789 6095 1111 63 0 6726 0 vsize: 27156 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 22017 0 0 0 13930 67 0 0 25 0 1 0 800884034 27807744 6095 4294967295 134512640 134714508 3221221776 3221219584 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6789 6095 1111 63 0 6726 0 vsize: 27156 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 24092 0 0 0 14924 73 0 0 25 0 1 0 800884034 27840512 6099 4294967295 134512640 134714508 3221221776 3221220176 1074118820 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6797 6099 1111 63 0 6734 0 vsize: 27188 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 25755 0 0 0 15918 79 0 0 25 0 1 0 800884034 27881472 6113 4294967295 134512640 134714508 3221221776 3221219776 1074918280 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6807 6113 1111 63 0 6744 0 vsize: 27228 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 27385 0 0 0 16914 84 0 0 25 0 1 0 800884034 27881472 6113 4294967295 134512640 134714508 3221221776 3221220040 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6807 6113 1111 63 0 6744 0 vsize: 27228 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 29258 0 0 0 17908 89 0 0 25 0 1 0 800884034 28106752 6126 4294967295 134512640 134714508 3221221776 3221217772 1074860964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6862 6126 1111 63 0 6799 0 vsize: 27448 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 31244 0 0 0 18903 95 0 0 25 0 1 0 800884034 27844608 6104 4294967295 134512640 134714508 3221221776 3221219632 1074153736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6798 6104 1111 63 0 6735 0 vsize: 27192 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 32878 0 0 0 19895 103 0 0 25 0 1 0 800884034 28004352 6106 4294967295 134512640 134714508 3221221776 3221219504 1075828444 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6837 6106 1111 63 0 6774 0 vsize: 27348 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 34884 0 0 0 20889 109 0 0 25 0 1 0 800884034 28082176 6129 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6856 6129 1111 63 0 6793 0 vsize: 27424 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 36592 0 0 0 21884 114 0 0 25 0 1 0 800884034 27938816 6126 4294967295 134512640 134714508 3221221776 3221220032 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6821 6126 1111 63 0 6758 0 vsize: 27284 [startup+230.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 37899 0 0 0 22880 119 0 0 25 0 1 0 800884034 27938816 6130 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6821 6130 1111 63 0 6758 0 vsize: 27284 [startup+240.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 38838 0 0 0 23876 123 0 0 25 0 1 0 800884034 28110848 6131 4294967295 134512640 134714508 3221221776 3221218820 1074846216 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6835 6131 1111 63 0 6772 0 vsize: 27452 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 39833 0 0 0 24870 129 0 0 25 0 1 0 800884034 28155904 6152 4294967295 134512640 134714508 3221221776 3221217788 1074788921 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6874 6152 1111 63 0 6811 0 vsize: 27496 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 42436 0 0 0 25861 138 0 0 25 0 1 0 800884034 27938816 6130 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6821 6130 1111 63 0 6758 0 vsize: 27284 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 45157 0 0 0 26853 147 0 0 25 0 1 0 800884034 27947008 6132 4294967295 134512640 134714508 3221221776 3221220128 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6823 6132 1111 63 0 6760 0 vsize: 27292 [startup+280.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 47136 0 0 0 27845 154 0 0 25 0 1 0 800884034 28004352 6143 4294967295 134512640 134714508 3221221776 3221220176 1074119066 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6837 6143 1111 63 0 6774 0 vsize: 27348 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 50511 0 0 0 28836 163 0 0 25 0 1 0 800884034 28266496 6210 4294967295 134512640 134714508 3221221776 3221219520 1075645388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6901 6210 1111 63 0 6838 0 vsize: 27604 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 53554 0 0 0 29828 172 0 0 25 0 1 0 800884034 28770304 6263 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7024 6263 1111 63 0 6961 0 vsize: 28096 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 56669 0 0 0 30820 180 0 0 25 0 1 0 800884034 28311552 6221 4294967295 134512640 134714508 3221221776 3221220128 1074115331 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6912 6221 1111 63 0 6849 0 vsize: 27648 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 59679 0 0 0 31811 189 0 0 25 0 1 0 800884034 28581888 6288 4294967295 134512640 134714508 3221221776 3221219824 1074207681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6978 6288 1111 63 0 6915 0 vsize: 27912 [startup+330.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 61615 0 0 0 32805 195 0 0 25 0 1 0 800884034 28753920 6330 4294967295 134512640 134714508 3221221776 3221219520 1075646652 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7020 6330 1111 63 0 6957 0 vsize: 28080 [startup+340.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 64178 0 0 0 33796 205 0 0 25 0 1 0 800884034 28934144 6369 4294967295 134512640 134714508 3221221776 3221219504 1075635463 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7064 6369 1111 63 0 7001 0 vsize: 28256 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 67004 0 0 0 34786 215 0 0 25 0 1 0 800884034 29036544 6400 4294967295 134512640 134714508 3221221776 3221220456 1076648037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7089 6400 1111 63 0 7026 0 vsize: 28356 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 69354 0 0 0 35779 222 0 0 25 0 1 0 800884034 29159424 6397 4294967295 134512640 134714508 3221221776 3221219888 1074867358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7119 6397 1111 63 0 7056 0 vsize: 28476 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 71311 0 0 0 36775 226 0 0 25 0 1 0 800884034 29200384 6431 4294967295 134512640 134714508 3221221776 3221219120 1074839043 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7129 6431 1111 63 0 7066 0 vsize: 28516 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4599 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 73128 0 0 0 37770 231 0 0 25 0 1 0 800884034 29057024 6405 4294967295 134512640 134714508 3221221776 3221219256 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7094 6405 1111 63 0 7031 0 vsize: 28376 [startup+390.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 75501 0 0 0 38763 239 0 0 25 0 1 0 800884034 29401088 6433 4294967295 134512640 134714508 3221221776 3221217740 1074860595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7178 6433 1111 63 0 7115 0 vsize: 28712 [startup+400.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 77759 0 0 0 39757 245 0 0 25 0 1 0 800884034 29011968 6395 4294967295 134512640 134714508 3221221776 3221219728 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7083 6395 1111 63 0 7020 0 vsize: 28332 [startup+410.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 81184 0 0 0 40747 255 0 0 25 0 1 0 800884034 29011968 6395 4294967295 134512640 134714508 3221221776 3221219968 134650068 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7083 6395 1111 63 0 7020 0 vsize: 28332 [startup+420.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 85096 0 0 0 41737 266 0 0 25 0 1 0 800884034 29196288 6429 4294967295 134512640 134714508 3221221776 3221218880 1074138636 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7128 6429 1111 63 0 7065 0 vsize: 28512 [startup+430.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 89050 0 0 0 42725 277 0 0 25 0 1 0 800884034 29106176 6418 4294967295 134512640 134714508 3221221776 3221219800 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7106 6418 1111 63 0 7043 0 vsize: 28424 [startup+440.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 92417 0 0 0 43715 287 0 0 25 0 1 0 800884034 29327360 6467 4294967295 134512640 134714508 3221221776 3221219504 1075635940 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7160 6467 1111 63 0 7097 0 vsize: 28640 [startup+450.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 95697 0 0 0 44706 296 0 0 25 0 1 0 800884034 29372416 6454 4294967295 134512640 134714508 3221221776 3221219600 1075823433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7171 6454 1111 63 0 7108 0 vsize: 28684 [startup+460.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 98503 0 0 0 45699 304 0 0 25 0 1 0 800884034 29224960 6447 4294967295 134512640 134714508 3221221776 3221220104 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7135 6447 1111 63 0 7072 0 vsize: 28540 [startup+470.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 101139 0 0 0 46691 312 0 0 25 0 1 0 800884034 29224960 6447 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7135 6447 1111 63 0 7072 0 vsize: 28540 [startup+480.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 103766 0 0 0 47682 322 0 0 25 0 1 0 800884034 29249536 6453 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7141 6453 1111 63 0 7078 0 vsize: 28564 [startup+490.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 106207 0 0 0 48675 329 0 0 25 0 1 0 800884034 29245440 6452 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7140 6452 1111 63 0 7077 0 vsize: 28560 [startup+500.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 109356 0 0 0 49666 338 0 0 25 0 1 0 800884034 29417472 6494 4294967295 134512640 134714508 3221221776 3221218888 1077377643 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7182 6494 1111 63 0 7119 0 vsize: 28728 [startup+510.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 112502 0 0 0 50657 347 0 0 25 0 1 0 800884034 29417472 6494 4294967295 134512640 134714508 3221221776 3221219728 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7182 6494 1111 63 0 7119 0 vsize: 28728 [startup+520.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 115278 0 0 0 51650 354 0 0 25 0 1 0 800884034 29908992 6538 4294967295 134512640 134714508 3221221776 3221218112 1075114265 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7302 6538 1111 63 0 7239 0 vsize: 29208 [startup+530.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 118034 0 0 0 52642 362 0 0 25 0 1 0 800884034 29540352 6524 4294967295 134512640 134714508 3221221776 3221220112 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7212 6524 1111 63 0 7149 0 vsize: 28848 [startup+540.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 121823 0 0 0 53632 372 0 0 25 0 1 0 800884034 29716480 6563 4294967295 134512640 134714508 3221221776 3221220128 1074115304 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7255 6563 1111 63 0 7192 0 vsize: 29020 [startup+550.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 123988 0 0 0 54626 378 0 0 25 0 1 0 800884034 29822976 6593 4294967295 134512640 134714508 3221221776 3221219512 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7281 6593 1111 63 0 7218 0 vsize: 29124 [startup+560.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 125699 0 0 0 55622 383 0 0 25 0 1 0 800884034 29822976 6593 4294967295 134512640 134714508 3221221776 3221219660 1073960008 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7281 6593 1111 63 0 7218 0 vsize: 29124 [startup+570.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 127605 0 0 0 56616 389 0 0 25 0 1 0 800884034 29847552 6594 4294967295 134512640 134714508 3221221776 3221220000 1074153766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7287 6594 1111 63 0 7224 0 vsize: 29148 [startup+580.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 130168 0 0 0 57609 396 0 0 25 0 1 0 800884034 30007296 6638 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7326 6638 1111 63 0 7263 0 vsize: 29304 [startup+590.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 131823 0 0 0 58604 402 0 0 25 0 1 0 800884034 30339072 6652 4294967295 134512640 134714508 3221221776 3221218264 1074798917 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7407 6653 1111 63 0 7344 0 vsize: 29628 [startup+600.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 133884 0 0 0 59597 408 0 0 25 0 1 0 800884034 30547968 6714 4294967295 134512640 134714508 3221221776 3221218152 1075112616 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7458 6714 1111 63 0 7395 0 vsize: 29832 [startup+610.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 136120 0 0 0 60591 414 0 0 25 0 1 0 800884034 30162944 6676 4294967295 134512640 134714508 3221221776 3221220076 1074138112 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7364 6676 1111 63 0 7301 0 vsize: 29456 [startup+620.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 138473 0 0 0 61587 419 0 0 25 0 1 0 800884034 30724096 6735 4294967295 134512640 134714508 3221221776 3221218152 1075112516 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7501 6735 1111 63 0 7438 0 vsize: 30004 [startup+630.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 140356 0 0 0 62581 425 0 0 25 0 1 0 800884034 30253056 6698 4294967295 134512640 134714508 3221221776 3221219968 134650068 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7386 6698 1111 63 0 7323 0 vsize: 29544 [startup+640.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 143130 0 0 0 63573 433 0 0 25 0 1 0 800884034 30920704 6779 4294967295 134512640 134714508 3221221776 3221217744 1075965243 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7549 6779 1111 63 0 7486 0 vsize: 30196 [startup+650.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 145675 0 0 0 64567 439 0 0 25 0 1 0 800884034 30879744 6769 4294967295 134512640 134714508 3221221776 3221217716 1074786402 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7539 6769 1111 63 0 7476 0 vsize: 30156 [startup+660.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 147557 0 0 0 65562 444 0 0 25 0 1 0 800884034 30314496 6713 4294967295 134512640 134714508 3221221776 3221220128 1074115296 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6713 1111 63 0 7338 0 vsize: 29604 [startup+670.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 150190 0 0 0 66555 452 0 0 25 0 1 0 800884034 30633984 6740 4294967295 134512640 134714508 3221221776 3221218096 1075169838 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7479 6740 1111 63 0 7416 0 vsize: 29916 [startup+680.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 153035 0 0 0 67547 460 0 0 25 0 1 0 800884034 30384128 6730 4294967295 134512640 134714508 3221221776 3221220176 1074118806 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7418 6730 1111 63 0 7355 0 vsize: 29672 [startup+690.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 156190 0 0 0 68540 467 0 0 25 0 1 0 800884034 31272960 6866 4294967295 134512640 134714508 3221221776 3221218832 1075084533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7635 6866 1111 63 0 7572 0 vsize: 30540 [startup+700.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 158391 0 0 0 69534 473 0 0 25 0 1 0 800884034 30502912 6759 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7447 6759 1111 63 0 7384 0 vsize: 29788 [startup+710.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 160168 0 0 0 70527 480 0 0 25 0 1 0 800884034 30498816 6758 4294967295 134512640 134714508 3221221776 3221220072 1074138155 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7446 6758 1111 63 0 7383 0 vsize: 29784 [startup+720.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 161721 0 0 0 71524 484 0 0 25 0 1 0 800884034 30498816 6758 4294967295 134512640 134714508 3221221776 3221220112 1074153806 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7446 6758 1111 63 0 7383 0 vsize: 29784 [startup+730.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 162953 0 0 0 72520 488 0 0 25 0 1 0 800884034 30498816 6758 4294967295 134512640 134714508 3221221776 3221220112 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7446 6758 1111 63 0 7383 0 vsize: 29784 [startup+740.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 164180 0 0 0 73517 492 0 0 25 0 1 0 800884034 30834688 6773 4294967295 134512640 134714508 3221221776 3221218608 1075115397 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7528 6773 1111 63 0 7465 0 vsize: 30112 [startup+750.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 165702 0 0 0 74513 496 0 0 25 0 1 0 800884034 30498816 6758 4294967295 134512640 134714508 3221221776 3221218880 1074138678 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7446 6758 1111 63 0 7383 0 vsize: 29784 [startup+760.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 167128 0 0 0 75509 500 0 0 25 0 1 0 800884034 30834688 6772 4294967295 134512640 134714508 3221221776 3221217724 1074788930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7528 6772 1111 63 0 7465 0 vsize: 30112 [startup+770.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 169073 0 0 0 76503 506 0 0 25 0 1 0 800884034 30498816 6758 4294967295 134512640 134714508 3221221776 3221219832 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7446 6758 1111 63 0 7383 0 vsize: 29784 [startup+780.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 170691 0 0 0 77498 511 0 0 25 0 1 0 800884034 30547968 6770 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7458 6770 1111 63 0 7395 0 vsize: 29832 [startup+790.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 172392 0 0 0 78492 517 0 0 25 0 1 0 800884034 30572544 6775 4294967295 134512640 134714508 3221221776 3221219056 1074139935 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7464 6775 1111 63 0 7401 0 vsize: 29856 [startup+800.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 174332 0 0 0 79487 522 0 0 25 0 1 0 800884034 30941184 6796 4294967295 134512640 134714508 3221221776 3221218004 1075114937 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7554 6796 1111 63 0 7491 0 vsize: 30216 [startup+810.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 177211 0 0 0 80479 530 0 0 25 0 1 0 800884034 30978048 6813 4294967295 134512640 134714508 3221221776 3221218048 1074960909 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7563 6813 1111 63 0 7500 0 vsize: 30252 [startup+820.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 179757 0 0 0 81472 538 0 0 25 0 1 0 800884034 30707712 6773 4294967295 134512640 134714508 3221221776 3221219424 1075818331 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7497 6773 1111 63 0 7434 0 vsize: 29988 [startup+830.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 183115 0 0 0 82463 547 0 0 25 0 1 0 800884034 31023104 6821 4294967295 134512640 134714508 3221221776 3221217936 1074883509 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7574 6821 1111 63 0 7511 0 vsize: 30296 [startup+840.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 186344 0 0 0 83453 557 0 0 25 0 1 0 800884034 30547968 6770 4294967295 134512640 134714508 3221221776 3221220104 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7458 6770 1111 63 0 7395 0 vsize: 29832 [startup+850.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 189555 0 0 0 84445 565 0 0 25 0 1 0 800884034 31031296 6824 4294967295 134512640 134714508 3221221776 3221217684 1074786531 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7576 6824 1111 63 0 7513 0 vsize: 30304 [startup+860.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 192782 0 0 0 85437 574 0 0 25 0 1 0 800884034 31006720 6817 4294967295 134512640 134714508 3221221776 3221217716 1074786498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7570 6817 1111 63 0 7507 0 vsize: 30280 [startup+870.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 195331 0 0 0 86430 581 0 0 25 0 1 0 800884034 30724096 6813 4294967295 134512640 134714508 3221221776 3221219776 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7501 6813 1111 63 0 7438 0 vsize: 30004 [startup+880.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 197498 0 0 0 87423 588 0 0 25 0 1 0 800884034 30773248 6825 4294967295 134512640 134714508 3221221776 3221220040 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7513 6825 1111 63 0 7450 0 vsize: 30052 [startup+890.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 199630 0 0 0 88417 594 0 0 25 0 1 0 800884034 30822400 6837 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7525 6837 1111 63 0 7462 0 vsize: 30100 [startup+900.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 201731 0 0 0 89411 601 0 0 25 0 1 0 800884034 31215616 6863 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7621 6863 1111 63 0 7558 0 vsize: 30484 [startup+910.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 203864 0 0 0 90405 607 0 0 25 0 1 0 800884034 30822400 6837 4294967295 134512640 134714508 3221221776 3221220024 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7525 6837 1111 63 0 7462 0 vsize: 30100 [startup+920.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 206066 0 0 0 91399 613 0 0 25 0 1 0 800884034 30822400 6837 4294967295 134512640 134714508 3221221776 3221220160 1074153766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7525 6837 1111 63 0 7462 0 vsize: 30100 [startup+930.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 208076 0 0 0 92393 619 0 0 25 0 1 0 800884034 30949376 6868 4294967295 134512640 134714508 3221221776 3221219880 1077374830 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7556 6868 1111 63 0 7493 0 vsize: 30224 [startup+940.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 209905 0 0 0 93388 624 0 0 25 0 1 0 800884034 30949376 6868 4294967295 134512640 134714508 3221221776 3221220128 1074153822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7556 6868 1111 63 0 7493 0 vsize: 30224 [startup+950.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 211971 0 0 0 94381 632 0 0 25 0 1 0 800884034 30949376 6868 4294967295 134512640 134714508 3221221776 3221219984 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7556 6868 1111 63 0 7493 0 vsize: 30224 [startup+960.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 213880 0 0 0 95373 639 0 0 25 0 1 0 800884034 30973952 6873 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7562 6873 1111 63 0 7499 0 vsize: 30248 [startup+970.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 215708 0 0 0 96368 644 0 0 25 0 1 0 800884034 31342592 6894 4294967295 134512640 134714508 3221221776 3221217808 1075965260 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7652 6894 1111 63 0 7589 0 vsize: 30608 [startup+980.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 217472 0 0 0 97363 650 0 0 25 0 1 0 800884034 30949376 6868 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7556 6868 1111 63 0 7493 0 vsize: 30224 [startup+990.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 219226 0 0 0 98358 655 0 0 25 0 1 0 800884034 31342592 6895 4294967295 134512640 134714508 3221221776 3221217996 1074878536 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7652 6895 1111 63 0 7589 0 vsize: 30608 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 221497 0 0 0 99351 662 0 0 25 0 1 0 800884034 31203328 6898 4294967295 134512640 134714508 3221221776 3221218880 1074138813 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7618 6898 1111 63 0 7555 0 vsize: 30472 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 224278 0 0 0 100344 669 0 0 25 0 1 0 800884034 31830016 7022 4294967295 134512640 134714508 3221221776 3221218096 1075171638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7771 7022 1111 63 0 7708 0 vsize: 31084 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 226290 0 0 0 101339 675 0 0 25 0 1 0 800884034 31600640 6951 4294967295 134512640 134714508 3221221776 3221217980 1075564397 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7715 6951 1111 63 0 7652 0 vsize: 30860 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 228615 0 0 0 102333 681 0 0 25 0 1 0 800884034 32014336 7039 4294967295 134512640 134714508 3221221776 3221217652 1074786588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7816 7039 1111 63 0 7753 0 vsize: 31264 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 231301 0 0 0 103326 687 0 0 25 0 1 0 800884034 31576064 6960 4294967295 134512640 134714508 3221221776 3221218016 1075115760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7709 6960 1111 63 0 7646 0 vsize: 30836 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 233671 0 0 0 104320 694 0 0 25 0 1 0 800884034 31432704 6939 4294967295 134512640 134714508 3221221776 3221219424 1075818290 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7674 6939 1111 63 0 7611 0 vsize: 30696 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 235316 0 0 0 105316 698 0 0 25 0 1 0 800884034 31264768 6945 4294967295 134512640 134714508 3221221776 3221220416 134649277 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7633 6945 1111 63 0 7570 0 vsize: 30532 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 237138 0 0 0 106310 705 0 0 25 0 1 0 800884034 31469568 6952 4294967295 134512640 134714508 3221221776 3221219600 1075823542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7683 6952 1111 63 0 7620 0 vsize: 30732 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 238486 0 0 0 107306 709 0 0 25 0 1 0 800884034 31457280 6955 4294967295 134512640 134714508 3221221776 3221218544 1076083847 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7680 6955 1111 63 0 7617 0 vsize: 30720 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 240111 0 0 0 108302 713 0 0 25 0 1 0 800884034 31289344 6951 4294967295 134512640 134714508 3221221776 3221220104 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7639 6951 1111 63 0 7576 0 vsize: 30556 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 241953 0 0 0 109297 718 0 0 25 0 1 0 800884034 31641600 6982 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7725 6982 1111 63 0 7662 0 vsize: 30900 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 243505 0 0 0 110291 724 0 0 25 0 1 0 800884034 31289344 6951 4294967295 134512640 134714508 3221221776 3221220112 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7639 6951 1111 63 0 7576 0 vsize: 30556 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 244907 0 0 0 111286 730 0 0 25 0 1 0 800884034 31645696 6969 4294967295 134512640 134714508 3221221776 3221217868 1075663448 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7726 6969 1111 63 0 7663 0 vsize: 30904 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 246321 0 0 0 112281 735 0 0 25 0 1 0 800884034 31645696 6970 4294967295 134512640 134714508 3221221776 3221217820 1074873537 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7726 6970 1111 63 0 7663 0 vsize: 30904 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 247954 0 0 0 113277 739 0 0 25 0 1 0 800884034 31645696 6972 4294967295 134512640 134714508 3221221776 3221218152 1075112606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7726 6972 1111 63 0 7663 0 vsize: 30904 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 249499 0 0 0 114271 745 0 0 25 0 1 0 800884034 31289344 6951 4294967295 134512640 134714508 3221221776 3221219680 1074153794 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7639 6951 1111 63 0 7576 0 vsize: 30556 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 251338 0 0 0 115265 751 0 0 25 0 1 0 800884034 31289344 6951 4294967295 134512640 134714508 3221221776 3221220112 1074153794 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7639 6951 1111 63 0 7576 0 vsize: 30556 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 253448 0 0 0 116258 758 0 0 25 0 1 0 800884034 31715328 6973 4294967295 134512640 134714508 3221221776 3221218760 1074831834 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7743 6973 1111 63 0 7680 0 vsize: 30972 [startup+1175.06 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 4601 Raw data (stat): 4544 (bsolo_lpr_cuts) R 4543 7876 7672 0 -1 0 253448 0 0 0 116258 758 0 0 25 0 1 0 800884034 31715328 6973 4294967295 134512640 134714508 3221221776 3221218760 1074831834 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7743 6973 1111 63 0 7680 0 vsize: 0 Child status: 0 Real time (s): 1175.06 CPU time (s): 1175.18 CPU user time (s): 1167.55 CPU system time (s): 7.63384 CPU usage (%): 100.011 Max. virtual memory (Kb): 31264 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####