Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb |
MD5SUM | 4313884ec3fa396c713faf5f812fe6b8 |
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 | 21 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.136978 |
Number of variables | 600 |
Total number of constraints | 460 |
Number of constraints which are clauses | 420 |
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 | 10 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-07 09:07:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27484 boxname=wulflinc4 idbench=42 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 4313884ec3fa396c713faf5f812fe6b8 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga20_20_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga20_20_sat_pb.cnf.cr.opb IDLAUNCH: 27484 /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: 405016 kB Buffers: 34400 kB Cached: 571932 kB SwapCached: 568 kB Active: 56584 kB Inactive: 551892 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 404764 kB SwapTotal: 2097136 kB SwapFree: 2095660 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5328 kB Slab: 15516 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 09:26:37 (client local time) WITH STATUS 0 IN 1175.06 SECONDS stats: 27484 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 600 variables and 460 constraints. c After prepocess the problem consists of 600 variables and 460 constraints. c preprocess terminated 0.494 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.92 0.97 0.91 1/54 12244 Raw data (stat): 12244 (runsolver) R 12243 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891776201 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.0009 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 2216 0 0 0 991 6 0 0 25 0 1 0 891776201 12206080 2134 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2980 2134 1111 63 0 2917 0 vsize: 11920 [startup+20.0018 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 2948 0 0 0 1987 10 0 0 25 0 1 0 891776201 15171584 2866 4294967295 134512640 134716908 3221224560 3221223120 134542325 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3704 2866 1111 63 0 3641 0 vsize: 14816 [startup+30.0024 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 3929 0 0 0 2983 14 0 0 25 0 1 0 891776201 19222528 3847 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4693 3847 1111 63 0 4630 0 vsize: 18772 [startup+40.0025 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 4470 0 0 0 3981 16 0 0 25 0 1 0 891776201 21377024 4388 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5219 4388 1111 63 0 5156 0 vsize: 20876 [startup+50.0024 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 4758 0 0 0 4980 18 0 0 25 0 1 0 891776201 22593536 4676 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5516 4676 1111 63 0 5453 0 vsize: 22064 [startup+60.0037 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 4892 0 0 0 5979 19 0 0 25 0 1 0 891776201 23134208 4810 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5648 4810 1111 63 0 5585 0 vsize: 22592 [startup+70.0041 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 5080 0 0 0 6977 21 0 0 25 0 1 0 891776201 23945216 4998 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5846 4998 1111 63 0 5783 0 vsize: 23384 [startup+80.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 5248 0 0 0 7976 22 0 0 25 0 1 0 891776201 24621056 5166 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6011 5166 1111 63 0 5948 0 vsize: 24044 [startup+90.0046 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 5409 0 0 0 8974 24 0 0 25 0 1 0 891776201 25264128 5327 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6168 5327 1111 63 0 6105 0 vsize: 24672 [startup+100.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 5603 0 0 0 9973 26 0 0 25 0 1 0 891776201 26058752 5521 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6362 5521 1111 63 0 6299 0 vsize: 25448 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 5820 0 0 0 10970 28 0 0 25 0 1 0 891776201 26996736 5738 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6591 5738 1111 63 0 6528 0 vsize: 26364 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 5955 0 0 0 11968 30 0 0 25 0 1 0 891776201 27537408 5873 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6723 5873 1111 63 0 6660 0 vsize: 26892 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6063 0 0 0 12967 31 0 0 25 0 1 0 891776201 27947008 5981 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6823 5981 1111 63 0 6760 0 vsize: 27292 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6190 0 0 0 13966 32 0 0 25 0 1 0 891776201 28487680 6108 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6955 6108 1111 63 0 6892 0 vsize: 27820 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6367 0 0 0 14965 34 0 0 25 0 1 0 891776201 29298688 6285 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7153 6285 1111 63 0 7090 0 vsize: 28612 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6491 0 0 0 15964 35 0 0 25 0 1 0 891776201 29700096 6409 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7251 6409 1111 63 0 7188 0 vsize: 29004 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6548 0 0 0 16963 36 0 0 25 0 1 0 891776201 29970432 6466 4294967295 134512640 134716908 3221224560 3221223212 134542372 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7317 6466 1111 63 0 7254 0 vsize: 29268 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6610 0 0 0 17962 37 0 0 25 0 1 0 891776201 30240768 6528 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7383 6528 1111 63 0 7320 0 vsize: 29532 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6679 0 0 0 18961 39 0 0 25 0 1 0 891776201 30527488 6597 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7453 6597 1111 63 0 7390 0 vsize: 29812 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6712 0 0 0 19960 40 0 0 25 0 1 0 891776201 30662656 6630 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7486 6630 1111 63 0 7423 0 vsize: 29944 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6744 0 0 0 20959 41 0 0 25 0 1 0 891776201 30789632 6662 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7517 6662 1111 63 0 7454 0 vsize: 30068 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6825 0 0 0 21958 42 0 0 25 0 1 0 891776201 31195136 6743 4294967295 134512640 134716908 3221224560 3221223344 134529217 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7616 6743 1111 63 0 7553 0 vsize: 30464 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6914 0 0 0 22957 44 0 0 25 0 1 0 891776201 31465472 6832 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7682 6832 1111 63 0 7619 0 vsize: 30728 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7007 0 0 0 23955 45 0 0 25 0 1 0 891776201 31870976 6925 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7781 6925 1111 63 0 7718 0 vsize: 31124 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7029 0 0 0 24955 45 0 0 25 0 1 0 891776201 32006144 6947 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7814 6947 1111 63 0 7751 0 vsize: 31256 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7029 0 0 0 25955 46 0 0 25 0 1 0 891776201 32006144 6947 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7814 6947 1111 63 0 7751 0 vsize: 31256 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7057 0 0 0 26954 47 0 0 25 0 1 0 891776201 32141312 6975 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7847 6975 1111 63 0 7784 0 vsize: 31388 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7077 0 0 0 27954 47 0 0 25 0 1 0 891776201 32141312 6995 4294967295 134512640 134716908 3221224560 3221223200 134536655 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7847 6995 1111 63 0 7784 0 vsize: 31388 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7086 0 0 0 28953 48 0 0 25 0 1 0 891776201 32276480 7004 4294967295 134512640 134716908 3221224560 3221223324 134592410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7880 7004 1111 63 0 7817 0 vsize: 31520 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7112 0 0 0 29952 49 0 0 25 0 1 0 891776201 32276480 7030 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7880 7030 1111 63 0 7817 0 vsize: 31520 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7122 0 0 0 30951 50 0 0 25 0 1 0 891776201 32411648 7040 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7913 7040 1111 63 0 7850 0 vsize: 31652 [startup+320.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7132 0 0 0 31951 51 0 0 25 0 1 0 891776201 32411648 7050 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7913 7050 1111 63 0 7850 0 vsize: 31652 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7132 0 0 0 32951 51 0 0 25 0 1 0 891776201 32399360 7050 4294967295 134512640 134716908 3221224560 3221223092 134543025 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7910 7050 1111 63 0 7847 0 vsize: 31640 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7141 0 0 0 33950 52 0 0 25 0 1 0 891776201 32399360 7059 4294967295 134512640 134716908 3221224560 3221223296 134535835 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7910 7059 1111 63 0 7847 0 vsize: 31640 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7172 0 0 0 34949 53 0 0 25 0 1 0 891776201 32534528 7090 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7943 7090 1111 63 0 7880 0 vsize: 31772 [startup+360.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7247 0 0 0 35950 54 0 0 25 0 1 0 891776201 32940032 7165 4294967295 134512640 134716908 3221224560 3221223304 134558477 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8042 7165 1111 63 0 7979 0 vsize: 32168 [startup+370.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7269 0 0 0 36950 54 0 0 25 0 1 0 891776201 32940032 7187 4294967295 134512640 134716908 3221224560 3221222972 1077379895 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8042 7187 1111 63 0 7979 0 vsize: 32168 [startup+380.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7273 0 0 0 37949 55 0 0 25 0 1 0 891776201 33083392 7191 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8077 7191 1111 63 0 8014 0 vsize: 32308 [startup+390.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7310 0 0 0 38949 55 0 0 25 0 1 0 891776201 33218560 7228 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8110 7228 1111 63 0 8047 0 vsize: 32440 [startup+400.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7377 0 0 0 39949 56 0 0 25 0 1 0 891776201 33488896 7295 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8176 7295 1111 63 0 8113 0 vsize: 32704 [startup+410.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7394 0 0 0 40948 57 0 0 25 0 1 0 891776201 33488896 7312 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8176 7312 1111 63 0 8113 0 vsize: 32704 [startup+420.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7426 0 0 0 41947 58 0 0 25 0 1 0 891776201 33624064 7344 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8209 7344 1111 63 0 8146 0 vsize: 32836 [startup+430.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7432 0 0 0 42947 58 0 0 25 0 1 0 891776201 33624064 7350 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8209 7350 1111 63 0 8146 0 vsize: 32836 [startup+440.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7440 0 0 0 43947 59 0 0 25 0 1 0 891776201 33759232 7358 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8242 7358 1111 63 0 8179 0 vsize: 32968 [startup+450.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7440 0 0 0 44946 59 0 0 25 0 1 0 891776201 33759232 7358 4294967295 134512640 134716908 3221224560 3221223200 134698448 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8242 7358 1111 63 0 8179 0 vsize: 32968 [startup+460.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7484 0 0 0 45946 60 0 0 25 0 1 0 891776201 33894400 7402 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8275 7402 1111 63 0 8212 0 vsize: 33100 [startup+470.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7523 0 0 0 46945 61 0 0 25 0 1 0 891776201 34029568 7441 4294967295 134512640 134716908 3221224560 3221223216 1076647581 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8308 7441 1111 63 0 8245 0 vsize: 33232 [startup+480.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7526 0 0 0 47945 61 0 0 25 0 1 0 891776201 34029568 7444 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8308 7444 1111 63 0 8245 0 vsize: 33232 [startup+490.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7550 0 0 0 48944 62 0 0 25 0 1 0 891776201 34131968 7468 4294967295 134512640 134716908 3221224560 3221223344 134529410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8333 7468 1111 63 0 8270 0 vsize: 33332 [startup+500.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7566 0 0 0 49944 63 0 0 25 0 1 0 891776201 34238464 7484 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8359 7484 1111 63 0 8296 0 vsize: 33436 [startup+510.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7594 0 0 0 50943 64 0 0 25 0 1 0 891776201 34373632 7512 4294967295 134512640 134716908 3221224560 3221223344 134528780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8392 7512 1111 63 0 8329 0 vsize: 33568 [startup+520.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7673 0 0 0 51942 65 0 0 25 0 1 0 891776201 34643968 7591 4294967295 134512640 134716908 3221224560 3221223108 134699096 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8458 7591 1111 63 0 8395 0 vsize: 33832 [startup+530.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7835 0 0 0 52941 66 0 0 25 0 1 0 891776201 35319808 7753 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8623 7753 1111 63 0 8560 0 vsize: 34492 [startup+540.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7940 0 0 0 53941 67 0 0 25 0 1 0 891776201 35725312 7858 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8722 7858 1111 63 0 8659 0 vsize: 34888 [startup+550.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 8041 0 0 0 54940 68 0 0 25 0 1 0 891776201 36130816 7959 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8821 7959 1111 63 0 8758 0 vsize: 35284 [startup+560.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 8191 0 0 0 55939 69 0 0 25 0 1 0 891776201 36757504 8109 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8974 8109 1111 63 0 8911 0 vsize: 35896 [startup+570.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 8248 0 0 0 56939 69 0 0 25 0 1 0 891776201 37027840 8166 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9040 8166 1111 63 0 8977 0 vsize: 36160 [startup+580.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 8302 0 0 0 57938 70 0 0 25 0 1 0 891776201 37294080 8220 4294967295 134512640 134716908 3221224560 3221223280 134535762 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9105 8220 1111 63 0 9042 0 vsize: 36420 [startup+590.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 8929 0 0 0 58936 72 0 0 25 0 1 0 891776201 39862272 8847 4294967295 134512640 134716908 3221224560 3221223232 134536650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9732 8847 1111 63 0 9669 0 vsize: 38928 [startup+600.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 9768 0 0 0 59932 76 0 0 25 0 1 0 891776201 43241472 9686 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10557 9686 1111 63 0 10494 0 vsize: 42228 [startup+610.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 10856 0 0 0 60928 80 0 0 25 0 1 0 891776201 47702016 10774 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11646 10774 1111 63 0 11583 0 vsize: 46584 [startup+620.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 11330 0 0 0 61927 82 0 0 25 0 1 0 891776201 49598464 11248 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12109 11248 1111 63 0 12046 0 vsize: 48436 [startup+630.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 12161 0 0 0 62924 84 0 0 25 0 1 0 891776201 53116928 12079 4294967295 134512640 134716908 3221224560 3221223200 134698445 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12968 12079 1111 63 0 12905 0 vsize: 51872 [startup+640.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 12662 0 0 0 63923 86 0 0 25 0 1 0 891776201 55144448 12580 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13463 12580 1111 63 0 13400 0 vsize: 53852 [startup+650.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 13031 0 0 0 64921 88 0 0 25 0 1 0 891776201 56631296 12949 4294967295 134512640 134716908 3221224560 3221223212 134536825 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13826 12949 1111 63 0 13763 0 vsize: 55304 [startup+660.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 13633 0 0 0 65919 90 0 0 25 0 1 0 891776201 59195392 13551 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14452 13551 1111 63 0 14389 0 vsize: 57808 [startup+670.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 13907 0 0 0 66917 92 0 0 25 0 1 0 891776201 60276736 13825 4294967295 134512640 134716908 3221224560 3221223216 134523859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14716 13825 1111 63 0 14653 0 vsize: 58864 [startup+680.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 14086 0 0 0 67917 93 0 0 25 0 1 0 891776201 61095936 14004 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14916 14004 1111 63 0 14853 0 vsize: 59664 [startup+690.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 14371 0 0 0 68916 94 0 0 25 0 1 0 891776201 62189568 14289 4294967295 134512640 134716908 3221224560 3221223216 134523856 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15183 14289 1111 63 0 15120 0 vsize: 60732 [startup+700.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 14616 0 0 0 69915 95 0 0 25 0 1 0 891776201 63270912 14534 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15447 14534 1111 63 0 15384 0 vsize: 61788 [startup+710.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 14766 0 0 0 70914 96 0 0 25 0 1 0 891776201 63823872 14684 4294967295 134512640 134716908 3221224560 3221223136 134549640 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15582 14684 1111 63 0 15519 0 vsize: 62328 [startup+720.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 15175 0 0 0 71913 98 0 0 25 0 1 0 891776201 65609728 15092 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16018 15092 1111 63 0 15955 0 vsize: 64072 [startup+730.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 15305 0 0 0 72912 99 0 0 25 0 1 0 891776201 66150400 15222 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16150 15222 1111 63 0 16087 0 vsize: 64600 [startup+740.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 15605 0 0 0 73911 100 0 0 25 0 1 0 891776201 67366912 15522 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16447 15522 1111 63 0 16384 0 vsize: 65788 [startup+750.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 15868 0 0 0 74910 101 0 0 25 0 1 0 891776201 68452352 15784 4294967295 134512640 134716908 3221224560 3221223248 134528712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16712 15784 1111 63 0 16649 0 vsize: 66848 [startup+760.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 15984 0 0 0 75909 102 0 0 25 0 1 0 891776201 68882432 15899 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16817 15899 1111 63 0 16754 0 vsize: 67268 [startup+770.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 16097 0 0 0 76908 103 0 0 25 0 1 0 891776201 69423104 16012 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16949 16012 1111 63 0 16886 0 vsize: 67796 [startup+780.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 16332 0 0 0 77908 104 0 0 25 0 1 0 891776201 70381568 16247 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17183 16247 1111 63 0 17120 0 vsize: 68732 [startup+790.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 16396 0 0 0 78907 104 0 0 25 0 1 0 891776201 70676480 16311 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17255 16311 1111 63 0 17192 0 vsize: 69020 [startup+800.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 16537 0 0 0 79907 105 0 0 25 0 1 0 891776201 71245824 16452 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17394 16452 1111 63 0 17331 0 vsize: 69576 [startup+810.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 16718 0 0 0 80906 106 0 0 25 0 1 0 891776201 72056832 16632 4294967295 134512640 134716908 3221224560 3221223168 134523907 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17592 16632 1111 63 0 17529 0 vsize: 70368 [startup+820.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 16873 0 0 0 81905 107 0 0 25 0 1 0 891776201 72609792 16786 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17727 16786 1111 63 0 17664 0 vsize: 70908 [startup+830.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17022 0 0 0 82904 108 0 0 25 0 1 0 891776201 73306112 16934 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17897 16934 1111 63 0 17834 0 vsize: 71588 [startup+840.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17281 0 0 0 83903 110 0 0 25 0 1 0 891776201 74383360 17193 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18160 17193 1111 63 0 18097 0 vsize: 72640 [startup+850.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17415 0 0 0 84902 111 0 0 25 0 1 0 891776201 74924032 17327 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18292 17327 1111 63 0 18229 0 vsize: 73168 [startup+860.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17545 0 0 0 85901 112 0 0 25 0 1 0 891776201 75464704 17457 4294967295 134512640 134716908 3221224560 3221223200 134698450 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18424 17457 1111 63 0 18361 0 vsize: 73696 [startup+870.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17639 0 0 0 86901 112 0 0 25 0 1 0 891776201 75857920 17551 4294967295 134512640 134716908 3221224560 3221223448 134589133 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18520 17551 1111 63 0 18457 0 vsize: 74080 [startup+880.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17723 0 0 0 87900 113 0 0 25 0 1 0 891776201 76111872 17634 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18582 17634 1111 63 0 18519 0 vsize: 74328 [startup+890.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17770 0 0 0 88900 113 0 0 25 0 1 0 891776201 76382208 17681 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18648 17681 1111 63 0 18585 0 vsize: 74592 [startup+900.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17805 0 0 0 89900 114 0 0 25 0 1 0 891776201 76517376 17716 4294967295 134512640 134716908 3221224560 3221223108 134699059 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18681 17716 1111 63 0 18618 0 vsize: 74724 [startup+910.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17952 0 0 0 90899 115 0 0 25 0 1 0 891776201 77201408 17863 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18848 17863 1111 63 0 18785 0 vsize: 75392 [startup+920.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 18061 0 0 0 91898 116 0 0 25 0 1 0 891776201 77606912 17972 4294967295 134512640 134716908 3221224560 3221223056 134535462 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18947 17972 1111 63 0 18884 0 vsize: 75788 [startup+930.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 19101 0 0 0 92894 120 0 0 25 0 1 0 891776201 81932288 19012 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20003 19012 1111 63 0 19940 0 vsize: 80012 [startup+940.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 19907 0 0 0 93892 122 0 0 25 0 1 0 891776201 85176320 19818 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20795 19818 1111 63 0 20732 0 vsize: 83180 [startup+950.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 20582 0 0 0 94891 124 0 0 25 0 1 0 891776201 88018944 20493 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21489 20493 1111 63 0 21426 0 vsize: 85956 [startup+960.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 21153 0 0 0 95888 127 0 0 25 0 1 0 891776201 90316800 21064 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22050 21064 1111 63 0 21987 0 vsize: 88200 [startup+970.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 21549 0 0 0 96887 128 0 0 25 0 1 0 891776201 91938816 21459 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22446 21459 1111 63 0 22383 0 vsize: 89784 [startup+980.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 21784 0 0 0 97886 129 0 0 25 0 1 0 891776201 92884992 21694 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22677 21694 1111 63 0 22614 0 vsize: 90708 [startup+990.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 22033 0 0 0 98885 131 0 0 25 0 1 0 891776201 93966336 21943 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22941 21943 1111 63 0 22878 0 vsize: 91764 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 22206 0 0 0 99885 131 0 0 25 0 1 0 891776201 94642176 22115 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23106 22115 1111 63 0 23043 0 vsize: 92424 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 22308 0 0 0 100884 132 0 0 25 0 1 0 891776201 95047680 22217 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23205 22217 1111 63 0 23142 0 vsize: 92820 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 23156 0 0 0 101882 134 0 0 25 0 1 0 891776201 98570240 23065 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24065 23065 1111 63 0 24002 0 vsize: 96260 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 23827 0 0 0 102878 138 0 0 25 0 1 0 891776201 101273600 23736 4294967295 134512640 134716908 3221224560 3221223152 134549616 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24725 23736 1111 63 0 24662 0 vsize: 98900 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 24211 0 0 0 103877 139 0 0 25 0 1 0 891776201 102793216 24120 4294967295 134512640 134716908 3221224560 3221223392 134590061 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25096 24120 1111 63 0 25033 0 vsize: 100384 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 24472 0 0 0 104876 140 0 0 25 0 1 0 891776201 103895040 24380 4294967295 134512640 134716908 3221224560 3221223168 134549635 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25365 24380 1111 63 0 25302 0 vsize: 101460 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 24703 0 0 0 105876 141 0 0 25 0 1 0 891776201 104837120 24609 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25595 24609 1111 63 0 25532 0 vsize: 102380 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 24848 0 0 0 106875 142 0 0 25 0 1 0 891776201 105512960 24754 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25760 24754 1111 63 0 25697 0 vsize: 103040 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 24928 0 0 0 107875 142 0 0 25 0 1 0 891776201 105783296 24834 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25826 24834 1111 63 0 25763 0 vsize: 103304 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 25041 0 0 0 108874 143 0 0 25 0 1 0 891776201 106323968 24947 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25958 24947 1111 63 0 25895 0 vsize: 103832 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 25617 0 0 0 109872 145 0 0 25 0 1 0 891776201 108638208 25521 4294967295 134512640 134716908 3221224560 3221223056 134535442 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26523 25521 1111 63 0 26460 0 vsize: 106092 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 25850 0 0 0 110872 146 0 0 25 0 1 0 891776201 109584384 25754 4294967295 134512640 134716908 3221224560 3221223176 134543600 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26754 25754 1111 63 0 26691 0 vsize: 107016 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 26280 0 0 0 111869 149 0 0 25 0 1 0 891776201 111505408 26182 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27223 26182 1111 63 0 27160 0 vsize: 108892 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 26468 0 0 0 112869 150 0 0 25 0 1 0 891776201 112181248 26370 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27388 26370 1111 63 0 27325 0 vsize: 109552 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 26691 0 0 0 113868 150 0 0 25 0 1 0 891776201 113164288 26593 4294967295 134512640 134716908 3221224560 3221223152 134549821 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27628 26593 1111 63 0 27565 0 vsize: 110512 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 26842 0 0 0 114868 151 0 0 25 0 1 0 891776201 113840128 26744 4294967295 134512640 134716908 3221224560 3221223116 134535952 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27793 26744 1111 63 0 27730 0 vsize: 111172 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 26912 0 0 0 115867 151 0 0 25 0 1 0 891776201 114114560 26813 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27860 26813 1111 63 0 27797 0 vsize: 111440 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 27051 0 0 0 116867 152 0 0 25 0 1 0 891776201 114655232 26952 4294967295 134512640 134716908 3221224560 3221222644 134699711 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27992 26952 1111 63 0 27929 0 vsize: 111968 [startup+1174.91 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 12244 Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 27051 0 0 0 116867 152 0 0 25 0 1 0 891776201 114655232 26952 4294967295 134512640 134716908 3221224560 3221222644 134699711 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27992 26952 1111 63 0 27929 0 vsize: 0 Child status: 0 Real time (s): 1174.91 CPU time (s): 1175.06 CPU user time (s): 1173.48 CPU system time (s): 1.57976 CPU usage (%): 100.013 Max. virtual memory (Kb): 111968 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####