Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb |
MD5SUM | 4df3e7eb358d27d446e34b975724a6c1 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7772 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 60 |
Biggest coefficient in the objective function | 974 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 9460 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 6000 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 26162 |
Number of bits of the biggest sum of numbers | 15 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01884 |
Number of variables | 60 |
Total number of constraints | 90 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 30 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 60 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-22 22:10:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17252 boxname=wulflinc31 idbench=1328 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 4df3e7eb358d27d446e34b975724a6c1 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sentoy.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sentoy.opb IDLAUNCH: 17252 /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: 867708 kB Buffers: 27668 kB Cached: 119616 kB SwapCached: 1024 kB Active: 83324 kB Inactive: 66084 kB HighTotal: 131008 kB HighFree: 12404 kB LowTotal: 903652 kB LowFree: 855304 kB SwapTotal: 2097892 kB SwapFree: 2095884 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5096 kB Slab: 11872 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-22 22:29:45 (client local time) WITH STATUS 10 IN 1175.33 SECONDS stats: 17252 0 1175.33 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 60 variables and 30 constraints. c After prepocess the problem consists of 60 variables and 30 constraints. c preprocess terminated 0.134 s c Initial Lower Bound: -9228 c Lower Bound Elapsed time: 0.019 c Use computed LB before first solution. c NEW SOLUTION FOUND: -4331 @ 1.217 c NEW SOLUTION FOUND: -4347 @ 1.839 c NEW SOLUTION FOUND: -4547 @ 6.879 c NEW SOLUTION FOUND: -4733 @ 492.17 c NEW SOLUTION FOUND: -4735 @ 492.18 c NEW SOLUTION FOUND: -4741 @ 492.202 c NEW SOLUTION FOUND: -4784 @ 492.208 c NEW SOLUTION FOUND: -4811 @ 492.215 c NEW SOLUTION FOUND: -4831 @ 492.23 c NEW SOLUTION FOUND: -4840 @ 492.407 c NEW SOLUTION FOUND: -4859 @ 492.416 c NEW SOLUTION FOUND: -4863 @ 492.556 c NEW SOLUTION FOUND: -4891 @ 492.725 c NEW SOLUTION FOUND: -4895 @ 496.295 c NEW SOLUTION FOUND: -4909 @ 496.367 c NEW SOLUTION FOUND: -4922 @ 496.904 c NEW SOLUTION FOUND: -4928 @ 499.466 c NEW SOLUTION FOUND: -4934 @ 500.663 c NEW SOLUTION FOUND: -4957 @ 501.182 c NEW SOLUTION FOUND: -4962 @ 501.72 c NEW SOLUTION FOUND: -4969 @ 510.349 c NEW SOLUTION FOUND: -4996 @ 510.41 c NEW SOLUTION FOUND: -5000 @ 513.388 c NEW SOLUTION FOUND: -5033 @ 513.42 c NEW SOLUTION FOUND: -5047 @ 514.241 c NEW SOLUTION FOUND: -5079 @ 524.873 c NEW SOLUTION FOUND: -5119 @ 530.371 c NEW SOLUTION FOUND: -5120 @ 544.896 c NEW SOLUTION FOUND: -5124 @ 546.899 c NEW SOLUTION FOUND: -5138 @ 549.96 c NEW SOLUTION FOUND: -5142 @ 564.203 c NEW SOLUTION FOUND: -5146 @ 569.744 c NEW SOLUTION FOUND: -5152 @ 575.24 c NEW SOLUTION FOUND: -5153 @ 577.9 c NEW SOLUTION FOUND: -5180 @ 599.166 c NEW SOLUTION FOUND: -5207 @ 616.966 c NEW SOLUTION FOUND: -5211 @ 636.183 c NEW SOLUTION FOUND: -5226 @ 713.766 c NEW SOLUTION FOUND: -5228 @ 754.861 c NEW SOLUTION FOUND: -5269 @ 754.91 c NEW SOLUTION FOUND: -5283 @ 826.331 c NEW SOLUTION FOUND: -5312 @ 845.766 s SATISFIABLE v -Y1_bit0 Y2_bit0 -Y3_bit0 -Y4_bit0 Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 Y9_bit0 -Y10_bit0 Y11_bit0 -Y12_bit0 Y13_bit0 Y14_bit0 -Y15_bit0 Y16_bit0 -Y17_bit0 -Y18_bit0 Y19_bit0 -Y20_bit0 Y21_bit0 Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 -Y27_bit0 -Y28_bit0 Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 Y34_bit0 -Y35_bit0 -Y36_bit0 -Y37_bit0 -Y38_bit0 Y39_bit0 -Y40_bit0 Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 Y45_bit0 -Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_bit0 c Exit Code: 10 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.85 0.95 0.90 2/55 29943 Raw data (stat): 29943 (runsolver) R 29942 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 816428522 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0017 s] Raw data (loadavg): 0.87 0.95 0.90 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 8543 0 0 0 950 45 0 0 25 0 1 0 816428522 17682432 3544 4294967295 134512640 134714508 3221221776 3221217724 1074788968 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4317 3544 1111 63 0 4254 0 vsize: 17268 [startup+20.0022 s] Raw data (loadavg): 0.89 0.96 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 14712 0 0 0 1916 79 0 0 25 0 1 0 816428522 25464832 5505 4294967295 134512640 134714508 3221221776 3221219696 1075802507 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6217 5505 1111 63 0 6154 0 vsize: 24868 [startup+30.0021 s] Raw data (loadavg): 0.91 0.96 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 21200 0 0 0 2880 115 0 0 25 0 1 0 816428522 35049472 7710 4294967295 134512640 134714508 3221221776 3221217772 1074788239 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8557 7710 1111 63 0 8494 0 vsize: 34228 [startup+40.0025 s] Raw data (loadavg): 0.92 0.96 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 27094 0 0 0 3846 150 0 0 25 0 1 0 816428522 42528768 9632 4294967295 134512640 134714508 3221221776 3221220032 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10383 9632 1111 63 0 10320 0 vsize: 41532 [startup+50.003 s] Raw data (loadavg): 0.93 0.96 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 33203 0 0 0 4813 182 0 0 25 0 1 0 816428522 52658176 11782 4294967295 134512640 134714508 3221221776 3221219504 1075828475 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12856 11782 1111 63 0 12793 0 vsize: 51424 [startup+60.0039 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 38766 0 0 0 5784 212 0 0 25 0 1 0 816428522 59662336 13507 4294967295 134512640 134714508 3221221776 3221220448 134650213 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14566 13507 1111 63 0 14503 0 vsize: 58264 [startup+70.0053 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 44046 0 0 0 6757 239 0 0 25 0 1 0 816428522 66158592 15111 4294967295 134512640 134714508 3221221776 3221219864 1077377457 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16152 15111 1111 63 0 16089 0 vsize: 64608 [startup+80.0058 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 48612 0 0 0 7732 264 0 0 25 0 1 0 816428522 71806976 16465 4294967295 134512640 134714508 3221221776 3221220208 1073990361 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17531 16465 1111 63 0 17468 0 vsize: 70124 [startup+90.0057 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 53810 0 0 0 8704 292 0 0 25 0 1 0 816428522 78585856 18182 4294967295 134512640 134714508 3221221776 3221219776 1074918472 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19186 18182 1111 63 0 19123 0 vsize: 76744 [startup+100.006 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 58741 0 0 0 9677 319 0 0 25 0 1 0 816428522 84406272 19587 4294967295 134512640 134714508 3221221776 3221218844 1075111812 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20607 19587 1111 63 0 20544 0 vsize: 82428 [startup+110.007 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 63994 0 0 0 10649 347 0 0 25 0 1 0 816428522 96468992 21771 4294967295 134512640 134714508 3221221776 3221218432 1075966563 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23552 21771 1111 63 0 23489 0 vsize: 94208 [startup+120.008 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 70319 0 0 0 11619 378 0 0 25 0 1 0 816428522 102404096 23173 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25001 23173 1111 63 0 24938 0 vsize: 100004 [startup+130.008 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 80113 0 0 0 12589 408 0 0 25 0 1 0 816428522 107544576 24407 4294967295 134512640 134714508 3221221776 3221218896 1074834355 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26256 24407 1111 63 0 26193 0 vsize: 105024 [startup+140.008 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 91647 0 0 0 13550 447 0 0 25 0 1 0 816428522 113782784 25977 4294967295 134512640 134714508 3221221776 3221219928 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27779 25977 1111 63 0 27716 0 vsize: 111116 [startup+150.01 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 103241 0 0 0 14508 490 0 0 25 0 1 0 816428522 119603200 27368 4294967295 134512640 134714508 3221221776 3221217984 1074815494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29200 27368 1111 63 0 29137 0 vsize: 116800 [startup+160.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 114779 0 0 0 15467 531 0 0 25 0 1 0 816428522 125399040 28834 4294967295 134512640 134714508 3221221776 3221220412 1073986672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30615 28834 1111 63 0 30552 0 vsize: 122460 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 125627 0 0 0 16426 572 0 0 25 0 1 0 816428522 131805184 30336 4294967295 134512640 134714508 3221221776 3221218680 1077410163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32179 30336 1111 63 0 32116 0 vsize: 128716 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 137173 0 0 0 17388 610 0 0 25 0 1 0 816428522 137744384 31867 4294967295 134512640 134714508 3221221776 3221220368 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33629 31867 1111 63 0 33566 0 vsize: 134516 [startup+190.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 149222 0 0 0 18346 652 0 0 25 0 1 0 816428522 144510976 33560 4294967295 134512640 134714508 3221221776 3221220436 134649894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35281 33560 1111 63 0 35218 0 vsize: 141124 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 160792 0 0 0 19307 691 0 0 25 0 1 0 816428522 150130688 34974 4294967295 134512640 134714508 3221221776 3221217936 1075091300 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36653 34974 1111 63 0 36590 0 vsize: 146612 [startup+210.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 172262 0 0 0 20272 727 0 0 25 0 1 0 816428522 155635712 36413 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37997 36413 1111 63 0 37934 0 vsize: 151988 [startup+220.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 183540 0 0 0 21233 765 0 0 25 0 1 0 816428522 161443840 37845 4294967295 134512640 134714508 3221221776 3221220368 134542303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39415 37845 1111 63 0 39352 0 vsize: 157660 [startup+230.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 195488 0 0 0 22202 797 0 0 25 0 1 0 816428522 177881088 40042 4294967295 134512640 134714508 3221221776 3221218236 1075602595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43394 40038 1111 63 0 43331 0 vsize: 173712 [startup+240.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 204273 0 0 0 23173 826 0 0 25 0 1 0 816428522 182149120 41062 4294967295 134512640 134714508 3221221776 3221219924 1077378662 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44470 41062 1111 63 0 44407 0 vsize: 177880 [startup+250.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 216026 0 0 0 24134 865 0 0 25 0 1 0 816428522 187777024 42332 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45905 42332 1111 63 0 45842 0 vsize: 183376 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 227838 0 0 0 25098 901 0 0 25 0 1 0 816428522 193232896 43611 4294967295 134512640 134714508 3221221776 3221219776 1074918472 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47176 43611 1111 63 0 47113 0 vsize: 188704 [startup+270.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 239414 0 0 0 26064 936 0 0 25 0 1 0 816428522 198508544 44848 4294967295 134512640 134714508 3221221776 3221218088 1074960597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48464 44848 1111 63 0 48401 0 vsize: 193856 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 250908 0 0 0 27025 975 0 0 25 0 1 0 816428522 204062720 46215 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49820 46215 1111 63 0 49757 0 vsize: 199280 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 262647 0 0 0 27990 1010 0 0 25 0 1 0 816428522 209141760 47440 4294967295 134512640 134714508 3221221776 3221218292 1075132451 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51060 47440 1111 63 0 50997 0 vsize: 204240 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 274066 0 0 0 28952 1048 0 0 25 0 1 0 816428522 214110208 48718 4294967295 134512640 134714508 3221221776 3221218064 1074815647 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52273 48718 1111 63 0 52210 0 vsize: 209092 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 285374 0 0 0 29913 1087 0 0 25 0 1 0 816428522 219348992 50074 4294967295 134512640 134714508 3221221776 3221219936 1074050884 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53552 50074 1111 63 0 53489 0 vsize: 214208 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 296974 0 0 0 30876 1125 0 0 25 0 1 0 816428522 225665024 51568 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 55094 51568 1111 63 0 55031 0 vsize: 220376 [startup+330.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 308361 0 0 0 31837 1164 0 0 25 0 1 0 816428522 231006208 52882 4294967295 134512640 134714508 3221221776 3221218248 1074968485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 56367 52881 1111 63 0 56304 0 vsize: 225592 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 319820 0 0 0 32800 1200 0 0 25 0 1 0 816428522 236646400 54283 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 57775 54283 1111 63 0 57712 0 vsize: 231100 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 331296 0 0 0 33760 1240 0 0 25 0 1 0 816428522 242376704 55690 4294967295 134512640 134714508 3221221776 3221218696 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59157 55688 1111 63 0 59094 0 vsize: 236696 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 341391 0 0 0 34728 1274 0 0 25 0 1 0 816428522 247730176 56963 4294967295 134512640 134714508 3221221776 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 60481 56963 1111 63 0 60418 0 vsize: 241924 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 353180 0 0 0 35690 1312 0 0 25 0 1 0 816428522 252911616 58179 4294967295 134512640 134714508 3221221776 3221218780 1074621096 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 61714 58178 1111 63 0 61651 0 vsize: 246984 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 364928 0 0 0 36651 1351 0 0 25 0 1 0 816428522 257957888 59475 4294967295 134512640 134714508 3221221776 3221218696 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 62945 59473 1111 63 0 62882 0 vsize: 251912 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 376388 0 0 0 37611 1391 0 0 25 0 1 0 816428522 263110656 60759 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64189 60758 1111 63 0 64126 0 vsize: 256944 [startup+400.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 387726 0 0 0 38576 1426 0 0 25 0 1 0 816428522 267751424 61984 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65369 61984 1111 63 0 65306 0 vsize: 261476 [startup+410.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 399814 0 0 0 39541 1461 0 0 25 0 1 0 816428522 274030592 63560 4294967295 134512640 134714508 3221221776 3221220176 1076082813 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66902 63560 1111 63 0 66839 0 vsize: 267608 [startup+420.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 411128 0 0 0 40502 1500 0 0 25 0 1 0 816428522 279420928 64827 4294967295 134512640 134714508 3221221776 3221218028 1075088528 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68218 64827 1111 63 0 68155 0 vsize: 272872 [startup+430.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 422920 0 0 0 41467 1535 0 0 25 0 1 0 816428522 284381184 66139 4294967295 134512640 134714508 3221221776 3221219596 1077377762 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69429 66139 1111 63 0 69366 0 vsize: 277716 [startup+440.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 434374 0 0 0 42429 1573 0 0 25 0 1 0 816428522 289714176 67448 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 70731 67448 1111 63 0 70668 0 vsize: 282924 [startup+450.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 446189 0 0 0 43394 1609 0 0 25 0 1 0 816428522 294420480 68666 4294967295 134512640 134714508 3221221776 3221218144 1075894546 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71880 68666 1111 63 0 71817 0 vsize: 287520 [startup+460.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 457428 0 0 0 44357 1646 0 0 25 0 1 0 816428522 298774528 69801 4294967295 134512640 134714508 3221221776 3221220392 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72943 69801 1111 63 0 72880 0 vsize: 291772 [startup+470.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 468968 0 0 0 45322 1681 0 0 25 0 1 0 816428522 304082944 71054 4294967295 134512640 134714508 3221221776 3221217920 1074969471 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 74239 71054 1111 63 0 74176 0 vsize: 296956 [startup+480.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 480836 0 0 0 46288 1715 0 0 25 0 1 0 816428522 308690944 72278 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 75364 72278 1111 63 0 75301 0 vsize: 301456 [startup+490.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 490416 0 0 0 47259 1744 0 0 25 0 1 0 816428522 312328192 73207 4294967295 134512640 134714508 3221221776 3221220352 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 76252 73207 1111 63 0 76189 0 vsize: 305008 [startup+500.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 503872 0 0 0 48218 1785 0 0 25 0 1 0 816428522 340516864 76476 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 83134 76477 1111 63 0 83071 0 vsize: 332536 [startup+510.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 522366 0 0 0 49158 1846 0 0 25 0 1 0 816428522 348508160 78349 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85085 78349 1111 63 0 85022 0 vsize: 340340 [startup+520.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 543129 0 0 0 50099 1903 0 0 25 0 1 0 816428522 354459648 79888 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 86538 79888 1111 63 0 86475 0 vsize: 346152 [startup+530.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 565530 0 0 0 51032 1971 0 0 25 0 1 0 816428522 364195840 81881 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 88915 81881 1111 63 0 88852 0 vsize: 355660 [startup+540.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 587808 0 0 0 51964 2039 0 0 25 0 1 0 816428522 372637696 83801 4294967295 134512640 134714508 3221221776 3221220304 134542300 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 90976 83801 1111 63 0 90913 0 vsize: 363904 [startup+550.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 609274 0 0 0 52900 2103 0 0 25 0 1 0 816428522 379965440 85569 4294967295 134512640 134714508 3221221776 3221219876 1074206229 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 92765 85569 1111 63 0 92702 0 vsize: 371060 [startup+560.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 630156 0 0 0 53842 2161 0 0 25 0 1 0 816428522 386658304 87173 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94399 87173 1111 63 0 94336 0 vsize: 377596 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 651854 0 0 0 54775 2228 0 0 25 0 1 0 816428522 394190848 88929 4294967295 134512640 134714508 3221221776 3221220392 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96238 88929 1111 63 0 96175 0 vsize: 384952 [startup+580.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 671327 0 0 0 55720 2284 0 0 25 0 1 0 816428522 399540224 90206 4294967295 134512640 134714508 3221221776 3221218144 1075894549 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97544 90206 1111 63 0 97481 0 vsize: 390176 [startup+590.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 676855 0 0 0 56706 2297 0 0 25 0 1 0 816428522 400551936 90544 4294967295 134512640 134714508 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97791 90544 1111 63 0 97728 0 vsize: 391164 [startup+600.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 692700 0 0 0 57671 2332 0 0 25 0 1 0 816428522 402653184 90717 4294967295 134512640 134714508 3221221776 3221217808 1075965301 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 98304 90717 1111 63 0 98241 0 vsize: 393216 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 720159 0 0 0 58609 2395 0 0 25 0 1 0 816428522 404094976 91463 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 98656 91463 1111 63 0 98593 0 vsize: 394624 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 749645 0 0 0 59543 2461 0 0 25 0 1 0 816428522 406507520 92092 4294967295 134512640 134714508 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99245 92092 1111 63 0 99182 0 vsize: 396980 [startup+630.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 778838 0 0 0 60480 2524 0 0 25 0 1 0 816428522 408834048 92705 4294967295 134512640 134714508 3221221776 3221219464 1077377254 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99813 92705 1111 63 0 99750 0 vsize: 399252 [startup+640.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 812472 0 0 0 61402 2602 0 0 25 0 1 0 816428522 412012544 93499 4294967295 134512640 134714508 3221221776 3221220368 134542303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 100589 93499 1111 63 0 100526 0 vsize: 402356 [startup+650.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 849244 0 0 0 62325 2680 0 0 25 0 1 0 816428522 417337344 94839 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 101889 94839 1111 63 0 101826 0 vsize: 407556 [startup+660.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 886752 0 0 0 63237 2767 0 0 25 0 1 0 816428522 423370752 96284 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103362 96284 1111 63 0 103299 0 vsize: 413448 [startup+670.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 923821 0 0 0 64153 2852 0 0 25 0 1 0 816428522 429780992 97543 4294967295 134512640 134714508 3221221776 3221218124 1073957240 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104927 97543 1111 63 0 104864 0 vsize: 419708 [startup+680.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 961171 0 0 0 65069 2936 0 0 25 0 1 0 816428522 434659328 98826 4294967295 134512640 134714508 3221221776 3221218156 1075112635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106118 98826 1111 63 0 106055 0 vsize: 424472 [startup+690.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1000043 0 0 0 65983 3022 0 0 25 0 1 0 816428522 440860672 100220 4294967295 134512640 134714508 3221221776 3221217740 1074860560 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107632 100220 1111 63 0 107569 0 vsize: 430528 [startup+700.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1038708 0 0 0 66895 3110 0 0 25 0 1 0 816428522 446382080 101662 4294967295 134512640 134714508 3221221776 3221218024 1074806209 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 108980 101662 1111 63 0 108917 0 vsize: 435920 [startup+710.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1078299 0 0 0 67802 3203 0 0 25 0 1 0 816428522 453427200 103226 4294967295 134512640 134714508 3221221776 3221217920 1074969986 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 110700 103226 1111 63 0 110637 0 vsize: 442800 [startup+720.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1117208 0 0 0 68708 3298 0 0 25 0 1 0 816428522 458297344 104716 4294967295 134512640 134714508 3221221776 3221220224 1073990361 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 111889 104716 1111 63 0 111826 0 vsize: 447556 [startup+730.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1149699 0 0 0 69639 3367 0 0 25 0 1 0 816428522 464519168 105960 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 113408 105960 1111 63 0 113345 0 vsize: 453632 [startup+740.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1187621 0 0 0 70551 3455 0 0 25 0 1 0 816428522 468373504 107322 4294967295 134512640 134714508 3221221776 3221220264 1074152785 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 114349 107322 1111 63 0 114286 0 vsize: 457396 [startup+750.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1226713 0 0 0 71462 3544 0 0 25 0 1 0 816428522 475955200 108902 4294967295 134512640 134714508 3221221776 3221217936 1075963939 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 116200 108902 1111 63 0 116137 0 vsize: 464800 [startup+760.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1264890 0 0 0 72378 3628 0 0 25 0 1 0 816428522 481607680 110353 4294967295 134512640 134714508 3221221776 3221217804 1074788110 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 117580 110353 1111 63 0 117517 0 vsize: 470320 [startup+770.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1300685 0 0 0 73299 3708 0 0 25 0 1 0 816428522 484753408 111551 4294967295 134512640 134714508 3221221776 3221218840 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 118736 111557 1111 63 0 118673 0 vsize: 473392 [startup+780.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1337720 0 0 0 74221 3786 0 0 25 0 1 0 816428522 489619456 112813 4294967295 134512640 134714508 3221221776 3221220392 134543168 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 119536 112813 1111 63 0 119473 0 vsize: 478144 [startup+790.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1373856 0 0 0 75139 3868 0 0 25 0 1 0 816428522 494182400 114009 4294967295 134512640 134714508 3221221776 3221220056 1074138327 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 120650 114009 1111 63 0 120587 0 vsize: 482600 [startup+800.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1409938 0 0 0 76063 3944 0 0 25 0 1 0 816428522 500477952 115220 4294967295 134512640 134714508 3221221776 3221217920 1074971892 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 122187 115220 1111 63 0 122124 0 vsize: 488748 [startup+810.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1440170 0 0 0 76998 4009 0 0 25 0 1 0 816428522 504365056 116258 4294967295 134512640 134714508 3221221776 3221217960 1075964113 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 123136 116258 1111 63 0 123073 0 vsize: 492544 [startup+820.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1476367 0 0 0 77921 4087 0 0 25 0 1 0 816428522 507871232 117408 4294967295 134512640 134714508 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 123992 117408 1111 63 0 123929 0 vsize: 495968 [startup+830.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1513340 0 0 0 78837 4170 0 0 25 0 1 0 816428522 514617344 118712 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 125639 118712 1111 63 0 125576 0 vsize: 502556 [startup+840.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1549681 0 0 0 79762 4246 0 0 25 0 1 0 816428522 519114752 119894 4294967295 134512640 134714508 3221221776 3221218048 1074961293 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 126737 119894 1111 63 0 126674 0 vsize: 506948 [startup+850.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1586468 0 0 0 80679 4329 0 0 25 0 1 0 816428522 522321920 121079 4294967295 134512640 134714508 3221221776 3221219464 1077377325 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 127520 121079 1111 63 0 127457 0 vsize: 510080 [startup+860.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1621615 0 0 0 81604 4405 0 0 25 0 1 0 816428522 528519168 122215 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 128839 122213 1111 63 0 128776 0 vsize: 516132 [startup+870.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1658117 0 0 0 82523 4486 0 0 25 0 1 0 816428522 533471232 123461 4294967295 134512640 134714508 3221221776 3221217916 1074790004 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 130242 123461 1111 63 0 130179 0 vsize: 520968 [startup+880.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1695224 0 0 0 83438 4571 0 0 25 0 1 0 816428522 537624576 124926 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 131353 124926 1111 63 0 131290 0 vsize: 525024 [startup+890.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1732852 0 0 0 84351 4658 0 0 25 0 1 0 816428522 546455552 126800 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 133412 126800 1111 63 0 133349 0 vsize: 533648 [startup+900.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1770046 0 0 0 85264 4745 0 0 25 0 1 0 816428522 549744640 128008 4294967295 134512640 134714508 3221221776 3221219608 1075894869 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 134215 128008 1111 63 0 134152 0 vsize: 536860 [startup+910.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1806645 0 0 0 86184 4825 0 0 25 0 1 0 816428522 557010944 129473 4294967295 134512640 134714508 3221221776 3221217936 1075090629 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 135601 129458 1111 63 0 135538 0 vsize: 543956 [startup+920.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1842887 0 0 0 87104 4905 0 0 25 0 1 0 816428522 561287168 130743 4294967295 134512640 134714508 3221221776 3221220032 1074153648 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 137033 130743 1111 63 0 136970 0 vsize: 548132 [startup+930.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1869570 0 0 0 88045 4965 0 0 25 0 1 0 816428522 566022144 131575 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 138189 131575 1111 63 0 138126 0 vsize: 552756 [startup+940.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1905346 0 0 0 88963 5047 0 0 25 0 1 0 816428522 568676352 132629 4294967295 134512640 134714508 3221221776 3221218968 1074138306 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 139225 132635 1111 63 0 139162 0 vsize: 555348 [startup+950.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1940249 0 0 0 89886 5124 0 0 25 0 1 0 816428522 573202432 133671 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 140330 133677 1111 63 0 140267 0 vsize: 559768 [startup+960.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 1976470 0 0 0 90808 5202 0 0 25 0 1 0 816428522 577835008 134844 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 141073 134844 1111 63 0 141010 0 vsize: 564292 [startup+970.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2012164 0 0 0 91729 5281 0 0 25 0 1 0 816428522 583757824 136006 4294967295 134512640 134714508 3221221776 3221217920 1074969777 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 142519 136006 1111 63 0 142456 0 vsize: 570076 [startup+980.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2048940 0 0 0 92650 5360 0 0 25 0 1 0 816428522 586784768 137179 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 143258 137179 1111 63 0 143195 0 vsize: 573032 [startup+990.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2084824 0 0 0 93567 5444 0 0 25 0 1 0 816428522 592916480 138333 4294967295 134512640 134714508 3221221776 3221217920 1074970976 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 144755 138333 1111 63 0 144692 0 vsize: 579020 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2120033 0 0 0 94491 5520 0 0 25 0 1 0 816428522 595419136 139408 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 145366 139408 1111 63 0 145303 0 vsize: 581464 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2156152 0 0 0 95411 5600 0 0 25 0 1 0 816428522 601329664 140520 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 146809 140527 1111 63 0 146746 0 vsize: 587236 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2191641 0 0 0 96331 5680 0 0 25 0 1 0 816428522 603893760 141586 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 147435 141586 1111 63 0 147372 0 vsize: 589740 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2226066 0 0 0 97252 5760 0 0 25 0 1 0 816428522 607727616 142565 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 148371 142565 1111 63 0 148308 0 vsize: 593484 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2262259 0 0 0 98175 5837 0 0 25 0 1 0 816428522 613384192 143636 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 149752 143650 1111 63 0 149689 0 vsize: 599008 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2296424 0 0 0 99095 5917 0 0 25 0 1 0 816428522 615874560 144670 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 150360 144670 1111 63 0 150297 0 vsize: 601440 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2331779 0 0 0 100013 5998 0 0 25 0 1 0 816428522 621658112 145785 4294967295 134512640 134714508 3221221776 3221217904 1075111884 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 151772 145785 1111 63 0 151709 0 vsize: 607088 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2338159 0 0 0 100998 6014 0 0 25 0 1 0 816428522 622399488 146021 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 151759 146019 1111 63 0 151696 0 vsize: 607812 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2373642 0 0 0 101921 6092 0 0 25 0 1 0 816428522 625627136 147180 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 152644 147178 1111 63 0 152581 0 vsize: 610964 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2412648 0 0 0 102842 6171 0 0 25 0 1 0 816428522 669962240 150566 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 163565 150566 1111 63 0 163502 0 vsize: 654260 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2447610 0 0 0 103769 6243 0 0 25 0 1 0 816428522 673628160 151518 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 164460 151521 1111 63 0 164397 0 vsize: 657840 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2482871 0 0 0 104693 6319 0 0 25 0 1 0 816428522 680869888 152735 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 165840 152729 1111 63 0 165777 0 vsize: 664912 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2518564 0 0 0 105613 6400 0 0 25 0 1 0 816428522 683724800 153892 4294967295 134512640 134714508 3221221776 3221220352 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 166925 153892 1111 63 0 166862 0 vsize: 667700 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2555278 0 0 0 106524 6489 0 0 25 0 1 0 816428522 688549888 155110 4294967295 134512640 134714508 3221221776 3221218840 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 168491 155116 1111 63 0 168428 0 vsize: 672412 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2592511 0 0 0 107437 6577 0 0 25 0 1 0 816428522 696651776 156558 4294967295 134512640 134714508 3221221776 3221218112 1075114259 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 170081 156558 1111 63 0 170018 0 vsize: 680324 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2627431 0 0 0 108358 6655 0 0 25 0 1 0 816428522 702472192 157753 4294967295 134512640 134714508 3221221776 3221217984 1074815425 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 171502 157753 1111 63 0 171439 0 vsize: 686008 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2664221 0 0 0 109276 6738 0 0 25 0 1 0 816428522 707821568 159013 4294967295 134512640 134714508 3221221776 3221217984 1074815299 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 172808 159013 1111 63 0 172745 0 vsize: 691232 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2700837 0 0 0 110197 6817 0 0 25 0 1 0 816428522 713420800 160234 4294967295 134512640 134714508 3221221776 3221218312 1076047667 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 174175 160234 1111 63 0 174112 0 vsize: 696700 [startup+1175.22 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 29943 Raw data (stat): 29943 (bsolo_lpr) R 29942 7876 7672 0 -1 0 2700837 0 0 0 110197 6817 0 0 25 0 1 0 816428522 713420800 160234 4294967295 134512640 134714508 3221221776 3221218312 1076047667 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 174175 160234 1111 63 0 174112 0 vsize: 0 Child status: 10 Real time (s): 1175.22 CPU time (s): 1175.33 CPU user time (s): 1106.46 CPU system time (s): 68.8705 CPU usage (%): 100.009 Max. virtual memory (Kb): 696700 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK -5312 #### END VERIFIER DATA ####