Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh210.opb |
MD5SUM | 536a635f83fc17dc00978c285b2ea8e6 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 88 |
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.694894 |
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 | 10 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-08 01:04:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1658 boxname=wulflinc31 idbench=185 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 536a635f83fc17dc00978c285b2ea8e6 /oldhome/oroussel/tmp/wulflinc31/normalized-jnh210.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-jnh210.opb IDLAUNCH: 1658 /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: 144136 kB Buffers: 40164 kB Cached: 816060 kB SwapCached: 644 kB Active: 490324 kB Inactive: 368236 kB HighTotal: 131008 kB HighFree: 5516 kB LowTotal: 903652 kB LowFree: 138620 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26276 kB Committed_AS: 63648 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-08 01:10:19 (client local time) WITH STATUS 30 IN 358.649 SECONDS stats: 1658 0 358.649 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 170 variables and 657 constraints. c preprocess terminated 0.732 s c Initial Lower Bound: 77 c Lower Bound Elapsed time: 0.29425 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 100 @ 1.921 c NEW SOLUTION FOUND: 99 @ 1.922 c NEW SOLUTION FOUND: 98 @ 1.926 c NEW SOLUTION FOUND: 97 @ 1.929 c NEW SOLUTION FOUND: 96 @ 1.941 c NEW SOLUTION FOUND: 95 @ 1.947 c NEW SOLUTION FOUND: 94 @ 1.952 c NEW SOLUTION FOUND: 93 @ 1.968 c NEW SOLUTION FOUND: 92 @ 1.975 c NEW SOLUTION FOUND: 91 @ 1.99 c NEW SOLUTION FOUND: 90 @ 8.785 c NEW SOLUTION FOUND: 89 @ 121.457 c NEW SOLUTION FOUND: 88 @ 121.732 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: 358.615 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): 1.02 0.95 0.91 2/54 6549 Raw data (stat): 6549 (runsolver) R 6548 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 687858929 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0014 s] Raw data (loadavg): 1.08 0.96 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 6272 0 0 0 975 20 0 0 25 0 1 0 687858929 7462912 1067 4294967295 134512640 134714508 3221221792 3221217756 1074788159 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1822 1068 1111 63 0 1759 0 vsize: 7288 [startup+20.0019 s] Raw data (loadavg): 1.07 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 12448 0 0 0 1958 37 0 0 25 0 1 0 687858929 7680000 1175 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1875 1175 1111 63 0 1812 0 vsize: 7500 [startup+30.0032 s] Raw data (loadavg): 1.06 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 19939 0 0 0 2936 60 0 0 25 0 1 0 687858929 8237056 1300 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2011 1300 1111 63 0 1948 0 vsize: 8044 [startup+40.0037 s] Raw data (loadavg): 1.05 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 27438 0 0 0 3915 81 0 0 25 0 1 0 687858929 8257536 1346 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2016 1346 1111 63 0 1953 0 vsize: 8064 [startup+50.0037 s] Raw data (loadavg): 1.04 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 34372 0 0 0 4895 101 0 0 25 0 1 0 687858929 9924608 1648 4294967295 134512640 134714508 3221221792 3221217936 1074969449 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2423 1648 1111 63 0 2360 0 vsize: 9692 [startup+60.004 s] Raw data (loadavg): 1.03 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 42120 0 0 0 5874 123 0 0 25 0 1 0 687858929 9662464 1659 4294967295 134512640 134714508 3221221792 3221219520 1075828486 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2359 1659 1111 63 0 2296 0 vsize: 9436 [startup+70.0049 s] Raw data (loadavg): 1.03 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 48588 0 0 0 6858 139 0 0 25 0 1 0 687858929 10989568 1945 4294967295 134512640 134714508 3221221792 3221218064 1074961363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2683 1945 1111 63 0 2620 0 vsize: 10732 [startup+80.0054 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 54994 0 0 0 7840 157 0 0 25 0 1 0 687858929 10526720 1839 4294967295 134512640 134714508 3221221792 3221218128 1075114279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2570 1840 1111 63 0 2507 0 vsize: 10280 [startup+90.0057 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 61297 0 0 0 8824 173 0 0 25 0 1 0 687858929 10190848 1819 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2488 1819 1111 63 0 2425 0 vsize: 9952 [startup+100.005 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 67190 0 0 0 9808 189 0 0 25 0 1 0 687858929 11173888 1980 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2728 1980 1111 63 0 2665 0 vsize: 10912 [startup+110.006 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 74276 0 0 0 10788 209 0 0 25 0 1 0 687858929 11165696 1988 4294967295 134512640 134714508 3221221792 3221218064 1074961387 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2726 1988 1111 63 0 2663 0 vsize: 10904 [startup+120.007 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 81606 0 0 0 11770 228 0 0 25 0 1 0 687858929 11878400 2170 4294967295 134512640 134714508 3221221792 3221217804 1074788944 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2900 2170 1111 63 0 2837 0 vsize: 11600 [startup+130.007 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 88992 0 0 0 12752 246 0 0 25 0 1 0 687858929 11747328 2167 4294967295 134512640 134714508 3221221792 3221220272 1074031962 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2868 2167 1111 63 0 2805 0 vsize: 11472 [startup+140.008 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 95732 0 0 0 13734 264 0 0 25 0 1 0 687858929 12271616 2271 4294967295 134512640 134714508 3221221792 3221218992 1075967895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2996 2271 1111 63 0 2933 0 vsize: 11984 [startup+150.008 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 102368 0 0 0 14718 281 0 0 25 0 1 0 687858929 12128256 2229 4294967295 134512640 134714508 3221221792 3221217712 1075965260 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2961 2229 1111 63 0 2898 0 vsize: 11844 [startup+160.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 109068 0 0 0 15700 299 0 0 25 0 1 0 687858929 11849728 2224 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2893 2224 1111 63 0 2830 0 vsize: 11572 [startup+170.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 115652 0 0 0 16684 315 0 0 25 0 1 0 687858929 12099584 2274 4294967295 134512640 134714508 3221221792 3221219792 1074918520 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2954 2274 1111 63 0 2891 0 vsize: 11816 [startup+180.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 122631 0 0 0 17666 333 0 0 25 0 1 0 687858929 13295616 2446 4294967295 134512640 134714508 3221221792 3221217936 1074969463 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3246 2446 1111 63 0 3183 0 vsize: 12984 [startup+190.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 129746 0 0 0 18647 352 0 0 25 0 1 0 687858929 12410880 2361 4294967295 134512640 134714508 3221221792 3221220004 1075964258 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3030 2361 1111 63 0 2967 0 vsize: 12120 [startup+200.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 136364 0 0 0 19631 368 0 0 25 0 1 0 687858929 12419072 2363 4294967295 134512640 134714508 3221221792 3221220176 1074153800 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3032 2363 1111 63 0 2969 0 vsize: 12128 [startup+210.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 143340 0 0 0 20615 385 0 0 25 0 1 0 687858929 12660736 2422 4294967295 134512640 134714508 3221221792 3221219656 1074138285 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3091 2422 1111 63 0 3028 0 vsize: 12364 [startup+220.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 150899 0 0 0 21596 403 0 0 25 0 1 0 687858929 12836864 2465 4294967295 134512640 134714508 3221221792 3221220320 134648337 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3134 2465 1111 63 0 3071 0 vsize: 12536 [startup+230.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 158007 0 0 0 22578 421 0 0 25 0 1 0 687858929 13164544 2513 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3214 2513 1111 63 0 3151 0 vsize: 12856 [startup+240.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 166345 0 0 0 23558 442 0 0 25 0 1 0 687858929 13049856 2523 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3186 2523 1111 63 0 3123 0 vsize: 12744 [startup+250.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 172744 0 0 0 24544 456 0 0 25 0 1 0 687858929 13381632 2604 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3267 2604 1111 63 0 3204 0 vsize: 13068 [startup+260.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 181319 0 0 0 25525 476 0 0 25 0 1 0 687858929 13705216 2683 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3346 2683 1111 63 0 3283 0 vsize: 13384 [startup+270.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 190095 0 0 0 26502 498 0 0 25 0 1 0 687858929 15818752 3180 4294967295 134512640 134714508 3221221792 3221218064 1074960868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3862 3180 1111 63 0 3799 0 vsize: 15448 [startup+280.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 199076 0 0 0 27477 524 0 0 25 0 1 0 687858929 15806464 2988 4294967295 134512640 134714508 3221221792 3221218624 1075115375 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3859 2988 1111 63 0 3796 0 vsize: 15436 [startup+290.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 208916 0 0 0 28454 547 0 0 25 0 1 0 687858929 14626816 2908 4294967295 134512640 134714508 3221221792 3221219488 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3571 2908 1111 63 0 3508 0 vsize: 14284 [startup+300.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 214436 0 0 0 29441 560 0 0 25 0 1 0 687858929 15228928 3046 4294967295 134512640 134714508 3221221792 3221219788 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3718 3046 1111 63 0 3655 0 vsize: 14872 [startup+310.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 221860 0 0 0 30423 578 0 0 25 0 1 0 687858929 15163392 3039 4294967295 134512640 134714508 3221221792 3221219360 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3702 3039 1111 63 0 3639 0 vsize: 14808 [startup+320.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 229591 0 0 0 31406 595 0 0 25 0 1 0 687858929 16416768 3265 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4008 3265 1111 63 0 3945 0 vsize: 16032 [startup+330.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 237967 0 0 0 32385 616 0 0 25 0 1 0 687858929 15020032 3004 4294967295 134512640 134714508 3221221792 3221220464 134650216 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3667 3004 1111 63 0 3604 0 vsize: 14668 [startup+340.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 247084 0 0 0 33366 636 0 0 25 0 1 0 687858929 16986112 3392 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4147 3392 1111 63 0 4084 0 vsize: 16588 [startup+350.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 257683 0 0 0 34340 662 0 0 25 0 1 0 687858929 15265792 3064 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3727 3064 1111 63 0 3664 0 vsize: 14908 [startup+358.637 s] Raw data (loadavg): 1.00 0.97 0.91 1/53 6549 Raw data (stat): 6549 (bsolo_lpr_cuts) R 6548 7876 7672 0 -1 0 257683 0 0 0 34340 662 0 0 25 0 1 0 687858929 15265792 3064 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3727 3064 1111 63 0 3664 0 vsize: 0 Child status: 30 Real time (s): 358.637 CPU time (s): 358.649 CPU user time (s): 351.773 CPU system time (s): 6.87695 CPU usage (%): 100.004 Max. virtual memory (Kb): 16588 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 88 #### END VERIFIER DATA ####