Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb |
MD5SUM | fabab1fefe64535b227fac16b2477da8 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 324 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 648 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 648 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 648 |
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 | 0.809876 |
Number of variables | 648 |
Total number of constraints | 1616 |
Number of constraints which are clauses | 1616 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-07 14:01:14 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27641 boxname=wulflinc3 idbench=199 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: fabab1fefe64535b227fac16b2477da8 /oldhome/oroussel/tmp/wulflinc3/normalized-par16-4-c.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-par16-4-c.opb IDLAUNCH: 27641 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 275368 kB Buffers: 34436 kB Cached: 701424 kB SwapCached: 240 kB Active: 64364 kB Inactive: 673996 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 275116 kB SwapTotal: 2097136 kB SwapFree: 2096352 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6220 kB Slab: 15144 kB Committed_AS: 71856 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 14:20:50 (client local time) WITH STATUS 0 IN 1175.87 SECONDS stats: 27641 7 1175.87 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 648 variables and 1616 constraints. c After prepocess the problem consists of 618 variables and 2036 constraints. c preprocess terminated 2.682 s c Initial Lower Bound: 212 c Lower Bound Elapsed time: 0.547 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.85 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 1.02 1.00 0.92 2/54 11890 Raw data (stat): 11890 (runsolver) R 11889 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893542614 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0007 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 3314 0 0 0 988 9 0 0 25 0 1 0 893542614 9756672 1692 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2382 1692 1111 63 0 2319 0 vsize: 9528 [startup+20.001 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 4956 0 0 0 1983 14 0 0 25 0 1 0 893542614 10780672 1855 4294967295 134512640 134716908 3221224576 3221221520 1074620113 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1855 1111 63 0 2569 0 vsize: 10528 [startup+30.0022 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 6634 0 0 0 2979 18 0 0 25 0 1 0 893542614 11001856 1807 4294967295 134512640 134716908 3221224576 3221221104 1075119949 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2686 1807 1111 63 0 2623 0 vsize: 10744 [startup+40.0019 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 8711 0 0 0 3974 22 0 0 25 0 1 0 893542614 10977280 1782 4294967295 134512640 134716908 3221224576 3221220380 1074787933 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2680 1782 1111 63 0 2617 0 vsize: 10720 [startup+50.0025 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 10841 0 0 0 4970 27 0 0 25 0 1 0 893542614 10645504 1800 4294967295 134512640 134716908 3221224576 3221220736 1074794582 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2599 1800 1111 63 0 2536 0 vsize: 10396 [startup+60.0027 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 13143 0 0 0 5965 33 0 0 25 0 1 0 893542614 11235328 1833 4294967295 134512640 134716908 3221224576 3221220608 1075965308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2743 1833 1111 63 0 2680 0 vsize: 10972 [startup+70.0024 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 15464 0 0 0 6959 38 0 0 25 0 1 0 893542614 11141120 1921 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2720 1921 1111 63 0 2657 0 vsize: 10880 [startup+80.003 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 17901 0 0 0 7952 45 0 0 25 0 1 0 893542614 11010048 1785 4294967295 134512640 134716908 3221224576 3221221152 1076044992 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2688 1785 1111 63 0 2625 0 vsize: 10752 [startup+90.0031 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 21063 0 0 0 8944 53 0 0 25 0 1 0 893542614 10625024 1783 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2594 1783 1111 63 0 2531 0 vsize: 10376 [startup+100.004 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 23318 0 0 0 9940 58 0 0 25 0 1 0 893542614 11218944 1840 4294967295 134512640 134716908 3221224576 3221221008 1075118401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2739 1840 1111 63 0 2676 0 vsize: 10956 [startup+110.004 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 25825 0 0 0 10934 64 0 0 25 0 1 0 893542614 11350016 1850 4294967295 134512640 134716908 3221224576 3221221620 1074846210 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2771 1850 1111 63 0 2708 0 vsize: 11084 [startup+120.005 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 28289 0 0 0 11929 70 0 0 25 0 1 0 893542614 11444224 1995 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2794 1995 1111 63 0 2731 0 vsize: 11176 [startup+130.005 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 30632 0 0 0 12925 74 0 0 25 0 1 0 893542614 11481088 1887 4294967295 134512640 134716908 3221224576 3221221104 1075397211 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2803 1887 1111 63 0 2740 0 vsize: 11212 [startup+140.005 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 33357 0 0 0 13918 81 0 0 25 0 1 0 893542614 11341824 1866 4294967295 134512640 134716908 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2769 1866 1111 63 0 2706 0 vsize: 11076 [startup+150.005 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 36126 0 0 0 14912 87 0 0 25 0 1 0 893542614 9981952 1756 4294967295 134512640 134716908 3221224576 3221222704 1073986865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2437 1756 1111 63 0 2374 0 vsize: 9748 [startup+160.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 39040 0 0 0 15905 95 0 0 25 0 1 0 893542614 11284480 1851 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2755 1851 1111 63 0 2692 0 vsize: 11020 [startup+170.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 41684 0 0 0 16900 99 0 0 25 0 1 0 893542614 10358784 1793 4294967295 134512640 134716908 3221224576 3221222640 1075961696 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2529 1793 1111 63 0 2466 0 vsize: 10116 [startup+180.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 44729 0 0 0 17894 106 0 0 25 0 1 0 893542614 11214848 1927 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2738 1927 1111 63 0 2675 0 vsize: 10952 [startup+190.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 47260 0 0 0 18886 113 0 0 25 0 1 0 893542614 9990144 1758 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2439 1758 1111 63 0 2376 0 vsize: 9756 [startup+200.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 50411 0 0 0 19880 120 0 0 25 0 1 0 893542614 11522048 1903 4294967295 134512640 134716908 3221224576 3221221232 1075967392 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2813 1903 1111 63 0 2750 0 vsize: 11252 [startup+210.006 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 53117 0 0 0 20874 126 0 0 25 0 1 0 893542614 11685888 1986 4294967295 134512640 134716908 3221224576 3221220620 1074873342 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2853 1986 1111 63 0 2790 0 vsize: 11412 [startup+220.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 55360 0 0 0 21868 132 0 0 25 0 1 0 893542614 10141696 1795 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2476 1795 1111 63 0 2413 0 vsize: 9904 [startup+230.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 57791 0 0 0 22863 137 0 0 25 0 1 0 893542614 10141696 1795 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2476 1795 1111 63 0 2413 0 vsize: 9904 [startup+240.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 60538 0 0 0 23857 144 0 0 25 0 1 0 893542614 11522048 1928 4294967295 134512640 134716908 3221224576 3221220816 1075115762 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2813 1928 1111 63 0 2750 0 vsize: 11252 [startup+250.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 63144 0 0 0 24850 151 0 0 25 0 1 0 893542614 10240000 1811 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2500 1811 1111 63 0 2437 0 vsize: 10000 [startup+260.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 65769 0 0 0 25844 157 0 0 25 0 1 0 893542614 10141696 1795 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2476 1795 1111 63 0 2413 0 vsize: 9904 [startup+270.007 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11892 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 68577 0 0 0 26838 163 0 0 25 0 1 0 893542614 11640832 1935 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2842 1935 1111 63 0 2779 0 vsize: 11368 [startup+280.008 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 71409 0 0 0 27830 171 0 0 25 0 1 0 893542614 11685888 1944 4294967295 134512640 134716908 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2853 1944 1111 63 0 2790 0 vsize: 11412 [startup+290.009 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 73886 0 0 0 28825 177 0 0 25 0 1 0 893542614 11341824 1962 4294967295 134512640 134716908 3221224576 3221220752 1074882552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2769 1962 1111 63 0 2706 0 vsize: 11076 [startup+300.009 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 76543 0 0 0 29819 183 0 0 25 0 1 0 893542614 10297344 1833 4294967295 134512640 134716908 3221224576 3221222708 1077378674 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2514 1833 1111 63 0 2451 0 vsize: 10056 [startup+310.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 78902 0 0 0 30814 188 0 0 25 0 1 0 893542614 11841536 2023 4294967295 134512640 134716908 3221224576 3221221232 1075967941 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2891 2023 1111 63 0 2828 0 vsize: 11564 [startup+320.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 81776 0 0 0 31806 196 0 0 25 0 1 0 893542614 11329536 1986 4294967295 134512640 134716908 3221224576 3221221840 1075894368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2766 1986 1111 63 0 2703 0 vsize: 11064 [startup+330.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 84249 0 0 0 32800 203 0 0 25 0 1 0 893542614 11497472 2000 4294967295 134512640 134716908 3221224576 3221220608 1074790292 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2807 2000 1111 63 0 2744 0 vsize: 11228 [startup+340.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 86528 0 0 0 33794 208 0 0 25 0 1 0 893542614 11853824 2081 4294967295 134512640 134716908 3221224576 3221220848 1074960865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2894 2081 1111 63 0 2831 0 vsize: 11576 [startup+350.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 88658 0 0 0 34789 214 0 0 25 0 1 0 893542614 11456512 2019 4294967295 134512640 134716908 3221224576 3221220944 1075894487 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2797 2019 1111 63 0 2734 0 vsize: 11188 [startup+360.011 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 90865 0 0 0 35783 220 0 0 25 0 1 0 893542614 11157504 2001 4294967295 134512640 134716908 3221224576 3221220688 1075093344 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2724 2001 1111 63 0 2661 0 vsize: 10896 [startup+370.011 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 93062 0 0 0 36778 225 0 0 25 0 1 0 893542614 11792384 1997 4294967295 134512640 134716908 3221224576 3221221124 1076048714 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2879 1997 1111 63 0 2816 0 vsize: 11516 [startup+380.011 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 95098 0 0 0 37773 231 0 0 25 0 1 0 893542614 11841536 2015 4294967295 134512640 134716908 3221224576 3221220724 1075964437 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2891 2015 1111 63 0 2828 0 vsize: 11564 [startup+390.011 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 97351 0 0 0 38767 237 0 0 25 0 1 0 893542614 11423744 2003 4294967295 134512640 134716908 3221224576 3221220944 1075894554 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2789 2003 1111 63 0 2726 0 vsize: 11156 [startup+400.011 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 99711 0 0 0 39760 243 0 0 25 0 1 0 893542614 11780096 1992 4294967295 134512640 134716908 3221224576 3221220548 1074786520 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2876 1992 1111 63 0 2813 0 vsize: 11504 [startup+410.012 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 101941 0 0 0 40755 249 0 0 25 0 1 0 893542614 12034048 2127 4294967295 134512640 134716908 3221224576 3221220588 1074788968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2938 2127 1111 63 0 2875 0 vsize: 11752 [startup+420.012 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 104291 0 0 0 41750 254 0 0 25 0 1 0 893542614 12083200 2042 4294967295 134512640 134716908 3221224576 3221221568 1075110388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2950 2042 1111 63 0 2887 0 vsize: 11800 [startup+430.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 106625 0 0 0 42744 260 0 0 25 0 1 0 893542614 10952704 1954 4294967295 134512640 134716908 3221224576 3221221768 1074138271 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1954 1111 63 0 2611 0 vsize: 10696 [startup+440.012 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 109204 0 0 0 43738 267 0 0 25 0 1 0 893542614 10510336 1885 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2566 1885 1111 63 0 2503 0 vsize: 10264 [startup+450.012 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 111592 0 0 0 44733 272 0 0 25 0 1 0 893542614 11591680 1931 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2830 1931 1111 63 0 2767 0 vsize: 11320 [startup+460.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 114200 0 0 0 45727 278 0 0 25 0 1 0 893542614 11833344 1998 4294967295 134512640 134716908 3221224576 3221221088 1075084528 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2889 1998 1111 63 0 2826 0 vsize: 11556 [startup+470.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 116404 0 0 0 46721 284 0 0 25 0 1 0 893542614 11866112 2001 4294967295 134512640 134716908 3221224576 3221220724 1075964433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2897 2001 1111 63 0 2834 0 vsize: 11588 [startup+480.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 118664 0 0 0 47715 290 0 0 25 0 1 0 893542614 11882496 2010 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2901 2010 1111 63 0 2838 0 vsize: 11604 [startup+490.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 120971 0 0 0 48709 296 0 0 25 0 1 0 893542614 10559488 1897 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2578 1897 1111 63 0 2515 0 vsize: 10312 [startup+500.012 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 123147 0 0 0 49704 301 0 0 25 0 1 0 893542614 11735040 2059 4294967295 134512640 134716908 3221224576 3221220784 1075895670 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2865 2059 1111 63 0 2802 0 vsize: 11460 [startup+510.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 125119 0 0 0 50700 306 0 0 25 0 1 0 893542614 12091392 2040 4294967295 134512640 134716908 3221224576 3221220608 1075965307 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2952 2040 1111 63 0 2889 0 vsize: 11808 [startup+520.013 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 127460 0 0 0 51693 313 0 0 25 0 1 0 893542614 11952128 2032 4294967295 134512640 134716908 3221224576 3221220608 1075965246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2918 2032 1111 63 0 2855 0 vsize: 11672 [startup+530.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 129788 0 0 0 52688 319 0 0 25 0 1 0 893542614 10768384 1948 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2629 1948 1111 63 0 2566 0 vsize: 10516 [startup+540.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 132508 0 0 0 53682 324 0 0 25 0 1 0 893542614 11968512 2042 4294967295 134512640 134716908 3221224576 3221220724 1075964401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2922 2042 1111 63 0 2859 0 vsize: 11688 [startup+550.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 134969 0 0 0 54676 331 0 0 25 0 1 0 893542614 10596352 1906 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2587 1906 1111 63 0 2524 0 vsize: 10348 [startup+560.014 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 137385 0 0 0 55670 336 0 0 25 0 1 0 893542614 11751424 2060 4294967295 134512640 134716908 3221224576 3221220540 1074788980 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2869 2060 1111 63 0 2806 0 vsize: 11476 [startup+570.015 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 139765 0 0 0 56664 343 0 0 25 0 1 0 893542614 11988992 2052 4294967295 134512640 134716908 3221224576 3221221232 1075967771 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2927 2052 1111 63 0 2864 0 vsize: 11708 [startup+580.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 142296 0 0 0 57657 350 0 0 25 0 1 0 893542614 10657792 1921 4294967295 134512640 134716908 3221224576 3221223184 134543759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2602 1921 1111 63 0 2539 0 vsize: 10408 [startup+590.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 144266 0 0 0 58652 355 0 0 25 0 1 0 893542614 11956224 2028 4294967295 134512640 134716908 3221224576 3221220456 1074788452 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2919 2028 1111 63 0 2856 0 vsize: 11676 [startup+600.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 146372 0 0 0 59647 360 0 0 25 0 1 0 893542614 12001280 2053 4294967295 134512640 134716908 3221224576 3221220912 1075113526 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2930 2053 1111 63 0 2867 0 vsize: 11720 [startup+610.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 148290 0 0 0 60643 364 0 0 25 0 1 0 893542614 10706944 1933 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2614 1933 1111 63 0 2551 0 vsize: 10456 [startup+620.016 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 150481 0 0 0 61638 370 0 0 25 0 1 0 893542614 11657216 2067 4294967295 134512640 134716908 3221224576 3221220544 1075965232 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2846 2067 1111 63 0 2783 0 vsize: 11384 [startup+630.017 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 152753 0 0 0 62633 375 0 0 25 0 1 0 893542614 10706944 1933 4294967295 134512640 134716908 3221224576 3221222912 1074153794 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2614 1933 1111 63 0 2551 0 vsize: 10456 [startup+640.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 154989 0 0 0 63626 382 0 0 25 0 1 0 893542614 11800576 2071 4294967295 134512640 134716908 3221224576 3221220688 1075895677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2881 2071 1111 63 0 2818 0 vsize: 11524 [startup+650.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 157210 0 0 0 64620 388 0 0 25 0 1 0 893542614 12021760 2091 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2935 2091 1111 63 0 2872 0 vsize: 11740 [startup+660.018 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 159296 0 0 0 65614 394 0 0 25 0 1 0 893542614 11984896 2030 4294967295 134512640 134716908 3221224576 3221220736 1074883551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2926 2030 1111 63 0 2863 0 vsize: 11704 [startup+670.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 161438 0 0 0 66610 399 0 0 25 0 1 0 893542614 12038144 2063 4294967295 134512640 134716908 3221224576 3221220816 1075115724 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2939 2063 1111 63 0 2876 0 vsize: 11756 [startup+680.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 163817 0 0 0 67605 404 0 0 25 0 1 0 893542614 12222464 2072 4294967295 134512640 134716908 3221224576 3221220848 1074961132 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2984 2072 1111 63 0 2921 0 vsize: 11936 [startup+690.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 165446 0 0 0 68603 406 0 0 25 0 1 0 893542614 12075008 2076 4294967295 134512640 134716908 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2948 2076 1111 63 0 2885 0 vsize: 11792 [startup+700.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 167545 0 0 0 69599 410 0 0 25 0 1 0 893542614 12115968 2177 4294967295 134512640 134716908 3221224576 3221220848 1074960795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2958 2177 1111 63 0 2895 0 vsize: 11832 [startup+710.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 169408 0 0 0 70595 415 0 0 25 0 1 0 893542614 10825728 1962 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2643 1962 1111 63 0 2580 0 vsize: 10572 [startup+720.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 171726 0 0 0 71588 422 0 0 25 0 1 0 893542614 11812864 2102 4294967295 134512640 134716908 3221224576 3221220804 1075115109 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2884 2102 1111 63 0 2821 0 vsize: 11536 [startup+730.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 173925 0 0 0 72583 428 0 0 25 0 1 0 893542614 12193792 2092 4294967295 134512640 134716908 3221224576 3221220724 1075964393 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2977 2092 1111 63 0 2914 0 vsize: 11908 [startup+740.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 176093 0 0 0 73578 433 0 0 25 0 1 0 893542614 12058624 2018 4294967295 134512640 134716908 3221224576 3221220804 1075115127 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2944 2018 1111 63 0 2881 0 vsize: 11776 [startup+750.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 178356 0 0 0 74572 439 0 0 25 0 1 0 893542614 12062720 2142 4294967295 134512640 134716908 3221224576 3221220688 1074790230 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2945 2142 1111 63 0 2882 0 vsize: 11780 [startup+760.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 180316 0 0 0 75568 443 0 0 25 0 1 0 893542614 10887168 1977 4294967295 134512640 134716908 3221224576 3221223120 134652836 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2658 1977 1111 63 0 2595 0 vsize: 10632 [startup+770.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 182341 0 0 0 76563 447 0 0 25 0 1 0 893542614 12279808 2122 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2998 2122 1111 63 0 2935 0 vsize: 11992 [startup+780.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 184755 0 0 0 77558 453 0 0 25 0 1 0 893542614 10903552 1981 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2662 1981 1111 63 0 2599 0 vsize: 10648 [startup+790.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 186671 0 0 0 78552 459 0 0 25 0 1 0 893542614 12410880 2154 4294967295 134512640 134716908 3221224576 3221220784 1074815208 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3030 2154 1111 63 0 2967 0 vsize: 12120 [startup+800.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 188614 0 0 0 79547 464 0 0 25 0 1 0 893542614 12414976 2154 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3031 2154 1111 63 0 2968 0 vsize: 12124 [startup+810.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 190680 0 0 0 80542 469 0 0 25 0 1 0 893542614 12423168 2135 4294967295 134512640 134716908 3221224576 3221221232 1075967440 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3033 2135 1111 63 0 2970 0 vsize: 12132 [startup+820.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 192625 0 0 0 81538 474 0 0 25 0 1 0 893542614 11145216 2040 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2721 2040 1111 63 0 2658 0 vsize: 10884 [startup+830.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 194447 0 0 0 82533 479 0 0 25 0 1 0 893542614 12488704 2155 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3049 2155 1111 63 0 2986 0 vsize: 12196 [startup+840.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 196563 0 0 0 83527 486 0 0 25 0 1 0 893542614 12115968 2179 4294967295 134512640 134716908 3221224576 3221220736 1074794536 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2958 2179 1111 63 0 2895 0 vsize: 11832 [startup+850.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 198449 0 0 0 84523 490 0 0 25 0 1 0 893542614 12509184 2160 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3054 2160 1111 63 0 2991 0 vsize: 12216 [startup+860.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 200541 0 0 0 85518 495 0 0 25 0 1 0 893542614 12300288 2198 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3003 2198 1111 63 0 2940 0 vsize: 12012 [startup+870.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 202734 0 0 0 86513 500 0 0 25 0 1 0 893542614 12500992 2270 4294967295 134512640 134716908 3221224576 3221220608 1074790226 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3052 2270 1111 63 0 2989 0 vsize: 12208 [startup+880.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 205104 0 0 0 87506 507 0 0 25 0 1 0 893542614 11145216 2041 4294967295 134512640 134716908 3221224576 3221222880 1074143905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2721 2041 1111 63 0 2658 0 vsize: 10884 [startup+890.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 207210 0 0 0 88501 512 0 0 25 0 1 0 893542614 11145216 2041 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2721 2041 1111 63 0 2658 0 vsize: 10884 [startup+900.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 209498 0 0 0 89495 518 0 0 25 0 1 0 893542614 12185600 2198 4294967295 134512640 134716908 3221224576 3221220460 1074788915 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2975 2198 1111 63 0 2912 0 vsize: 11900 [startup+910.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 211662 0 0 0 90491 523 0 0 25 0 1 0 893542614 12505088 2157 4294967295 134512640 134716908 3221224576 3221221504 1075890974 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3053 2157 1111 63 0 2990 0 vsize: 12212 [startup+920.027 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 214075 0 0 0 91485 529 0 0 25 0 1 0 893542614 12075008 2195 4294967295 134512640 134716908 3221224576 3221220496 1075965260 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2948 2195 1111 63 0 2885 0 vsize: 11792 [startup+930.028 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 215983 0 0 0 92481 533 0 0 25 0 1 0 893542614 12500992 2174 4294967295 134512640 134716908 3221224576 3221220704 1075112103 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3052 2174 1111 63 0 2989 0 vsize: 12208 [startup+940.027 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 217707 0 0 0 93477 538 0 0 25 0 1 0 893542614 11608064 2148 4294967295 134512640 134716908 3221224576 3221222792 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2834 2148 1111 63 0 2771 0 vsize: 11336 [startup+950.027 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 219560 0 0 0 94472 543 0 0 25 0 1 0 893542614 11509760 2130 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2810 2130 1111 63 0 2747 0 vsize: 11240 [startup+960.027 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 221199 0 0 0 95468 546 0 0 25 0 1 0 893542614 11509760 2130 4294967295 134512640 134716908 3221224576 3221222632 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2810 2130 1111 63 0 2747 0 vsize: 11240 [startup+970.027 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 223057 0 0 0 96464 550 0 0 25 0 1 0 893542614 12996608 2274 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3173 2274 1111 63 0 3110 0 vsize: 12692 [startup+980.028 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 224686 0 0 0 97461 554 0 0 25 0 1 0 893542614 12742656 2198 4294967295 134512640 134716908 3221224576 3221220620 1074873512 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3111 2198 1111 63 0 3048 0 vsize: 12444 [startup+990.029 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 226358 0 0 0 98457 558 0 0 25 0 1 0 893542614 12726272 2243 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3107 2243 1111 63 0 3044 0 vsize: 12428 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 228045 0 0 0 99453 563 0 0 25 0 1 0 893542614 12738560 2223 4294967295 134512640 134716908 3221224576 3221220380 1074787507 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3110 2223 1111 63 0 3047 0 vsize: 12440 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 229997 0 0 0 100448 568 0 0 25 0 1 0 893542614 12644352 2193 4294967295 134512640 134716908 3221224576 3221221232 1075969308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3087 2193 1111 63 0 3024 0 vsize: 12348 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 231987 0 0 0 101443 573 0 0 25 0 1 0 893542614 11489280 2125 4294967295 134512640 134716908 3221224576 3221222760 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2805 2125 1111 63 0 2742 0 vsize: 11220 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 234228 0 0 0 102437 579 0 0 25 0 1 0 893542614 12419072 2253 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3032 2253 1111 63 0 2969 0 vsize: 12128 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 236345 0 0 0 103432 584 0 0 25 0 1 0 893542614 12767232 2203 4294967295 134512640 134716908 3221224576 3221220552 1074788565 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3117 2203 1111 63 0 3054 0 vsize: 12468 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 238403 0 0 0 104427 590 0 0 25 0 1 0 893542614 12812288 2247 4294967295 134512640 134716908 3221224576 3221220720 1074969480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3128 2247 1111 63 0 3065 0 vsize: 12512 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 240566 0 0 0 105422 595 0 0 25 0 1 0 893542614 11509760 2132 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2810 2132 1111 63 0 2747 0 vsize: 11240 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 242605 0 0 0 106417 600 0 0 25 0 1 0 893542614 11509760 2132 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2810 2132 1111 63 0 2747 0 vsize: 11240 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 244767 0 0 0 107411 606 0 0 25 0 1 0 893542614 11509760 2132 4294967295 134512640 134716908 3221224576 3221222536 1074057994 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2810 2132 1111 63 0 2747 0 vsize: 11240 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 246792 0 0 0 108406 611 0 0 25 0 1 0 893542614 12591104 2185 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3074 2185 1111 63 0 3011 0 vsize: 12296 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 248818 0 0 0 109402 615 0 0 25 0 1 0 893542614 12939264 2288 4294967295 134512640 134716908 3221224576 3221220912 1075113481 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3159 2288 1111 63 0 3096 0 vsize: 12636 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 250937 0 0 0 110397 620 0 0 25 0 1 0 893542614 12886016 2256 4294967295 134512640 134716908 3221224576 3221220804 1075115028 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3146 2256 1111 63 0 3083 0 vsize: 12584 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 253395 0 0 0 111392 626 0 0 25 0 1 0 893542614 12873728 2266 4294967295 134512640 134716908 3221224576 3221221108 1075863672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3143 2266 1111 63 0 3080 0 vsize: 12572 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 255861 0 0 0 112386 632 0 0 25 0 1 0 893542614 12324864 2226 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3009 2226 1111 63 0 2946 0 vsize: 12036 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 258104 0 0 0 113379 639 0 0 25 0 1 0 893542614 13213696 2356 4294967295 134512640 134716908 3221224576 3221221344 1076083431 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3226 2356 1111 63 0 3163 0 vsize: 12904 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 260170 0 0 0 114373 645 0 0 25 0 1 0 893542614 12963840 2293 4294967295 134512640 134716908 3221224576 3221220792 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3165 2293 1111 63 0 3102 0 vsize: 12660 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 262294 0 0 0 115369 649 0 0 25 0 1 0 893542614 12267520 2262 4294967295 134512640 134716908 3221224576 3221220756 1075115109 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2995 2262 1111 63 0 2932 0 vsize: 11980 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 264404 0 0 0 116363 655 0 0 25 0 1 0 893542614 11722752 2184 4294967295 134512640 134716908 3221224576 3221222528 1074916744 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2862 2184 1111 63 0 2799 0 vsize: 11448 [startup+1175.71 s] Raw data (loadavg): 1.00 1.00 0.92 1/53 11894 Raw data (stat): 11890 (bsolo_lpr-v2) R 11889 20224 20223 0 -1 0 264404 0 0 0 116363 655 0 0 25 0 1 0 893542614 11722752 2184 4294967295 134512640 134716908 3221224576 3221222528 1074916744 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2862 2184 1111 63 0 2799 0 vsize: 0 Child status: 0 Real time (s): 1175.71 CPU time (s): 1175.87 CPU user time (s): 1169.28 CPU system time (s): 6.586 CPU usage (%): 100.014 Max. virtual memory (Kb): 12904 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####