Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb |
MD5SUM | c8e6fe6db41022cd334d76fea54bd93c |
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.047992 |
Number of variables | 182 |
Total number of constraints | 154 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
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 00:39:33 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=227 boxname=wulflinc31 idbench=26 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: c8e6fe6db41022cd334d76fea54bd93c /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_11_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_11_sat_pb.cnf.cr.opb IDLAUNCH: 227 /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: 929364 kB Buffers: 37152 kB Cached: 46304 kB SwapCached: 864 kB Active: 71432 kB Inactive: 14396 kB HighTotal: 131008 kB HighFree: 83776 kB LowTotal: 903652 kB LowFree: 845588 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5504 kB Slab: 13952 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-02 00:59:09 (client local time) WITH STATUS 0 IN 1175.33 SECONDS stats: 227 7 1175.33 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 182 variables and 154 constraints. c After prepocess the problem consists of 182 variables and 154 constraints. c preprocess terminated 0.096 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.21 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.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (runsolver) R 17436 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 635864281 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.0003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 2788 0 0 0 983 12 0 0 25 0 1 0 635864281 14532608 2709 4294967295 134512640 134714508 3221221760 3221220544 134529252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3548 2709 1111 63 0 3485 0 vsize: 14192 [startup+20.0002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 3918 0 0 0 1977 17 0 0 25 0 1 0 635864281 19136512 3839 4294967295 134512640 134714508 3221221760 3221220416 134536675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4672 3839 1111 63 0 4609 0 vsize: 18688 [startup+30.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 4977 0 0 0 2974 21 0 0 25 0 1 0 635864281 23470080 4897 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5730 4897 1111 63 0 5667 0 vsize: 22920 [startup+40.0009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 5611 0 0 0 3972 23 0 0 25 0 1 0 635864281 26062848 5531 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6363 5531 1111 63 0 6300 0 vsize: 25452 [startup+50.0008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 6367 0 0 0 4969 26 0 0 25 0 1 0 635864281 29171712 6287 4294967295 134512640 134714508 3221221760 3221220544 134529097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7122 6287 1111 63 0 7059 0 vsize: 28488 [startup+60.0008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 6991 0 0 0 5967 28 0 0 25 0 1 0 635864281 31752192 6910 4294967295 134512640 134714508 3221221760 3221220428 134536748 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7752 6910 1111 63 0 7689 0 vsize: 31008 [startup+70.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 7500 0 0 0 6966 30 0 0 25 0 1 0 635864281 33779712 7419 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8247 7419 1111 63 0 8184 0 vsize: 32988 [startup+80.0017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 8339 0 0 0 7963 33 0 0 25 0 1 0 635864281 37306368 8257 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9108 8257 1111 63 0 9045 0 vsize: 36432 [startup+90.0016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 8918 0 0 0 8960 35 0 0 25 0 1 0 635864281 39636992 8836 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9677 8836 1111 63 0 9614 0 vsize: 38708 [startup+100.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 9469 0 0 0 9958 38 0 0 25 0 1 0 635864281 41963520 9385 4294967295 134512640 134714508 3221221760 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10245 9385 1111 63 0 10182 0 vsize: 40980 [startup+110.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 10260 0 0 0 10954 42 0 0 25 0 1 0 635864281 45228032 10176 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11042 10176 1111 63 0 10979 0 vsize: 44168 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 11173 0 0 0 11950 46 0 0 25 0 1 0 635864281 49016832 11089 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11967 11089 1111 63 0 11904 0 vsize: 47868 [startup+130.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 12104 0 0 0 12947 50 0 0 25 0 1 0 635864281 52817920 12020 4294967295 134512640 134714508 3221221760 3221220544 134529033 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12895 12020 1111 63 0 12832 0 vsize: 51580 [startup+140.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 13103 0 0 0 13943 53 0 0 25 0 1 0 635864281 57049088 13017 4294967295 134512640 134714508 3221221760 3221220544 134529404 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13928 13017 1111 63 0 13865 0 vsize: 55712 [startup+150.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 13697 0 0 0 14941 56 0 0 25 0 1 0 635864281 59490304 13611 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14524 13611 1111 63 0 14461 0 vsize: 58096 [startup+160.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 14308 0 0 0 15938 59 0 0 25 0 1 0 635864281 61923328 14220 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15118 14220 1111 63 0 15055 0 vsize: 60472 [startup+170.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 15114 0 0 0 16934 63 0 0 25 0 1 0 635864281 65175552 15026 4294967295 134512640 134714508 3221221760 3221220388 134696304 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15912 15026 1111 63 0 15849 0 vsize: 63648 [startup+180.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 15932 0 0 0 17931 66 0 0 25 0 1 0 635864281 68620288 15840 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16753 15840 1111 63 0 16690 0 vsize: 67012 [startup+190.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 16464 0 0 0 18929 68 0 0 25 0 1 0 635864281 70782976 16372 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17281 16372 1111 63 0 17218 0 vsize: 69124 [startup+200.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 16923 0 0 0 19928 70 0 0 25 0 1 0 635864281 72704000 16831 4294967295 134512640 134714508 3221221760 3221220448 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17750 16831 1111 63 0 17687 0 vsize: 71000 [startup+210.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 17575 0 0 0 20925 73 0 0 25 0 1 0 635864281 75431936 17482 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18416 17482 1111 63 0 18353 0 vsize: 73664 [startup+220.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 18423 0 0 0 21921 76 0 0 25 0 1 0 635864281 78897152 18326 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19262 18326 1111 63 0 19199 0 vsize: 77048 [startup+230.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 18905 0 0 0 22920 78 0 0 25 0 1 0 635864281 80924672 18808 4294967295 134512640 134714508 3221221760 3221220436 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19757 18808 1111 63 0 19694 0 vsize: 79028 [startup+240.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 19432 0 0 0 23918 80 0 0 25 0 1 0 635864281 83099648 19334 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20288 19334 1111 63 0 20225 0 vsize: 81152 [startup+250.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 20032 0 0 0 24915 83 0 0 25 0 1 0 635864281 85528576 19933 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20881 19933 1111 63 0 20818 0 vsize: 83524 [startup+260.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 20608 0 0 0 25913 85 0 0 25 0 1 0 635864281 87998464 20501 4294967295 134512640 134714508 3221221760 3221220472 134552673 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21484 20501 1111 63 0 21421 0 vsize: 85936 [startup+270.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 21063 0 0 0 26912 87 0 0 25 0 1 0 635864281 89899008 20956 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21948 20956 1111 63 0 21885 0 vsize: 87792 [startup+280.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 21525 0 0 0 27910 89 0 0 25 0 1 0 635864281 91791360 21417 4294967295 134512640 134714508 3221221760 3221220544 134529252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22410 21417 1111 63 0 22347 0 vsize: 89640 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 21955 0 0 0 28908 91 0 0 25 0 1 0 635864281 93609984 21847 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22854 21847 1111 63 0 22791 0 vsize: 91416 [startup+300.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 22270 0 0 0 29907 92 0 0 25 0 1 0 635864281 94863360 22161 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23160 22161 1111 63 0 23097 0 vsize: 92640 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 22688 0 0 0 30905 94 0 0 25 0 1 0 635864281 96665600 22579 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23600 22579 1111 63 0 23537 0 vsize: 94400 [startup+320.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 23025 0 0 0 31904 96 0 0 25 0 1 0 635864281 98086912 22916 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23947 22916 1111 63 0 23884 0 vsize: 95788 [startup+330.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 23398 0 0 0 32902 98 0 0 25 0 1 0 635864281 99622912 23285 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24322 23285 1111 63 0 24259 0 vsize: 97288 [startup+340.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 23785 0 0 0 33900 100 0 0 25 0 1 0 635864281 101310464 23663 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24734 23663 1111 63 0 24671 0 vsize: 98936 [startup+350.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 24105 0 0 0 34900 100 0 0 25 0 1 0 635864281 102662144 23983 4294967295 134512640 134714508 3221221760 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25064 23983 1111 63 0 25001 0 vsize: 100256 [startup+360.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 24464 0 0 0 35898 102 0 0 25 0 1 0 635864281 104148992 24342 4294967295 134512640 134714508 3221221760 3221220428 134536748 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25427 24342 1111 63 0 25364 0 vsize: 101708 [startup+370.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 24627 0 0 0 36897 103 0 0 25 0 1 0 635864281 104689664 24505 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25559 24505 1111 63 0 25496 0 vsize: 102236 [startup+380.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 25024 0 0 0 37896 105 0 0 25 0 1 0 635864281 106446848 24901 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25988 24901 1111 63 0 25925 0 vsize: 103952 [startup+390.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 25347 0 0 0 38894 107 0 0 25 0 1 0 635864281 107663360 25224 4294967295 134512640 134714508 3221221760 3221220432 134536700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26285 25224 1111 63 0 26222 0 vsize: 105140 [startup+400.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 25551 0 0 0 39894 107 0 0 25 0 1 0 635864281 108490752 25428 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26487 25428 1111 63 0 26424 0 vsize: 105948 [startup+410.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 25840 0 0 0 40892 109 0 0 25 0 1 0 635864281 109727744 25717 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26789 25717 1111 63 0 26726 0 vsize: 107156 [startup+420.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 26132 0 0 0 41892 110 0 0 25 0 1 0 635864281 110944256 26009 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27086 26009 1111 63 0 27023 0 vsize: 108344 [startup+430.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 26416 0 0 0 42890 112 0 0 25 0 1 0 635864281 112078848 26292 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27363 26292 1111 63 0 27300 0 vsize: 109452 [startup+440.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 26691 0 0 0 43889 113 0 0 25 0 1 0 635864281 113238016 26564 4294967295 134512640 134714508 3221221760 3221220544 134528807 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27646 26564 1111 63 0 27583 0 vsize: 110584 [startup+450.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 27016 0 0 0 44887 114 0 0 25 0 1 0 635864281 114593792 26889 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27977 26889 1111 63 0 27914 0 vsize: 111908 [startup+460.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 27367 0 0 0 45886 116 0 0 25 0 1 0 635864281 116043776 27238 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28331 27238 1111 63 0 28268 0 vsize: 113324 [startup+470.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 27620 0 0 0 46885 117 0 0 25 0 1 0 635864281 117133312 27491 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28597 27491 1111 63 0 28534 0 vsize: 114388 [startup+480.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 27921 0 0 0 47884 119 0 0 25 0 1 0 635864281 118398976 27788 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28906 27788 1111 63 0 28843 0 vsize: 115624 [startup+490.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 28218 0 0 0 48883 120 0 0 25 0 1 0 635864281 119648256 28085 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29211 28085 1111 63 0 29148 0 vsize: 116844 [startup+500.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 28543 0 0 0 49881 122 0 0 25 0 1 0 635864281 120999936 28410 4294967295 134512640 134714508 3221221760 3221220328 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29541 28410 1111 63 0 29478 0 vsize: 118164 [startup+510.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 28896 0 0 0 50880 123 0 0 25 0 1 0 635864281 122372096 28763 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29876 28763 1111 63 0 29813 0 vsize: 119504 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 29217 0 0 0 51878 125 0 0 25 0 1 0 635864281 123723776 29084 4294967295 134512640 134714508 3221221760 3221220464 134528687 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30206 29084 1111 63 0 30143 0 vsize: 120824 [startup+530.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 29431 0 0 0 52878 126 0 0 25 0 1 0 635864281 124551168 29298 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30408 29298 1111 63 0 30345 0 vsize: 121632 [startup+540.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 29673 0 0 0 53877 126 0 0 25 0 1 0 635864281 125640704 29529 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30674 29529 1111 63 0 30611 0 vsize: 122696 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 30302 0 0 0 54874 130 0 0 25 0 1 0 635864281 128364544 30156 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31339 30156 1111 63 0 31276 0 vsize: 125356 [startup+560.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 30854 0 0 0 55872 132 0 0 25 0 1 0 635864281 130527232 30708 4294967295 134512640 134714508 3221221760 3221220316 134535942 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31867 30708 1111 63 0 31804 0 vsize: 127468 [startup+570.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 31247 0 0 0 56869 135 0 0 25 0 1 0 635864281 132149248 31101 4294967295 134512640 134714508 3221221760 3221220316 134535676 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32263 31101 1111 63 0 32200 0 vsize: 129052 [startup+580.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 31691 0 0 0 57867 137 0 0 25 0 1 0 635864281 133906432 31545 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32692 31545 1111 63 0 32629 0 vsize: 130768 [startup+590.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 32210 0 0 0 58866 139 0 0 25 0 1 0 635864281 136155136 32063 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33241 32063 1111 63 0 33178 0 vsize: 132964 [startup+600.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 32625 0 0 0 59864 141 0 0 25 0 1 0 635864281 137936896 32477 4294967295 134512640 134714508 3221221760 3221220416 134536707 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33676 32477 1111 63 0 33613 0 vsize: 134704 [startup+610.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 33081 0 0 0 60863 142 0 0 25 0 1 0 635864281 139694080 32933 4294967295 134512640 134714508 3221221760 3221220316 134535942 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34105 32933 1111 63 0 34042 0 vsize: 136420 [startup+620.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 33523 0 0 0 61862 143 0 0 25 0 1 0 635864281 141586432 33375 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34567 33375 1111 63 0 34504 0 vsize: 138268 [startup+630.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 33740 0 0 0 62861 144 0 0 25 0 1 0 635864281 142397440 33592 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34765 33592 1111 63 0 34702 0 vsize: 139060 [startup+640.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 34072 0 0 0 63860 146 0 0 25 0 1 0 635864281 143749120 33924 4294967295 134512640 134714508 3221221760 3221220412 134536848 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35095 33924 1111 63 0 35032 0 vsize: 140380 [startup+650.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 34419 0 0 0 64858 147 0 0 25 0 1 0 635864281 145235968 34271 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35458 34271 1111 63 0 35395 0 vsize: 141832 [startup+660.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 34804 0 0 0 65856 149 0 0 25 0 1 0 635864281 146722816 34656 4294967295 134512640 134714508 3221221760 3221220256 134535471 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35821 34656 1111 63 0 35758 0 vsize: 143284 [startup+670.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 35062 0 0 0 66855 151 0 0 25 0 1 0 635864281 147804160 34914 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36085 34914 1111 63 0 36022 0 vsize: 144340 [startup+680.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 35328 0 0 0 67854 152 0 0 25 0 1 0 635864281 148901888 35179 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36353 35179 1111 63 0 36290 0 vsize: 145412 [startup+690.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 35665 0 0 0 68853 153 0 0 25 0 1 0 635864281 150257664 35516 4294967295 134512640 134714508 3221221760 3221220316 134535623 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36684 35516 1111 63 0 36621 0 vsize: 146736 [startup+700.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 35991 0 0 0 69852 155 0 0 25 0 1 0 635864281 151613440 35842 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37015 35842 1111 63 0 36952 0 vsize: 148060 [startup+710.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 36374 0 0 0 70850 157 0 0 25 0 1 0 635864281 153235456 36225 4294967295 134512640 134714508 3221221760 3221220464 134528699 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37411 36225 1111 63 0 37348 0 vsize: 149644 [startup+720.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 36730 0 0 0 71849 158 0 0 25 0 1 0 635864281 154722304 36581 4294967295 134512640 134714508 3221221760 3221220544 134529390 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37774 36581 1111 63 0 37711 0 vsize: 151096 [startup+730.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 37018 0 0 0 72848 159 0 0 25 0 1 0 635864281 155881472 36869 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38057 36869 1111 63 0 37994 0 vsize: 152228 [startup+740.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 37328 0 0 0 73847 160 0 0 25 0 1 0 635864281 157233152 37179 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38387 37179 1111 63 0 38324 0 vsize: 153548 [startup+750.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 37615 0 0 0 74846 162 0 0 25 0 1 0 635864281 158314496 37466 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38651 37466 1111 63 0 38588 0 vsize: 154604 [startup+760.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 37813 0 0 0 75845 163 0 0 25 0 1 0 635864281 159203328 37660 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38868 37660 1111 63 0 38805 0 vsize: 155472 [startup+770.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 38034 0 0 0 76844 164 0 0 25 0 1 0 635864281 160149504 37880 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39099 37880 1111 63 0 39036 0 vsize: 156396 [startup+780.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 38294 0 0 0 77843 165 0 0 25 0 1 0 635864281 161095680 38140 4294967295 134512640 134714508 3221221760 3221220544 134529097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39330 38140 1111 63 0 39267 0 vsize: 157320 [startup+790.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 38646 0 0 0 78842 166 0 0 25 0 1 0 635864281 162582528 38492 4294967295 134512640 134714508 3221221760 3221220464 134528702 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39693 38492 1111 63 0 39630 0 vsize: 158772 [startup+800.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 39002 0 0 0 79841 168 0 0 25 0 1 0 635864281 164069376 38848 4294967295 134512640 134714508 3221221760 3221220288 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40056 38848 1111 63 0 39993 0 vsize: 160224 [startup+810.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 39386 0 0 0 80839 170 0 0 25 0 1 0 635864281 165556224 39232 4294967295 134512640 134714508 3221221760 3221220400 134539437 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40419 39232 1111 63 0 40356 0 vsize: 161676 [startup+820.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 39802 0 0 0 81837 172 0 0 25 0 1 0 635864281 167358464 39648 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40859 39648 1111 63 0 40796 0 vsize: 163436 [startup+830.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 40084 0 0 0 82835 174 0 0 25 0 1 0 635864281 168439808 39929 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41123 39929 1111 63 0 41060 0 vsize: 164492 [startup+840.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 40405 0 0 0 83833 176 0 0 25 0 1 0 635864281 169791488 40250 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41453 40250 1111 63 0 41390 0 vsize: 165812 [startup+850.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 40700 0 0 0 84832 178 0 0 25 0 1 0 635864281 171020288 40544 4294967295 134512640 134714508 3221221760 3221220316 134535962 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41753 40544 1111 63 0 41690 0 vsize: 167012 [startup+860.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 41023 0 0 0 85831 179 0 0 25 0 1 0 635864281 172371968 40867 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42083 40867 1111 63 0 42020 0 vsize: 168332 [startup+870.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 41368 0 0 0 86828 181 0 0 25 0 1 0 635864281 173858816 41212 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42446 41212 1111 63 0 42383 0 vsize: 169784 [startup+880.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 41542 0 0 0 87828 182 0 0 25 0 1 0 635864281 174428160 41383 4294967295 134512640 134714508 3221221760 3221220288 134535448 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42585 41383 1111 63 0 42522 0 vsize: 170340 [startup+890.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 41708 0 0 0 88828 182 0 0 25 0 1 0 635864281 175104000 41549 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42750 41549 1111 63 0 42687 0 vsize: 171000 [startup+900.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 41840 0 0 0 89827 183 0 0 25 0 1 0 635864281 175644672 41681 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42882 41681 1111 63 0 42819 0 vsize: 171528 [startup+910.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 42030 0 0 0 90827 183 0 0 25 0 1 0 635864281 176455680 41871 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43080 41871 1111 63 0 43017 0 vsize: 172320 [startup+920.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 42241 0 0 0 91826 185 0 0 25 0 1 0 635864281 177401856 42082 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43311 42082 1111 63 0 43248 0 vsize: 173244 [startup+930.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 42396 0 0 0 92826 185 0 0 25 0 1 0 635864281 177942528 42237 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43443 42237 1111 63 0 43380 0 vsize: 173772 [startup+940.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 42559 0 0 0 93825 186 0 0 25 0 1 0 635864281 178618368 42400 4294967295 134512640 134714508 3221221760 3221220464 134528617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43608 42400 1111 63 0 43545 0 vsize: 174432 [startup+950.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 42699 0 0 0 94825 187 0 0 25 0 1 0 635864281 179159040 42540 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43740 42540 1111 63 0 43677 0 vsize: 174960 [startup+960.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 42832 0 0 0 95825 187 0 0 25 0 1 0 635864281 179699712 42673 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43872 42673 1111 63 0 43809 0 vsize: 175488 [startup+970.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 42944 0 0 0 96824 188 0 0 25 0 1 0 635864281 180240384 42785 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44004 42785 1111 63 0 43941 0 vsize: 176016 [startup+980.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 43108 0 0 0 97823 189 0 0 25 0 1 0 635864281 180916224 42949 4294967295 134512640 134714508 3221221760 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44169 42949 1111 63 0 44106 0 vsize: 176676 [startup+990.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 43261 0 0 0 98822 190 0 0 25 0 1 0 635864281 181456896 43102 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44301 43102 1111 63 0 44238 0 vsize: 177204 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 43402 0 0 0 99822 190 0 0 25 0 1 0 635864281 182132736 43243 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44466 43243 1111 63 0 44403 0 vsize: 177864 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 43523 0 0 0 100822 191 0 0 25 0 1 0 635864281 182542336 43364 4294967295 134512640 134714508 3221221760 3221220440 134551956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44566 43364 1111 63 0 44503 0 vsize: 178264 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 43646 0 0 0 101821 192 0 0 25 0 1 0 635864281 183083008 43487 4294967295 134512640 134714508 3221221760 3221220496 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44698 43487 1111 63 0 44635 0 vsize: 178792 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 43751 0 0 0 102820 193 0 0 25 0 1 0 635864281 183492608 43592 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44798 43592 1111 63 0 44735 0 vsize: 179192 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 43873 0 0 0 103820 193 0 0 25 0 1 0 635864281 184033280 43714 4294967295 134512640 134714508 3221221760 3221220384 134549533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44930 43714 1111 63 0 44867 0 vsize: 179720 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 43988 0 0 0 104820 194 0 0 25 0 1 0 635864281 184442880 43829 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45030 43829 1111 63 0 44967 0 vsize: 180120 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 44092 0 0 0 105819 194 0 0 25 0 1 0 635864281 184848384 43933 4294967295 134512640 134714508 3221221760 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45129 43933 1111 63 0 45066 0 vsize: 180516 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 44234 0 0 0 106819 194 0 0 25 0 1 0 635864281 185524224 44075 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45294 44075 1111 63 0 45231 0 vsize: 181176 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 44404 0 0 0 107819 195 0 0 25 0 1 0 635864281 186200064 44245 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45459 44245 1111 63 0 45396 0 vsize: 181836 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 44518 0 0 0 108818 195 0 0 25 0 1 0 635864281 186605568 44359 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45558 44359 1111 63 0 45495 0 vsize: 182232 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 44673 0 0 0 109818 196 0 0 25 0 1 0 635864281 187281408 44514 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45723 44514 1111 63 0 45660 0 vsize: 182892 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 44796 0 0 0 110818 197 0 0 25 0 1 0 635864281 187822080 44637 4294967295 134512640 134714508 3221221760 3221220444 134552651 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45855 44637 1111 63 0 45792 0 vsize: 183420 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 44935 0 0 0 111817 197 0 0 25 0 1 0 635864281 188428288 44773 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46003 44773 1111 63 0 45940 0 vsize: 184012 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 45092 0 0 0 112817 198 0 0 25 0 1 0 635864281 189104128 44930 4294967295 134512640 134714508 3221221760 3221220352 134549600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46168 44930 1111 63 0 46105 0 vsize: 184672 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 45311 0 0 0 113816 199 0 0 25 0 1 0 635864281 190050304 45149 4294967295 134512640 134714508 3221221760 3221219764 134697180 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46399 45149 1111 63 0 46336 0 vsize: 185596 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 45505 0 0 0 114815 200 0 0 25 0 1 0 635864281 190861312 45343 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46597 45343 1111 63 0 46534 0 vsize: 186388 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 45696 0 0 0 115815 200 0 0 25 0 1 0 635864281 191537152 45534 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46762 45534 1111 63 0 46699 0 vsize: 187048 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 45907 0 0 0 116813 202 0 0 25 0 1 0 635864281 192483328 45745 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46993 45745 1111 63 0 46930 0 vsize: 187972 [startup+1175.19 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 17437 Raw data (stat): 17437 (bsolo_lpr_cuts) R 17436 7876 7672 0 -1 0 45907 0 0 0 116813 202 0 0 25 0 1 0 635864281 192483328 45745 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46993 45745 1111 63 0 46930 0 vsize: 0 Child status: 0 Real time (s): 1175.19 CPU time (s): 1175.33 CPU user time (s): 1173.21 CPU system time (s): 2.11468 CPU usage (%): 100.011 Max. virtual memory (Kb): 187972 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####