Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb |
MD5SUM | 388cec2ad329df6f021dfbdc92f512ad |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 3774 |
Biggest coefficient in the objective function | 3604480000000000 |
Number of bits for the biggest coefficient in the objective function | 52 |
Sum of the numbers in the objective function | 483609165299803395 |
Number of bits of the sum of numbers in the objective function | 59 |
Biggest number in a constraint | 3604480000000000 |
Number of bits of the biggest number in a constraint | 52 |
Biggest sum of numbers in a constraint | 483609165299803395 |
Number of bits of the biggest sum of numbers | 59 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.05999 |
Number of variables | 6363 |
Total number of constraints | 952 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 113 |
Number of constraints which are nor clauses,nor cardinality constraints | 839 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 141 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-05-25 01:58:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13093 boxname=wulflinc17 idbench=1008 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 388cec2ad329df6f021dfbdc92f512ad /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-timtab2.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-timtab2.opb IDLAUNCH: 13093 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 871904 kB Buffers: 11476 kB Cached: 128520 kB SwapCached: 492 kB Active: 20484 kB Inactive: 121712 kB HighTotal: 131008 kB HighFree: 26180 kB LowTotal: 903652 kB LowFree: 845724 kB SwapTotal: 2097892 kB SwapFree: 2096592 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5328 kB Slab: 14932 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 02:18:07 (client local time) WITH STATUS 0 IN 1175.05 SECONDS stats: 13093 7 1175.05 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 6363 variables and 1079 constraints. c After prepocess the problem consists of 6361 variables and 1082 constraints. c preprocess terminated 7.119 s c Initial Lower Bound: -3750 c Lower Bound Elapsed time: 1.0425 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.75 0.90 0.89 2/54 16149 Raw data (stat): 16149 (runsolver) R 16148 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835112660 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0002 s] Raw data (loadavg): 0.79 0.90 0.89 2/54 16149 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 12269 0 0 0 969 28 0 0 25 0 1 0 835112660 44142592 10001 4294967295 134512640 134714508 3221224576 3221222224 1075828941 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10777 10001 1111 63 0 10714 0 vsize: 43108 [startup+20.0012 s] Raw data (loadavg): 0.82 0.91 0.89 2/54 16149 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14272 0 0 0 1965 33 0 0 25 0 1 0 835112660 42987520 9781 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10495 9781 1111 63 0 10432 0 vsize: 41980 [startup+30.0014 s] Raw data (loadavg): 0.85 0.91 0.89 2/54 16149 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14272 0 0 0 2965 34 0 0 25 0 1 0 835112660 42987520 9781 4294967295 134512640 134714508 3221224576 3221223368 134597668 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10495 9781 1111 63 0 10432 0 vsize: 41980 [startup+40.001 s] Raw data (loadavg): 0.87 0.91 0.89 2/54 16149 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14272 0 0 0 3964 34 0 0 25 0 1 0 835112660 42987520 9781 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10495 9781 1111 63 0 10432 0 vsize: 41980 [startup+50.0086 s] Raw data (loadavg): 0.89 0.91 0.89 2/54 16149 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14272 0 0 0 4964 35 0 0 25 0 1 0 835112660 42987520 9781 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10495 9781 1111 63 0 10432 0 vsize: 41980 [startup+60.0092 s] Raw data (loadavg): 0.91 0.92 0.90 2/54 16149 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14273 0 0 0 5963 36 0 0 25 0 1 0 835112660 42987520 9782 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10495 9782 1111 63 0 10432 0 vsize: 41980 [startup+70.0118 s] Raw data (loadavg): 0.92 0.92 0.90 2/54 16149 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14273 0 0 0 6963 37 0 0 25 0 1 0 835112660 42987520 9782 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10495 9782 1111 63 0 10432 0 vsize: 41980 [startup+80.0116 s] Raw data (loadavg): 0.93 0.92 0.90 2/54 16149 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14370 0 0 0 7962 38 0 0 25 0 1 0 835112660 43393024 9879 4294967295 134512640 134714508 3221224576 3221223136 134696561 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10594 9879 1111 63 0 10531 0 vsize: 42376 [startup+90.0119 s] Raw data (loadavg): 0.94 0.92 0.90 2/54 16149 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14408 0 0 0 8962 38 0 0 25 0 1 0 835112660 43663360 9917 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10660 9917 1111 63 0 10597 0 vsize: 42640 [startup+100.012 s] Raw data (loadavg): 1.02 0.94 0.91 2/54 16202 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14412 0 0 0 9960 40 0 0 25 0 1 0 835112660 43663360 9921 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10660 9921 1111 63 0 10597 0 vsize: 42640 [startup+110.012 s] Raw data (loadavg): 1.02 0.94 0.91 2/54 16202 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14425 0 0 0 10960 41 0 0 25 0 1 0 835112660 43663360 9934 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10660 9934 1111 63 0 10597 0 vsize: 42640 [startup+120.012 s] Raw data (loadavg): 1.02 0.94 0.91 2/54 16202 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14454 0 0 0 11958 42 0 0 25 0 1 0 835112660 43798528 9963 4294967295 134512640 134714508 3221224576 3221223356 134613500 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10693 9963 1111 63 0 10630 0 vsize: 42772 [startup+130.011 s] Raw data (loadavg): 1.01 0.94 0.91 2/54 16202 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14459 0 0 0 12958 43 0 0 25 0 1 0 835112660 43798528 9968 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10693 9968 1111 63 0 10630 0 vsize: 42772 [startup+140.012 s] Raw data (loadavg): 1.01 0.94 0.91 2/54 16202 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14466 0 0 0 13957 44 0 0 25 0 1 0 835112660 43798528 9975 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10693 9975 1111 63 0 10630 0 vsize: 42772 [startup+150.019 s] Raw data (loadavg): 1.01 0.95 0.91 2/54 16202 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14505 0 0 0 14957 45 0 0 25 0 1 0 835112660 44068864 10014 4294967295 134512640 134714508 3221224576 3221223100 134535981 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10759 10014 1111 63 0 10696 0 vsize: 43036 [startup+160.02 s] Raw data (loadavg): 1.01 0.95 0.91 2/54 16202 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14555 0 0 0 15956 46 0 0 25 0 1 0 835112660 44204032 10064 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10792 10064 1111 63 0 10729 0 vsize: 43168 [startup+170.02 s] Raw data (loadavg): 1.01 0.95 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14561 0 0 0 16956 47 0 0 25 0 1 0 835112660 44204032 10070 4294967295 134512640 134714508 3221224576 3221223376 134597735 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10792 10070 1111 63 0 10729 0 vsize: 43168 [startup+180.02 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14569 0 0 0 17955 48 0 0 25 0 1 0 835112660 44204032 10078 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10792 10078 1111 63 0 10729 0 vsize: 43168 [startup+190.02 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14577 0 0 0 18955 48 0 0 25 0 1 0 835112660 44339200 10086 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10825 10086 1111 63 0 10762 0 vsize: 43300 [startup+200.02 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14588 0 0 0 19954 49 0 0 25 0 1 0 835112660 44339200 10097 4294967295 134512640 134714508 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10825 10097 1111 63 0 10762 0 vsize: 43300 [startup+210.019 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14606 0 0 0 20953 50 0 0 25 0 1 0 835112660 44474368 10115 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10858 10115 1111 63 0 10795 0 vsize: 43432 [startup+220.02 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14615 0 0 0 21953 50 0 0 25 0 1 0 835112660 44474368 10124 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10858 10124 1111 63 0 10795 0 vsize: 43432 [startup+230.019 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14624 0 0 0 22952 51 0 0 25 0 1 0 835112660 44474368 10133 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10858 10133 1111 63 0 10795 0 vsize: 43432 [startup+240.019 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14634 0 0 0 23951 52 0 0 25 0 1 0 835112660 44474368 10143 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10858 10143 1111 63 0 10795 0 vsize: 43432 [startup+250.019 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14671 0 0 0 24950 53 0 0 25 0 1 0 835112660 44744704 10180 4294967295 134512640 134714508 3221224576 3221223352 134613535 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10924 10180 1111 63 0 10861 0 vsize: 43696 [startup+260.032 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14722 0 0 0 25951 54 0 0 25 0 1 0 835112660 44879872 10231 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10957 10231 1111 63 0 10894 0 vsize: 43828 [startup+270.041 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14788 0 0 0 26951 55 0 0 25 0 1 0 835112660 45146112 10297 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11022 10297 1111 63 0 10959 0 vsize: 44088 [startup+280.04 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 14904 0 0 0 27950 56 0 0 25 0 1 0 835112660 45686784 10413 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11154 10413 1111 63 0 11091 0 vsize: 44616 [startup+290.041 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15083 0 0 0 28948 58 0 0 25 0 1 0 835112660 46362624 10592 4294967295 134512640 134714508 3221224576 3221223376 134597700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11319 10592 1111 63 0 11256 0 vsize: 45276 [startup+300.041 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15164 0 0 0 29947 59 0 0 25 0 1 0 835112660 46768128 10673 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11418 10673 1111 63 0 11355 0 vsize: 45672 [startup+310.04 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15193 0 0 0 30947 60 0 0 25 0 1 0 835112660 46768128 10702 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11418 10702 1111 63 0 11355 0 vsize: 45672 [startup+320.049 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15208 0 0 0 31946 62 0 0 25 0 1 0 835112660 46903296 10717 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11451 10717 1111 63 0 11388 0 vsize: 45804 [startup+330.049 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15239 0 0 0 32946 62 0 0 25 0 1 0 835112660 47038464 10748 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11484 10748 1111 63 0 11421 0 vsize: 45936 [startup+340.049 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15271 0 0 0 33945 63 0 0 25 0 1 0 835112660 47173632 10780 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11517 10780 1111 63 0 11454 0 vsize: 46068 [startup+350.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15302 0 0 0 34945 64 0 0 25 0 1 0 835112660 47308800 10811 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11550 10811 1111 63 0 11487 0 vsize: 46200 [startup+360.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15331 0 0 0 35943 65 0 0 25 0 1 0 835112660 47443968 10840 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11583 10840 1111 63 0 11520 0 vsize: 46332 [startup+370.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15363 0 0 0 36943 66 0 0 25 0 1 0 835112660 47579136 10872 4294967295 134512640 134714508 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11616 10872 1111 63 0 11553 0 vsize: 46464 [startup+380.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15393 0 0 0 37942 67 0 0 25 0 1 0 835112660 47579136 10902 4294967295 134512640 134714508 3221224576 3221223376 134597700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11616 10902 1111 63 0 11553 0 vsize: 46464 [startup+390.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15422 0 0 0 38941 68 0 0 25 0 1 0 835112660 47714304 10931 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11649 10931 1111 63 0 11586 0 vsize: 46596 [startup+400.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15454 0 0 0 39940 69 0 0 25 0 1 0 835112660 47849472 10963 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11682 10963 1111 63 0 11619 0 vsize: 46728 [startup+410.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15524 0 0 0 40939 70 0 0 25 0 1 0 835112660 48119808 11033 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11748 11033 1111 63 0 11685 0 vsize: 46992 [startup+420.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15594 0 0 0 41939 71 0 0 25 0 1 0 835112660 48525312 11103 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11847 11103 1111 63 0 11784 0 vsize: 47388 [startup+430.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15665 0 0 0 42938 72 0 0 25 0 1 0 835112660 48795648 11174 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11913 11174 1111 63 0 11850 0 vsize: 47652 [startup+440.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16204 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15733 0 0 0 43937 73 0 0 25 0 1 0 835112660 49065984 11242 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11979 11242 1111 63 0 11916 0 vsize: 47916 [startup+450.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15802 0 0 0 44936 74 0 0 25 0 1 0 835112660 49336320 11311 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12045 11311 1111 63 0 11982 0 vsize: 48180 [startup+460.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15870 0 0 0 45935 76 0 0 25 0 1 0 835112660 49606656 11379 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12111 11379 1111 63 0 12048 0 vsize: 48444 [startup+470.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15937 0 0 0 46935 76 0 0 25 0 1 0 835112660 49876992 11446 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12177 11446 1111 63 0 12114 0 vsize: 48708 [startup+480.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 15969 0 0 0 47934 78 0 0 25 0 1 0 835112660 50012160 11478 4294967295 134512640 134714508 3221224576 3221223356 134613500 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12210 11478 1111 63 0 12147 0 vsize: 48840 [startup+490.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16002 0 0 0 48932 79 0 0 25 0 1 0 835112660 50147328 11511 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12243 11511 1111 63 0 12180 0 vsize: 48972 [startup+500.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16034 0 0 0 49931 81 0 0 25 0 1 0 835112660 50282496 11543 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12276 11543 1111 63 0 12213 0 vsize: 49104 [startup+510.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16066 0 0 0 50930 82 0 0 25 0 1 0 835112660 50417664 11575 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12309 11575 1111 63 0 12246 0 vsize: 49236 [startup+520.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16104 0 0 0 51929 83 0 0 25 0 1 0 835112660 50552832 11613 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12342 11613 1111 63 0 12279 0 vsize: 49368 [startup+530.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16137 0 0 0 52928 84 0 0 25 0 1 0 835112660 50688000 11646 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12375 11646 1111 63 0 12312 0 vsize: 49500 [startup+540.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16169 0 0 0 53927 85 0 0 25 0 1 0 835112660 50823168 11678 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12408 11678 1111 63 0 12345 0 vsize: 49632 [startup+550.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16202 0 0 0 54927 86 0 0 25 0 1 0 835112660 50958336 11711 4294967295 134512640 134714508 3221224576 3221223376 134597773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12441 11711 1111 63 0 12378 0 vsize: 49764 [startup+560.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16235 0 0 0 55926 87 0 0 25 0 1 0 835112660 51093504 11744 4294967295 134512640 134714508 3221224576 3221223368 134597668 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12474 11744 1111 63 0 12411 0 vsize: 49896 [startup+570.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16268 0 0 0 56925 87 0 0 25 0 1 0 835112660 51228672 11777 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12507 11777 1111 63 0 12444 0 vsize: 50028 [startup+580.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16304 0 0 0 57925 88 0 0 25 0 1 0 835112660 51363840 11813 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12540 11813 1111 63 0 12477 0 vsize: 50160 [startup+590.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16336 0 0 0 58924 89 0 0 25 0 1 0 835112660 51499008 11845 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12573 11845 1111 63 0 12510 0 vsize: 50292 [startup+600.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16369 0 0 0 59923 90 0 0 25 0 1 0 835112660 51634176 11878 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12606 11878 1111 63 0 12543 0 vsize: 50424 [startup+610.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16402 0 0 0 60922 91 0 0 25 0 1 0 835112660 51769344 11911 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12639 11911 1111 63 0 12576 0 vsize: 50556 [startup+620.055 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16435 0 0 0 61922 92 0 0 25 0 1 0 835112660 51904512 11944 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12672 11944 1111 63 0 12609 0 vsize: 50688 [startup+630.059 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16468 0 0 0 62922 92 0 0 25 0 1 0 835112660 52039680 11977 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12705 11977 1111 63 0 12642 0 vsize: 50820 [startup+640.059 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16500 0 0 0 63921 94 0 0 25 0 1 0 835112660 52174848 12009 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12738 12009 1111 63 0 12675 0 vsize: 50952 [startup+650.059 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16543 0 0 0 64921 94 0 0 25 0 1 0 835112660 52310016 12052 4294967295 134512640 134714508 3221224576 3221223352 134613501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12771 12052 1111 63 0 12708 0 vsize: 51084 [startup+660.058 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16578 0 0 0 65920 95 0 0 25 0 1 0 835112660 52445184 12087 4294967295 134512640 134714508 3221224576 3221223340 134613543 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12804 12087 1111 63 0 12741 0 vsize: 51216 [startup+670.058 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16612 0 0 0 66920 96 0 0 25 0 1 0 835112660 52580352 12121 4294967295 134512640 134714508 3221224576 3221223232 134536703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12837 12121 1111 63 0 12774 0 vsize: 51348 [startup+680.058 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16646 0 0 0 67919 97 0 0 25 0 1 0 835112660 52715520 12155 4294967295 134512640 134714508 3221224576 3221223376 134597773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12870 12155 1111 63 0 12807 0 vsize: 51480 [startup+690.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16680 0 0 0 68919 97 0 0 25 0 1 0 835112660 52985856 12189 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12936 12189 1111 63 0 12873 0 vsize: 51744 [startup+700.058 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16713 0 0 0 69918 98 0 0 25 0 1 0 835112660 53121024 12222 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12969 12222 1111 63 0 12906 0 vsize: 51876 [startup+710.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16747 0 0 0 70918 98 0 0 25 0 1 0 835112660 53260288 12256 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13003 12256 1111 63 0 12940 0 vsize: 52012 [startup+720.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16782 0 0 0 71917 99 0 0 25 0 1 0 835112660 53395456 12291 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13036 12291 1111 63 0 12973 0 vsize: 52144 [startup+730.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16816 0 0 0 72916 100 0 0 25 0 1 0 835112660 53530624 12325 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13069 12325 1111 63 0 13006 0 vsize: 52276 [startup+740.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16848 0 0 0 73916 101 0 0 25 0 1 0 835112660 53665792 12357 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13102 12357 1111 63 0 13039 0 vsize: 52408 [startup+750.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 16907 0 0 0 74915 102 0 0 25 0 1 0 835112660 53800960 12416 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13135 12416 1111 63 0 13072 0 vsize: 52540 [startup+760.056 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 17181 0 0 0 75914 103 0 0 25 0 1 0 835112660 55017472 12690 4294967295 134512640 134714508 3221224576 3221223160 134542289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13432 12690 1111 63 0 13369 0 vsize: 53728 [startup+770.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 17536 0 0 0 76912 105 0 0 25 0 1 0 835112660 56369152 13045 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13762 13045 1111 63 0 13699 0 vsize: 55048 [startup+780.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 17824 0 0 0 77910 107 0 0 25 0 1 0 835112660 57585664 13333 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14059 13333 1111 63 0 13996 0 vsize: 56236 [startup+790.056 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 18082 0 0 0 78909 109 0 0 25 0 1 0 835112660 58683392 13591 4294967295 134512640 134714508 3221224576 3221223312 134535706 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14327 13591 1111 63 0 14264 0 vsize: 57308 [startup+800.056 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 18400 0 0 0 79907 110 0 0 25 0 1 0 835112660 60035072 13909 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14657 13909 1111 63 0 14594 0 vsize: 58628 [startup+810.056 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 18700 0 0 0 80906 112 0 0 25 0 1 0 835112660 61251584 14209 4294967295 134512640 134714508 3221224576 3221223168 134543684 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14954 14209 1111 63 0 14891 0 vsize: 59816 [startup+820.056 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 19022 0 0 0 81905 113 0 0 25 0 1 0 835112660 62603264 14531 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15284 14531 1111 63 0 15221 0 vsize: 61136 [startup+830.056 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 19250 0 0 0 82903 115 0 0 25 0 1 0 835112660 63549440 14759 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15515 14759 1111 63 0 15452 0 vsize: 62060 [startup+840.056 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 19265 0 0 0 83903 116 0 0 25 0 1 0 835112660 63549440 14773 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15515 14773 1111 63 0 15452 0 vsize: 62060 [startup+850.056 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 19288 0 0 0 84902 117 0 0 25 0 1 0 835112660 63684608 14796 4294967295 134512640 134714508 3221224576 3221223180 134543760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15548 14796 1111 63 0 15485 0 vsize: 62192 [startup+860.058 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 19489 0 0 0 85902 117 0 0 25 0 1 0 835112660 64495616 14997 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15746 14997 1111 63 0 15683 0 vsize: 62984 [startup+870.061 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 19858 0 0 0 86900 119 0 0 25 0 1 0 835112660 65982464 15366 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16109 15366 1111 63 0 16046 0 vsize: 64436 [startup+880.066 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20145 0 0 0 87900 120 0 0 25 0 1 0 835112660 67198976 15653 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16406 15653 1111 63 0 16343 0 vsize: 65624 [startup+890.067 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20175 0 0 0 88899 121 0 0 25 0 1 0 835112660 67346432 15683 4294967295 134512640 134714508 3221224576 3221223340 134613543 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16442 15683 1111 63 0 16379 0 vsize: 65768 [startup+900.066 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20180 0 0 0 89899 121 0 0 25 0 1 0 835112660 67346432 15688 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16442 15688 1111 63 0 16379 0 vsize: 65768 [startup+910.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20189 0 0 0 90899 122 0 0 25 0 1 0 835112660 67346432 15697 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16442 15697 1111 63 0 16379 0 vsize: 65768 [startup+920.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20199 0 0 0 91899 122 0 0 25 0 1 0 835112660 67481600 15707 4294967295 134512640 134714508 3221224576 3221223376 134597735 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16475 15707 1111 63 0 16412 0 vsize: 65900 [startup+930.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20219 0 0 0 92898 123 0 0 25 0 1 0 835112660 67616768 15727 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16508 15727 1111 63 0 16445 0 vsize: 66032 [startup+940.073 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20219 0 0 0 93898 124 0 0 25 0 1 0 835112660 67616768 15727 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16508 15727 1111 63 0 16445 0 vsize: 66032 [startup+950.072 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20245 0 0 0 94897 125 0 0 25 0 1 0 835112660 67616768 15752 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16508 15752 1111 63 0 16445 0 vsize: 66032 [startup+960.071 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20263 0 0 0 95896 126 0 0 25 0 1 0 835112660 67751936 15770 4294967295 134512640 134714508 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16541 15770 1111 63 0 16478 0 vsize: 66164 [startup+970.222 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20333 0 0 0 96910 128 0 0 25 0 1 0 835112660 68022272 15840 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16607 15840 1111 63 0 16544 0 vsize: 66428 [startup+980.227 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20391 0 0 0 97910 128 0 0 25 0 1 0 835112660 68292608 15898 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16673 15898 1111 63 0 16610 0 vsize: 66692 [startup+990.226 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20451 0 0 0 98908 130 0 0 25 0 1 0 835112660 68562944 15958 4294967295 134512640 134714508 3221224576 3221223128 134696445 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16739 15958 1111 63 0 16676 0 vsize: 66956 [startup+1000.23 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20511 0 0 0 99908 131 0 0 25 0 1 0 835112660 68833280 16018 4294967295 134512640 134714508 3221224576 3221223264 134542848 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16805 16018 1111 63 0 16742 0 vsize: 67220 [startup+1010.31 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20575 0 0 0 100915 132 0 0 25 0 1 0 835112660 68968448 16082 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16838 16082 1111 63 0 16775 0 vsize: 67352 [startup+1020.31 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20630 0 0 0 101914 133 0 0 25 0 1 0 835112660 69238784 16137 4294967295 134512640 134714508 3221224576 3221223340 134613500 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16904 16137 1111 63 0 16841 0 vsize: 67616 [startup+1030.32 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20681 0 0 0 102914 134 0 0 25 0 1 0 835112660 69509120 16188 4294967295 134512640 134714508 3221224576 3221223368 134597668 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16970 16188 1111 63 0 16907 0 vsize: 67880 [startup+1040.32 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20731 0 0 0 103914 135 0 0 25 0 1 0 835112660 69644288 16238 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17003 16238 1111 63 0 16940 0 vsize: 68012 [startup+1050.34 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20780 0 0 0 104915 135 0 0 25 0 1 0 835112660 69914624 16287 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17069 16287 1111 63 0 17006 0 vsize: 68276 [startup+1060.34 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20831 0 0 0 105915 136 0 0 25 0 1 0 835112660 70049792 16338 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17102 16338 1111 63 0 17039 0 vsize: 68408 [startup+1070.34 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20884 0 0 0 106914 137 0 0 25 0 1 0 835112660 70320128 16391 4294967295 134512640 134714508 3221224576 3221223336 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17168 16391 1111 63 0 17105 0 vsize: 68672 [startup+1080.34 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20934 0 0 0 107913 138 0 0 25 0 1 0 835112660 70455296 16441 4294967295 134512640 134714508 3221224576 3221223336 134613522 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17201 16441 1111 63 0 17138 0 vsize: 68804 [startup+1090.34 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 20984 0 0 0 108913 139 0 0 25 0 1 0 835112660 70725632 16491 4294967295 134512640 134714508 3221224576 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17267 16491 1111 63 0 17204 0 vsize: 69068 [startup+1100.34 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21036 0 0 0 109911 141 0 0 25 0 1 0 835112660 70860800 16543 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17300 16543 1111 63 0 17237 0 vsize: 69200 [startup+1110.35 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21085 0 0 0 110910 142 0 0 25 0 1 0 835112660 71131136 16592 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17366 16592 1111 63 0 17303 0 vsize: 69464 [startup+1120.35 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21134 0 0 0 111909 143 0 0 25 0 1 0 835112660 71266304 16641 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17399 16641 1111 63 0 17336 0 vsize: 69596 [startup+1130.35 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21182 0 0 0 112909 144 0 0 25 0 1 0 835112660 71536640 16689 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17465 16689 1111 63 0 17402 0 vsize: 69860 [startup+1140.35 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21234 0 0 0 113908 145 0 0 25 0 1 0 835112660 71671808 16741 4294967295 134512640 134714508 3221224576 3221223368 134597609 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17498 16741 1111 63 0 17435 0 vsize: 69992 [startup+1150.35 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21287 0 0 0 114908 145 0 0 25 0 1 0 835112660 71942144 16794 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17564 16794 1111 63 0 17501 0 vsize: 70256 [startup+1160.35 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21338 0 0 0 115907 146 0 0 25 0 1 0 835112660 72212480 16845 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17630 16845 1111 63 0 17567 0 vsize: 70520 [startup+1170.35 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21387 0 0 0 116907 147 0 0 25 0 1 0 835112660 72347648 16894 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17663 16894 1111 63 0 17600 0 vsize: 70652 [startup+1174.87 s] Raw data (loadavg): 1.00 0.97 0.91 1/53 16206 Raw data (stat): 16149 (bsolo_lpr_cuts) R 16148 7475 7474 0 -1 0 21387 0 0 0 116907 147 0 0 25 0 1 0 835112660 72347648 16894 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17663 16894 1111 63 0 17600 0 vsize: 0 Child status: 0 Real time (s): 1174.87 CPU time (s): 1175.05 CPU user time (s): 1173.54 CPU system time (s): 1.50777 CPU usage (%): 100.015 Max. virtual memory (Kb): 70652 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####