Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb |
MD5SUM | 477af24fc30fd084c6281beb06bd14f4 |
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 | 14 |
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.05599 |
Number of variables | 254 |
Total number of constraints | 208 |
Number of constraints which are clauses | 182 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 13 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-02 07:37:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=290 boxname=wulflinc31 idbench=33 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 477af24fc30fd084c6281beb06bd14f4 /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_13_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_13_sat_pb.cnf.cr.opb IDLAUNCH: 290 /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: 928428 kB Buffers: 37676 kB Cached: 46596 kB SwapCached: 864 kB Active: 71620 kB Inactive: 15044 kB HighTotal: 131008 kB HighFree: 83384 kB LowTotal: 903652 kB LowFree: 845044 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5504 kB Slab: 13924 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-02 07:56:47 (client local time) WITH STATUS 0 IN 1175.14 SECONDS stats: 290 7 1175.14 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 254 variables and 208 constraints. c After prepocess the problem consists of 254 variables and 208 constraints. c preprocess terminated 0.148 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.03 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.99 0.97 0.96 2/54 21182 Raw data (stat): 21182 (runsolver) R 21181 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 638370319 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 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+9.99997 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 3083 0 0 0 981 14 0 0 25 0 1 0 638370319 15753216 3004 4294967295 134512640 134714508 3221221760 3221220312 134696445 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3846 3004 1111 63 0 3783 0 vsize: 15384 [startup+20.0011 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 4627 0 0 0 1975 20 0 0 25 0 1 0 638370319 22003712 4547 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5372 4547 1111 63 0 5309 0 vsize: 21488 [startup+30.0017 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 6401 0 0 0 2969 27 0 0 25 0 1 0 638370319 29310976 6320 4294967295 134512640 134714508 3221221760 3221220316 134535631 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7156 6320 1111 63 0 7093 0 vsize: 28624 [startup+40.0027 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 7605 0 0 0 3964 31 0 0 25 0 1 0 638370319 34344960 7521 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8385 7521 1111 63 0 8322 0 vsize: 33540 [startup+50.0039 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 8729 0 0 0 4961 35 0 0 25 0 1 0 638370319 38957056 8645 4294967295 134512640 134714508 3221221760 3221220328 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9511 8645 1111 63 0 9448 0 vsize: 38044 [startup+60.0035 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 9487 0 0 0 5957 39 0 0 25 0 1 0 638370319 42065920 9402 4294967295 134512640 134714508 3221221760 3221220272 134535032 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10270 9402 1111 63 0 10207 0 vsize: 41080 [startup+70.0044 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 10080 0 0 0 6956 41 0 0 25 0 1 0 638370319 44498944 9995 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10864 9995 1111 63 0 10801 0 vsize: 43456 [startup+80.0047 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 10993 0 0 0 7952 44 0 0 25 0 1 0 638370319 48418816 10908 4294967295 134512640 134714508 3221221760 3221220328 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11821 10908 1111 63 0 11758 0 vsize: 47284 [startup+90.0053 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 11795 0 0 0 8950 47 0 0 25 0 1 0 638370319 51703808 11710 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12623 11710 1111 63 0 12560 0 vsize: 50492 [startup+100.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 12597 0 0 0 9946 51 0 0 25 0 1 0 638370319 54984704 12511 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13424 12511 1111 63 0 13361 0 vsize: 53696 [startup+110.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 13295 0 0 0 10944 53 0 0 25 0 1 0 638370319 57823232 13209 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14117 13209 1111 63 0 14054 0 vsize: 56468 [startup+120.006 s] Raw data (loadavg): 1.07 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 13869 0 0 0 11942 56 0 0 25 0 1 0 638370319 60178432 13780 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14692 13780 1111 63 0 14629 0 vsize: 58768 [startup+130.006 s] Raw data (loadavg): 1.06 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 14561 0 0 0 12939 59 0 0 25 0 1 0 638370319 63053824 14470 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15394 14470 1111 63 0 15331 0 vsize: 61576 [startup+140.007 s] Raw data (loadavg): 1.05 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 15142 0 0 0 13936 62 0 0 25 0 1 0 638370319 65511424 15049 4294967295 134512640 134714508 3221221760 3221220316 134535964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15994 15049 1111 63 0 15931 0 vsize: 63976 [startup+150.008 s] Raw data (loadavg): 1.04 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 15601 0 0 0 14934 64 0 0 25 0 1 0 638370319 67268608 15508 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16423 15508 1111 63 0 16360 0 vsize: 65692 [startup+160.008 s] Raw data (loadavg): 1.03 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 16185 0 0 0 15932 66 0 0 25 0 1 0 638370319 69718016 16092 4294967295 134512640 134714508 3221221760 3221220472 134695921 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17021 16092 1111 63 0 16958 0 vsize: 68084 [startup+170.008 s] Raw data (loadavg): 1.03 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 16765 0 0 0 16929 69 0 0 25 0 1 0 638370319 72036352 16672 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17587 16672 1111 63 0 17524 0 vsize: 70348 [startup+180.008 s] Raw data (loadavg): 1.02 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 17342 0 0 0 17927 72 0 0 25 0 1 0 638370319 74485760 17249 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18185 17249 1111 63 0 18122 0 vsize: 72740 [startup+190.009 s] Raw data (loadavg): 1.02 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 17835 0 0 0 18925 74 0 0 25 0 1 0 638370319 76513280 17742 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18680 17742 1111 63 0 18617 0 vsize: 74720 [startup+200.01 s] Raw data (loadavg): 1.02 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 18553 0 0 0 19922 77 0 0 25 0 1 0 638370319 79351808 18460 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19373 18460 1111 63 0 19310 0 vsize: 77492 [startup+210.01 s] Raw data (loadavg): 1.01 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 19267 0 0 0 20920 79 0 0 25 0 1 0 638370319 82341888 19170 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20103 19170 1111 63 0 20040 0 vsize: 80412 [startup+220.01 s] Raw data (loadavg): 1.01 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 19876 0 0 0 21918 81 0 0 25 0 1 0 638370319 84910080 19779 4294967295 134512640 134714508 3221221760 3221220528 134529376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20730 19779 1111 63 0 20667 0 vsize: 82920 [startup+230.011 s] Raw data (loadavg): 1.01 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 20733 0 0 0 22914 85 0 0 25 0 1 0 638370319 88354816 20635 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21571 20635 1111 63 0 21508 0 vsize: 86284 [startup+240.011 s] Raw data (loadavg): 1.01 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 21283 0 0 0 23912 88 0 0 25 0 1 0 638370319 90652672 21185 4294967295 134512640 134714508 3221221760 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22132 21185 1111 63 0 22069 0 vsize: 88528 [startup+250.012 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 21968 0 0 0 24908 92 0 0 25 0 1 0 638370319 93573120 21870 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22845 21870 1111 63 0 22782 0 vsize: 91380 [startup+260.012 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 22905 0 0 0 25905 95 0 0 25 0 1 0 638370319 97374208 22807 4294967295 134512640 134714508 3221221760 3221220396 134523381 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23773 22807 1111 63 0 23710 0 vsize: 95092 [startup+270.012 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 23672 0 0 0 26903 97 0 0 25 0 1 0 638370319 100511744 23574 4294967295 134512640 134714508 3221221760 3221220256 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24539 23574 1111 63 0 24476 0 vsize: 98156 [startup+280.012 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 24313 0 0 0 27901 100 0 0 25 0 1 0 638370319 103120896 24215 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25176 24215 1111 63 0 25113 0 vsize: 100704 [startup+290.013 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 25071 0 0 0 28898 102 0 0 25 0 1 0 638370319 106266624 24972 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25944 24972 1111 63 0 25881 0 vsize: 103776 [startup+300.013 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 25706 0 0 0 29896 105 0 0 25 0 1 0 638370319 108851200 25607 4294967295 134512640 134714508 3221221760 3221220336 134549802 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26575 25607 1111 63 0 26512 0 vsize: 106300 [startup+310.013 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 26312 0 0 0 30894 107 0 0 25 0 1 0 638370319 111419392 26212 4294967295 134512640 134714508 3221221760 3221220544 134529200 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27202 26212 1111 63 0 27139 0 vsize: 108808 [startup+320.014 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 26675 0 0 0 31894 108 0 0 25 0 1 0 638370319 112922624 26573 4294967295 134512640 134714508 3221221760 3221220440 134552633 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27569 26573 1111 63 0 27506 0 vsize: 110276 [startup+330.014 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 27065 0 0 0 32893 109 0 0 25 0 1 0 638370319 114597888 26960 4294967295 134512640 134714508 3221221760 3221220388 134536674 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27978 26960 1111 63 0 27915 0 vsize: 111912 [startup+340.015 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 27415 0 0 0 33891 110 0 0 25 0 1 0 638370319 115949568 27310 4294967295 134512640 134714508 3221221760 3221220316 134535964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28308 27310 1111 63 0 28245 0 vsize: 113232 [startup+350.015 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 27729 0 0 0 34890 112 0 0 25 0 1 0 638370319 117301248 27624 4294967295 134512640 134714508 3221221760 3221220480 134535757 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28638 27624 1111 63 0 28575 0 vsize: 114552 [startup+360.015 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 28244 0 0 0 35889 113 0 0 25 0 1 0 638370319 119328768 28139 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29133 28139 1111 63 0 29070 0 vsize: 116532 [startup+370.015 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 28557 0 0 0 36887 115 0 0 25 0 1 0 638370319 120754176 28452 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29481 28452 1111 63 0 29418 0 vsize: 117924 [startup+380.014 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 28813 0 0 0 37886 116 0 0 25 0 1 0 638370319 121847808 28708 4294967295 134512640 134714508 3221221760 3221220464 134528671 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29748 28708 1111 63 0 29685 0 vsize: 118992 [startup+390.015 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 29081 0 0 0 38885 118 0 0 25 0 1 0 638370319 122929152 28976 4294967295 134512640 134714508 3221221760 3221220416 134524259 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30012 28976 1111 63 0 29949 0 vsize: 120048 [startup+400.015 s] Raw data (loadavg): 1.08 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 29323 0 0 0 39884 118 0 0 25 0 1 0 638370319 123875328 29218 4294967295 134512640 134714508 3221221760 3221220416 134536730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30243 29218 1111 63 0 30180 0 vsize: 120972 [startup+410.015 s] Raw data (loadavg): 1.07 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 29528 0 0 0 40884 119 0 0 25 0 1 0 638370319 124686336 29423 4294967295 134512640 134714508 3221221760 3221220532 134529375 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30441 29423 1111 63 0 30378 0 vsize: 121764 [startup+420.015 s] Raw data (loadavg): 1.06 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 29763 0 0 0 41883 120 0 0 25 0 1 0 638370319 125702144 29655 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30689 29655 1111 63 0 30626 0 vsize: 122756 [startup+430.015 s] Raw data (loadavg): 1.05 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 29960 0 0 0 42883 120 0 0 25 0 1 0 638370319 126513152 29852 4294967295 134512640 134714508 3221221760 3221220352 134549588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30887 29852 1111 63 0 30824 0 vsize: 123548 [startup+440.016 s] Raw data (loadavg): 1.04 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 30170 0 0 0 43882 121 0 0 25 0 1 0 638370319 127324160 30061 4294967295 134512640 134714508 3221221760 3221220316 134535631 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31085 30061 1111 63 0 31022 0 vsize: 124340 [startup+450.016 s] Raw data (loadavg): 1.03 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 30360 0 0 0 44882 122 0 0 25 0 1 0 638370319 128139264 30251 4294967295 134512640 134714508 3221221760 3221220464 134528665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31284 30251 1111 63 0 31221 0 vsize: 125136 [startup+460.016 s] Raw data (loadavg): 1.03 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 30579 0 0 0 45881 122 0 0 25 0 1 0 638370319 129138688 30470 4294967295 134512640 134714508 3221221760 3221220412 134536779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31528 30470 1111 63 0 31465 0 vsize: 126112 [startup+470.016 s] Raw data (loadavg): 1.02 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 30833 0 0 0 46880 124 0 0 25 0 1 0 638370319 130220032 30724 4294967295 134512640 134714508 3221221760 3221220436 134523868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31792 30724 1111 63 0 31729 0 vsize: 127168 [startup+480.016 s] Raw data (loadavg): 1.02 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 31047 0 0 0 47879 125 0 0 25 0 1 0 638370319 131031040 30938 4294967295 134512640 134714508 3221221760 3221220464 134528702 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31990 30938 1111 63 0 31927 0 vsize: 127960 [startup+490.017 s] Raw data (loadavg): 1.02 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 31310 0 0 0 48879 125 0 0 25 0 1 0 638370319 132210688 31198 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32278 31198 1111 63 0 32215 0 vsize: 129112 [startup+500.018 s] Raw data (loadavg): 1.01 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 31499 0 0 0 49878 127 0 0 25 0 1 0 638370319 132886528 31387 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32443 31387 1111 63 0 32380 0 vsize: 129772 [startup+510.018 s] Raw data (loadavg): 1.01 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 31769 0 0 0 50876 128 0 0 25 0 1 0 638370319 134119424 31657 4294967295 134512640 134714508 3221221760 3221220544 134529243 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32744 31657 1111 63 0 32681 0 vsize: 130976 [startup+520.018 s] Raw data (loadavg): 1.01 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 31997 0 0 0 51875 130 0 0 25 0 1 0 638370319 135065600 31885 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32975 31885 1111 63 0 32912 0 vsize: 131900 [startup+530.017 s] Raw data (loadavg): 1.01 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 32217 0 0 0 52875 130 0 0 25 0 1 0 638370319 135872512 32105 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33172 32105 1111 63 0 33109 0 vsize: 132688 [startup+540.018 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 32498 0 0 0 53874 131 0 0 25 0 1 0 638370319 137089024 32386 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33469 32386 1111 63 0 33406 0 vsize: 133876 [startup+550.019 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 32755 0 0 0 54873 132 0 0 25 0 1 0 638370319 138301440 32637 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33765 32637 1111 63 0 33702 0 vsize: 135060 [startup+560.019 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 32925 0 0 0 55873 133 0 0 25 0 1 0 638370319 139005952 32803 4294967295 134512640 134714508 3221221760 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33937 32803 1111 63 0 33874 0 vsize: 135748 [startup+570.019 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 33087 0 0 0 56872 133 0 0 25 0 1 0 638370319 139546624 32965 4294967295 134512640 134714508 3221221760 3221220528 134529110 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34069 32965 1111 63 0 34006 0 vsize: 136276 [startup+580.019 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 33249 0 0 0 57872 134 0 0 25 0 1 0 638370319 140292096 33123 4294967295 134512640 134714508 3221221760 3221220404 134523868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34251 33123 1111 63 0 34188 0 vsize: 137004 [startup+590.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 33388 0 0 0 58872 134 0 0 25 0 1 0 638370319 140836864 33262 4294967295 134512640 134714508 3221221760 3221220496 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34384 33262 1111 63 0 34321 0 vsize: 137536 [startup+600.021 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 33507 0 0 0 59872 135 0 0 25 0 1 0 638370319 141377536 33381 4294967295 134512640 134714508 3221221760 3221220528 134529110 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34516 33381 1111 63 0 34453 0 vsize: 138064 [startup+610.021 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 33687 0 0 0 60870 136 0 0 25 0 1 0 638370319 142053376 33561 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34681 33561 1111 63 0 34618 0 vsize: 138724 [startup+620.022 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 33836 0 0 0 61870 137 0 0 25 0 1 0 638370319 142594048 33710 4294967295 134512640 134714508 3221221760 3221220316 134535895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34813 33710 1111 63 0 34750 0 vsize: 139252 [startup+630.022 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 33986 0 0 0 62869 137 0 0 25 0 1 0 638370319 143327232 33859 4294967295 134512640 134714508 3221221760 3221220332 134535876 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34992 33859 1111 63 0 34929 0 vsize: 139968 [startup+640.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 34139 0 0 0 63869 138 0 0 25 0 1 0 638370319 143941632 34009 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35142 34009 1111 63 0 35079 0 vsize: 140568 [startup+650.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 34290 0 0 0 64868 139 0 0 25 0 1 0 638370319 144617472 34160 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35307 34160 1111 63 0 35244 0 vsize: 141228 [startup+660.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 34448 0 0 0 65868 139 0 0 25 0 1 0 638370319 145293312 34318 4294967295 134512640 134714508 3221221760 3221220544 134529341 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35472 34318 1111 63 0 35409 0 vsize: 141888 [startup+670.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 34580 0 0 0 66868 140 0 0 25 0 1 0 638370319 145698816 34450 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35571 34450 1111 63 0 35508 0 vsize: 142284 [startup+680.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 34711 0 0 0 67867 140 0 0 25 0 1 0 638370319 146239488 34581 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35703 34581 1111 63 0 35640 0 vsize: 142812 [startup+690.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 34862 0 0 0 68867 141 0 0 25 0 1 0 638370319 146935808 34731 4294967295 134512640 134714508 3221221760 3221220544 134529237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35873 34731 1111 63 0 35810 0 vsize: 143492 [startup+700.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 35050 0 0 0 69867 142 0 0 25 0 1 0 638370319 147668992 34914 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36052 34914 1111 63 0 35989 0 vsize: 144208 [startup+710.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 35222 0 0 0 70866 143 0 0 25 0 1 0 638370319 148488192 35086 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36252 35086 1111 63 0 36189 0 vsize: 145008 [startup+720.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 35363 0 0 0 71865 143 0 0 25 0 1 0 638370319 149041152 35227 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36387 35227 1111 63 0 36324 0 vsize: 145548 [startup+730.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 35534 0 0 0 72865 144 0 0 25 0 1 0 638370319 149716992 35398 4294967295 134512640 134714508 3221221760 3221220232 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36552 35398 1111 63 0 36489 0 vsize: 146208 [startup+740.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 35674 0 0 0 73865 144 0 0 25 0 1 0 638370319 150257664 35538 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36684 35538 1111 63 0 36621 0 vsize: 146736 [startup+750.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 35874 0 0 0 74864 145 0 0 25 0 1 0 638370319 151085056 35738 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36886 35738 1111 63 0 36823 0 vsize: 147544 [startup+760.026 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 36006 0 0 0 75864 145 0 0 25 0 1 0 638370319 151625728 35870 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37018 35870 1111 63 0 36955 0 vsize: 148072 [startup+770.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 36157 0 0 0 76864 146 0 0 25 0 1 0 638370319 152301568 36021 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37183 36021 1111 63 0 37120 0 vsize: 148732 [startup+780.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 36315 0 0 0 77863 146 0 0 25 0 1 0 638370319 152842240 36179 4294967295 134512640 134714508 3221221760 3221220352 134549544 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37315 36179 1111 63 0 37252 0 vsize: 149260 [startup+790.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 36497 0 0 0 78863 147 0 0 25 0 1 0 638370319 153653248 36361 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37513 36361 1111 63 0 37450 0 vsize: 150052 [startup+800.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 36649 0 0 0 79862 148 0 0 25 0 1 0 638370319 154193920 36513 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37645 36513 1111 63 0 37582 0 vsize: 150580 [startup+810.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 36870 0 0 0 80862 149 0 0 25 0 1 0 638370319 155140096 36734 4294967295 134512640 134714508 3221221760 3221220352 134549544 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37876 36734 1111 63 0 37813 0 vsize: 151504 [startup+820.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 37096 0 0 0 81861 149 0 0 25 0 1 0 638370319 156106752 36960 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38112 36960 1111 63 0 38049 0 vsize: 152448 [startup+830.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 37247 0 0 0 82860 150 0 0 25 0 1 0 638370319 156782592 37111 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38277 37111 1111 63 0 38214 0 vsize: 153108 [startup+840.027 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 37439 0 0 0 83860 151 0 0 25 0 1 0 638370319 157593600 37303 4294967295 134512640 134714508 3221221760 3221220528 134529138 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38475 37303 1111 63 0 38412 0 vsize: 153900 [startup+850.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 37624 0 0 0 84859 152 0 0 25 0 1 0 638370319 158265344 37488 4294967295 134512640 134714508 3221221760 3221220316 134535891 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38639 37488 1111 63 0 38576 0 vsize: 154556 [startup+860.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 37825 0 0 0 85858 153 0 0 25 0 1 0 638370319 159076352 37689 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38837 37689 1111 63 0 38774 0 vsize: 155348 [startup+870.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 38085 0 0 0 86857 154 0 0 25 0 1 0 638370319 160157696 37949 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39101 37949 1111 63 0 39038 0 vsize: 156404 [startup+880.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 38323 0 0 0 87856 155 0 0 25 0 1 0 638370319 161239040 38187 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39365 38187 1111 63 0 39302 0 vsize: 157460 [startup+890.028 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 38549 0 0 0 88855 156 0 0 25 0 1 0 638370319 162050048 38413 4294967295 134512640 134714508 3221221760 3221220544 134529243 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39563 38413 1111 63 0 39500 0 vsize: 158252 [startup+900.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 38782 0 0 0 89854 158 0 0 25 0 1 0 638370319 163143680 38646 4294967295 134512640 134714508 3221221760 3221220496 134535840 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39830 38646 1111 63 0 39767 0 vsize: 159320 [startup+910.029 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 39018 0 0 0 90853 159 0 0 25 0 1 0 638370319 164089856 38882 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40061 38882 1111 63 0 39998 0 vsize: 160244 [startup+920.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 39250 0 0 0 91852 160 0 0 25 0 1 0 638370319 165036032 39114 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40292 39114 1111 63 0 40229 0 vsize: 161168 [startup+930.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 39456 0 0 0 92851 161 0 0 25 0 1 0 638370319 165847040 39320 4294967295 134512640 134714508 3221221760 3221220480 134523872 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40490 39320 1111 63 0 40427 0 vsize: 161960 [startup+940.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 39644 0 0 0 93851 162 0 0 25 0 1 0 638370319 166662144 39505 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40689 39505 1111 63 0 40626 0 vsize: 162756 [startup+950.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 39835 0 0 0 94850 162 0 0 25 0 1 0 638370319 167473152 39696 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40887 39696 1111 63 0 40824 0 vsize: 163548 [startup+960.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 40011 0 0 0 95850 163 0 0 25 0 1 0 638370319 168148992 39872 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41052 39872 1111 63 0 40989 0 vsize: 164208 [startup+970.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 40196 0 0 0 96849 164 0 0 25 0 1 0 638370319 168960000 40057 4294967295 134512640 134714508 3221221760 3221220528 134529376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41250 40057 1111 63 0 41187 0 vsize: 165000 [startup+980.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 40334 0 0 0 97848 165 0 0 25 0 1 0 638370319 169365504 40195 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41349 40195 1111 63 0 41286 0 vsize: 165396 [startup+990.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 40544 0 0 0 98847 166 0 0 25 0 1 0 638370319 170385408 40405 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41598 40405 1111 63 0 41535 0 vsize: 166392 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 41169 0 0 0 99845 168 0 0 25 0 1 0 638370319 172953600 41030 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42225 41030 1111 63 0 42162 0 vsize: 168900 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 41640 0 0 0 100843 171 0 0 25 0 1 0 638370319 174845952 41501 4294967295 134512640 134714508 3221221760 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42687 41501 1111 63 0 42624 0 vsize: 170748 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 42264 0 0 0 101841 173 0 0 25 0 1 0 638370319 177553408 42116 4294967295 134512640 134714508 3221221760 3221220400 134536655 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43348 42116 1111 63 0 43285 0 vsize: 173392 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 42889 0 0 0 102839 175 0 0 25 0 1 0 638370319 180121600 42741 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43975 42741 1111 63 0 43912 0 vsize: 175900 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 43409 0 0 0 103836 178 0 0 25 0 1 0 638370319 182284288 43261 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44503 43261 1111 63 0 44440 0 vsize: 178012 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 43843 0 0 0 104834 181 0 0 25 0 1 0 638370319 184041472 43695 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44932 43695 1111 63 0 44869 0 vsize: 179728 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 44201 0 0 0 105833 182 0 0 25 0 1 0 638370319 185528320 44053 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45295 44053 1111 63 0 45232 0 vsize: 181180 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 44553 0 0 0 106831 184 0 0 25 0 1 0 638370319 186884096 44405 4294967295 134512640 134714508 3221221760 3221220480 134529115 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45626 44405 1111 63 0 45563 0 vsize: 182504 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 44959 0 0 0 107830 184 0 0 25 0 1 0 638370319 188542976 44811 4294967295 134512640 134714508 3221221760 3221220400 134536650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46031 44811 1111 63 0 45968 0 vsize: 184124 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 45406 0 0 0 108828 187 0 0 25 0 1 0 638370319 190435328 45258 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46493 45258 1111 63 0 46430 0 vsize: 185972 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 45742 0 0 0 109827 188 0 0 25 0 1 0 638370319 191787008 45594 4294967295 134512640 134714508 3221221760 3221220316 134535631 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46823 45594 1111 63 0 46760 0 vsize: 187292 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 46202 0 0 0 110825 191 0 0 25 0 1 0 638370319 193724416 46053 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47296 46053 1111 63 0 47233 0 vsize: 189184 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 46657 0 0 0 111822 193 0 0 25 0 1 0 638370319 195616768 46508 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47758 46508 1111 63 0 47695 0 vsize: 191032 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 47152 0 0 0 112821 195 0 0 25 0 1 0 638370319 197644288 47003 4294967295 134512640 134714508 3221221760 3221220352 134549544 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48253 47003 1111 63 0 48190 0 vsize: 193012 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 47556 0 0 0 113818 197 0 0 25 0 1 0 638370319 199266304 47407 4294967295 134512640 134714508 3221221760 3221220336 134549802 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48649 47407 1111 63 0 48586 0 vsize: 194596 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 47741 0 0 0 114818 198 0 0 25 0 1 0 638370319 200077312 47592 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48847 47592 1111 63 0 48784 0 vsize: 195388 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 47955 0 0 0 115818 199 0 0 25 0 1 0 638370319 200888320 47806 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49045 47806 1111 63 0 48982 0 vsize: 196180 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/54 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 48168 0 0 0 116817 200 0 0 25 0 1 0 638370319 201834496 48019 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49276 48019 1111 63 0 49213 0 vsize: 197104 [startup+1175 s] Raw data (loadavg): 1.00 1.00 0.97 1/53 21182 Raw data (stat): 21182 (bsolo_lpr_cuts) R 21181 7876 7672 0 -1 0 48168 0 0 0 116817 200 0 0 25 0 1 0 638370319 201834496 48019 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49276 48019 1111 63 0 49213 0 vsize: 0 Child status: 0 Real time (s): 1175 CPU time (s): 1175.14 CPU user time (s): 1173.04 CPU system time (s): 2.09868 CPU usage (%): 100.012 Max. virtual memory (Kb): 197104 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####