Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb |
MD5SUM | f85d0079133f298b06c25764b03ff228 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 50233 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8627 |
Biggest coefficient in the objective function | 1859 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 4587852 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 1859 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4587852 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1182.3 |
Number of variables | 8627 |
Total number of constraints | 9452 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 9452 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 461 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-07 21:54:33 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27943 boxname=wulflinc2 idbench=899 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: f85d0079133f298b06c25764b03ff228 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-air06.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-air06.opb IDLAUNCH: 27943 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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 : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 814156 kB Buffers: 34204 kB Cached: 163068 kB SwapCached: 1492 kB Active: 37936 kB Inactive: 161496 kB HighTotal: 131008 kB HighFree: 4536 kB LowTotal: 903652 kB LowFree: 809620 kB SwapTotal: 2097136 kB SwapFree: 2094668 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 15296 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 22:14:35 (client local time) WITH STATUS 0 IN 1200.25 SECONDS stats: 27943 7 1200.25 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 8627 variables and 1645 constraints. c After prepocess the problem consists of 6833 variables and 1156 constraints. c preprocess terminated 359.753 s c Initial Lower Bound: 49617 c Lower Bound Elapsed time: 13.411 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 55356 @ 450.191 c NEW SOLUTION FOUND: 54785 @ 450.318 c NEW SOLUTION FOUND: 54168 @ 450.669 c NEW SOLUTION FOUND: 53762 @ 453.996 c NEW SOLUTION FOUND: 53684 @ 458.648 c NEW SOLUTION FOUND: 53133 @ 463.537 c NEW SOLUTION FOUND: 52173 @ 478.018 c NEW SOLUTION FOUND: 52015 @ 514.374 c NEW SOLUTION FOUND: 51821 @ 519.522 c NEW SOLUTION FOUND: 51656 @ 553.402 c NEW SOLUTION FOUND: 51642 @ 561.317 c NEW SOLUTION FOUND: 51334 @ 568.562 c NEW SOLUTION FOUND: 50804 @ 779.264 c NEW SOLUTION FOUND: 50677 @ 833.004 c NEW SOLUTION FOUND: 50520 @ 891.188 c NEW SOLUTION FOUND: 50416 @ 931.655 c NEW SOLUTION FOUND: 50405 @ 953.121 c NEW SOLUTION FOUND: 50283 @ 1045.42 c NEW SOLUTION FOUND: 50233 @ 1090.16 #### 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 1.14 1.03 0.96 1/54 30475 Raw data (stat): 30475 (runsolver) D 30474 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 896395001 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0004 s] Raw data (loadavg): 1.12 1.03 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 39073 0 0 0 921 75 0 0 25 0 1 0 896395001 173035520 38993 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42245 38993 1111 63 0 42182 0 vsize: 168980 [startup+20.0012 s] Raw data (loadavg): 1.10 1.03 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 53504 0 0 0 1894 101 0 0 25 0 1 0 896395001 232255488 53424 4294967295 134512640 134716908 3221224576 3221221052 1077191474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 56703 53424 1111 63 0 56640 0 vsize: 226812 [startup+30.0011 s] Raw data (loadavg): 1.08 1.03 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 54441 0 0 0 2891 104 0 0 25 0 1 0 896395001 236040192 54361 4294967295 134512640 134716908 3221224576 3221223112 134539585 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57627 54361 1111 63 0 57564 0 vsize: 230508 [startup+40.0016 s] Raw data (loadavg): 1.07 1.03 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 55335 0 0 0 3887 107 0 0 25 0 1 0 896395001 239689728 55255 4294967295 134512640 134716908 3221224576 3221222620 1076999581 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58518 55255 1111 63 0 58455 0 vsize: 234072 [startup+50.0012 s] Raw data (loadavg): 1.06 1.03 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 58126 0 0 0 4880 114 0 0 25 0 1 0 896395001 241332224 58004 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58919 58004 1111 63 0 58856 0 vsize: 235676 [startup+60.0015 s] Raw data (loadavg): 1.05 1.02 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 60593 0 0 0 5874 120 0 0 25 0 1 0 896395001 251363328 60471 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 61368 60471 1111 63 0 61305 0 vsize: 245472 [startup+70.0016 s] Raw data (loadavg): 1.04 1.02 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 62873 0 0 0 6870 124 0 0 25 0 1 0 896395001 260714496 62751 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63651 62751 1111 63 0 63588 0 vsize: 254604 [startup+80.0013 s] Raw data (loadavg): 1.04 1.02 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 65181 0 0 0 7868 127 0 0 25 0 1 0 896395001 270188544 65059 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65964 65059 1111 63 0 65901 0 vsize: 263856 [startup+90.0013 s] Raw data (loadavg): 1.03 1.02 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 67483 0 0 0 8863 131 0 0 25 0 1 0 896395001 279670784 67361 4294967295 134512640 134716908 3221224576 3221222960 134542300 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68279 67361 1111 63 0 68216 0 vsize: 273116 [startup+100.001 s] Raw data (loadavg): 1.02 1.02 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 69393 0 0 0 9860 135 0 0 25 0 1 0 896395001 287404032 69271 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70167 69271 1111 63 0 70104 0 vsize: 280668 [startup+110.001 s] Raw data (loadavg): 1.02 1.02 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 71420 0 0 0 10856 139 0 0 25 0 1 0 896395001 295796736 71298 4294967295 134512640 134716908 3221224576 3221223312 134625527 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72216 71299 1111 63 0 72153 0 vsize: 288864 [startup+120.003 s] Raw data (loadavg): 1.02 1.02 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 73264 0 0 0 11852 144 0 0 25 0 1 0 896395001 303243264 73142 4294967295 134512640 134716908 3221224576 3221223040 134542303 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74034 73142 1111 63 0 73971 0 vsize: 296136 [startup+130.003 s] Raw data (loadavg): 1.01 1.02 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 75159 0 0 0 12848 147 0 0 25 0 1 0 896395001 311091200 75037 4294967295 134512640 134716908 3221224576 3221222988 134543615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75950 75037 1111 63 0 75887 0 vsize: 303800 [startup+140.003 s] Raw data (loadavg): 1.01 1.02 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 76649 0 0 0 13845 150 0 0 25 0 1 0 896395001 317190144 76527 4294967295 134512640 134716908 3221224576 3221222940 134539309 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 77439 76527 1111 63 0 77376 0 vsize: 309756 [startup+150.004 s] Raw data (loadavg): 1.01 1.02 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 78183 0 0 0 14842 154 0 0 25 0 1 0 896395001 323424256 78061 4294967295 134512640 134716908 3221224576 3221222992 134542668 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78961 78061 1111 63 0 78898 0 vsize: 315844 [startup+160.004 s] Raw data (loadavg): 1.01 1.02 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 79654 0 0 0 15840 157 0 0 25 0 1 0 896395001 329523200 79532 4294967295 134512640 134716908 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80450 79532 1111 63 0 80387 0 vsize: 321800 [startup+170.004 s] Raw data (loadavg): 1.01 1.01 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 81099 0 0 0 16835 161 0 0 25 0 1 0 896395001 335347712 80977 4294967295 134512640 134716908 3221224576 3221223088 134543712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81872 80977 1111 63 0 81809 0 vsize: 327488 [startup+180.004 s] Raw data (loadavg): 1.00 1.01 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 82451 0 0 0 17833 164 0 0 25 0 1 0 896395001 340905984 82329 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83229 82329 1111 63 0 83166 0 vsize: 332916 [startup+190.004 s] Raw data (loadavg): 1.00 1.01 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 83578 0 0 0 18831 166 0 0 25 0 1 0 896395001 345522176 83456 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 84356 83456 1111 63 0 84293 0 vsize: 337424 [startup+200.004 s] Raw data (loadavg): 1.00 1.01 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 84631 0 0 0 19828 168 0 0 25 0 1 0 896395001 349863936 84509 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 85416 84509 1111 63 0 85353 0 vsize: 341664 [startup+210.003 s] Raw data (loadavg): 1.00 1.01 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 85563 0 0 0 20826 171 0 0 25 0 1 0 896395001 353656832 85441 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 86342 85441 1111 63 0 86279 0 vsize: 345368 [startup+220.003 s] Raw data (loadavg): 1.00 1.01 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 86410 0 0 0 21824 174 0 0 25 0 1 0 896395001 357175296 86288 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 87201 86288 1111 63 0 87138 0 vsize: 348804 [startup+230.003 s] Raw data (loadavg): 1.00 1.01 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 87259 0 0 0 22822 176 0 0 25 0 1 0 896395001 360570880 87137 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 88030 87137 1111 63 0 87967 0 vsize: 352120 [startup+240.003 s] Raw data (loadavg): 1.00 1.01 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 87958 0 0 0 23820 177 0 0 25 0 1 0 896395001 363421696 87836 4294967295 134512640 134716908 3221224576 3221223304 134625467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 88726 87836 1111 63 0 88663 0 vsize: 354904 [startup+250.003 s] Raw data (loadavg): 1.00 1.01 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 88498 0 0 0 24819 179 0 0 25 0 1 0 896395001 365723648 88376 4294967295 134512640 134716908 3221224576 3221223056 134539427 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 89288 88376 1111 63 0 89225 0 vsize: 357152 [startup+260.003 s] Raw data (loadavg): 1.00 1.01 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 88947 0 0 0 25818 180 0 0 25 0 1 0 896395001 367480832 88825 4294967295 134512640 134716908 3221224576 3221222992 134542723 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 89717 88825 1111 63 0 89654 0 vsize: 358868 [startup+270.003 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 89249 0 0 0 26818 180 0 0 25 0 1 0 896395001 368836608 89127 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 90048 89127 1111 63 0 89985 0 vsize: 360192 [startup+280.002 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 89485 0 0 0 27817 181 0 0 25 0 1 0 896395001 369782784 89363 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 90279 89363 1111 63 0 90216 0 vsize: 361116 [startup+290.003 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 89507 0 0 0 28818 181 0 0 25 0 1 0 896395001 369782784 89385 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 90279 89385 1111 63 0 90216 0 vsize: 361116 [startup+300.003 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 89515 0 0 0 29818 181 0 0 25 0 1 0 896395001 369917952 89393 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 90312 89393 1111 63 0 90249 0 vsize: 361248 [startup+310.003 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 89526 0 0 0 30818 181 0 0 25 0 1 0 896395001 369917952 89404 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 90312 89404 1111 63 0 90249 0 vsize: 361248 [startup+320.004 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 30475 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 89535 0 0 0 31818 181 0 0 25 0 1 0 896395001 369917952 89413 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 90312 89413 1111 63 0 90249 0 vsize: 361248 [startup+330.004 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 30476 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 89541 0 0 0 32818 181 0 0 25 0 1 0 896395001 369917952 89419 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 90312 89419 1111 63 0 90249 0 vsize: 361248 [startup+340.005 s] Raw data (loadavg): 1.07 1.02 0.97 2/54 30528 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 89542 0 0 0 33816 183 0 0 25 0 1 0 896395001 369917952 89420 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 90312 89420 1111 63 0 90249 0 vsize: 361248 [startup+350.005 s] Raw data (loadavg): 1.06 1.02 0.97 2/54 30528 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 89544 0 0 0 34816 183 0 0 25 0 1 0 896395001 369917952 89422 4294967295 134512640 134716908 3221224576 3221223248 134627260 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 90312 89422 1111 63 0 90249 0 vsize: 361248 [startup+360.006 s] Raw data (loadavg): 1.05 1.01 0.97 2/54 30528 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 90101 0 0 0 35815 184 0 0 25 0 1 0 896395001 372215808 89979 4294967295 134512640 134716908 3221224576 3221221928 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 90873 89979 1111 63 0 90810 0 vsize: 363492 [startup+370.006 s] Raw data (loadavg): 1.04 1.01 0.97 2/54 30528 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 92154 0 0 0 36808 189 0 0 25 0 1 0 896395001 376836096 91127 4294967295 134512640 134716908 3221224576 3221220524 1074873514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92001 91127 1111 63 0 91938 0 vsize: 368004 [startup+380.006 s] Raw data (loadavg): 1.04 1.01 0.97 2/54 30528 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 92161 0 0 0 37808 189 0 0 25 0 1 0 896395001 376836096 91134 4294967295 134512640 134716908 3221224576 3221220640 1074883627 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92001 91134 1111 63 0 91938 0 vsize: 368004 [startup+390.006 s] Raw data (loadavg): 1.03 1.01 0.97 2/54 30528 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 92206 0 0 0 38808 190 0 0 25 0 1 0 896395001 376836096 91167 4294967295 134512640 134716908 3221224576 3221220336 1074868602 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92001 91167 1111 63 0 91938 0 vsize: 368004 [startup+400.006 s] Raw data (loadavg): 1.02 1.01 0.97 2/54 30528 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 92206 0 0 0 39809 190 0 0 25 0 1 0 896395001 376836096 91167 4294967295 134512640 134716908 3221224576 3221221400 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92001 91167 1111 63 0 91938 0 vsize: 368004 [startup+410.007 s] Raw data (loadavg): 1.02 1.01 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 92225 0 0 0 40809 190 0 0 25 0 1 0 896395001 377024512 91186 4294967295 134512640 134716908 3221224576 3221220336 1074871183 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92047 91186 1111 63 0 91984 0 vsize: 368188 [startup+420.007 s] Raw data (loadavg): 1.02 1.01 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 101291 0 0 0 41787 211 0 0 25 0 1 0 896395001 373911552 90523 4294967295 134512640 134716908 3221224576 3221223168 134698743 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91287 90523 1111 63 0 91224 0 vsize: 365148 [startup+430.007 s] Raw data (loadavg): 1.01 1.01 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 101291 0 0 0 42784 213 0 0 25 0 1 0 896395001 373911552 90523 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91287 90523 1111 63 0 91224 0 vsize: 365148 [startup+440.008 s] Raw data (loadavg): 1.01 1.01 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 101291 0 0 0 43782 216 0 0 25 0 1 0 896395001 373911552 90523 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91287 90523 1111 63 0 91224 0 vsize: 365148 [startup+450.008 s] Raw data (loadavg): 1.01 1.01 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 101291 0 0 0 44781 218 0 0 25 0 1 0 896395001 373911552 90523 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91287 90523 1111 63 0 91224 0 vsize: 365148 [startup+460.008 s] Raw data (loadavg): 1.01 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 103416 0 0 0 45775 223 0 0 25 0 1 0 896395001 373477376 90419 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 91181 90419 1111 63 0 91118 0 vsize: 364724 [startup+470.009 s] Raw data (loadavg): 1.01 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 104718 0 0 0 46772 226 0 0 25 0 1 0 896395001 375083008 90801 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91573 90801 1111 63 0 91510 0 vsize: 366292 [startup+480.009 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 105025 0 0 0 47771 227 0 0 25 0 1 0 896395001 375083008 90819 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91573 90819 1111 63 0 91510 0 vsize: 366292 [startup+490.009 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 105512 0 0 0 48770 228 0 0 25 0 1 0 896395001 375083008 90819 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91573 90819 1111 63 0 91510 0 vsize: 366292 [startup+500.01 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 105943 0 0 0 49769 230 0 0 25 0 1 0 896395001 376274944 90945 4294967295 134512640 134716908 3221224576 3221220632 1074789607 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91864 90945 1111 63 0 91801 0 vsize: 367456 [startup+510.011 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 106336 0 0 0 50768 231 0 0 25 0 1 0 896395001 375083008 90819 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91573 90819 1111 63 0 91510 0 vsize: 366292 [startup+520.01 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 106794 0 0 0 51766 232 0 0 25 0 1 0 896395001 375083008 90819 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91573 90819 1111 63 0 91510 0 vsize: 366292 [startup+530.01 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 107811 0 0 0 52764 235 0 0 25 0 1 0 896395001 376610816 91048 4294967295 134512640 134716908 3221224576 3221221168 1074886021 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91946 91048 1111 63 0 91883 0 vsize: 367784 [startup+540.011 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 108315 0 0 0 53763 236 0 0 25 0 1 0 896395001 375287808 90869 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91623 90869 1111 63 0 91560 0 vsize: 366492 [startup+550.012 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 109189 0 0 0 54761 238 0 0 25 0 1 0 896395001 376664064 91059 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91959 91059 1111 63 0 91896 0 vsize: 367836 [startup+560.012 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 109737 0 0 0 55760 240 0 0 25 0 1 0 896395001 376762368 91087 4294967295 134512640 134716908 3221224576 3221220432 1074871208 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91983 91087 1111 63 0 91920 0 vsize: 367932 [startup+570.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 110477 0 0 0 56757 242 0 0 25 0 1 0 896395001 375287808 90869 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91623 90869 1111 63 0 91560 0 vsize: 366492 [startup+580.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 111060 0 0 0 57756 244 0 0 25 0 1 0 896395001 375287808 90869 4294967295 134512640 134716908 3221224576 3221222488 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91623 90869 1111 63 0 91560 0 vsize: 366492 [startup+590.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 111741 0 0 0 58755 245 0 0 25 0 1 0 896395001 375287808 90869 4294967295 134512640 134716908 3221224576 3221222632 1074138158 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91623 90869 1111 63 0 91560 0 vsize: 366492 [startup+600.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 112886 0 0 0 59752 248 0 0 25 0 1 0 896395001 376872960 91123 4294967295 134512640 134716908 3221224576 3221220620 1074873527 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92010 91123 1111 63 0 91947 0 vsize: 368040 [startup+610.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 113549 0 0 0 60751 250 0 0 25 0 1 0 896395001 376901632 91118 4294967295 134512640 134716908 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92017 91118 1111 63 0 91954 0 vsize: 368068 [startup+620.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 114276 0 0 0 61749 251 0 0 25 0 1 0 896395001 377085952 91153 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92062 91153 1111 63 0 91999 0 vsize: 368248 [startup+630.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 115018 0 0 0 62748 253 0 0 25 0 1 0 896395001 376967168 91105 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92033 91105 1111 63 0 91970 0 vsize: 368132 [startup+640.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30530 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 115260 0 0 0 63747 254 0 0 25 0 1 0 896395001 375287808 90869 4294967295 134512640 134716908 3221224576 3221221712 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91623 90869 1111 63 0 91560 0 vsize: 366492 [startup+650.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 115815 0 0 0 64746 255 0 0 25 0 1 0 896395001 377147392 91194 4294967295 134512640 134716908 3221224576 3221221232 1075967759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92077 91194 1111 63 0 92014 0 vsize: 368308 [startup+660.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 116651 0 0 0 65745 257 0 0 25 0 1 0 896395001 377184256 91209 4294967295 134512640 134716908 3221224576 3221220432 1074868896 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92086 91209 1111 63 0 92023 0 vsize: 368344 [startup+670.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 117453 0 0 0 66743 258 0 0 25 0 1 0 896395001 376950784 91128 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92029 91128 1111 63 0 91966 0 vsize: 368116 [startup+680.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 118297 0 0 0 67741 260 0 0 25 0 1 0 896395001 377073664 91224 4294967295 134512640 134716908 3221224576 3221220528 1075965308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92059 91224 1111 63 0 91996 0 vsize: 368236 [startup+690.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 119197 0 0 0 68740 262 0 0 25 0 1 0 896395001 377360384 91263 4294967295 134512640 134716908 3221224576 3221220444 1074787806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92129 91263 1111 63 0 92066 0 vsize: 368516 [startup+700.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 120167 0 0 0 69738 264 0 0 25 0 1 0 896395001 377192448 91209 4294967295 134512640 134716908 3221224576 3221221168 1074887973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92088 91209 1111 63 0 92025 0 vsize: 368352 [startup+710.017 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 120202 0 0 0 70738 264 0 0 25 0 1 0 896395001 377393152 91244 4294967295 134512640 134716908 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92137 91244 1111 63 0 92074 0 vsize: 368548 [startup+720.017 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 121077 0 0 0 71737 266 0 0 25 0 1 0 896395001 377159680 91208 4294967295 134512640 134716908 3221224576 3221220620 1074873501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92080 91208 1111 63 0 92017 0 vsize: 368320 [startup+730.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 121398 0 0 0 72736 267 0 0 25 0 1 0 896395001 375586816 90942 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91696 90942 1111 63 0 91633 0 vsize: 366784 [startup+740.017 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 122114 0 0 0 73735 268 0 0 25 0 1 0 896395001 377520128 91247 4294967295 134512640 134716908 3221224576 3221220432 1074871257 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92168 91247 1111 63 0 92105 0 vsize: 368672 [startup+750.017 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 123217 0 0 0 74733 270 0 0 25 0 1 0 896395001 377430016 91275 4294967295 134512640 134716908 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92146 91275 1111 63 0 92083 0 vsize: 368584 [startup+760.017 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 123239 0 0 0 75733 270 0 0 25 0 1 0 896395001 377634816 91297 4294967295 134512640 134716908 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92196 91297 1111 63 0 92133 0 vsize: 368784 [startup+770.018 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 124435 0 0 0 76730 273 0 0 25 0 1 0 896395001 377626624 91289 4294967295 134512640 134716908 3221224576 3221220544 1074872781 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92194 91289 1111 63 0 92131 0 vsize: 368776 [startup+780.019 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 124840 0 0 0 77729 274 0 0 25 0 1 0 896395001 375586816 90942 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 91696 90942 1111 63 0 91633 0 vsize: 366784 [startup+790.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 125602 0 0 0 78727 276 0 0 25 0 1 0 896395001 377577472 91270 4294967295 134512640 134716908 3221224576 3221220432 1074867692 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92182 91270 1111 63 0 92119 0 vsize: 368728 [startup+800.019 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 126033 0 0 0 79725 278 0 0 25 0 1 0 896395001 375586816 90942 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 91696 90942 1111 63 0 91633 0 vsize: 366784 [startup+810.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 126784 0 0 0 80724 280 0 0 25 0 1 0 896395001 377573376 91282 4294967295 134512640 134716908 3221224576 3221220848 1074960912 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92181 91282 1111 63 0 92118 0 vsize: 368724 [startup+820.021 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 127870 0 0 0 81721 282 0 0 25 0 1 0 896395001 377368576 91244 4294967295 134512640 134716908 3221224576 3221221232 1075967935 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92131 91244 1111 63 0 92068 0 vsize: 368524 [startup+830.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 127894 0 0 0 82721 283 0 0 25 0 1 0 896395001 377569280 91263 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92180 91263 1111 63 0 92117 0 vsize: 368720 [startup+840.021 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 129023 0 0 0 83718 285 0 0 25 0 1 0 896395001 377413632 91242 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92142 91242 1111 63 0 92079 0 vsize: 368568 [startup+850.022 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 129054 0 0 0 84718 285 0 0 25 0 1 0 896395001 377593856 91273 4294967295 134512640 134716908 3221224576 3221220736 1075092891 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92186 91273 1111 63 0 92123 0 vsize: 368744 [startup+860.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 130204 0 0 0 85715 288 0 0 25 0 1 0 896395001 377425920 91274 4294967295 134512640 134716908 3221224576 3221220812 1074791776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92145 91274 1111 63 0 92082 0 vsize: 368580 [startup+870.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 130238 0 0 0 86715 288 0 0 25 0 1 0 896395001 377626624 91302 4294967295 134512640 134716908 3221224576 3221220432 1074868635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92194 91302 1111 63 0 92131 0 vsize: 368776 [startup+880.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 131387 0 0 0 87712 292 0 0 25 0 1 0 896395001 377356288 91250 4294967295 134512640 134716908 3221224576 3221220908 1075113118 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92128 91250 1111 63 0 92065 0 vsize: 368512 [startup+890.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 131423 0 0 0 88712 292 0 0 25 0 1 0 896395001 377356288 91281 4294967295 134512640 134716908 3221224576 3221220432 1074871177 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92128 91281 1111 63 0 92065 0 vsize: 368512 [startup+900.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 132590 0 0 0 89709 295 0 0 25 0 1 0 896395001 377425920 91278 4294967295 134512640 134716908 3221224576 3221220620 1074873465 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92145 91278 1111 63 0 92082 0 vsize: 368580 [startup+910.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 132615 0 0 0 90709 295 0 0 25 0 1 0 896395001 377626624 91297 4294967295 134512640 134716908 3221224576 3221221104 1075397139 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92194 91297 1111 63 0 92131 0 vsize: 368776 [startup+920.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 133793 0 0 0 91706 298 0 0 25 0 1 0 896395001 377389056 91260 4294967295 134512640 134716908 3221224576 3221220580 1074875766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92136 91260 1111 63 0 92073 0 vsize: 368544 [startup+930.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 133818 0 0 0 92706 298 0 0 25 0 1 0 896395001 377589760 91279 4294967295 134512640 134716908 3221224576 3221220640 1074881396 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92185 91279 1111 63 0 92122 0 vsize: 368740 [startup+940.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 135014 0 0 0 93703 301 0 0 25 0 1 0 896395001 377446400 91285 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92150 91285 1111 63 0 92087 0 vsize: 368600 [startup+950.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 135038 0 0 0 94703 301 0 0 25 0 1 0 896395001 377651200 91309 4294967295 134512640 134716908 3221224576 3221220432 1074868742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92200 91309 1111 63 0 92137 0 vsize: 368800 [startup+960.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 136269 0 0 0 95700 304 0 0 25 0 1 0 896395001 377413632 91263 4294967295 134512640 134716908 3221224576 3221220620 1074873554 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92142 91263 1111 63 0 92079 0 vsize: 368568 [startup+970.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 136308 0 0 0 96700 305 0 0 25 0 1 0 896395001 377614336 91296 4294967295 134512640 134716908 3221224576 3221220432 1074868253 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92191 91296 1111 63 0 92128 0 vsize: 368764 [startup+980.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 137618 0 0 0 97697 307 0 0 25 0 1 0 896395001 377556992 91300 4294967295 134512640 134716908 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92177 91300 1111 63 0 92114 0 vsize: 368708 [startup+990.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 137675 0 0 0 98697 307 0 0 25 0 1 0 896395001 377757696 91351 4294967295 134512640 134716908 3221224576 3221221648 1074867337 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92226 91351 1111 63 0 92163 0 vsize: 368904 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 138963 0 0 0 99694 310 0 0 25 0 1 0 896395001 377520128 91257 4294967295 134512640 134716908 3221224576 3221221232 1075967440 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92168 91257 1111 63 0 92105 0 vsize: 368672 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 139023 0 0 0 100694 311 0 0 25 0 1 0 896395001 377520128 91311 4294967295 134512640 134716908 3221224576 3221220432 1074868437 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92168 91311 1111 63 0 92105 0 vsize: 368672 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 139032 0 0 0 101694 311 0 0 25 0 1 0 896395001 377520128 91320 4294967295 134512640 134716908 3221224576 3221220432 1074868584 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92168 91320 1111 63 0 92105 0 vsize: 368672 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 140428 0 0 0 102690 315 0 0 25 0 1 0 896395001 377778176 91345 4294967295 134512640 134716908 3221224576 3221220620 1074873478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92231 91345 1111 63 0 92168 0 vsize: 368924 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 140461 0 0 0 103691 315 0 0 25 0 1 0 896395001 377778176 91378 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92231 91378 1111 63 0 92168 0 vsize: 368924 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 141717 0 0 0 104687 318 0 0 25 0 1 0 896395001 377450496 91298 4294967295 134512640 134716908 3221224576 3221220804 1075114991 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92151 91298 1111 63 0 92088 0 vsize: 368604 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 141748 0 0 0 105688 318 0 0 25 0 1 0 896395001 377651200 91329 4294967295 134512640 134716908 3221224576 3221220432 1074870850 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92200 91329 1111 63 0 92137 0 vsize: 368800 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 142055 0 0 0 106687 319 0 0 25 0 1 0 896395001 375934976 91027 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 91781 91027 1111 63 0 91718 0 vsize: 367124 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 142832 0 0 0 107685 321 0 0 25 0 1 0 896395001 377487360 91334 4294967295 134512640 134716908 3221224576 3221220432 1074868638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92160 91334 1111 63 0 92097 0 vsize: 368640 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 142917 0 0 0 108685 321 0 0 25 0 1 0 896395001 375934976 91027 4294967295 134512640 134716908 3221224576 3221221920 1074839072 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 91781 91027 1111 63 0 91718 0 vsize: 367124 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 143906 0 0 0 109683 323 0 0 25 0 1 0 896395001 377700352 91331 4294967295 134512640 134716908 3221224576 3221220620 1074873554 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92212 91331 1111 63 0 92149 0 vsize: 368848 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 143917 0 0 0 110683 324 0 0 25 0 1 0 896395001 377700352 91342 4294967295 134512640 134716908 3221224576 3221220416 1075965292 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92212 91342 1111 63 0 92149 0 vsize: 368848 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 145147 0 0 0 111679 328 0 0 25 0 1 0 896395001 377720832 91381 4294967295 134512640 134716908 3221224576 3221220620 1074873478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92217 91381 1111 63 0 92154 0 vsize: 368868 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 145163 0 0 0 112678 328 0 0 25 0 1 0 896395001 377921536 91397 4294967295 134512640 134716908 3221224576 3221220432 1074868333 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92266 91397 1111 63 0 92203 0 vsize: 369064 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 145178 0 0 0 113678 328 0 0 25 0 1 0 896395001 378105856 91412 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92311 91412 1111 63 0 92248 0 vsize: 369244 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 146434 0 0 0 114675 332 0 0 25 0 1 0 896395001 377737216 91341 4294967295 134512640 134716908 3221224576 3221220620 1074873534 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92221 91341 1111 63 0 92158 0 vsize: 368884 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 146446 0 0 0 115675 332 0 0 25 0 1 0 896395001 377737216 91353 4294967295 134512640 134716908 3221224576 3221220432 1074871045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92221 91353 1111 63 0 92158 0 vsize: 368884 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 147691 0 0 0 116672 335 0 0 25 0 1 0 896395001 377880576 91393 4294967295 134512640 134716908 3221224576 3221220620 1074873478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92256 91393 1111 63 0 92193 0 vsize: 369024 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 147720 0 0 0 117672 335 0 0 25 0 1 0 896395001 377880576 91422 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92256 91422 1111 63 0 92193 0 vsize: 369024 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 148258 0 0 0 118670 337 0 0 25 0 1 0 896395001 375922688 91024 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 91778 91024 1111 63 0 91715 0 vsize: 367112 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) R 30474 31399 31398 0 -1 0 149226 0 0 0 119667 340 0 0 25 0 1 0 896395001 378060800 91423 4294967295 134512640 134716908 3221224576 3221220544 1074872793 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92300 91423 1111 63 0 92237 0 vsize: 369200 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.21 s] Raw data (loadavg): 1.00 1.00 0.97 1/54 30532 Raw data (stat): 30475 (bsolo_lpr-v2) Z 30474 31399 31398 0 -1 1036 149226 0 0 0 119667 357 0 0 25 0 1 0 896395001 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.21 CPU time (s): 1200.25 CPU user time (s): 1196.68 CPU system time (s): 3.57346 CPU usage (%): 100.003 Max. virtual memory (Kb): 369244 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####