Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb |
MD5SUM | afcc4289aafaea265ed2d465965a3342 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
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 | 31 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.036993 |
Number of variables | 1200 |
Total number of constraints | 100 |
Number of constraints which are clauses | 60 |
Number of constraints which are cardinality constraints (but not clauses) | 40 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 30 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-07 07:28:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27452 boxname=wulflinc4 idbench=10 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: afcc4289aafaea265ed2d465965a3342 /oldhome/oroussel/tmp/wulflinc4/normalized-chnl20_30_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-chnl20_30_pb.cnf.cr.opb IDLAUNCH: 27452 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 405392 kB Buffers: 34320 kB Cached: 571604 kB SwapCached: 568 kB Active: 56512 kB Inactive: 551584 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 405140 kB SwapTotal: 2097136 kB SwapFree: 2095660 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5328 kB Slab: 15532 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 07:48:04 (client local time) WITH STATUS 0 IN 1175.05 SECONDS stats: 27452 7 1175.05 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 1200 variables and 100 constraints. c After prepocess the problem consists of 1200 variables and 100 constraints. c preprocess terminated 0.352 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.01 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.91 0.95 0.69 1/54 11665 Raw data (stat): 11665 (runsolver) R 11664 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891184874 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0005 s] Raw data (loadavg): 0.93 0.95 0.69 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 2448 0 0 0 988 9 0 0 25 0 1 0 891184874 13168640 2366 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3215 2366 1111 63 0 3152 0 vsize: 12860 [startup+20.0014 s] Raw data (loadavg): 0.94 0.95 0.69 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 3627 0 0 0 1985 13 0 0 25 0 1 0 891184874 17907712 3545 4294967295 134512640 134716908 3221224576 3221223280 134528677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4372 3545 1111 63 0 4309 0 vsize: 17488 [startup+30.0016 s] Raw data (loadavg): 0.95 0.96 0.70 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 4078 0 0 0 2982 15 0 0 25 0 1 0 891184874 19800064 3996 4294967295 134512640 134716908 3221224576 3221223164 134535967 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4834 3996 1111 63 0 4771 0 vsize: 19336 [startup+40.0023 s] Raw data (loadavg): 0.95 0.96 0.70 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 4713 0 0 0 3980 18 0 0 25 0 1 0 891184874 22368256 4631 4294967295 134512640 134716908 3221224576 3221223228 1076999581 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5461 4631 1111 63 0 5398 0 vsize: 21844 [startup+50.0025 s] Raw data (loadavg): 0.96 0.96 0.70 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 5076 0 0 0 4978 20 0 0 25 0 1 0 891184874 23842816 4994 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5821 4994 1111 63 0 5758 0 vsize: 23284 [startup+60.0034 s] Raw data (loadavg): 0.97 0.96 0.70 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 5360 0 0 0 5976 22 0 0 25 0 1 0 891184874 25059328 5278 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6118 5278 1111 63 0 6055 0 vsize: 24472 [startup+70.004 s] Raw data (loadavg): 0.97 0.96 0.71 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 5549 0 0 0 6975 23 0 0 25 0 1 0 891184874 25870336 5467 4294967295 134512640 134716908 3221224576 3221223152 134549467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6316 5467 1111 63 0 6253 0 vsize: 25264 [startup+80.004 s] Raw data (loadavg): 0.98 0.96 0.71 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 5787 0 0 0 7974 25 0 0 25 0 1 0 891184874 26816512 5705 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6547 5705 1111 63 0 6484 0 vsize: 26188 [startup+90.0043 s] Raw data (loadavg): 0.98 0.96 0.71 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 5949 0 0 0 8973 26 0 0 25 0 1 0 891184874 27488256 5867 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6711 5867 1111 63 0 6648 0 vsize: 26844 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.72 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 6199 0 0 0 9971 27 0 0 25 0 1 0 891184874 28569600 6117 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6975 6117 1111 63 0 6912 0 vsize: 27900 [startup+110.005 s] Raw data (loadavg): 0.98 0.96 0.72 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 6530 0 0 0 10970 29 0 0 25 0 1 0 891184874 29913088 6448 4294967295 134512640 134716908 3221224576 3221223132 134535503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7303 6448 1111 63 0 7240 0 vsize: 29212 [startup+120.006 s] Raw data (loadavg): 0.99 0.96 0.72 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 6849 0 0 0 11968 31 0 0 25 0 1 0 891184874 31129600 6767 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7600 6767 1111 63 0 7537 0 vsize: 30400 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.73 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 7219 0 0 0 12967 33 0 0 25 0 1 0 891184874 32735232 7137 4294967295 134512640 134716908 3221224576 3221223280 134524402 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7992 7137 1111 63 0 7929 0 vsize: 31968 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.73 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 7383 0 0 0 13966 34 0 0 25 0 1 0 891184874 33411072 7301 4294967295 134512640 134716908 3221224576 3221223264 134528712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8157 7301 1111 63 0 8094 0 vsize: 32628 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.73 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 7649 0 0 0 14965 35 0 0 25 0 1 0 891184874 34525184 7567 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8429 7567 1111 63 0 8366 0 vsize: 33716 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.73 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 7832 0 0 0 15963 37 0 0 25 0 1 0 891184874 35209216 7750 4294967295 134512640 134716908 3221224576 3221223300 134591841 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8596 7750 1111 63 0 8533 0 vsize: 34384 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.73 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 8005 0 0 0 16963 37 0 0 25 0 1 0 891184874 35885056 7923 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8761 7923 1111 63 0 8698 0 vsize: 35044 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.74 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 8182 0 0 0 17961 39 0 0 25 0 1 0 891184874 36696064 8100 4294967295 134512640 134716908 3221224576 3221223228 134536769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8959 8100 1111 63 0 8896 0 vsize: 35836 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.74 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 8339 0 0 0 18960 40 0 0 25 0 1 0 891184874 37363712 8257 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9122 8257 1111 63 0 9059 0 vsize: 36488 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.74 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 8480 0 0 0 19959 42 0 0 25 0 1 0 891184874 37904384 8398 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9254 8398 1111 63 0 9191 0 vsize: 37016 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.74 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 8834 0 0 0 20958 43 0 0 25 0 1 0 891184874 39391232 8752 4294967295 134512640 134716908 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9617 8752 1111 63 0 9554 0 vsize: 38468 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.74 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 9115 0 0 0 21956 45 0 0 25 0 1 0 891184874 40607744 9033 4294967295 134512640 134716908 3221224576 3221223292 134552672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9914 9033 1111 63 0 9851 0 vsize: 39656 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 9230 0 0 0 22955 46 0 0 25 0 1 0 891184874 41013248 9148 4294967295 134512640 134716908 3221224576 3221223208 134552673 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10013 9148 1111 63 0 9950 0 vsize: 40052 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 9303 0 0 0 23955 47 0 0 25 0 1 0 891184874 41283584 9221 4294967295 134512640 134716908 3221224576 3221223324 134551637 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10079 9221 1111 63 0 10016 0 vsize: 40316 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 9501 0 0 0 24954 48 0 0 25 0 1 0 891184874 42094592 9419 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10277 9419 1111 63 0 10214 0 vsize: 41108 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 9768 0 0 0 25952 50 0 0 25 0 1 0 891184874 43175936 9686 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10541 9686 1111 63 0 10478 0 vsize: 42164 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.75 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 9953 0 0 0 26951 51 0 0 25 0 1 0 891184874 43986944 9871 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10739 9871 1111 63 0 10676 0 vsize: 42956 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.76 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10137 0 0 0 27950 52 0 0 25 0 1 0 891184874 44662784 10055 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10904 10055 1111 63 0 10841 0 vsize: 43616 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.76 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10314 0 0 0 28949 54 0 0 25 0 1 0 891184874 45473792 10232 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11102 10232 1111 63 0 11039 0 vsize: 44408 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.76 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10434 0 0 0 29948 55 0 0 25 0 1 0 891184874 46030848 10352 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11238 10352 1111 63 0 11175 0 vsize: 44952 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.76 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10522 0 0 0 30947 56 0 0 25 0 1 0 891184874 46301184 10440 4294967295 134512640 134716908 3221224576 3221223328 134592373 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11304 10440 1111 63 0 11241 0 vsize: 45216 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.76 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10655 0 0 0 31945 58 0 0 25 0 1 0 891184874 46833664 10573 4294967295 134512640 134716908 3221224576 3221223136 134549730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11434 10573 1111 63 0 11371 0 vsize: 45736 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10766 0 0 0 32945 59 0 0 25 0 1 0 891184874 47374336 10684 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11566 10684 1111 63 0 11503 0 vsize: 46264 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10842 0 0 0 33944 59 0 0 25 0 1 0 891184874 47640576 10760 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11631 10760 1111 63 0 11568 0 vsize: 46524 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10878 0 0 0 34943 60 0 0 25 0 1 0 891184874 47775744 10796 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11664 10796 1111 63 0 11601 0 vsize: 46656 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 10955 0 0 0 35943 61 0 0 25 0 1 0 891184874 48046080 10873 4294967295 134512640 134716908 3221224576 3221223068 134552632 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11730 10873 1111 63 0 11667 0 vsize: 46920 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.77 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 11098 0 0 0 36942 62 0 0 25 0 1 0 891184874 48717824 11016 4294967295 134512640 134716908 3221224576 3221223144 1077377398 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11894 11016 1111 63 0 11831 0 vsize: 47576 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 11323 0 0 0 37940 64 0 0 25 0 1 0 891184874 49659904 11241 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12124 11241 1111 63 0 12061 0 vsize: 48496 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 11598 0 0 0 38938 66 0 0 25 0 1 0 891184874 50737152 11516 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12387 11516 1111 63 0 12324 0 vsize: 49548 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 11824 0 0 0 39937 68 0 0 25 0 1 0 891184874 51683328 11742 4294967295 134512640 134716908 3221224576 3221223288 134551881 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12618 11742 1111 63 0 12555 0 vsize: 50472 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 12015 0 0 0 40935 70 0 0 25 0 1 0 891184874 52482048 11933 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12813 11933 1111 63 0 12750 0 vsize: 51252 [startup+420.015 s] Raw data (loadavg): 0.99 0.97 0.78 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 12162 0 0 0 41933 72 0 0 25 0 1 0 891184874 53018624 12080 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12944 12080 1111 63 0 12881 0 vsize: 51776 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 12281 0 0 0 42932 73 0 0 25 0 1 0 891184874 53559296 12199 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13076 12199 1111 63 0 13013 0 vsize: 52304 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 12395 0 0 0 43932 73 0 0 25 0 1 0 891184874 54099968 12313 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13208 12313 1111 63 0 13145 0 vsize: 52832 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 12707 0 0 0 44930 75 0 0 25 0 1 0 891184874 55336960 12625 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13510 12625 1111 63 0 13447 0 vsize: 54040 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 13107 0 0 0 45929 77 0 0 25 0 1 0 891184874 56958976 13025 4294967295 134512640 134716908 3221224576 3221223228 134536784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13906 13025 1111 63 0 13843 0 vsize: 55624 [startup+470.016 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 13297 0 0 0 46928 78 0 0 25 0 1 0 891184874 57769984 13215 4294967295 134512640 134716908 3221224576 3221223360 134529174 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14104 13215 1111 63 0 14041 0 vsize: 56416 [startup+480.016 s] Raw data (loadavg): 0.99 0.97 0.79 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 13444 0 0 0 47927 79 0 0 25 0 1 0 891184874 58429440 13362 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14265 13362 1111 63 0 14202 0 vsize: 57060 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.80 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 13564 0 0 0 48927 79 0 0 25 0 1 0 891184874 58834944 13482 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14364 13482 1111 63 0 14301 0 vsize: 57456 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.80 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 14338 0 0 0 49924 82 0 0 25 0 1 0 891184874 62078976 14256 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15156 14256 1111 63 0 15093 0 vsize: 60624 [startup+510.018 s] Raw data (loadavg): 0.99 0.97 0.80 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 14593 0 0 0 50922 84 0 0 25 0 1 0 891184874 63160320 14511 4294967295 134512640 134716908 3221224576 3221223152 134549802 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15420 14511 1111 63 0 15357 0 vsize: 61680 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.80 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 14792 0 0 0 51921 86 0 0 25 0 1 0 891184874 63971328 14710 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15618 14710 1111 63 0 15555 0 vsize: 62472 [startup+530.019 s] Raw data (loadavg): 0.99 0.97 0.80 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 14907 0 0 0 52919 88 0 0 25 0 1 0 891184874 64376832 14825 4294967295 134512640 134716908 3221224576 3221223136 134549730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15717 14825 1111 63 0 15654 0 vsize: 62868 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 14984 0 0 0 53919 88 0 0 25 0 1 0 891184874 64782336 14902 4294967295 134512640 134716908 3221224576 3221223288 134552681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15816 14902 1111 63 0 15753 0 vsize: 63264 [startup+550.019 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 15362 0 0 0 54917 90 0 0 25 0 1 0 891184874 66269184 15280 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16179 15280 1111 63 0 16116 0 vsize: 64716 [startup+560.02 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 15701 0 0 0 55916 92 0 0 25 0 1 0 891184874 67620864 15619 4294967295 134512640 134716908 3221224576 3221223208 134552678 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16509 15619 1111 63 0 16446 0 vsize: 66036 [startup+570.021 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 15900 0 0 0 56915 93 0 0 25 0 1 0 891184874 68431872 15818 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16707 15818 1111 63 0 16644 0 vsize: 66828 [startup+580.021 s] Raw data (loadavg): 0.99 0.97 0.81 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16026 0 0 0 57914 94 0 0 25 0 1 0 891184874 68972544 15944 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16839 15944 1111 63 0 16776 0 vsize: 67356 [startup+590.022 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16172 0 0 0 58913 96 0 0 25 0 1 0 891184874 69668864 16088 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17009 16088 1111 63 0 16946 0 vsize: 68036 [startup+600.021 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16409 0 0 0 59911 97 0 0 25 0 1 0 891184874 70615040 16325 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17240 16325 1111 63 0 17177 0 vsize: 68960 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16525 0 0 0 60911 97 0 0 25 0 1 0 891184874 71020544 16441 4294967295 134512640 134716908 3221224576 3221223360 134529237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17339 16441 1111 63 0 17276 0 vsize: 69356 [startup+620.022 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16610 0 0 0 61911 98 0 0 25 0 1 0 891184874 71426048 16526 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17438 16526 1111 63 0 17375 0 vsize: 69752 [startup+630.022 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16734 0 0 0 62910 99 0 0 25 0 1 0 891184874 71966720 16650 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17570 16650 1111 63 0 17507 0 vsize: 70280 [startup+640.023 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16834 0 0 0 63909 100 0 0 25 0 1 0 891184874 72372224 16750 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17669 16750 1111 63 0 17606 0 vsize: 70676 [startup+650.023 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 16974 0 0 0 64909 101 0 0 25 0 1 0 891184874 72912896 16890 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17801 16890 1111 63 0 17738 0 vsize: 71204 [startup+660.024 s] Raw data (loadavg): 0.99 0.97 0.82 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17150 0 0 0 65908 102 0 0 25 0 1 0 891184874 73584640 17066 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17965 17066 1111 63 0 17902 0 vsize: 71860 [startup+670.024 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17275 0 0 0 66907 103 0 0 25 0 1 0 891184874 74129408 17191 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18098 17191 1111 63 0 18035 0 vsize: 72392 [startup+680.023 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17440 0 0 0 67906 104 0 0 25 0 1 0 891184874 74805248 17356 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18263 17356 1111 63 0 18200 0 vsize: 73052 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17583 0 0 0 68905 105 0 0 25 0 1 0 891184874 75345920 17499 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18395 17499 1111 63 0 18332 0 vsize: 73580 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17675 0 0 0 69904 106 0 0 25 0 1 0 891184874 75751424 17591 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18494 17591 1111 63 0 18431 0 vsize: 73976 [startup+710.025 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17756 0 0 0 70904 107 0 0 25 0 1 0 891184874 76156928 17672 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18593 17672 1111 63 0 18530 0 vsize: 74372 [startup+720.026 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17869 0 0 0 71903 108 0 0 25 0 1 0 891184874 76562432 17785 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18692 17785 1111 63 0 18629 0 vsize: 74768 [startup+730.026 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17936 0 0 0 72902 109 0 0 25 0 1 0 891184874 76832768 17852 4294967295 134512640 134716908 3221224576 3221223272 134552678 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18758 17852 1111 63 0 18695 0 vsize: 75032 [startup+740.027 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 17985 0 0 0 73901 110 0 0 25 0 1 0 891184874 77103104 17901 4294967295 134512640 134716908 3221224576 3221223336 134552570 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18824 17901 1111 63 0 18761 0 vsize: 75296 [startup+750.027 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18031 0 0 0 74901 111 0 0 25 0 1 0 891184874 77238272 17947 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18857 17947 1111 63 0 18794 0 vsize: 75428 [startup+760.034 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18141 0 0 0 75901 111 0 0 25 0 1 0 891184874 77643776 18057 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18956 18057 1111 63 0 18893 0 vsize: 75824 [startup+770.035 s] Raw data (loadavg): 0.99 0.97 0.83 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18332 0 0 0 76900 112 0 0 25 0 1 0 891184874 78454784 18248 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19154 18248 1111 63 0 19091 0 vsize: 76616 [startup+780.035 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18472 0 0 0 77899 113 0 0 25 0 1 0 891184874 78987264 18388 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19284 18388 1111 63 0 19221 0 vsize: 77136 [startup+790.035 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18686 0 0 0 78898 115 0 0 25 0 1 0 891184874 79937536 18602 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19516 18602 1111 63 0 19453 0 vsize: 78064 [startup+800.035 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18778 0 0 0 79897 116 0 0 25 0 1 0 891184874 80347136 18694 4294967295 134512640 134716908 3221224576 3221222812 134613972 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19616 18694 1111 63 0 19553 0 vsize: 78464 [startup+810.036 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 18926 0 0 0 80896 118 0 0 25 0 1 0 891184874 80879616 18842 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19746 18842 1111 63 0 19683 0 vsize: 78984 [startup+820.037 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19002 0 0 0 81895 119 0 0 25 0 1 0 891184874 81285120 18918 4294967295 134512640 134716908 3221224576 3221223164 134535959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19845 18918 1111 63 0 19782 0 vsize: 79380 [startup+830.037 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19052 0 0 0 82895 119 0 0 25 0 1 0 891184874 81420288 18968 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19878 18968 1111 63 0 19815 0 vsize: 79512 [startup+840.037 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19136 0 0 0 83894 120 0 0 25 0 1 0 891184874 81833984 19052 4294967295 134512640 134716908 3221224576 3221222988 1077379843 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19979 19052 1111 63 0 19916 0 vsize: 79916 [startup+850.038 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19255 0 0 0 84893 121 0 0 25 0 1 0 891184874 82235392 19171 4294967295 134512640 134716908 3221224576 3221223344 134529113 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20077 19171 1111 63 0 20014 0 vsize: 80308 [startup+860.038 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19321 0 0 0 85893 122 0 0 25 0 1 0 891184874 82505728 19237 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20143 19237 1111 63 0 20080 0 vsize: 80572 [startup+870.038 s] Raw data (loadavg): 0.99 0.97 0.84 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19409 0 0 0 86892 122 0 0 25 0 1 0 891184874 82911232 19325 4294967295 134512640 134716908 3221224576 3221223208 134698681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20242 19325 1111 63 0 20179 0 vsize: 80968 [startup+880.038 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19470 0 0 0 87892 123 0 0 25 0 1 0 891184874 83181568 19386 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20308 19386 1111 63 0 20245 0 vsize: 81232 [startup+890.039 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19504 0 0 0 88892 123 0 0 25 0 1 0 891184874 83316736 19420 4294967295 134512640 134716908 3221224576 3221223280 134528677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20341 19420 1111 63 0 20278 0 vsize: 81364 [startup+900.038 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19580 0 0 0 89891 124 0 0 25 0 1 0 891184874 83587072 19496 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20407 19496 1111 63 0 20344 0 vsize: 81628 [startup+910.04 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19666 0 0 0 90890 125 0 0 25 0 1 0 891184874 83992576 19582 4294967295 134512640 134716908 3221224576 3221223292 134698760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20506 19582 1111 63 0 20443 0 vsize: 82024 [startup+920.04 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19772 0 0 0 91890 126 0 0 25 0 1 0 891184874 84398080 19688 4294967295 134512640 134716908 3221224576 3221223332 134655223 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20605 19688 1111 63 0 20542 0 vsize: 82420 [startup+930.04 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19820 0 0 0 92890 126 0 0 25 0 1 0 891184874 84533248 19736 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20638 19736 1111 63 0 20575 0 vsize: 82552 [startup+940.04 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19863 0 0 0 93889 127 0 0 25 0 1 0 891184874 84803584 19779 4294967295 134512640 134716908 3221224576 3221223152 134549474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20704 19779 1111 63 0 20641 0 vsize: 82816 [startup+950.04 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 19925 0 0 0 94889 127 0 0 25 0 1 0 891184874 85073920 19841 4294967295 134512640 134716908 3221224576 3221223216 134698462 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20770 19841 1111 63 0 20707 0 vsize: 83080 [startup+960.041 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20050 0 0 0 95888 128 0 0 25 0 1 0 891184874 85479424 19966 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20869 19966 1111 63 0 20806 0 vsize: 83476 [startup+970.041 s] Raw data (loadavg): 0.99 0.97 0.85 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20172 0 0 0 96887 129 0 0 25 0 1 0 891184874 86020096 20087 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21001 20087 1111 63 0 20938 0 vsize: 84004 [startup+980.04 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20216 0 0 0 97887 130 0 0 25 0 1 0 891184874 86155264 20131 4294967295 134512640 134716908 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21034 20131 1111 63 0 20971 0 vsize: 84136 [startup+990.041 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20243 0 0 0 98886 130 0 0 25 0 1 0 891184874 86286336 20158 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21066 20158 1111 63 0 21003 0 vsize: 84264 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20299 0 0 0 99886 131 0 0 25 0 1 0 891184874 86556672 20214 4294967295 134512640 134716908 3221224576 3221223256 134552633 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21132 20214 1111 63 0 21069 0 vsize: 84528 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20342 0 0 0 100886 131 0 0 25 0 1 0 891184874 86691840 20257 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21165 20257 1111 63 0 21102 0 vsize: 84660 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20455 0 0 0 101885 132 0 0 25 0 1 0 891184874 87232512 20370 4294967295 134512640 134716908 3221224576 3221223344 134529376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21297 20370 1111 63 0 21234 0 vsize: 85188 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20496 0 0 0 102885 133 0 0 25 0 1 0 891184874 87367680 20411 4294967295 134512640 134716908 3221224576 3221223260 134523848 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21330 20411 1111 63 0 21267 0 vsize: 85320 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20549 0 0 0 103884 133 0 0 25 0 1 0 891184874 87502848 20464 4294967295 134512640 134716908 3221224576 3221223064 134552642 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21363 20464 1111 63 0 21300 0 vsize: 85452 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20607 0 0 0 104884 134 0 0 25 0 1 0 891184874 87773184 20522 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21429 20522 1111 63 0 21366 0 vsize: 85716 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20644 0 0 0 105884 134 0 0 25 0 1 0 891184874 87908352 20559 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21462 20559 1111 63 0 21399 0 vsize: 85848 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.86 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20804 0 0 0 106882 136 0 0 25 0 1 0 891184874 88584192 20719 4294967295 134512640 134716908 3221224576 3221223360 134528840 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21627 20719 1111 63 0 21564 0 vsize: 86508 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 20929 0 0 0 107882 137 0 0 25 0 1 0 891184874 89120768 20844 4294967295 134512640 134716908 3221224576 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21758 20844 1111 63 0 21695 0 vsize: 87032 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21067 0 0 0 108881 137 0 0 25 0 1 0 891184874 89698304 20982 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21899 20982 1111 63 0 21836 0 vsize: 87596 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21242 0 0 0 109881 138 0 0 25 0 1 0 891184874 90374144 21157 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22064 21157 1111 63 0 22001 0 vsize: 88256 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21414 0 0 0 110880 139 0 0 25 0 1 0 891184874 91185152 21329 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22262 21329 1111 63 0 22199 0 vsize: 89048 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21534 0 0 0 111880 140 0 0 25 0 1 0 891184874 91725824 21449 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22394 21449 1111 63 0 22331 0 vsize: 89576 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21610 0 0 0 112879 140 0 0 25 0 1 0 891184874 91996160 21525 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22460 21525 1111 63 0 22397 0 vsize: 89840 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21763 0 0 0 113879 141 0 0 25 0 1 0 891184874 92672000 21678 4294967295 134512640 134716908 3221224576 3221223320 134551624 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22625 21678 1111 63 0 22562 0 vsize: 90500 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 21929 0 0 0 114878 142 0 0 25 0 1 0 891184874 93347840 21844 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22790 21844 1111 63 0 22727 0 vsize: 91160 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 22040 0 0 0 115877 143 0 0 25 0 1 0 891184874 93753344 21955 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22889 21955 1111 63 0 22826 0 vsize: 91556 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.87 2/54 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 22187 0 0 0 116877 144 0 0 25 0 1 0 891184874 94294016 22102 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23021 22102 1111 63 0 22958 0 vsize: 92084 [startup+1174.89 s] Raw data (loadavg): 0.99 0.97 0.87 1/53 11665 Raw data (stat): 11665 (bsolo_lpr-v2) R 11664 21152 21151 0 -1 0 22187 0 0 0 116877 144 0 0 25 0 1 0 891184874 94294016 22102 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23021 22102 1111 63 0 22958 0 vsize: 0 Child status: 0 Real time (s): 1174.89 CPU time (s): 1175.05 CPU user time (s): 1173.57 CPU system time (s): 1.48777 CPU usage (%): 100.014 Max. virtual memory (Kb): 92084 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####