Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | OPT | 3 | 1586.69 | 1587.18 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=5-P1=11-P2=11-P3=29-P4=29-P5=23-P6=29-P7=17-P8=29-P9=17-B.opb |
MD5SUM | e959fdee0b143510a2016bc4f8055563 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.073987 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 135 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 35 |
Number of terms in the objective function | 5 |
Biggest coefficient in the objective function | 16 |
Number of bits for the biggest coefficient in the objective function | 5 |
Sum of the numbers in the objective function | 31 |
Number of bits of the sum of numbers in the objective function | 5 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 1984 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 225 |
Sum of products size (including duplicates) | 450 |
Number of different products | 225 |
Sum of products size | 450 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.00 c ...done 0.00/0.00 c #vars=360 #constraints=479 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.10/0.17 c restart after 401 decisions 0.20/0.21 c nbDecision=500 #constraints=897 0.29/0.37 c restart after 801 decisions 0.40/0.48 c nbDecision=1000 #constraints=1317 0.89/0.90 c nbDecision=1500 #constraints=1749 1.00/1.03 c restart after 1601 decisions 1.39/1.47 c nbDecision=2000 #constraints=2187 2.39/2.49 c nbDecision=2500 #constraints=2652 3.59/3.62 c nbDecision=3000 #constraints=3095 4.09/4.16 c restart after 3201 decisions 4.99/5.01 c nbDecision=3500 #constraints=3499 7.59/7.70 c nbDecision=4000 #constraints=3949 10.89/10.91 c nbDecision=4500 #constraints=4411 13.99/14.10 c nbDecision=5000 #constraints=4878 16.88/16.92 c nbDecision=5500 #constraints=5303 20.38/20.49 c nbDecision=6000 #constraints=5725 23.68/23.78 c restart after 6401 decisions 23.99/24.08 c nbDecision=6500 #constraints=6144 29.09/29.12 c nbDecision=7000 #constraints=6591 33.68/33.74 c nbDecision=7500 #constraints=7024 40.58/40.66 c nbDecision=8000 #constraints=7512 44.58/44.64 c nbDecision=8500 #constraints=7958 49.87/49.94 c nbDecision=9000 #constraints=8426 55.26/55.33 c nbDecision=9500 #constraints=8894 61.25/61.38 c nbDecision=10000 #constraints=9358 68.93/69.01 c nbDecision=10500 #constraints=9812 73.52/73.70 c nbDecision=11000 #constraints=10282 77.61/77.76 c nbDecision=11500 #constraints=10747 81.70/81.89 c nbDecision=12000 #constraints=11186 86.60/86.80 c nbDecision=12500 #constraints=11595 90.49/90.63 c restart after 12801 decisions 91.89/92.00 c nbDecision=13000 #constraints=12010 98.89/99.00 c nbDecision=13500 #constraints=12468 105.37/105.51 c nbDecision=14000 #constraints=12934 109.87/110.06 c nbDecision=14500 #constraints=13372 114.67/114.89 c nbDecision=15000 #constraints=13799 119.77/119.91 c nbDecision=15500 #constraints=14253 126.66/126.84 c nbDecision=16000 #constraints=14731 134.47/134.60 c nbDecision=16500 #constraints=15203 140.67/140.82 c nbDecision=17000 #constraints=15649 145.76/145.90 c nbDecision=17500 #constraints=16075 151.16/151.38 c nbDecision=18000 #constraints=16556 157.65/157.85 c nbDecision=18500 #constraints=17025 164.46/164.63 c nbDecision=19000 #constraints=17469 172.86/173.01 c nbDecision=19500 #constraints=17966 179.06/179.22 c nbDecision=20000 #constraints=18407 183.35/183.59 c nbDecision=20500 #constraints=18812 188.95/189.16 c nbDecision=21000 #constraints=19268 195.25/195.44 c nbDecision=21500 #constraints=19754 203.45/203.66 c nbDecision=22000 #constraints=20241 211.85/212.07 c nbDecision=22500 #constraints=20700 220.55/220.80 c nbDecision=23000 #constraints=21150 230.64/230.89 c nbDecision=23500 #constraints=21605 241.34/241.57 c nbDecision=24000 #constraints=22045 255.64/255.90 c nbDecision=24500 #constraints=22479 271.83/272.06 c nbDecision=25000 #constraints=22922 287.03/287.21 c nbDecision=25500 #constraints=23303 291.23/291.48 c restart after 25601 decisions 301.22/301.47 c nbDecision=26000 #constraints=23727 315.22/315.49 c nbDecision=26500 #constraints=24113 331.62/331.83 c nbDecision=27000 #constraints=24530 351.51/351.79 c nbDecision=27500 #constraints=24938 371.80/372.06 c nbDecision=28000 #constraints=25346 390.21/390.44 c nbDecision=28500 #constraints=25765 410.19/410.41 c nbDecision=29000 #constraints=26231 428.09/428.39 c nbDecision=29500 #constraints=26643 444.29/444.54 c nbDecision=30000 #constraints=27060 462.28/462.57 c nbDecision=30500 #constraints=27537 477.88/478.14 c nbDecision=31000 #constraints=27950 497.58/497.87 c nbDecision=31500 #constraints=28415 514.17/514.42 c nbDecision=32000 #constraints=28797 531.37/531.63 c nbDecision=32500 #constraints=29228 549.56/549.80 c nbDecision=33000 #constraints=29637 566.16/566.43 c nbDecision=33500 #constraints=30108 583.86/584.20 c nbDecision=34000 #constraints=30563 606.05/606.31 c nbDecision=34500 #constraints=31021 628.74/629.09 c nbDecision=35000 #constraints=31451 655.13/655.44 c nbDecision=35500 #constraints=31839 683.03/683.36 c nbDecision=36000 #constraints=32258 709.42/709.78 c nbDecision=36500 #constraints=32712 733.11/733.43 c nbDecision=37000 #constraints=33141 757.71/758.04 c nbDecision=37500 #constraints=33570 783.70/784.06 c nbDecision=38000 #constraints=34020 805.39/805.77 c nbDecision=38500 #constraints=34422 834.89/835.23 c nbDecision=39000 #constraints=34890 858.68/859.07 c nbDecision=39500 #constraints=35307 882.17/882.55 c nbDecision=40000 #constraints=35752 902.68/903.06 c nbDecision=40500 #constraints=36175 925.36/925.71 c nbDecision=41000 #constraints=36593 952.95/953.31 c nbDecision=41500 #constraints=37034 982.75/983.18 c nbDecision=42000 #constraints=37452 1012.44/1012.81 c nbDecision=42500 #constraints=37869 1041.14/1041.57 c nbDecision=43000 #constraints=38287 1070.13/1070.53 c nbDecision=43500 #constraints=38678 1100.72/1101.20 c nbDecision=44000 #constraints=39115 1133.02/1133.48 c nbDecision=44500 #constraints=39541 1166.40/1166.85 c nbDecision=45000 #constraints=39999 1197.60/1198.00 c nbDecision=45500 #constraints=40445 1223.39/1223.86 c nbDecision=46000 #constraints=40861 1249.78/1250.23 c nbDecision=46500 #constraints=41272 1287.08/1287.50 c nbDecision=47000 #constraints=41688 1318.66/1319.14 c nbDecision=47500 #constraints=42068 1355.77/1356.22 c nbDecision=48000 #constraints=42476 1393.75/1394.23 c nbDecision=48500 #constraints=42902 1429.34/1429.81 c nbDecision=49000 #constraints=43317 1464.23/1464.70 c nbDecision=49500 #constraints=43713 1498.02/1498.56 c nbDecision=50000 #constraints=44128 1533.71/1534.25 c nbDecision=50500 #constraints=44538 1566.92/1567.41 c nbDecision=51000 #constraints=44959 1579.60/1580.14 c restart after 51201 decisions 1581.60/1582.17 c nbDecision=51261 #constraints=45136 1581.60/1582.17 c linear search for optimum 1581.60/1582.17 o 17 1585.80/1586.30 c nbDecision=51356 #constraints=45192 1585.80/1586.30 o 3 1586.60/1587.15 c nbDecision=51356 #constraints=45194 1586.60/1587.15 1586.60/1587.15 s OPTIMUM FOUND 1586.60/1587.15 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 1586.60/1587.15 v -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 1586.60/1587.15 v 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 1586.60/1587.15 v x96 -x97 -x98 x99 -x100 -x101 x102 x103 -x104 x105 x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 1586.60/1587.15 v x119 -x120 -x121 -x122 -x123 x124 x125 x126 x127 x128 -x129 -x130 -x131 -x132 x133 -x134 x135 x136 x137 -x138 -x139 -x140 -x141 1586.60/1587.15 v -x142 -x143 -x144 -x145 x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 x162 1586.60/1587.15 v x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 x172 x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 x183 x184 -x185 1586.60/1587.15 v x186 x187 -x188 x189 x190 x191 x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 x201 x202 -x203 x204 x205 x206 x207 -x208 1586.60/1587.15 v x209 x210 x211 -x212 -x213 x214 x215 x216 -x217 -x218 x219 x220 x221 -x222 -x223 x224 x225 -x226 -x227 -x228 -x229 -x230 x231 1586.60/1587.15 v -x232 -x233 x234 x235 x236 x237 x238 x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1586.60/1587.15 v -x254 -x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 -x265 x266 x267 x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1586.60/1587.15 v -x277 -x278 -x279 -x280 x281 x282 x283 x284 -x285 x286 -x287 x288 x289 x290 x291 -x292 x293 x294 x295 -x296 -x297 -x298 -x299 1586.60/1587.15 v -x300 x301 -x302 x303 x304 x305 x306 -x307 x308 x309 x310 x311 x312 x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 1586.60/1587.15 v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 x333 x334 -x335 x336 x337 x338 x339 x340 -x341 -x342 -x343 -x344 1586.60/1587.15 v -x345 x346 x347 x348 x349 x350 -x351 -x352 -x353 -x354 -x355 x356 x357 x358 x359 x360 1586.60/1587.15 1586.60/1587.15 c user time= 1586.35 s 1586.60/1587.15 c system time= 0.314952 s 1586.60/1587.15 c wall clock time=1587.15
OK 3
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429139-1177981212/instance-429139-1177981212.opb mv /tmp/evaluation/429139-1177981212/instance-429139-1177981212.opb.tmp /tmp/evaluation/429139-1177981212/instance-429139-1177981212.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-429139-1177981212 -o ROOT/results/node29/solver-429139-1177981212 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429139-1177981212/instance-429139-1177981212.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 1.01 0.95 3/77 26699 /proc/meminfo: memFree=1852848/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=1468 CPUtime=0 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 246036964 1503232 177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 400 178 132 317 0 79 0 [startup+0.0515249 s] /proc/loadavg: 0.93 1.01 0.95 3/77 26699 /proc/meminfo: memFree=1852848/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=1732 CPUtime=0.04 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 260 0 0 0 4 0 0 0 18 0 1 0 246036964 1773568 243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 433 243 139 317 0 112 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1732 [startup+0.102528 s] /proc/loadavg: 0.93 1.01 0.95 3/77 26699 /proc/meminfo: memFree=1852848/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=1996 CPUtime=0.1 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 304 0 0 0 10 0 0 0 18 0 1 0 246036964 2043904 287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 499 287 139 317 0 178 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1996 [startup+0.30154 s] /proc/loadavg: 0.93 1.01 0.95 3/77 26699 /proc/meminfo: memFree=1852848/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=2532 CPUtime=0.29 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 461 0 0 0 29 0 0 0 19 0 1 0 246036964 2592768 444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 633 444 139 317 0 312 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2532 [startup+0.702565 s] /proc/loadavg: 0.93 1.01 0.95 3/77 26699 /proc/meminfo: memFree=1852848/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=3456 CPUtime=0.69 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 707 0 0 0 69 0 0 0 23 0 1 0 246036964 3538944 690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563783 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 864 690 170 317 0 543 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3456 [startup+1.50162 s] /proc/loadavg: 0.93 1.01 0.95 2/78 26700 /proc/meminfo: memFree=1850216/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=4512 CPUtime=1.49 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 990 0 0 0 149 0 0 0 25 0 1 0 246036964 4620288 973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 1128 973 170 317 0 807 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4512 [startup+3.10172 s] /proc/loadavg: 0.93 1.01 0.95 2/78 26700 /proc/meminfo: memFree=1848936/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=5840 CPUtime=3.09 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 1309 0 0 0 309 0 0 0 25 0 1 0 246036964 5980160 1292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 1460 1292 170 317 0 1139 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5840 [startup+6.30192 s] /proc/loadavg: 0.93 1.01 0.95 2/78 26700 /proc/meminfo: memFree=1846952/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=7320 CPUtime=6.29 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 1672 0 0 0 629 0 0 0 25 0 1 0 246036964 7495680 1655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 1830 1655 170 317 0 1509 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7320 [startup+12.7013 s] /proc/loadavg: 0.94 1.01 0.95 2/78 26700 /proc/meminfo: memFree=1845240/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=9148 CPUtime=12.69 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 2077 0 0 0 1268 1 0 0 25 0 1 0 246036964 9367552 2060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 2287 2060 170 317 0 1966 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9148 [startup+25.5011 s] /proc/loadavg: 0.95 1.01 0.95 2/78 26700 /proc/meminfo: memFree=1842168/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=12216 CPUtime=25.49 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 2825 0 0 0 2547 2 0 0 25 0 1 0 246036964 12509184 2808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 3054 2808 170 317 0 2733 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 12216 [startup+51.1018 s] /proc/loadavg: 0.97 1.01 0.95 2/84 26726 /proc/meminfo: memFree=1836744/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=16452 CPUtime=51.07 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 3907 0 0 0 5103 4 0 0 25 0 1 0 246036964 16846848 3832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 4113 3832 170 317 0 3792 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16452 [startup+102.307 s] /proc/loadavg: 0.98 1.00 0.95 2/84 26878 /proc/meminfo: memFree=1829560/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=23612 CPUtime=102.19 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 5691 0 0 0 10213 6 0 0 25 0 1 0 246036964 24178688 5616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 5903 5616 170 317 0 5582 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 23612 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.95 2/78 26898 /proc/meminfo: memFree=1822328/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=32540 CPUtime=162.15 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 7902 0 0 0 16207 8 0 0 25 0 1 0 246036964 33320960 7713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 8135 7713 170 317 0 7814 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 32540 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.95 2/78 26898 /proc/meminfo: memFree=1815096/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=39836 CPUtime=222.15 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 9687 0 0 0 22204 11 0 0 25 0 1 0 246036964 40792064 9498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 9959 9498 170 317 0 9638 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 39836 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.95 2/78 26898 /proc/meminfo: memFree=1811640/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=43352 CPUtime=282.13 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 10538 0 0 0 28201 12 0 0 25 0 1 0 246036964 44392448 10349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 10838 10349 170 317 0 10517 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 43352 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.95 2/78 26898 /proc/meminfo: memFree=1808824/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=46200 CPUtime=342.11 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 11242 0 0 0 34198 13 0 0 25 0 1 0 246036964 47308800 11053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 11550 11053 170 317 0 11229 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 46200 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.95 2/78 26898 /proc/meminfo: memFree=1806328/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=48728 CPUtime=402.1 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 11856 0 0 0 40196 14 0 0 25 0 1 0 246036964 49897472 11667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 12182 11667 170 317 0 11861 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 48728 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.95 2/78 26898 /proc/meminfo: memFree=1803640/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=51496 CPUtime=462.08 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 12547 0 0 0 46193 15 0 0 25 0 1 0 246036964 52731904 12358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 12874 12358 170 317 0 12553 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 51496 [startup+522.303 s] /proc/loadavg: 0.99 1.00 0.95 2/78 26898 /proc/meminfo: memFree=1801016/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=54336 CPUtime=522.06 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 13221 0 0 0 52190 16 0 0 25 0 1 0 246036964 55640064 13032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 13584 13032 170 317 0 13263 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 54336 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.95 2/78 26898 /proc/meminfo: memFree=1797880/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=58020 CPUtime=582.05 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 13981 0 0 0 58188 17 0 0 25 0 1 0 246036964 59412480 13792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 14505 13792 170 317 0 14184 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 58020 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.95 2/78 26898 /proc/meminfo: memFree=1795896/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=59888 CPUtime=642.04 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 14466 0 0 0 64186 18 0 0 25 0 1 0 246036964 61325312 14277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 14972 14277 170 317 0 14651 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 59888 ################ # More data... # ################ /proc/meminfo: memFree=1786552/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=70108 CPUtime=941.96 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 17062 0 0 0 94174 22 0 0 25 0 1 0 246036964 71790592 16613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 17527 16613 170 317 0 17206 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 70108 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.95 2/78 26898 /proc/meminfo: memFree=1784760/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=71744 CPUtime=1001.94 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 17480 0 0 0 100171 23 0 0 25 0 1 0 246036964 73465856 17031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 17936 17031 170 317 0 17615 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 71744 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.95 2/78 26898 /proc/meminfo: memFree=1783288/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=73272 CPUtime=1061.93 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 17844 0 0 0 106169 24 0 0 25 0 1 0 246036964 75030528 17395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 18318 17395 170 317 0 17997 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 73272 [startup+1122.3 s] /proc/loadavg: 1.06 1.02 0.95 2/78 26898 /proc/meminfo: memFree=1781624/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=74732 CPUtime=1121.91 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 18252 0 0 0 112167 24 0 0 25 0 1 0 246036964 76525568 17803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 18683 17803 170 317 0 18362 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 74732 [startup+1182.3 s] /proc/loadavg: 1.08 1.03 0.96 2/78 26898 /proc/meminfo: memFree=1779960/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=76384 CPUtime=1181.9 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 18668 0 0 0 118165 25 0 0 25 0 1 0 246036964 78217216 18219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 19096 18219 170 317 0 18775 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 76384 [startup+1242.3 s] /proc/loadavg: 1.03 1.02 0.96 2/78 26898 /proc/meminfo: memFree=1778104/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=78400 CPUtime=1241.88 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 19135 0 0 0 124162 26 0 0 25 0 1 0 246036964 80281600 18686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 19600 18686 170 317 0 19279 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 78400 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 0.96 2/78 26898 /proc/meminfo: memFree=1776888/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=79608 CPUtime=1301.87 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 19410 0 0 0 130160 27 0 0 25 0 1 0 246036964 81518592 18961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 19902 18961 170 317 0 19581 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 79608 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 0.96 2/78 26898 /proc/meminfo: memFree=1775480/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=81548 CPUtime=1361.86 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 19881 0 0 0 136158 28 0 0 25 0 1 0 246036964 83505152 19267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 20387 19267 170 317 0 20066 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 81548 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26898 /proc/meminfo: memFree=1774328/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=82780 CPUtime=1421.85 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 20188 0 0 0 142156 29 0 0 25 0 1 0 246036964 84766720 19574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 20695 19574 170 317 0 20374 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 82780 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26898 /proc/meminfo: memFree=1773176/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=83876 CPUtime=1481.83 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 20485 0 0 0 148154 29 0 0 25 0 1 0 246036964 85889024 19871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 20969 19871 170 317 0 20648 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 83876 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26898 /proc/meminfo: memFree=1771768/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=85884 CPUtime=1541.81 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 20954 0 0 0 154151 30 0 0 25 0 1 0 246036964 87945216 20208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 21471 20208 170 317 0 21150 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 85884 Solver just ended. Dumping a history of the last processes samples [startup+1561.5 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26898 /proc/meminfo: memFree=1771320/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=86272 CPUtime=1561.01 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21067 0 0 0 156070 31 0 0 25 0 1 0 246036964 88342528 20321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 21568 20321 170 317 0 21247 0 Current children cumulated CPU time (s) 1561.01 Current children cumulated vsize (KiB) 86272 [startup+1574.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26898 /proc/meminfo: memFree=1771000/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=86532 CPUtime=1573.81 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21143 0 0 0 157350 31 0 0 25 0 1 0 246036964 88608768 20397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604145 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 21633 20397 170 317 0 21312 0 Current children cumulated CPU time (s) 1573.81 Current children cumulated vsize (KiB) 86532 [startup+1580.71 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26898 /proc/meminfo: memFree=1770872/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=86660 CPUtime=1580.21 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21181 0 0 0 157990 31 0 0 25 0 1 0 246036964 88739840 20435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 21665 20435 170 317 0 21344 0 Current children cumulated CPU time (s) 1580.21 Current children cumulated vsize (KiB) 86660 [startup+1583.9 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26898 /proc/meminfo: memFree=1770808/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=86660 CPUtime=1583.41 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21191 0 0 0 158310 31 0 0 25 0 1 0 246036964 88739840 20445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 21665 20445 170 317 0 21344 0 Current children cumulated CPU time (s) 1583.41 Current children cumulated vsize (KiB) 86660 [startup+1585.5 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26898 /proc/meminfo: memFree=1770808/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=86660 CPUtime=1585 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21200 0 0 0 158469 31 0 0 25 0 1 0 246036964 88739840 20454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563683 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 21665 20454 170 317 0 21344 0 Current children cumulated CPU time (s) 1585 Current children cumulated vsize (KiB) 86660 [startup+1586.3 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26898 /proc/meminfo: memFree=1770744/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=86660 CPUtime=1585.8 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21203 0 0 0 158549 31 0 0 25 0 1 0 246036964 88739840 20457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 21665 20457 170 317 0 21344 0 Current children cumulated CPU time (s) 1585.8 Current children cumulated vsize (KiB) 86660 [startup+1586.7 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26898 /proc/meminfo: memFree=1770744/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=86660 CPUtime=1586.2 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21204 0 0 0 158589 31 0 0 25 0 1 0 246036964 88739840 20458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 21665 20458 170 317 0 21344 0 Current children cumulated CPU time (s) 1586.2 Current children cumulated vsize (KiB) 86660 [startup+1587.1 s] /proc/loadavg: 1.00 1.00 0.96 2/78 26898 /proc/meminfo: memFree=1770744/2055920 swapFree=4146640/4192956 [pid=26699] ppid=26697 vsize=86660 CPUtime=1586.6 /proc/26699/stat : 26699 (oree) R 26697 26699 11265 0 -1 4194304 21204 0 0 0 158629 31 0 0 25 0 1 0 246036964 88739840 20458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26699/statm: 21665 20458 170 317 0 21344 0 Current children cumulated CPU time (s) 1586.6 Current children cumulated vsize (KiB) 86660 Child status: 0 Real time (s): 1587.18 CPU time (s): 1586.69 CPU user time (s): 1586.36 CPU system time (s): 0.330949 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 86660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1586.36 system time used= 0.330949 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21220 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 33037 runsolver used 1.3038 second user time and 3.56746 second system time The end
Begin job on node29 on Tue May 1 01:00:12 UTC 2007 IDJOB= 429139 IDBENCH= 47887 IDSOLVER= 172 FILE ID= node29/429139-1177981212 PBS_JOBID= 4727997 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=5-P0=5-P1=11-P2=11-P3=29-P4=29-P5=23-P6=29-P7=17-P8=29-P9=17-B.opb COMMAND LINE= oree /tmp/evaluation/429139-1177981212/instance-429139-1177981212.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node29/convwatcher-429139-1177981212 -o ROOT/results/node29/conversion-429139-1177981212 -C 600 -M 1800 /tmp/evaluation/429139-1177981212/substituteSizeProductKeyword /tmp/evaluation/429139-1177981212/instance-429139-1177981212.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-429139-1177981212 -o ROOT/results/node29/solver-429139-1177981212 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429139-1177981212/instance-429139-1177981212.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= e959fdee0b143510a2016bc4f8055563 RANDOM SEED= 21753329 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.224 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.224 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: 1853320 kB Buffers: 30060 kB Cached: 91468 kB SwapCached: 11208 kB Active: 57128 kB Inactive: 87832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853320 kB SwapTotal: 4192956 kB SwapFree: 4146640 kB Dirty: 1512 kB Writeback: 0 kB Mapped: 30192 kB Slab: 43112 kB Committed_AS: 3320700 kB PageTables: 1872 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66563 MiB End job on node29 on Tue May 1 01:26:39 UTC 2007