Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb |
MD5SUM | a8b77e93664627ad0410220dcaf11219 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 15 |
Number of bits of the biggest sum of numbers | 4 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.05899 |
Number of variables | 252 |
Total number of constraints | 206 |
Number of constraints which are clauses | 180 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 14 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-02 08:17:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=298 boxname=wulflinc31 idbench=34 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: a8b77e93664627ad0410220dcaf11219 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_12_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_12_sat_pb.cnf.cr.opb IDLAUNCH: 298 /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: 928192 kB Buffers: 37732 kB Cached: 46608 kB SwapCached: 864 kB Active: 71664 kB Inactive: 15096 kB HighTotal: 131008 kB HighFree: 83356 kB LowTotal: 903652 kB LowFree: 844836 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 48 kB Writeback: 0 kB Mapped: 5504 kB Slab: 14020 kB Committed_AS: 63636 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-02 08:36:40 (client local time) WITH STATUS 0 IN 1175.16 SECONDS stats: 298 7 1175.16 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 252 variables and 206 constraints. c After prepocess the problem consists of 252 variables and 206 constraints. c preprocess terminated 0.14 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.05 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.80 0.95 0.98 2/54 21624 Raw data (stat): 21624 (runsolver) R 21623 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 638609716 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.0011 s] Raw data (loadavg): 0.83 0.95 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 2994 0 0 0 983 13 0 0 25 0 1 0 638609716 15347712 2915 4294967295 134512640 134714508 3221221776 3221220480 134528724 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3747 2915 1111 63 0 3684 0 vsize: 14988 [startup+20.0007 s] Raw data (loadavg): 0.86 0.95 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 4918 0 0 0 1976 20 0 0 25 0 1 0 638609716 23187456 4839 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5661 4839 1111 63 0 5598 0 vsize: 22644 [startup+30.0016 s] Raw data (loadavg): 0.88 0.95 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 6003 0 0 0 2972 25 0 0 25 0 1 0 638609716 27652096 5924 4294967295 134512640 134714508 3221221776 3221220388 134523392 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6751 5924 1111 63 0 6688 0 vsize: 27004 [startup+40.0019 s] Raw data (loadavg): 0.90 0.96 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 7178 0 0 0 3968 29 0 0 25 0 1 0 638609716 32534528 7099 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7943 7099 1111 63 0 7880 0 vsize: 31772 [startup+50.0029 s] Raw data (loadavg): 0.91 0.96 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 8075 0 0 0 4965 32 0 0 25 0 1 0 638609716 36192256 7995 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8836 7995 1111 63 0 8773 0 vsize: 35344 [startup+60.0034 s] Raw data (loadavg): 0.93 0.96 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 8829 0 0 0 5961 35 0 0 25 0 1 0 638609716 39317504 8749 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9599 8749 1111 63 0 9536 0 vsize: 38396 [startup+70.0037 s] Raw data (loadavg): 0.94 0.96 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 9572 0 0 0 6958 39 0 0 25 0 1 0 638609716 42438656 9492 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10361 9492 1111 63 0 10298 0 vsize: 41444 [startup+80.0043 s] Raw data (loadavg): 0.95 0.96 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 10763 0 0 0 7955 42 0 0 25 0 1 0 638609716 47304704 10683 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11549 10683 1111 63 0 11486 0 vsize: 46196 [startup+90.0042 s] Raw data (loadavg): 0.95 0.96 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 12047 0 0 0 8951 46 0 0 25 0 1 0 638609716 52576256 11967 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12836 11967 1111 63 0 12773 0 vsize: 51344 [startup+100.005 s] Raw data (loadavg): 0.96 0.96 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 13315 0 0 0 9946 51 0 0 25 0 1 0 638609716 57708544 13233 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14089 13233 1111 63 0 14026 0 vsize: 56356 [startup+110.006 s] Raw data (loadavg): 0.97 0.96 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 14660 0 0 0 10941 57 0 0 25 0 1 0 638609716 63258624 14578 4294967295 134512640 134714508 3221221776 3221220540 134552579 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15444 14578 1111 63 0 15381 0 vsize: 61776 [startup+120.006 s] Raw data (loadavg): 0.97 0.96 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 16179 0 0 0 11935 62 0 0 25 0 1 0 638609716 69484544 16095 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16964 16095 1111 63 0 16901 0 vsize: 67856 [startup+130.006 s] Raw data (loadavg): 0.98 0.96 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 16992 0 0 0 12931 67 0 0 25 0 1 0 638609716 72863744 16908 4294967295 134512640 134714508 3221221776 3221220268 134552632 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17789 16908 1111 63 0 17726 0 vsize: 71156 [startup+140.006 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 17606 0 0 0 13928 70 0 0 25 0 1 0 638609716 75440128 17521 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18418 17521 1111 63 0 18355 0 vsize: 73672 [startup+150.007 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 17996 0 0 0 14926 73 0 0 25 0 1 0 638609716 77066240 17906 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18815 17906 1111 63 0 18752 0 vsize: 75260 [startup+160.007 s] Raw data (loadavg): 0.98 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 18754 0 0 0 15922 76 0 0 25 0 1 0 638609716 80314368 18663 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19608 18663 1111 63 0 19545 0 vsize: 78432 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 19189 0 0 0 16920 79 0 0 25 0 1 0 638609716 82100224 19096 4294967295 134512640 134714508 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20044 19096 1111 63 0 19981 0 vsize: 80176 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 19519 0 0 0 17919 80 0 0 25 0 1 0 638609716 83472384 19424 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20379 19424 1111 63 0 20316 0 vsize: 81516 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 19902 0 0 0 18918 81 0 0 25 0 1 0 638609716 84996096 19802 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20751 19802 1111 63 0 20688 0 vsize: 83004 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 20212 0 0 0 19917 83 0 0 25 0 1 0 638609716 86384640 20108 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21090 20108 1111 63 0 21027 0 vsize: 84360 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 20468 0 0 0 20916 84 0 0 25 0 1 0 638609716 87465984 20361 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21354 20361 1111 63 0 21291 0 vsize: 85416 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 20942 0 0 0 21913 86 0 0 25 0 1 0 638609716 89366528 20835 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21818 20835 1111 63 0 21755 0 vsize: 87272 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 21230 0 0 0 22912 88 0 0 25 0 1 0 638609716 90447872 21123 4294967295 134512640 134714508 3221221776 3221220416 134696113 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22082 21123 1111 63 0 22019 0 vsize: 88328 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 21530 0 0 0 23910 90 0 0 25 0 1 0 638609716 91705344 21421 4294967295 134512640 134714508 3221221776 3221220448 1076647554 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22389 21421 1111 63 0 22326 0 vsize: 89556 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 21795 0 0 0 24910 91 0 0 25 0 1 0 638609716 92786688 21686 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22653 21686 1111 63 0 22590 0 vsize: 90612 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 23422 0 0 0 25905 96 0 0 25 0 1 0 638609716 99549184 23313 4294967295 134512640 134714508 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24304 23313 1111 63 0 24241 0 vsize: 97216 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 24676 0 0 0 26900 100 0 0 25 0 1 0 638609716 104689664 24567 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25559 24567 1111 63 0 25496 0 vsize: 102236 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 25462 0 0 0 27898 103 0 0 25 0 1 0 638609716 107933696 25352 4294967295 134512640 134714508 3221221776 3221220480 134528749 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26351 25352 1111 63 0 26288 0 vsize: 105404 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 26012 0 0 0 28896 105 0 0 25 0 1 0 638609716 110129152 25900 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26887 25900 1111 63 0 26824 0 vsize: 107548 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 26336 0 0 0 29895 106 0 0 25 0 1 0 638609716 111505408 26224 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27223 26224 1111 63 0 27160 0 vsize: 108892 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 26646 0 0 0 30894 107 0 0 25 0 1 0 638609716 112857088 26534 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27553 26534 1111 63 0 27490 0 vsize: 110212 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 26940 0 0 0 31893 108 0 0 25 0 1 0 638609716 114020352 26827 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27837 26827 1111 63 0 27774 0 vsize: 111348 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 27172 0 0 0 32893 109 0 0 25 0 1 0 638609716 115040256 27055 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28086 27055 1111 63 0 28023 0 vsize: 112344 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 27382 0 0 0 33892 110 0 0 25 0 1 0 638609716 115851264 27265 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28284 27265 1111 63 0 28221 0 vsize: 113136 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 27639 0 0 0 34891 111 0 0 25 0 1 0 638609716 116801536 27521 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28516 27521 1111 63 0 28453 0 vsize: 114064 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 27856 0 0 0 35890 112 0 0 25 0 1 0 638609716 117747712 27738 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28747 27738 1111 63 0 28684 0 vsize: 114988 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 28049 0 0 0 36890 112 0 0 25 0 1 0 638609716 118423552 27931 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28912 27931 1111 63 0 28849 0 vsize: 115648 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 28221 0 0 0 37890 113 0 0 25 0 1 0 638609716 119136256 28103 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29086 28103 1111 63 0 29023 0 vsize: 116344 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 28426 0 0 0 38889 114 0 0 25 0 1 0 638609716 119975936 28308 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29291 28308 1111 63 0 29228 0 vsize: 117164 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 28613 0 0 0 39888 115 0 0 25 0 1 0 638609716 120676352 28495 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29462 28495 1111 63 0 29399 0 vsize: 117848 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 28802 0 0 0 40887 116 0 0 25 0 1 0 638609716 121401344 28684 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29639 28684 1111 63 0 29576 0 vsize: 118556 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 29015 0 0 0 41887 117 0 0 25 0 1 0 638609716 122392576 28896 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29881 28896 1111 63 0 29818 0 vsize: 119524 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 29197 0 0 0 42886 118 0 0 25 0 1 0 638609716 123068416 29078 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30046 29078 1111 63 0 29983 0 vsize: 120184 [startup+440.015 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 29394 0 0 0 43886 118 0 0 25 0 1 0 638609716 123949056 29273 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30261 29273 1111 63 0 30198 0 vsize: 121044 [startup+450.016 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 29595 0 0 0 44885 119 0 0 25 0 1 0 638609716 124760064 29474 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30459 29474 1111 63 0 30396 0 vsize: 121836 [startup+460.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 29845 0 0 0 45884 120 0 0 25 0 1 0 638609716 125841408 29724 4294967295 134512640 134714508 3221221776 3221220444 134542288 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30723 29724 1111 63 0 30660 0 vsize: 122892 [startup+470.017 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 30071 0 0 0 46883 122 0 0 25 0 1 0 638609716 126783488 29950 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30953 29950 1111 63 0 30890 0 vsize: 123812 [startup+480.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 30276 0 0 0 47882 123 0 0 25 0 1 0 638609716 127651840 30154 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31165 30154 1111 63 0 31102 0 vsize: 124660 [startup+490.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 30464 0 0 0 48881 124 0 0 25 0 1 0 638609716 128462848 30342 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31363 30342 1111 63 0 31300 0 vsize: 125452 [startup+500.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 30659 0 0 0 49881 124 0 0 25 0 1 0 638609716 129138688 30537 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31528 30537 1111 63 0 31465 0 vsize: 126112 [startup+510.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 30911 0 0 0 50879 126 0 0 25 0 1 0 638609716 130220032 30789 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31792 30789 1111 63 0 31729 0 vsize: 127168 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 31122 0 0 0 51878 127 0 0 25 0 1 0 638609716 131211264 30997 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32034 30997 1111 63 0 31971 0 vsize: 128136 [startup+530.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 31276 0 0 0 52878 128 0 0 25 0 1 0 638609716 131751936 31151 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32166 31151 1111 63 0 32103 0 vsize: 128664 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 31434 0 0 0 53877 129 0 0 25 0 1 0 638609716 132427776 31309 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32331 31309 1111 63 0 32268 0 vsize: 129324 [startup+550.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 31641 0 0 0 54876 130 0 0 25 0 1 0 638609716 133238784 31516 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32529 31516 1111 63 0 32466 0 vsize: 130116 [startup+560.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 31838 0 0 0 55875 132 0 0 25 0 1 0 638609716 134057984 31710 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32729 31710 1111 63 0 32666 0 vsize: 130916 [startup+570.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 32011 0 0 0 56874 133 0 0 25 0 1 0 638609716 134733824 31883 4294967295 134512640 134714508 3221221776 3221220512 134523886 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32894 31883 1111 63 0 32831 0 vsize: 131576 [startup+580.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 32221 0 0 0 57873 134 0 0 25 0 1 0 638609716 135589888 32093 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33103 32093 1111 63 0 33040 0 vsize: 132412 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 32437 0 0 0 58872 135 0 0 25 0 1 0 638609716 136695808 32302 4294967295 134512640 134714508 3221221776 3221220272 134535335 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33373 32302 1111 63 0 33310 0 vsize: 133492 [startup+600.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 32647 0 0 0 59871 136 0 0 25 0 1 0 638609716 137728000 32510 4294967295 134512640 134714508 3221221776 3221220432 134536707 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33625 32510 1111 63 0 33562 0 vsize: 134500 [startup+610.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 32875 0 0 0 60869 137 0 0 25 0 1 0 638609716 138711040 32738 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33865 32738 1111 63 0 33802 0 vsize: 135460 [startup+620.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 33078 0 0 0 61869 138 0 0 25 0 1 0 638609716 139587584 32941 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34079 32941 1111 63 0 34016 0 vsize: 136316 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 33345 0 0 0 62868 139 0 0 25 0 1 0 638609716 140726272 33208 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34357 33208 1111 63 0 34294 0 vsize: 137428 [startup+640.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 33517 0 0 0 63867 140 0 0 25 0 1 0 638609716 141402112 33380 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34522 33380 1111 63 0 34459 0 vsize: 138088 [startup+650.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 33723 0 0 0 64867 141 0 0 25 0 1 0 638609716 142213120 33586 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34720 33586 1111 63 0 34657 0 vsize: 138880 [startup+660.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 34007 0 0 0 65865 142 0 0 25 0 1 0 638609716 143429632 33870 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35017 33870 1111 63 0 34954 0 vsize: 140068 [startup+670.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 34269 0 0 0 66865 143 0 0 25 0 1 0 638609716 144605184 34128 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35304 34128 1111 63 0 35241 0 vsize: 141216 [startup+680.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 34557 0 0 0 67864 144 0 0 25 0 1 0 638609716 146018304 34415 4294967295 134512640 134714508 3221221776 3221220544 134529113 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35649 34415 1111 63 0 35586 0 vsize: 142596 [startup+690.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 34697 0 0 0 68863 145 0 0 25 0 1 0 638609716 146571264 34555 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35784 34555 1111 63 0 35721 0 vsize: 143136 [startup+700.02 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 34880 0 0 0 69863 146 0 0 25 0 1 0 638609716 147247104 34738 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35949 34738 1111 63 0 35886 0 vsize: 143796 [startup+710.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 35051 0 0 0 70862 147 0 0 25 0 1 0 638609716 147922944 34909 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36114 34909 1111 63 0 36051 0 vsize: 144456 [startup+720.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 35263 0 0 0 71861 148 0 0 25 0 1 0 638609716 148869120 35121 4294967295 134512640 134714508 3221221776 3221220480 134528647 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36345 35121 1111 63 0 36282 0 vsize: 145380 [startup+730.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 35439 0 0 0 72860 149 0 0 25 0 1 0 638609716 149544960 35296 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36510 35296 1111 63 0 36447 0 vsize: 146040 [startup+740.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 35617 0 0 0 73859 150 0 0 25 0 1 0 638609716 150355968 35474 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36708 35474 1111 63 0 36645 0 vsize: 146832 [startup+750.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 35771 0 0 0 74859 150 0 0 25 0 1 0 638609716 150896640 35628 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36840 35628 1111 63 0 36777 0 vsize: 147360 [startup+760.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 35971 0 0 0 75858 151 0 0 25 0 1 0 638609716 151707648 35828 4294967295 134512640 134714508 3221221776 3221220472 134528705 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37038 35828 1111 63 0 36975 0 vsize: 148152 [startup+770.021 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 36143 0 0 0 76857 152 0 0 25 0 1 0 638609716 152383488 36000 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37203 36000 1111 63 0 37140 0 vsize: 148812 [startup+780.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 36327 0 0 0 77857 153 0 0 25 0 1 0 638609716 153231360 36183 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37410 36183 1111 63 0 37347 0 vsize: 149640 [startup+790.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 36479 0 0 0 78856 154 0 0 25 0 1 0 638609716 153907200 36335 4294967295 134512640 134714508 3221221776 3221220512 134535728 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37575 36335 1111 63 0 37512 0 vsize: 150300 [startup+800.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 36652 0 0 0 79856 154 0 0 25 0 1 0 638609716 154583040 36508 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37740 36508 1111 63 0 37677 0 vsize: 150960 [startup+810.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 36840 0 0 0 80855 155 0 0 25 0 1 0 638609716 155258880 36696 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37905 36696 1111 63 0 37842 0 vsize: 151620 [startup+820.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 37037 0 0 0 81854 156 0 0 25 0 1 0 638609716 156069888 36893 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38103 36893 1111 63 0 38040 0 vsize: 152412 [startup+830.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 37201 0 0 0 82853 157 0 0 25 0 1 0 638609716 156786688 37054 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38278 37054 1111 63 0 38215 0 vsize: 153112 [startup+840.022 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 37365 0 0 0 83853 158 0 0 25 0 1 0 638609716 157462528 37218 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38443 37218 1111 63 0 38380 0 vsize: 153772 [startup+850.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 37558 0 0 0 84852 159 0 0 25 0 1 0 638609716 158273536 37411 4294967295 134512640 134714508 3221221776 3221220416 134536655 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38641 37411 1111 63 0 38578 0 vsize: 154564 [startup+860.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 37762 0 0 0 85851 160 0 0 25 0 1 0 638609716 159084544 37615 4294967295 134512640 134714508 3221221776 3221220512 134535821 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38839 37615 1111 63 0 38776 0 vsize: 155356 [startup+870.023 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 37998 0 0 0 86850 161 0 0 25 0 1 0 638609716 160067584 37850 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39079 37850 1111 63 0 39016 0 vsize: 156316 [startup+880.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 38191 0 0 0 87850 162 0 0 25 0 1 0 638609716 160878592 38043 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39277 38043 1111 63 0 39214 0 vsize: 157108 [startup+890.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 38372 0 0 0 88848 163 0 0 25 0 1 0 638609716 161554432 38224 4294967295 134512640 134714508 3221221776 3221220368 134549520 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39442 38224 1111 63 0 39379 0 vsize: 157768 [startup+900.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 38556 0 0 0 89848 164 0 0 25 0 1 0 638609716 162365440 38408 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39640 38408 1111 63 0 39577 0 vsize: 158560 [startup+910.024 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 38803 0 0 0 90847 165 0 0 25 0 1 0 638609716 163348480 38653 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39880 38653 1111 63 0 39817 0 vsize: 159520 [startup+920.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 39022 0 0 0 91846 166 0 0 25 0 1 0 638609716 164159488 38872 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40078 38872 1111 63 0 40015 0 vsize: 160312 [startup+930.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 39232 0 0 0 92845 167 0 0 25 0 1 0 638609716 165105664 39082 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40309 39082 1111 63 0 40246 0 vsize: 161236 [startup+940.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 39444 0 0 0 93844 168 0 0 25 0 1 0 638609716 165916672 39294 4294967295 134512640 134714508 3221221776 3221220368 134549588 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40507 39294 1111 63 0 40444 0 vsize: 162028 [startup+950.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 39693 0 0 0 94843 170 0 0 25 0 1 0 638609716 166862848 39543 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40738 39543 1111 63 0 40675 0 vsize: 162952 [startup+960.025 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 39934 0 0 0 95842 171 0 0 25 0 1 0 638609716 167809024 39784 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40969 39784 1111 63 0 40906 0 vsize: 163876 [startup+970.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 40174 0 0 0 96841 172 0 0 25 0 1 0 638609716 168890368 40024 4294967295 134512640 134714508 3221221776 3221220332 134535509 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41233 40024 1111 63 0 41170 0 vsize: 164932 [startup+980.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 40439 0 0 0 97840 173 0 0 25 0 1 0 638609716 169836544 40289 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41464 40289 1111 63 0 41401 0 vsize: 165856 [startup+990.026 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 40667 0 0 0 98839 174 0 0 25 0 1 0 638609716 170782720 40517 4294967295 134512640 134714508 3221221776 3221220348 134535876 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41695 40517 1111 63 0 41632 0 vsize: 166780 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 40817 0 0 0 99839 175 0 0 25 0 1 0 638609716 171458560 40667 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41860 40667 1111 63 0 41797 0 vsize: 167440 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 40957 0 0 0 100839 175 0 0 25 0 1 0 638609716 171999232 40807 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41992 40807 1111 63 0 41929 0 vsize: 167968 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 41102 0 0 0 101839 175 0 0 25 0 1 0 638609716 172572672 40952 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42132 40952 1111 63 0 42069 0 vsize: 168528 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 41271 0 0 0 102838 176 0 0 25 0 1 0 638609716 173252608 41121 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42298 41121 1111 63 0 42235 0 vsize: 169192 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 42320 0 0 0 103835 179 0 0 25 0 1 0 638609716 177577984 42170 4294967295 134512640 134714508 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43354 42170 1111 63 0 43291 0 vsize: 173416 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 43171 0 0 0 104832 182 0 0 25 0 1 0 638609716 181092352 43021 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44212 43021 1111 63 0 44149 0 vsize: 176848 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 43604 0 0 0 105831 184 0 0 25 0 1 0 638609716 182861824 43453 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44644 43453 1111 63 0 44581 0 vsize: 178576 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 43990 0 0 0 106829 185 0 0 25 0 1 0 638609716 184483840 43839 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45040 43839 1111 63 0 44977 0 vsize: 180160 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 44665 0 0 0 107827 188 0 0 25 0 1 0 638609716 187232256 44514 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45711 44514 1111 63 0 45648 0 vsize: 182844 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 45038 0 0 0 108826 190 0 0 25 0 1 0 638609716 188854272 44887 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46107 44887 1111 63 0 46044 0 vsize: 184428 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 45435 0 0 0 109824 191 0 0 25 0 1 0 638609716 190480384 45284 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46504 45284 1111 63 0 46441 0 vsize: 186016 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 45890 0 0 0 110823 193 0 0 25 0 1 0 638609716 192278528 45735 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46943 45735 1111 63 0 46880 0 vsize: 187772 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 46337 0 0 0 111822 194 0 0 25 0 1 0 638609716 194170880 46182 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47405 46182 1111 63 0 47342 0 vsize: 189620 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 46746 0 0 0 112820 196 0 0 25 0 1 0 638609716 195932160 46586 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47835 46586 1111 63 0 47772 0 vsize: 191340 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 47123 0 0 0 113819 197 0 0 25 0 1 0 638609716 197435392 46963 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48202 46963 1111 63 0 48139 0 vsize: 192808 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 47417 0 0 0 114818 199 0 0 25 0 1 0 638609716 198651904 47257 4294967295 134512640 134714508 3221221776 3221220460 134523848 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48499 47257 1111 63 0 48436 0 vsize: 193996 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 47728 0 0 0 115816 200 0 0 25 0 1 0 638609716 199868416 47568 4294967295 134512640 134714508 3221221776 3221220544 134529381 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48796 47568 1111 63 0 48733 0 vsize: 195184 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 47999 0 0 0 116815 201 0 0 25 0 1 0 638609716 200949760 47839 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 49060 47839 1111 63 0 48997 0 vsize: 196240 [startup+1175.02 s] Raw data (loadavg): 0.99 0.97 0.98 1/53 21624 Raw data (stat): 21624 (bsolo_lpr) R 21623 7876 7672 0 -1 0 47999 0 0 0 116815 201 0 0 25 0 1 0 638609716 200949760 47839 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 49060 47839 1111 63 0 48997 0 vsize: 0 Child status: 0 Real time (s): 1175.02 CPU time (s): 1175.16 CPU user time (s): 1173.04 CPU system time (s): 2.11868 CPU usage (%): 100.012 Max. virtual memory (Kb): 196240 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####