Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | -23 | 1800.25 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb |
MD5SUM | 65bafde3eb06761afc4fe90b6aa8c264 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 250.661 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | YES |
Number of variables | 450 |
Total number of constraints | 17827 |
Number of constraints which are clauses | 17827 |
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 | 2 |
Number of terms in the objective function | 450 |
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 | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
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/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.09/0.12 c ...done 0.09/0.12 c #vars=450 #constraints=17828 hasObjective=yes 0.19/0.21 c res. mode=mod 0.19/0.21 c VSIDS like heuristics 0.19/0.21 c complete search running 0.19/0.22 c nbDecision=20 #constraints=17828 0.19/0.22 c linear search for optimum 0.19/0.22 o -20 0.19/0.23 c nbDecision=22 #constraints=17830 0.19/0.23 o -21 1.78/1.82 c restart after 401 decisions 1.88/1.92 c nbDecision=423 #constraints=18171 1.88/1.92 o -22 2.20/2.27 c nbDecision=500 #constraints=18224 2.29/2.33 c nbDecision=511 #constraints=18231 2.29/2.33 o -23 3.79/3.89 c restart after 801 decisions 5.29/5.30 c nbDecision=1000 #constraints=18633 9.59/9.65 c nbDecision=1500 #constraints=19100 10.69/10.72 c restart after 1601 decisions 15.59/15.65 c nbDecision=2000 #constraints=19574 21.99/22.06 c nbDecision=2500 #constraints=20009 29.18/29.22 c nbDecision=3000 #constraints=20427 32.29/32.36 c restart after 3201 decisions 39.98/40.07 c nbDecision=3500 #constraints=20850 54.08/54.11 c nbDecision=4000 #constraints=21340 69.97/70.05 c nbDecision=4500 #constraints=21836 86.97/87.00 c nbDecision=5000 #constraints=22322 105.36/105.47 c nbDecision=5500 #constraints=22808 126.46/126.51 c nbDecision=6000 #constraints=23284 144.36/144.50 c restart after 6401 decisions 149.76/149.85 c nbDecision=6500 #constraints=23701 169.85/169.98 c nbDecision=7000 #constraints=24068 193.34/193.50 c nbDecision=7500 #constraints=24492 215.54/215.66 c nbDecision=8000 #constraints=24881 238.23/238.34 c nbDecision=8500 #constraints=25255 267.72/267.89 c nbDecision=9000 #constraints=25718 296.61/296.77 c nbDecision=9500 #constraints=26140 327.91/328.03 c nbDecision=10000 #constraints=26569 361.30/361.45 c nbDecision=10500 #constraints=27009 395.80/395.95 c nbDecision=11000 #constraints=27432 433.88/434.02 c nbDecision=11500 #constraints=27890 465.88/466.00 c nbDecision=12000 #constraints=28280 502.87/503.02 c nbDecision=12500 #constraints=28701 527.16/527.39 c restart after 12801 decisions 545.55/545.77 c nbDecision=13000 #constraints=29155 577.75/577.91 c nbDecision=13500 #constraints=29549 611.74/611.91 c nbDecision=14000 #constraints=29955 652.13/652.34 c nbDecision=14500 #constraints=30399 695.92/696.14 c nbDecision=15000 #constraints=30874 741.70/742.00 c nbDecision=15500 #constraints=31354 791.40/791.67 c nbDecision=16000 #constraints=31839 835.79/836.07 c nbDecision=16500 #constraints=32316 882.57/882.84 c nbDecision=17000 #constraints=32757 932.76/933.08 c nbDecision=17500 #constraints=33233 995.25/995.58 c nbDecision=18000 #constraints=33714 1048.73/1049.01 c nbDecision=18500 #constraints=34205 1103.43/1103.83 c nbDecision=19000 #constraints=34686 1145.41/1145.89 c nbDecision=19500 #constraints=35052 1195.00/1195.49 c nbDecision=20000 #constraints=35486 1251.39/1251.85 c nbDecision=20500 #constraints=35970 1310.37/1310.81 c nbDecision=21000 #constraints=36461 1367.06/1367.57 c nbDecision=21500 #constraints=36925 1431.43/1431.96 c nbDecision=22000 #constraints=37395 1499.53/1500.03 c nbDecision=22500 #constraints=37885 1565.01/1565.50 c nbDecision=23000 #constraints=38378 1625.59/1626.19 c nbDecision=23500 #constraints=38851 1692.18/1692.78 c nbDecision=24000 #constraints=39330 1762.56/1763.15 c nbDecision=24500 #constraints=39815 1800.05/1800.60 Received signal 15 1800.05/1800.70 1800.05/1800.70 s SATISFIABLE 1800.05/1800.70 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 1800.05/1800.70 v -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 1800.05/1800.70 v -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 1800.05/1800.70 v -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 1800.05/1800.70 v -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 1800.05/1800.70 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.05/1800.70 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.05/1800.70 v -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 1800.05/1800.70 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 1800.05/1800.70 v -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.05/1800.70 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.05/1800.70 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1800.05/1800.70 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 1800.05/1800.70 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.05/1800.70 v -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.05/1800.70 v -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1800.05/1800.70 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 1800.05/1800.70 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.05/1800.70 v -x400 -x401 -x402 -x403 x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1800.05/1800.70 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 1800.05/1800.70 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 1800.05/1800.70 1800.05/1800.70 c user time= 1799.38 s 1800.05/1800.70 c system time= 0.78688 s 1800.05/1800.70 c wall clock time=1800.71
OK -23
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-357177-1176990212 -o ROOT/results/node14/solver-357177-1176990212 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357177-1176990212/instance-357177-1176990212.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.92 0.98 0.99 3/77 16972 /proc/meminfo: memFree=1720584/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=1468 CPUtime=0 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 175 0 0 0 0 0 0 0 19 0 1 0 146938947 1503232 157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 367 158 130 317 0 46 0 [startup+0.075299 s] /proc/loadavg: 0.92 0.98 0.99 3/77 16972 /proc/meminfo: memFree=1720584/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=3076 CPUtime=0.07 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 567 0 0 0 7 0 0 0 19 0 1 0 146938947 3149824 549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 769 549 130 317 0 448 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3076 [startup+0.1013 s] /proc/loadavg: 0.92 0.98 0.99 3/77 16972 /proc/meminfo: memFree=1720584/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=3604 CPUtime=0.09 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 711 0 0 0 9 0 0 0 19 0 1 0 146938947 3690496 693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 901 693 130 317 0 580 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3604 [startup+0.301319 s] /proc/loadavg: 0.92 0.98 0.99 3/77 16972 /proc/meminfo: memFree=1720584/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=6824 CPUtime=0.29 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 1535 0 0 0 29 0 0 0 21 0 1 0 146938947 6987776 1395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710874 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 1706 1395 170 317 0 1385 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6824 [startup+0.701356 s] /proc/loadavg: 0.92 0.98 0.99 3/77 16972 /proc/meminfo: memFree=1720584/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=8636 CPUtime=0.69 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 1983 0 0 0 69 0 0 0 25 0 1 0 146938947 8843264 1843 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 2159 1843 170 317 0 1838 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8636 [startup+1.50143 s] /proc/loadavg: 0.92 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1712256/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=12636 CPUtime=1.48 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 2995 0 0 0 148 0 0 0 25 0 1 0 146938947 12939264 2855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 3159 2855 170 317 0 2838 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12636 [startup+3.10158 s] /proc/loadavg: 0.92 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1708224/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=18136 CPUtime=3.09 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 4373 0 0 0 308 1 0 0 25 0 1 0 146938947 18571264 4233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 4534 4233 170 317 0 4213 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18136 [startup+6.30189 s] /proc/loadavg: 0.93 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1698880/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=25036 CPUtime=6.29 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 6108 0 0 0 627 2 0 0 25 0 1 0 146938947 25636864 5968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 6259 5968 170 317 0 5938 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25036 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1685120/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=38012 CPUtime=12.68 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 9315 0 0 0 1264 4 0 0 25 0 1 0 146938947 38924288 9175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278940 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 9503 9175 170 317 0 9182 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38012 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1665216/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=58984 CPUtime=25.48 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 14115 0 0 0 2541 7 0 0 25 0 1 0 146938947 60399616 13975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 14746 13975 170 317 0 14425 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 58984 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1646592/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=76072 CPUtime=51.07 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 18796 0 0 0 5098 9 0 0 25 0 1 0 146938947 77897728 18656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 19018 18656 170 317 0 18697 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 76072 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1613440/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=113288 CPUtime=102.27 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 26947 0 0 0 10213 14 0 0 25 0 1 0 146938947 116006912 26807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 28322 26807 170 317 0 28001 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 113288 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1591424/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=134036 CPUtime=162.25 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 32485 0 0 0 16207 18 0 0 25 0 1 0 146938947 137252864 32345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 33509 32345 170 317 0 33188 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 134036 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1571520/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=152036 CPUtime=222.24 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 37402 0 0 0 22203 21 0 0 25 0 1 0 146938947 155684864 37262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 38009 37262 170 317 0 37688 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 152036 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1555136/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=167472 CPUtime=282.22 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 41549 0 0 0 28198 24 0 0 25 0 1 0 146938947 171491328 41409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 41868 41409 170 317 0 41547 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 167472 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1529088/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=205412 CPUtime=342.2 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 48009 0 0 0 34193 27 0 0 25 0 1 0 146938947 210341888 47869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 51353 47869 170 317 0 51032 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 205412 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1515776/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=219336 CPUtime=402.19 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 51355 0 0 0 40190 29 0 0 25 0 1 0 146938947 224600064 51215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 54834 51215 170 317 0 54513 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 219336 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1501824/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=231948 CPUtime=462.18 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 54817 0 0 0 46186 32 0 0 25 0 1 0 146938947 237514752 54677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 57987 54677 170 317 0 57666 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 231948 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1489600/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=243536 CPUtime=522.16 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 57886 0 0 0 52182 34 0 0 25 0 1 0 146938947 249380864 57746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 60884 57746 170 317 0 60563 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 243536 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1476800/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=255904 CPUtime=582.15 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 61237 0 0 0 58179 36 0 0 25 0 1 0 146938947 262045696 61097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714115 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 63976 61097 170 317 0 63655 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 255904 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1463872/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=267104 CPUtime=642.13 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 64273 0 0 0 64175 38 0 0 25 0 1 0 146938947 273514496 64133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 66776 64133 170 317 0 66455 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 267104 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1417856/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=308272 CPUtime=882.07 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 75732 0 0 0 88160 47 0 0 25 0 1 0 146938947 315670528 75592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 77068 75592 170 317 0 76747 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 308272 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1407424/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=317740 CPUtime=942.06 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 78395 0 0 0 94157 49 0 0 25 0 1 0 146938947 325365760 78222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 79435 78222 170 317 0 79114 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 317740 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16973 /proc/meminfo: memFree=1399040/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=325312 CPUtime=1002.04 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 80525 0 0 0 100153 51 0 0 25 0 1 0 146938947 333119488 80352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 81328 80352 170 317 0 81007 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 325312 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/84 17047 /proc/meminfo: memFree=1377408/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=378884 CPUtime=1061.98 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 91484 0 0 0 106142 56 0 0 25 0 1 0 146938947 387977216 85338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 94721 85338 170 317 0 94400 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 378884 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1369664/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=388080 CPUtime=1121.91 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 94116 0 0 0 112133 58 0 0 25 0 1 0 146938947 397393920 87574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 97020 87574 170 317 0 96699 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 388080 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1359552/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=397584 CPUtime=1181.9 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 96866 0 0 0 118130 60 0 0 25 0 1 0 146938947 407126016 90093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 99396 90093 170 317 0 99075 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 397584 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1349504/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=408704 CPUtime=1241.89 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 100002 0 0 0 124126 63 0 0 25 0 1 0 146938947 418512896 92589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 102176 92589 170 317 0 101855 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 408704 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1339840/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=418536 CPUtime=1301.87 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 102781 0 0 0 130123 64 0 0 25 0 1 0 146938947 428580864 94972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 104634 94972 170 317 0 104313 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 418536 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1330432/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=427192 CPUtime=1361.86 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 105294 0 0 0 136120 66 0 0 25 0 1 0 146938947 437444608 97353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 106798 97353 170 317 0 106477 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 427192 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1321280/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=435832 CPUtime=1421.84 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 107758 0 0 0 142117 67 0 0 25 0 1 0 146938947 446291968 99619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 108958 99619 170 317 0 108637 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 435832 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1314496/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=442896 CPUtime=1481.83 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 109524 0 0 0 148114 69 0 0 25 0 1 0 146938947 453525504 101319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 110724 101319 170 317 0 110403 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 442896 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1305664/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=450628 CPUtime=1541.82 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 111727 0 0 0 154111 71 0 0 25 0 1 0 146938947 461443072 103522 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711188 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 112657 103522 170 317 0 112336 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 450628 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1296640/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=459192 CPUtime=1601.8 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 114219 0 0 0 160108 72 0 0 25 0 1 0 146938947 470212608 105783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 114798 105783 170 317 0 114477 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 459192 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1287872/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=466544 CPUtime=1661.79 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 116390 0 0 0 166105 74 0 0 25 0 1 0 146938947 477741056 107954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 116636 107954 170 317 0 116315 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 466544 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1279360/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=474152 CPUtime=1721.77 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 118609 0 0 0 172101 76 0 0 25 0 1 0 146938947 485531648 110074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 118538 110074 170 317 0 118217 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 474152 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1271424/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=481240 CPUtime=1781.75 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 120688 0 0 0 178097 78 0 0 25 0 1 0 146938947 492789760 112054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563746 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 120310 112054 170 317 0 119989 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 481240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1269440/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=483196 CPUtime=1800.05 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 121188 0 0 0 179927 78 0 0 25 0 1 0 146938947 494792704 112554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 120799 112554 170 317 0 120478 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 483196 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17171 /proc/meminfo: memFree=1269440/2055920 swapFree=4148736/4192956 [pid=16972] ppid=16970 vsize=483196 CPUtime=1800.16 /proc/16972/stat : 16972 (oree) R 16970 16972 15865 0 -1 4194304 121212 0 0 0 179938 78 0 0 25 0 1 0 146938947 494792704 112578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16972/statm: 120799 112578 186 317 0 120478 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 483196 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.25 CPU user time (s): 1799.39 CPU system time (s): 0.858869 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 483196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.39 system time used= 0.858869 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 121212 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= 21185 runsolver used 1.9887 second user time and 4.56731 second system time The end
Begin job on node14 on Thu Apr 19 13:43:32 UTC 2007 IDJOB= 357177 IDBENCH= 2236 IDSOLVER= 172 FILE ID= node14/357177-1176990212 PBS_JOBID= 4630413 Free space on /tmp= 66206 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb COMMAND LINE= oree /tmp/evaluation/357177-1176990212/instance-357177-1176990212.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-357177-1176990212 -o ROOT/results/node14/solver-357177-1176990212 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357177-1176990212/instance-357177-1176990212.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 65bafde3eb06761afc4fe90b6aa8c264 RANDOM SEED= 785589771 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1720928 kB Buffers: 36136 kB Cached: 234320 kB SwapCached: 11472 kB Active: 135452 kB Inactive: 159188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1720928 kB SwapTotal: 4192956 kB SwapFree: 4148736 kB Dirty: 1744 kB Writeback: 0 kB Mapped: 31108 kB Slab: 25872 kB Committed_AS: 6655032 kB PageTables: 1792 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= 66206 MiB End job on node14 on Thu Apr 19 14:13:35 UTC 2007