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 wulflinc6 THE 2005-06-08 14:33:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28624 boxname=wulflinc6 idbench=10 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: afcc4289aafaea265ed2d465965a3342 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl20_30_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl20_30_pb.cnf.cr.opb IDLAUNCH: 28624 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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 : 2 cpu MHz : 451.042 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: 603456 kB Buffers: 29732 kB Cached: 380592 kB SwapCached: 940 kB Active: 41000 kB Inactive: 371348 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 603204 kB SwapTotal: 2097136 kB SwapFree: 2095212 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5012 kB Slab: 13128 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 14:52:53 (client local time) WITH STATUS 0 IN 1175.06 SECONDS stats: 28624 7 1175.06 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.349 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.97 0.91 2/54 31847 Raw data (stat): 31847 (runsolver) R 31846 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902383741 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0004 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 2447 0 0 0 991 6 0 0 25 0 1 0 902383741 13168640 2365 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3215 2365 1111 63 0 3152 0 vsize: 12860 [startup+20.0005 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 3618 0 0 0 1988 10 0 0 25 0 1 0 902383741 17907712 3536 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4372 3536 1111 63 0 4309 0 vsize: 17488 [startup+30.001 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 4075 0 0 0 2985 13 0 0 25 0 1 0 902383741 19800064 3993 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4834 3993 1111 63 0 4771 0 vsize: 19336 [startup+40.0008 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 4711 0 0 0 3983 15 0 0 25 0 1 0 902383741 22368256 4629 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5461 4629 1111 63 0 5398 0 vsize: 21844 [startup+50.0009 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 5067 0 0 0 4981 17 0 0 25 0 1 0 902383741 23842816 4985 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5821 4985 1111 63 0 5758 0 vsize: 23284 [startup+60.0004 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 5360 0 0 0 5979 19 0 0 25 0 1 0 902383741 25059328 5278 4294967295 134512640 134716908 3221224560 3221223152 134549700 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.0002 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 5543 0 0 0 6979 21 0 0 25 0 1 0 902383741 25870336 5461 4294967295 134512640 134716908 3221224560 3221223328 134529115 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6316 5461 1111 63 0 6253 0 vsize: 25264 [startup+80.0004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 5773 0 0 0 7978 22 0 0 25 0 1 0 902383741 26816512 5691 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6547 5691 1111 63 0 6484 0 vsize: 26188 [startup+89.9999 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 5936 0 0 0 8976 24 0 0 25 0 1 0 902383741 27488256 5854 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6711 5854 1111 63 0 6648 0 vsize: 26844 [startup+99.9997 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 6188 0 0 0 9975 25 0 0 25 0 1 0 902383741 28434432 6106 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6942 6106 1111 63 0 6879 0 vsize: 27768 [startup+110 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 6500 0 0 0 10974 27 0 0 25 0 1 0 902383741 29777920 6418 4294967295 134512640 134716908 3221224560 3221223344 134529395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7270 6418 1111 63 0 7207 0 vsize: 29080 [startup+119.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 6835 0 0 0 11972 29 0 0 25 0 1 0 902383741 31129600 6753 4294967295 134512640 134716908 3221224560 3221223056 134535457 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7600 6753 1111 63 0 7537 0 vsize: 30400 [startup+129.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 7195 0 0 0 12970 31 0 0 25 0 1 0 902383741 32600064 7113 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7959 7113 1111 63 0 7896 0 vsize: 31836 [startup+139.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 7378 0 0 0 13969 33 0 0 25 0 1 0 902383741 33275904 7296 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8124 7296 1111 63 0 8061 0 vsize: 32496 [startup+150 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 7625 0 0 0 14968 34 0 0 25 0 1 0 902383741 34373632 7543 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8392 7543 1111 63 0 8329 0 vsize: 33568 [startup+160 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 7812 0 0 0 15967 35 0 0 25 0 1 0 902383741 35209216 7730 4294967295 134512640 134716908 3221224560 3221223236 1077374514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8596 7730 1111 63 0 8533 0 vsize: 34384 [startup+169.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 7995 0 0 0 16966 36 0 0 25 0 1 0 902383741 35885056 7913 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8761 7913 1111 63 0 8698 0 vsize: 35044 [startup+179.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 8155 0 0 0 17965 38 0 0 25 0 1 0 902383741 36560896 8073 4294967295 134512640 134716908 3221224560 3221223248 134528712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8926 8073 1111 63 0 8863 0 vsize: 35704 [startup+189.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 8331 0 0 0 18964 39 0 0 25 0 1 0 902383741 37228544 8249 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9089 8249 1111 63 0 9026 0 vsize: 36356 [startup+199.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 8470 0 0 0 19963 40 0 0 25 0 1 0 902383741 37904384 8388 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9254 8388 1111 63 0 9191 0 vsize: 37016 [startup+209.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 8761 0 0 0 20962 42 0 0 25 0 1 0 902383741 39120896 8679 4294967295 134512640 134716908 3221224560 3221223200 134539356 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9551 8679 1111 63 0 9488 0 vsize: 38204 [startup+219.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 9094 0 0 0 21961 43 0 0 25 0 1 0 902383741 40472576 9012 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9881 9012 1111 63 0 9818 0 vsize: 39524 [startup+229.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 9216 0 0 0 22960 44 0 0 25 0 1 0 902383741 41013248 9134 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10013 9134 1111 63 0 9950 0 vsize: 40052 [startup+239.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 9297 0 0 0 23959 45 0 0 25 0 1 0 902383741 41283584 9215 4294967295 134512640 134716908 3221224560 3221223120 134535881 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10079 9215 1111 63 0 10016 0 vsize: 40316 [startup+249.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 9483 0 0 0 24958 46 0 0 25 0 1 0 902383741 42094592 9401 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10277 9401 1111 63 0 10214 0 vsize: 41108 [startup+259.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 9736 0 0 0 25957 48 0 0 25 0 1 0 902383741 43040768 9654 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10508 9654 1111 63 0 10445 0 vsize: 42032 [startup+269.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 9880 0 0 0 26956 49 0 0 25 0 1 0 902383741 43716608 9798 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10673 9798 1111 63 0 10610 0 vsize: 42692 [startup+279.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10112 0 0 0 27954 51 0 0 25 0 1 0 902383741 44662784 10030 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10904 10030 1111 63 0 10841 0 vsize: 43616 [startup+289.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10299 0 0 0 28954 52 0 0 25 0 1 0 902383741 45473792 10217 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11102 10217 1111 63 0 11039 0 vsize: 44408 [startup+299.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10426 0 0 0 29953 53 0 0 25 0 1 0 902383741 45895680 10344 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11205 10344 1111 63 0 11142 0 vsize: 44820 [startup+309.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10496 0 0 0 30953 54 0 0 25 0 1 0 902383741 46301184 10414 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11304 10414 1111 63 0 11241 0 vsize: 45216 [startup+319.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10619 0 0 0 31952 54 0 0 25 0 1 0 902383741 46698496 10537 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11401 10537 1111 63 0 11338 0 vsize: 45604 [startup+329.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10750 0 0 0 32952 55 0 0 25 0 1 0 902383741 47239168 10668 4294967295 134512640 134716908 3221224560 3221223116 134535626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11533 10668 1111 63 0 11470 0 vsize: 46132 [startup+339.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10825 0 0 0 33952 56 0 0 25 0 1 0 902383741 47640576 10743 4294967295 134512640 134716908 3221224560 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11631 10743 1111 63 0 11568 0 vsize: 46524 [startup+349.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10870 0 0 0 34952 56 0 0 25 0 1 0 902383741 47775744 10788 4294967295 134512640 134716908 3221224560 3221223216 134536683 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11664 10788 1111 63 0 11601 0 vsize: 46656 [startup+359.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 10924 0 0 0 35951 57 0 0 25 0 1 0 902383741 47910912 10842 4294967295 134512640 134716908 3221224560 3221223344 134529126 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11697 10842 1111 63 0 11634 0 vsize: 46788 [startup+369.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 11067 0 0 0 36951 57 0 0 25 0 1 0 902383741 48582656 10985 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11861 10985 1111 63 0 11798 0 vsize: 47444 [startup+379.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 11276 0 0 0 37950 58 0 0 25 0 1 0 902383741 49389568 11194 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12058 11194 1111 63 0 11995 0 vsize: 48232 [startup+389.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 11581 0 0 0 38949 60 0 0 25 0 1 0 902383741 50737152 11499 4294967295 134512640 134716908 3221224560 3221223276 134552682 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12387 11499 1111 63 0 12324 0 vsize: 49548 [startup+399.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 11795 0 0 0 39948 61 0 0 25 0 1 0 902383741 51548160 11713 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12585 11713 1111 63 0 12522 0 vsize: 50340 [startup+409.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 11960 0 0 0 40947 63 0 0 25 0 1 0 902383741 52211712 11878 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12747 11878 1111 63 0 12684 0 vsize: 50988 [startup+419.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 12119 0 0 0 41946 64 0 0 25 0 1 0 902383741 52883456 12037 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12911 12037 1111 63 0 12848 0 vsize: 51644 [startup+429.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 12260 0 0 0 42945 65 0 0 25 0 1 0 902383741 53424128 12178 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13043 12178 1111 63 0 12980 0 vsize: 52172 [startup+439.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 12373 0 0 0 43945 66 0 0 25 0 1 0 902383741 53964800 12291 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13175 12291 1111 63 0 13112 0 vsize: 52700 [startup+449.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 12591 0 0 0 44944 67 0 0 25 0 1 0 902383741 54775808 12509 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13373 12509 1111 63 0 13310 0 vsize: 53492 [startup+459.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 13036 0 0 0 45943 68 0 0 25 0 1 0 902383741 56688640 12954 4294967295 134512640 134716908 3221224560 3221223264 134528623 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13840 12954 1111 63 0 13777 0 vsize: 55360 [startup+469.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 13237 0 0 0 46942 69 0 0 25 0 1 0 902383741 57499648 13155 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14038 13155 1111 63 0 13975 0 vsize: 56152 [startup+479.992 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 13398 0 0 0 47941 71 0 0 25 0 1 0 902383741 58163200 13316 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14200 13316 1111 63 0 14137 0 vsize: 56800 [startup+489.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 13519 0 0 0 48941 71 0 0 25 0 1 0 902383741 58699776 13437 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14331 13437 1111 63 0 14268 0 vsize: 57324 [startup+499.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 14203 0 0 0 49938 75 0 0 25 0 1 0 902383741 61538304 14121 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15024 14121 1111 63 0 14961 0 vsize: 60096 [startup+509.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 14517 0 0 0 50937 76 0 0 25 0 1 0 902383741 62889984 14435 4294967295 134512640 134716908 3221224560 3221223264 134584836 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15354 14435 1111 63 0 15291 0 vsize: 61416 [startup+519.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 14754 0 0 0 51935 78 0 0 25 0 1 0 902383741 63836160 14672 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15585 14672 1111 63 0 15522 0 vsize: 62340 [startup+529.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 14872 0 0 0 52935 79 0 0 25 0 1 0 902383741 64241664 14790 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15684 14790 1111 63 0 15621 0 vsize: 62736 [startup+539.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 14970 0 0 0 53934 80 0 0 25 0 1 0 902383741 64647168 14888 4294967295 134512640 134716908 3221224560 3221223248 134528607 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15783 14888 1111 63 0 15720 0 vsize: 63132 [startup+549.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 15318 0 0 0 54933 81 0 0 25 0 1 0 902383741 66134016 15236 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16146 15236 1111 63 0 16083 0 vsize: 64584 [startup+559.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 15622 0 0 0 55932 83 0 0 25 0 1 0 902383741 67350528 15540 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16443 15540 1111 63 0 16380 0 vsize: 65772 [startup+569.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 15844 0 0 0 56931 84 0 0 25 0 1 0 902383741 68296704 15762 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16674 15762 1111 63 0 16611 0 vsize: 66696 [startup+579.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 15975 0 0 0 57929 86 0 0 25 0 1 0 902383741 68837376 15893 4294967295 134512640 134716908 3221224560 3221223152 134549780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16806 15893 1111 63 0 16743 0 vsize: 67224 [startup+589.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16083 0 0 0 58929 87 0 0 25 0 1 0 902383741 69263360 15999 4294967295 134512640 134716908 3221224560 3221223136 134549852 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16910 15999 1111 63 0 16847 0 vsize: 67640 [startup+599.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16332 0 0 0 59928 88 0 0 25 0 1 0 902383741 70209536 16248 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17141 16248 1111 63 0 17078 0 vsize: 68564 [startup+609.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16488 0 0 0 60927 90 0 0 25 0 1 0 902383741 70885376 16404 4294967295 134512640 134716908 3221224560 3221223188 134698613 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17306 16404 1111 63 0 17243 0 vsize: 69224 [startup+619.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16577 0 0 0 61926 90 0 0 25 0 1 0 902383741 71290880 16493 4294967295 134512640 134716908 3221224560 3221223192 134698699 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17405 16493 1111 63 0 17342 0 vsize: 69620 [startup+629.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16658 0 0 0 62926 91 0 0 25 0 1 0 902383741 71561216 16574 4294967295 134512640 134716908 3221224560 3221223344 134529328 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17471 16574 1111 63 0 17408 0 vsize: 69884 [startup+639.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16795 0 0 0 63924 93 0 0 25 0 1 0 902383741 72237056 16711 4294967295 134512640 134716908 3221224560 3221223328 134529136 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17636 16711 1111 63 0 17573 0 vsize: 70544 [startup+649.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 16891 0 0 0 64924 94 0 0 25 0 1 0 902383741 72507392 16807 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17702 16807 1111 63 0 17639 0 vsize: 70808 [startup+659.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17091 0 0 0 65923 95 0 0 25 0 1 0 902383741 73449472 17007 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17932 17007 1111 63 0 17869 0 vsize: 71728 [startup+669.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17172 0 0 0 66922 96 0 0 25 0 1 0 902383741 73719808 17088 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17998 17088 1111 63 0 17935 0 vsize: 71992 [startup+679.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17354 0 0 0 67921 98 0 0 25 0 1 0 902383741 74534912 17270 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18197 17270 1111 63 0 18134 0 vsize: 72788 [startup+689.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17523 0 0 0 68921 98 0 0 25 0 1 0 902383741 75210752 17439 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18362 17439 1111 63 0 18299 0 vsize: 73448 [startup+699.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17632 0 0 0 69920 99 0 0 25 0 1 0 902383741 75616256 17548 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18461 17548 1111 63 0 18398 0 vsize: 73844 [startup+709.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17698 0 0 0 70920 100 0 0 25 0 1 0 902383741 75886592 17614 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18527 17614 1111 63 0 18464 0 vsize: 74108 [startup+719.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17796 0 0 0 71919 101 0 0 25 0 1 0 902383741 76292096 17712 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18626 17712 1111 63 0 18563 0 vsize: 74504 [startup+729.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17890 0 0 0 72918 102 0 0 25 0 1 0 902383741 76697600 17806 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18725 17806 1111 63 0 18662 0 vsize: 74900 [startup+739.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17963 0 0 0 73918 103 0 0 25 0 1 0 902383741 76967936 17879 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18791 17879 1111 63 0 18728 0 vsize: 75164 [startup+749.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 17994 0 0 0 74917 104 0 0 25 0 1 0 902383741 77103104 17910 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18824 17910 1111 63 0 18761 0 vsize: 75296 [startup+759.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18083 0 0 0 75917 104 0 0 25 0 1 0 902383741 77508608 17999 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18923 17999 1111 63 0 18860 0 vsize: 75692 [startup+769.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18252 0 0 0 76917 105 0 0 25 0 1 0 902383741 78184448 18168 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19088 18169 1111 63 0 19025 0 vsize: 76352 [startup+779.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18368 0 0 0 77916 106 0 0 25 0 1 0 902383741 78589952 18284 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19187 18284 1111 63 0 19124 0 vsize: 76748 [startup+789.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18580 0 0 0 78915 108 0 0 25 0 1 0 902383741 79532032 18496 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19417 18496 1111 63 0 19354 0 vsize: 77668 [startup+799.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18738 0 0 0 79914 108 0 0 25 0 1 0 902383741 80195584 18654 4294967295 134512640 134716908 3221224560 3221223392 134590006 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19579 18654 1111 63 0 19516 0 vsize: 78316 [startup+809.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18829 0 0 0 80914 109 0 0 25 0 1 0 902383741 80474112 18745 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19647 18745 1111 63 0 19584 0 vsize: 78588 [startup+819.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 18967 0 0 0 81913 110 0 0 25 0 1 0 902383741 81149952 18883 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19812 18883 1111 63 0 19749 0 vsize: 79248 [startup+829.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19033 0 0 0 82913 111 0 0 25 0 1 0 902383741 81420288 18949 4294967295 134512640 134716908 3221224560 3221223328 134529113 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19878 18949 1111 63 0 19815 0 vsize: 79512 [startup+839.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19067 0 0 0 83913 111 0 0 25 0 1 0 902383741 81563648 18983 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19913 18983 1111 63 0 19850 0 vsize: 79652 [startup+849.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19163 0 0 0 84913 112 0 0 25 0 1 0 902383741 81833984 19079 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19979 19079 1111 63 0 19916 0 vsize: 79916 [startup+860 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19282 0 0 0 85912 113 0 0 25 0 1 0 902383741 82370560 19198 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20110 19198 1111 63 0 20047 0 vsize: 80440 [startup+870 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19351 0 0 0 86912 114 0 0 25 0 1 0 902383741 82640896 19267 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20176 19267 1111 63 0 20113 0 vsize: 80704 [startup+879.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19434 0 0 0 87911 114 0 0 25 0 1 0 902383741 83046400 19350 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20275 19350 1111 63 0 20212 0 vsize: 81100 [startup+890 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19480 0 0 0 88911 115 0 0 25 0 1 0 902383741 83181568 19396 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20308 19396 1111 63 0 20245 0 vsize: 81232 [startup+900 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19538 0 0 0 89910 116 0 0 25 0 1 0 902383741 83451904 19454 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20374 19454 1111 63 0 20311 0 vsize: 81496 [startup+910 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19616 0 0 0 90910 117 0 0 25 0 1 0 902383741 83722240 19532 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20440 19532 1111 63 0 20377 0 vsize: 81760 [startup+920.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19711 0 0 0 91910 118 0 0 25 0 1 0 902383741 84127744 19627 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20539 19627 1111 63 0 20476 0 vsize: 82156 [startup+930.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19782 0 0 0 92909 118 0 0 25 0 1 0 902383741 84398080 19698 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20605 19698 1111 63 0 20542 0 vsize: 82420 [startup+940.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19843 0 0 0 93910 119 0 0 25 0 1 0 902383741 84668416 19759 4294967295 134512640 134716908 3221224560 3221223212 134536804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20671 19759 1111 63 0 20608 0 vsize: 82684 [startup+950.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19884 0 0 0 94909 120 0 0 25 0 1 0 902383741 84803584 19800 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20704 19800 1111 63 0 20641 0 vsize: 82816 [startup+960.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 19941 0 0 0 95908 121 0 0 25 0 1 0 902383741 85073920 19857 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20770 19857 1111 63 0 20707 0 vsize: 83080 [startup+970.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20109 0 0 0 96908 122 0 0 25 0 1 0 902383741 85749760 20025 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20935 20025 1111 63 0 20872 0 vsize: 83740 [startup+980.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20184 0 0 0 97907 123 0 0 25 0 1 0 902383741 86020096 20099 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21001 20099 1111 63 0 20938 0 vsize: 84004 [startup+990.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20222 0 0 0 98907 123 0 0 25 0 1 0 902383741 86290432 20137 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21067 20137 1111 63 0 21004 0 vsize: 84268 [startup+1000 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20251 0 0 0 99907 124 0 0 25 0 1 0 902383741 86286336 20166 4294967295 134512640 134716908 3221224560 3221223248 134536630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21066 20166 1111 63 0 21003 0 vsize: 84264 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20310 0 0 0 100906 124 0 0 25 0 1 0 902383741 86556672 20225 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21132 20225 1111 63 0 21069 0 vsize: 84528 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20346 0 0 0 101906 125 0 0 25 0 1 0 902383741 86691840 20261 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21165 20261 1111 63 0 21102 0 vsize: 84660 [startup+1030 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20467 0 0 0 102906 126 0 0 25 0 1 0 902383741 87232512 20382 4294967295 134512640 134716908 3221224560 3221223264 134535807 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21297 20382 1111 63 0 21234 0 vsize: 85188 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20517 0 0 0 103906 126 0 0 25 0 1 0 902383741 87367680 20432 4294967295 134512640 134716908 3221224560 3221223296 134524039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21330 20432 1111 63 0 21267 0 vsize: 85320 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20567 0 0 0 104906 126 0 0 25 0 1 0 902383741 87638016 20482 4294967295 134512640 134716908 3221224560 3221223216 134524259 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21396 20482 1111 63 0 21333 0 vsize: 85584 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20614 0 0 0 105905 127 0 0 25 0 1 0 902383741 87773184 20529 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21429 20529 1111 63 0 21366 0 vsize: 85716 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20656 0 0 0 106905 127 0 0 25 0 1 0 902383741 88043520 20571 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21495 20571 1111 63 0 21432 0 vsize: 85980 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20864 0 0 0 107904 129 0 0 25 0 1 0 902383741 88854528 20779 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21693 20779 1111 63 0 21630 0 vsize: 86772 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 20933 0 0 0 108904 129 0 0 25 0 1 0 902383741 89120768 20848 4294967295 134512640 134716908 3221224560 3221223152 134549780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21758 20848 1111 63 0 21695 0 vsize: 87032 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21087 0 0 0 109904 130 0 0 25 0 1 0 902383741 89833472 21002 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21932 21002 1111 63 0 21869 0 vsize: 87728 [startup+1110.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21277 0 0 0 110903 131 0 0 25 0 1 0 902383741 90509312 21192 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22097 21192 1111 63 0 22034 0 vsize: 88388 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21439 0 0 0 111902 132 0 0 25 0 1 0 902383741 91320320 21354 4294967295 134512640 134716908 3221224560 3221223344 134529259 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22295 21354 1111 63 0 22232 0 vsize: 89180 [startup+1130.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21542 0 0 0 112902 133 0 0 25 0 1 0 902383741 91725824 21457 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22394 21457 1111 63 0 22331 0 vsize: 89576 [startup+1140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21617 0 0 0 113902 134 0 0 25 0 1 0 902383741 91996160 21532 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22460 21532 1111 63 0 22397 0 vsize: 89840 [startup+1150.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21826 0 0 0 114901 134 0 0 25 0 1 0 902383741 92807168 21741 4294967295 134512640 134716908 3221224560 3221223332 134529151 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22658 21741 1111 63 0 22595 0 vsize: 90632 [startup+1160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 21951 0 0 0 115901 135 0 0 25 0 1 0 902383741 93347840 21866 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22790 21866 1111 63 0 22727 0 vsize: 91160 [startup+1170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 22046 0 0 0 116900 136 0 0 25 0 1 0 902383741 93753344 21961 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22889 21961 1111 63 0 22826 0 vsize: 91556 [startup+1174.7 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 31847 Raw data (stat): 31847 (bsolo_lpr_cuts-) R 31846 25568 25567 0 -1 0 22046 0 0 0 116900 136 0 0 25 0 1 0 902383741 93753344 21961 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22889 21961 1111 63 0 22826 0 vsize: 0 Child status: 0 Real time (s): 1174.7 CPU time (s): 1175.06 CPU user time (s): 1173.65 CPU system time (s): 1.40979 CPU usage (%): 100.031 Max. virtual memory (Kb): 91556 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####