Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb |
MD5SUM | 9689869ef48b5a0c26d142f61d149c48 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 51200 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 123 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1061759 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 128000000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 268469758 |
Number of bits of the biggest sum of numbers | 29 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.08 |
Number of variables | 17883 |
Total number of constraints | 4322 |
Number of constraints which are clauses | 426 |
Number of constraints which are cardinality constraints (but not clauses) | 1177 |
Number of constraints which are nor clauses,nor cardinality constraints | 2719 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 55 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-17 10:40:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20190 boxname=wulflinc31 idbench=1554 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 9689869ef48b5a0c26d142f61d149c48 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-railway_8_1_0.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-railway_8_1_0.opb IDLAUNCH: 20190 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 693240 kB Buffers: 24968 kB Cached: 288628 kB SwapCached: 1040 kB Active: 96540 kB Inactive: 225028 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 692988 kB SwapTotal: 2097892 kB SwapFree: 2096060 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5380 kB Slab: 14280 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-17 10:59:54 (client local time) WITH STATUS 0 IN 1175.14 SECONDS stats: 20190 7 1175.14 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 17883 variables and 3146 constraints. c After prepocess the problem consists of 17825 variables and 3144 constraints. c preprocess terminated 30.771 s c Initial Lower Bound: 50816 c Lower Bound Elapsed time: 18.5745 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.02 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.92 0.98 0.99 2/55 25510 Raw data (stat): 25510 (runsolver) R 25509 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 769084037 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0002 s] Raw data (loadavg): 0.93 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 40108 0 0 0 902 92 0 0 25 0 1 0 769084037 167714816 39988 4294967295 134512640 134714508 3221221776 3221220108 134535928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40946 39988 1111 63 0 40883 0 vsize: 163784 [startup+20.0013 s] Raw data (loadavg): 0.94 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 40108 0 0 0 1902 93 0 0 25 0 1 0 769084037 167714816 39988 4294967295 134512640 134714508 3221221776 3221220424 134558490 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40946 39988 1111 63 0 40883 0 vsize: 163784 [startup+30.0019 s] Raw data (loadavg): 0.95 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 40108 0 0 0 2902 93 0 0 25 0 1 0 769084037 167714816 39988 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40946 39988 1111 63 0 40883 0 vsize: 163784 [startup+40.0019 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 40379 0 0 0 3900 95 0 0 25 0 1 0 769084037 168718336 40259 4294967295 134512640 134714508 3221221776 3221219456 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41191 40259 1111 63 0 41128 0 vsize: 164764 [startup+50.0031 s] Raw data (loadavg): 0.96 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 41422 0 0 0 4898 97 0 0 25 0 1 0 769084037 173891584 41302 4294967295 134512640 134714508 3221221776 3221219424 1075828195 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42454 41302 1111 63 0 42391 0 vsize: 169816 [startup+60.0027 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 44804 0 0 0 5891 104 0 0 25 0 1 0 769084037 169320448 40530 4294967295 134512640 134714508 3221221776 3221219948 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41338 40530 1111 63 0 41275 0 vsize: 165352 [startup+70.0037 s] Raw data (loadavg): 0.97 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 46038 0 0 0 6888 107 0 0 25 0 1 0 769084037 172544000 41280 4294967295 134512640 134714508 3221221776 3221219976 1074138316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42125 41281 1111 63 0 42062 0 vsize: 168500 [startup+80.0049 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 48950 0 0 0 7881 114 0 0 25 0 1 0 769084037 169324544 40532 4294967295 134512640 134714508 3221221776 3221219948 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41339 40532 1111 63 0 41276 0 vsize: 165356 [startup+90.0045 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 53131 0 0 0 8872 124 0 0 25 0 1 0 769084037 169336832 40536 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41342 40536 1111 63 0 41279 0 vsize: 165368 [startup+100.005 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 53131 0 0 0 9871 125 0 0 25 0 1 0 769084037 169336832 40536 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41342 40536 1111 63 0 41279 0 vsize: 165368 [startup+110.006 s] Raw data (loadavg): 0.98 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57307 0 0 0 10861 135 0 0 25 0 1 0 769084037 169357312 40542 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41347 40542 1111 63 0 41284 0 vsize: 165388 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57307 0 0 0 11861 135 0 0 25 0 1 0 769084037 169357312 40542 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40542 1111 63 0 41284 0 vsize: 165388 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57309 0 0 0 12861 135 0 0 25 0 1 0 769084037 169357312 40544 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40544 1111 63 0 41284 0 vsize: 165388 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57311 0 0 0 13861 135 0 0 25 0 1 0 769084037 169357312 40546 4294967295 134512640 134714508 3221221776 3221220544 134597631 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40546 1111 63 0 41284 0 vsize: 165388 [startup+150.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57311 0 0 0 14861 136 0 0 25 0 1 0 769084037 169357312 40546 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40546 1111 63 0 41284 0 vsize: 165388 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57313 0 0 0 15861 136 0 0 25 0 1 0 769084037 169357312 40548 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40548 1111 63 0 41284 0 vsize: 165388 [startup+170.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57313 0 0 0 16861 136 0 0 25 0 1 0 769084037 169357312 40548 4294967295 134512640 134714508 3221221776 3221220540 134613543 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40548 1111 63 0 41284 0 vsize: 165388 [startup+180.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57315 0 0 0 17861 136 0 0 25 0 1 0 769084037 169357312 40550 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40550 1111 63 0 41284 0 vsize: 165388 [startup+190.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57315 0 0 0 18861 136 0 0 25 0 1 0 769084037 169357312 40550 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40550 1111 63 0 41284 0 vsize: 165388 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 19861 137 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+210.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 20861 137 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220560 134597675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+220.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 21861 137 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597735 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+230.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 22861 137 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+240.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 23861 137 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597657 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+250.01 s] Raw data (loadavg): 1.07 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 24861 137 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+260.011 s] Raw data (loadavg): 1.06 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 25860 138 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+270.011 s] Raw data (loadavg): 1.05 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 26860 139 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+280.012 s] Raw data (loadavg): 1.04 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 27860 139 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+290.012 s] Raw data (loadavg): 1.04 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 28860 139 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+300.013 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 29859 140 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+310.013 s] Raw data (loadavg): 1.03 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 30859 141 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+320.013 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 31858 141 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+330.013 s] Raw data (loadavg): 1.02 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 32858 141 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+340.013 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 33858 142 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+350.014 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 34858 142 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+360.014 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 35858 142 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220556 134613543 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+370.015 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 36858 143 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220568 134597609 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+380.015 s] Raw data (loadavg): 1.01 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 37857 143 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+390.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 38857 144 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220556 134613543 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+400.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 39857 144 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+410.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 40857 144 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+420.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 41857 145 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+430.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 42856 145 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+440.015 s] Raw data (loadavg): 1.16 1.03 1.01 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 43856 145 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+450.016 s] Raw data (loadavg): 1.13 1.03 1.01 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 44856 146 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+460.016 s] Raw data (loadavg): 1.11 1.03 1.01 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 45856 146 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597690 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+470.017 s] Raw data (loadavg): 1.10 1.03 1.01 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 46856 146 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+480.017 s] Raw data (loadavg): 1.08 1.03 1.01 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 47856 146 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+490.017 s] Raw data (loadavg): 1.07 1.03 1.01 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 48856 146 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+500.017 s] Raw data (loadavg): 1.06 1.03 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 49856 147 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+510.017 s] Raw data (loadavg): 1.05 1.02 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 50856 147 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+520.018 s] Raw data (loadavg): 1.04 1.02 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 51856 147 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+530.018 s] Raw data (loadavg): 1.03 1.02 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 52856 147 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+540.017 s] Raw data (loadavg): 1.03 1.02 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 53856 147 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+550.017 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 54856 148 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597733 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+560.018 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 55856 148 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+570.018 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 56856 148 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+580.018 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 57856 148 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220576 134597700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+590.018 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 58856 148 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+600.019 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57317 0 0 0 59856 148 0 0 25 0 1 0 769084037 169357312 40552 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41347 40552 1111 63 0 41284 0 vsize: 165388 [startup+610.019 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57381 0 0 0 60856 149 0 0 25 0 1 0 769084037 169627648 40616 4294967295 134512640 134714508 3221221776 3221220576 134597657 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41413 40616 1111 63 0 41350 0 vsize: 165652 [startup+620.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 57729 0 0 0 61854 151 0 0 25 0 1 0 769084037 171114496 40964 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41776 40964 1111 63 0 41713 0 vsize: 167104 [startup+630.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 58047 0 0 0 62853 152 0 0 25 0 1 0 769084037 172462080 41281 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42105 41281 1111 63 0 42042 0 vsize: 168420 [startup+640.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 58372 0 0 0 63853 153 0 0 25 0 1 0 769084037 173813760 41606 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42435 41606 1111 63 0 42372 0 vsize: 169740 [startup+650.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 58718 0 0 0 64852 153 0 0 25 0 1 0 769084037 175165440 41952 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42765 41952 1111 63 0 42702 0 vsize: 171060 [startup+660.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 59072 0 0 0 65852 154 0 0 25 0 1 0 769084037 176672768 42304 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43133 42304 1111 63 0 43070 0 vsize: 172532 [startup+670.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 59373 0 0 0 66851 155 0 0 25 0 1 0 769084037 177889280 42605 4294967295 134512640 134714508 3221221776 3221220576 134597645 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43430 42605 1111 63 0 43367 0 vsize: 173720 [startup+680.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 59687 0 0 0 67850 156 0 0 25 0 1 0 769084037 179105792 42919 4294967295 134512640 134714508 3221221776 3221220560 134584858 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43727 42919 1111 63 0 43664 0 vsize: 174908 [startup+690.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 60027 0 0 0 68850 156 0 0 25 0 1 0 769084037 180600832 43257 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44092 43257 1111 63 0 44029 0 vsize: 176368 [startup+700.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 60332 0 0 0 69849 157 0 0 25 0 1 0 769084037 181817344 43562 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44389 43562 1111 63 0 44326 0 vsize: 177556 [startup+710.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 60576 0 0 0 70849 158 0 0 25 0 1 0 769084037 182763520 43806 4294967295 134512640 134714508 3221221776 3221220552 134613517 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44620 43806 1111 63 0 44557 0 vsize: 178480 [startup+720.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 60857 0 0 0 71848 159 0 0 25 0 1 0 769084037 183996416 44087 4294967295 134512640 134714508 3221221776 3221220576 134597695 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44921 44087 1111 63 0 44858 0 vsize: 179684 [startup+730.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 61127 0 0 0 72847 160 0 0 25 0 1 0 769084037 185077760 44357 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45185 44357 1111 63 0 45122 0 vsize: 180740 [startup+740.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 61354 0 0 0 73847 161 0 0 25 0 1 0 769084037 186023936 44584 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45416 44584 1111 63 0 45353 0 vsize: 181664 [startup+750.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 61593 0 0 0 74846 162 0 0 25 0 1 0 769084037 186982400 44822 4294967295 134512640 134714508 3221221776 3221220556 134600348 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45650 44822 1111 63 0 45587 0 vsize: 182600 [startup+760.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 61832 0 0 0 75845 162 0 0 25 0 1 0 769084037 188063744 45061 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45914 45061 1111 63 0 45851 0 vsize: 183656 [startup+770.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 62039 0 0 0 76845 163 0 0 25 0 1 0 769084037 188874752 45268 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46112 45268 1111 63 0 46049 0 vsize: 184448 [startup+780.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 62256 0 0 0 77844 164 0 0 25 0 1 0 769084037 189685760 45485 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46310 45485 1111 63 0 46247 0 vsize: 185240 [startup+790.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 62481 0 0 0 78843 165 0 0 25 0 1 0 769084037 190631936 45710 4294967295 134512640 134714508 3221221776 3221220560 134597624 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46541 45710 1111 63 0 46478 0 vsize: 186164 [startup+800.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 62704 0 0 0 79843 165 0 0 25 0 1 0 769084037 191578112 45933 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46772 45933 1111 63 0 46709 0 vsize: 187088 [startup+810.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 62901 0 0 0 80843 166 0 0 25 0 1 0 769084037 192385024 46130 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46969 46130 1111 63 0 46906 0 vsize: 187876 [startup+820.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 63095 0 0 0 81842 166 0 0 25 0 1 0 769084037 193196032 46324 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47167 46324 1111 63 0 47104 0 vsize: 188668 [startup+830.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 63296 0 0 0 82842 167 0 0 25 0 1 0 769084037 194007040 46525 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47365 46525 1111 63 0 47302 0 vsize: 189460 [startup+840.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 63494 0 0 0 83841 168 0 0 25 0 1 0 769084037 194822144 46723 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47564 46723 1111 63 0 47501 0 vsize: 190256 [startup+850.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 63675 0 0 0 84841 168 0 0 25 0 1 0 769084037 195633152 46904 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47762 46904 1111 63 0 47699 0 vsize: 191048 [startup+860.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 63858 0 0 0 85841 169 0 0 25 0 1 0 769084037 196308992 47086 4294967295 134512640 134714508 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47927 47087 1111 63 0 47864 0 vsize: 191708 [startup+870.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 64069 0 0 0 86840 170 0 0 25 0 1 0 769084037 197120000 47297 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48125 47297 1111 63 0 48062 0 vsize: 192500 [startup+880.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 64283 0 0 0 87839 171 0 0 25 0 1 0 769084037 198066176 47511 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48356 47511 1111 63 0 48293 0 vsize: 193424 [startup+890.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 64502 0 0 0 88839 171 0 0 25 0 1 0 769084037 199012352 47730 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48587 47730 1111 63 0 48524 0 vsize: 194348 [startup+900.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 64731 0 0 0 89837 173 0 0 25 0 1 0 769084037 199958528 47957 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48818 47957 1111 63 0 48755 0 vsize: 195272 [startup+910.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 64955 0 0 0 90836 174 0 0 25 0 1 0 769084037 200769536 48181 4294967295 134512640 134714508 3221221776 3221220552 134613513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49016 48181 1111 63 0 48953 0 vsize: 196064 [startup+920.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 65174 0 0 0 91836 175 0 0 25 0 1 0 769084037 201715712 48400 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49247 48400 1111 63 0 49184 0 vsize: 196988 [startup+930.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 65425 0 0 0 92835 176 0 0 25 0 1 0 769084037 202792960 48651 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49510 48651 1111 63 0 49447 0 vsize: 198040 [startup+940.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 65674 0 0 0 93834 177 0 0 25 0 1 0 769084037 203739136 48900 4294967295 134512640 134714508 3221221776 3221220304 134543035 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49741 48901 1111 63 0 49678 0 vsize: 198964 [startup+950.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 65905 0 0 0 94834 177 0 0 25 0 1 0 769084037 204681216 49131 4294967295 134512640 134714508 3221221776 3221220576 134597703 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49971 49131 1111 63 0 49908 0 vsize: 199884 [startup+960.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 66177 0 0 0 95834 178 0 0 25 0 1 0 769084037 205762560 49403 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 50235 49403 1111 63 0 50172 0 vsize: 200940 [startup+970.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 66466 0 0 0 96833 178 0 0 25 0 1 0 769084037 206983168 49692 4294967295 134512640 134714508 3221221776 3221220548 134597630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 50533 49692 1111 63 0 50470 0 vsize: 202132 [startup+980.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 66771 0 0 0 97833 179 0 0 25 0 1 0 769084037 208199680 49997 4294967295 134512640 134714508 3221221776 3221220576 134597703 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 50830 49997 1111 63 0 50767 0 vsize: 203320 [startup+990.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 67087 0 0 0 98831 181 0 0 25 0 1 0 769084037 209592320 50309 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51170 50309 1111 63 0 51107 0 vsize: 204680 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 67418 0 0 0 99830 182 0 0 25 0 1 0 769084037 210948096 50640 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51501 50640 1111 63 0 51438 0 vsize: 206004 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 67763 0 0 0 100829 183 0 0 25 0 1 0 769084037 212299776 50985 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51831 50985 1111 63 0 51768 0 vsize: 207324 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 68086 0 0 0 101828 185 0 0 25 0 1 0 769084037 213651456 51308 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52161 51308 1111 63 0 52098 0 vsize: 208644 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 68372 0 0 0 102828 185 0 0 25 0 1 0 769084037 214913024 51588 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52469 51588 1111 63 0 52406 0 vsize: 209876 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 68734 0 0 0 103827 186 0 0 25 0 1 0 769084037 216395776 51950 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52831 51950 1111 63 0 52768 0 vsize: 211324 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 69046 0 0 0 104826 187 0 0 25 0 1 0 769084037 217612288 52262 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53128 52262 1111 63 0 53065 0 vsize: 212512 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 69413 0 0 0 105825 189 0 0 25 0 1 0 769084037 219234304 52629 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53524 52629 1111 63 0 53461 0 vsize: 214096 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 69725 0 0 0 106823 190 0 0 25 0 1 0 769084037 220483584 52940 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53829 52940 1111 63 0 53766 0 vsize: 215316 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 70086 0 0 0 107822 192 0 0 25 0 1 0 769084037 221974528 53299 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 54193 53299 1111 63 0 54130 0 vsize: 216772 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 70409 0 0 0 108821 193 0 0 25 0 1 0 769084037 223326208 53622 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 54523 53622 1111 63 0 54460 0 vsize: 218092 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 70773 0 0 0 109820 195 0 0 25 0 1 0 769084037 224813056 53986 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 54886 53986 1111 63 0 54823 0 vsize: 219544 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 71092 0 0 0 110819 195 0 0 25 0 1 0 769084037 226029568 54305 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 55183 54305 1111 63 0 55120 0 vsize: 220732 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 71298 0 0 0 111818 196 0 0 25 0 1 0 769084037 226840576 54511 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 55381 54511 1111 63 0 55318 0 vsize: 221524 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 71614 0 0 0 112817 198 0 0 25 0 1 0 769084037 228192256 54827 4294967295 134512640 134714508 3221221776 3221220568 134597609 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 55711 54827 1111 63 0 55648 0 vsize: 222844 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 71966 0 0 0 113816 199 0 0 25 0 1 0 769084037 229744640 55175 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 56090 55175 1111 63 0 56027 0 vsize: 224360 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 72317 0 0 0 114815 200 0 0 25 0 1 0 769084037 231096320 55526 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 56420 55526 1111 63 0 56357 0 vsize: 225680 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 72628 0 0 0 115814 201 0 0 25 0 1 0 769084037 232448000 55837 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 56750 55837 1111 63 0 56687 0 vsize: 227000 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 72988 0 0 0 116813 202 0 0 25 0 1 0 769084037 233799680 56197 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 57080 56197 1111 63 0 57017 0 vsize: 228320 [startup+1175.02 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 25510 Raw data (stat): 25510 (bsolo_lpr) R 25509 7876 7672 0 -1 0 72988 0 0 0 116813 202 0 0 25 0 1 0 769084037 233799680 56197 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 57080 56197 1111 63 0 57017 0 vsize: 0 Child status: 0 Real time (s): 1175.02 CPU time (s): 1175.14 CPU user time (s): 1173.01 CPU system time (s): 2.13368 CPU usage (%): 100.01 Max. virtual memory (Kb): 228320 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####