Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb |
MD5SUM | 10547c6c0f11ab5df74fcaff6ba6d160 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14938 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 416 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 96797 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 96797 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1230.87 |
Number of variables | 548 |
Total number of constraints | 724 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 550 |
Number of constraints which are nor clauses,nor cardinality constraints | 134 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 143 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc15 THE 2005-05-24 15:20:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13730 boxname=wulflinc15 idbench=1057 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 10547c6c0f11ab5df74fcaff6ba6d160 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-p0548.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-p0548.opb IDLAUNCH: 13730 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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: 893924 kB Buffers: 34364 kB Cached: 86116 kB SwapCached: 560 kB Active: 59344 kB Inactive: 63616 kB HighTotal: 131008 kB HighFree: 42672 kB LowTotal: 903652 kB LowFree: 851252 kB SwapTotal: 2097136 kB SwapFree: 2096112 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5712 kB Slab: 12232 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 15:40:13 (client local time) WITH STATUS 0 IN 1175.12 SECONDS stats: 13730 7 1175.12 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 548 variables and 166 constraints. c After prepocess the problem consists of 527 variables and 154 constraints. c preprocess terminated 0.727 s c Initial Lower Bound: 318 c Lower Bound Elapsed time: 0.02825 c 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.81 0.90 0.96 2/54 25115 Raw data (stat): 25115 (runsolver) R 25114 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773045167 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.0013 s] Raw data (loadavg): 0.84 0.90 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 9132 0 2 0 953 31 0 0 25 0 1 0 773045167 20733952 4375 4294967295 134512640 134714508 3221224576 3221222304 1075635945 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5062 4375 1111 63 0 4999 0 vsize: 20248 [startup+20.0017 s] Raw data (loadavg): 0.87 0.90 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 15442 0 2 0 1928 55 0 0 25 0 1 0 773045167 25542656 5545 4294967295 134512640 134714508 3221224576 3221222864 1074153660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6236 5545 1111 63 0 6173 0 vsize: 24944 [startup+30.0015 s] Raw data (loadavg): 0.89 0.90 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 22551 0 2 0 2904 80 0 0 25 0 1 0 773045167 31051776 6877 4294967295 134512640 134714508 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7581 6877 1111 63 0 7518 0 vsize: 30324 [startup+40.0018 s] Raw data (loadavg): 0.90 0.91 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 29337 0 2 0 3878 106 0 0 25 0 1 0 773045167 35774464 8032 4294967295 134512640 134714508 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8734 8032 1111 63 0 8671 0 vsize: 34936 [startup+50.0021 s] Raw data (loadavg): 0.92 0.91 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 35649 0 2 0 4856 128 0 0 25 0 1 0 773045167 41594880 9366 4294967295 134512640 134714508 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10155 9366 1111 63 0 10092 0 vsize: 40620 [startup+60.003 s] Raw data (loadavg): 0.93 0.91 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 43689 0 2 0 5831 153 0 0 25 0 1 0 773045167 45903872 10439 4294967295 134512640 134714508 3221224576 3221223460 134621538 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11207 10439 1111 63 0 11144 0 vsize: 44828 [startup+70.0043 s] Raw data (loadavg): 0.94 0.91 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 52074 0 2 0 6805 179 0 0 25 0 1 0 773045167 50622464 11598 4294967295 134512640 134714508 3221224576 3221223200 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12359 11598 1111 63 0 12296 0 vsize: 49436 [startup+80.0046 s] Raw data (loadavg): 0.95 0.92 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 60940 0 2 0 7779 206 0 0 25 0 1 0 773045167 57131008 12948 4294967295 134512640 134714508 3221224576 3221222760 1077377470 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13948 12948 1111 63 0 13885 0 vsize: 55792 [startup+90.0044 s] Raw data (loadavg): 0.96 0.92 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 69476 0 2 0 8752 232 0 0 25 0 1 0 773045167 60489728 13779 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14768 13779 1111 63 0 14705 0 vsize: 59072 [startup+100.005 s] Raw data (loadavg): 0.96 0.92 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 78979 0 2 0 9726 259 0 0 25 0 1 0 773045167 63451136 14531 4294967295 134512640 134714508 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15491 14531 1111 63 0 15428 0 vsize: 61964 [startup+110.005 s] Raw data (loadavg): 0.97 0.92 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 90620 0 2 0 10693 292 0 0 25 0 1 0 773045167 67137536 15427 4294967295 134512640 134714508 3221224576 3221223320 134672944 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16391 15427 1111 63 0 16328 0 vsize: 65564 [startup+120.005 s] Raw data (loadavg): 0.97 0.92 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 101994 0 2 0 11661 324 0 0 25 0 1 0 773045167 70574080 16297 4294967295 134512640 134714508 3221224576 3221222880 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17230 16297 1111 63 0 17167 0 vsize: 68920 [startup+130.005 s] Raw data (loadavg): 0.98 0.93 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 113345 0 2 0 12630 355 0 0 25 0 1 0 773045167 74276864 17237 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18134 17237 1111 63 0 18071 0 vsize: 72536 [startup+140.006 s] Raw data (loadavg): 0.98 0.93 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 124396 0 2 0 13600 385 0 0 25 0 1 0 773045167 77766656 18101 4294967295 134512640 134714508 3221224576 3221222304 1075828548 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18986 18101 1111 63 0 18923 0 vsize: 75944 [startup+150.005 s] Raw data (loadavg): 0.98 0.93 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 135950 0 2 0 14568 418 0 0 25 0 1 0 773045167 81383424 19021 4294967295 134512640 134714508 3221224576 3221222992 1074117102 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19869 19021 1111 63 0 19806 0 vsize: 79476 [startup+160.005 s] Raw data (loadavg): 0.98 0.93 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 147306 0 2 0 15534 452 0 0 25 0 1 0 773045167 84733952 19834 4294967295 134512640 134714508 3221224576 3221222400 1075823363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20687 19834 1111 63 0 20624 0 vsize: 82748 [startup+170.005 s] Raw data (loadavg): 0.99 0.93 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 159396 0 2 0 16499 487 0 0 25 0 1 0 773045167 94081024 21473 4294967295 134512640 134714508 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22969 21473 1111 63 0 22906 0 vsize: 91876 [startup+180.005 s] Raw data (loadavg): 0.99 0.94 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 169833 0 2 0 17470 517 0 0 25 0 1 0 773045167 96964608 22145 4294967295 134512640 134714508 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23730 22147 1111 63 0 23667 0 vsize: 94692 [startup+190.006 s] Raw data (loadavg): 0.99 0.94 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 177836 0 2 0 18448 539 0 0 25 0 1 0 773045167 99045376 22689 4294967295 134512640 134714508 3221224576 3221222224 1075818209 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24181 22689 1111 63 0 24118 0 vsize: 96724 [startup+200.006 s] Raw data (loadavg): 0.99 0.94 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 187959 0 2 0 19419 568 0 0 25 0 1 0 773045167 101904384 23432 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24879 23432 1111 63 0 24816 0 vsize: 99516 [startup+210.005 s] Raw data (loadavg): 0.99 0.94 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 197955 0 2 0 20389 598 0 0 25 0 1 0 773045167 104243200 24022 4294967295 134512640 134714508 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25450 24022 1111 63 0 25387 0 vsize: 101800 [startup+220.005 s] Raw data (loadavg): 0.99 0.94 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 209313 0 2 0 21356 631 0 0 25 0 1 0 773045167 107384832 24807 4294967295 134512640 134714508 3221224576 3221222792 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26217 24807 1111 63 0 26154 0 vsize: 104868 [startup+230.005 s] Raw data (loadavg): 0.99 0.94 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 219953 0 2 0 22328 659 0 0 25 0 1 0 773045167 109912064 25438 4294967295 134512640 134714508 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26834 25438 1111 63 0 26771 0 vsize: 107336 [startup+240.005 s] Raw data (loadavg): 0.99 0.94 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 227337 0 2 0 23307 680 0 0 25 0 1 0 773045167 111943680 25934 4294967295 134512640 134714508 3221224576 3221223392 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27330 25934 1111 63 0 27267 0 vsize: 109320 [startup+250.005 s] Raw data (loadavg): 0.99 0.95 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 237551 0 2 0 24280 707 0 0 25 0 1 0 773045167 114114560 26484 4294967295 134512640 134714508 3221224576 3221222856 1074138290 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27860 26484 1111 63 0 27797 0 vsize: 111440 [startup+260.006 s] Raw data (loadavg): 0.99 0.95 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 248356 0 2 0 25248 739 0 0 25 0 1 0 773045167 117006336 27198 4294967295 134512640 134714508 3221224576 3221223376 134597661 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28566 27198 1111 63 0 28503 0 vsize: 114264 [startup+270.005 s] Raw data (loadavg): 0.99 0.95 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 260183 0 2 0 26217 771 0 0 25 0 1 0 773045167 120176640 27987 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29340 27987 1111 63 0 29277 0 vsize: 117360 [startup+280.006 s] Raw data (loadavg): 0.99 0.95 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 271595 0 2 0 27181 807 0 0 25 0 1 0 773045167 122658816 28599 4294967295 134512640 134714508 3221224576 3221222832 1074206907 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29946 28599 1111 63 0 29883 0 vsize: 119784 [startup+290.006 s] Raw data (loadavg): 0.99 0.95 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 282550 0 2 0 28150 838 0 0 25 0 1 0 773045167 125497344 29307 4294967295 134512640 134714508 3221224576 3221222420 1073986686 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30639 29307 1111 63 0 30576 0 vsize: 122556 [startup+300.006 s] Raw data (loadavg): 0.99 0.95 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 293550 0 2 0 29118 870 0 0 25 0 1 0 773045167 129085440 30183 4294967295 134512640 134714508 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31515 30183 1111 63 0 31452 0 vsize: 126060 [startup+310.006 s] Raw data (loadavg): 0.99 0.95 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 303840 0 2 0 30091 897 0 0 25 0 1 0 773045167 132120576 30956 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32373 30959 1111 63 0 32310 0 vsize: 129024 [startup+320.006 s] Raw data (loadavg): 0.99 0.95 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 309876 0 2 0 31076 913 0 0 25 0 1 0 773045167 133771264 31374 4294967295 134512640 134714508 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32659 31374 1111 63 0 32596 0 vsize: 130636 [startup+330.005 s] Raw data (loadavg): 0.99 0.95 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 320738 0 2 0 32042 947 0 0 25 0 1 0 773045167 137519104 32288 4294967295 134512640 134714508 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33574 32288 1111 63 0 33511 0 vsize: 134296 [startup+340.005 s] Raw data (loadavg): 0.99 0.95 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 330778 0 2 0 33014 974 0 0 25 0 1 0 773045167 141148160 33072 4294967295 134512640 134714508 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34460 33072 1111 63 0 34397 0 vsize: 137840 [startup+350.005 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 342134 0 2 0 33980 1009 0 0 25 0 1 0 773045167 144097280 33880 4294967295 134512640 134714508 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35180 33880 1111 63 0 35117 0 vsize: 140720 [startup+360.006 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 353386 0 2 0 34949 1040 0 0 25 0 1 0 773045167 146849792 34576 4294967295 134512640 134714508 3221224576 3221223216 134649077 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35852 34576 1111 63 0 35789 0 vsize: 143408 [startup+370.006 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 359943 0 2 0 35929 1060 0 0 25 0 1 0 773045167 149270528 35176 4294967295 134512640 134714508 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36443 35176 1111 63 0 36380 0 vsize: 145772 [startup+380.006 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 362464 0 2 0 36924 1065 0 0 25 0 1 0 773045167 149725184 35299 4294967295 134512640 134714508 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36554 35299 1111 63 0 36491 0 vsize: 146216 [startup+390.006 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 362464 0 2 0 37924 1065 0 0 25 0 1 0 773045167 149725184 35299 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36554 35299 1111 63 0 36491 0 vsize: 146216 [startup+400.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 362464 0 2 0 38925 1065 0 0 25 0 1 0 773045167 149725184 35299 4294967295 134512640 134714508 3221224576 3221223312 134622851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36554 35299 1111 63 0 36491 0 vsize: 146216 [startup+410.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 362464 0 2 0 39925 1065 0 0 25 0 1 0 773045167 149725184 35299 4294967295 134512640 134714508 3221224576 3221223392 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36554 35299 1111 63 0 36491 0 vsize: 146216 [startup+420.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 362464 0 2 0 40925 1065 0 0 25 0 1 0 773045167 149725184 35299 4294967295 134512640 134714508 3221224576 3221223380 134622267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36554 35299 1111 63 0 36491 0 vsize: 146216 [startup+430.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 362586 0 2 0 41924 1066 0 0 25 0 1 0 773045167 149487616 35241 4294967295 134512640 134714508 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36496 35241 1111 63 0 36433 0 vsize: 145984 [startup+440.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 365382 0 2 0 42918 1073 0 0 25 0 1 0 773045167 148987904 35120 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36374 35120 1111 63 0 36311 0 vsize: 145496 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 380197 0 2 0 43880 1111 0 0 25 0 1 0 773045167 152313856 35910 4294967295 134512640 134714508 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37186 35910 1111 63 0 37123 0 vsize: 148744 [startup+460.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 394142 0 2 0 44848 1143 0 0 25 0 1 0 773045167 157818880 37023 4294967295 134512640 134714508 3221224576 3221223216 134535146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38530 37028 1111 63 0 38467 0 vsize: 154120 [startup+470.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 402846 0 2 0 45824 1167 0 0 25 0 1 0 773045167 169984000 38549 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41500 38553 1111 63 0 41437 0 vsize: 166000 [startup+480.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 418648 0 2 0 46784 1207 0 0 25 0 1 0 773045167 171528192 39293 4294967295 134512640 134714508 3221224576 3221222756 1077378730 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41877 39293 1111 63 0 41814 0 vsize: 167508 [startup+490.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 434431 0 2 0 47746 1245 0 0 25 0 1 0 773045167 176222208 40089 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43023 40090 1111 63 0 42960 0 vsize: 172092 [startup+500.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 436762 0 2 0 48741 1251 0 0 25 0 1 0 773045167 175411200 40277 4294967295 134512640 134714508 3221224576 3221223380 134622267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42825 40277 1111 63 0 42762 0 vsize: 171300 [startup+510.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 449825 0 2 0 49708 1284 0 0 25 0 1 0 773045167 177250304 40713 4294967295 134512640 134714508 3221224576 3221221640 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43468 40715 1111 63 0 43405 0 vsize: 173096 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 457407 0 2 0 50688 1304 0 0 25 0 1 0 773045167 178642944 41053 4294967295 134512640 134714508 3221224576 3221222848 1074055297 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43614 41053 1111 63 0 43551 0 vsize: 174456 [startup+530.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 464995 0 2 0 51670 1322 0 0 25 0 1 0 773045167 179933184 41397 4294967295 134512640 134714508 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43929 41397 1111 63 0 43866 0 vsize: 175716 [startup+540.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 472691 0 2 0 52651 1341 0 0 25 0 1 0 773045167 181157888 41707 4294967295 134512640 134714508 3221224576 3221222992 1074116414 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44228 41707 1111 63 0 44165 0 vsize: 176912 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 482406 0 2 0 53626 1367 0 0 25 0 1 0 773045167 184315904 42105 4294967295 134512640 134714508 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44999 42105 1111 63 0 44936 0 vsize: 179996 [startup+560.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 498109 0 2 0 54586 1407 0 0 25 0 1 0 773045167 185274368 42690 4294967295 134512640 134714508 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45233 42690 1111 63 0 45170 0 vsize: 180932 [startup+570.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 514072 0 2 0 55550 1443 0 0 25 0 1 0 773045167 188071936 43374 4294967295 134512640 134714508 3221224576 3221222976 1074118820 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45916 43374 1111 63 0 45853 0 vsize: 183664 [startup+580.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 525637 0 2 0 56524 1469 0 0 25 0 1 0 773045167 190230528 43913 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46443 43913 1111 63 0 46380 0 vsize: 185772 [startup+590.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 539222 0 2 0 57489 1504 0 0 25 0 1 0 773045167 191746048 44313 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46847 44318 1111 63 0 46784 0 vsize: 187252 [startup+600.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 555345 0 2 0 58445 1549 0 0 25 0 1 0 773045167 194297856 44925 4294967295 134512640 134714508 3221224576 3221223280 134652498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47436 44925 1111 63 0 47373 0 vsize: 189744 [startup+610.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 568438 0 2 0 59414 1580 0 0 25 0 1 0 773045167 196820992 45552 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48052 45552 1111 63 0 47989 0 vsize: 192208 [startup+620.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 575480 0 2 0 60397 1596 0 0 25 0 1 0 773045167 197455872 45697 4294967295 134512640 134714508 3221224576 3221222576 1074918162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48207 45697 1111 63 0 48144 0 vsize: 192828 [startup+630.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 585404 0 2 0 61372 1622 0 0 25 0 1 0 773045167 199823360 46142 4294967295 134512640 134714508 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48688 46140 1111 63 0 48625 0 vsize: 195140 [startup+640.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 600571 0 2 0 62333 1661 0 0 25 0 1 0 773045167 201916416 46752 4294967295 134512640 134714508 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49296 46752 1111 63 0 49233 0 vsize: 197184 [startup+650.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 614236 0 2 0 63299 1695 0 0 25 0 1 0 773045167 203841536 47232 4294967295 134512640 134714508 3221224576 3221222880 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49766 47232 1111 63 0 49703 0 vsize: 199064 [startup+660.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 629566 0 2 0 64259 1735 0 0 25 0 1 0 773045167 206987264 48047 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50534 48047 1111 63 0 50471 0 vsize: 202136 [startup+670.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 645055 0 2 0 65218 1777 0 0 25 0 1 0 773045167 210288640 48878 4294967295 134512640 134714508 3221224576 3221222576 1074918652 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51340 48878 1111 63 0 51277 0 vsize: 205360 [startup+680.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 651246 0 2 0 66202 1792 0 0 25 0 1 0 773045167 212189184 49330 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51804 49330 1111 63 0 51741 0 vsize: 207216 [startup+690.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 667281 0 2 0 67159 1836 0 0 25 0 1 0 773045167 214888448 49955 4294967295 134512640 134714508 3221224576 3221222400 1075823542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52463 49955 1111 63 0 52400 0 vsize: 209852 [startup+700.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 683553 0 2 0 68114 1881 0 0 25 0 1 0 773045167 218513408 50862 4294967295 134512640 134714508 3221224576 3221222888 1074063729 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53348 50862 1111 63 0 53285 0 vsize: 213392 [startup+710.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 686029 0 2 0 69107 1888 0 0 25 0 1 0 773045167 219619328 51141 4294967295 134512640 134714508 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53618 51141 1111 63 0 53555 0 vsize: 214472 [startup+720.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 699022 0 2 0 70070 1925 0 0 25 0 1 0 773045167 221769728 51608 4294967295 134512640 134714508 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54143 51608 1111 63 0 54080 0 vsize: 216572 [startup+730.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 707806 0 2 0 71047 1949 0 0 25 0 1 0 773045167 223174656 52000 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54486 52002 1111 63 0 54423 0 vsize: 217944 [startup+740.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 722242 0 2 0 72005 1991 0 0 25 0 1 0 773045167 226004992 52710 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55177 52710 1111 63 0 55114 0 vsize: 220708 [startup+750.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 725507 0 2 0 72995 2001 0 0 25 0 1 0 773045167 229015552 53436 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55912 53436 1111 63 0 55849 0 vsize: 223648 [startup+760.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 727296 0 2 0 73992 2004 0 0 25 0 1 0 773045167 227573760 53094 4294967295 134512640 134714508 3221224576 3221223352 134543568 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55560 53094 1111 63 0 55497 0 vsize: 222240 [startup+770.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 727296 0 2 0 74992 2004 0 0 25 0 1 0 773045167 227573760 53094 4294967295 134512640 134714508 3221224576 3221223296 134622884 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55560 53094 1111 63 0 55497 0 vsize: 222240 [startup+780.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 727296 0 2 0 75992 2004 0 0 25 0 1 0 773045167 227573760 53094 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55560 53094 1111 63 0 55497 0 vsize: 222240 [startup+790.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 727296 0 2 0 76993 2004 0 0 25 0 1 0 773045167 227573760 53094 4294967295 134512640 134714508 3221224576 3221223368 134542412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55560 53094 1111 63 0 55497 0 vsize: 222240 [startup+800.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 727450 0 2 0 77992 2005 0 0 25 0 1 0 773045167 227381248 53024 4294967295 134512640 134714508 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55513 53024 1111 63 0 55450 0 vsize: 222052 [startup+810.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 730901 0 2 0 78983 2014 0 0 25 0 1 0 773045167 227110912 52974 4294967295 134512640 134714508 3221224576 3221223368 134543541 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55447 52974 1111 63 0 55384 0 vsize: 221788 [startup+820.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 746244 0 2 0 79944 2053 0 0 25 0 1 0 773045167 230383616 53684 4294967295 134512640 134714508 3221224576 3221222688 1074867299 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 56246 53684 1111 63 0 56183 0 vsize: 224984 [startup+830.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 761792 0 2 0 80904 2093 0 0 25 0 1 0 773045167 233426944 54397 4294967295 134512640 134714508 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 56989 54397 1111 63 0 56926 0 vsize: 227956 [startup+840.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 774631 0 2 0 81872 2126 0 0 25 0 1 0 773045167 235569152 54933 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 57512 54933 1111 63 0 57449 0 vsize: 230048 [startup+850.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 790463 0 2 0 82830 2168 0 0 25 0 1 0 773045167 238039040 55586 4294967295 134512640 134714508 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58115 55586 1111 63 0 58052 0 vsize: 232460 [startup+860.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 805693 0 2 0 83790 2208 0 0 25 0 1 0 773045167 241278976 56334 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58906 56334 1111 63 0 58843 0 vsize: 235624 [startup+870.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 817910 0 2 0 84758 2240 0 0 25 0 1 0 773045167 242757632 56766 4294967295 134512640 134714508 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59267 56766 1111 63 0 59204 0 vsize: 237068 [startup+880.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 832037 0 2 0 85722 2276 0 0 25 0 1 0 773045167 245583872 57423 4294967295 134512640 134714508 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59957 57423 1111 63 0 59894 0 vsize: 239828 [startup+890.016 s] Raw data (loadavg): 1.07 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 845979 0 2 0 86687 2312 0 0 25 0 1 0 773045167 248881152 58210 4294967295 134512640 134714508 3221224576 3221222864 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60762 58210 1111 63 0 60699 0 vsize: 243048 [startup+900.016 s] Raw data (loadavg): 1.06 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 846177 0 2 0 87684 2314 0 0 25 0 1 0 773045167 249712640 58408 4294967295 134512640 134714508 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60965 58408 1111 63 0 60902 0 vsize: 243860 [startup+910.017 s] Raw data (loadavg): 1.05 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 847111 0 2 0 88682 2317 0 0 25 0 1 0 773045167 252391424 59065 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61619 59065 1111 63 0 61556 0 vsize: 246476 [startup+920.017 s] Raw data (loadavg): 1.04 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 847111 0 2 0 89682 2317 0 0 25 0 1 0 773045167 252391424 59065 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61619 59065 1111 63 0 61556 0 vsize: 246476 [startup+930.016 s] Raw data (loadavg): 1.04 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 90676 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61047 58495 1111 63 0 60984 0 vsize: 244188 [startup+940.017 s] Raw data (loadavg): 1.03 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 91676 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61047 58495 1111 63 0 60984 0 vsize: 244188 [startup+950.017 s] Raw data (loadavg): 1.03 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 92676 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61047 58495 1111 63 0 60984 0 vsize: 244188 [startup+960.018 s] Raw data (loadavg): 1.02 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 93676 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61047 58495 1111 63 0 60984 0 vsize: 244188 [startup+970.019 s] Raw data (loadavg): 1.02 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 94676 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223368 134542414 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61047 58495 1111 63 0 60984 0 vsize: 244188 [startup+980.019 s] Raw data (loadavg): 1.01 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 95677 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223312 134622743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61047 58495 1111 63 0 60984 0 vsize: 244188 [startup+990.019 s] Raw data (loadavg): 1.01 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 850227 0 2 0 96677 2324 0 0 25 0 1 0 773045167 250048512 58495 4294967295 134512640 134714508 3221224576 3221223392 134622252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61047 58495 1111 63 0 60984 0 vsize: 244188 [startup+1000.02 s] Raw data (loadavg): 1.01 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 852658 0 2 0 97670 2331 0 0 25 0 1 0 773045167 249573376 58224 4294967295 134512640 134714508 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61405 58228 1111 63 0 61342 0 vsize: 243724 [startup+1010.02 s] Raw data (loadavg): 1.01 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 867316 0 2 0 98631 2370 0 0 25 0 1 0 773045167 254517248 58903 4294967295 134512640 134714508 3221224576 3221221640 1075007266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61506 58897 1111 63 0 61443 0 vsize: 248552 [startup+1020.02 s] Raw data (loadavg): 1.01 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 882540 0 2 0 99591 2410 0 0 25 0 1 0 773045167 254676992 59586 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62177 59586 1111 63 0 62114 0 vsize: 248708 [startup+1030.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 891616 0 2 0 100564 2437 0 0 25 0 1 0 773045167 257818624 60387 4294967295 134512640 134714508 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62944 60387 1111 63 0 62881 0 vsize: 251776 [startup+1040.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 892278 0 2 0 101563 2439 0 0 25 0 1 0 773045167 259624960 60822 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63385 60822 1111 63 0 63322 0 vsize: 253540 [startup+1050.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 894412 0 2 0 102558 2443 0 0 25 0 1 0 773045167 258043904 60447 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62999 60447 1111 63 0 62936 0 vsize: 251996 [startup+1060.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 894412 0 2 0 103559 2443 0 0 25 0 1 0 773045167 258043904 60447 4294967295 134512640 134714508 3221224576 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62999 60447 1111 63 0 62936 0 vsize: 251996 [startup+1070.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 894412 0 2 0 104559 2443 0 0 25 0 1 0 773045167 258043904 60447 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62999 60447 1111 63 0 62936 0 vsize: 251996 [startup+1080.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 894412 0 2 0 105559 2443 0 0 25 0 1 0 773045167 258043904 60447 4294967295 134512640 134714508 3221224576 3221223368 134536904 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62999 60447 1111 63 0 62936 0 vsize: 251996 [startup+1090.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 902507 0 2 0 106538 2465 0 0 25 0 1 0 773045167 258748416 60607 4294967295 134512640 134714508 3221224576 3221222496 1075799720 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63171 60607 1111 63 0 63108 0 vsize: 252684 [startup+1100.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 917471 0 2 0 107499 2503 0 0 25 0 1 0 773045167 262422528 61540 4294967295 134512640 134714508 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64068 61540 1111 63 0 64005 0 vsize: 256272 [startup+1110.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 917814 0 2 0 108497 2505 0 0 25 0 1 0 773045167 263364608 61794 4294967295 134512640 134714508 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64298 61794 1111 63 0 64235 0 vsize: 257192 [startup+1120.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 918470 0 2 0 109495 2507 0 0 25 0 1 0 773045167 265166848 62228 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64738 62228 1111 63 0 64675 0 vsize: 258952 [startup+1130.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 920972 0 2 0 110491 2511 0 0 25 0 1 0 773045167 263372800 61796 4294967295 134512640 134714508 3221224576 3221223288 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64300 61796 1111 63 0 64237 0 vsize: 257200 [startup+1140.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 920972 0 2 0 111491 2511 0 0 25 0 1 0 773045167 263372800 61796 4294967295 134512640 134714508 3221224576 3221223368 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64300 61796 1111 63 0 64237 0 vsize: 257200 [startup+1150.02 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 920972 0 2 0 112491 2511 0 0 25 0 1 0 773045167 263372800 61796 4294967295 134512640 134714508 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64300 61796 1111 63 0 64237 0 vsize: 257200 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 920972 0 2 0 113491 2511 0 0 25 0 1 0 773045167 263372800 61796 4294967295 134512640 134714508 3221224576 3221223368 134542409 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64300 61796 1111 63 0 64237 0 vsize: 257200 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.97 2/54 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 924277 0 2 0 114483 2520 0 0 25 0 1 0 773045167 262557696 61591 4294967295 134512640 134714508 3221224576 3221222576 1074918345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64101 61591 1111 63 0 64038 0 vsize: 256404 [startup+1175.12 s] Raw data (loadavg): 1.00 0.99 0.97 1/53 25115 Raw data (stat): 25115 (bsolo_lpr_cuts) R 25114 23514 23513 0 -1 0 924277 0 2 0 114483 2520 0 0 25 0 1 0 773045167 262557696 61591 4294967295 134512640 134714508 3221224576 3221222576 1074918345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64101 61591 1111 63 0 64038 0 vsize: 0 Child status: 0 Real time (s): 1175.12 CPU time (s): 1175.12 CPU user time (s): 1149.59 CPU system time (s): 25.5371 CPU usage (%): 100.001 Max. virtual memory (Kb): 258952 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####