Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb |
MD5SUM | 5a251e27b2dc8cbc7d3f3836a6772e10 |
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 | 11 |
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.044992 |
Number of variables | 150 |
Total number of constraints | 130 |
Number of constraints which are clauses | 110 |
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 | 10 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-04-30 19:47:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2 boxname=wulflinc31 idbench=1 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 5a251e27b2dc8cbc7d3f3836a6772e10 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_10_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_10_sat_pb.cnf.cr.opb IDLAUNCH: 2 /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: 933640 kB Buffers: 34908 kB Cached: 44060 kB SwapCached: 864 kB Active: 59868 kB Inactive: 21400 kB HighTotal: 131008 kB HighFree: 85988 kB LowTotal: 903652 kB LowFree: 847652 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5512 kB Slab: 14172 kB Committed_AS: 63668 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-30 20:02:59 (client local time) WITH STATUS 10 IN 929.355 SECONDS stats: 2 0 929.355 10 #### 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 150 variables and 130 constraints. c After prepocess the problem consists of 150 variables and 130 constraints. c preprocess terminated 0.081 s c Not use computed LB before first solution. c NEW SOLUTION FOUND: 0 @ 929.273 s SATISFIABLE v -v30 v146 -v147 -v148 -v149 -v150 -v80 v39 -v141 -v142 v143 -v144 -v145 v27 -v131 -v132 -v133 -v134 v135 -v18 -v136 -v137 -v138 v139 -v140 -v11 -v12 -v13 -v14 -v15 v16 -v17 -v19 -v20 -v40 -v81 -v82 -v83 -v84 -v85 -v86 -v87 -v88 -v89 v90 -v49 -v93 v111 -v112 -v113 -v114 -v115 -v73 -v21 -v101 -v102 -v103 v104 -v105 -v7 -v106 -v107 v108 -v109 -v110 -v75 -v121 -v122 -v123 -v124 v125 -v65 -v9 -v35 -v99 -v31 -v61 -v8 -v24 -v116 v117 -v118 -v119 -v120 -v22 -v23 -v25 -v26 -v28 -v29 -v52 v78 -v70 v45 -v50 -v97 -v126 v127 -v128 -v129 -v130 -v1 v2 -v3 -v4 -v5 -v6 -v10 -v62 -v36 -v32 -v46 -v55 -v33 -v58 -v96 -v98 -v79 -v59 -v37 -v63 v64 -v66 -v67 -v68 -v69 -v47 v91 -v44 -v76 -v34 -v38 -v92 -v94 -v95 -v100 -v54 -v72 v53 -v57 -v41 -v42 -v43 -v48 -v60 -v71 -v74 -v77 -v51 -v56 c Exit Code: 10 c Total time: 929.274 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.92 0.93 0.60 2/54 3873 Raw data (stat): 3873 (runsolver) R 3872 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 625470661 1056768 100 4294967295 134512640 135381576 3221221632 3221216848 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0001 s] Raw data (loadavg): 0.93 0.93 0.60 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 2147 0 0 0 985 11 0 0 25 0 1 0 625470661 11833344 2068 4294967295 134512640 134714508 3221221728 3221220384 134523856 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2889 2068 1111 63 0 2826 0 vsize: 11556 [startup+20.0011 s] Raw data (loadavg): 0.94 0.93 0.61 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 3393 0 0 0 1979 16 0 0 25 0 1 0 625470661 17104896 3314 4294967295 134512640 134714508 3221221728 3221220368 134696103 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4176 3314 1111 63 0 4113 0 vsize: 16704 [startup+30.002 s] Raw data (loadavg): 0.95 0.93 0.61 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 4347 0 0 0 2974 22 0 0 25 0 1 0 625470661 21049344 4267 4294967295 134512640 134714508 3221221728 3221220320 134549517 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5139 4267 1111 63 0 5076 0 vsize: 20556 [startup+40.003 s] Raw data (loadavg): 0.96 0.93 0.62 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 5007 0 0 0 3970 26 0 0 25 0 1 0 625470661 23793664 4926 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5809 4926 1111 63 0 5746 0 vsize: 23236 [startup+50.0042 s] Raw data (loadavg): 0.96 0.94 0.62 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 5773 0 0 0 4967 29 0 0 25 0 1 0 625470661 26931200 5689 4294967295 134512640 134714508 3221221728 3221220320 134549686 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6575 5689 1111 63 0 6512 0 vsize: 26300 [startup+60.0048 s] Raw data (loadavg): 0.97 0.94 0.62 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 6324 0 0 0 5963 33 0 0 25 0 1 0 625470661 29245440 6240 4294967295 134512640 134714508 3221221728 3221220372 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7140 6240 1111 63 0 7077 0 vsize: 28560 [startup+70.0058 s] Raw data (loadavg): 0.97 0.94 0.63 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 7215 0 0 0 6958 38 0 0 25 0 1 0 625470661 32894976 7131 4294967295 134512640 134714508 3221221728 3221220284 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8031 7131 1111 63 0 7968 0 vsize: 32124 [startup+80.0064 s] Raw data (loadavg): 0.98 0.94 0.63 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 7846 0 0 0 7956 40 0 0 25 0 1 0 625470661 35463168 7762 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8658 7762 1111 63 0 8595 0 vsize: 34632 [startup+90.0074 s] Raw data (loadavg): 0.98 0.94 0.64 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 8296 0 0 0 8954 42 0 0 25 0 1 0 625470661 37240832 8210 4294967295 134512640 134714508 3221221728 3221220384 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9092 8210 1111 63 0 9029 0 vsize: 36368 [startup+100.007 s] Raw data (loadavg): 0.98 0.94 0.64 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 8688 0 0 0 9952 45 0 0 25 0 1 0 625470661 38866944 8602 4294967295 134512640 134714508 3221221728 3221220320 134549594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9489 8602 1111 63 0 9426 0 vsize: 37956 [startup+110.008 s] Raw data (loadavg): 0.98 0.94 0.64 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 9184 0 0 0 10950 47 0 0 25 0 1 0 625470661 40894464 9098 4294967295 134512640 134714508 3221221728 3221220320 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9984 9098 1111 63 0 9921 0 vsize: 39936 [startup+120.008 s] Raw data (loadavg): 0.99 0.95 0.65 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 9681 0 0 0 11948 49 0 0 25 0 1 0 625470661 42921984 9595 4294967295 134512640 134714508 3221221728 3221220304 134549802 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10479 9595 1111 63 0 10416 0 vsize: 41916 [startup+130.008 s] Raw data (loadavg): 0.99 0.95 0.65 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 10116 0 0 0 12946 51 0 0 25 0 1 0 625470661 44826624 10028 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10944 10028 1111 63 0 10881 0 vsize: 43776 [startup+140.009 s] Raw data (loadavg): 0.99 0.95 0.65 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 10500 0 0 0 13944 53 0 0 25 0 1 0 625470661 46313472 10412 4294967295 134512640 134714508 3221221728 3221220300 134535488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11307 10412 1111 63 0 11244 0 vsize: 45228 [startup+150.01 s] Raw data (loadavg): 0.99 0.95 0.65 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 10808 0 0 0 14943 54 0 0 25 0 1 0 625470661 47665152 10720 4294967295 134512640 134714508 3221221728 3221220512 134529177 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11637 10720 1111 63 0 11574 0 vsize: 46548 [startup+160.01 s] Raw data (loadavg): 0.99 0.95 0.66 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 11208 0 0 0 15942 56 0 0 25 0 1 0 625470661 49295360 11119 4294967295 134512640 134714508 3221221728 3221220384 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12035 11119 1111 63 0 11972 0 vsize: 48140 [startup+170.011 s] Raw data (loadavg): 0.99 0.95 0.66 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 11470 0 0 0 16941 57 0 0 25 0 1 0 625470661 50241536 11380 4294967295 134512640 134714508 3221221728 3221220284 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12266 11380 1111 63 0 12203 0 vsize: 49064 [startup+180.011 s] Raw data (loadavg): 0.99 0.95 0.66 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 11756 0 0 0 17939 59 0 0 25 0 1 0 625470661 51458048 11666 4294967295 134512640 134714508 3221221728 3221220168 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12563 11666 1111 63 0 12500 0 vsize: 50252 [startup+190.012 s] Raw data (loadavg): 0.99 0.95 0.67 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 11990 0 0 0 18938 60 0 0 25 0 1 0 625470661 52420608 11900 4294967295 134512640 134714508 3221221728 3221220512 134529192 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12798 11900 1111 63 0 12735 0 vsize: 51192 [startup+200.012 s] Raw data (loadavg): 0.99 0.95 0.67 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 12206 0 0 0 19937 61 0 0 25 0 1 0 625470661 53403648 12116 4294967295 134512640 134714508 3221221728 3221220440 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13038 12116 1111 63 0 12975 0 vsize: 52152 [startup+210.012 s] Raw data (loadavg): 0.99 0.95 0.67 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 12406 0 0 0 20936 62 0 0 25 0 1 0 625470661 54079488 12316 4294967295 134512640 134714508 3221221728 3221220304 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13203 12316 1111 63 0 13140 0 vsize: 52812 [startup+220.013 s] Raw data (loadavg): 0.99 0.96 0.67 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 12657 0 0 0 21935 64 0 0 25 0 1 0 625470661 55185408 12567 4294967295 134512640 134714508 3221221728 3221220320 134549544 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13473 12567 1111 63 0 13410 0 vsize: 53892 [startup+230.013 s] Raw data (loadavg): 0.99 0.96 0.68 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 12871 0 0 0 22934 65 0 0 25 0 1 0 625470661 56156160 12779 4294967295 134512640 134714508 3221221728 3221220452 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13710 12779 1111 63 0 13647 0 vsize: 54840 [startup+240.014 s] Raw data (loadavg): 0.99 0.96 0.68 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 13026 0 0 0 23934 66 0 0 25 0 1 0 625470661 56881152 12934 4294967295 134512640 134714508 3221221728 3221220224 134535335 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13887 12934 1111 63 0 13824 0 vsize: 55548 [startup+250.015 s] Raw data (loadavg): 0.99 0.96 0.68 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 13227 0 0 0 24933 67 0 0 25 0 1 0 625470661 57696256 13135 4294967295 134512640 134714508 3221221728 3221220296 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14086 13135 1111 63 0 14023 0 vsize: 56344 [startup+260.015 s] Raw data (loadavg): 0.99 0.96 0.69 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 13384 0 0 0 25932 68 0 0 25 0 1 0 625470661 58249216 13292 4294967295 134512640 134714508 3221221728 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14221 13292 1111 63 0 14158 0 vsize: 56884 [startup+270.015 s] Raw data (loadavg): 0.99 0.96 0.69 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 13683 0 0 0 26932 68 0 0 25 0 1 0 625470661 59609088 13591 4294967295 134512640 134714508 3221221728 3221220288 134542365 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14553 13591 1111 63 0 14490 0 vsize: 58212 [startup+280.015 s] Raw data (loadavg): 0.99 0.96 0.69 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 14470 0 0 0 27929 71 0 0 25 0 1 0 625470661 62857216 14378 4294967295 134512640 134714508 3221221728 3221220284 134535631 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15346 14378 1111 63 0 15283 0 vsize: 61384 [startup+290.017 s] Raw data (loadavg): 0.99 0.96 0.70 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 15048 0 0 0 28927 73 0 0 25 0 1 0 625470661 65155072 14956 4294967295 134512640 134714508 3221221728 3221220456 134535787 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15907 14956 1111 63 0 15844 0 vsize: 63628 [startup+300.017 s] Raw data (loadavg): 0.99 0.96 0.70 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 15513 0 0 0 29925 76 0 0 25 0 1 0 625470661 67047424 15421 4294967295 134512640 134714508 3221221728 3221220320 134549544 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16369 15421 1111 63 0 16306 0 vsize: 65476 [startup+310.017 s] Raw data (loadavg): 0.99 0.96 0.70 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 15799 0 0 0 30923 78 0 0 25 0 1 0 625470661 68128768 15707 4294967295 134512640 134714508 3221221728 3221220384 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16633 15707 1111 63 0 16570 0 vsize: 66532 [startup+320.018 s] Raw data (loadavg): 0.99 0.97 0.70 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 16053 0 0 0 31922 79 0 0 25 0 1 0 625470661 69210112 15961 4294967295 134512640 134714508 3221221728 3221220380 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16897 15961 1111 63 0 16834 0 vsize: 67588 [startup+330.018 s] Raw data (loadavg): 0.99 0.97 0.71 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 16384 0 0 0 32920 81 0 0 25 0 1 0 625470661 70737920 16291 4294967295 134512640 134714508 3221221728 3221220384 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17270 16291 1111 63 0 17207 0 vsize: 69080 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.71 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 16965 0 0 0 33918 83 0 0 25 0 1 0 625470661 73109504 16871 4294967295 134512640 134714508 3221221728 3221220368 134523362 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17849 16871 1111 63 0 17786 0 vsize: 71396 [startup+350.02 s] Raw data (loadavg): 0.99 0.97 0.71 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 17391 0 0 0 34917 85 0 0 25 0 1 0 625470661 74895360 17295 4294967295 134512640 134714508 3221221728 3221220464 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18285 17295 1111 63 0 18222 0 vsize: 73140 [startup+360.02 s] Raw data (loadavg): 0.99 0.97 0.72 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 17769 0 0 0 35915 87 0 0 25 0 1 0 625470661 76382208 17673 4294967295 134512640 134714508 3221221728 3221220348 1076647867 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18648 17673 1111 63 0 18585 0 vsize: 74592 [startup+370.021 s] Raw data (loadavg): 0.99 0.97 0.72 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 18097 0 0 0 36913 89 0 0 25 0 1 0 625470661 77750272 18001 4294967295 134512640 134714508 3221221728 3221220444 134552672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18982 18001 1111 63 0 18919 0 vsize: 75928 [startup+380.022 s] Raw data (loadavg): 0.99 0.97 0.72 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 18352 0 0 0 37912 91 0 0 25 0 1 0 625470661 78884864 18256 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19259 18256 1111 63 0 19196 0 vsize: 77036 [startup+390.023 s] Raw data (loadavg): 0.99 0.97 0.72 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 18643 0 0 0 38911 92 0 0 25 0 1 0 625470661 80068608 18542 4294967295 134512640 134714508 3221221728 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19548 18542 1111 63 0 19485 0 vsize: 78192 [startup+400.023 s] Raw data (loadavg): 0.99 0.97 0.73 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 18955 0 0 0 39910 93 0 0 25 0 1 0 625470661 81354752 18852 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19862 18852 1111 63 0 19799 0 vsize: 79448 [startup+410.023 s] Raw data (loadavg): 0.99 0.97 0.73 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 19240 0 0 0 40909 94 0 0 25 0 1 0 625470661 82669568 19135 4294967295 134512640 134714508 3221221728 3221220284 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20183 19135 1111 63 0 20120 0 vsize: 80732 [startup+420.024 s] Raw data (loadavg): 0.99 0.97 0.73 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 19447 0 0 0 41908 95 0 0 25 0 1 0 625470661 83681280 19333 4294967295 134512640 134714508 3221221728 3221220320 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20430 19333 1111 63 0 20367 0 vsize: 81720 [startup+430.024 s] Raw data (loadavg): 0.99 0.97 0.73 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 19862 0 0 0 42906 97 0 0 25 0 1 0 625470661 85520384 19746 4294967295 134512640 134714508 3221221728 3221220400 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20879 19746 1111 63 0 20816 0 vsize: 83516 [startup+440.025 s] Raw data (loadavg): 0.99 0.97 0.74 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 20294 0 0 0 43904 100 0 0 25 0 1 0 625470661 87277568 20178 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21308 20178 1111 63 0 21245 0 vsize: 85232 [startup+450.025 s] Raw data (loadavg): 0.99 0.97 0.74 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 20682 0 0 0 44902 102 0 0 25 0 1 0 625470661 88907776 20566 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21706 20566 1111 63 0 21643 0 vsize: 86824 [startup+460.025 s] Raw data (loadavg): 0.99 0.97 0.74 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 20917 0 0 0 45901 103 0 0 25 0 1 0 625470661 89853952 20801 4294967295 134512640 134714508 3221221728 3221220384 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21937 20801 1111 63 0 21874 0 vsize: 87748 [startup+470.026 s] Raw data (loadavg): 0.99 0.97 0.74 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 21127 0 0 0 46900 104 0 0 25 0 1 0 625470661 90664960 21011 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22135 21011 1111 63 0 22072 0 vsize: 88540 [startup+480.025 s] Raw data (loadavg): 0.99 0.97 0.74 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 21342 0 0 0 47899 105 0 0 25 0 1 0 625470661 91611136 21226 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22366 21226 1111 63 0 22303 0 vsize: 89464 [startup+490.026 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 21558 0 0 0 48898 106 0 0 25 0 1 0 625470661 92639232 21436 4294967295 134512640 134714508 3221221728 3221220284 134535664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22617 21436 1111 63 0 22554 0 vsize: 90468 [startup+500.027 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 21742 0 0 0 49897 108 0 0 25 0 1 0 625470661 93315072 21620 4294967295 134512640 134714508 3221221728 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22782 21620 1111 63 0 22719 0 vsize: 91128 [startup+510.027 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 21989 0 0 0 50896 109 0 0 25 0 1 0 625470661 94375936 21859 4294967295 134512640 134714508 3221221728 3221220384 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23041 21859 1111 63 0 22978 0 vsize: 92164 [startup+520.028 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 22153 0 0 0 51895 110 0 0 25 0 1 0 625470661 95096832 22023 4294967295 134512640 134714508 3221221728 3221220452 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23217 22023 1111 63 0 23154 0 vsize: 92868 [startup+530.03 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 22277 0 0 0 52894 111 0 0 25 0 1 0 625470661 95637504 22147 4294967295 134512640 134714508 3221221728 3221220432 134528595 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23349 22147 1111 63 0 23286 0 vsize: 93396 [startup+540.03 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 22491 0 0 0 53894 112 0 0 25 0 1 0 625470661 96448512 22361 4294967295 134512640 134714508 3221221728 3221220356 134551958 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23547 22361 1111 63 0 23484 0 vsize: 94188 [startup+550.03 s] Raw data (loadavg): 0.99 0.97 0.76 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 22877 0 0 0 54892 113 0 0 25 0 1 0 625470661 98136064 22743 4294967295 134512640 134714508 3221221728 3221220384 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23959 22743 1111 63 0 23896 0 vsize: 95836 [startup+560.03 s] Raw data (loadavg): 0.99 0.97 0.76 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 23188 0 0 0 55891 115 0 0 25 0 1 0 625470661 99389440 23054 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24265 23054 1111 63 0 24202 0 vsize: 97060 [startup+570.031 s] Raw data (loadavg): 0.99 0.97 0.76 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 23406 0 0 0 56890 116 0 0 25 0 1 0 625470661 100335616 23272 4294967295 134512640 134714508 3221221728 3221220380 134536793 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24496 23272 1111 63 0 24433 0 vsize: 97984 [startup+580.032 s] Raw data (loadavg): 0.99 0.97 0.76 3/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 23617 0 0 0 57888 118 0 0 25 0 1 0 625470661 101224448 23483 4294967295 134512640 134714508 3221221728 3221220364 134552672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24713 23483 1111 63 0 24650 0 vsize: 98852 [startup+590.033 s] Raw data (loadavg): 0.99 0.97 0.76 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 23934 0 0 0 58886 120 0 0 25 0 1 0 625470661 102563840 23797 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25040 23797 1111 63 0 24977 0 vsize: 100160 [startup+600.034 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 24207 0 0 0 59885 122 0 0 25 0 1 0 625470661 103858176 24069 4294967295 134512640 134714508 3221221728 3221220464 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25356 24069 1111 63 0 25293 0 vsize: 101424 [startup+610.034 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 24396 0 0 0 60884 123 0 0 25 0 1 0 625470661 104534016 24258 4294967295 134512640 134714508 3221221728 3221220320 134549697 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25521 24258 1111 63 0 25458 0 vsize: 102084 [startup+620.035 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 24528 0 0 0 61884 123 0 0 25 0 1 0 625470661 105074688 24390 4294967295 134512640 134714508 3221221728 3221220464 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25653 24390 1111 63 0 25590 0 vsize: 102612 [startup+630.035 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 24769 0 0 0 62883 124 0 0 25 0 1 0 625470661 106250240 24623 4294967295 134512640 134714508 3221221728 3221220416 134551897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 25940 24623 1111 63 0 25877 0 vsize: 103760 [startup+640.036 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 24928 0 0 0 63882 125 0 0 25 0 1 0 625470661 106926080 24782 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26105 24782 1111 63 0 26042 0 vsize: 104420 [startup+650.037 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 25100 0 0 0 64882 126 0 0 25 0 1 0 625470661 107536384 24953 4294967295 134512640 134714508 3221221728 3221220372 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26254 24953 1111 63 0 26191 0 vsize: 105016 [startup+660.036 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 25361 0 0 0 65881 127 0 0 25 0 1 0 625470661 108683264 25205 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26534 25205 1111 63 0 26471 0 vsize: 106136 [startup+670.037 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 25559 0 0 0 66880 128 0 0 25 0 1 0 625470661 109522944 25403 4294967295 134512640 134714508 3221221728 3221220304 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26739 25403 1111 63 0 26676 0 vsize: 106956 [startup+680.038 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 25848 0 0 0 67879 130 0 0 25 0 1 0 625470661 110682112 25692 4294967295 134512640 134714508 3221221728 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27022 25692 1111 63 0 26959 0 vsize: 108088 [startup+690.039 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 26100 0 0 0 68878 131 0 0 25 0 1 0 625470661 111828992 25937 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27302 25937 1111 63 0 27239 0 vsize: 109208 [startup+700.039 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 26264 0 0 0 69878 131 0 0 25 0 1 0 625470661 112504832 26101 4294967295 134512640 134714508 3221221728 3221220416 134551897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27467 26101 1111 63 0 27404 0 vsize: 109868 [startup+710.039 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 26439 0 0 0 70877 132 0 0 25 0 1 0 625470661 113180672 26276 4294967295 134512640 134714508 3221221728 3221220320 134549686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27632 26276 1111 63 0 27569 0 vsize: 110528 [startup+720.04 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 26653 0 0 0 71875 134 0 0 25 0 1 0 625470661 113999872 26488 4294967295 134512640 134714508 3221221728 3221220432 134528617 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27832 26488 1111 63 0 27769 0 vsize: 111328 [startup+730.04 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 26828 0 0 0 72875 135 0 0 25 0 1 0 625470661 114675712 26663 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27997 26663 1111 63 0 27934 0 vsize: 111988 [startup+740.041 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 26987 0 0 0 73874 136 0 0 25 0 1 0 625470661 115351552 26822 4294967295 134512640 134714508 3221221728 3221220304 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28162 26822 1111 63 0 28099 0 vsize: 112648 [startup+750.041 s] Raw data (loadavg): 0.99 0.97 0.80 2/54 3873 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 27157 0 0 0 74874 136 0 0 25 0 1 0 625470661 116027392 26992 4294967295 134512640 134714508 3221221728 3221220400 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28327 26992 1111 63 0 28264 0 vsize: 113308 [startup+760.12 s] Raw data (loadavg): 1.23 1.02 0.81 3/58 3925 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 27384 0 0 0 75880 137 0 0 25 0 1 0 625470661 117035008 27219 4294967295 134512640 134714508 3221221728 3221220512 134529177 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28573 27219 1111 63 0 28510 0 vsize: 114292 [startup+770.121 s] Raw data (loadavg): 1.20 1.02 0.82 2/54 3926 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 27569 0 0 0 76879 138 0 0 25 0 1 0 625470661 117846016 27404 4294967295 134512640 134714508 3221221728 3221220284 134535664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28771 27404 1111 63 0 28708 0 vsize: 115084 [startup+780.121 s] Raw data (loadavg): 1.17 1.02 0.82 2/54 3926 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 27715 0 0 0 77879 139 0 0 25 0 1 0 625470661 118386688 27550 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28903 27550 1111 63 0 28840 0 vsize: 115612 [startup+790.123 s] Raw data (loadavg): 1.14 1.02 0.82 2/54 3926 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 27854 0 0 0 78879 139 0 0 25 0 1 0 625470661 118927360 27689 4294967295 134512640 134714508 3221221728 3221220308 134549630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29035 27689 1111 63 0 28972 0 vsize: 116140 [startup+800.122 s] Raw data (loadavg): 1.12 1.02 0.82 2/54 3926 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 27992 0 0 0 79878 140 0 0 25 0 1 0 625470661 119533568 27818 4294967295 134512640 134714508 3221221728 3221220500 134529372 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29183 27818 1111 63 0 29120 0 vsize: 116732 [startup+810.122 s] Raw data (loadavg): 1.10 1.02 0.82 2/54 3926 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 28216 0 0 0 80877 142 0 0 25 0 1 0 625470661 120545280 28036 4294967295 134512640 134714508 3221221728 3221220336 134549318 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29430 28036 1111 63 0 29367 0 vsize: 117720 [startup+820.122 s] Raw data (loadavg): 1.08 1.01 0.82 2/54 3926 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 28359 0 0 0 81877 142 0 0 25 0 1 0 625470661 121298944 28173 4294967295 134512640 134714508 3221221728 3221220452 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29614 28173 1111 63 0 29551 0 vsize: 118456 [startup+830.123 s] Raw data (loadavg): 1.07 1.01 0.82 2/54 3928 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 28541 0 0 0 82876 143 0 0 25 0 1 0 625470661 122142720 28353 4294967295 134512640 134714508 3221221728 3221220320 134549668 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29820 28353 1111 63 0 29757 0 vsize: 119280 [startup+840.123 s] Raw data (loadavg): 1.06 1.01 0.82 2/54 3928 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 28714 0 0 0 83876 143 0 0 25 0 1 0 625470661 122818560 28526 4294967295 134512640 134714508 3221221728 3221220384 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29985 28526 1111 63 0 29922 0 vsize: 119940 [startup+850.124 s] Raw data (loadavg): 1.05 1.01 0.83 2/54 3928 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 28885 0 0 0 84875 144 0 0 25 0 1 0 625470661 123559936 28692 4294967295 134512640 134714508 3221221728 3221220400 134551963 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30166 28692 1111 63 0 30103 0 vsize: 120664 [startup+860.124 s] Raw data (loadavg): 1.04 1.01 0.83 2/54 3928 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29010 0 0 0 85875 144 0 0 25 0 1 0 625470661 124100608 28817 4294967295 134512640 134714508 3221221728 3221220320 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30298 28817 1111 63 0 30235 0 vsize: 121192 [startup+870.124 s] Raw data (loadavg): 1.04 1.01 0.83 2/54 3928 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29123 0 0 0 86875 145 0 0 25 0 1 0 625470661 124506112 28930 4294967295 134512640 134714508 3221221728 3221220512 134529243 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30397 28930 1111 63 0 30334 0 vsize: 121588 [startup+880.124 s] Raw data (loadavg): 1.03 1.01 0.83 2/54 3928 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29217 0 0 0 87875 145 0 0 25 0 1 0 625470661 124940288 29024 4294967295 134512640 134714508 3221221728 3221220652 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30503 29024 1111 63 0 30440 0 vsize: 122012 [startup+890.125 s] Raw data (loadavg): 1.02 1.01 0.83 2/54 3928 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29316 0 0 0 88874 146 0 0 25 0 1 0 625470661 125345792 29123 4294967295 134512640 134714508 3221221728 3221220320 134549742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30602 29123 1111 63 0 30539 0 vsize: 122408 [startup+900.125 s] Raw data (loadavg): 1.02 1.01 0.83 2/54 3928 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29415 0 0 0 89874 146 0 0 25 0 1 0 625470661 125751296 29222 4294967295 134512640 134714508 3221221728 3221220320 134549689 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30701 29222 1111 63 0 30638 0 vsize: 122804 [startup+910.125 s] Raw data (loadavg): 1.02 1.01 0.83 2/54 3928 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29510 0 0 0 90874 147 0 0 25 0 1 0 625470661 126021632 29317 4294967295 134512640 134714508 3221221728 3221220360 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30767 29317 1111 63 0 30704 0 vsize: 123068 [startup+920.126 s] Raw data (loadavg): 1.01 1.00 0.83 2/54 3928 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29584 0 0 0 91874 147 0 0 25 0 1 0 625470661 126443520 29390 4294967295 134512640 134714508 3221221728 3221220452 134529109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30870 29390 1111 63 0 30807 0 vsize: 123480 [startup+929.267 s] Raw data (loadavg): 1.01 1.00 0.83 1/53 3928 Raw data (stat): 3873 (bsolo_lpr_cuts) R 3872 3722 3553 0 -1 0 29584 0 0 0 91874 147 0 0 25 0 1 0 625470661 126443520 29390 4294967295 134512640 134714508 3221221728 3221220452 134529109 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30870 29390 1111 63 0 30807 0 vsize: 0 Child status: 10 Real time (s): 929.266 CPU time (s): 929.355 CPU user time (s): 927.826 CPU system time (s): 1.52877 CPU usage (%): 100.01 Max. virtual memory (Kb): 123480 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 0 #### END VERIFIER DATA ####