Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 262858 | 1782.74 | 1783.23 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb |
MD5SUM | f36b59f1fcf0c7e8fce521b6b9823495 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262858 |
Best CPU time to get the best result obtained on this benchmark | 456.445 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262858 |
Optimality of the best value was proved | YES |
Number of variables | 290 |
Total number of constraints | 212 |
Number of constraints which are clauses | 127 |
Number of constraints which are cardinality constraints (but not clauses) | 13 |
Number of constraints which are nor clauses,nor cardinality constraints | 72 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 263 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 524422 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.03 c starting to Solve 0.03 c #variables read: 290 - #constraints read: 248 26.10 o 263144 26.12 o 263048 26.12 o 263047 26.14 o 263046 26.16 o 263045 26.23 o 263044 26.23 o 263043 26.25 o 263042 28.69 o 262939 28.69 o 262938 28.69 o 262937 28.69 o 262936 28.70 o 262935 28.71 o 262934 28.81 o 262925 28.81 o 262924 29.03 o 262908 29.03 o 262907 29.04 o 262906 29.05 o 262905 29.43 o 262888 29.43 o 262887 29.43 o 262883 29.43 o 262882 29.45 o 262881 30.98 o 262863 30.98 o 262862 30.98 o 262861 30.99 o 262860 47.09 o 262859 47.12 o 262858 1783.22 c total time : 1783 s 1783.22 s SATISFIABLE 1783.22 v x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 -x192 -x193 -x194 x195 x196 x197 -x198 x199 -x200 x201 -x202 -x203 1783.22 v -x204 -x205 -x206 -x207 -x208 -x209 x210 -x225 -x236 x247 -x258 -x269 -x280 -x2 -x13 -x24 -x35 -x46 -x57 -x68 -x79 -x90 -x101 1783.22 v -x113 -x124 -x135 -x146 -x157 -x168 -x179 -x211 -x212 -x213 -x215 -x219 -x220 x221 -x222 -x223 -x224 -x226 -x227 -x228 -x229 1783.22 v -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x248 -x252 -x253 -x254 -x255 1783.22 v -x256 -x257 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 1783.22 v -x279 -x281 -x285 x286 -x287 -x288 -x289 -x290 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 1783.22 v -x22 -x23 -x25 -x29 x30 -x31 -x32 -x33 -x34 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x47 -x48 -x49 -x50 -x51 -x52 -x53 1783.22 v -x54 -x55 -x56 -x58 -x62 -x63 -x64 -x65 x66 -x67 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x80 -x81 -x82 -x83 -x84 -x85 1783.22 v -x86 -x87 -x88 -x89 -x91 x95 -x96 -x97 -x98 -x99 -x100 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x114 -x115 1783.22 v -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x125 -x129 -x130 -x131 -x132 -x133 -x134 -x136 -x137 -x138 -x139 -x140 -x141 1783.22 v -x142 -x143 -x144 -x145 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x158 x162 -x163 x164 -x165 x166 -x167 1783.22 v x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 -x112 -x217 -x250 -x283 -x27 -x60 -x93 -x214 -x218 -x251 -x284 -x28 1783.22 v -x61 -x94 -x1 -x126 -x127 -x128 -x159 -x160 -x161 -x216 -x249 -x282 -x26 -x59 -x92
OK 262858
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-37718-1149354806 -o ROOT/results/node14/solver-37718-1149354806 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node14/37718-1149354806/instance-37718-1149354806.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1539680/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=2328 CPUtime=0 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 139 0 0 0 0 0 0 0 18 0 1 0 201143360 2383872 122 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 6930520 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 582 123 108 16 0 11 0 [startup+10.0017 s] /proc/loadavg: 0.93 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1539056/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=2968 CPUtime=9.99 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 397 0 0 0 999 0 0 0 25 0 1 0 201143360 3039232 368 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 742 368 205 16 0 183 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 2968 [startup+20.0077 s] /proc/loadavg: 0.94 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1539056/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3096 CPUtime=19.99 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 423 0 0 0 1999 0 0 0 25 0 1 0 201143360 3170304 394 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 774 394 205 16 0 215 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 3096 [startup+30.0136 s] /proc/loadavg: 0.95 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538864/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3356 CPUtime=29.99 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 482 0 0 0 2995 4 0 0 25 0 1 0 201143360 3436544 453 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 839 453 205 16 0 280 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 3356 [startup+40.0196 s] /proc/loadavg: 0.96 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538864/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3356 CPUtime=40 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 482 0 0 0 3988 12 0 0 25 0 1 0 201143360 3436544 453 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 839 453 205 16 0 280 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 3356 [startup+50.0255 s] /proc/loadavg: 0.96 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538864/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3356 CPUtime=50 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 484 0 0 0 4981 19 0 0 25 0 1 0 201143360 3436544 455 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 839 455 205 16 0 280 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 3356 [startup+60.0315 s] /proc/loadavg: 0.97 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538672/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3616 CPUtime=60 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 535 0 0 0 5973 27 0 0 25 0 1 0 201143360 3702784 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 904 506 205 16 0 345 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 3616 [startup+70.0374 s] /proc/loadavg: 0.97 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538736/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3616 CPUtime=70.01 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 535 0 0 0 6967 34 0 0 25 0 1 0 201143360 3702784 506 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 904 506 205 16 0 345 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 3616 [startup+80.0434 s] /proc/loadavg: 0.98 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538672/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3616 CPUtime=80.01 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 551 0 0 0 7956 45 0 0 25 0 1 0 201143360 3702784 522 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 904 522 205 16 0 345 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 3616 [startup+90.0493 s] /proc/loadavg: 0.98 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538672/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3616 CPUtime=90.02 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 551 0 0 0 8948 54 0 0 25 0 1 0 201143360 3702784 522 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 904 522 205 16 0 345 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 3616 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538672/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3616 CPUtime=100.02 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 551 0 0 0 9939 63 0 0 25 0 1 0 201143360 3702784 522 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 904 522 205 16 0 345 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 3616 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538608/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3616 CPUtime=110.02 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 557 0 0 0 10931 71 0 0 25 0 1 0 201143360 3702784 528 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 904 528 205 16 0 345 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 3616 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538608/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3616 CPUtime=120.03 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 557 0 0 0 11926 77 0 0 25 0 1 0 201143360 3702784 528 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 904 528 205 16 0 345 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 3616 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538608/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3616 CPUtime=130.03 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 557 0 0 0 12919 84 0 0 25 0 1 0 201143360 3702784 528 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 904 528 205 16 0 345 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 3616 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538608/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3616 CPUtime=140.03 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 557 0 0 0 13911 92 0 0 25 0 1 0 201143360 3702784 528 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 904 528 205 16 0 345 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 3616 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538608/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3616 CPUtime=150.03 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 557 0 0 0 14904 99 0 0 25 0 1 0 201143360 3702784 528 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 904 528 205 16 0 345 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 3616 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538608/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3616 CPUtime=160.04 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 557 0 0 0 15898 106 0 0 25 0 1 0 201143360 3702784 528 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 904 528 205 16 0 345 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 3616 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538608/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3616 CPUtime=170.04 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 557 0 0 0 16891 113 0 0 25 0 1 0 201143360 3702784 528 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 904 528 205 16 0 345 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 3616 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1538480/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=3744 CPUtime=180.04 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 584 0 0 0 17880 124 0 0 25 0 1 0 201143360 3833856 555 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 936 555 205 16 0 377 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 3744 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1537520/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=4648 CPUtime=190.05 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 819 0 0 0 18874 131 0 0 25 0 1 0 201143360 4759552 790 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1162 790 205 16 0 603 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 4648 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1537520/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=4484 CPUtime=200.05 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 819 0 0 0 19862 143 0 0 25 0 1 0 201143360 4591616 749 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1121 749 205 16 0 562 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 4484 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3815 /proc/meminfo: memFree=1537840/2055920 swapFree=4181448/4192956 ################ # More data... # ################ /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1590.49 Current children cumulated vsize (Kb) 6264 [startup+1600.94 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1600.49 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 158665 1384 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1600.49 Current children cumulated vsize (Kb) 6264 [startup+1610.94 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1610.5 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 159658 1392 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1610.5 Current children cumulated vsize (Kb) 6264 [startup+1620.95 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1620.49 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 160649 1400 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1620.49 Current children cumulated vsize (Kb) 6264 [startup+1630.96 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1630.51 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 161637 1414 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1630.51 Current children cumulated vsize (Kb) 6264 [startup+1640.96 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1640.51 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 162629 1422 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1640.51 Current children cumulated vsize (Kb) 6264 [startup+1650.97 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1650.51 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 163622 1429 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1650.51 Current children cumulated vsize (Kb) 6264 [startup+1660.97 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535736/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1660.51 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 164613 1438 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1660.51 Current children cumulated vsize (Kb) 6264 [startup+1670.98 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535736/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1670.52 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 165604 1448 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1670.52 Current children cumulated vsize (Kb) 6264 [startup+1680.99 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535736/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1680.52 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 166597 1455 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1680.52 Current children cumulated vsize (Kb) 6264 [startup+1690.99 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1690.52 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 167590 1462 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1690.52 Current children cumulated vsize (Kb) 6264 [startup+1701 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1700.52 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 168584 1468 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1700.52 Current children cumulated vsize (Kb) 6264 [startup+1711 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1710.52 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 169577 1475 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1710.52 Current children cumulated vsize (Kb) 6264 [startup+1721.01 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1720.53 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 170570 1483 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1720.53 Current children cumulated vsize (Kb) 6264 [startup+1731.02 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1730.53 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 171564 1489 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1730.53 Current children cumulated vsize (Kb) 6264 [startup+1741.02 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1740.53 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 172555 1498 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1740.53 Current children cumulated vsize (Kb) 6264 [startup+1751.03 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1750.54 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 173549 1505 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1750.54 Current children cumulated vsize (Kb) 6264 [startup+1761.03 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1760.54 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 174543 1511 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1760.54 Current children cumulated vsize (Kb) 6264 [startup+1771.04 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535800/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1770.55 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 175536 1519 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1770.55 Current children cumulated vsize (Kb) 6264 [startup+1781.04 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535736/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1780.55 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 176531 1524 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1780.55 Current children cumulated vsize (Kb) 6264 [startup+1782.05 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535736/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1781.56 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 176631 1525 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 6264 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.99 2/64 3817 /proc/meminfo: memFree=1535736/2055920 swapFree=4181448/4192956 [pid=3815] ppid=3813 vsize=6264 CPUtime=1782.56 /proc/3815/stat : 3815 (Pueblo13) R 3813 3815 3769 0 -1 4194304 2376 0 0 0 176731 1525 0 0 25 0 1 0 201143360 6414336 1185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3815/statm: 1566 1185 205 16 0 1007 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 6264 Child status: 10 Real time (s): 1783.23 CPU time (s): 1782.74 CPU user time (s): 1767.48 CPU system time (s): 15.2557 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (Kb): 6264
Begin job on node14 on Sat Jun 3 17:13:26 UTC 2006 FILE ID= 37718-1149354806 PBS_JOBID= 311186 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-misc07.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node14/37718-1149354806/instance-37718-1149354806.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-37718-1149354806 -o ROOT/results/node14/solver-37718-1149354806 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node14/37718-1149354806/instance-37718-1149354806.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= f36b59f1fcf0c7e8fce521b6b9823495 RANDOM SEED= 682366442 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1539888 kB Buffers: 36428 kB Cached: 409796 kB SwapCached: 3188 kB Active: 55640 kB Inactive: 399292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1539888 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14740 kB Slab: 47024 kB Committed_AS: 348284 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node14 on Sat Jun 3 17:43:10 UTC 2006