Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb |
MD5SUM | 44281820d2b00a47b643433ffa4e2d73 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 117 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 138 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 535 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 6.02808 |
Number of variables | 464 |
Total number of constraints | 1395 |
Number of constraints which are clauses | 336 |
Number of constraints which are cardinality constraints (but not clauses) | 336 |
Number of constraints which are nor clauses,nor cardinality constraints | 723 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 128 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-19 21:06:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19592 boxname=wulflinc31 idbench=1508 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 44281820d2b00a47b643433ffa4e2d73 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos16.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos16.opb IDLAUNCH: 19592 /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: 900624 kB Buffers: 11588 kB Cached: 102208 kB SwapCached: 920 kB Active: 44604 kB Inactive: 71344 kB HighTotal: 131008 kB HighFree: 26628 kB LowTotal: 903652 kB LowFree: 873996 kB SwapTotal: 2097892 kB SwapFree: 2095972 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5088 kB Slab: 12436 kB Committed_AS: 63856 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-19 21:26:11 (client local time) WITH STATUS 0 IN 1175.92 SECONDS stats: 19592 7 1175.92 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 464 variables and 1069 constraints. c After prepocess the problem consists of 464 variables and 901 constraints. c preprocess terminated 0.576 s c Initial Lower Bound: 96 c Lower Bound Elapsed time: 0.243571 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.88 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.97 2/55 25088 Raw data (stat): 25088 (runsolver) R 25087 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 790124083 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.0006 s] Raw data (loadavg): 0.93 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 7257 0 0 0 974 22 0 0 25 0 1 0 790124083 17072128 3375 4294967295 134512640 134714508 3221221776 3221217832 1074789581 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4168 3375 1111 63 0 4105 0 vsize: 16672 [startup+20.0005 s] Raw data (loadavg): 0.94 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 9840 0 0 0 1966 30 0 0 25 0 1 0 790124083 16441344 3328 4294967295 134512640 134714508 3221221776 3221220336 1073989433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4014 3328 1111 63 0 3951 0 vsize: 16056 [startup+30.0015 s] Raw data (loadavg): 0.95 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 13122 0 0 0 2957 39 0 0 25 0 1 0 790124083 17137664 3376 4294967295 134512640 134714508 3221221776 3221218048 1074961366 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4184 3376 1111 63 0 4121 0 vsize: 16736 [startup+40.0014 s] Raw data (loadavg): 0.96 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 15575 0 0 0 3949 47 0 0 25 0 1 0 790124083 16580608 3362 4294967295 134512640 134714508 3221221776 3221220160 1074153794 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4048 3362 1111 63 0 3985 0 vsize: 16192 [startup+50.0024 s] Raw data (loadavg): 0.96 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 18834 0 0 0 4939 57 0 0 25 0 1 0 790124083 16605184 3368 4294967295 134512640 134714508 3221221776 3221220080 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4054 3368 1111 63 0 3991 0 vsize: 16216 [startup+60.0023 s] Raw data (loadavg): 0.97 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 21885 0 0 0 5930 66 0 0 25 0 1 0 790124083 17555456 3462 4294967295 134512640 134714508 3221221776 3221218160 1074971965 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4286 3462 1111 63 0 4223 0 vsize: 17144 [startup+70.0029 s] Raw data (loadavg): 0.97 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 24541 0 0 0 6922 75 0 0 25 0 1 0 790124083 16957440 3448 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4140 3448 1111 63 0 4077 0 vsize: 16560 [startup+80.0032 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 28178 0 0 0 7912 85 0 0 25 0 1 0 790124083 16867328 3433 4294967295 134512640 134714508 3221221776 3221219756 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4118 3433 1111 63 0 4055 0 vsize: 16472 [startup+90.0031 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 32674 0 0 0 8899 98 0 0 25 0 1 0 790124083 16867328 3433 4294967295 134512640 134714508 3221221776 3221220112 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4118 3433 1111 63 0 4055 0 vsize: 16472 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 36117 0 0 0 9889 108 0 0 25 0 1 0 790124083 17657856 3531 4294967295 134512640 134714508 3221221776 3221218820 1074846206 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4311 3531 1111 63 0 4248 0 vsize: 17244 [startup+110.005 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 38651 0 0 0 10881 116 0 0 25 0 1 0 790124083 17010688 3468 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4153 3468 1111 63 0 4090 0 vsize: 16612 [startup+120.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 41658 0 0 0 11873 124 0 0 25 0 1 0 790124083 17870848 3550 4294967295 134512640 134714508 3221221776 3221218048 1074799477 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4363 3550 1111 63 0 4300 0 vsize: 17452 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 44792 0 0 0 12863 134 0 0 25 0 1 0 790124083 17117184 3494 4294967295 134512640 134714508 3221221776 3221219824 1074867305 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4179 3494 1111 63 0 4116 0 vsize: 16716 [startup+140.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 47531 0 0 0 13854 144 0 0 25 0 1 0 790124083 17117184 3494 4294967295 134512640 134714508 3221221776 3221220344 134542401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4179 3494 1111 63 0 4116 0 vsize: 16716 [startup+150.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 50508 0 0 0 14845 153 0 0 25 0 1 0 790124083 17465344 3545 4294967295 134512640 134714508 3221221776 3221219504 1075828589 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4264 3545 1111 63 0 4201 0 vsize: 17056 [startup+160.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 53315 0 0 0 15836 162 0 0 25 0 1 0 790124083 18165760 3637 4294967295 134512640 134714508 3221221776 3221217608 1074788562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4435 3637 1111 63 0 4372 0 vsize: 17740 [startup+170.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 56450 0 0 0 16828 170 0 0 25 0 1 0 790124083 17727488 3594 4294967295 134512640 134714508 3221221776 3221219440 1075828680 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4328 3594 1111 63 0 4265 0 vsize: 17312 [startup+180.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 59257 0 0 0 17820 178 0 0 25 0 1 0 790124083 17977344 3606 4294967295 134512640 134714508 3221221776 3221218256 1075397225 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4389 3606 1111 63 0 4326 0 vsize: 17556 [startup+190.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 62487 0 0 0 18810 189 0 0 25 0 1 0 790124083 18493440 3705 4294967295 134512640 134714508 3221221776 3221218048 1074961363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4515 3705 1111 63 0 4452 0 vsize: 18060 [startup+200.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 65149 0 0 0 19802 196 0 0 25 0 1 0 790124083 18276352 3650 4294967295 134512640 134714508 3221221776 3221218004 1075115141 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4462 3650 1111 63 0 4399 0 vsize: 17848 [startup+210.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 67128 0 0 0 20795 203 0 0 25 0 1 0 790124083 17702912 3637 4294967295 134512640 134714508 3221221776 3221219752 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4322 3637 1111 63 0 4259 0 vsize: 17288 [startup+220.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 69383 0 0 0 21790 208 0 0 25 0 1 0 790124083 18317312 3674 4294967295 134512640 134714508 3221221776 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4472 3674 1111 63 0 4409 0 vsize: 17888 [startup+230.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 71951 0 0 0 22783 216 0 0 25 0 1 0 790124083 17702912 3637 4294967295 134512640 134714508 3221221776 3221219432 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4322 3637 1111 63 0 4259 0 vsize: 17288 [startup+240.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 75259 0 0 0 23775 224 0 0 25 0 1 0 790124083 18321408 3730 4294967295 134512640 134714508 3221221776 3221218096 1075169906 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4473 3730 1111 63 0 4410 0 vsize: 17892 [startup+250.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 78316 0 0 0 24766 233 0 0 25 0 1 0 790124083 18485248 3686 4294967295 134512640 134714508 3221221776 3221218720 1074620133 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4513 3686 1111 63 0 4450 0 vsize: 18052 [startup+260.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 81454 0 0 0 25756 243 0 0 25 0 1 0 790124083 17760256 3651 4294967295 134512640 134714508 3221221776 3221219672 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4336 3651 1111 63 0 4273 0 vsize: 17344 [startup+270.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 84865 0 0 0 26745 254 0 0 25 0 1 0 790124083 18456576 3714 4294967295 134512640 134714508 3221221776 3221218160 1075896033 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4506 3714 1111 63 0 4443 0 vsize: 18024 [startup+280.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 88632 0 0 0 27734 265 0 0 25 0 1 0 790124083 18468864 3712 4294967295 134512640 134714508 3221221776 3221218704 1075960291 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4509 3712 1111 63 0 4446 0 vsize: 18036 [startup+290.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 91798 0 0 0 28725 275 0 0 25 0 1 0 790124083 18513920 3724 4294967295 134512640 134714508 3221221776 3221218776 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4520 3724 1111 63 0 4457 0 vsize: 18080 [startup+300.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 95347 0 0 0 29717 283 0 0 25 0 1 0 790124083 18366464 3795 4294967295 134512640 134714508 3221221776 3221219776 1074918064 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4484 3795 1111 63 0 4421 0 vsize: 17936 [startup+310.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 98892 0 0 0 30708 292 0 0 25 0 1 0 790124083 18706432 3794 4294967295 134512640 134714508 3221221776 3221217888 1075092725 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4567 3794 1111 63 0 4504 0 vsize: 18268 [startup+320.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 102374 0 0 0 31698 302 0 0 25 0 1 0 790124083 18493440 3804 4294967295 134512640 134714508 3221221776 3221219840 1075961756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4515 3804 1111 63 0 4452 0 vsize: 18060 [startup+330.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 104591 0 0 0 32692 308 0 0 25 0 1 0 790124083 18989056 3831 4294967295 134512640 134714508 3221221776 3221217680 1075965246 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4636 3831 1111 63 0 4573 0 vsize: 18544 [startup+340.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 106950 0 0 0 33686 314 0 0 25 0 1 0 790124083 18354176 3803 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4481 3803 1111 63 0 4418 0 vsize: 17924 [startup+350.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 109753 0 0 0 34678 322 0 0 25 0 1 0 790124083 18354176 3803 4294967295 134512640 134714508 3221221776 3221220128 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4481 3803 1111 63 0 4418 0 vsize: 17924 [startup+360.016 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 114782 0 0 0 35664 337 0 0 25 0 1 0 790124083 18694144 3836 4294967295 134512640 134714508 3221221776 3221218004 1075115035 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4564 3836 1111 63 0 4501 0 vsize: 18256 [startup+370.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 118796 0 0 0 36653 348 0 0 25 0 1 0 790124083 18415616 3818 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4496 3818 1111 63 0 4433 0 vsize: 17984 [startup+380.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 122432 0 0 0 37642 359 0 0 25 0 1 0 790124083 18518016 3843 4294967295 134512640 134714508 3221221776 3221220024 1074138166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4521 3843 1111 63 0 4458 0 vsize: 18084 [startup+390.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 126891 0 0 0 38632 369 0 0 25 0 1 0 790124083 19816448 3955 4294967295 134512640 134714508 3221221776 3221218112 1075113493 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4838 3955 1111 63 0 4775 0 vsize: 19352 [startup+400.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 130610 0 0 0 39621 380 0 0 25 0 1 0 790124083 18456576 3828 4294967295 134512640 134714508 3221221776 3221219740 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4506 3828 1111 63 0 4443 0 vsize: 18024 [startup+410.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 134413 0 0 0 40611 390 0 0 25 0 1 0 790124083 18575360 3857 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4535 3857 1111 63 0 4472 0 vsize: 18140 [startup+420.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 138142 0 0 0 41599 402 0 0 25 0 1 0 790124083 18825216 3918 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4596 3918 1111 63 0 4533 0 vsize: 18384 [startup+430.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 142431 0 0 0 42588 413 0 0 25 0 1 0 790124083 20172800 4038 4294967295 134512640 134714508 3221221776 3221218048 1074961271 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4925 4038 1111 63 0 4862 0 vsize: 19700 [startup+440.021 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 145819 0 0 0 43579 422 0 0 25 0 1 0 790124083 19587072 3894 4294967295 134512640 134714508 3221221776 3221217904 1075561201 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4782 3894 1111 63 0 4719 0 vsize: 19128 [startup+450.022 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 152270 0 0 0 44564 438 0 0 25 0 1 0 790124083 18604032 3864 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4542 3864 1111 63 0 4479 0 vsize: 18168 [startup+460.022 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 158802 0 0 0 45547 455 0 0 25 0 1 0 790124083 18604032 3864 4294967295 134512640 134714508 3221221776 3221220112 1074153822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4542 3864 1111 63 0 4479 0 vsize: 18168 [startup+470.022 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 161963 0 0 0 46536 466 0 0 25 0 1 0 790124083 19779584 3921 4294967295 134512640 134714508 3221221776 3221218016 1075115712 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4829 3921 1111 63 0 4766 0 vsize: 19316 [startup+480.022 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 165761 0 0 0 47525 477 0 0 25 0 1 0 790124083 18604032 3864 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4542 3864 1111 63 0 4479 0 vsize: 18168 [startup+490.023 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 169362 0 0 0 48516 487 0 0 25 0 1 0 790124083 19849216 3967 4294967295 134512640 134714508 3221221776 3221217936 1074794536 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4846 3967 1111 63 0 4783 0 vsize: 19384 [startup+500.024 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 172672 0 0 0 49506 496 0 0 25 0 1 0 790124083 19873792 3954 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4852 3954 1111 63 0 4789 0 vsize: 19408 [startup+510.024 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 176043 0 0 0 50497 505 0 0 25 0 1 0 790124083 20414464 4187 4294967295 134512640 134714508 3221221776 3221217688 1074788464 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4984 4187 1111 63 0 4921 0 vsize: 19936 [startup+520.025 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 179503 0 0 0 51488 514 0 0 25 0 1 0 790124083 18841600 3922 4294967295 134512640 134714508 3221221776 3221219856 1075963599 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4600 3922 1111 63 0 4537 0 vsize: 18400 [startup+530.025 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 182743 0 0 0 52480 523 0 0 25 0 1 0 790124083 18841600 3922 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4600 3922 1111 63 0 4537 0 vsize: 18400 [startup+540.026 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 185711 0 0 0 53472 531 0 0 25 0 1 0 790124083 19992576 3967 4294967295 134512640 134714508 3221221776 3221218112 1075113502 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4881 3967 1111 63 0 4818 0 vsize: 19524 [startup+550.028 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 188219 0 0 0 54464 539 0 0 25 0 1 0 790124083 18841600 3922 4294967295 134512640 134714508 3221221776 3221219520 1075645384 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4600 3922 1111 63 0 4537 0 vsize: 18400 [startup+560.028 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 192968 0 0 0 55453 550 0 0 25 0 1 0 790124083 19496960 3976 4294967295 134512640 134714508 3221221776 3221218004 1075115057 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4760 3976 1111 63 0 4697 0 vsize: 19040 [startup+570.028 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 196774 0 0 0 56443 560 0 0 25 0 1 0 790124083 20025344 3987 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4889 3987 1111 63 0 4826 0 vsize: 19556 [startup+580.028 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 199872 0 0 0 57435 568 0 0 25 0 1 0 790124083 18841600 3922 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4600 3922 1111 63 0 4537 0 vsize: 18400 [startup+590.029 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 202488 0 0 0 58430 573 0 0 25 0 1 0 790124083 19865600 3953 4294967295 134512640 134714508 3221221776 3221217904 1075561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4850 3953 1111 63 0 4787 0 vsize: 19400 [startup+600.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 205986 0 0 0 59421 583 0 0 25 0 1 0 790124083 18841600 3922 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4600 3922 1111 63 0 4537 0 vsize: 18400 [startup+610.031 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 212076 0 0 0 60405 598 0 0 25 0 1 0 790124083 18841600 3922 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4600 3922 1111 63 0 4537 0 vsize: 18400 [startup+620.031 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 216428 0 0 0 61393 611 0 0 25 0 1 0 790124083 20160512 4019 4294967295 134512640 134714508 3221221776 3221218588 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4922 4019 1111 63 0 4859 0 vsize: 19688 [startup+630.031 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 220744 0 0 0 62380 624 0 0 25 0 1 0 790124083 18948096 3948 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4626 3948 1111 63 0 4563 0 vsize: 18504 [startup+640.033 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 223714 0 0 0 63373 632 0 0 25 0 1 0 790124083 20033536 3997 4294967295 134512640 134714508 3221221776 3221217732 1074790695 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4891 3997 1111 63 0 4828 0 vsize: 19564 [startup+650.033 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 229101 0 0 0 64357 647 0 0 25 0 1 0 790124083 20336640 4089 4294967295 134512640 134714508 3221221776 3221218004 1075115023 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4965 4089 1111 63 0 4902 0 vsize: 19860 [startup+660.033 s] Raw data (loadavg): 1.07 1.00 0.97 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 233880 0 0 0 65345 659 0 0 25 0 1 0 790124083 19021824 3966 4294967295 134512640 134714508 3221221776 3221220024 1074138150 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4644 3966 1111 63 0 4581 0 vsize: 18576 [startup+670.033 s] Raw data (loadavg): 1.14 1.02 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 238573 0 0 0 66332 673 0 0 25 0 1 0 790124083 19169280 4002 4294967295 134512640 134714508 3221221776 3221219752 1077380423 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4680 4002 1111 63 0 4617 0 vsize: 18720 [startup+680.034 s] Raw data (loadavg): 1.11 1.01 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 241269 0 0 0 67324 681 0 0 25 0 1 0 790124083 20152320 4039 4294967295 134512640 134714508 3221221776 3221218048 1074802740 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4920 4039 1111 63 0 4857 0 vsize: 19680 [startup+690.034 s] Raw data (loadavg): 1.10 1.01 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 244609 0 0 0 68313 692 0 0 25 0 1 0 790124083 20082688 4109 4294967295 134512640 134714508 3221221776 3221218432 1075967410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4903 4109 1111 63 0 4840 0 vsize: 19612 [startup+700.035 s] Raw data (loadavg): 1.08 1.01 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 248193 0 0 0 69303 703 0 0 25 0 1 0 790124083 20217856 4048 4294967295 134512640 134714508 3221221776 3221217920 1074971396 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4936 4048 1111 63 0 4873 0 vsize: 19744 [startup+710.036 s] Raw data (loadavg): 1.07 1.01 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 251207 0 0 0 70295 711 0 0 25 0 1 0 790124083 19234816 4018 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4696 4018 1111 63 0 4633 0 vsize: 18784 [startup+720.036 s] Raw data (loadavg): 1.06 1.01 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 253999 0 0 0 71286 719 0 0 25 0 1 0 790124083 19247104 4021 4294967295 134512640 134714508 3221221776 3221219520 1075646667 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4699 4021 1111 63 0 4636 0 vsize: 18796 [startup+730.036 s] Raw data (loadavg): 1.05 1.01 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 258182 0 0 0 72276 729 0 0 25 0 1 0 790124083 19304448 4035 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4713 4035 1111 63 0 4650 0 vsize: 18852 [startup+740.035 s] Raw data (loadavg): 1.04 1.01 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 261602 0 0 0 73267 739 0 0 25 0 1 0 790124083 19304448 4035 4294967295 134512640 134714508 3221221776 3221220128 1074153800 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4713 4035 1111 63 0 4650 0 vsize: 18852 [startup+750.036 s] Raw data (loadavg): 1.03 1.01 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 266175 0 0 0 74255 751 0 0 25 0 1 0 790124083 20500480 4115 4294967295 134512640 134714508 3221221776 3221218048 1074960868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5005 4115 1111 63 0 4942 0 vsize: 20020 [startup+760.036 s] Raw data (loadavg): 1.03 1.01 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 269685 0 0 0 75245 761 0 0 25 0 1 0 790124083 20434944 4072 4294967295 134512640 134714508 3221221776 3221217820 1074873490 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4989 4072 1111 63 0 4926 0 vsize: 19956 [startup+770.036 s] Raw data (loadavg): 1.02 1.01 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 273474 0 0 0 76234 772 0 0 25 0 1 0 790124083 19304448 4035 4294967295 134512640 134714508 3221221776 3221220112 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4713 4035 1111 63 0 4650 0 vsize: 18852 [startup+780.037 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 277149 0 0 0 77225 782 0 0 25 0 1 0 790124083 20299776 4061 4294967295 134512640 134714508 3221221776 3221218588 1074788977 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4956 4061 1111 63 0 4893 0 vsize: 19824 [startup+790.037 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 284423 0 0 0 78206 801 0 0 25 0 1 0 790124083 19959808 4089 4294967295 134512640 134714508 3221221776 3221217808 1074790177 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4873 4089 1111 63 0 4810 0 vsize: 19492 [startup+800.038 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 293734 0 0 0 79180 827 0 0 25 0 1 0 790124083 20299776 4054 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4956 4054 1111 63 0 4893 0 vsize: 19824 [startup+810.039 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 298709 0 0 0 80167 840 0 0 25 0 1 0 790124083 19304448 4035 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4713 4035 1111 63 0 4650 0 vsize: 18852 [startup+820.039 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 304006 0 0 0 81152 854 0 0 25 0 1 0 790124083 19337216 4043 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4721 4043 1111 63 0 4658 0 vsize: 18884 [startup+830.039 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 308197 0 0 0 82141 866 0 0 25 0 1 0 790124083 19423232 4064 4294967295 134512640 134714508 3221221776 3221220040 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4742 4064 1111 63 0 4679 0 vsize: 18968 [startup+840.039 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 312312 0 0 0 83130 877 0 0 25 0 1 0 790124083 19423232 4064 4294967295 134512640 134714508 3221221776 3221219056 1074140688 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4742 4064 1111 63 0 4679 0 vsize: 18968 [startup+850.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 319231 0 0 0 84112 896 0 0 25 0 1 0 790124083 19492864 4081 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4759 4081 1111 63 0 4696 0 vsize: 19036 [startup+860.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 325420 0 0 0 85096 911 0 0 25 0 1 0 790124083 19648512 4119 4294967295 134512640 134714508 3221221776 3221220112 1074153783 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4797 4119 1111 63 0 4734 0 vsize: 19188 [startup+870.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 330201 0 0 0 86083 924 0 0 25 0 1 0 790124083 20799488 4145 4294967295 134512640 134714508 3221221776 3221217936 1075092611 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5078 4145 1111 63 0 5015 0 vsize: 20312 [startup+880.041 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 337366 0 0 0 87064 944 0 0 25 0 1 0 790124083 19656704 4121 4294967295 134512640 134714508 3221221776 3221220424 134543568 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4799 4121 1111 63 0 4736 0 vsize: 19196 [startup+890.041 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 342287 0 0 0 88052 956 0 0 25 0 1 0 790124083 21004288 4214 4294967295 134512640 134714508 3221221776 3221217920 1074969440 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5128 4214 1111 63 0 5065 0 vsize: 20512 [startup+900.042 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 346956 0 0 0 89038 970 0 0 25 0 1 0 790124083 19951616 4193 4294967295 134512640 134714508 3221221776 3221219120 1074839045 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4871 4193 1111 63 0 4808 0 vsize: 19484 [startup+910.042 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 351039 0 0 0 90027 981 0 0 25 0 1 0 790124083 20975616 4230 4294967295 134512640 134714508 3221221776 3221217936 1074883530 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5121 4230 1111 63 0 5058 0 vsize: 20484 [startup+920.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 354505 0 0 0 91019 990 0 0 25 0 1 0 790124083 20189184 4220 4294967295 134512640 134714508 3221221776 3221219424 1075818215 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4929 4220 1111 63 0 4866 0 vsize: 19716 [startup+930.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 357897 0 0 0 92011 998 0 0 25 0 1 0 790124083 21581824 4405 4294967295 134512640 134714508 3221221776 3221217936 1074883536 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5269 4405 1111 63 0 5206 0 vsize: 21076 [startup+940.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 362391 0 0 0 93000 1008 0 0 25 0 1 0 790124083 20148224 4241 4294967295 134512640 134714508 3221221776 3221220112 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4919 4241 1111 63 0 4856 0 vsize: 19676 [startup+950.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 366148 0 0 0 93992 1017 0 0 25 0 1 0 790124083 21286912 4323 4294967295 134512640 134714508 3221221776 3221217904 1075112086 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5197 4323 1111 63 0 5134 0 vsize: 20788 [startup+960.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 370779 0 0 0 94979 1030 0 0 25 0 1 0 790124083 20287488 4275 4294967295 134512640 134714508 3221221776 3221219424 1075817673 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4953 4275 1111 63 0 4890 0 vsize: 19812 [startup+970.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 374063 0 0 0 95969 1040 0 0 25 0 1 0 790124083 21286912 4312 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5197 4312 1111 63 0 5134 0 vsize: 20788 [startup+980.044 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 377877 0 0 0 96959 1051 0 0 25 0 1 0 790124083 21471232 4350 4294967295 134512640 134714508 3221221776 3221217984 1074815253 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5242 4350 1111 63 0 5179 0 vsize: 20968 [startup+990.044 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 381373 0 0 0 97950 1059 0 0 25 0 1 0 790124083 20492288 4314 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5003 4314 1111 63 0 4940 0 vsize: 20012 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 385179 0 0 0 98941 1069 0 0 25 0 1 0 790124083 20582400 4325 4294967295 134512640 134714508 3221221776 3221220080 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5025 4325 1111 63 0 4962 0 vsize: 20100 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 388805 0 0 0 99930 1079 0 0 25 0 1 0 790124083 21946368 4508 4294967295 134512640 134714508 3221221776 3221217736 1074789596 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5358 4508 1111 63 0 5295 0 vsize: 21432 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 392983 0 0 0 100919 1091 0 0 25 0 1 0 790124083 21766144 4425 4294967295 134512640 134714508 3221221776 3221217924 1075964390 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5314 4425 1111 63 0 5251 0 vsize: 21256 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 397125 0 0 0 101910 1101 0 0 25 0 1 0 790124083 20623360 4357 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5035 4357 1111 63 0 4972 0 vsize: 20140 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 400986 0 0 0 102900 1111 0 0 25 0 1 0 790124083 20627456 4358 4294967295 134512640 134714508 3221221776 3221220128 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5036 4358 1111 63 0 4973 0 vsize: 20144 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 404902 0 0 0 103887 1123 0 0 25 0 1 0 790124083 20901888 4425 4294967295 134512640 134714508 3221221776 3221220176 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5103 4425 1111 63 0 5040 0 vsize: 20412 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 408084 0 0 0 104878 1132 0 0 25 0 1 0 790124083 20860928 4415 4294967295 134512640 134714508 3221221776 3221220080 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5093 4415 1111 63 0 5030 0 vsize: 20372 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 411468 0 0 0 105871 1140 0 0 25 0 1 0 790124083 20860928 4415 4294967295 134512640 134714508 3221221776 3221218924 1076999581 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5093 4415 1111 63 0 5030 0 vsize: 20372 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 414366 0 0 0 106863 1148 0 0 25 0 1 0 790124083 21983232 4467 4294967295 134512640 134714508 3221221776 3221217656 1074788488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5367 4467 1111 63 0 5304 0 vsize: 21468 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 417565 0 0 0 107854 1157 0 0 25 0 1 0 790124083 21905408 4551 4294967295 134512640 134714508 3221221776 3221218000 1074961126 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5348 4552 1111 63 0 5285 0 vsize: 21392 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 420786 0 0 0 108846 1165 0 0 25 0 1 0 790124083 22036480 4608 4294967295 134512640 134714508 3221221776 3221217740 1074788964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5380 4608 1111 63 0 5317 0 vsize: 21520 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 423227 0 0 0 109840 1172 0 0 25 0 1 0 790124083 21917696 4478 4294967295 134512640 134714508 3221221776 3221218112 1075114277 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5351 4478 1111 63 0 5288 0 vsize: 21404 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 428343 0 0 0 110827 1184 0 0 25 0 1 0 790124083 21590016 4491 4294967295 134512640 134714508 3221221776 3221218712 1075066492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5271 4491 1111 63 0 5208 0 vsize: 21084 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 435750 0 0 0 111809 1203 0 0 25 0 1 0 790124083 20934656 4433 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5111 4433 1111 63 0 5048 0 vsize: 20444 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 439083 0 0 0 112800 1212 0 0 25 0 1 0 790124083 22327296 4598 4294967295 134512640 134714508 3221221776 3221217820 1074873501 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5451 4598 1111 63 0 5388 0 vsize: 21804 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 442761 0 0 0 113789 1223 0 0 25 0 1 0 790124083 21032960 4457 4294967295 134512640 134714508 3221221776 3221220176 1074118854 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5135 4457 1111 63 0 5072 0 vsize: 20540 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 445988 0 0 0 114780 1233 0 0 25 0 1 0 790124083 21831680 4536 4294967295 134512640 134714508 3221221776 3221218272 1075088563 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5330 4536 1111 63 0 5267 0 vsize: 21320 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 449986 0 0 0 115767 1246 0 0 25 0 1 0 790124083 22286336 4535 4294967295 134512640 134714508 3221221776 3221217984 1074815247 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5441 4535 1111 63 0 5378 0 vsize: 21764 [startup+1175.83 s] Raw data (loadavg): 1.00 1.00 0.98 1/54 25088 Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 449986 0 0 0 115767 1246 0 0 25 0 1 0 790124083 22286336 4535 4294967295 134512640 134714508 3221221776 3221217984 1074815247 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5441 4535 1111 63 0 5378 0 vsize: 0 Child status: 0 Real time (s): 1175.83 CPU time (s): 1175.92 CPU user time (s): 1163.39 CPU system time (s): 12.5301 CPU usage (%): 100.007 Max. virtual memory (Kb): 21804 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####