Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh204.opb |
MD5SUM | a868f0757b1a6fa4984216c84ba8594b |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 93 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.142977 |
Number of variables | 200 |
Total number of constraints | 900 |
Number of constraints which are clauses | 900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-08 00:14:43 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1621 boxname=wulflinc31 idbench=181 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: a868f0757b1a6fa4984216c84ba8594b /oldhome/oroussel/tmp/wulflinc31/normalized-jnh204.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-jnh204.opb IDLAUNCH: 1621 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 144692 kB Buffers: 39856 kB Cached: 815824 kB SwapCached: 644 kB Active: 490020 kB Inactive: 367992 kB HighTotal: 131008 kB HighFree: 5768 kB LowTotal: 903652 kB LowFree: 138924 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26300 kB Committed_AS: 63648 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-08 00:23:55 (client local time) WITH STATUS 30 IN 551.516 SECONDS stats: 1621 0 551.516 30 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 200 variables and 900 constraints. c After prepocess the problem consists of 200 variables and 882 constraints. c preprocess terminated 0.388 s c Initial Lower Bound: 70 c Lower Bound Elapsed time: 0.51725 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 100 @ 4.017 c NEW SOLUTION FOUND: 99 @ 4.019 c NEW SOLUTION FOUND: 98 @ 4.022 c NEW SOLUTION FOUND: 97 @ 4.028 c NEW SOLUTION FOUND: 96 @ 179.6 c NEW SOLUTION FOUND: 94 @ 255.982 c NEW SOLUTION FOUND: 93 @ 336.073 s OPTIMUM FOUND v -x1 x2 x3 -x4 x5 -x6 -x7 x8 -x9 -x10 -x11 x12 x13 -x14 -x15 -x16 -x17 x18 -x19 x20 -x21 x22 x23 -x24 -x25 x26 x27 -x28 x29 -x30 x31 -x32 -x33 x34 -x35 x36 -x37 x38 -x39 x40 -x41 x42 -x43 -x44 -x45 x46 x47 -x48 x49 -x50 x51 -x52 -x53 x54 -x55 x56 x57 -x58 -x59 x60 -x61 x62 -x63 x64 x65 -x66 x67 -x68 -x69 -x70 x71 -x72 x73 -x74 -x75 x76 -x77 x78 x79 -x80 x81 -x82 x83 -x84 -x85 x86 x87 -x88 -x89 x90 -x91 x92 x93 -x94 x95 -x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 x106 -x107 x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 -x117 x118 -x119 x120 x121 -x122 x123 -x124 -x125 x126 -x127 x128 -x129 x130 x131 -x132 x133 -x134 x135 -x136 -x137 x138 x139 -x140 -x141 x142 -x143 x144 x145 -x146 x147 -x148 x149 -x150 -x151 x152 x153 -x154 x155 -x156 -x157 x158 -x159 x160 x161 -x162 x163 -x164 -x165 x166 -x167 x168 -x169 x170 -x171 x172 -x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 x190 x191 -x192 x193 -x194 x195 -x196 -x197 x198 -x199 x200 c Exit Code: 30 c Total time: 551.485 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.95 0.90 2/54 4544 Raw data (stat): 4544 (runsolver) R 4543 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 687561131 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0002 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 4055 0 0 0 984 12 0 0 25 0 1 0 687561131 7450624 1051 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1819 1051 1111 63 0 1756 0 vsize: 7276 [startup+20.0001 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 7407 0 0 0 1975 21 0 0 25 0 1 0 687561131 6975488 1023 4294967295 134512640 134714508 3221221792 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1703 1023 1111 63 0 1640 0 vsize: 6812 [startup+30.0013 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 11224 0 0 0 2965 31 0 0 25 0 1 0 687561131 6983680 1025 4294967295 134512640 134714508 3221221792 3221220104 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1705 1025 1111 63 0 1642 0 vsize: 6820 [startup+40.0009 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 14936 0 0 0 3955 41 0 0 25 0 1 0 687561131 7544832 1072 4294967295 134512640 134714508 3221221792 3221218032 1075115712 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1842 1072 1111 63 0 1779 0 vsize: 7368 [startup+50.0008 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 18598 0 0 0 4945 52 0 0 25 0 1 0 687561131 7491584 1093 4294967295 134512640 134714508 3221221792 3221217972 1075964286 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1829 1093 1111 63 0 1766 0 vsize: 7316 [startup+60.0011 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 22159 0 0 0 5935 61 0 0 25 0 1 0 687561131 7122944 1067 4294967295 134512640 134714508 3221221792 3221220416 134650068 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1739 1067 1111 63 0 1676 0 vsize: 6956 [startup+70.0016 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 25749 0 0 0 6927 70 0 0 25 0 1 0 687561131 7655424 1133 4294967295 134512640 134714508 3221221792 3221217724 1074788162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1869 1133 1111 63 0 1806 0 vsize: 7476 [startup+80.0026 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 29029 0 0 0 7917 80 0 0 25 0 1 0 687561131 7196672 1085 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1757 1085 1111 63 0 1694 0 vsize: 7028 [startup+90.0029 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 32367 0 0 0 8908 89 0 0 25 0 1 0 687561131 7766016 1139 4294967295 134512640 134714508 3221221792 3221217952 1074794655 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1896 1139 1111 63 0 1833 0 vsize: 7584 [startup+100.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 36222 0 0 0 9898 100 0 0 25 0 1 0 687561131 7696384 1142 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1879 1142 1111 63 0 1816 0 vsize: 7516 [startup+110.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 39776 0 0 0 10888 110 0 0 25 0 1 0 687561131 7319552 1115 4294967295 134512640 134714508 3221221792 3221220144 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1787 1115 1111 63 0 1724 0 vsize: 7148 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 43268 0 0 0 11877 121 0 0 25 0 1 0 687561131 7786496 1156 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1901 1156 1111 63 0 1838 0 vsize: 7604 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 46843 0 0 0 12867 131 0 0 25 0 1 0 687561131 7475200 1138 4294967295 134512640 134714508 3221221792 3221219792 1074916565 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1825 1138 1111 63 0 1762 0 vsize: 7300 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 50334 0 0 0 13858 140 0 0 25 0 1 0 687561131 7409664 1137 4294967295 134512640 134714508 3221221792 3221220352 134542359 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1809 1137 1111 63 0 1746 0 vsize: 7236 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 53868 0 0 0 14849 150 0 0 25 0 1 0 687561131 8126464 1245 4294967295 134512640 134714508 3221221792 3221218448 1075966730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1984 1245 1111 63 0 1921 0 vsize: 7936 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 57647 0 0 0 15838 160 0 0 25 0 1 0 687561131 7974912 1210 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1947 1210 1111 63 0 1884 0 vsize: 7788 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 61051 0 0 0 16831 168 0 0 25 0 1 0 687561131 8048640 1202 4294967295 134512640 134714508 3221221792 3221217892 1075964244 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1965 1202 1111 63 0 1902 0 vsize: 7860 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 64492 0 0 0 17821 178 0 0 25 0 1 0 687561131 8081408 1213 4294967295 134512640 134714508 3221221792 3221217972 1075964218 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1973 1213 1111 63 0 1910 0 vsize: 7892 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 68056 0 0 0 18811 189 0 0 25 0 1 0 687561131 8392704 1243 4294967295 134512640 134714508 3221221792 3221217940 1075964437 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2049 1243 1111 63 0 1986 0 vsize: 8196 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 71922 0 0 0 19800 199 0 0 25 0 1 0 687561131 8024064 1232 4294967295 134512640 134714508 3221221792 3221218176 1074973180 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 1232 1111 63 0 1896 0 vsize: 7836 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 75667 0 0 0 20790 209 0 0 25 0 1 0 687561131 8454144 1259 4294967295 134512640 134714508 3221221792 3221217856 1075084536 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2064 1259 1111 63 0 2001 0 vsize: 8256 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 79410 0 0 0 21779 220 0 0 25 0 1 0 687561131 8118272 1251 4294967295 134512640 134714508 3221221792 3221217936 1074969469 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1982 1251 1111 63 0 1919 0 vsize: 7928 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 82887 0 0 0 22770 230 0 0 25 0 1 0 687561131 8081408 1247 4294967295 134512640 134714508 3221221792 3221217892 1075964268 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1973 1247 1111 63 0 1910 0 vsize: 7892 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 86434 0 0 0 23760 240 0 0 25 0 1 0 687561131 7766016 1226 4294967295 134512640 134714508 3221221792 3221220176 1074153767 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1896 1226 1111 63 0 1833 0 vsize: 7584 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 90082 0 0 0 24751 250 0 0 25 0 1 0 687561131 8261632 1289 4294967295 134512640 134714508 3221221792 3221217936 1074969685 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2017 1289 1111 63 0 1954 0 vsize: 8068 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 93563 0 0 0 25741 259 0 0 25 0 1 0 687561131 8642560 1310 4294967295 134512640 134714508 3221221792 3221218560 1076083701 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2110 1310 1111 63 0 2047 0 vsize: 8440 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 97220 0 0 0 26730 270 0 0 25 0 1 0 687561131 7843840 1245 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1915 1245 1111 63 0 1852 0 vsize: 7660 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 100672 0 0 0 27720 281 0 0 25 0 1 0 687561131 8458240 1314 4294967295 134512640 134714508 3221221792 3221218320 1075397162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2065 1314 1111 63 0 2002 0 vsize: 8260 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 104347 0 0 0 28711 290 0 0 25 0 1 0 687561131 8359936 1310 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2041 1310 1111 63 0 1978 0 vsize: 8164 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 108114 0 0 0 29700 301 0 0 25 0 1 0 687561131 8278016 1287 4294967295 134512640 134714508 3221221792 3221217936 1074969458 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2021 1287 1111 63 0 1958 0 vsize: 8084 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 111801 0 0 0 30691 310 0 0 25 0 1 0 687561131 8495104 1317 4294967295 134512640 134714508 3221221792 3221218020 1075115009 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2074 1317 1111 63 0 2011 0 vsize: 8296 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 115748 0 0 0 31681 320 0 0 25 0 1 0 687561131 7958528 1273 4294967295 134512640 134714508 3221221792 3221220192 1074153669 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1943 1273 1111 63 0 1880 0 vsize: 7772 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 119399 0 0 0 32672 330 0 0 25 0 1 0 687561131 8036352 1292 4294967295 134512640 134714508 3221221792 3221220088 1074143673 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1962 1292 1111 63 0 1899 0 vsize: 7848 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 123028 0 0 0 33662 340 0 0 25 0 1 0 687561131 8843264 1344 4294967295 134512640 134714508 3221221792 3221217740 1074788968 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2159 1344 1111 63 0 2096 0 vsize: 8636 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 126676 0 0 0 34651 351 0 0 25 0 1 0 687561131 8835072 1397 4294967295 134512640 134714508 3221221792 3221219056 1075894372 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2157 1397 1111 63 0 2094 0 vsize: 8628 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 130404 0 0 0 35640 362 0 0 25 0 1 0 687561131 8884224 1381 4294967295 134512640 134714508 3221221792 3221217936 1074969605 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2169 1381 1111 63 0 2106 0 vsize: 8676 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 133915 0 0 0 36632 371 0 0 25 0 1 0 687561131 8085504 1304 4294967295 134512640 134714508 3221221792 3221220460 134543615 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1974 1304 1111 63 0 1911 0 vsize: 7896 [startup+380.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 137658 0 0 0 37622 381 0 0 25 0 1 0 687561131 8843264 1365 4294967295 134512640 134714508 3221221792 3221218324 1075863638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2159 1365 1111 63 0 2096 0 vsize: 8636 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 141031 0 0 0 38613 390 0 0 25 0 1 0 687561131 8728576 1375 4294967295 134512640 134714508 3221221792 3221217976 1077410281 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2131 1375 1111 63 0 2068 0 vsize: 8524 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 144788 0 0 0 39603 400 0 0 25 0 1 0 687561131 8187904 1329 4294967295 134512640 134714508 3221221792 3221219792 1074918533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1999 1329 1111 63 0 1936 0 vsize: 7996 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 148431 0 0 0 40594 409 0 0 25 0 1 0 687561131 9023488 1398 4294967295 134512640 134714508 3221221792 3221218332 1075132864 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2203 1398 1111 63 0 2140 0 vsize: 8812 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 152400 0 0 0 41585 419 0 0 25 0 1 0 687561131 8212480 1335 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2005 1335 1111 63 0 1942 0 vsize: 8020 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 156168 0 0 0 42575 429 0 0 25 0 1 0 687561131 8986624 1430 4294967295 134512640 134714508 3221221792 3221218128 1075114289 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2194 1430 1111 63 0 2131 0 vsize: 8776 [startup+440.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 159690 0 0 0 43566 438 0 0 25 0 1 0 687561131 8949760 1402 4294967295 134512640 134714508 3221221792 3221218304 1075084528 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2185 1402 1111 63 0 2122 0 vsize: 8740 [startup+450.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 163314 0 0 0 44556 448 0 0 25 0 1 0 687561131 8282112 1352 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2022 1352 1111 63 0 1959 0 vsize: 8088 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 167041 0 0 0 45545 459 0 0 25 0 1 0 687561131 8671232 1396 4294967295 134512640 134714508 3221221792 3221218020 1075115141 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2117 1396 1111 63 0 2054 0 vsize: 8468 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 170896 0 0 0 46535 469 0 0 25 0 1 0 687561131 9158656 1432 4294967295 134512640 134714508 3221221792 3221217788 1075965152 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2236 1432 1111 63 0 2173 0 vsize: 8944 [startup+480.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 174417 0 0 0 47526 479 0 0 25 0 1 0 687561131 9076736 1481 4294967295 134512640 134714508 3221221792 3221217972 1075964296 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2216 1481 1111 63 0 2153 0 vsize: 8864 [startup+490.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 177907 0 0 0 48517 487 0 0 25 0 1 0 687561131 8810496 1409 4294967295 134512640 134714508 3221221792 3221218064 1074800276 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2151 1409 1111 63 0 2088 0 vsize: 8604 [startup+500.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 181592 0 0 0 49508 497 0 0 25 0 1 0 687561131 9035776 1406 4294967295 134512640 134714508 3221221792 3221218604 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2206 1406 1111 63 0 2143 0 vsize: 8824 [startup+510.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 185179 0 0 0 50499 506 0 0 25 0 1 0 687561131 8470528 1398 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2068 1398 1111 63 0 2005 0 vsize: 8272 [startup+520.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 188870 0 0 0 51487 518 0 0 25 0 1 0 687561131 9297920 1462 4294967295 134512640 134714508 3221221792 3221217636 1074786562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2270 1462 1111 63 0 2207 0 vsize: 9080 [startup+530.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 192659 0 0 0 52476 529 0 0 25 0 1 0 687561131 9363456 1488 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2286 1488 1111 63 0 2223 0 vsize: 9144 [startup+540.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 196389 0 0 0 53467 539 0 0 25 0 1 0 687561131 8564736 1421 4294967295 134512640 134714508 3221221792 3221220056 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2091 1421 1111 63 0 2028 0 vsize: 8364 [startup+550.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 200437 0 0 0 54456 550 0 0 25 0 1 0 687561131 9310208 1513 4294967295 134512640 134714508 3221221792 3221217760 1074872764 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2273 1513 1111 63 0 2210 0 vsize: 9092 [startup+551.467 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 4544 Raw data (stat): 4544 (bsolo_lpr) R 4543 7876 7672 0 -1 0 200437 0 0 0 54456 550 0 0 25 0 1 0 687561131 9310208 1513 4294967295 134512640 134714508 3221221792 3221217760 1074872764 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2273 1513 1111 63 0 2210 0 vsize: 0 Child status: 30 Real time (s): 551.467 CPU time (s): 551.516 CPU user time (s): 545.993 CPU system time (s): 5.52316 CPU usage (%): 100.009 Max. virtual memory (Kb): 9144 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 93 #### END VERIFIER DATA ####