Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb |
MD5SUM | 4b4e9c4dea51b53ba8323ee6782645f0 |
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 | 16 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.066989 |
Number of variables | 293 |
Total number of constraints | 236 |
Number of constraints which are clauses | 208 |
Number of constraints which are cardinality constraints (but not clauses) | 28 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-02 11:36:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=326 boxname=wulflinc31 idbench=37 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 4b4e9c4dea51b53ba8323ee6782645f0 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_13_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_13_sat_pb.cnf.cr.opb IDLAUNCH: 326 /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: 927924 kB Buffers: 38012 kB Cached: 46804 kB SwapCached: 864 kB Active: 71848 kB Inactive: 15356 kB HighTotal: 131008 kB HighFree: 83216 kB LowTotal: 903652 kB LowFree: 844708 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5504 kB Slab: 13836 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-02 11:55:52 (client local time) WITH STATUS 0 IN 1175.12 SECONDS stats: 326 7 1175.12 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 293 variables and 236 constraints. c After prepocess the problem consists of 293 variables and 236 constraints. c preprocess terminated 0.17 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.91 0.95 0.96 2/54 23265 Raw data (stat): 23265 (runsolver) R 23264 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 639805027 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 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.0009 s] Raw data (loadavg): 0.93 0.95 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 3182 0 0 0 981 14 0 0 25 0 1 0 639805027 16158720 3103 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3945 3103 1111 63 0 3882 0 vsize: 15780 [startup+20.0013 s] Raw data (loadavg): 0.94 0.96 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 4991 0 0 0 1975 21 0 0 25 0 1 0 639805027 23592960 4912 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5760 4912 1111 63 0 5697 0 vsize: 23040 [startup+30.0012 s] Raw data (loadavg): 0.95 0.96 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 6400 0 0 0 2969 26 0 0 25 0 1 0 639805027 29282304 6320 4294967295 134512640 134714508 3221221760 3221220344 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7149 6320 1111 63 0 7086 0 vsize: 28596 [startup+40.0015 s] Raw data (loadavg): 0.95 0.96 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 7164 0 0 0 3966 29 0 0 25 0 1 0 639805027 32399360 7084 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7910 7084 1111 63 0 7847 0 vsize: 31640 [startup+50.0021 s] Raw data (loadavg): 0.96 0.96 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 8243 0 0 0 4962 34 0 0 25 0 1 0 639805027 36864000 8163 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9000 8163 1111 63 0 8937 0 vsize: 36000 [startup+60.002 s] Raw data (loadavg): 0.97 0.96 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 9103 0 0 0 5959 38 0 0 25 0 1 0 639805027 40378368 9023 4294967295 134512640 134714508 3221221760 3221220340 134696201 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9858 9023 1111 63 0 9795 0 vsize: 39432 [startup+70.0032 s] Raw data (loadavg): 0.97 0.96 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 9494 0 0 0 6957 40 0 0 25 0 1 0 639805027 42000384 9414 4294967295 134512640 134714508 3221221760 3221220484 134529109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10254 9414 1111 63 0 10191 0 vsize: 41016 [startup+80.0039 s] Raw data (loadavg): 0.98 0.96 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 9671 0 0 0 7956 40 0 0 25 0 1 0 639805027 42676224 9591 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10419 9591 1111 63 0 10356 0 vsize: 41676 [startup+90.0038 s] Raw data (loadavg): 0.98 0.96 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 10211 0 0 0 8954 43 0 0 25 0 1 0 639805027 44974080 10131 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10980 10131 1111 63 0 10917 0 vsize: 43920 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 10924 0 0 0 9952 46 0 0 25 0 1 0 639805027 47947776 10843 4294967295 134512640 134714508 3221221760 3221220496 134524039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11706 10843 1111 63 0 11643 0 vsize: 46824 [startup+110.005 s] Raw data (loadavg): 0.98 0.96 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 11496 0 0 0 10950 47 0 0 25 0 1 0 639805027 50245632 11415 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12267 11415 1111 63 0 12204 0 vsize: 49068 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 12136 0 0 0 11948 50 0 0 25 0 1 0 639805027 52948992 12054 4294967295 134512640 134714508 3221221760 3221220084 134697180 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12927 12054 1111 63 0 12864 0 vsize: 51708 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 12607 0 0 0 12947 51 0 0 25 0 1 0 639805027 54841344 12525 4294967295 134512640 134714508 3221221760 3221220360 134543652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13389 12525 1111 63 0 13326 0 vsize: 53556 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 13088 0 0 0 13943 54 0 0 25 0 1 0 639805027 56733696 13006 4294967295 134512640 134714508 3221221760 3221220432 134535762 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13851 13006 1111 63 0 13788 0 vsize: 55404 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 13599 0 0 0 14941 58 0 0 25 0 1 0 639805027 58933248 13516 4294967295 134512640 134714508 3221221760 3221220384 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14388 13516 1111 63 0 14325 0 vsize: 57552 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 14038 0 0 0 15939 59 0 0 25 0 1 0 639805027 60690432 13955 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14817 13955 1111 63 0 14754 0 vsize: 59268 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 14227 0 0 0 16939 60 0 0 25 0 1 0 639805027 61517824 14144 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15019 14144 1111 63 0 14956 0 vsize: 60076 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 14478 0 0 0 17937 61 0 0 25 0 1 0 639805027 62599168 14395 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15283 14395 1111 63 0 15220 0 vsize: 61132 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 14719 0 0 0 18937 62 0 0 25 0 1 0 639805027 63557632 14636 4294967295 134512640 134714508 3221221760 3221220424 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15517 14636 1111 63 0 15454 0 vsize: 62068 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 15349 0 0 0 19935 64 0 0 25 0 1 0 639805027 66166784 15266 4294967295 134512640 134714508 3221221760 3221220416 134524259 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16154 15266 1111 63 0 16091 0 vsize: 64616 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 15683 0 0 0 20934 65 0 0 25 0 1 0 639805027 67518464 15600 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16484 15600 1111 63 0 16421 0 vsize: 65936 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 16240 0 0 0 21932 68 0 0 25 0 1 0 639805027 69816320 16157 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17045 16157 1111 63 0 16982 0 vsize: 68180 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 16725 0 0 0 22930 69 0 0 25 0 1 0 639805027 71847936 16640 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17541 16640 1111 63 0 17478 0 vsize: 70164 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 17225 0 0 0 23929 71 0 0 25 0 1 0 639805027 73883648 17140 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18038 17140 1111 63 0 17975 0 vsize: 72152 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 17960 0 0 0 24926 74 0 0 25 0 1 0 639805027 76861440 17875 4294967295 134512640 134714508 3221221760 3221220544 134529126 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18765 17875 1111 63 0 18702 0 vsize: 75060 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 18670 0 0 0 25923 77 0 0 25 0 1 0 639805027 79835136 18585 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19491 18585 1111 63 0 19428 0 vsize: 77964 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 18891 0 0 0 26923 78 0 0 25 0 1 0 639805027 80789504 18806 4294967295 134512640 134714508 3221221760 3221220464 134528653 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19724 18806 1111 63 0 19661 0 vsize: 78896 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 19138 0 0 0 27922 79 0 0 25 0 1 0 639805027 81735680 19053 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19955 19053 1111 63 0 19892 0 vsize: 79820 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 19515 0 0 0 28921 80 0 0 25 0 1 0 639805027 83222528 19430 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20318 19430 1111 63 0 20255 0 vsize: 81272 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 20050 0 0 0 29919 82 0 0 25 0 1 0 639805027 85520384 19965 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20879 19965 1111 63 0 20816 0 vsize: 83516 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 20189 0 0 0 30919 82 0 0 25 0 1 0 639805027 86085632 20104 4294967295 134512640 134714508 3221221760 3221220544 134529404 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21017 20104 1111 63 0 20954 0 vsize: 84068 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 20428 0 0 0 31918 83 0 0 25 0 1 0 639805027 87031808 20343 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21248 20343 1111 63 0 21185 0 vsize: 84992 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 20945 0 0 0 32915 86 0 0 25 0 1 0 639805027 89206784 20859 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21779 20859 1111 63 0 21716 0 vsize: 87116 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 21382 0 0 0 33913 89 0 0 25 0 1 0 639805027 90906624 21292 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22194 21292 1111 63 0 22131 0 vsize: 88776 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 21996 0 0 0 34911 91 0 0 25 0 1 0 639805027 93474816 21906 4294967295 134512640 134714508 3221221760 3221220316 134535984 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22821 21906 1111 63 0 22758 0 vsize: 91284 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 22685 0 0 0 35909 93 0 0 25 0 1 0 639805027 96313344 22594 4294967295 134512640 134714508 3221221760 3221220520 134523849 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23514 22594 1111 63 0 23451 0 vsize: 94056 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 23177 0 0 0 36908 95 0 0 25 0 1 0 639805027 98336768 23086 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24008 23086 1111 63 0 23945 0 vsize: 96032 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 23777 0 0 0 37905 97 0 0 25 0 1 0 639805027 100769792 23686 4294967295 134512640 134714508 3221221760 3221220412 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24602 23686 1111 63 0 24539 0 vsize: 98408 [startup+390.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 24374 0 0 0 38902 100 0 0 25 0 1 0 639805027 103202816 24283 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25196 24283 1111 63 0 25133 0 vsize: 100784 [startup+400.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 24616 0 0 0 39901 102 0 0 25 0 1 0 639805027 104280064 24525 4294967295 134512640 134714508 3221221760 3221220448 134528605 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25459 24525 1111 63 0 25396 0 vsize: 101836 [startup+410.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 24997 0 0 0 40900 103 0 0 25 0 1 0 639805027 105766912 24906 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25822 24906 1111 63 0 25759 0 vsize: 103288 [startup+420.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 25417 0 0 0 41898 105 0 0 25 0 1 0 639805027 107524096 25326 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26251 25326 1111 63 0 26188 0 vsize: 105004 [startup+430.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 25933 0 0 0 42896 107 0 0 25 0 1 0 639805027 109690880 25842 4294967295 134512640 134714508 3221221760 3221220352 134549773 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26780 25842 1111 63 0 26717 0 vsize: 107120 [startup+440.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 26285 0 0 0 43895 108 0 0 25 0 1 0 639805027 111042560 26193 4294967295 134512640 134714508 3221221760 3221220484 134528601 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27110 26193 1111 63 0 27047 0 vsize: 108440 [startup+450.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 26721 0 0 0 44894 110 0 0 25 0 1 0 639805027 112934912 26629 4294967295 134512640 134714508 3221221760 3221220448 134528605 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27572 26629 1111 63 0 27509 0 vsize: 110288 [startup+460.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 27217 0 0 0 45892 112 0 0 25 0 1 0 639805027 114962432 27123 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28067 27123 1111 63 0 28004 0 vsize: 112268 [startup+470.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 27589 0 0 0 46891 113 0 0 25 0 1 0 639805027 116449280 27495 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28430 27495 1111 63 0 28367 0 vsize: 113720 [startup+480.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 28039 0 0 0 47889 116 0 0 25 0 1 0 639805027 118206464 27945 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28859 27945 1111 63 0 28796 0 vsize: 115436 [startup+490.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 28378 0 0 0 48888 117 0 0 25 0 1 0 639805027 119701504 28284 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29224 28284 1111 63 0 29161 0 vsize: 116896 [startup+500.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 28686 0 0 0 49887 118 0 0 25 0 1 0 639805027 120918016 28592 4294967295 134512640 134714508 3221221760 3221220400 134536650 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29521 28592 1111 63 0 29458 0 vsize: 118084 [startup+510.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 29106 0 0 0 50885 120 0 0 25 0 1 0 639805027 122675200 29012 4294967295 134512640 134714508 3221221760 3221220416 134536736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29950 29012 1111 63 0 29887 0 vsize: 119800 [startup+520.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 29631 0 0 0 51883 123 0 0 25 0 1 0 639805027 124837888 29537 4294967295 134512640 134714508 3221221760 3221220412 134536823 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30478 29537 1111 63 0 30415 0 vsize: 121912 [startup+530.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 30062 0 0 0 52882 124 0 0 25 0 1 0 639805027 126611456 29968 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30911 29968 1111 63 0 30848 0 vsize: 123644 [startup+540.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 30462 0 0 0 53880 126 0 0 25 0 1 0 639805027 128233472 30368 4294967295 134512640 134714508 3221221760 3221220504 134551620 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31307 30368 1111 63 0 31244 0 vsize: 125228 [startup+550.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 30978 0 0 0 54878 128 0 0 25 0 1 0 639805027 130396160 30884 4294967295 134512640 134714508 3221221760 3221220500 134523855 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 31835 30884 1111 63 0 31772 0 vsize: 127340 [startup+560.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 31528 0 0 0 55876 130 0 0 25 0 1 0 639805027 132558848 31434 4294967295 134512640 134714508 3221221760 3221220396 134543664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32363 31434 1111 63 0 32300 0 vsize: 129452 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 32125 0 0 0 56875 132 0 0 25 0 1 0 639805027 135127040 32031 4294967295 134512640 134714508 3221221760 3221220412 134536845 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32990 32031 1111 63 0 32927 0 vsize: 131960 [startup+580.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 32614 0 0 0 57873 133 0 0 25 0 1 0 639805027 137019392 32520 4294967295 134512640 134714508 3221221760 3221220412 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33452 32520 1111 63 0 33389 0 vsize: 133808 [startup+590.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 32746 0 0 0 58872 135 0 0 25 0 1 0 639805027 137560064 32652 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33584 32652 1111 63 0 33521 0 vsize: 134336 [startup+600.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 32875 0 0 0 59872 135 0 0 25 0 1 0 639805027 138133504 32780 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33724 32780 1111 63 0 33661 0 vsize: 134896 [startup+610.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33028 0 0 0 60871 136 0 0 25 0 1 0 639805027 138809344 32933 4294967295 134512640 134714508 3221221760 3221220440 134552642 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33889 32933 1111 63 0 33826 0 vsize: 135556 [startup+620.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33140 0 0 0 61871 137 0 0 25 0 1 0 639805027 139214848 33045 4294967295 134512640 134714508 3221221760 3221220400 134613454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 33988 33045 1111 63 0 33925 0 vsize: 135952 [startup+630.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33322 0 0 0 62870 137 0 0 25 0 1 0 639805027 139890688 33227 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34153 33227 1111 63 0 34090 0 vsize: 136612 [startup+640.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33501 0 0 0 63870 138 0 0 25 0 1 0 639805027 140701696 33406 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34351 33406 1111 63 0 34288 0 vsize: 137404 [startup+650.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33661 0 0 0 64869 139 0 0 25 0 1 0 639805027 141381632 33566 4294967295 134512640 134714508 3221221760 3221220348 134543615 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34517 33566 1111 63 0 34454 0 vsize: 138068 [startup+660.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33810 0 0 0 65868 140 0 0 25 0 1 0 639805027 141934592 33715 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34652 33715 1111 63 0 34589 0 vsize: 138608 [startup+670.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 33930 0 0 0 66868 140 0 0 25 0 1 0 639805027 142475264 33835 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34784 33835 1111 63 0 34721 0 vsize: 139136 [startup+680.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 34088 0 0 0 67868 141 0 0 25 0 1 0 639805027 143015936 33993 4294967295 134512640 134714508 3221221760 3221220544 134529246 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 34916 33993 1111 63 0 34853 0 vsize: 139664 [startup+690.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 34282 0 0 0 68867 141 0 0 25 0 1 0 639805027 143822848 34185 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35113 34185 1111 63 0 35050 0 vsize: 140452 [startup+700.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 34465 0 0 0 69867 142 0 0 25 0 1 0 639805027 144633856 34368 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35311 34368 1111 63 0 35248 0 vsize: 141244 [startup+710.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 34660 0 0 0 70867 142 0 0 25 0 1 0 639805027 145444864 34563 4294967295 134512640 134714508 3221221760 3221220412 134536784 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35509 34563 1111 63 0 35446 0 vsize: 142036 [startup+720.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 34958 0 0 0 71865 144 0 0 25 0 1 0 639805027 146661376 34861 4294967295 134512640 134714508 3221221760 3221220216 1077377227 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35806 34861 1111 63 0 35743 0 vsize: 143224 [startup+730.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 35292 0 0 0 72864 146 0 0 25 0 1 0 639805027 148013056 35195 4294967295 134512640 134714508 3221221760 3221220528 134529381 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36136 35195 1111 63 0 36073 0 vsize: 144544 [startup+740.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 35686 0 0 0 73862 147 0 0 25 0 1 0 639805027 149680128 35585 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36543 35585 1111 63 0 36480 0 vsize: 146172 [startup+750.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 36025 0 0 0 74861 148 0 0 25 0 1 0 639805027 151031808 35924 4294967295 134512640 134714508 3221221760 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 36873 35924 1111 63 0 36810 0 vsize: 147492 [startup+760.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 36276 0 0 0 75860 150 0 0 25 0 1 0 639805027 152117248 36173 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37138 36173 1111 63 0 37075 0 vsize: 148552 [startup+770.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 36500 0 0 0 76859 151 0 0 25 0 1 0 639805027 153067520 36395 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37370 36395 1111 63 0 37307 0 vsize: 149480 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 36784 0 0 0 77858 152 0 0 25 0 1 0 639805027 154152960 36679 4294967295 134512640 134714508 3221221760 3221220412 134536754 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37635 36679 1111 63 0 37572 0 vsize: 150540 [startup+790.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 37081 0 0 0 78857 154 0 0 25 0 1 0 639805027 155369472 36976 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37932 36976 1111 63 0 37869 0 vsize: 151728 [startup+800.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 37391 0 0 0 79855 155 0 0 25 0 1 0 639805027 156721152 37286 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38262 37286 1111 63 0 38199 0 vsize: 153048 [startup+810.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 37573 0 0 0 80854 157 0 0 25 0 1 0 639805027 157396992 37468 4294967295 134512640 134714508 3221221760 3221220524 134552684 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38427 37468 1111 63 0 38364 0 vsize: 153708 [startup+820.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 37738 0 0 0 81853 157 0 0 25 0 1 0 639805027 158220288 37633 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38628 37633 1111 63 0 38565 0 vsize: 154512 [startup+830.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 37970 0 0 0 82853 157 0 0 25 0 1 0 639805027 159031296 37865 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38826 37865 1111 63 0 38763 0 vsize: 155304 [startup+840.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 38165 0 0 0 83853 158 0 0 25 0 1 0 639805027 159850496 38060 4294967295 134512640 134714508 3221221760 3221220320 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39026 38060 1111 63 0 38963 0 vsize: 156104 [startup+850.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 38378 0 0 0 84852 159 0 0 25 0 1 0 639805027 160796672 38272 4294967295 134512640 134714508 3221221760 3221220412 134536825 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39257 38272 1111 63 0 39194 0 vsize: 157028 [startup+860.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 38551 0 0 0 85851 160 0 0 25 0 1 0 639805027 161472512 38445 4294967295 134512640 134714508 3221221760 3221220288 134535448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39422 38445 1111 63 0 39359 0 vsize: 157688 [startup+870.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 38748 0 0 0 86850 161 0 0 25 0 1 0 639805027 162279424 38642 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39619 38642 1111 63 0 39556 0 vsize: 158476 [startup+880.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 39117 0 0 0 87849 163 0 0 25 0 1 0 639805027 163844096 39007 4294967295 134512640 134714508 3221221760 3221220316 134535964 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40001 39007 1111 63 0 39938 0 vsize: 160004 [startup+890.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 39571 0 0 0 88847 165 0 0 25 0 1 0 639805027 165740544 39461 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40464 39461 1111 63 0 40401 0 vsize: 161856 [startup+900.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 39914 0 0 0 89847 166 0 0 25 0 1 0 639805027 167092224 39804 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40794 39804 1111 63 0 40731 0 vsize: 163176 [startup+910.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 40217 0 0 0 90846 167 0 0 25 0 1 0 639805027 168443904 40107 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41124 40107 1111 63 0 41061 0 vsize: 164496 [startup+920.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 40416 0 0 0 91845 168 0 0 25 0 1 0 639805027 169254912 40304 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41322 40304 1111 63 0 41259 0 vsize: 165288 [startup+930.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 40666 0 0 0 92844 169 0 0 25 0 1 0 639805027 170336256 40554 4294967295 134512640 134714508 3221221760 3221220528 134529115 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41586 40554 1111 63 0 41523 0 vsize: 166344 [startup+940.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 41007 0 0 0 93843 170 0 0 25 0 1 0 639805027 171687936 40895 4294967295 134512640 134714508 3221221760 3221220004 134697180 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 41916 40895 1111 63 0 41853 0 vsize: 167664 [startup+950.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 41272 0 0 0 94842 171 0 0 25 0 1 0 639805027 172830720 41156 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42195 41156 1111 63 0 42132 0 vsize: 168780 [startup+960.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 41646 0 0 0 95841 173 0 0 25 0 1 0 639805027 174325760 41530 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42560 41530 1111 63 0 42497 0 vsize: 170240 [startup+970.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 41905 0 0 0 96840 174 0 0 25 0 1 0 639805027 175431680 41788 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 42830 41788 1111 63 0 42767 0 vsize: 171320 [startup+980.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 42150 0 0 0 97839 175 0 0 25 0 1 0 639805027 176394240 42033 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43065 42033 1111 63 0 43002 0 vsize: 172260 [startup+990.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 42319 0 0 0 98838 175 0 0 25 0 1 0 639805027 177078272 42202 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43232 42202 1111 63 0 43169 0 vsize: 172928 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 42629 0 0 0 99837 177 0 0 25 0 1 0 639805027 178429952 42512 4294967295 134512640 134714508 3221221760 3221220244 134697327 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43562 42512 1111 63 0 43499 0 vsize: 174248 [startup+1010.03 s] Raw data (loadavg): 1.07 0.99 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 42855 0 0 0 100836 178 0 0 25 0 1 0 639805027 179400704 42737 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 43799 42737 1111 63 0 43736 0 vsize: 175196 [startup+1020.03 s] Raw data (loadavg): 1.06 0.99 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 43195 0 0 0 101835 180 0 0 25 0 1 0 639805027 180752384 43077 4294967295 134512640 134714508 3221221760 3221220396 134552682 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44129 43077 1111 63 0 44066 0 vsize: 176516 [startup+1030.03 s] Raw data (loadavg): 1.05 0.99 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 43374 0 0 0 102834 181 0 0 25 0 1 0 639805027 181432320 43256 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44295 43256 1111 63 0 44232 0 vsize: 177180 [startup+1040.03 s] Raw data (loadavg): 1.04 0.99 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 43703 0 0 0 103833 182 0 0 25 0 1 0 639805027 182784000 43585 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44625 43585 1111 63 0 44562 0 vsize: 178500 [startup+1050.03 s] Raw data (loadavg): 1.04 0.99 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 43820 0 0 0 104833 182 0 0 25 0 1 0 639805027 183373824 43698 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44769 43698 1111 63 0 44706 0 vsize: 179076 [startup+1060.03 s] Raw data (loadavg): 1.03 0.99 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 44070 0 0 0 105832 183 0 0 25 0 1 0 639805027 184320000 43946 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45000 43946 1111 63 0 44937 0 vsize: 180000 [startup+1070.03 s] Raw data (loadavg): 1.03 0.99 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 44344 0 0 0 106831 184 0 0 25 0 1 0 639805027 185401344 44220 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45264 44220 1111 63 0 45201 0 vsize: 181056 [startup+1080.03 s] Raw data (loadavg): 1.02 0.99 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 44508 0 0 0 107831 184 0 0 25 0 1 0 639805027 186077184 44384 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45429 44384 1111 63 0 45366 0 vsize: 181716 [startup+1090.03 s] Raw data (loadavg): 1.02 0.99 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 44696 0 0 0 108830 185 0 0 25 0 1 0 639805027 186888192 44572 4294967295 134512640 134714508 3221221760 3221220464 134528738 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45627 44572 1111 63 0 45564 0 vsize: 182508 [startup+1100.03 s] Raw data (loadavg): 1.01 0.99 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 44930 0 0 0 109830 186 0 0 25 0 1 0 639805027 187904000 44802 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 45875 44802 1111 63 0 45812 0 vsize: 183500 [startup+1110.03 s] Raw data (loadavg): 1.01 0.99 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 45114 0 0 0 110829 187 0 0 25 0 1 0 639805027 188653568 44985 4294967295 134512640 134714508 3221221760 3221220396 134552682 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46058 44985 1111 63 0 45995 0 vsize: 184232 [startup+1120.03 s] Raw data (loadavg): 1.01 0.99 0.96 2/54 23265 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 45384 0 0 0 111828 188 0 0 25 0 1 0 639805027 189747200 45253 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46325 45253 1111 63 0 46262 0 vsize: 185300 [startup+1130.14 s] Raw data (loadavg): 1.01 0.99 0.96 3/58 23311 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 45772 0 0 0 112835 191 0 0 25 0 1 0 639805027 191373312 45641 4294967295 134512640 134714508 3221221760 3221220544 134529269 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46722 45641 1111 63 0 46659 0 vsize: 186888 [startup+1140.14 s] Raw data (loadavg): 1.01 0.99 0.96 2/54 23314 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 46053 0 0 0 113833 192 0 0 25 0 1 0 639805027 192479232 45921 4294967295 134512640 134714508 3221221760 3221220496 134523932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46992 45921 1111 63 0 46929 0 vsize: 187968 [startup+1150.17 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 23314 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 46349 0 0 0 114836 193 0 0 25 0 1 0 639805027 193695744 46217 4294967295 134512640 134714508 3221221760 3221220544 134529259 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47289 46217 1111 63 0 47226 0 vsize: 189156 [startup+1160.28 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 23314 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 46577 0 0 0 115846 194 0 0 25 0 1 0 639805027 194641920 46445 4294967295 134512640 134714508 3221221760 3221220412 134536842 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47520 46445 1111 63 0 47457 0 vsize: 190080 [startup+1170.28 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 23314 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 46863 0 0 0 116845 195 0 0 25 0 1 0 639805027 195858432 46731 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47817 46731 1111 63 0 47754 0 vsize: 191268 [startup+1174.99 s] Raw data (loadavg): 1.00 0.99 0.96 1/53 23314 Raw data (stat): 23265 (bsolo_lpr_cuts) R 23264 7876 7672 0 -1 0 46863 0 0 0 116845 195 0 0 25 0 1 0 639805027 195858432 46731 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47817 46731 1111 63 0 47754 0 vsize: 0 Child status: 0 Real time (s): 1174.99 CPU time (s): 1175.12 CPU user time (s): 1173.07 CPU system time (s): 2.04569 CPU usage (%): 100.011 Max. virtual memory (Kb): 191268 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####