Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb |
MD5SUM | 9758fd8c9a8bc907d5083400c8e6642e |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 334 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 668 |
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 | 668 |
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 | 668 |
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 | 2.53961 |
Number of variables | 668 |
Total number of constraints | 1666 |
Number of constraints which are clauses | 1666 |
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 wulflinc2 THE 2005-06-07 13:51:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27639 boxname=wulflinc2 idbench=197 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 9758fd8c9a8bc907d5083400c8e6642e /oldhome/oroussel/tmp/wulflinc2/normalized-par16-3-c.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-par16-3-c.opb IDLAUNCH: 27639 /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: 263540 kB Buffers: 34560 kB Cached: 712752 kB SwapCached: 1164 kB Active: 60984 kB Inactive: 688852 kB HighTotal: 131008 kB HighFree: 10248 kB LowTotal: 903652 kB LowFree: 253292 kB SwapTotal: 2097136 kB SwapFree: 2095024 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5068 kB Slab: 15612 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 14:10:55 (client local time) WITH STATUS 0 IN 1175.21 SECONDS stats: 27639 7 1175.21 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 668 variables and 1666 constraints. c After prepocess the problem consists of 638 variables and 2086 constraints. c preprocess terminated 2.868 s c Initial Lower Bound: 217 c Lower Bound Elapsed time: 0.75875 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.2 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): 0.92 0.95 0.90 2/54 25561 Raw data (stat): 25561 (runsolver) R 25560 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893495311 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.0001 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 3720 0 0 0 986 10 0 0 25 0 1 0 893495311 11272192 1842 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2752 1842 1111 63 0 2689 0 vsize: 11008 [startup+20.0006 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 5205 0 0 0 1980 15 0 0 25 0 1 0 893495311 10792960 1873 4294967295 134512640 134716908 3221224576 3221220508 1074788195 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2635 1873 1111 63 0 2572 0 vsize: 10540 [startup+30.0016 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 7060 0 0 0 2976 20 0 0 25 0 1 0 893495311 10637312 1824 4294967295 134512640 134716908 3221224576 3221220736 1075094850 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2597 1824 1111 63 0 2534 0 vsize: 10388 [startup+40.001 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 9189 0 0 0 3971 25 0 0 25 0 1 0 893495311 10633216 1796 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2515 1772 1111 63 0 2452 0 vsize: 10384 [startup+50.0017 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 11456 0 0 0 4965 31 0 0 25 0 1 0 893495311 10633216 1801 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2596 1801 1111 63 0 2533 0 vsize: 10384 [startup+60.0017 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 13869 0 0 0 5959 37 0 0 25 0 1 0 893495311 10948608 1792 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2673 1792 1111 63 0 2610 0 vsize: 10692 [startup+70.0011 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 16595 0 0 0 6953 44 0 0 25 0 1 0 893495311 11137024 1830 4294967295 134512640 134716908 3221224576 3221220728 1074883113 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2719 1830 1111 63 0 2656 0 vsize: 10876 [startup+80.0018 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 19310 0 0 0 7946 51 0 0 25 0 1 0 893495311 10973184 1896 4294967295 134512640 134716908 3221224576 3221220784 1074815309 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2679 1896 1111 63 0 2616 0 vsize: 10716 [startup+90.0018 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 21608 0 0 0 8940 57 0 0 25 0 1 0 893495311 10989568 1777 4294967295 134512640 134716908 3221224576 3221221664 1075661523 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2683 1777 1111 63 0 2620 0 vsize: 10732 [startup+100.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 24213 0 0 0 9933 65 0 0 25 0 1 0 893495311 9965568 1733 4294967295 134512640 134716908 3221224576 3221221680 1074138636 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2433 1733 1111 63 0 2370 0 vsize: 9732 [startup+110.002 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 26890 0 0 0 10926 72 0 0 25 0 1 0 893495311 11165696 1837 4294967295 134512640 134716908 3221224576 3221221816 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2726 1837 1111 63 0 2663 0 vsize: 10904 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 29481 0 0 0 11918 79 0 0 25 0 1 0 893495311 9809920 1714 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2395 1714 1111 63 0 2332 0 vsize: 9580 [startup+130.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 32291 0 0 0 12911 87 0 0 25 0 1 0 893495311 10829824 1854 4294967295 134512640 134716908 3221224576 3221220732 1075090000 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2644 1854 1111 63 0 2581 0 vsize: 10576 [startup+140.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 34983 0 0 0 13904 94 0 0 25 0 1 0 893495311 10985472 1813 4294967295 134512640 134716908 3221224576 3221221108 1075863628 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2682 1813 1111 63 0 2619 0 vsize: 10728 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 37752 0 0 0 14896 102 0 0 25 0 1 0 893495311 10952704 1778 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1778 1111 63 0 2611 0 vsize: 10696 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 40435 0 0 0 15889 110 0 0 25 0 1 0 893495311 11128832 1820 4294967295 134512640 134716908 3221224576 3221220524 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2717 1820 1111 63 0 2654 0 vsize: 10868 [startup+170.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 43471 0 0 0 16881 118 0 0 25 0 1 0 893495311 9830400 1719 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2400 1719 1111 63 0 2337 0 vsize: 9600 [startup+180.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 46417 0 0 0 17872 126 0 0 25 0 1 0 893495311 11198464 1848 4294967295 134512640 134716908 3221224576 3221221344 1076084087 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2734 1848 1111 63 0 2671 0 vsize: 10936 [startup+190.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 49469 0 0 0 18864 135 0 0 25 0 1 0 893495311 11284480 1865 4294967295 134512640 134716908 3221224576 3221220780 1075564188 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2755 1865 1111 63 0 2692 0 vsize: 11020 [startup+200.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 51811 0 0 0 19858 141 0 0 25 0 1 0 893495311 9945088 1747 4294967295 134512640 134716908 3221224576 3221221888 1075006811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2428 1747 1111 63 0 2365 0 vsize: 9712 [startup+210.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 54586 0 0 0 20851 148 0 0 25 0 1 0 893495311 11300864 1956 4294967295 134512640 134716908 3221224576 3221220536 1075964764 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2759 1956 1111 63 0 2696 0 vsize: 11036 [startup+220.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 57240 0 0 0 21844 156 0 0 25 0 1 0 893495311 11046912 1821 4294967295 134512640 134716908 3221224576 3221220804 1075114975 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2697 1821 1111 63 0 2634 0 vsize: 10788 [startup+230.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 60078 0 0 0 22836 164 0 0 25 0 1 0 893495311 9887744 1733 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2414 1733 1111 63 0 2351 0 vsize: 9656 [startup+240.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 62745 0 0 0 23828 172 0 0 25 0 1 0 893495311 11022336 1787 4294967295 134512640 134716908 3221224576 3221220816 1075115696 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2691 1791 1111 63 0 2628 0 vsize: 10764 [startup+250.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 65853 0 0 0 24819 181 0 0 25 0 1 0 893495311 10936320 1899 4294967295 134512640 134716908 3221224576 3221220484 1074786534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2670 1899 1111 63 0 2607 0 vsize: 10680 [startup+260.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 68677 0 0 0 25812 188 0 0 25 0 1 0 893495311 11161600 1816 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2725 1816 1111 63 0 2662 0 vsize: 10900 [startup+270.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 71448 0 0 0 26804 196 0 0 25 0 1 0 893495311 11169792 1831 4294967295 134512640 134716908 3221224576 3221220700 1074878595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2727 1831 1111 63 0 2664 0 vsize: 10908 [startup+280.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 74310 0 0 0 27797 204 0 0 25 0 1 0 893495311 11169792 1839 4294967295 134512640 134716908 3221224576 3221220472 1074789611 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2727 1839 1111 63 0 2664 0 vsize: 10908 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 76790 0 0 0 28791 210 0 0 25 0 1 0 893495311 11231232 1875 4294967295 134512640 134716908 3221224576 3221220908 1076111476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2742 1875 1111 63 0 2679 0 vsize: 10968 [startup+300.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 79415 0 0 0 29783 218 0 0 25 0 1 0 893495311 11534336 1932 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2816 1932 1111 63 0 2753 0 vsize: 11264 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 82244 0 0 0 30775 226 0 0 25 0 1 0 893495311 10231808 1790 4294967295 134512640 134716908 3221224576 3221222660 1077378632 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2498 1790 1111 63 0 2435 0 vsize: 9992 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 84922 0 0 0 31768 233 0 0 25 0 1 0 893495311 11767808 1977 4294967295 134512640 134716908 3221224576 3221221512 1075066492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2873 1977 1111 63 0 2810 0 vsize: 11492 [startup+330.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 88185 0 0 0 32759 243 0 0 25 0 1 0 893495311 11767808 1971 4294967295 134512640 134716908 3221224576 3221220784 1074791673 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2873 1971 1111 63 0 2810 0 vsize: 11492 [startup+340.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 91353 0 0 0 33751 250 0 0 25 0 1 0 893495311 11722752 2086 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2862 2086 1111 63 0 2799 0 vsize: 11448 [startup+350.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 93755 0 0 0 34745 257 0 0 25 0 1 0 893495311 11878400 2029 4294967295 134512640 134716908 3221224576 3221220816 1075115765 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2900 2029 1111 63 0 2837 0 vsize: 11600 [startup+360.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 96666 0 0 0 35736 266 0 0 25 0 1 0 893495311 11128832 1917 4294967295 134512640 134716908 3221224576 3221220800 1074961146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2717 1917 1111 63 0 2654 0 vsize: 10868 [startup+370.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 99587 0 0 0 36729 274 0 0 25 0 1 0 893495311 11677696 1973 4294967295 134512640 134716908 3221224576 3221220780 1075564165 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2851 1973 1111 63 0 2788 0 vsize: 11404 [startup+380.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 102379 0 0 0 37721 281 0 0 25 0 1 0 893495311 11223040 1965 4294967295 134512640 134716908 3221224576 3221221696 1074837196 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2740 1965 1111 63 0 2677 0 vsize: 10960 [startup+390.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 104862 0 0 0 38715 288 0 0 25 0 1 0 893495311 10633216 1911 4294967295 134512640 134716908 3221224576 3221222576 1074916715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2596 1911 1111 63 0 2533 0 vsize: 10384 [startup+400.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 107554 0 0 0 39707 296 0 0 25 0 1 0 893495311 10858496 1945 4294967295 134512640 134716908 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2651 1945 1111 63 0 2588 0 vsize: 10604 [startup+410.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 109972 0 0 0 40700 303 0 0 25 0 1 0 893495311 11972608 2037 4294967295 134512640 134716908 3221224576 3221220960 1075133386 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2923 2037 1111 63 0 2860 0 vsize: 11692 [startup+420.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 112747 0 0 0 41692 312 0 0 25 0 1 0 893495311 11988992 2063 4294967295 134512640 134716908 3221224576 3221220720 1074970267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2927 2063 1111 63 0 2864 0 vsize: 11708 [startup+430.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 115192 0 0 0 42685 318 0 0 25 0 1 0 893495311 12075008 2083 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2948 2083 1111 63 0 2885 0 vsize: 11792 [startup+440.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 117543 0 0 0 43680 324 0 0 25 0 1 0 893495311 11845632 1993 4294967295 134512640 134716908 3221224576 3221220480 1075965260 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2892 1993 1111 63 0 2829 0 vsize: 11568 [startup+450.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 120600 0 0 0 44671 332 0 0 25 0 1 0 893495311 12025856 2056 4294967295 134512640 134716908 3221224576 3221220848 1074961120 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2936 2056 1111 63 0 2873 0 vsize: 11744 [startup+460.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 123252 0 0 0 45665 339 0 0 25 0 1 0 893495311 10952704 1963 4294967295 134512640 134716908 3221224576 3221222304 1075828621 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2674 1963 1111 63 0 2611 0 vsize: 10696 [startup+470.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 125760 0 0 0 46659 345 0 0 25 0 1 0 893495311 11644928 2068 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2843 2068 1111 63 0 2780 0 vsize: 11372 [startup+480.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 128931 0 0 0 47651 353 0 0 25 0 1 0 893495311 12414976 2135 4294967295 134512640 134716908 3221224576 3221220724 1075964441 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3031 2135 1111 63 0 2968 0 vsize: 12124 [startup+490.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 131169 0 0 0 48645 359 0 0 25 0 1 0 893495311 10944512 1994 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1994 1111 63 0 2609 0 vsize: 10688 [startup+500.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 133499 0 0 0 49640 365 0 0 25 0 1 0 893495311 11784192 2073 4294967295 134512640 134716908 3221224576 3221220544 1074872712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2877 2073 1111 63 0 2814 0 vsize: 11508 [startup+510.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 136242 0 0 0 50633 372 0 0 25 0 1 0 893495311 11993088 2054 4294967295 134512640 134716908 3221224576 3221220804 1075115109 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2928 2054 1111 63 0 2865 0 vsize: 11712 [startup+520.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25561 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 139008 0 0 0 51626 379 0 0 25 0 1 0 893495311 12013568 2042 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2933 2042 1111 63 0 2870 0 vsize: 11732 [startup+530.005 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 25614 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 141591 0 0 0 52618 386 0 0 25 0 1 0 893495311 12369920 2126 4294967295 134512640 134716908 3221224576 3221220444 1074787576 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3020 2126 1111 63 0 2957 0 vsize: 12080 [startup+540.005 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 25614 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 144005 0 0 0 53611 394 0 0 25 0 1 0 893495311 12161024 2083 4294967295 134512640 134716908 3221224576 3221221696 1074834340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2969 2083 1111 63 0 2906 0 vsize: 11876 [startup+550.006 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 25614 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 146505 0 0 0 54604 400 0 0 25 0 1 0 893495311 12259328 2111 4294967295 134512640 134716908 3221224576 3221220736 1074883665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2993 2111 1111 63 0 2930 0 vsize: 11972 [startup+560.006 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 25614 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 149182 0 0 0 55598 407 0 0 25 0 1 0 893495311 11083776 2021 4294967295 134512640 134716908 3221224576 3221222576 1074918353 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2706 2021 1111 63 0 2643 0 vsize: 10824 [startup+570.006 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 25614 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 151973 0 0 0 56590 415 0 0 25 0 1 0 893495311 10944512 1994 4294967295 134512640 134716908 3221224576 3221222720 1074153686 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2672 1994 1111 63 0 2609 0 vsize: 10688 [startup+580.006 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 25614 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 154948 0 0 0 57584 421 0 0 25 0 1 0 893495311 12279808 2127 4294967295 134512640 134716908 3221224576 3221220848 1074961155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2998 2127 1111 63 0 2935 0 vsize: 11992 [startup+590.006 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 25614 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 158191 0 0 0 58576 429 0 0 25 0 1 0 893495311 10997760 2007 4294967295 134512640 134716908 3221224576 3221223040 1074121049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2685 2007 1111 63 0 2622 0 vsize: 10740 [startup+600.006 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 25614 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 161222 0 0 0 59569 437 0 0 25 0 1 0 893495311 12619776 2233 4294967295 134512640 134716908 3221224576 3221220796 1075116848 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3081 2233 1111 63 0 3018 0 vsize: 12324 [startup+610.006 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 163839 0 0 0 60560 446 0 0 25 0 1 0 893495311 11038720 2017 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2695 2017 1111 63 0 2632 0 vsize: 10780 [startup+620.006 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 166746 0 0 0 61553 453 0 0 25 0 1 0 893495311 11165696 2041 4294967295 134512640 134716908 3221224576 3221222576 1074918533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2726 2041 1111 63 0 2663 0 vsize: 10904 [startup+630.006 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 169702 0 0 0 62545 461 0 0 25 0 1 0 893495311 12349440 2129 4294967295 134512640 134716908 3221224576 3221220540 1074787823 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3015 2129 1111 63 0 2952 0 vsize: 12060 [startup+640.006 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 173343 0 0 0 63535 472 0 0 25 0 1 0 893495311 11091968 2030 4294967295 134512640 134716908 3221224576 3221223224 134542412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2708 2030 1111 63 0 2645 0 vsize: 10832 [startup+650.007 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 176782 0 0 0 64526 481 0 0 25 0 1 0 893495311 12357632 2118 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3017 2118 1111 63 0 2954 0 vsize: 12068 [startup+660.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 180089 0 0 0 65518 489 0 0 25 0 1 0 893495311 11091968 2030 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2708 2030 1111 63 0 2645 0 vsize: 10832 [startup+670.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 183477 0 0 0 66510 498 0 0 25 0 1 0 893495311 11091968 2030 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2708 2030 1111 63 0 2645 0 vsize: 10832 [startup+680.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 186481 0 0 0 67502 505 0 0 25 0 1 0 893495311 11341824 2058 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2769 2058 1111 63 0 2706 0 vsize: 11076 [startup+690.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 189366 0 0 0 68494 513 0 0 25 0 1 0 893495311 11190272 2054 4294967295 134512640 134716908 3221224576 3221222584 1077380184 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2732 2054 1111 63 0 2669 0 vsize: 10928 [startup+700.007 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 192075 0 0 0 69487 521 0 0 25 0 1 0 893495311 12546048 2271 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3063 2271 1111 63 0 3000 0 vsize: 12252 [startup+710.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 194071 0 0 0 70482 526 0 0 25 0 1 0 893495311 12599296 2165 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3076 2165 1111 63 0 3013 0 vsize: 12304 [startup+720.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 196382 0 0 0 71476 532 0 0 25 0 1 0 893495311 12705792 2221 4294967295 134512640 134716908 3221224576 3221220724 1075964384 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3102 2221 1111 63 0 3039 0 vsize: 12408 [startup+730.005 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 198792 0 0 0 72469 539 0 0 25 0 1 0 893495311 12673024 2225 4294967295 134512640 134716908 3221224576 3221220912 1075113523 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3094 2225 1111 63 0 3031 0 vsize: 12376 [startup+740.005 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 201328 0 0 0 73463 545 0 0 25 0 1 0 893495311 12328960 2267 4294967295 134512640 134716908 3221224576 3221220860 1076111491 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3010 2267 1111 63 0 2947 0 vsize: 12040 [startup+750.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 203824 0 0 0 74457 551 0 0 25 0 1 0 893495311 13168640 2337 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3215 2337 1111 63 0 3152 0 vsize: 12860 [startup+760.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 206364 0 0 0 75451 557 0 0 25 0 1 0 893495311 12460032 2242 4294967295 134512640 134716908 3221224576 3221221168 1074885370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3042 2242 1111 63 0 2979 0 vsize: 12168 [startup+770.005 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 208830 0 0 0 76446 563 0 0 25 0 1 0 893495311 12222464 2190 4294967295 134512640 134716908 3221224576 3221220756 1075115014 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2984 2190 1111 63 0 2921 0 vsize: 11936 [startup+780.005 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 211213 0 0 0 77440 569 0 0 25 0 1 0 893495311 12472320 2241 4294967295 134512640 134716908 3221224576 3221220512 1075965240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3045 2241 1111 63 0 2982 0 vsize: 12180 [startup+790.005 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 213592 0 0 0 78434 575 0 0 25 0 1 0 893495311 12025856 2210 4294967295 134512640 134716908 3221224576 3221220412 1074788939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2936 2210 1111 63 0 2873 0 vsize: 11744 [startup+800.005 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 215790 0 0 0 79428 581 0 0 25 0 1 0 893495311 11595776 2153 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2831 2153 1111 63 0 2768 0 vsize: 11324 [startup+810.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 218344 0 0 0 80421 588 0 0 25 0 1 0 893495311 12644352 2202 4294967295 134512640 134716908 3221224576 3221221616 1075971398 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3087 2205 1111 63 0 3024 0 vsize: 12348 [startup+820.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 221437 0 0 0 81413 597 0 0 25 0 1 0 893495311 12951552 2285 4294967295 134512640 134716908 3221224576 3221220608 1075965311 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3162 2285 1111 63 0 3099 0 vsize: 12648 [startup+830.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25616 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 223941 0 0 0 82407 603 0 0 25 0 1 0 893495311 11595776 2153 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2831 2153 1111 63 0 2768 0 vsize: 11324 [startup+840.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 226280 0 0 0 83402 608 0 0 25 0 1 0 893495311 12218368 2264 4294967295 134512640 134716908 3221224576 3221220412 1074788930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2983 2264 1111 63 0 2920 0 vsize: 11932 [startup+850.007 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 229217 0 0 0 84395 616 0 0 25 0 1 0 893495311 12492800 2251 4294967295 134512640 134716908 3221224576 3221220708 1075112444 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3050 2251 1111 63 0 2987 0 vsize: 12200 [startup+860.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 232181 0 0 0 85387 623 0 0 25 0 1 0 893495311 12021760 2255 4294967295 134512640 134716908 3221224576 3221222576 1074916503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2935 2255 1111 63 0 2872 0 vsize: 11740 [startup+870.006 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 234992 0 0 0 86380 631 0 0 25 0 1 0 893495311 12836864 2354 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3134 2354 1111 63 0 3071 0 vsize: 12536 [startup+880.007 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 237768 0 0 0 87372 639 0 0 25 0 1 0 893495311 13471744 2399 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3289 2399 1111 63 0 3226 0 vsize: 13156 [startup+890.007 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 239988 0 0 0 88367 644 0 0 25 0 1 0 893495311 13123584 2298 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3204 2298 1111 63 0 3141 0 vsize: 12816 [startup+900.007 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 243511 0 0 0 89358 654 0 0 25 0 1 0 893495311 13119488 2399 4294967295 134512640 134716908 3221224576 3221220540 1074788177 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3203 2399 1111 63 0 3140 0 vsize: 12812 [startup+910.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 245728 0 0 0 90352 660 0 0 25 0 1 0 893495311 12791808 2322 4294967295 134512640 134716908 3221224576 3221221068 1073947512 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3123 2322 1111 63 0 3060 0 vsize: 12492 [startup+920.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 248347 0 0 0 91346 666 0 0 25 0 1 0 893495311 11890688 2225 4294967295 134512640 134716908 3221224576 3221221680 1074138810 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2903 2225 1111 63 0 2840 0 vsize: 11612 [startup+930.007 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 251068 0 0 0 92338 674 0 0 25 0 1 0 893495311 12804096 2320 4294967295 134512640 134716908 3221224576 3221221232 1075968377 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3126 2320 1111 63 0 3063 0 vsize: 12504 [startup+940.007 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 254110 0 0 0 93330 682 0 0 25 0 1 0 893495311 11890688 2225 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2903 2225 1111 63 0 2840 0 vsize: 11612 [startup+950.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 256529 0 0 0 94323 689 0 0 25 0 1 0 893495311 13545472 2434 4294967295 134512640 134716908 3221224576 3221220848 1074961199 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3307 2434 1111 63 0 3244 0 vsize: 13228 [startup+960.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 259823 0 0 0 95315 697 0 0 25 0 1 0 893495311 12681216 2303 4294967295 134512640 134716908 3221224576 3221220736 1074794591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3096 2303 1111 63 0 3033 0 vsize: 12384 [startup+970.007 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 262720 0 0 0 96308 705 0 0 25 0 1 0 893495311 13131776 2275 4294967295 134512640 134716908 3221224576 3221220784 1074815309 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3206 2275 1111 63 0 3143 0 vsize: 12824 [startup+980.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 265782 0 0 0 97299 714 0 0 25 0 1 0 893495311 13570048 2427 4294967295 134512640 134716908 3221224576 3221220524 1074788944 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3313 2427 1111 63 0 3250 0 vsize: 13252 [startup+990.008 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 268067 0 0 0 98292 721 0 0 25 0 1 0 893495311 11911168 2230 4294967295 134512640 134716908 3221224576 3221222336 1074052044 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2908 2230 1111 63 0 2845 0 vsize: 11632 [startup+1000.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 270895 0 0 0 99285 728 0 0 25 0 1 0 893495311 13529088 2391 4294967295 134512640 134716908 3221224576 3221220848 1074961238 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3303 2391 1111 63 0 3240 0 vsize: 13212 [startup+1010.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 273855 0 0 0 100277 736 0 0 25 0 1 0 893495311 11980800 2247 4294967295 134512640 134716908 3221224576 3221223212 134543540 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2925 2247 1111 63 0 2862 0 vsize: 11700 [startup+1020.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 276871 0 0 0 101269 744 0 0 25 0 1 0 893495311 13496320 2394 4294967295 134512640 134716908 3221224576 3221220912 1075113511 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3295 2394 1111 63 0 3232 0 vsize: 13180 [startup+1030.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 279828 0 0 0 102262 752 0 0 25 0 1 0 893495311 13344768 2370 4294967295 134512640 134716908 3221224576 3221220848 1074961304 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3258 2370 1111 63 0 3195 0 vsize: 13032 [startup+1040.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 282960 0 0 0 103253 761 0 0 25 0 1 0 893495311 12972032 2378 4294967295 134512640 134716908 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3167 2379 1111 63 0 3104 0 vsize: 12668 [startup+1050.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 285509 0 0 0 104245 769 0 0 25 0 1 0 893495311 13770752 2491 4294967295 134512640 134716908 3221224576 3221221616 1075971386 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3362 2493 1111 63 0 3299 0 vsize: 13448 [startup+1060.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 287587 0 0 0 105240 774 0 0 25 0 1 0 893495311 13406208 2498 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3273 2498 1111 63 0 3210 0 vsize: 13092 [startup+1070.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 289602 0 0 0 106236 779 0 0 25 0 1 0 893495311 12926976 2372 4294967295 134512640 134716908 3221224576 3221221408 1075115250 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3156 2372 1111 63 0 3093 0 vsize: 12624 [startup+1080.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 291745 0 0 0 107230 785 0 0 25 0 1 0 893495311 13119488 2415 4294967295 134512640 134716908 3221224576 3221220648 1075964720 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3203 2415 1111 63 0 3140 0 vsize: 12812 [startup+1090.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 293990 0 0 0 108224 791 0 0 25 0 1 0 893495311 13197312 2475 4294967295 134512640 134716908 3221224576 3221220968 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3222 2475 1111 63 0 3159 0 vsize: 12888 [startup+1100.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 296265 0 0 0 109218 796 0 0 25 0 1 0 893495311 13807616 2460 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3371 2460 1111 63 0 3308 0 vsize: 13484 [startup+1110.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 298863 0 0 0 110212 803 0 0 25 0 1 0 893495311 13553664 2516 4294967295 134512640 134716908 3221224576 3221221112 1075132865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3309 2516 1111 63 0 3246 0 vsize: 13236 [startup+1120.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 301159 0 0 0 111205 810 0 0 25 0 1 0 893495311 12320768 2330 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3008 2330 1111 63 0 2945 0 vsize: 12032 [startup+1130.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 303311 0 0 0 112201 815 0 0 25 0 1 0 893495311 12460032 2364 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3042 2364 1111 63 0 2979 0 vsize: 12168 [startup+1140.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 306037 0 0 0 113193 822 0 0 25 0 1 0 893495311 12935168 2419 4294967295 134512640 134716908 3221224576 3221220760 1075563941 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3158 2419 1111 63 0 3095 0 vsize: 12632 [startup+1150.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 308828 0 0 0 114187 828 0 0 25 0 1 0 893495311 13799424 2462 4294967295 134512640 134716908 3221224576 3221221344 1076084087 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3369 2462 1111 63 0 3306 0 vsize: 13476 [startup+1160.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 310832 0 0 0 115182 834 0 0 25 0 1 0 893495311 12460032 2364 4294967295 134512640 134716908 3221224576 3221223200 134652452 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3042 2364 1111 63 0 2979 0 vsize: 12168 [startup+1170.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 313652 0 0 0 116175 842 0 0 25 0 1 0 893495311 12771328 2381 4294967295 134512640 134716908 3221224576 3221222224 1075817664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3118 2381 1111 63 0 3055 0 vsize: 12472 [startup+1175.05 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 25618 Raw data (stat): 25561 (bsolo_lpr-v2) R 25560 31399 31398 0 -1 0 313652 0 0 0 116175 842 0 0 25 0 1 0 893495311 12771328 2381 4294967295 134512640 134716908 3221224576 3221222224 1075817664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3118 2381 1111 63 0 3055 0 vsize: 0 Child status: 0 Real time (s): 1175.05 CPU time (s): 1175.21 CPU user time (s): 1166.75 CPU system time (s): 8.46271 CPU usage (%): 100.014 Max. virtual memory (Kb): 13484 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####