Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb |
MD5SUM | 489d094bb23422a6c4624d745553a200 |
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 | 12 |
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.050991 |
Number of variables | 149 |
Total number of constraints | 128 |
Number of constraints which are clauses | 108 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 11 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-02 01:19:27 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=235 boxname=wulflinc31 idbench=27 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 489d094bb23422a6c4624d745553a200 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_9_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_9_sat_pb.cnf.cr.opb IDLAUNCH: 235 /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: 929144 kB Buffers: 37208 kB Cached: 46316 kB SwapCached: 864 kB Active: 71464 kB Inactive: 14444 kB HighTotal: 131008 kB HighFree: 83748 kB LowTotal: 903652 kB LowFree: 845396 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 48 kB Writeback: 0 kB Mapped: 5504 kB Slab: 14012 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-02 01:39:03 (client local time) WITH STATUS 0 IN 1175.11 SECONDS stats: 235 7 1175.11 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 149 variables and 128 constraints. c After prepocess the problem consists of 149 variables and 128 constraints. c preprocess terminated 0.076 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175 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.73 0.91 0.89 2/54 17879 Raw data (stat): 17879 (runsolver) R 17878 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 636103681 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0004 s] Raw data (loadavg): 0.77 0.91 0.89 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 2419 0 0 0 984 11 0 0 25 0 1 0 636103681 13045760 2340 4294967295 134512640 134714508 3221221776 3221220536 134543541 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3185 2340 1111 63 0 3122 0 vsize: 12740 [startup+20.0012 s] Raw data (loadavg): 0.81 0.91 0.89 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 3638 0 0 0 1978 17 0 0 25 0 1 0 636103681 18063360 3558 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4410 3558 1111 63 0 4347 0 vsize: 17640 [startup+30.0012 s] Raw data (loadavg): 0.84 0.92 0.89 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 4371 0 0 0 2974 21 0 0 25 0 1 0 636103681 21037056 4291 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5136 4291 1111 63 0 5073 0 vsize: 20544 [startup+40.0021 s] Raw data (loadavg): 0.86 0.92 0.89 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 4673 0 0 0 3972 23 0 0 25 0 1 0 636103681 22253568 4593 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5433 4593 1111 63 0 5370 0 vsize: 21732 [startup+50.0033 s] Raw data (loadavg): 0.88 0.92 0.89 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 4961 0 0 0 4971 24 0 0 25 0 1 0 636103681 23474176 4881 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5731 4881 1111 63 0 5668 0 vsize: 22924 [startup+60.0029 s] Raw data (loadavg): 0.90 0.92 0.90 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 5306 0 0 0 5970 26 0 0 25 0 1 0 636103681 24825856 5226 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6061 5226 1111 63 0 5998 0 vsize: 24244 [startup+70.0038 s] Raw data (loadavg): 0.91 0.92 0.90 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 5717 0 0 0 6968 28 0 0 25 0 1 0 636103681 26583040 5637 4294967295 134512640 134714508 3221221776 3221220540 134552693 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6490 5637 1111 63 0 6427 0 vsize: 25960 [startup+80.0038 s] Raw data (loadavg): 0.93 0.93 0.90 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 6388 0 0 0 7965 31 0 0 25 0 1 0 636103681 29302784 6308 4294967295 134512640 134714508 3221221776 3221220496 134535767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7154 6308 1111 63 0 7091 0 vsize: 28616 [startup+90.0037 s] Raw data (loadavg): 0.94 0.93 0.90 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 7052 0 0 0 8962 34 0 0 25 0 1 0 636103681 32022528 6971 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7818 6971 1111 63 0 7755 0 vsize: 31272 [startup+100.004 s] Raw data (loadavg): 0.95 0.93 0.90 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 7490 0 0 0 9959 37 0 0 25 0 1 0 636103681 33816576 7408 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8256 7408 1111 63 0 8193 0 vsize: 33024 [startup+110.004 s] Raw data (loadavg): 0.95 0.93 0.90 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 7930 0 0 0 10957 39 0 0 25 0 1 0 636103681 35745792 7847 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8727 7847 1111 63 0 8664 0 vsize: 34908 [startup+120.005 s] Raw data (loadavg): 0.96 0.93 0.90 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 8275 0 0 0 11956 41 0 0 25 0 1 0 636103681 37117952 8192 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9062 8192 1111 63 0 8999 0 vsize: 36248 [startup+130.005 s] Raw data (loadavg): 0.97 0.93 0.90 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 8647 0 0 0 12955 42 0 0 25 0 1 0 636103681 38744064 8562 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9459 8562 1111 63 0 9396 0 vsize: 37836 [startup+140.005 s] Raw data (loadavg): 0.97 0.94 0.90 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 9203 0 0 0 13952 45 0 0 25 0 1 0 636103681 41058304 9118 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10024 9118 1111 63 0 9961 0 vsize: 40096 [startup+150.005 s] Raw data (loadavg): 0.98 0.94 0.90 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 9919 0 0 0 14950 47 0 0 25 0 1 0 636103681 44032000 9834 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10750 9834 1111 63 0 10687 0 vsize: 43000 [startup+160.006 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 10484 0 0 0 15948 50 0 0 25 0 1 0 636103681 46366720 10399 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11320 10399 1111 63 0 11257 0 vsize: 45280 [startup+170.007 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 11066 0 0 0 16945 53 0 0 25 0 1 0 636103681 48799744 10981 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11914 10981 1111 63 0 11851 0 vsize: 47656 [startup+180.006 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 11667 0 0 0 17942 56 0 0 25 0 1 0 636103681 51232768 11582 4294967295 134512640 134714508 3221221776 3221220400 134696358 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12508 11582 1111 63 0 12445 0 vsize: 50032 [startup+190.007 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 12218 0 0 0 18940 58 0 0 25 0 1 0 636103681 53551104 12131 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13074 12131 1111 63 0 13011 0 vsize: 52296 [startup+200.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 12856 0 0 0 19937 61 0 0 25 0 1 0 636103681 56119296 12769 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13701 12769 1111 63 0 13638 0 vsize: 54804 [startup+210.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 13571 0 0 0 20935 64 0 0 25 0 1 0 636103681 59092992 13484 4294967295 134512640 134714508 3221221776 3221220416 134536700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14427 13484 1111 63 0 14364 0 vsize: 57708 [startup+220.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 14158 0 0 0 21932 67 0 0 25 0 1 0 636103681 61554688 14071 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15028 14071 1111 63 0 14965 0 vsize: 60112 [startup+230.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 14676 0 0 0 22930 69 0 0 25 0 1 0 636103681 63717376 14589 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15556 14589 1111 63 0 15493 0 vsize: 62224 [startup+240.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 15321 0 0 0 23928 71 0 0 25 0 1 0 636103681 66351104 15232 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16199 15232 1111 63 0 16136 0 vsize: 64796 [startup+250.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 16066 0 0 0 24925 74 0 0 25 0 1 0 636103681 69459968 15977 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16958 15977 1111 63 0 16895 0 vsize: 67832 [startup+260.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 16638 0 0 0 25923 77 0 0 25 0 1 0 636103681 71770112 16549 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17522 16549 1111 63 0 17459 0 vsize: 70088 [startup+270.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 17123 0 0 0 26921 79 0 0 25 0 1 0 636103681 73797632 17034 4294967295 134512640 134714508 3221221776 3221220304 134535385 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18017 17034 1111 63 0 17954 0 vsize: 72068 [startup+280.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 17650 0 0 0 27919 81 0 0 25 0 1 0 636103681 76005376 17559 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18556 17559 1111 63 0 18493 0 vsize: 74224 [startup+290.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 18139 0 0 0 28916 83 0 0 25 0 1 0 636103681 78032896 18048 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19051 18048 1111 63 0 18988 0 vsize: 76204 [startup+300.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 18504 0 0 0 29915 85 0 0 25 0 1 0 636103681 79519744 18413 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19414 18413 1111 63 0 19351 0 vsize: 77656 [startup+310.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 19092 0 0 0 30912 88 0 0 25 0 1 0 636103681 81965056 18998 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20011 18998 1111 63 0 19948 0 vsize: 80044 [startup+320.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 19610 0 0 0 31909 91 0 0 25 0 1 0 636103681 83992576 19516 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20506 19516 1111 63 0 20443 0 vsize: 82024 [startup+330.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 20104 0 0 0 32906 94 0 0 25 0 1 0 636103681 86044672 20008 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21007 20008 1111 63 0 20944 0 vsize: 84028 [startup+340.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 20481 0 0 0 33905 96 0 0 25 0 1 0 636103681 87666688 20385 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21403 20385 1111 63 0 21340 0 vsize: 85612 [startup+350.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 21059 0 0 0 34902 99 0 0 25 0 1 0 636103681 90025984 20961 4294967295 134512640 134714508 3221221776 3221220448 134536700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21979 20961 1111 63 0 21916 0 vsize: 87916 [startup+360.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 21532 0 0 0 35899 102 0 0 25 0 1 0 636103681 91918336 21434 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22441 21434 1111 63 0 22378 0 vsize: 89764 [startup+370.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 21945 0 0 0 36898 104 0 0 25 0 1 0 636103681 93675520 21847 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22870 21847 1111 63 0 22807 0 vsize: 91480 [startup+380.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 22454 0 0 0 37896 106 0 0 25 0 1 0 636103681 95735808 22353 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23373 22353 1111 63 0 23310 0 vsize: 93492 [startup+390.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 22949 0 0 0 38894 108 0 0 25 0 1 0 636103681 97763328 22848 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23868 22848 1111 63 0 23805 0 vsize: 95472 [startup+400.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 23361 0 0 0 39892 110 0 0 25 0 1 0 636103681 99520512 23260 4294967295 134512640 134714508 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24297 23260 1111 63 0 24234 0 vsize: 97188 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 23736 0 0 0 40891 111 0 0 25 0 1 0 636103681 101011456 23635 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24661 23635 1111 63 0 24598 0 vsize: 98644 [startup+420.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 24067 0 0 0 41890 112 0 0 25 0 1 0 636103681 102363136 23966 4294967295 134512640 134714508 3221221776 3221220520 134551601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24991 23966 1111 63 0 24928 0 vsize: 99964 [startup+430.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 24615 0 0 0 42888 114 0 0 25 0 1 0 636103681 104566784 24510 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25529 24510 1111 63 0 25466 0 vsize: 102116 [startup+440.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 25059 0 0 0 43886 117 0 0 25 0 1 0 636103681 106471424 24954 4294967295 134512640 134714508 3221221776 3221220540 134552557 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25994 24954 1111 63 0 25931 0 vsize: 103976 [startup+450.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 25445 0 0 0 44884 119 0 0 25 0 1 0 636103681 107958272 25340 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26357 25340 1111 63 0 26294 0 vsize: 105428 [startup+460.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 25954 0 0 0 45882 121 0 0 25 0 1 0 636103681 110120960 25849 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26885 25849 1111 63 0 26822 0 vsize: 107540 [startup+470.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 26427 0 0 0 46880 123 0 0 25 0 1 0 636103681 112025600 26322 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27350 26322 1111 63 0 27287 0 vsize: 109400 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 26846 0 0 0 47878 125 0 0 25 0 1 0 636103681 113725440 26740 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27765 26740 1111 63 0 27702 0 vsize: 111060 [startup+490.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 27222 0 0 0 48876 127 0 0 25 0 1 0 636103681 115347456 27116 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28161 27116 1111 63 0 28098 0 vsize: 112644 [startup+500.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 27552 0 0 0 49875 129 0 0 25 0 1 0 636103681 116699136 27446 4294967295 134512640 134714508 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28491 27446 1111 63 0 28428 0 vsize: 113964 [startup+510.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 27886 0 0 0 50874 130 0 0 25 0 1 0 636103681 118063104 27776 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28824 27776 1111 63 0 28761 0 vsize: 115296 [startup+520.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 28169 0 0 0 51873 132 0 0 25 0 1 0 636103681 119345152 28055 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29137 28055 1111 63 0 29074 0 vsize: 116548 [startup+530.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 28547 0 0 0 52871 133 0 0 25 0 1 0 636103681 120832000 28433 4294967295 134512640 134714508 3221221776 3221220520 134558477 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29500 28433 1111 63 0 29437 0 vsize: 118000 [startup+540.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 28879 0 0 0 53870 135 0 0 25 0 1 0 636103681 122183680 28765 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29830 28765 1111 63 0 29767 0 vsize: 119320 [startup+550.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 29190 0 0 0 54868 137 0 0 25 0 1 0 636103681 123535360 29076 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30160 29076 1111 63 0 30097 0 vsize: 120640 [startup+560.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 29488 0 0 0 55867 138 0 0 25 0 1 0 636103681 124751872 29373 4294967295 134512640 134714508 3221221776 3221220520 134523854 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30457 29373 1111 63 0 30394 0 vsize: 121828 [startup+570.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 29766 0 0 0 56866 139 0 0 25 0 1 0 636103681 125857792 29650 4294967295 134512640 134714508 3221221776 3221220560 134529404 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30727 29650 1111 63 0 30664 0 vsize: 122908 [startup+580.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 30056 0 0 0 57865 141 0 0 25 0 1 0 636103681 126976000 29938 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31000 29938 1111 63 0 30937 0 vsize: 124000 [startup+590.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 30375 0 0 0 58864 142 0 0 25 0 1 0 636103681 128327680 30255 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31330 30255 1111 63 0 31267 0 vsize: 125320 [startup+600.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 30625 0 0 0 59863 143 0 0 25 0 1 0 636103681 129409024 30503 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31594 30503 1111 63 0 31531 0 vsize: 126376 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 30968 0 0 0 60862 144 0 0 25 0 1 0 636103681 130809856 30846 4294967295 134512640 134714508 3221221776 3221220464 134528602 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31936 30846 1111 63 0 31873 0 vsize: 127744 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 31264 0 0 0 61861 145 0 0 25 0 1 0 636103681 132026368 31142 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32233 31142 1111 63 0 32170 0 vsize: 128932 [startup+630.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 31532 0 0 0 62859 147 0 0 25 0 1 0 636103681 133107712 31410 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32497 31410 1111 63 0 32434 0 vsize: 129988 [startup+640.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 31819 0 0 0 63858 148 0 0 25 0 1 0 636103681 134324224 31697 4294967295 134512640 134714508 3221221776 3221220428 134536788 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32794 31697 1111 63 0 32731 0 vsize: 131176 [startup+650.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 32069 0 0 0 64857 150 0 0 25 0 1 0 636103681 135282688 31947 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33028 31947 1111 63 0 32965 0 vsize: 132112 [startup+660.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 32299 0 0 0 65856 151 0 0 25 0 1 0 636103681 136228864 32177 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33259 32177 1111 63 0 33196 0 vsize: 133036 [startup+670.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 32533 0 0 0 66855 152 0 0 25 0 1 0 636103681 137211904 32409 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33499 32409 1111 63 0 33436 0 vsize: 133996 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 32751 0 0 0 67854 153 0 0 25 0 1 0 636103681 138162176 32626 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33731 32626 1111 63 0 33668 0 vsize: 134924 [startup+690.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 33027 0 0 0 68854 154 0 0 25 0 1 0 636103681 139243520 32898 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33995 32898 1111 63 0 33932 0 vsize: 135980 [startup+700.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 33260 0 0 0 69853 155 0 0 25 0 1 0 636103681 140189696 33129 4294967295 134512640 134714508 3221221776 3221220536 134552642 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34226 33129 1111 63 0 34163 0 vsize: 136904 [startup+710.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 33501 0 0 0 70852 156 0 0 25 0 1 0 636103681 141271040 33370 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34490 33370 1111 63 0 34427 0 vsize: 137960 [startup+720.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 33735 0 0 0 71851 157 0 0 25 0 1 0 636103681 142217216 33604 4294967295 134512640 134714508 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34721 33604 1111 63 0 34658 0 vsize: 138884 [startup+730.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 33947 0 0 0 72850 158 0 0 25 0 1 0 636103681 143028224 33816 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34919 33816 1111 63 0 34856 0 vsize: 139676 [startup+740.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 34312 0 0 0 73848 160 0 0 25 0 1 0 636103681 144515072 34181 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35282 34181 1111 63 0 35219 0 vsize: 141128 [startup+750.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 34671 0 0 0 74847 162 0 0 25 0 1 0 636103681 146001920 34540 4294967295 134512640 134714508 3221221776 3221220324 134552003 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35645 34540 1111 63 0 35582 0 vsize: 142580 [startup+760.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 35067 0 0 0 75844 164 0 0 25 0 1 0 636103681 147623936 34936 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36041 34936 1111 63 0 35978 0 vsize: 144164 [startup+770.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 35414 0 0 0 76843 166 0 0 25 0 1 0 636103681 148975616 35283 4294967295 134512640 134714508 3221221776 3221220564 134529422 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36371 35283 1111 63 0 36308 0 vsize: 145484 [startup+780.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 35786 0 0 0 77841 167 0 0 25 0 1 0 636103681 150597632 35655 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36767 35655 1111 63 0 36704 0 vsize: 147068 [startup+790.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 36080 0 0 0 78840 169 0 0 25 0 1 0 636103681 151678976 35949 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37031 35949 1111 63 0 36968 0 vsize: 148124 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 36376 0 0 0 79839 170 0 0 25 0 1 0 636103681 152895488 36245 4294967295 134512640 134714508 3221221776 3221220560 134529126 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37328 36245 1111 63 0 37265 0 vsize: 149312 [startup+810.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 36705 0 0 0 80838 172 0 0 25 0 1 0 636103681 154255360 36573 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37660 36573 1111 63 0 37597 0 vsize: 150640 [startup+820.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 37124 0 0 0 81836 174 0 0 25 0 1 0 636103681 156012544 36992 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38089 36992 1111 63 0 38026 0 vsize: 152356 [startup+830.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 37477 0 0 0 82835 175 0 0 25 0 1 0 636103681 157364224 37345 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38419 37345 1111 63 0 38356 0 vsize: 153676 [startup+840.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 37821 0 0 0 83834 176 0 0 25 0 1 0 636103681 158851072 37689 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38782 37689 1111 63 0 38719 0 vsize: 155128 [startup+850.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 38161 0 0 0 84832 178 0 0 25 0 1 0 636103681 160202752 38029 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39112 38029 1111 63 0 39049 0 vsize: 156448 [startup+860.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 38404 0 0 0 85831 179 0 0 25 0 1 0 636103681 161349632 38264 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39392 38264 1111 63 0 39329 0 vsize: 157568 [startup+870.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 38617 0 0 0 86830 180 0 0 25 0 1 0 636103681 162160640 38477 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39590 38477 1111 63 0 39527 0 vsize: 158360 [startup+880.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 38842 0 0 0 87830 180 0 0 25 0 1 0 636103681 163209216 38700 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39846 38700 1111 63 0 39783 0 vsize: 159384 [startup+890.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 39087 0 0 0 88829 181 0 0 25 0 1 0 636103681 164188160 38941 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40085 38941 1111 63 0 40022 0 vsize: 160340 [startup+900.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 39290 0 0 0 89829 182 0 0 25 0 1 0 636103681 164999168 39144 4294967295 134512640 134714508 3221221776 3221220560 134529252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40283 39144 1111 63 0 40220 0 vsize: 161132 [startup+910.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 39477 0 0 0 90828 183 0 0 25 0 1 0 636103681 165810176 39331 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40481 39331 1111 63 0 40418 0 vsize: 161924 [startup+920.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 39646 0 0 0 91827 184 0 0 25 0 1 0 636103681 166686720 39497 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40695 39497 1111 63 0 40632 0 vsize: 162780 [startup+930.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 39829 0 0 0 92827 185 0 0 25 0 1 0 636103681 167378944 39676 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40864 39676 1111 63 0 40801 0 vsize: 163456 [startup+940.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 39979 0 0 0 93826 186 0 0 25 0 1 0 636103681 167919616 39826 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40996 39826 1111 63 0 40933 0 vsize: 163984 [startup+950.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 40109 0 0 0 94826 186 0 0 25 0 1 0 636103681 168538112 39955 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41147 39955 1111 63 0 41084 0 vsize: 164588 [startup+960.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 40223 0 0 0 95825 187 0 0 25 0 1 0 636103681 169078784 40069 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41279 40069 1111 63 0 41216 0 vsize: 165116 [startup+970.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 40354 0 0 0 96825 188 0 0 25 0 1 0 636103681 169484288 40200 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41378 40200 1111 63 0 41315 0 vsize: 165512 [startup+980.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 40485 0 0 0 97824 189 0 0 25 0 1 0 636103681 170045440 40331 4294967295 134512640 134714508 3221221776 3221220492 134551979 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41515 40331 1111 63 0 41452 0 vsize: 166060 [startup+990.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 40709 0 0 0 98823 190 0 0 25 0 1 0 636103681 171044864 40555 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41759 40555 1111 63 0 41696 0 vsize: 167036 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 40960 0 0 0 99821 192 0 0 25 0 1 0 636103681 172126208 40806 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42023 40806 1111 63 0 41960 0 vsize: 168092 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 41147 0 0 0 100820 193 0 0 25 0 1 0 636103681 172851200 40993 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42200 40993 1111 63 0 42137 0 vsize: 168800 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 41388 0 0 0 101819 194 0 0 25 0 1 0 636103681 173797376 41234 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42431 41234 1111 63 0 42368 0 vsize: 169724 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 41571 0 0 0 102819 195 0 0 25 0 1 0 636103681 174608384 41417 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42629 41417 1111 63 0 42566 0 vsize: 170516 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 41807 0 0 0 103818 196 0 0 25 0 1 0 636103681 175419392 41653 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42827 41653 1111 63 0 42764 0 vsize: 171308 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42007 0 0 0 104817 197 0 0 25 0 1 0 636103681 176230400 41853 4294967295 134512640 134714508 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43025 41853 1111 63 0 42962 0 vsize: 172100 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42204 0 0 0 105816 198 0 0 25 0 1 0 636103681 177086464 42050 4294967295 134512640 134714508 3221221776 3221220368 134549616 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43234 42050 1111 63 0 43171 0 vsize: 172936 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42355 0 0 0 106816 198 0 0 25 0 1 0 636103681 177762304 42201 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43399 42201 1111 63 0 43336 0 vsize: 173596 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42482 0 0 0 107815 199 0 0 25 0 1 0 636103681 178302976 42328 4294967295 134512640 134714508 3221221776 3221220400 134549668 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43531 42328 1111 63 0 43468 0 vsize: 174124 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42597 0 0 0 108815 200 0 0 25 0 1 0 636103681 178733056 42441 4294967295 134512640 134714508 3221221776 3221220540 134552632 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43636 42441 1111 63 0 43573 0 vsize: 174544 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42687 0 0 0 109815 200 0 0 25 0 1 0 636103681 179138560 42531 4294967295 134512640 134714508 3221221776 3221220332 134535888 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43735 42531 1111 63 0 43672 0 vsize: 174940 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42836 0 0 0 110814 201 0 0 25 0 1 0 636103681 179818496 42676 4294967295 134512640 134714508 3221221776 3221220440 134536851 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43901 42676 1111 63 0 43838 0 vsize: 175604 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 42970 0 0 0 111814 201 0 0 25 0 1 0 636103681 180359168 42810 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44033 42810 1111 63 0 43970 0 vsize: 176132 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 43093 0 0 0 112814 202 0 0 25 0 1 0 636103681 180928512 42932 4294967295 134512640 134714508 3221221776 3221220560 134529341 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44172 42932 1111 63 0 44109 0 vsize: 176688 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 43233 0 0 0 113813 203 0 0 25 0 1 0 636103681 181469184 43072 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44304 43072 1111 63 0 44241 0 vsize: 177216 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 43455 0 0 0 114812 204 0 0 25 0 1 0 636103681 182284288 43293 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44503 43293 1111 63 0 44440 0 vsize: 178012 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 43598 0 0 0 115811 205 0 0 25 0 1 0 636103681 182960128 43436 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44668 43436 1111 63 0 44605 0 vsize: 178672 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 43828 0 0 0 116810 206 0 0 25 0 1 0 636103681 183939072 43665 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44907 43665 1111 63 0 44844 0 vsize: 179628 [startup+1174.98 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 17879 Raw data (stat): 17879 (bsolo_lpr) R 17878 7876 7672 0 -1 0 43828 0 0 0 116810 206 0 0 25 0 1 0 636103681 183939072 43665 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44907 43665 1111 63 0 44844 0 vsize: 0 Child status: 0 Real time (s): 1174.98 CPU time (s): 1175.11 CPU user time (s): 1172.96 CPU system time (s): 2.14967 CPU usage (%): 100.011 Max. virtual memory (Kb): 179628 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####