Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 303000 | 1800.16 | 1800.82 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0282.opb |
MD5SUM | 3d08eecd6841b46afc4009161d25bc6a |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 258411 |
Best CPU time to get the best result obtained on this benchmark | 4.08138 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 258411 |
Optimality of the best value was proved | YES |
Number of variables | 282 |
Total number of constraints | 221 |
Number of constraints which are clauses | 177 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 44 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 57 |
Number of terms in the objective function | 282 |
Biggest coefficient in the objective function | 160646 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 1302615 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 160646 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 1302615 |
Number of bits of the biggest sum of numbers | 21 |
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=282 #constraints=222 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=264 #constraints=222 0.00/0.00 c linear search for optimum 0.00/0.00 o 457129 0.00/0.01 c nbDecision=269 #constraints=223 0.00/0.01 o 453986 0.00/0.01 c nbDecision=278 #constraints=228 0.00/0.01 o 451864 0.00/0.01 c nbDecision=285 #constraints=230 0.00/0.01 o 450994 0.00/0.01 c nbDecision=300 #constraints=241 0.00/0.01 o 448989 0.00/0.01 c nbDecision=307 #constraints=244 0.00/0.01 o 448722 0.00/0.01 c nbDecision=313 #constraints=246 0.00/0.01 o 445569 0.00/0.02 c nbDecision=320 #constraints=250 0.00/0.02 o 442426 0.00/0.02 c nbDecision=348 #constraints=271 0.00/0.02 o 422581 0.00/0.02 c nbDecision=353 #constraints=274 0.00/0.02 o 419438 0.00/0.03 c nbDecision=401 #constraints=293 0.00/0.03 o 418247 0.00/0.03 c restart after 401 decisions 0.00/0.03 c nbDecision=500 #constraints=295 0.00/0.03 c nbDecision=659 #constraints=295 0.00/0.03 o 412927 0.00/0.04 c nbDecision=665 #constraints=297 0.00/0.04 o 410805 0.04/0.05 c nbDecision=703 #constraints=338 0.04/0.05 o 410187 0.04/0.06 c nbDecision=713 #constraints=345 0.04/0.06 o 409045 0.04/0.08 c nbDecision=795 #constraints=382 0.04/0.08 o 375754 0.04/0.08 c nbDecision=801 #constraints=383 0.04/0.08 o 370937 0.04/0.08 c restart after 801 decisions 0.04/0.08 c nbDecision=1000 #constraints=384 0.04/0.08 c nbDecision=1058 #constraints=384 0.04/0.08 o 359644 0.04/0.08 c nbDecision=1064 #constraints=388 0.04/0.08 o 357522 0.04/0.08 c nbDecision=1068 #constraints=390 0.04/0.08 o 354778 0.04/0.09 c nbDecision=1084 #constraints=400 0.04/0.09 o 352107 0.04/0.09 c nbDecision=1088 #constraints=402 0.04/0.09 o 349363 0.04/0.09 c nbDecision=1093 #constraints=404 0.04/0.09 o 346210 0.04/0.10 c nbDecision=1110 #constraints=416 0.04/0.10 o 341206 0.04/0.10 c nbDecision=1116 #constraints=417 0.04/0.10 o 336389 0.04/0.10 c nbDecision=1121 #constraints=418 0.04/0.10 o 325096 0.10/0.11 c nbDecision=1160 #constraints=437 0.10/0.11 o 322313 0.10/0.11 c nbDecision=1163 #constraints=438 0.10/0.11 o 317564 0.10/0.12 c nbDecision=1173 #constraints=447 0.10/0.12 o 316650 0.10/0.16 c nbDecision=1241 #constraints=492 0.10/0.16 o 316384 0.19/0.29 c nbDecision=1455 #constraints=637 0.19/0.29 o 315409 0.19/0.29 c nbDecision=1458 #constraints=639 0.19/0.29 o 314539 0.19/0.29 c nbDecision=1471 #constraints=647 0.19/0.29 o 312417 0.19/0.30 c nbDecision=1477 #constraints=651 0.19/0.30 o 310295 0.29/0.31 c nbDecision=1500 #constraints=674 0.29/0.38 c restart after 1601 decisions 0.39/0.48 c nbDecision=2000 #constraints=859 0.79/0.82 c nbDecision=2500 #constraints=1141 1.29/1.31 c nbDecision=3000 #constraints=1527 1.39/1.49 c restart after 3201 decisions 1.49/1.56 c nbDecision=3500 #constraints=1659 1.49/1.56 c nbDecision=3510 #constraints=1664 1.49/1.56 o 309164 2.19/2.26 c nbDecision=4000 #constraints=2010 2.78/2.88 c nbDecision=4388 #constraints=2187 2.78/2.88 o 303286 2.98/3.06 c nbDecision=4500 #constraints=2245 4.09/4.19 c nbDecision=5000 #constraints=2534 4.29/4.38 c nbDecision=5074 #constraints=2573 4.29/4.38 o 303000 5.59/5.60 c nbDecision=5500 #constraints=2773 7.18/7.27 c nbDecision=6000 #constraints=3019 8.79/8.80 c restart after 6401 decisions 8.79/8.82 c nbDecision=6500 #constraints=3197 10.89/10.95 c nbDecision=7000 #constraints=3339 13.09/13.14 c nbDecision=7500 #constraints=3490 14.99/15.04 c nbDecision=8000 #constraints=3732 17.39/17.48 c nbDecision=8500 #constraints=3943 20.39/20.42 c nbDecision=9000 #constraints=4161 24.09/24.15 c nbDecision=9500 #constraints=4387 27.58/27.61 c nbDecision=10000 #constraints=4609 31.08/31.15 c nbDecision=10500 #constraints=4791 36.37/36.50 c nbDecision=11000 #constraints=5018 41.58/41.60 c nbDecision=11500 #constraints=5241 46.57/46.68 c nbDecision=12000 #constraints=5430 51.97/52.07 c nbDecision=12500 #constraints=5658 55.27/55.34 c restart after 12801 decisions 55.37/55.42 c nbDecision=13000 #constraints=5780 61.06/61.15 c nbDecision=13500 #constraints=5996 67.36/67.49 c nbDecision=14000 #constraints=6221 73.27/73.34 c nbDecision=14500 #constraints=6433 79.07/79.14 c nbDecision=15000 #constraints=6602 86.26/86.37 c nbDecision=15500 #constraints=6846 93.56/93.67 c nbDecision=16000 #constraints=7086 101.15/101.29 c nbDecision=16500 #constraints=7339 108.25/108.31 c nbDecision=17000 #constraints=7536 113.15/113.28 c nbDecision=17500 #constraints=7692 117.94/118.03 c nbDecision=18000 #constraints=7824 125.35/125.41 c nbDecision=18500 #constraints=8004 134.64/134.79 c nbDecision=19000 #constraints=8184 141.44/141.55 c nbDecision=19500 #constraints=8316 147.84/147.98 c nbDecision=20000 #constraints=8461 153.73/153.84 c nbDecision=20500 #constraints=8566 159.03/159.14 c nbDecision=21000 #constraints=8782 166.73/166.86 c nbDecision=21500 #constraints=9014 175.02/175.18 c nbDecision=22000 #constraints=9233 184.22/184.35 c nbDecision=22500 #constraints=9412 194.41/194.55 c nbDecision=23000 #constraints=9599 204.21/204.32 c nbDecision=23500 #constraints=9794 214.51/214.64 c nbDecision=24000 #constraints=9996 225.91/226.08 c nbDecision=24500 #constraints=10204 236.00/236.18 c nbDecision=25000 #constraints=10397 247.70/247.87 c nbDecision=25500 #constraints=10598 250.00/250.16 c restart after 25601 decisions 254.19/254.30 c nbDecision=26000 #constraints=10700 265.29/265.44 c nbDecision=26500 #constraints=10857 275.49/275.65 c nbDecision=27000 #constraints=11008 284.08/284.28 c nbDecision=27500 #constraints=11161 297.38/297.54 c nbDecision=28000 #constraints=11350 309.98/310.13 c nbDecision=28500 #constraints=11545 321.78/321.98 c nbDecision=29000 #constraints=11725 333.67/333.80 c nbDecision=29500 #constraints=11920 341.46/341.63 c nbDecision=30000 #constraints=12061 348.26/348.49 c nbDecision=30500 #constraints=12187 359.16/359.35 c nbDecision=31000 #constraints=12329 371.85/372.05 c nbDecision=31500 #constraints=12484 380.05/380.23 c nbDecision=32000 #constraints=12600 386.95/387.17 c nbDecision=32500 #constraints=12730 392.45/392.67 c nbDecision=33000 #constraints=12822 396.54/396.79 c nbDecision=33500 #constraints=12893 403.64/403.83 c nbDecision=34000 #constraints=13023 410.83/411.08 c nbDecision=34500 #constraints=13143 415.93/416.12 c nbDecision=35000 #constraints=13237 420.93/421.15 c nbDecision=35500 #constraints=13302 427.24/427.47 c nbDecision=36000 #constraints=13415 435.23/435.41 c nbDecision=36500 #constraints=13524 438.63/438.87 c nbDecision=37000 #constraints=13631 450.42/450.67 c nbDecision=37500 #constraints=13867 463.02/463.24 c nbDecision=38000 #constraints=14093 475.61/475.88 c nbDecision=38500 #constraints=14326 488.51/488.78 c nbDecision=39000 #constraints=14531 499.30/499.51 c nbDecision=39500 #constraints=14733 511.00/511.28 c nbDecision=40000 #constraints=14953 521.70/521.95 c nbDecision=40500 #constraints=15191 533.30/533.57 c nbDecision=41000 #constraints=15409 546.99/547.25 c nbDecision=41500 #constraints=15602 561.18/561.49 c nbDecision=42000 #constraints=15844 574.48/574.79 c nbDecision=42500 #constraints=16091 589.07/589.31 c nbDecision=43000 #constraints=16330 599.57/599.86 c nbDecision=43500 #constraints=16470 616.56/616.84 c nbDecision=44000 #constraints=16666 632.16/632.49 c nbDecision=44500 #constraints=16833 647.35/647.67 c nbDecision=45000 #constraints=17006 664.55/664.85 c nbDecision=45500 #constraints=17225 681.24/681.52 c nbDecision=46000 #constraints=17436 696.33/696.68 c nbDecision=46500 #constraints=17611 713.92/714.25 c nbDecision=47000 #constraints=17816 732.22/732.56 c nbDecision=47500 #constraints=18024 750.22/750.57 c nbDecision=48000 #constraints=18231 768.41/768.75 c nbDecision=48500 #constraints=18414 781.91/782.24 c nbDecision=49000 #constraints=18581 797.70/798.07 c nbDecision=49500 #constraints=18787 813.70/814.08 c nbDecision=50000 #constraints=18978 829.09/829.42 c nbDecision=50500 #constraints=19159 843.18/843.51 c nbDecision=51000 #constraints=19348 849.98/850.36 c restart after 51201 decisions 853.38/853.72 c nbDecision=51500 #constraints=19455 868.27/868.62 c nbDecision=52000 #constraints=19638 884.76/885.17 c nbDecision=52500 #constraints=19856 901.16/901.53 c nbDecision=53000 #constraints=20035 917.15/917.54 c nbDecision=53500 #constraints=20175 936.54/936.94 c nbDecision=54000 #constraints=20332 952.74/953.14 c nbDecision=54500 #constraints=20458 963.73/964.18 c nbDecision=55000 #constraints=20549 973.33/973.74 c nbDecision=55500 #constraints=20620 983.03/983.41 c nbDecision=56000 #constraints=20714 999.02/999.40 c nbDecision=56500 #constraints=20928 1016.12/1016.54 c nbDecision=57000 #constraints=21164 1032.61/1033.00 c nbDecision=57500 #constraints=21374 1048.91/1049.37 c nbDecision=58000 #constraints=21582 1064.40/1064.89 c nbDecision=58500 #constraints=21790 1079.49/1079.94 c nbDecision=59000 #constraints=21998 1097.68/1098.12 c nbDecision=59500 #constraints=22230 1114.88/1115.30 c nbDecision=60000 #constraints=22459 1130.97/1131.46 c nbDecision=60500 #constraints=22665 1145.77/1146.27 c nbDecision=61000 #constraints=22813 1163.56/1164.09 c nbDecision=61500 #constraints=22983 1177.95/1178.49 c nbDecision=62000 #constraints=23146 1199.44/1199.94 c nbDecision=62500 #constraints=23369 1220.94/1221.41 c nbDecision=63000 #constraints=23574 1241.03/1241.50 c nbDecision=63500 #constraints=23759 1262.53/1263.04 c nbDecision=64000 #constraints=23954 1283.82/1284.36 c nbDecision=64500 #constraints=24156 1305.21/1305.74 c nbDecision=65000 #constraints=24344 1328.70/1329.24 c nbDecision=65500 #constraints=24554 1348.00/1348.50 c nbDecision=66000 #constraints=24723 1369.88/1370.43 c nbDecision=66500 #constraints=24948 1390.58/1391.15 c nbDecision=67000 #constraints=25154 1411.67/1412.23 c nbDecision=67500 #constraints=25342 1431.76/1432.37 c nbDecision=68000 #constraints=25538 1454.15/1454.76 c nbDecision=68500 #constraints=25743 1475.35/1475.95 c nbDecision=69000 #constraints=25935 1497.94/1498.58 c nbDecision=69500 #constraints=26146 1520.13/1520.74 c nbDecision=70000 #constraints=26331 1542.32/1542.92 c nbDecision=70500 #constraints=26479 1567.11/1567.78 c nbDecision=71000 #constraints=26642 1581.00/1581.69 c nbDecision=71500 #constraints=26726 1592.90/1593.50 c nbDecision=72000 #constraints=26797 1610.50/1611.18 c nbDecision=72500 #constraints=26917 1628.29/1628.95 c nbDecision=73000 #constraints=27053 1650.49/1651.20 c nbDecision=73500 #constraints=27234 1675.27/1675.92 c nbDecision=74000 #constraints=27432 1698.87/1699.55 c nbDecision=74500 #constraints=27618 1723.46/1724.15 c nbDecision=75000 #constraints=27805 1748.05/1748.78 c nbDecision=75500 #constraints=27998 1773.64/1774.40 c nbDecision=76000 #constraints=28195 1799.23/1799.95 c nbDecision=76500 #constraints=28388 1800.04/1800.70 Received signal 15 1800.04/1800.80 1800.04/1800.80 s SATISFIABLE 1800.04/1800.80 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.80 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.80 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.80 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 1800.04/1800.80 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.04/1800.80 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.04/1800.80 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.04/1800.80 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.04/1800.80 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.04/1800.80 v -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 x226 -x227 -x228 -x229 -x230 1800.04/1800.80 v -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 x245 -x246 -x247 -x248 x249 -x250 -x251 1800.04/1800.80 v x252 x253 -x254 x255 -x256 -x257 x258 -x259 -x260 x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 x272 x273 1800.04/1800.80 v x274 -x275 x276 x277 x278 x279 -x280 x281 x282 1800.04/1800.80 1800.04/1800.80 c user time= 1799.96 s 1800.04/1800.80 c system time= 0.180972 s 1800.04/1800.80 c wall clock time=1800.8
OK 303000
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-362150-1176845295 -o ROOT/results/node59/solver-362150-1176845295 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362150-1176845295/instance-362150-1176845295.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.00 0.99 0.95 3/64 30115 /proc/meminfo: memFree=1838000/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=1468 CPUtime=0 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 132439100 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 367 162 131 317 0 46 0 [startup+0.043938 s] /proc/loadavg: 1.00 0.99 0.95 3/64 30115 /proc/meminfo: memFree=1838000/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=1732 CPUtime=0.04 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 278 0 0 0 4 0 0 0 18 0 1 0 132439100 1773568 260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 433 260 170 317 0 112 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1732 [startup+0.102949 s] /proc/loadavg: 1.00 0.99 0.95 3/64 30115 /proc/meminfo: memFree=1838000/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=1864 CPUtime=0.1 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 325 0 0 0 10 0 0 0 18 0 1 0 132439100 1908736 307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713827 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 466 307 170 317 0 145 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1864 [startup+0.301986 s] /proc/loadavg: 1.00 0.99 0.95 3/64 30115 /proc/meminfo: memFree=1838000/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=2384 CPUtime=0.29 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 441 0 0 0 29 0 0 0 19 0 1 0 132439100 2441216 423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718013 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 596 423 170 317 0 275 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2384 [startup+0.702062 s] /proc/loadavg: 1.00 0.99 0.95 3/64 30115 /proc/meminfo: memFree=1838000/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=3040 CPUtime=0.69 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 614 0 0 0 69 0 0 0 23 0 1 0 132439100 3112960 596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 760 596 170 317 0 439 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3040 [startup+1.50122 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1835752/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=4220 CPUtime=1.49 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 895 0 0 0 149 0 0 0 25 0 1 0 132439100 4321280 877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 1055 877 170 317 0 734 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4220 [startup+3.10152 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1834344/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=5276 CPUtime=3.08 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 1183 0 0 0 308 0 0 0 25 0 1 0 132439100 5402624 1165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 1319 1165 170 317 0 998 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 5276 [startup+6.30113 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1832744/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=6628 CPUtime=6.29 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 1476 0 0 0 628 1 0 0 25 0 1 0 132439100 6787072 1458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 1657 1458 170 317 0 1336 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6628 [startup+12.7013 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1831472/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=7820 CPUtime=12.68 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 1766 0 0 0 1267 1 0 0 25 0 1 0 132439100 8007680 1748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604480 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 1955 1748 170 317 0 1634 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7820 [startup+25.5018 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1829296/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=10192 CPUtime=25.48 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 2307 0 0 0 2546 2 0 0 25 0 1 0 132439100 10436608 2289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 2548 2289 170 317 0 2227 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10192 [startup+51.1016 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1826544/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=12924 CPUtime=51.07 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 2976 0 0 0 5104 3 0 0 25 0 1 0 132439100 13234176 2958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 3231 2958 170 317 0 2910 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 12924 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1822384/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=17024 CPUtime=102.25 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 3995 0 0 0 10221 4 0 0 25 0 1 0 132439100 17432576 3977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 4256 3977 170 317 0 3935 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 17024 [startup+162.302 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1818864/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=20956 CPUtime=162.23 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 4924 0 0 0 16218 5 0 0 25 0 1 0 132439100 21458944 4848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711134 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 5239 4848 170 317 0 4918 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 20956 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1815792/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=24120 CPUtime=222.21 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 5670 0 0 0 22215 6 0 0 25 0 1 0 132439100 24698880 5594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 6030 5594 170 317 0 5709 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 24120 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1813424/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=26448 CPUtime=282.18 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 6260 0 0 0 28212 6 0 0 25 0 1 0 132439100 27082752 6184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 6612 6184 170 317 0 6291 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 26448 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1811056/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=28776 CPUtime=342.16 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 6837 0 0 0 34209 7 0 0 25 0 1 0 132439100 29466624 6761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 7194 6761 170 317 0 6873 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 28776 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1808944/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=31028 CPUtime=402.14 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 7353 0 0 0 40207 7 0 0 25 0 1 0 132439100 31772672 7277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 7757 7277 170 317 0 7436 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 31028 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1806320/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=33812 CPUtime=462.12 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 7994 0 0 0 46204 8 0 0 25 0 1 0 132439100 34623488 7918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 8453 7918 170 317 0 8132 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 33812 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1803696/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=36616 CPUtime=522.1 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 8660 0 0 0 52201 9 0 0 25 0 1 0 132439100 37494784 8584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 9154 8584 170 317 0 8833 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 36616 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1801072/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=39360 CPUtime=582.07 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 9312 0 0 0 58198 9 0 0 25 0 1 0 132439100 40304640 9236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 9840 9236 170 317 0 9519 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 39360 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30116 /proc/meminfo: memFree=1799216/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=42200 CPUtime=642.05 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 9950 0 0 0 64196 9 0 0 25 0 1 0 132439100 43212800 9661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 10550 9661 170 317 0 10229 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 42200 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1792496/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=49044 CPUtime=881.96 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 11685 0 0 0 88185 11 0 0 25 0 1 0 132439100 50221056 11363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 12261 11363 170 317 0 11940 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 49044 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1791216/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=50244 CPUtime=941.94 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 12007 0 0 0 94182 12 0 0 25 0 1 0 132439100 51449856 11685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 12561 11685 170 317 0 12240 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 50244 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.95 3/65 30118 /proc/meminfo: memFree=1789680/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=51832 CPUtime=1001.92 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 12369 0 0 0 100180 12 0 0 25 0 1 0 132439100 53075968 12047 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 12958 12047 170 317 0 12637 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 51832 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1787888/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=53540 CPUtime=1061.9 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 12833 0 0 0 106177 13 0 0 25 0 1 0 132439100 54824960 12511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 13385 12511 170 317 0 13064 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 53540 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1785840/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=55644 CPUtime=1121.88 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 13408 0 0 0 112174 14 0 0 25 0 1 0 132439100 56979456 13020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 13911 13020 170 317 0 13590 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 55644 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1784304/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=57080 CPUtime=1181.85 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 13777 0 0 0 118171 14 0 0 25 0 1 0 132439100 58449920 13389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 14270 13389 170 317 0 13949 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 57080 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1782896/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=58508 CPUtime=1241.83 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 14156 0 0 0 124169 14 0 0 25 0 1 0 132439100 59912192 13735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 14627 13735 170 317 0 14306 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 58508 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1781552/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=60196 CPUtime=1301.82 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 14580 0 0 0 130167 15 0 0 25 0 1 0 132439100 61640704 14060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 15049 14060 170 317 0 14728 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 60196 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1780208/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=61632 CPUtime=1361.79 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 14955 0 0 0 136164 15 0 0 25 0 1 0 132439100 63111168 14402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 15408 14402 170 317 0 15087 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 61632 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1778800/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=62812 CPUtime=1421.77 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 15308 0 0 0 142161 16 0 0 25 0 1 0 132439100 64319488 14755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 15703 14755 170 317 0 15382 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 62812 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1777456/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=64876 CPUtime=1481.74 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 15810 0 0 0 148158 16 0 0 25 0 1 0 132439100 66433024 15092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 16219 15092 170 317 0 15898 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 64876 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1776176/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=66048 CPUtime=1541.72 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 16149 0 0 0 154156 16 0 0 25 0 1 0 132439100 67633152 15398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 16512 15398 170 317 0 16191 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 66048 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1775344/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=66692 CPUtime=1601.7 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 16358 0 0 0 160154 16 0 0 25 0 1 0 132439100 68292608 15607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 16673 15607 170 317 0 16352 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 66692 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1774192/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=67980 CPUtime=1661.68 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 16721 0 0 0 166151 17 0 0 25 0 1 0 132439100 69611520 15904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 16995 15904 170 317 0 16674 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 67980 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1772976/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=69796 CPUtime=1721.66 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 17139 0 0 0 172149 17 0 0 25 0 1 0 132439100 71471104 16190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 17449 16190 170 317 0 17128 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 69796 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1771888/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=71224 CPUtime=1781.63 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 17442 0 0 0 178146 17 0 0 25 0 1 0 132439100 72933376 16460 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 17806 16460 170 317 0 17485 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 71224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1771440/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=71608 CPUtime=1800.04 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 17561 0 0 0 179986 18 0 0 25 0 1 0 132439100 73326592 16546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 17902 16546 170 317 0 17581 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 71608 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 0.99 0.95 2/65 30118 /proc/meminfo: memFree=1771440/2055920 swapFree=4184740/4192956 [pid=30115] ppid=30113 vsize=71608 CPUtime=1800.14 /proc/30115/stat : 30115 (oree) R 30113 30115 29246 0 -1 4194304 17579 0 0 0 179996 18 0 0 25 0 1 0 132439100 73326592 16564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30115/statm: 17902 16564 186 317 0 17581 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 71608 Child status: 0 Real time (s): 1800.82 CPU time (s): 1800.16 CPU user time (s): 1799.96 CPU system time (s): 0.19297 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 71608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.19297 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17579 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= 3339 runsolver used 1.16582 second user time and 3.77143 second system time The end
Begin job on node59 on Tue Apr 17 21:28:15 UTC 2007 IDJOB= 362150 IDBENCH= 1511 IDSOLVER= 172 FILE ID= node59/362150-1176845295 PBS_JOBID= 4590171 Free space on /tmp= 66343 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb COMMAND LINE= oree /tmp/evaluation/362150-1176845295/instance-362150-1176845295.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-362150-1176845295 -o ROOT/results/node59/solver-362150-1176845295 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362150-1176845295/instance-362150-1176845295.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 3d08eecd6841b46afc4009161d25bc6a RANDOM SEED= 859642698 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1838408 kB Buffers: 14228 kB Cached: 143932 kB SwapCached: 2252 kB Active: 34608 kB Inactive: 133228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1838408 kB SwapTotal: 4192956 kB SwapFree: 4184740 kB Dirty: 1324 kB Writeback: 0 kB Mapped: 16660 kB Slab: 35656 kB Committed_AS: 1578560 kB PageTables: 1472 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= 66343 MiB End job on node59 on Tue Apr 17 21:58:18 UTC 2007