Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb |
MD5SUM | d5b458ca51c84d53d4ddd22dc72bb5f7 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16410049 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 9830 |
Biggest coefficient in the objective function | 52428800 |
Number of bits for the biggest coefficient in the objective function | 26 |
Sum of the numbers in the objective function | 23652414692 |
Number of bits of the sum of numbers in the objective function | 35 |
Biggest number in a constraint | 52428800 |
Number of bits of the biggest number in a constraint | 26 |
Biggest sum of numbers in a constraint | 23652414692 |
Number of bits of the biggest sum of numbers | 35 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.25 |
Number of variables | 9890 |
Total number of constraints | 978 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 378 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1072 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-05-24 22:16:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16811 boxname=wulflinc6 idbench=1294 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: d5b458ca51c84d53d4ddd22dc72bb5f7 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet3.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet3.opb IDLAUNCH: 16811 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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: 851000 kB Buffers: 25688 kB Cached: 135132 kB SwapCached: 408 kB Active: 31836 kB Inactive: 131236 kB HighTotal: 131008 kB HighFree: 67564 kB LowTotal: 903652 kB LowFree: 783436 kB SwapTotal: 2097136 kB SwapFree: 2096040 kB Dirty: 232 kB Writeback: 0 kB Mapped: 5692 kB Slab: 14948 kB Committed_AS: 63724 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 22:35:47 (client local time) WITH STATUS 0 IN 1175.04 SECONDS stats: 16811 7 1175.04 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 9890 variables and 700 constraints. c After prepocess the problem consists of 5883 variables and 787 constraints. c preprocess terminated 814.572 s c Initial Lower Bound: 5254394 c Lower Bound Elapsed time: 2.4232 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.01 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.73 0.92 0.92 2/54 29913 Raw data (stat): 29913 (runsolver) R 29912 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775544212 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0001 s] Raw data (loadavg): 0.77 0.92 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 5280 0 0 0 987 11 0 0 25 0 1 0 775544212 34549760 5204 4294967295 134512640 134714508 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8435 5204 1111 63 0 8372 0 vsize: 33740 [startup+20.0003 s] Raw data (loadavg): 0.80 0.93 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 10587 0 0 0 1975 23 0 0 25 0 1 0 775544212 56307712 10511 4294967295 134512640 134714508 3221224592 3221222252 1077245804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13747 10511 1111 63 0 13684 0 vsize: 54988 [startup+30.0005 s] Raw data (loadavg): 0.83 0.93 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 17652 0 0 0 2958 40 0 0 25 0 1 0 775544212 75280384 17484 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+40.0006 s] Raw data (loadavg): 0.86 0.93 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 17750 0 0 0 3957 41 0 0 25 0 1 0 775544212 75284480 17485 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18380 17485 1111 63 0 18317 0 vsize: 73520 [startup+50.0018 s] Raw data (loadavg): 0.88 0.93 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 17774 0 0 0 4957 41 0 0 25 0 1 0 775544212 75284480 17485 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18380 17485 1111 63 0 18317 0 vsize: 73520 [startup+60.0019 s] Raw data (loadavg): 0.90 0.93 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 17886 0 0 0 5956 42 0 0 25 0 1 0 775544212 75284480 17485 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18380 17485 1111 63 0 18317 0 vsize: 73520 [startup+70.0031 s] Raw data (loadavg): 0.91 0.94 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 18062 0 0 0 6955 43 0 0 25 0 1 0 775544212 75284480 17485 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18380 17485 1111 63 0 18317 0 vsize: 73520 [startup+80.0047 s] Raw data (loadavg): 0.93 0.94 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 18078 0 0 0 7955 43 0 0 25 0 1 0 775544212 75284480 17485 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18380 17485 1111 63 0 18317 0 vsize: 73520 [startup+90.0054 s] Raw data (loadavg): 0.94 0.94 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 18224 0 0 0 8954 45 0 0 25 0 1 0 775544212 75284480 17485 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18380 17485 1111 63 0 18317 0 vsize: 73520 [startup+100.006 s] Raw data (loadavg): 0.95 0.94 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 18354 0 0 0 9953 46 0 0 25 0 1 0 775544212 75284480 17485 4294967295 134512640 134714508 3221224592 3221223264 134606960 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18380 17485 1111 63 0 18317 0 vsize: 73520 [startup+110.007 s] Raw data (loadavg): 0.95 0.94 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 18614 0 0 0 10953 47 0 0 25 0 1 0 775544212 75284480 17485 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18380 17485 1111 63 0 18317 0 vsize: 73520 [startup+120.008 s] Raw data (loadavg): 0.96 0.94 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 18684 0 0 0 11952 47 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+130.008 s] Raw data (loadavg): 0.97 0.94 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 18756 0 0 0 12951 48 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+140.009 s] Raw data (loadavg): 0.97 0.95 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 18916 0 0 0 13950 49 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+150.009 s] Raw data (loadavg): 0.97 0.95 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 19150 0 0 0 14949 51 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+160.01 s] Raw data (loadavg): 0.98 0.95 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 19384 0 0 0 15948 52 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+170.011 s] Raw data (loadavg): 0.98 0.95 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 20010 0 0 0 16946 55 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223264 134606960 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+180.012 s] Raw data (loadavg): 0.98 0.95 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 21212 0 0 0 17942 59 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+190.013 s] Raw data (loadavg): 0.99 0.95 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 23046 0 0 0 18936 65 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+200.013 s] Raw data (loadavg): 0.99 0.95 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 25549 0 0 0 19928 73 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+210.014 s] Raw data (loadavg): 0.99 0.95 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 28094 0 0 0 20921 81 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+220.016 s] Raw data (loadavg): 0.99 0.95 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 30713 0 0 0 21912 90 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+230.017 s] Raw data (loadavg): 0.99 0.95 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 34633 0 0 0 22902 100 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+240.018 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 38768 0 0 0 23892 110 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+250.018 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 43969 0 0 0 24879 124 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+260.019 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 49717 0 0 0 25865 138 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223264 134606862 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+270.02 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 55659 0 0 0 26850 154 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+280.021 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 62770 0 0 0 27831 172 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+290.022 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 69736 0 0 0 28813 190 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+300.022 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 77185 0 0 0 29793 211 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+310.023 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 85528 0 0 0 30773 231 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223320 134672911 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+320.023 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 93929 0 0 0 31751 252 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+330.024 s] Raw data (loadavg): 0.99 0.96 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 102214 0 0 0 32731 273 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+340.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 111904 0 0 0 33707 297 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+350.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 121879 0 0 0 34681 323 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+360.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 131854 0 0 0 35655 349 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+370.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 141684 0 0 0 36629 375 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+380.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 151922 0 0 0 37604 400 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+390.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 163164 0 0 0 38577 427 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+400.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 174556 0 0 0 39549 456 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+410.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 187078 0 0 0 40520 486 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+420.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 199600 0 0 0 41489 517 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+430.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 212238 0 0 0 42457 549 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+440.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 225949 0 0 0 43423 583 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+450.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 240035 0 0 0 44389 617 0 0 25 0 1 0 775544212 75407360 17515 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18410 17515 1111 63 0 18347 0 vsize: 73640 [startup+460.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 247296 0 0 0 45371 635 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223328 134625323 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+470.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 248594 0 0 0 46366 640 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+480.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 250144 0 0 0 47360 647 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+490.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 251713 0 0 0 48354 653 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+500.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 254425 0 0 0 49346 661 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+510.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 257294 0 0 0 50339 668 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+520.039 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 260064 0 0 0 51330 677 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+530.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 262979 0 0 0 52321 686 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+540.041 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 266606 0 0 0 53311 696 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+550.041 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 270701 0 0 0 54300 707 0 0 25 0 1 0 775544212 75968512 17628 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18547 17635 1111 63 0 18484 0 vsize: 74188 [startup+560.042 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 275024 0 0 0 55288 720 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+570.042 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 279304 0 0 0 56277 731 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+580.043 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 284639 0 0 0 57263 745 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+590.043 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 290279 0 0 0 58249 760 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+600.043 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 295897 0 0 0 59234 776 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+610.043 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 301450 0 0 0 60219 791 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+620.043 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 307461 0 0 0 61203 807 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+630.043 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 314426 0 0 0 62185 825 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+640.045 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 321420 0 0 0 63166 845 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+650.045 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 328501 0 0 0 64150 862 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+660.045 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 335466 0 0 0 65133 879 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+670.046 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 343550 0 0 0 66113 899 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+680.047 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 351835 0 0 0 67092 921 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+690.047 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 360236 0 0 0 68070 942 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+700.047 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 368666 0 0 0 69048 965 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+710.048 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 377038 0 0 0 70027 986 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+720.048 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 385439 0 0 0 71006 1008 0 0 25 0 1 0 775544212 75808768 17613 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18508 17613 1111 63 0 18445 0 vsize: 74032 [startup+730.048 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 387339 0 0 0 72002 1013 0 0 25 0 1 0 775544212 76173312 17702 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18597 17702 1111 63 0 18534 0 vsize: 74388 [startup+740.049 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 387417 0 0 0 73001 1013 0 0 25 0 1 0 775544212 76173312 17702 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18597 17702 1111 63 0 18534 0 vsize: 74388 [startup+750.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 387447 0 0 0 74001 1014 0 0 25 0 1 0 775544212 76173312 17702 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18597 17702 1111 63 0 18534 0 vsize: 74388 [startup+760.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 387483 0 0 0 75001 1014 0 0 25 0 1 0 775544212 76173312 17702 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18597 17702 1111 63 0 18534 0 vsize: 74388 [startup+770.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 387567 0 0 0 76001 1014 0 0 25 0 1 0 775544212 76173312 17702 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18597 17702 1111 63 0 18534 0 vsize: 74388 [startup+780.051 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 387603 0 0 0 77002 1015 0 0 25 0 1 0 775544212 76173312 17702 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18597 17702 1111 63 0 18534 0 vsize: 74388 [startup+790.051 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 387657 0 0 0 78002 1015 0 0 25 0 1 0 775544212 76173312 17702 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18597 17702 1111 63 0 18534 0 vsize: 74388 [startup+800.052 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 387837 0 0 0 79001 1016 0 0 25 0 1 0 775544212 76922880 17882 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18780 17882 1111 63 0 18717 0 vsize: 75120 [startup+810.052 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 387837 0 0 0 80001 1016 0 0 25 0 1 0 775544212 76922880 17882 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18780 17882 1111 63 0 18717 0 vsize: 75120 [startup+820.052 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 392363 0 0 0 80991 1026 0 0 25 0 1 0 775544212 77549568 18183 4294967295 134512640 134714508 3221224592 3221223040 134648533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18933 18183 1111 63 0 18870 0 vsize: 75732 [startup+830.053 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 399456 0 0 0 81976 1041 0 0 25 0 1 0 775544212 80130048 18813 4294967295 134512640 134714508 3221224592 3221222512 1074918660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19563 18813 1111 63 0 19500 0 vsize: 78252 [startup+840.053 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407346 0 0 0 82958 1059 0 0 25 0 1 0 775544212 78213120 18345 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19095 18345 1111 63 0 19032 0 vsize: 76380 [startup+850.054 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407348 0 0 0 83958 1059 0 0 25 0 1 0 775544212 78213120 18347 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18347 1111 63 0 19032 0 vsize: 76380 [startup+860.054 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407352 0 0 0 84957 1060 0 0 25 0 1 0 775544212 78213120 18351 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18351 1111 63 0 19032 0 vsize: 76380 [startup+870.054 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 85957 1061 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+880.055 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 86956 1062 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223416 134558492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+890.056 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 87956 1062 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223472 134577072 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+900.056 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 88956 1063 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223472 134577104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+910.056 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 89956 1063 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+920.056 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 90955 1064 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+930.056 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 91955 1065 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+940.057 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 92954 1066 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+950.057 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 93954 1067 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+960.057 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 94954 1067 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+970.057 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 95953 1068 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+980.057 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 96953 1068 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223472 134577072 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+990.057 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 97953 1069 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223452 134600261 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 98953 1069 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 99953 1070 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 100953 1070 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223356 134613500 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1030.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 101952 1071 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1040.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 102952 1072 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1050.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 103952 1072 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223380 134597610 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 104952 1073 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 105951 1073 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223392 134597733 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 106951 1074 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 107950 1075 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 108951 1075 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 109950 1076 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 110950 1076 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223352 134613539 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 111950 1077 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223416 134558492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 112950 1077 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 113950 1077 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 114950 1078 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 115949 1079 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223472 134577072 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 76380 [startup+1174.82 s] Raw data (loadavg): 0.99 0.97 0.92 1/53 29913 Raw data (stat): 29913 (bsolo_lpr_cuts) R 29912 25568 25567 0 -1 0 407353 0 0 0 115949 1079 0 0 25 0 1 0 775544212 78213120 18352 4294967295 134512640 134714508 3221224592 3221223472 134577072 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19095 18352 1111 63 0 19032 0 vsize: 0 Child status: 0 Real time (s): 1174.81 CPU time (s): 1175.04 CPU user time (s): 1164.21 CPU system time (s): 10.8324 CPU usage (%): 100.02 Max. virtual memory (Kb): 78252 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####