Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb |
MD5SUM | 6c5be32f385b6b14a9d33e85ff7013ea |
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.099984 |
Number of variables | 273 |
Total number of constraints | 222 |
Number of constraints which are clauses | 195 |
Number of constraints which are cardinality constraints (but not clauses) | 27 |
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 09:16:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=307 boxname=wulflinc31 idbench=35 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 6c5be32f385b6b14a9d33e85ff7013ea /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_13_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_13_sat_pb.cnf.cr.opb IDLAUNCH: 307 /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: 928092 kB Buffers: 37808 kB Cached: 46736 kB SwapCached: 864 kB Active: 71712 kB Inactive: 15168 kB HighTotal: 131008 kB HighFree: 83272 kB LowTotal: 903652 kB LowFree: 844820 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 48 kB Writeback: 0 kB Mapped: 5504 kB Slab: 13988 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-02 09:36:20 (client local time) WITH STATUS 0 IN 1175.15 SECONDS stats: 307 7 1175.15 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 273 variables and 222 constraints. c After prepocess the problem consists of 273 variables and 222 constraints. c preprocess terminated 0.156 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.03 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.85 0.97 0.99 2/54 22159 Raw data (stat): 22159 (runsolver) R 22158 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 638967719 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.0005 s] Raw data (loadavg): 0.87 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 3067 0 0 0 983 12 0 0 25 0 1 0 638967719 15634432 2988 4294967295 134512640 134714508 3221221776 3221220416 134536657 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3817 2988 1111 63 0 3754 0 vsize: 15268 [startup+20.0003 s] Raw data (loadavg): 0.89 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 4419 0 0 0 1978 18 0 0 25 0 1 0 638967719 21176320 4340 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5170 4340 1111 63 0 5107 0 vsize: 20680 [startup+30.0015 s] Raw data (loadavg): 0.91 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 5400 0 0 0 2973 23 0 0 25 0 1 0 638967719 25235456 5321 4294967295 134512640 134714508 3221221776 3221220288 134535032 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6161 5321 1111 63 0 6098 0 vsize: 24644 [startup+40.0012 s] Raw data (loadavg): 0.92 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 6535 0 0 0 3969 27 0 0 25 0 1 0 638967719 29827072 6456 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7282 6456 1111 63 0 7219 0 vsize: 29128 [startup+50.0014 s] Raw data (loadavg): 0.93 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 7906 0 0 0 4963 33 0 0 25 0 1 0 638967719 35508224 7827 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8669 7827 1111 63 0 8606 0 vsize: 34676 [startup+60.002 s] Raw data (loadavg): 0.94 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 8874 0 0 0 5961 36 0 0 25 0 1 0 638967719 39448576 8795 4294967295 134512640 134714508 3221221776 3221220544 134529381 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9631 8795 1111 63 0 9568 0 vsize: 38524 [startup+70.0019 s] Raw data (loadavg): 0.95 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 9566 0 0 0 6958 38 0 0 25 0 1 0 638967719 42426368 9487 4294967295 134512640 134714508 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10358 9487 1111 63 0 10295 0 vsize: 41432 [startup+80.0029 s] Raw data (loadavg): 0.96 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 10091 0 0 0 7956 41 0 0 25 0 1 0 638967719 44609536 10012 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10891 10012 1111 63 0 10828 0 vsize: 43564 [startup+90.0028 s] Raw data (loadavg): 0.96 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 10520 0 0 0 8954 43 0 0 25 0 1 0 638967719 46395392 10441 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11327 10441 1111 63 0 11264 0 vsize: 45308 [startup+100.003 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 10983 0 0 0 9952 45 0 0 25 0 1 0 638967719 48177152 10904 4294967295 134512640 134714508 3221221776 3221220432 134536724 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11762 10904 1111 63 0 11699 0 vsize: 47048 [startup+110.004 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 11508 0 0 0 10951 47 0 0 25 0 1 0 638967719 50536448 11426 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12338 11426 1111 63 0 12275 0 vsize: 49352 [startup+120.005 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 11876 0 0 0 11950 48 0 0 25 0 1 0 638967719 52035584 11793 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12704 11793 1111 63 0 12641 0 vsize: 50816 [startup+130.006 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 12191 0 0 0 12948 50 0 0 25 0 1 0 638967719 53297152 12107 4294967295 134512640 134714508 3221221776 3221220532 134587950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13012 12107 1111 63 0 12949 0 vsize: 52048 [startup+140.006 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 12790 0 0 0 13945 53 0 0 25 0 1 0 638967719 55816192 12706 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13627 12706 1111 63 0 13564 0 vsize: 54508 [startup+150.005 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 13376 0 0 0 14943 56 0 0 25 0 1 0 638967719 58298368 13291 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14233 13291 1111 63 0 14170 0 vsize: 56932 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 14209 0 0 0 15940 58 0 0 25 0 1 0 638967719 61853696 14124 4294967295 134512640 134714508 3221221776 3221220336 134549730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15101 14124 1111 63 0 15038 0 vsize: 60404 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 15156 0 0 0 16938 61 0 0 25 0 1 0 638967719 65638400 15071 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16025 15071 1111 63 0 15962 0 vsize: 64100 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 15912 0 0 0 17935 63 0 0 25 0 1 0 638967719 68775936 15827 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16791 15827 1111 63 0 16728 0 vsize: 67164 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 16598 0 0 0 18933 66 0 0 25 0 1 0 638967719 71614464 16513 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17484 16513 1111 63 0 17421 0 vsize: 69936 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 17313 0 0 0 19930 69 0 0 25 0 1 0 638967719 74452992 17228 4294967295 134512640 134714508 3221221776 3221220540 134552684 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18177 17228 1111 63 0 18114 0 vsize: 72708 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 17976 0 0 0 20927 72 0 0 25 0 1 0 638967719 77156352 17891 4294967295 134512640 134714508 3221221776 3221220480 134528647 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18837 17891 1111 63 0 18774 0 vsize: 75348 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 18503 0 0 0 21925 74 0 0 25 0 1 0 638967719 79319040 18418 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19365 18418 1111 63 0 19302 0 vsize: 77460 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 18929 0 0 0 22924 76 0 0 25 0 1 0 638967719 81108992 18844 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19802 18844 1111 63 0 19739 0 vsize: 79208 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 19324 0 0 0 23922 77 0 0 25 0 1 0 638967719 82731008 19239 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20198 19239 1111 63 0 20135 0 vsize: 80792 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 19697 0 0 0 24921 79 0 0 25 0 1 0 638967719 84221952 19612 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20562 19612 1111 63 0 20499 0 vsize: 82248 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 20114 0 0 0 25918 82 0 0 25 0 1 0 638967719 85979136 20029 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20991 20029 1111 63 0 20928 0 vsize: 83964 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 20413 0 0 0 26917 83 0 0 25 0 1 0 638967719 87232512 20328 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21297 20328 1111 63 0 21234 0 vsize: 85188 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 20749 0 0 0 27915 85 0 0 25 0 1 0 638967719 88584192 20664 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21627 20664 1111 63 0 21564 0 vsize: 86508 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 21119 0 0 0 28914 87 0 0 25 0 1 0 638967719 90230784 21034 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22029 21034 1111 63 0 21966 0 vsize: 88116 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 21394 0 0 0 29912 88 0 0 25 0 1 0 638967719 91312128 21309 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22293 21309 1111 63 0 22230 0 vsize: 89172 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 21638 0 0 0 30912 89 0 0 25 0 1 0 638967719 92258304 21553 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22524 21553 1111 63 0 22461 0 vsize: 90096 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 21931 0 0 0 31911 90 0 0 25 0 1 0 638967719 93474816 21846 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22821 21846 1111 63 0 22758 0 vsize: 91284 [startup+330.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 22344 0 0 0 32909 92 0 0 25 0 1 0 638967719 95232000 22259 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23250 22259 1111 63 0 23187 0 vsize: 93000 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 23563 0 0 0 33904 97 0 0 25 0 1 0 638967719 100118528 23477 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24443 23477 1111 63 0 24380 0 vsize: 97772 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 24583 0 0 0 34900 101 0 0 25 0 1 0 638967719 104353792 24496 4294967295 134512640 134714508 3221221776 3221220416 134696080 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25477 24496 1111 63 0 25414 0 vsize: 101908 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 25359 0 0 0 35897 105 0 0 25 0 1 0 638967719 107606016 25268 4294967295 134512640 134714508 3221221776 3221220544 134529110 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26271 25268 1111 63 0 26208 0 vsize: 105084 [startup+370.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 25927 0 0 0 36895 107 0 0 25 0 1 0 638967719 110084096 25831 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26876 25831 1111 63 0 26813 0 vsize: 107504 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 26392 0 0 0 37894 108 0 0 25 0 1 0 638967719 112013312 26293 4294967295 134512640 134714508 3221221776 3221220496 134523872 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27347 26293 1111 63 0 27284 0 vsize: 109388 [startup+390.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 26742 0 0 0 38893 110 0 0 25 0 1 0 638967719 113590272 26640 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27732 26640 1111 63 0 27669 0 vsize: 110928 [startup+400.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 27062 0 0 0 39891 111 0 0 25 0 1 0 638967719 114941952 26960 4294967295 134512640 134714508 3221221776 3221220464 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28062 26960 1111 63 0 27999 0 vsize: 112248 [startup+410.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 27821 0 0 0 40888 114 0 0 25 0 1 0 638967719 118112256 27715 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28836 27715 1111 63 0 28773 0 vsize: 115344 [startup+420.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 28593 0 0 0 41885 118 0 0 25 0 1 0 638967719 121221120 28487 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29595 28487 1111 63 0 29532 0 vsize: 118380 [startup+430.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 29253 0 0 0 42883 120 0 0 25 0 1 0 638967719 123928576 29145 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30256 29145 1111 63 0 30193 0 vsize: 121024 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 29630 0 0 0 43881 122 0 0 25 0 1 0 638967719 125464576 29521 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30631 29521 1111 63 0 30568 0 vsize: 122524 [startup+450.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 30237 0 0 0 44878 125 0 0 25 0 1 0 638967719 127995904 30121 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31249 30121 1111 63 0 31186 0 vsize: 124996 [startup+460.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 30787 0 0 0 45877 127 0 0 25 0 1 0 638967719 130158592 30671 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31777 30671 1111 63 0 31714 0 vsize: 127108 [startup+470.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 31248 0 0 0 46875 128 0 0 25 0 1 0 638967719 132050944 31132 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32239 31132 1111 63 0 32176 0 vsize: 128956 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 31650 0 0 0 47874 130 0 0 25 0 1 0 638967719 133705728 31533 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32643 31533 1111 63 0 32580 0 vsize: 130572 [startup+490.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 31917 0 0 0 48873 131 0 0 25 0 1 0 638967719 134823936 31796 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32916 31796 1111 63 0 32853 0 vsize: 131664 [startup+500.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 32208 0 0 0 49872 132 0 0 25 0 1 0 638967719 136044544 32086 4294967295 134512640 134714508 3221221776 3221220480 134528592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33214 32086 1111 63 0 33151 0 vsize: 132856 [startup+510.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 32506 0 0 0 50871 134 0 0 25 0 1 0 638967719 137297920 32383 4294967295 134512640 134714508 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33520 32383 1111 63 0 33457 0 vsize: 134080 [startup+520.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 32751 0 0 0 51870 134 0 0 25 0 1 0 638967719 138244096 32628 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33751 32628 1111 63 0 33688 0 vsize: 135004 [startup+530.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 32984 0 0 0 52869 135 0 0 25 0 1 0 638967719 139247616 32859 4294967295 134512640 134714508 3221221776 3221220384 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33996 32859 1111 63 0 33933 0 vsize: 135984 [startup+540.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 33192 0 0 0 53868 137 0 0 25 0 1 0 638967719 140005376 33064 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34181 33064 1111 63 0 34118 0 vsize: 136724 [startup+550.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 33395 0 0 0 54867 138 0 0 25 0 1 0 638967719 140816384 33267 4294967295 134512640 134714508 3221221776 3221220396 134549859 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34379 33267 1111 63 0 34316 0 vsize: 137516 [startup+560.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 33696 0 0 0 55866 139 0 0 25 0 1 0 638967719 142135296 33560 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34701 33560 1111 63 0 34638 0 vsize: 138804 [startup+570.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 34008 0 0 0 56865 140 0 0 25 0 1 0 638967719 143413248 33870 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35013 33870 1111 63 0 34950 0 vsize: 140052 [startup+580.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 34177 0 0 0 57865 141 0 0 25 0 1 0 638967719 144166912 34038 4294967295 134512640 134714508 3221221776 3221220380 134536763 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35197 34038 1111 63 0 35134 0 vsize: 140788 [startup+590.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 34535 0 0 0 58863 142 0 0 25 0 1 0 638967719 145584128 34392 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35543 34392 1111 63 0 35480 0 vsize: 142172 [startup+600.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 35035 0 0 0 59861 145 0 0 25 0 1 0 638967719 147611648 34892 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36038 34892 1111 63 0 35975 0 vsize: 144152 [startup+610.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 35358 0 0 0 60860 147 0 0 25 0 1 0 638967719 148828160 35215 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36335 35215 1111 63 0 36272 0 vsize: 145340 [startup+620.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 35643 0 0 0 61858 148 0 0 25 0 1 0 638967719 150065152 35498 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36637 35498 1111 63 0 36574 0 vsize: 146548 [startup+630.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 35948 0 0 0 62857 149 0 0 25 0 1 0 638967719 151371776 35801 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36956 35801 1111 63 0 36893 0 vsize: 147824 [startup+640.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 36295 0 0 0 63856 151 0 0 25 0 1 0 638967719 152920064 36147 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37334 36147 1111 63 0 37271 0 vsize: 149336 [startup+650.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 36623 0 0 0 64855 152 0 0 25 0 1 0 638967719 154271744 36475 4294967295 134512640 134714508 3221221776 3221220496 134523872 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37664 36475 1111 63 0 37601 0 vsize: 150656 [startup+660.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 36928 0 0 0 65854 153 0 0 25 0 1 0 638967719 155537408 36780 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37973 36780 1111 63 0 37910 0 vsize: 151892 [startup+670.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 37174 0 0 0 66853 154 0 0 25 0 1 0 638967719 156528640 37026 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38215 37026 1111 63 0 38152 0 vsize: 152860 [startup+680.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 37465 0 0 0 67852 155 0 0 25 0 1 0 638967719 157810688 37317 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38528 37317 1111 63 0 38465 0 vsize: 154112 [startup+690.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 37706 0 0 0 68851 157 0 0 25 0 1 0 638967719 158760960 37558 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38760 37558 1111 63 0 38697 0 vsize: 155040 [startup+700.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 37995 0 0 0 69850 158 0 0 25 0 1 0 638967719 159842304 37847 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39024 37847 1111 63 0 38961 0 vsize: 156096 [startup+710.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 38234 0 0 0 70849 159 0 0 25 0 1 0 638967719 160952320 38082 4294967295 134512640 134714508 3221221776 3221220328 134696461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39295 38082 1111 63 0 39232 0 vsize: 157180 [startup+720.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 38498 0 0 0 71848 160 0 0 25 0 1 0 638967719 162054144 38345 4294967295 134512640 134714508 3221221776 3221220404 134696245 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39564 38345 1111 63 0 39501 0 vsize: 158256 [startup+730.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 38762 0 0 0 72847 162 0 0 25 0 1 0 638967719 163024896 38605 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39801 38605 1111 63 0 39738 0 vsize: 159204 [startup+740.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 38990 0 0 0 73846 163 0 0 25 0 1 0 638967719 163971072 38833 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40032 38833 1111 63 0 39969 0 vsize: 160128 [startup+750.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 39292 0 0 0 74845 164 0 0 25 0 1 0 638967719 165232640 39133 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40340 39133 1111 63 0 40277 0 vsize: 161360 [startup+760.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 39570 0 0 0 75844 165 0 0 25 0 1 0 638967719 166404096 39410 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40626 39410 1111 63 0 40563 0 vsize: 162504 [startup+770.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 39867 0 0 0 76842 167 0 0 25 0 1 0 638967719 167759872 39707 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40957 39707 1111 63 0 40894 0 vsize: 163828 [startup+780.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 40125 0 0 0 77841 168 0 0 25 0 1 0 638967719 168767488 39965 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41203 39965 1111 63 0 41140 0 vsize: 164812 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 40400 0 0 0 78840 169 0 0 25 0 1 0 638967719 169926656 40238 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41486 40238 1111 63 0 41423 0 vsize: 165944 [startup+800.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 40645 0 0 0 79839 171 0 0 25 0 1 0 638967719 170889216 40482 4294967295 134512640 134714508 3221221776 3221220416 134536700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41721 40482 1111 63 0 41658 0 vsize: 166884 [startup+810.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 40824 0 0 0 80838 171 0 0 25 0 1 0 638967719 171630592 40660 4294967295 134512640 134714508 3221221776 3221220464 134528607 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41902 40660 1111 63 0 41839 0 vsize: 167608 [startup+820.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 41149 0 0 0 81837 173 0 0 25 0 1 0 638967719 172982272 40985 4294967295 134512640 134714508 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42232 40985 1111 63 0 42169 0 vsize: 168928 [startup+830.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 41540 0 0 0 82836 174 0 0 25 0 1 0 638967719 174604288 41376 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42628 41376 1111 63 0 42565 0 vsize: 170512 [startup+840.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 41825 0 0 0 83835 175 0 0 25 0 1 0 638967719 175886336 41657 4294967295 134512640 134714508 3221221776 3221220512 134528665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42941 41657 1111 63 0 42878 0 vsize: 171764 [startup+850.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 42148 0 0 0 84834 177 0 0 25 0 1 0 638967719 177238016 41979 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43271 41979 1111 63 0 43208 0 vsize: 173084 [startup+860.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 42475 0 0 0 85832 178 0 0 25 0 1 0 638967719 178454528 42306 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43568 42306 1111 63 0 43505 0 vsize: 174272 [startup+870.023 s] Raw data (loadavg): 0.99 0.97 0.99 3/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 42708 0 0 0 86831 180 0 0 25 0 1 0 638967719 179585024 42537 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43844 42537 1111 63 0 43781 0 vsize: 175376 [startup+880.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 42888 0 0 0 87830 181 0 0 25 0 1 0 638967719 180260864 42717 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44009 42717 1111 63 0 43946 0 vsize: 176036 [startup+890.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 43053 0 0 0 88829 182 0 0 25 0 1 0 638967719 180867072 42881 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44157 42881 1111 63 0 44094 0 vsize: 176628 [startup+900.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 43238 0 0 0 89828 183 0 0 25 0 1 0 638967719 181542912 43064 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44322 43064 1111 63 0 44259 0 vsize: 177288 [startup+910.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 43387 0 0 0 90828 184 0 0 25 0 1 0 638967719 182218752 43213 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44487 43213 1111 63 0 44424 0 vsize: 177948 [startup+920.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 43561 0 0 0 91827 185 0 0 25 0 1 0 638967719 182894592 43387 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44652 43387 1111 63 0 44589 0 vsize: 178608 [startup+930.027 s] Raw data (loadavg): 0.99 0.97 0.99 4/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 43746 0 0 0 92826 187 0 0 25 0 1 0 638967719 183574528 43572 4294967295 134512640 134714508 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44818 43572 1111 63 0 44755 0 vsize: 179272 [startup+940.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 43944 0 0 0 93825 188 0 0 25 0 1 0 638967719 184401920 43770 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45020 43770 1111 63 0 44957 0 vsize: 180080 [startup+950.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 44168 0 0 0 94824 189 0 0 25 0 1 0 638967719 185212928 43994 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45218 43994 1111 63 0 45155 0 vsize: 180872 [startup+960.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 44385 0 0 0 95823 190 0 0 25 0 1 0 638967719 186208256 44207 4294967295 134512640 134714508 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45461 44207 1111 63 0 45398 0 vsize: 181844 [startup+970.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 44553 0 0 0 96822 191 0 0 25 0 1 0 638967719 186802176 44375 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45606 44375 1111 63 0 45543 0 vsize: 182424 [startup+980.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 44687 0 0 0 97821 192 0 0 25 0 1 0 638967719 187535360 44509 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45785 44509 1111 63 0 45722 0 vsize: 183140 [startup+990.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 44840 0 0 0 98821 193 0 0 25 0 1 0 638967719 188076032 44662 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45917 44662 1111 63 0 45854 0 vsize: 183668 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 45103 0 0 0 99820 194 0 0 25 0 1 0 638967719 189222912 44925 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46197 44925 1111 63 0 46134 0 vsize: 184788 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 45419 0 0 0 100819 195 0 0 25 0 1 0 638967719 190574592 45241 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46527 45241 1111 63 0 46464 0 vsize: 186108 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 45664 0 0 0 101818 196 0 0 25 0 1 0 638967719 191520768 45486 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46758 45486 1111 63 0 46695 0 vsize: 187032 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 45842 0 0 0 102817 197 0 0 25 0 1 0 638967719 192397312 45664 4294967295 134512640 134714508 3221221776 3221220352 134549640 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46972 45664 1111 63 0 46909 0 vsize: 187888 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 46071 0 0 0 103816 199 0 0 25 0 1 0 638967719 193544192 45889 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47252 45889 1111 63 0 47189 0 vsize: 189008 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 46362 0 0 0 104815 200 0 0 25 0 1 0 638967719 194826240 46177 4294967295 134512640 134714508 3221221776 3221220252 134613966 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47565 46177 1111 63 0 47502 0 vsize: 190260 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 46566 0 0 0 105814 201 0 0 25 0 1 0 638967719 195637248 46381 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47763 46381 1111 63 0 47700 0 vsize: 191052 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 46823 0 0 0 106813 202 0 0 25 0 1 0 638967719 196784128 46636 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48043 46636 1111 63 0 47980 0 vsize: 192172 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 46985 0 0 0 107812 203 0 0 25 0 1 0 638967719 197459968 46798 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48208 46798 1111 63 0 48145 0 vsize: 192832 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 47146 0 0 0 108812 204 0 0 25 0 1 0 638967719 198201344 46958 4294967295 134512640 134714508 3221221776 3221220544 134529113 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48389 46958 1111 63 0 48326 0 vsize: 193556 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 47290 0 0 0 109811 205 0 0 25 0 1 0 638967719 198942720 47098 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48570 47098 1111 63 0 48507 0 vsize: 194280 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 47503 0 0 0 110810 206 0 0 25 0 1 0 638967719 200065024 47296 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48844 47296 1111 63 0 48781 0 vsize: 195376 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 47666 0 0 0 111810 206 0 0 25 0 1 0 638967719 201007104 47457 4294967295 134512640 134714508 3221221776 3221220428 134536823 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49074 47457 1111 63 0 49011 0 vsize: 196296 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 47907 0 0 0 112810 207 0 0 25 0 1 0 638967719 202153984 47694 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49354 47694 1111 63 0 49291 0 vsize: 197416 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 48072 0 0 0 113809 208 0 0 25 0 1 0 638967719 202838016 47859 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49521 47859 1111 63 0 49458 0 vsize: 198084 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 48184 0 0 0 114809 208 0 0 25 0 1 0 638967719 203243520 47971 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49620 47971 1111 63 0 49557 0 vsize: 198480 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 48300 0 0 0 115808 209 0 0 25 0 1 0 638967719 203714560 48085 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49735 48085 1111 63 0 49672 0 vsize: 198940 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 48420 0 0 0 116808 209 0 0 25 0 1 0 638967719 204120064 48205 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49834 48205 1111 63 0 49771 0 vsize: 199336 [startup+1175.01 s] Raw data (loadavg): 0.99 0.97 0.99 1/53 22159 Raw data (stat): 22159 (bsolo_lpr) R 22158 7876 7672 0 -1 0 48420 0 0 0 116808 209 0 0 25 0 1 0 638967719 204120064 48205 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49834 48205 1111 63 0 49771 0 vsize: 0 Child status: 0 Real time (s): 1175.01 CPU time (s): 1175.15 CPU user time (s): 1172.96 CPU system time (s): 2.18967 CPU usage (%): 100.012 Max. virtual memory (Kb): 199336 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####