Name | normalized-opb/submitted/een/normalized-stein45.opb |
MD5SUM | 34647f6a75058de4a92f0ff94f3c9005 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 45 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 45 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 22 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 67 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01484 |
Number of variables | 45 |
Total number of constraints | 331 |
Number of constraints which are clauses | 330 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 45 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-17 01:44:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5202 boxname=wulflinc31 idbench=401 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 34647f6a75058de4a92f0ff94f3c9005 /oldhome/oroussel/tmp/wulflinc31/normalized-stein45.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-stein45.opb IDLAUNCH: 5202 /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: 764956 kB Buffers: 52040 kB Cached: 188360 kB SwapCached: 1952 kB Active: 204428 kB Inactive: 44924 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 764704 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5380 kB Slab: 14716 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-17 02:04:06 (client local time) WITH STATUS 10 IN 1175.08 SECONDS stats: 5202 0 1175.08 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 45 variables and 331 constraints. c After prepocess the problem consists of 45 variables and 331 constraints. c preprocess terminated 0.087 s c Initial Lower Bound: 22 c Lower Bound Elapsed time: 0.059 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 39 @ 0.149 c NEW SOLUTION FOUND: 38 @ 0.151 c NEW SOLUTION FOUND: 37 @ 0.154 c NEW SOLUTION FOUND: 36 @ 0.163 c NEW SOLUTION FOUND: 35 @ 0.166 c NEW SOLUTION FOUND: 34 @ 0.18 c NEW SOLUTION FOUND: 33 @ 0.239 c NEW SOLUTION FOUND: 32 @ 0.324 c NEW SOLUTION FOUND: 31 @ 2.007 c NEW SOLUTION FOUND: 30 @ 698.76 s SATISFIABLE v x0 x1 x2 x3 -x4 x5 x6 -x7 x8 -x9 x10 x11 x12 x13 x14 -x15 x16 x17 x18 x19 x20 -x21 x22 x23 -x24 x25 x26 x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 x36 x37 -x38 x39 x40 -x41 -x42 x43 x44 c Exit Code: 10 c Total time: 1175.06 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.96 2/55 20584 Raw data (stat): 20584 (runsolver) R 20583 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 765868900 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.0009 s] Raw data (loadavg): 0.93 0.95 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 15482 0 0 0 955 39 0 0 25 0 1 0 765868900 6406144 880 4294967295 134512640 134714508 3221221776 3221219888 1074867344 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1564 880 1111 63 0 1501 0 vsize: 6256 [startup+20.0023 s] Raw data (loadavg): 0.94 0.96 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 31646 0 0 0 1916 78 0 0 25 0 1 0 765868900 7245824 1047 4294967295 134512640 134714508 3221221776 3221220016 1073990411 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1769 1047 1111 63 0 1706 0 vsize: 7076 [startup+30.0028 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 46791 0 0 0 2883 112 0 0 25 0 1 0 765868900 7630848 1155 4294967295 134512640 134714508 3221221776 3221218968 1074138316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1863 1155 1111 63 0 1800 0 vsize: 7452 [startup+40.0028 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 62755 0 0 0 3845 150 0 0 25 0 1 0 765868900 7888896 1242 4294967295 134512640 134714508 3221221776 3221219936 1074153466 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1926 1242 1111 63 0 1863 0 vsize: 7704 [startup+50.0041 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 79365 0 0 0 4807 189 0 0 25 0 1 0 765868900 9080832 1491 4294967295 134512640 134714508 3221221776 3221217788 1074788964 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2217 1491 1111 63 0 2154 0 vsize: 8868 [startup+60.0046 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 95071 0 0 0 5769 227 0 0 25 0 1 0 765868900 8790016 1457 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2146 1457 1111 63 0 2083 0 vsize: 8584 [startup+70.007 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 110581 0 0 0 6731 265 0 0 25 0 1 0 765868900 9297920 1555 4294967295 134512640 134714508 3221221776 3221219696 1075799428 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2270 1555 1111 63 0 2207 0 vsize: 9080 [startup+80.008 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 126265 0 0 0 7691 304 0 0 25 0 1 0 765868900 9973760 1670 4294967295 134512640 134714508 3221221776 3221218844 1077410128 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2435 1670 1111 63 0 2372 0 vsize: 9740 [startup+90.0084 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 141943 0 0 0 8651 344 0 0 25 0 1 0 765868900 9740288 1694 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2378 1694 1111 63 0 2315 0 vsize: 9512 [startup+100.008 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 157508 0 0 0 9615 381 0 0 25 0 1 0 765868900 10145792 1793 4294967295 134512640 134714508 3221221776 3221220256 134650068 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2477 1793 1111 63 0 2414 0 vsize: 9908 [startup+110.01 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 173634 0 0 0 10577 419 0 0 25 0 1 0 765868900 10600448 1904 4294967295 134512640 134714508 3221221776 3221220332 134542288 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2588 1904 1111 63 0 2525 0 vsize: 10352 [startup+120.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 189376 0 0 0 11538 458 0 0 25 0 1 0 765868900 10915840 1981 4294967295 134512640 134714508 3221221776 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2665 1981 1111 63 0 2602 0 vsize: 10660 [startup+130.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 205366 0 0 0 12501 495 0 0 25 0 1 0 765868900 11202560 2051 4294967295 134512640 134714508 3221221776 3221219688 1077380592 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2735 2051 1111 63 0 2672 0 vsize: 10940 [startup+140.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 221605 0 0 0 13464 533 0 0 25 0 1 0 765868900 12128256 2200 4294967295 134512640 134714508 3221221776 3221218848 1074867305 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2961 2200 1111 63 0 2898 0 vsize: 11844 [startup+150.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 238703 0 0 0 14423 574 0 0 25 0 1 0 765868900 12800000 2215 4294967295 134512640 134714508 3221221776 3221218816 1075971395 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3125 2215 1111 63 0 3062 0 vsize: 12500 [startup+160.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 256444 0 0 0 15380 617 0 0 25 0 1 0 765868900 12148736 2275 4294967295 134512640 134714508 3221221776 3221219776 1074917202 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2966 2275 1111 63 0 2903 0 vsize: 11864 [startup+170.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 274412 0 0 0 16335 662 0 0 25 0 1 0 765868900 12365824 2341 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3019 2341 1111 63 0 2956 0 vsize: 12076 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 290393 0 0 0 17296 701 0 0 25 0 1 0 765868900 13619200 2469 4294967295 134512640 134714508 3221221776 3221219152 1075115790 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3325 2469 1111 63 0 3262 0 vsize: 13300 [startup+190.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 306494 0 0 0 18260 737 0 0 25 0 1 0 765868900 12800000 2447 4294967295 134512640 134714508 3221221776 3221219696 1074051586 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3125 2447 1111 63 0 3062 0 vsize: 12500 [startup+200.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 323386 0 0 0 19217 779 0 0 25 0 1 0 765868900 13099008 2496 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3198 2496 1111 63 0 3135 0 vsize: 12792 [startup+210.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 340564 0 0 0 20179 818 0 0 25 0 1 0 765868900 14032896 2716 4294967295 134512640 134714508 3221221776 3221218968 1074138322 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3426 2716 1111 63 0 3363 0 vsize: 13704 [startup+220.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 358219 0 0 0 21137 860 0 0 25 0 1 0 765868900 13484032 2614 4294967295 134512640 134714508 3221221776 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3292 2614 1111 63 0 3229 0 vsize: 13168 [startup+230.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 374274 0 0 0 22099 899 0 0 25 0 1 0 765868900 13787136 2660 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3366 2660 1111 63 0 3303 0 vsize: 13464 [startup+240.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 391063 0 0 0 23062 936 0 0 25 0 1 0 765868900 14073856 2758 4294967295 134512640 134714508 3221221776 3221220048 1074055984 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3436 2758 1111 63 0 3373 0 vsize: 13744 [startup+250.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 408662 0 0 0 24021 977 0 0 25 0 1 0 765868900 15286272 2899 4294967295 134512640 134714508 3221221776 3221219440 1074835532 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3732 2899 1111 63 0 3669 0 vsize: 14928 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 426078 0 0 0 24981 1017 0 0 25 0 1 0 765868900 14360576 2828 4294967295 134512640 134714508 3221221776 3221218880 1074138642 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3506 2828 1111 63 0 3443 0 vsize: 14024 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 443848 0 0 0 25941 1058 0 0 25 0 1 0 765868900 14548992 2874 4294967295 134512640 134714508 3221221776 3221220124 1074207488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3552 2874 1111 63 0 3489 0 vsize: 14208 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 461654 0 0 0 26895 1103 0 0 25 0 1 0 765868900 14860288 2934 4294967295 134512640 134714508 3221221776 3221220056 1074138265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3628 2934 1111 63 0 3565 0 vsize: 14512 [startup+290.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 480574 0 0 0 27849 1149 0 0 25 0 1 0 765868900 14987264 2981 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3659 2981 1111 63 0 3596 0 vsize: 14636 [startup+300.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 493600 0 0 0 28818 1181 0 0 25 0 1 0 765868900 17096704 3113 4294967295 134512640 134714508 3221221776 3221218816 1075971404 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4174 3113 1111 63 0 4111 0 vsize: 16696 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 511297 0 0 0 29776 1223 0 0 25 0 1 0 765868900 15618048 3111 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3813 3111 1111 63 0 3750 0 vsize: 15252 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 528791 0 0 0 30733 1266 0 0 25 0 1 0 765868900 15663104 3147 4294967295 134512640 134714508 3221221776 3221220032 1073986885 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3824 3147 1111 63 0 3761 0 vsize: 15296 [startup+330.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 547929 0 0 0 31684 1315 0 0 25 0 1 0 765868900 16039936 3210 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3916 3210 1111 63 0 3853 0 vsize: 15664 [startup+340.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 563516 0 0 0 32647 1352 0 0 25 0 1 0 765868900 16179200 3273 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3950 3273 1111 63 0 3887 0 vsize: 15800 [startup+350.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 579810 0 0 0 33606 1393 0 0 25 0 1 0 765868900 16322560 3308 4294967295 134512640 134714508 3221221776 3221220016 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3985 3308 1111 63 0 3922 0 vsize: 15940 [startup+360.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 596149 0 0 0 34568 1432 0 0 25 0 1 0 765868900 16711680 3391 4294967295 134512640 134714508 3221221776 3221219776 1074916673 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4080 3391 1111 63 0 4017 0 vsize: 16320 [startup+370.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 612319 0 0 0 35527 1472 0 0 25 0 1 0 765868900 16842752 3435 4294967295 134512640 134714508 3221221776 3221220012 1074207648 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4112 3435 1111 63 0 4049 0 vsize: 16448 [startup+380.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 628009 0 0 0 36489 1511 0 0 25 0 1 0 765868900 18886656 3552 4294967295 134512640 134714508 3221221776 3221218432 1075966528 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4611 3552 1111 63 0 4548 0 vsize: 18444 [startup+390.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 641150 0 0 0 37457 1543 0 0 25 0 1 0 765868900 17190912 3520 4294967295 134512640 134714508 3221221776 3221219896 1074206273 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4197 3520 1111 63 0 4134 0 vsize: 16788 [startup+400.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 657107 0 0 0 38417 1583 0 0 25 0 1 0 765868900 18583552 3597 4294967295 134512640 134714508 3221221776 3221218432 1075969185 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4537 3597 1111 63 0 4474 0 vsize: 18148 [startup+410.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 672706 0 0 0 39379 1621 0 0 25 0 1 0 765868900 18046976 3714 4294967295 134512640 134714508 3221221776 3221218880 1074138838 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4406 3714 1111 63 0 4343 0 vsize: 17624 [startup+420.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 690314 0 0 0 40334 1666 0 0 25 0 1 0 765868900 18014208 3711 4294967295 134512640 134714508 3221221776 3221220112 1075552862 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4398 3711 1111 63 0 4335 0 vsize: 17592 [startup+430.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 706441 0 0 0 41296 1705 0 0 25 0 1 0 765868900 17920000 3698 4294967295 134512640 134714508 3221221776 3221220044 1077410224 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4375 3698 1111 63 0 4312 0 vsize: 17500 [startup+440.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 722635 0 0 0 42256 1744 0 0 25 0 1 0 765868900 20443136 4065 4294967295 134512640 134714508 3221221776 3221218432 1075967941 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4991 4065 1111 63 0 4928 0 vsize: 19964 [startup+450.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 738896 0 0 0 43215 1785 0 0 25 0 1 0 765868900 19312640 4025 4294967295 134512640 134714508 3221221776 3221218968 1074138322 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4715 4025 1111 63 0 4652 0 vsize: 18860 [startup+460.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 756068 0 0 0 44174 1827 0 0 25 0 1 0 765868900 18624512 3870 4294967295 134512640 134714508 3221221776 3221220464 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4547 3870 1111 63 0 4484 0 vsize: 18188 [startup+470.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 768967 0 0 0 45144 1857 0 0 25 0 1 0 765868900 18931712 3945 4294967295 134512640 134714508 3221221776 3221218880 1074138729 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4622 3945 1111 63 0 4559 0 vsize: 18488 [startup+480.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 785087 0 0 0 46105 1896 0 0 25 0 1 0 765868900 19030016 3969 4294967295 134512640 134714508 3221221776 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4646 3969 1111 63 0 4583 0 vsize: 18584 [startup+490.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 800987 0 0 0 47067 1935 0 0 25 0 1 0 765868900 19402752 4041 4294967295 134512640 134714508 3221221776 3221218648 1077799011 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4737 4041 1111 63 0 4674 0 vsize: 18948 [startup+500.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 816723 0 0 0 48032 1970 0 0 25 0 1 0 765868900 19472384 4077 4294967295 134512640 134714508 3221221776 3221219920 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4754 4077 1111 63 0 4691 0 vsize: 19016 [startup+510.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 833772 0 0 0 48989 2013 0 0 25 0 1 0 765868900 19566592 4100 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4777 4100 1111 63 0 4714 0 vsize: 19108 [startup+520.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 846423 0 0 0 49958 2044 0 0 25 0 1 0 765868900 20078592 4216 4294967295 134512640 134714508 3221221776 3221220112 1075552836 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4902 4216 1111 63 0 4839 0 vsize: 19608 [startup+530.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 862518 0 0 0 50922 2080 0 0 25 0 1 0 765868900 20140032 4240 4294967295 134512640 134714508 3221221776 3221219712 1075552832 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4917 4240 1111 63 0 4854 0 vsize: 19668 [startup+540.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 878087 0 0 0 51886 2116 0 0 25 0 1 0 765868900 22048768 4334 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5383 4334 1111 63 0 5320 0 vsize: 21532 [startup+550.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 894121 0 0 0 52849 2153 0 0 25 0 1 0 765868900 20422656 4290 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4986 4290 1111 63 0 4923 0 vsize: 19944 [startup+560.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 907986 0 0 0 53816 2186 0 0 25 0 1 0 765868900 21069824 4435 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5144 4435 1111 63 0 5081 0 vsize: 20576 [startup+570.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 925386 0 0 0 54773 2229 0 0 25 0 1 0 765868900 20791296 4369 4294967295 134512640 134714508 3221221776 3221219860 1077374461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5076 4369 1111 63 0 5013 0 vsize: 20304 [startup+580.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 941798 0 0 0 55733 2269 0 0 25 0 1 0 765868900 21012480 4453 4294967295 134512640 134714508 3221221776 3221219968 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5130 4453 1111 63 0 5067 0 vsize: 20520 [startup+590.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 959615 0 0 0 56689 2314 0 0 25 0 1 0 765868900 21319680 4499 4294967295 134512640 134714508 3221221776 3221219968 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5205 4499 1111 63 0 5142 0 vsize: 20820 [startup+600.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 977412 0 0 0 57644 2359 0 0 25 0 1 0 765868900 21737472 4626 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5307 4626 1111 63 0 5244 0 vsize: 21228 [startup+610.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 993167 0 0 0 58604 2399 0 0 25 0 1 0 765868900 22290432 4747 4294967295 134512640 134714508 3221221776 3221219872 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5442 4747 1111 63 0 5379 0 vsize: 21768 [startup+620.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 998222 0 0 0 59591 2412 0 0 25 0 1 0 765868900 22241280 4726 4294967295 134512640 134714508 3221221776 3221219920 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5430 4726 1111 63 0 5367 0 vsize: 21720 [startup+630.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1013619 0 0 0 60556 2447 0 0 25 0 1 0 765868900 21757952 4635 4294967295 134512640 134714508 3221221776 3221220080 1074153736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5312 4635 1111 63 0 5249 0 vsize: 21248 [startup+640.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1028348 0 0 0 61523 2481 0 0 25 0 1 0 765868900 23076864 4911 4294967295 134512640 134714508 3221221776 3221220096 1074039443 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5634 4911 1111 63 0 5571 0 vsize: 22536 [startup+650.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1044614 0 0 0 62484 2519 0 0 25 0 1 0 765868900 22204416 4744 4294967295 134512640 134714508 3221221776 3221219504 1075635922 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5421 4744 1111 63 0 5358 0 vsize: 21684 [startup+660.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1056420 0 0 0 63457 2547 0 0 25 0 1 0 765868900 25600000 5213 4294967295 134512640 134714508 3221221776 3221218608 1075115388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6250 5213 1111 63 0 6187 0 vsize: 25000 [startup+670.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1072529 0 0 0 64421 2583 0 0 25 0 1 0 765868900 22908928 4885 4294967295 134512640 134714508 3221221776 3221219888 1074867317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5593 4885 1111 63 0 5530 0 vsize: 22372 [startup+680.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1087241 0 0 0 65386 2618 0 0 25 0 1 0 765868900 22581248 4836 4294967295 134512640 134714508 3221221776 3221220064 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5513 4836 1111 63 0 5450 0 vsize: 22052 [startup+690.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1105543 0 0 0 66342 2661 0 0 25 0 1 0 765868900 25636864 5058 4294967295 134512640 134714508 3221221776 3221217936 1074794495 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6259 5058 1111 63 0 6196 0 vsize: 25036 [startup+700.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1121294 0 0 0 67304 2700 0 0 25 0 1 0 765868900 24674304 4999 4294967295 134512640 134714508 3221221776 3221219344 1075972440 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6024 4999 1111 63 0 5961 0 vsize: 24096 [startup+710.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1136421 0 0 0 68267 2737 0 0 25 0 1 0 765868900 26439680 5342 4294967295 134512640 134714508 3221221776 3221218608 1075115790 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6455 5342 1111 63 0 6392 0 vsize: 25820 [startup+720.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1143971 0 0 0 69247 2757 0 0 25 0 1 0 765868900 23826432 5112 4294967295 134512640 134714508 3221221776 3221220436 134649897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5817 5112 1111 63 0 5754 0 vsize: 23268 [startup+730.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1158612 0 0 0 70213 2792 0 0 25 0 1 0 765868900 23670784 5094 4294967295 134512640 134714508 3221221776 3221219888 1074867314 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5779 5094 1111 63 0 5716 0 vsize: 23116 [startup+740.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1169845 0 0 0 71186 2819 0 0 25 0 1 0 765868900 23543808 5072 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5748 5072 1111 63 0 5685 0 vsize: 22992 [startup+750.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1181172 0 0 0 72158 2847 0 0 25 0 1 0 765868900 23769088 5123 4294967295 134512640 134714508 3221221776 3221219936 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5803 5123 1111 63 0 5740 0 vsize: 23212 [startup+760.038 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1192312 0 0 0 73132 2873 0 0 25 0 1 0 765868900 23896064 5158 4294967295 134512640 134714508 3221221776 3221219688 1074138277 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5834 5158 1111 63 0 5771 0 vsize: 23336 [startup+770.039 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1204205 0 0 0 74103 2902 0 0 25 0 1 0 765868900 24047616 5195 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5871 5195 1111 63 0 5808 0 vsize: 23484 [startup+780.039 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1214139 0 0 0 75079 2926 0 0 25 0 1 0 765868900 27648000 5721 4294967295 134512640 134714508 3221221776 3221217984 1074815309 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6750 5721 1111 63 0 6687 0 vsize: 27000 [startup+790.039 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1227476 0 0 0 76049 2957 0 0 25 0 1 0 765868900 24489984 5276 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5979 5276 1111 63 0 5916 0 vsize: 23916 [startup+800.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1241867 0 0 0 77015 2991 0 0 25 0 1 0 765868900 24391680 5247 4294967295 134512640 134714508 3221221776 3221220080 1074039235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5955 5247 1111 63 0 5892 0 vsize: 23820 [startup+810.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1253220 0 0 0 77988 3017 0 0 25 0 1 0 765868900 24219648 5236 4294967295 134512640 134714508 3221221776 3221219968 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5913 5236 1111 63 0 5850 0 vsize: 23652 [startup+820.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1265816 0 0 0 78958 3048 0 0 25 0 1 0 765868900 24424448 5287 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5963 5287 1111 63 0 5900 0 vsize: 23852 [startup+830.041 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1279316 0 0 0 79927 3079 0 0 25 0 1 0 765868900 24473600 5274 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5975 5274 1111 63 0 5912 0 vsize: 23900 [startup+840.042 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1293653 0 0 0 80891 3115 0 0 25 0 1 0 765868900 27332608 5548 4294967295 134512640 134714508 3221221776 3221218720 1074620235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6673 5548 1111 63 0 6610 0 vsize: 26692 [startup+850.042 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1302383 0 0 0 81870 3136 0 0 25 0 1 0 765868900 28397568 5922 4294967295 134512640 134714508 3221221776 3221218004 1075115046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6933 5922 1111 63 0 6870 0 vsize: 27732 [startup+860.043 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1318302 0 0 0 82831 3175 0 0 25 0 1 0 765868900 24444928 5292 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5968 5292 1111 63 0 5905 0 vsize: 23872 [startup+870.043 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1333652 0 0 0 83795 3211 0 0 25 0 1 0 765868900 26329088 5400 4294967295 134512640 134714508 3221221776 3221218852 1075863651 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6428 5400 1111 63 0 6365 0 vsize: 25712 [startup+880.043 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1346823 0 0 0 84763 3243 0 0 25 0 1 0 765868900 25284608 5465 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6173 5465 1111 63 0 6110 0 vsize: 24692 [startup+890.044 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1362058 0 0 0 85726 3280 0 0 25 0 1 0 765868900 24985600 5424 4294967295 134512640 134714508 3221221776 3221220000 1073986826 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6100 5424 1111 63 0 6037 0 vsize: 24400 [startup+900.043 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1372344 0 0 0 86703 3304 0 0 25 0 1 0 765868900 25202688 5477 4294967295 134512640 134714508 3221221776 3221219688 1074138282 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6153 5477 1111 63 0 6090 0 vsize: 24612 [startup+910.044 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1386289 0 0 0 87670 3337 0 0 25 0 1 0 765868900 25141248 5462 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6138 5462 1111 63 0 6075 0 vsize: 24552 [startup+920.045 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1400107 0 0 0 88636 3371 0 0 25 0 1 0 765868900 28385280 5692 4294967295 134512640 134714508 3221221776 3221218816 1075971386 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6930 5692 1111 63 0 6867 0 vsize: 27720 [startup+930.045 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 20584 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1414071 0 0 0 89604 3402 0 0 25 0 1 0 765868900 25866240 5609 4294967295 134512640 134714508 3221221776 3221219424 1075817768 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6315 5609 1111 63 0 6252 0 vsize: 25260 [startup+940.047 s] Raw data (loadavg): 0.99 0.97 0.96 3/58 20621 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1425695 0 0 0 90569 3437 0 0 25 0 1 0 765868900 28360704 5699 4294967295 134512640 134714508 3221221776 3221218432 1075967702 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6924 5701 1111 63 0 6861 0 vsize: 27696 [startup+950.185 s] Raw data (loadavg): 1.07 0.99 0.96 3/58 20628 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1439902 0 0 0 91549 3471 0 0 25 0 1 0 765868900 28577792 5765 4294967295 134512640 134714508 3221221776 3221218144 1075894538 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6977 5765 1111 63 0 6914 0 vsize: 27908 [startup+960.337 s] Raw data (loadavg): 1.29 1.04 0.98 2/55 20637 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1451615 0 0 0 92537 3499 0 0 25 0 1 0 765868900 26030080 5679 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6355 5679 1111 63 0 6292 0 vsize: 25420 [startup+970.512 s] Raw data (loadavg): 1.25 1.03 0.98 2/55 20637 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1466412 0 0 0 93522 3531 0 0 25 0 1 0 765868900 27717632 5735 4294967295 134512640 134714508 3221221776 3221219344 1075972440 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6767 5742 1111 63 0 6704 0 vsize: 27068 [startup+980.513 s] Raw data (loadavg): 1.21 1.03 0.98 2/55 20637 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1482526 0 0 0 94485 3568 0 0 25 0 1 0 765868900 26030080 5679 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6355 5679 1111 63 0 6292 0 vsize: 25420 [startup+990.513 s] Raw data (loadavg): 1.17 1.03 0.98 2/55 20637 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1497429 0 0 0 95451 3603 0 0 25 0 1 0 765868900 26349568 5757 4294967295 134512640 134714508 3221221776 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6433 5757 1111 63 0 6370 0 vsize: 25732 [startup+1000.51 s] Raw data (loadavg): 1.15 1.03 0.98 2/55 20637 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1511313 0 0 0 96418 3636 0 0 25 0 1 0 765868900 26771456 5860 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6536 5860 1111 63 0 6473 0 vsize: 26144 [startup+1010.51 s] Raw data (loadavg): 1.12 1.03 0.98 2/55 20637 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1515295 0 0 0 97407 3647 0 0 25 0 1 0 765868900 31584256 6738 4294967295 134512640 134714508 3221221776 3221218004 1075115076 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7711 6738 1111 63 0 7648 0 vsize: 30844 [startup+1020.51 s] Raw data (loadavg): 1.10 1.03 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1524776 0 0 0 98386 3669 0 0 25 0 1 0 765868900 29806592 6070 4294967295 134512640 134714508 3221221776 3221218588 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7277 6070 1111 63 0 7214 0 vsize: 29108 [startup+1030.51 s] Raw data (loadavg): 1.09 1.03 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1536707 0 0 0 99361 3694 0 0 25 0 1 0 765868900 26890240 5861 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6565 5861 1111 63 0 6502 0 vsize: 26260 [startup+1040.51 s] Raw data (loadavg): 1.07 1.02 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1544738 0 0 0 100345 3710 0 0 25 0 1 0 765868900 27201536 5937 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6641 5937 1111 63 0 6578 0 vsize: 26564 [startup+1050.51 s] Raw data (loadavg): 1.06 1.02 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1557900 0 0 0 101313 3742 0 0 25 0 1 0 765868900 26943488 5902 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6578 5902 1111 63 0 6515 0 vsize: 26312 [startup+1060.51 s] Raw data (loadavg): 1.05 1.02 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1567681 0 0 0 102290 3766 0 0 25 0 1 0 765868900 27930624 6143 4294967295 134512640 134714508 3221221776 3221219600 1075134029 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6799 6123 1111 63 0 6736 0 vsize: 27276 [startup+1070.51 s] Raw data (loadavg): 1.04 1.02 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1580239 0 0 0 103264 3792 0 0 25 0 1 0 765868900 27099136 5940 4294967295 134512640 134714508 3221221776 3221220008 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6616 5940 1111 63 0 6553 0 vsize: 26464 [startup+1080.52 s] Raw data (loadavg): 1.04 1.02 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1591575 0 0 0 104238 3817 0 0 25 0 1 0 765868900 27754496 6051 4294967295 134512640 134714508 3221221776 3221219676 1077386340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6776 6051 1111 63 0 6713 0 vsize: 27104 [startup+1090.52 s] Raw data (loadavg): 1.03 1.02 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1605754 0 0 0 105207 3848 0 0 25 0 1 0 765868900 27537408 6016 4294967295 134512640 134714508 3221221776 3221219616 1075798484 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6723 6016 1111 63 0 6660 0 vsize: 26892 [startup+1100.52 s] Raw data (loadavg): 1.02 1.02 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1616559 0 0 0 106183 3873 0 0 25 0 1 0 765868900 27373568 6007 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6638 5962 1111 63 0 6575 0 vsize: 26732 [startup+1110.52 s] Raw data (loadavg): 1.02 1.02 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1629944 0 0 0 107155 3902 0 0 25 0 1 0 765868900 28086272 6179 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6857 6179 1111 63 0 6794 0 vsize: 27428 [startup+1120.52 s] Raw data (loadavg): 1.02 1.02 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1645035 0 0 0 108120 3936 0 0 25 0 1 0 765868900 30965760 6302 4294967295 134512640 134714508 3221221776 3221217656 1074788440 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7560 6302 1111 63 0 7497 0 vsize: 30240 [startup+1130.52 s] Raw data (loadavg): 1.01 1.02 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1660683 0 0 0 109085 3971 0 0 25 0 1 0 765868900 27508736 6040 4294967295 134512640 134714508 3221221776 3221220080 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6716 6040 1111 63 0 6653 0 vsize: 26864 [startup+1140.52 s] Raw data (loadavg): 1.01 1.02 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1674354 0 0 0 110055 4002 0 0 25 0 1 0 765868900 27684864 6083 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6759 6083 1111 63 0 6696 0 vsize: 27036 [startup+1150.52 s] Raw data (loadavg): 1.01 1.01 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1688747 0 0 0 111021 4036 0 0 25 0 1 0 765868900 29790208 6196 4294967295 134512640 134714508 3221221776 3221219416 1075850422 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7273 6196 1111 63 0 7210 0 vsize: 29092 [startup+1160.52 s] Raw data (loadavg): 1.01 1.01 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1704283 0 0 0 111985 4072 0 0 25 0 1 0 765868900 28577792 6280 4294967295 134512640 134714508 3221221776 3221219872 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6977 6280 1111 63 0 6914 0 vsize: 27908 [startup+1170.52 s] Raw data (loadavg): 1.01 1.01 0.98 2/55 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1709263 0 0 0 112974 4084 0 0 25 0 1 0 765868900 28344320 6244 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6920 6244 1111 63 0 6857 0 vsize: 27680 [startup+1175.02 s] Raw data (loadavg): 1.00 1.01 0.98 1/54 20639 Raw data (stat): 20584 (bsolo_lpr_cuts) R 20583 7876 7672 0 -1 0 1709263 0 0 0 112974 4084 0 0 25 0 1 0 765868900 28344320 6244 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6920 6244 1111 63 0 6857 0 vsize: 0 Child status: 10 Real time (s): 1175.02 CPU time (s): 1175.08 CPU user time (s): 1134.1 CPU system time (s): 40.9808 CPU usage (%): 100.005 Max. virtual memory (Kb): 30844 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 30 #### END VERIFIER DATA ####