Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb |
MD5SUM | 375b355299c9fbf8170e172bcbc73eb2 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16728 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 140 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 7340025 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 7340025 |
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 | 1175.23 |
Number of variables | 242 |
Total number of constraints | 67 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 54 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 122 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-20 00:48:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19488 boxname=wulflinc31 idbench=1500 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 375b355299c9fbf8170e172bcbc73eb2 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-markshare2_1.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-markshare2_1.opb IDLAUNCH: 19488 /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: 838760 kB Buffers: 24348 kB Cached: 151192 kB SwapCached: 920 kB Active: 98940 kB Inactive: 78700 kB HighTotal: 131008 kB HighFree: 980 kB LowTotal: 903652 kB LowFree: 837780 kB SwapTotal: 2097892 kB SwapFree: 2095972 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5088 kB Slab: 12608 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-20 01:08:40 (client local time) WITH STATUS 0 IN 1200.31 SECONDS stats: 19488 7 1200.31 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 242 variables and 20 constraints. c After prepocess the problem consists of 228 variables and 20 constraints. c preprocess terminated 0.134 s c Initial Lower Bound: 0 c Lower Bound Elapsed time: 0.025 c Use computed LB before first solution. c NEW SOLUTION FOUND: 54376 @ 22.214 c NEW SOLUTION FOUND: 53694 @ 24.479 c NEW SOLUTION FOUND: 53414 @ 25.505 c NEW SOLUTION FOUND: 53063 @ 34.698 c NEW SOLUTION FOUND: 53014 @ 37.501 c NEW SOLUTION FOUND: 52831 @ 43.094 c NEW SOLUTION FOUND: 52748 @ 49.791 c NEW SOLUTION FOUND: 52701 @ 50.229 c NEW SOLUTION FOUND: 52548 @ 51.439 c NEW SOLUTION FOUND: 52506 @ 51.514 c NEW SOLUTION FOUND: 51700 @ 52.944 c NEW SOLUTION FOUND: 51631 @ 53.05 c NEW SOLUTION FOUND: 51350 @ 53.43 c NEW SOLUTION FOUND: 47816 @ 54.74 #### 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.97 0.91 2/55 27259 Raw data (stat): 27259 (runsolver) R 27258 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 791456460 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.001 s] Raw data (loadavg): 0.93 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 4518 0 0 0 966 31 0 0 25 0 1 0 791456460 7774208 1208 4294967295 134512640 134714508 3221221776 3221219696 1075802495 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1898 1208 1111 63 0 1835 0 vsize: 7592 [startup+20.0013 s] Raw data (loadavg): 0.94 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 7836 0 0 0 1938 58 0 0 25 0 1 0 791456460 7774208 1208 4294967295 134512640 134714508 3221221776 3221220416 134649077 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1898 1208 1111 63 0 1835 0 vsize: 7592 [startup+30.0018 s] Raw data (loadavg): 0.95 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 11053 0 0 0 2912 84 0 0 25 0 1 0 791456460 8060928 1232 4294967295 134512640 134714508 3221221776 3221218640 1074788624 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1968 1232 1111 63 0 1905 0 vsize: 7872 [startup+40.0018 s] Raw data (loadavg): 0.96 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 14109 0 0 0 3889 107 0 0 25 0 1 0 791456460 7925760 1247 4294967295 134512640 134714508 3221221776 3221220408 134696017 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1935 1247 1111 63 0 1872 0 vsize: 7740 [startup+50.0031 s] Raw data (loadavg): 0.96 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 17067 0 0 0 4866 131 0 0 25 0 1 0 791456460 8134656 1300 4294967295 134512640 134714508 3221221776 3221220144 1074140701 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1986 1300 1111 63 0 1923 0 vsize: 7944 [startup+60.0035 s] Raw data (loadavg): 0.97 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 21237 0 0 0 5845 152 0 0 25 0 1 0 791456460 11014144 1999 4294967295 134512640 134714508 3221221776 3221219736 1074138315 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2689 1999 1111 63 0 2626 0 vsize: 10756 [startup+70.0034 s] Raw data (loadavg): 0.97 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 26021 0 0 0 6817 180 0 0 25 0 1 0 791456460 14954496 2958 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3651 2958 1111 63 0 3588 0 vsize: 14604 [startup+80.0048 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 30328 0 0 0 7793 204 0 0 25 0 1 0 791456460 19038208 3960 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4648 3960 1111 63 0 4585 0 vsize: 18592 [startup+90.0049 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 33592 0 0 0 8781 216 0 0 25 0 1 0 791456460 19894272 4178 4294967295 134512640 134714508 3221221776 3221220488 134543171 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4857 4178 1111 63 0 4794 0 vsize: 19428 [startup+100.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 41999 0 0 0 9759 239 0 0 25 0 1 0 791456460 20795392 4366 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5077 4366 1111 63 0 5014 0 vsize: 20308 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 46843 0 0 0 10748 250 0 0 25 0 1 0 791456460 20520960 4331 4294967295 134512640 134714508 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5010 4331 1111 63 0 4947 0 vsize: 20040 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 61095 0 0 0 11715 283 0 0 25 0 1 0 791456460 21659648 4609 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5288 4609 1111 63 0 5225 0 vsize: 21152 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 75312 0 0 0 12681 317 0 0 25 0 1 0 791456460 22753280 4870 4294967295 134512640 134714508 3221221776 3221219776 1074918283 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5555 4870 1111 63 0 5492 0 vsize: 22220 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 102625 0 0 0 13622 376 0 0 25 0 1 0 791456460 24559616 5317 4294967295 134512640 134714508 3221221776 3221220504 134622752 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5996 5317 1111 63 0 5933 0 vsize: 23984 [startup+150.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 131049 0 0 0 14562 437 0 0 25 0 1 0 791456460 28725248 6087 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7013 6100 1111 63 0 6950 0 vsize: 28052 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 156567 0 0 0 15505 494 0 0 25 0 1 0 791456460 29892608 6482 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7210 6457 1111 63 0 7147 0 vsize: 29192 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 189630 0 0 0 16435 565 0 0 25 0 1 0 791456460 30924800 6806 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7550 6806 1111 63 0 7487 0 vsize: 30200 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 222649 0 0 0 17363 636 0 0 25 0 1 0 791456460 33251328 7219 4294967295 134512640 134714508 3221221776 3221217920 1074969734 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8118 7219 1111 63 0 8055 0 vsize: 32472 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 256536 0 0 0 18291 708 0 0 25 0 1 0 791456460 33767424 7512 4294967295 134512640 134714508 3221221776 3221219888 1074867347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8244 7512 1111 63 0 8181 0 vsize: 32976 [startup+200.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 292375 0 0 0 19210 789 0 0 25 0 1 0 791456460 35287040 7903 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8615 7903 1111 63 0 8552 0 vsize: 34460 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 312965 0 0 0 20166 834 0 0 25 0 1 0 791456460 36794368 8142 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8983 8142 1111 63 0 8920 0 vsize: 35932 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 339927 0 0 0 21110 889 0 0 25 0 1 0 791456460 37154816 8356 4294967295 134512640 134714508 3221221776 3221219612 1077374624 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9071 8356 1111 63 0 9008 0 vsize: 36284 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 368893 0 0 0 22050 951 0 0 25 0 1 0 791456460 38178816 8603 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9321 8603 1111 63 0 9258 0 vsize: 37284 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 395627 0 0 0 22992 1008 0 0 25 0 1 0 791456460 39833600 8868 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9725 8879 1111 63 0 9662 0 vsize: 38900 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 417787 0 0 0 23943 1057 0 0 25 0 1 0 791456460 40439808 9025 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9873 9030 1111 63 0 9810 0 vsize: 39492 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 441219 0 0 0 24891 1109 0 0 25 0 1 0 791456460 41058304 9284 4294967295 134512640 134714508 3221221776 3221220056 1074138285 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10024 9284 1111 63 0 9961 0 vsize: 40096 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 469634 0 0 0 25828 1173 0 0 25 0 1 0 791456460 42467328 9631 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10368 9631 1111 63 0 10305 0 vsize: 41472 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 495746 0 0 0 26766 1235 0 0 25 0 1 0 791456460 43380736 9864 4294967295 134512640 134714508 3221221776 3221219776 1074916941 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10591 9864 1111 63 0 10528 0 vsize: 42364 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 516717 0 0 0 27718 1283 0 0 25 0 1 0 791456460 44568576 10030 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10881 10030 1111 63 0 10818 0 vsize: 43524 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 544423 0 0 0 28660 1341 0 0 25 0 1 0 791456460 47337472 10572 4294967295 134512640 134714508 3221221776 3221219888 1074867331 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11557 10572 1111 63 0 11494 0 vsize: 46228 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 572537 0 0 0 29599 1403 0 0 25 0 1 0 791456460 48353280 10824 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11805 10824 1111 63 0 11742 0 vsize: 47220 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 604830 0 0 0 30529 1472 0 0 25 0 1 0 791456460 49483776 11087 4294967295 134512640 134714508 3221221776 3221220416 134649106 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12081 11087 1111 63 0 12018 0 vsize: 48324 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 634190 0 0 0 31459 1543 0 0 25 0 1 0 791456460 50782208 11390 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12398 11390 1111 63 0 12335 0 vsize: 49592 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 667944 0 0 0 32384 1618 0 0 25 0 1 0 791456460 52809728 11761 4294967295 134512640 134714508 3221221776 3221218140 1075115856 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12893 11761 1111 63 0 12830 0 vsize: 51572 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 702517 0 0 0 33313 1690 0 0 25 0 1 0 791456460 54583296 12231 4294967295 134512640 134714508 3221221776 3221218352 1076049404 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13238 12229 1111 63 0 13175 0 vsize: 53304 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 735103 0 0 0 34242 1760 0 0 25 0 1 0 791456460 55660544 12623 4294967295 134512640 134714508 3221221776 3221219720 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13589 12623 1111 63 0 13526 0 vsize: 54356 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 766573 0 0 0 35176 1827 0 0 25 0 1 0 791456460 57286656 12986 4294967295 134512640 134714508 3221221776 3221220016 1074153158 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13986 12986 1111 63 0 13923 0 vsize: 55944 [startup+380.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 767479 0 0 0 36173 1830 0 0 25 0 1 0 791456460 59826176 13620 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14606 13620 1111 63 0 14543 0 vsize: 58424 [startup+390.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 767479 0 0 0 37173 1830 0 0 25 0 1 0 791456460 59826176 13620 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14606 13620 1111 63 0 14543 0 vsize: 58424 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 769988 0 0 0 38168 1836 0 0 25 0 1 0 791456460 58056704 13199 4294967295 134512640 134714508 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14174 13199 1111 63 0 14111 0 vsize: 56696 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 772735 0 0 0 39161 1842 0 0 25 0 1 0 791456460 59920384 13113 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14629 13122 1111 63 0 14566 0 vsize: 58516 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 807347 0 0 0 40084 1920 0 0 25 0 1 0 791456460 57794560 13132 4294967295 134512640 134714508 3221221776 3221220424 134543568 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14110 13132 1111 63 0 14047 0 vsize: 56440 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 843225 0 0 0 41003 2001 0 0 25 0 1 0 791456460 58593280 13314 4294967295 134512640 134714508 3221221776 3221218988 1074205872 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14305 13314 1111 63 0 14242 0 vsize: 57220 [startup+440.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 876467 0 0 0 41928 2076 0 0 25 0 1 0 791456460 62234624 13680 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15194 13680 1111 63 0 15131 0 vsize: 60776 [startup+450.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 911237 0 0 0 42846 2158 0 0 25 0 1 0 791456460 60297216 13768 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14721 13768 1111 63 0 14658 0 vsize: 58884 [startup+460.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 947249 0 0 0 43768 2237 0 0 25 0 1 0 791456460 61075456 13956 4294967295 134512640 134714508 3221221776 3221218896 1074864931 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15249 13959 1111 63 0 15186 0 vsize: 59644 [startup+470.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 982033 0 0 0 44692 2312 0 0 25 0 1 0 791456460 62050304 14196 4294967295 134512640 134714508 3221221776 3221219704 1077380312 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15149 14196 1111 63 0 15086 0 vsize: 60596 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1016476 0 0 0 45615 2389 0 0 25 0 1 0 791456460 63053824 14438 4294967295 134512640 134714508 3221221776 3221218896 1074866626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15732 14440 1111 63 0 15669 0 vsize: 61576 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1050415 0 0 0 46542 2463 0 0 25 0 1 0 791456460 64389120 14750 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15720 14750 1111 63 0 15657 0 vsize: 62880 [startup+500.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1069259 0 0 0 47499 2506 0 0 25 0 1 0 791456460 67674112 15045 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16522 15049 1111 63 0 16459 0 vsize: 66088 [startup+510.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1100960 0 0 0 48425 2581 0 0 25 0 1 0 791456460 65032192 14909 4294967295 134512640 134714508 3221221776 3221220024 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15877 14909 1111 63 0 15814 0 vsize: 63508 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1133714 0 0 0 49349 2656 0 0 25 0 1 0 791456460 68313088 15142 4294967295 134512640 134714508 3221221776 3221217744 1074872712 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16678 15142 1111 63 0 16615 0 vsize: 66712 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1165236 0 0 0 50278 2727 0 0 25 0 1 0 791456460 69058560 15250 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16860 15262 1111 63 0 16797 0 vsize: 67440 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1199019 0 0 0 51203 2803 0 0 25 0 1 0 791456460 69677056 15401 4294967295 134512640 134714508 3221221776 3221218848 1074867320 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17011 15401 1111 63 0 16948 0 vsize: 68044 [startup+550.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1232051 0 0 0 52128 2878 0 0 25 0 1 0 791456460 67362816 15508 4294967295 134512640 134714508 3221221776 3221220128 1074153749 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16446 15508 1111 63 0 16383 0 vsize: 65784 [startup+560.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1260408 0 0 0 53065 2941 0 0 25 0 1 0 791456460 69419008 15762 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16610 15676 1111 63 0 16547 0 vsize: 67792 [startup+570.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1291280 0 0 0 53996 3010 0 0 25 0 1 0 791456460 71380992 15885 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17427 15886 1111 63 0 17364 0 vsize: 69708 [startup+580.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1323535 0 0 0 54923 3084 0 0 25 0 1 0 791456460 72155136 16066 4294967295 134512640 134714508 3221221776 3221218048 1074799162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17616 16066 1111 63 0 17553 0 vsize: 70464 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1362055 0 0 0 55837 3170 0 0 25 0 1 0 791456460 69857280 16117 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17055 16117 1111 63 0 16992 0 vsize: 68220 [startup+600.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1395813 0 0 0 56756 3251 0 0 25 0 1 0 791456460 72957952 16379 4294967295 134512640 134714508 3221221776 3221217708 1074788206 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17812 16379 1111 63 0 17749 0 vsize: 71248 [startup+610.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1431745 0 0 0 57672 3335 0 0 25 0 1 0 791456460 70705152 16332 4294967295 134512640 134714508 3221221776 3221220128 1074142734 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17262 16332 1111 63 0 17199 0 vsize: 69048 [startup+620.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1457695 0 0 0 58612 3395 0 0 25 0 1 0 791456460 72364032 16747 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17667 16747 1111 63 0 17604 0 vsize: 70668 [startup+630.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1473585 0 0 0 59576 3431 0 0 25 0 1 0 791456460 71745536 16595 4294967295 134512640 134714508 3221221776 3221220344 1077378323 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17516 16595 1111 63 0 17453 0 vsize: 70064 [startup+640.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1508222 0 0 0 60499 3508 0 0 25 0 1 0 791456460 75567104 16898 4294967295 134512640 134714508 3221221776 3221218352 1076049121 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18449 16898 1111 63 0 18386 0 vsize: 73796 [startup+650.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1543297 0 0 0 61420 3588 0 0 25 0 1 0 791456460 73613312 17080 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17972 17080 1111 63 0 17909 0 vsize: 71888 [startup+660.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1577707 0 0 0 62343 3666 0 0 25 0 1 0 791456460 74190848 17224 4294967295 134512640 134714508 3221221776 3221220368 134542723 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18113 17224 1111 63 0 18050 0 vsize: 72452 [startup+670.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1603750 0 0 0 63281 3727 0 0 25 0 1 0 791456460 74854400 17384 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18275 17384 1111 63 0 18212 0 vsize: 73100 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27259 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1632503 0 0 0 64215 3794 0 0 25 0 1 0 791456460 75812864 17612 4294967295 134512640 134714508 3221221776 3221219696 1075799556 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18509 17612 1111 63 0 18446 0 vsize: 74036 [startup+690.088 s] Raw data (loadavg): 0.99 0.97 0.91 2/58 27262 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1663741 0 0 0 65154 3861 0 0 25 0 1 0 791456460 76460032 17784 4294967295 134512640 134714508 3221221776 3221220368 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18667 17784 1111 63 0 18604 0 vsize: 74668 [startup+700.088 s] Raw data (loadavg): 1.15 1.00 0.92 2/55 27312 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1696002 0 0 0 66078 3937 0 0 25 0 1 0 791456460 77144064 17938 4294967295 134512640 134714508 3221221776 3221219416 1077410163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18834 17938 1111 63 0 18771 0 vsize: 75336 [startup+710.09 s] Raw data (loadavg): 1.12 1.00 0.92 2/55 27312 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1706540 0 0 0 67054 3962 0 0 25 0 1 0 791456460 78032896 18162 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19051 18162 1111 63 0 18988 0 vsize: 76204 [startup+720.09 s] Raw data (loadavg): 1.10 1.00 0.92 2/55 27312 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1711464 0 0 0 68043 3973 0 0 25 0 1 0 791456460 77512704 18035 4294967295 134512640 134714508 3221221776 3221218528 1074247404 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19600 18041 1111 63 0 19537 0 vsize: 75696 [startup+730.09 s] Raw data (loadavg): 1.09 1.00 0.92 2/55 27312 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1740169 0 0 0 68980 4036 0 0 25 0 1 0 791456460 78049280 18156 4294967295 134512640 134714508 3221221776 3221219968 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19055 18156 1111 63 0 18992 0 vsize: 76220 [startup+740.091 s] Raw data (loadavg): 1.07 1.00 0.92 2/55 27312 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1761441 0 0 0 69930 4086 0 0 25 0 1 0 791456460 81051648 18337 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19788 18347 1111 63 0 19725 0 vsize: 79152 [startup+750.092 s] Raw data (loadavg): 1.06 1.00 0.92 2/55 27312 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1775093 0 0 0 70899 4117 0 0 25 0 1 0 791456460 78327808 18234 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19461 18236 1111 63 0 19398 0 vsize: 76492 [startup+760.092 s] Raw data (loadavg): 1.05 1.00 0.92 2/55 27312 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1805309 0 0 0 71828 4188 0 0 25 0 1 0 791456460 80076800 18392 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19212 18322 1111 63 0 19149 0 vsize: 78200 [startup+770.092 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1837179 0 0 0 72755 4261 0 0 25 0 1 0 791456460 79228928 18450 4294967295 134512640 134714508 3221221776 3221219940 1077378596 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19343 18450 1111 63 0 19280 0 vsize: 77372 [startup+780.093 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1861422 0 0 0 73701 4315 0 0 25 0 1 0 791456460 79683584 18554 4294967295 134512640 134714508 3221221776 3221220060 1074208192 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19454 18554 1111 63 0 19391 0 vsize: 77816 [startup+790.093 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1892389 0 0 0 74630 4387 0 0 25 0 1 0 791456460 80179200 18687 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19575 18687 1111 63 0 19512 0 vsize: 78300 [startup+800.094 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1898460 0 0 0 75616 4401 0 0 25 0 1 0 791456460 85372928 19594 4294967295 134512640 134714508 3221221776 3221217840 1075084536 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20843 19594 1111 63 0 20780 0 vsize: 83372 [startup+810.095 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1899162 0 0 0 76614 4403 0 0 25 0 1 0 791456460 80568320 18782 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19670 18782 1111 63 0 19607 0 vsize: 78680 [startup+820.095 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1906086 0 0 0 77597 4420 0 0 25 0 1 0 791456460 80560128 18780 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19668 18780 1111 63 0 19605 0 vsize: 78672 [startup+830.095 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1937734 0 0 0 78528 4490 0 0 25 0 1 0 791456460 86687744 19712 4294967295 134512640 134714508 3221221776 3221219504 1075125337 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21164 19712 1111 63 0 21101 0 vsize: 84656 [startup+840.096 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 1971821 0 0 0 79450 4568 0 0 25 0 1 0 791456460 88895488 20106 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21534 19952 1111 63 0 21471 0 vsize: 86812 [startup+850.096 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2005463 0 0 0 80373 4645 0 0 25 0 1 0 791456460 88035328 20068 4294967295 134512640 134714508 3221221776 3221220156 1074153402 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21493 20068 1111 63 0 21430 0 vsize: 85972 [startup+860.097 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2037095 0 0 0 81300 4718 0 0 25 0 1 0 791456460 88559616 20196 4294967295 134512640 134714508 3221221776 3221219776 1074918536 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21621 20196 1111 63 0 21558 0 vsize: 86484 [startup+870.097 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2074064 0 0 0 82216 4803 0 0 25 0 1 0 791456460 89464832 20407 4294967295 134512640 134714508 3221221776 3221220544 134542626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21842 20407 1111 63 0 21779 0 vsize: 87368 [startup+880.097 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2106731 0 0 0 83141 4877 0 0 25 0 1 0 791456460 91140096 20856 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22251 20856 1111 63 0 22188 0 vsize: 89004 [startup+890.097 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2134347 0 0 0 84079 4940 0 0 25 0 1 0 791456460 90951680 20814 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22205 20814 1111 63 0 22142 0 vsize: 88820 [startup+900.098 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2166699 0 0 0 85008 5011 0 0 25 0 1 0 791456460 91582464 20952 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22359 20952 1111 63 0 22296 0 vsize: 89436 [startup+910.099 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2198718 0 0 0 85935 5085 0 0 25 0 1 0 791456460 92368896 21154 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22551 21154 1111 63 0 22488 0 vsize: 90204 [startup+920.099 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2230115 0 0 0 86864 5156 0 0 25 0 1 0 791456460 92471296 21170 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22576 21170 1111 63 0 22513 0 vsize: 90304 [startup+930.101 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2260957 0 0 0 87796 5223 0 0 25 0 1 0 791456460 92880896 21285 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22676 21285 1111 63 0 22613 0 vsize: 90704 [startup+940.101 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2301108 0 0 0 88705 5315 0 0 25 0 1 0 791456460 93261824 21373 4294967295 134512640 134714508 3221221776 3221219888 1074867305 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22769 21373 1111 63 0 22706 0 vsize: 91076 [startup+950.102 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2333781 0 0 0 89631 5389 0 0 25 0 1 0 791456460 93667328 21474 4294967295 134512640 134714508 3221221776 3221220160 1074153736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22868 21474 1111 63 0 22805 0 vsize: 91472 [startup+960.102 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2369024 0 0 0 90549 5471 0 0 25 0 1 0 791456460 94302208 21624 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23023 21624 1111 63 0 22960 0 vsize: 92092 [startup+970.102 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2403054 0 0 0 91472 5548 0 0 25 0 1 0 791456460 94740480 21736 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23130 21736 1111 63 0 23067 0 vsize: 92520 [startup+980.103 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2410840 0 0 0 92454 5567 0 0 25 0 1 0 791456460 95854592 21973 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23402 21973 1111 63 0 23339 0 vsize: 93608 [startup+990.103 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2423844 0 0 0 93424 5596 0 0 25 0 1 0 791456460 95166464 21836 4294967295 134512640 134714508 3221221776 3221218940 1074206164 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23234 21836 1111 63 0 23171 0 vsize: 92936 [startup+1000.1 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2457840 0 0 0 94350 5671 0 0 25 0 1 0 791456460 96399360 22098 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23535 22098 1111 63 0 23472 0 vsize: 94140 [startup+1010.1 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2486036 0 0 0 95289 5733 0 0 25 0 1 0 791456460 97206272 22303 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23732 22303 1111 63 0 23669 0 vsize: 94928 [startup+1020.1 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2519484 0 0 0 96213 5808 0 0 25 0 1 0 791456460 98402304 22578 4294967295 134512640 134714508 3221221776 3221220176 1074118803 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24024 22578 1111 63 0 23961 0 vsize: 96096 [startup+1030.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2547982 0 0 0 97151 5871 0 0 25 0 1 0 791456460 99483648 22829 4294967295 134512640 134714508 3221221776 3221220032 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24288 22829 1111 63 0 24225 0 vsize: 97152 [startup+1040.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2549625 0 0 0 98147 5875 0 0 25 0 1 0 791456460 99913728 22946 4294967295 134512640 134714508 3221221776 3221220576 134622417 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24393 22946 1111 63 0 24330 0 vsize: 97572 [startup+1050.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27314 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2554210 0 0 0 99137 5885 0 0 25 0 1 0 791456460 99295232 22806 4294967295 134512640 134714508 3221221776 3221219984 134650104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24242 22806 1111 63 0 24179 0 vsize: 96968 [startup+1060.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2587091 0 0 0 100062 5960 0 0 25 0 1 0 791456460 99590144 22873 4294967295 134512640 134714508 3221221776 3221220496 134622860 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24314 22873 1111 63 0 24251 0 vsize: 97256 [startup+1070.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2608124 0 0 0 101013 6010 0 0 25 0 1 0 791456460 104919040 23721 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25615 23721 1111 63 0 25552 0 vsize: 102460 [startup+1080.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2630789 0 0 0 101961 6062 0 0 25 0 1 0 791456460 100143104 23009 4294967295 134512640 134714508 3221221776 3221220128 1074142734 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24449 23009 1111 63 0 24386 0 vsize: 97796 [startup+1090.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2655983 0 0 0 102907 6116 0 0 25 0 1 0 791456460 103251968 23099 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25208 23099 1111 63 0 25145 0 vsize: 100832 [startup+1100.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2685005 0 0 0 103842 6182 0 0 25 0 1 0 791456460 103604224 23281 4294967295 134512640 134714508 3221221776 3221218112 1075114265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25294 23281 1111 63 0 25231 0 vsize: 101176 [startup+1110.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2714055 0 0 0 104775 6248 0 0 25 0 1 0 791456460 101298176 23291 4294967295 134512640 134714508 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24731 23291 1111 63 0 24668 0 vsize: 98924 [startup+1120.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2730259 0 0 0 105736 6287 0 0 25 0 1 0 791456460 102199296 23507 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24951 23507 1111 63 0 24888 0 vsize: 99804 [startup+1130.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2731155 0 0 0 106733 6290 0 0 25 0 1 0 791456460 104685568 24108 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25558 24108 1111 63 0 25495 0 vsize: 102232 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2732596 0 0 0 107731 6293 0 0 25 0 1 0 791456460 109830144 25010 4294967295 134512640 134714508 3221221776 3221218112 1075114272 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26814 25010 1111 63 0 26751 0 vsize: 107256 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2734052 0 0 0 108728 6297 0 0 25 0 1 0 791456460 102690816 23631 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25071 23631 1111 63 0 25008 0 vsize: 100284 [startup+1160.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2734052 0 0 0 109728 6297 0 0 25 0 1 0 791456460 102690816 23631 4294967295 134512640 134714508 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25071 23631 1111 63 0 25008 0 vsize: 100284 [startup+1170.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2734052 0 0 0 110728 6297 0 0 25 0 1 0 791456460 102690816 23631 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25071 23631 1111 63 0 25008 0 vsize: 100284 [startup+1180.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2734262 0 0 0 111726 6298 0 0 25 0 1 0 791456460 102428672 23567 4294967295 134512640 134714508 3221221776 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25007 23567 1111 63 0 24944 0 vsize: 100028 [startup+1190.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2734918 0 0 0 112725 6300 0 0 25 0 1 0 791456460 104243200 24002 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25450 24002 1111 63 0 25387 0 vsize: 101800 [startup+1200.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 27316 Raw data (stat): 27259 (bsolo_lpr) R 27258 7876 7672 0 -1 0 2737495 0 0 0 113720 6306 0 0 25 0 1 0 791456460 102555648 23598 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25038 23598 1111 63 0 24975 0 vsize: 100152 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.16 s] Raw data (loadavg): 1.00 1.00 0.92 1/55 27316 Raw data (stat): 27259 (bsolo_lpr) Z 27258 7876 7672 0 -1 1036 2737495 0 0 0 113720 6310 0 0 25 0 1 0 791456460 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 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.16 CPU time (s): 1200.31 CPU user time (s): 1137.2 CPU system time (s): 63.1054 CPU usage (%): 100.012 Max. virtual memory (Kb): 107256 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####