Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 11206 | 1800.15 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-11_22.opb |
MD5SUM | 75c7e5778aa6d0e8c18984c9064c30c6 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8908 |
Best CPU time to get the best result obtained on this benchmark | 0.041993 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8908 |
Optimality of the best value was proved | YES |
Number of variables | 253 |
Total number of constraints | 264 |
Number of constraints which are clauses | 242 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Number of terms in the objective function | 253 |
Biggest coefficient in the objective function | 2437 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 125403 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 2437 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 125403 |
Number of bits of the biggest sum of numbers | 17 |
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.00/0.00 c ...done 0.00/0.00 c #vars=253 #constraints=287 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.00/0.00 c nbDecision=230 #constraints=287 0.00/0.00 c linear search for optimum 0.00/0.00 o 11514 0.09/0.16 c restart after 401 decisions 0.09/0.16 c nbDecision=500 #constraints=535 0.39/0.44 c restart after 801 decisions 0.49/0.52 c nbDecision=1000 #constraints=871 1.39/1.42 c nbDecision=1500 #constraints=1388 1.59/1.68 c restart after 1601 decisions 2.39/2.40 c nbDecision=2000 #constraints=1759 4.39/4.46 c nbDecision=2500 #constraints=2263 7.39/7.45 c nbDecision=3000 #constraints=2788 8.59/8.69 c restart after 3201 decisions 10.29/10.36 c nbDecision=3500 #constraints=3143 15.19/15.29 c nbDecision=4000 #constraints=3650 20.38/20.40 c nbDecision=4500 #constraints=4128 29.49/29.54 c nbDecision=5000 #constraints=4656 38.58/38.66 c nbDecision=5500 #constraints=5149 49.49/49.57 c nbDecision=6000 #constraints=5656 55.98/56.05 c restart after 6401 decisions 56.08/56.17 c nbDecision=6500 #constraints=6021 68.57/68.64 c nbDecision=7000 #constraints=6497 80.17/80.25 c nbDecision=7500 #constraints=6985 96.37/96.41 c nbDecision=8000 #constraints=7505 109.06/109.17 c nbDecision=8500 #constraints=8023 131.46/131.51 c nbDecision=9000 #constraints=8479 152.35/152.42 c nbDecision=9500 #constraints=9005 173.65/173.76 c nbDecision=10000 #constraints=9519 193.14/193.29 c nbDecision=10500 #constraints=10016 218.83/218.96 c nbDecision=11000 #constraints=10500 240.03/240.12 c nbDecision=11418 #constraints=10897 240.03/240.12 o 11469 240.03/240.16 c nbDecision=11422 #constraints=10904 240.03/240.16 o 11447 240.03/240.17 c nbDecision=11423 #constraints=10907 240.03/240.17 o 11390 244.43/244.59 c nbDecision=11500 #constraints=11001 254.13/254.29 c nbDecision=11707 #constraints=11204 254.13/254.29 o 11334 265.42/265.53 c nbDecision=12000 #constraints=11516 275.22/275.37 c nbDecision=12194 #constraints=11690 275.22/275.37 o 11319 275.22/275.37 c nbDecision=12195 #constraints=11693 275.22/275.37 o 11262 290.52/290.69 c nbDecision=12479 #constraints=11989 290.52/290.69 o 11206 292.22/292.38 c nbDecision=12500 #constraints=12024 304.71/304.84 c restart after 12801 decisions 308.91/309.01 c nbDecision=13000 #constraints=12430 337.00/337.16 c nbDecision=13500 #constraints=12935 373.20/373.32 c nbDecision=14000 #constraints=13408 412.99/413.10 c nbDecision=14500 #constraints=13906 450.37/450.58 c nbDecision=15000 #constraints=14423 482.07/482.21 c nbDecision=15500 #constraints=14910 519.36/519.59 c nbDecision=16000 #constraints=15419 549.15/549.38 c nbDecision=16500 #constraints=15907 602.94/603.11 c nbDecision=17000 #constraints=16431 640.42/640.60 c nbDecision=17500 #constraints=16901 688.71/688.90 c nbDecision=18000 #constraints=17432 730.80/731.02 c nbDecision=18500 #constraints=17928 773.29/773.56 c nbDecision=19000 #constraints=18404 821.18/821.45 c nbDecision=19500 #constraints=18901 867.27/867.54 c nbDecision=20000 #constraints=19437 910.96/911.29 c nbDecision=20500 #constraints=19931 970.54/970.88 c nbDecision=21000 #constraints=20437 1038.53/1038.84 c nbDecision=21500 #constraints=20929 1084.32/1084.65 c nbDecision=22000 #constraints=21441 1132.21/1132.53 c nbDecision=22500 #constraints=21931 1186.69/1187.01 c nbDecision=23000 #constraints=22423 1232.38/1232.72 c nbDecision=23500 #constraints=22923 1267.66/1268.07 c nbDecision=24000 #constraints=23435 1323.05/1323.44 c nbDecision=24500 #constraints=23912 1386.65/1387.03 c nbDecision=25000 #constraints=24430 1439.62/1440.02 c nbDecision=25500 #constraints=24933 1450.62/1451.07 c restart after 25601 decisions 1491.61/1492.01 c nbDecision=26000 #constraints=25314 1551.79/1552.29 c nbDecision=26500 #constraints=25826 1596.88/1597.35 c nbDecision=27000 #constraints=26310 1673.67/1674.15 c nbDecision=27500 #constraints=26838 1741.15/1741.64 c nbDecision=28000 #constraints=27326 1800.04/1800.50 Received signal 15 1800.04/1800.59 1800.04/1800.59 s SATISFIABLE 1800.04/1800.59 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.04/1800.59 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.04/1800.59 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.04/1800.59 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.04/1800.59 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 -x123 -x124 -x125 -x126 1800.04/1800.59 v -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 1800.04/1800.59 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.04/1800.59 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 x188 -x189 1800.04/1800.59 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 x210 1800.04/1800.59 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1800.04/1800.59 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1800.04/1800.59 v x253 1800.04/1800.59 1800.04/1800.59 c user time= 1799.87 s 1800.04/1800.59 c system time= 0.263959 s 1800.04/1800.59 c wall clock time=1800.6
OK 11206
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-372405-1177092999 -o ROOT/results/node44/solver-372405-1177092999 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/372405-1177092999/instance-372405-1177092999.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: 1.01 1.02 1.00 3/77 16684 /proc/meminfo: memFree=1725752/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=1468 CPUtime=0 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 198 0 0 0 0 0 0 0 18 0 1 0 157211566 1503232 180 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602853 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 367 180 137 317 0 46 0 [startup+0.00890007 s] /proc/loadavg: 1.01 1.02 1.00 3/77 16684 /proc/meminfo: memFree=1725752/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=1600 CPUtime=0 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 157211566 1638400 224 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135288029 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 400 224 167 317 0 79 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1600 [startup+0.101909 s] /proc/loadavg: 1.01 1.02 1.00 3/77 16684 /proc/meminfo: memFree=1725752/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=1860 CPUtime=0.09 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 319 0 0 0 9 0 0 0 18 0 1 0 157211566 1904640 301 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 465 301 170 317 0 144 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1860 [startup+0.301929 s] /proc/loadavg: 1.01 1.02 1.00 3/77 16684 /proc/meminfo: memFree=1725752/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=2388 CPUtime=0.29 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 449 0 0 0 29 0 0 0 19 0 1 0 157211566 2445312 431 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 597 431 170 317 0 276 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2388 [startup+0.70197 s] /proc/loadavg: 1.01 1.02 1.00 3/77 16684 /proc/meminfo: memFree=1725752/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=3176 CPUtime=0.69 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 630 0 0 0 69 0 0 0 23 0 1 0 157211566 3252224 612 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 794 612 170 317 0 473 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3176 [startup+1.50105 s] /proc/loadavg: 1.01 1.02 1.00 2/78 16685 /proc/meminfo: memFree=1723504/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=4132 CPUtime=1.49 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 866 0 0 0 149 0 0 0 25 0 1 0 157211566 4231168 848 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 1033 848 170 317 0 712 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4132 [startup+3.10122 s] /proc/loadavg: 1.01 1.02 1.00 2/78 16685 /proc/meminfo: memFree=1722416/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=5180 CPUtime=3.09 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 1143 0 0 0 309 0 0 0 25 0 1 0 157211566 5304320 1125 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 1295 1125 170 317 0 974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5180 [startup+6.30254 s] /proc/loadavg: 1.01 1.02 1.00 2/78 16685 /proc/meminfo: memFree=1720560/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=6808 CPUtime=6.29 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 1515 0 0 0 629 0 0 0 25 0 1 0 157211566 6971392 1497 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715600 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 1702 1497 170 317 0 1381 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6808 [startup+12.7012 s] /proc/loadavg: 1.01 1.02 1.00 2/78 16685 /proc/meminfo: memFree=1718520/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=8508 CPUtime=12.69 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 1944 0 0 0 1268 1 0 0 25 0 1 0 157211566 8712192 1926 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 2127 1926 170 317 0 1806 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8508 [startup+25.5015 s] /proc/loadavg: 1.01 1.01 1.00 2/78 16685 /proc/meminfo: memFree=1716152/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=10984 CPUtime=25.48 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 2495 0 0 0 2547 1 0 0 25 0 1 0 157211566 11247616 2477 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 2746 2477 170 317 0 2425 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10984 [startup+51.1012 s] /proc/loadavg: 1.00 1.01 1.00 2/78 16685 /proc/meminfo: memFree=1713400/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=13656 CPUtime=51.08 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 3183 0 0 0 5105 3 0 0 25 0 1 0 157211566 13983744 3165 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 3414 3165 170 317 0 3093 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 13656 [startup+102.305 s] /proc/loadavg: 1.00 1.01 1.00 2/78 16685 /proc/meminfo: memFree=1708984/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=18072 CPUtime=102.27 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 4280 0 0 0 10223 4 0 0 25 0 1 0 157211566 18505728 4262 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 4518 4262 170 317 0 4197 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 18072 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16685 /proc/meminfo: memFree=1705464/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=22168 CPUtime=162.25 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 5207 0 0 0 16220 5 0 0 25 0 1 0 157211566 22700032 5132 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 5542 5132 170 317 0 5221 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 22168 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16685 /proc/meminfo: memFree=1702776/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=24824 CPUtime=222.24 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 5878 0 0 0 22217 7 0 0 25 0 1 0 157211566 25419776 5803 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 6206 5803 170 317 0 5885 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 24824 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16685 /proc/meminfo: memFree=1699960/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=27644 CPUtime=282.22 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 6568 0 0 0 28214 8 0 0 25 0 1 0 157211566 28307456 6493 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 6911 6493 170 317 0 6590 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 27644 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16685 /proc/meminfo: memFree=1697336/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=30216 CPUtime=342.2 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 7206 0 0 0 34212 8 0 0 25 0 1 0 157211566 30941184 7131 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 7554 7131 170 317 0 7233 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 30216 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16685 /proc/meminfo: memFree=1695864/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=31676 CPUtime=402.18 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 7596 0 0 0 40209 9 0 0 25 0 1 0 157211566 32436224 7521 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 7919 7521 170 317 0 7598 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 31676 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16685 /proc/meminfo: memFree=1694072/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=33560 CPUtime=462.17 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 8043 0 0 0 46207 10 0 0 25 0 1 0 157211566 34365440 7968 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 8390 7968 170 317 0 8069 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 33560 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16685 /proc/meminfo: memFree=1692280/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=35516 CPUtime=522.15 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 8487 0 0 0 52204 11 0 0 25 0 1 0 157211566 36368384 8412 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 8879 8412 170 317 0 8558 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 35516 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16685 /proc/meminfo: memFree=1690680/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=37120 CPUtime=582.15 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 8886 0 0 0 58203 12 0 0 25 0 1 0 157211566 38010880 8811 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 9280 8811 170 317 0 8959 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 37120 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16685 /proc/meminfo: memFree=1689144/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=40044 CPUtime=642.13 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 9544 0 0 0 64201 12 0 0 25 0 1 0 157211566 41005056 9191 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 10011 9191 170 317 0 9690 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 40044 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.07 1.02 1.00 2/78 16685 /proc/meminfo: memFree=1683448/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=45752 CPUtime=882.06 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 10999 0 0 0 88191 15 0 0 25 0 1 0 157211566 46850048 10646 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 11438 10646 170 317 0 11117 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 45752 [startup+942.302 s] /proc/loadavg: 1.09 1.03 1.00 2/78 16685 /proc/meminfo: memFree=1682296/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=46940 CPUtime=942.05 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 11284 0 0 0 94189 16 0 0 25 0 1 0 157211566 48066560 10931 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 11735 10931 170 317 0 11414 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 46940 [startup+1002.3 s] /proc/loadavg: 1.09 1.04 1.00 2/78 16685 /proc/meminfo: memFree=1681272/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=48004 CPUtime=1002.04 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 11540 0 0 0 100187 17 0 0 25 0 1 0 157211566 49156096 11187 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 12001 11187 170 317 0 11680 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 48004 [startup+1062.3 s] /proc/loadavg: 1.09 1.04 1.00 2/78 16685 /proc/meminfo: memFree=1680248/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=48920 CPUtime=1062.02 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 11789 0 0 0 106185 17 0 0 25 0 1 0 157211566 50094080 11436 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 12230 11436 170 317 0 11909 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 48920 [startup+1122.3 s] /proc/loadavg: 1.12 1.06 1.01 2/78 16685 /proc/meminfo: memFree=1678712/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=50480 CPUtime=1122.01 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 12166 0 0 0 112183 18 0 0 25 0 1 0 157211566 51691520 11813 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 12620 11813 170 317 0 12299 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 50480 [startup+1182.3 s] /proc/loadavg: 1.04 1.05 1.00 2/78 16685 /proc/meminfo: memFree=1677560/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=51700 CPUtime=1181.99 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 12462 0 0 0 118181 18 0 0 25 0 1 0 157211566 52940800 12109 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 12925 12109 170 317 0 12604 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 51700 [startup+1242.3 s] /proc/loadavg: 1.01 1.04 1.00 2/78 16685 /proc/meminfo: memFree=1675960/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=53188 CPUtime=1241.97 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 12855 0 0 0 124178 19 0 0 25 0 1 0 157211566 54464512 12502 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 13297 12502 170 317 0 12976 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 53188 [startup+1302.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 16685 /proc/meminfo: memFree=1674360/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=54900 CPUtime=1301.97 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 13241 0 0 0 130177 20 0 0 25 0 1 0 157211566 56217600 12888 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 13725 12888 170 317 0 13404 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 54900 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 16687 /proc/meminfo: memFree=1673464/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=55692 CPUtime=1361.94 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 13460 0 0 0 136174 20 0 0 25 0 1 0 157211566 57028608 13107 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604194 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 13923 13107 170 317 0 13602 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 55692 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/78 16687 /proc/meminfo: memFree=1672312/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=56744 CPUtime=1421.93 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 13750 0 0 0 142172 21 0 0 25 0 1 0 157211566 58105856 13397 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 14186 13397 170 317 0 13865 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 56744 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 16687 /proc/meminfo: memFree=1671288/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=57980 CPUtime=1481.92 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 14041 0 0 0 148170 22 0 0 25 0 1 0 157211566 59371520 13655 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 14495 13655 170 317 0 14174 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 57980 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16687 /proc/meminfo: memFree=1670136/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=59304 CPUtime=1541.89 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 14343 0 0 0 154167 22 0 0 25 0 1 0 157211566 60727296 13924 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 14826 13924 170 317 0 14505 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 59304 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16687 /proc/meminfo: memFree=1668856/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=60500 CPUtime=1601.89 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 14679 0 0 0 160165 24 0 0 25 0 1 0 157211566 61952000 14260 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 15125 14260 170 317 0 14804 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 60500 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16687 /proc/meminfo: memFree=1668088/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=61292 CPUtime=1661.87 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 14877 0 0 0 166163 24 0 0 25 0 1 0 157211566 62763008 14458 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 15323 14458 170 317 0 15002 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 61292 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16687 /proc/meminfo: memFree=1667128/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=62344 CPUtime=1721.86 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 15155 0 0 0 172161 25 0 0 25 0 1 0 157211566 63840256 14703 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 15586 14703 170 317 0 15265 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 62344 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16687 /proc/meminfo: memFree=1666296/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=63132 CPUtime=1781.84 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 15359 0 0 0 178158 26 0 0 25 0 1 0 157211566 64647168 14907 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 15783 14907 170 317 0 15462 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 63132 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16687 /proc/meminfo: memFree=1665912/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=63608 CPUtime=1800.04 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194304 15447 0 0 0 179978 26 0 0 25 0 1 0 157211566 65134592 14995 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 15902 14995 170 317 0 15581 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 63608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/79 16688 /proc/meminfo: memFree=1692400/2055920 swapFree=4156080/4192956 [pid=16684] ppid=16682 vsize=0 CPUtime=1800.14 /proc/16684/stat : 16684 (oree) R 16682 16684 15616 0 -1 4194308 15464 0 0 0 179987 27 0 0 25 0 1 0 157211566 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16684/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.61 CPU time (s): 1800.15 CPU user time (s): 1799.88 CPU system time (s): 0.274958 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 63608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.88 system time used= 0.274958 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15464 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= 8 involuntary context switches= 35158 runsolver used 2.05669 second user time and 4.50931 second system time The end
Begin job on node44 on Fri Apr 20 18:16:39 UTC 2007 IDJOB= 372405 IDBENCH= 24969 IDSOLVER= 172 FILE ID= node44/372405-1177092999 PBS_JOBID= 4640328 Free space on /tmp= 66413 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-11_22.opb COMMAND LINE= oree /tmp/evaluation/372405-1177092999/instance-372405-1177092999.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-372405-1177092999 -o ROOT/results/node44/solver-372405-1177092999 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/372405-1177092999/instance-372405-1177092999.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 75c7e5778aa6d0e8c18984c9064c30c6 RANDOM SEED= 822848121 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.234 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.234 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: 1726096 kB Buffers: 42088 kB Cached: 198676 kB SwapCached: 13760 kB Active: 120992 kB Inactive: 144528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1726096 kB SwapTotal: 4192956 kB SwapFree: 4156080 kB Dirty: 1304 kB Writeback: 0 kB Mapped: 32844 kB Slab: 49732 kB Committed_AS: 1368816 kB PageTables: 1740 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= 66413 MiB End job on node44 on Fri Apr 20 18:46:41 UTC 2007