Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 24 | 1800.34 | 1802.19 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb |
MD5SUM | 9a8d1e3e59dfd2cd811494ddb4a3c92a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15 |
Best CPU time to get the best result obtained on this benchmark | 1802.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 230 |
Total number of constraints | 6 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 80 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 43691 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524412 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261310 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524412 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/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=230 #constraints=13 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.29/0.38 c restart after 401 decisions 0.39/0.43 c nbDecision=500 #constraints=383 0.79/0.86 c restart after 801 decisions 1.09/1.11 c nbDecision=1000 #constraints=819 2.19/2.24 c nbDecision=1500 #constraints=1319 2.49/2.59 c restart after 1601 decisions 3.69/3.76 c nbDecision=2000 #constraints=1755 6.49/6.51 c nbDecision=2500 #constraints=2256 10.18/10.26 c nbDecision=3000 #constraints=2756 11.78/11.89 c restart after 3201 decisions 14.89/14.99 c nbDecision=3500 #constraints=3193 21.48/21.59 c nbDecision=4000 #constraints=3692 29.29/29.31 c nbDecision=4500 #constraints=4191 38.08/38.12 c nbDecision=5000 #constraints=4692 47.28/47.38 c nbDecision=5500 #constraints=5194 57.78/57.80 c nbDecision=6000 #constraints=5692 67.97/68.10 c restart after 6401 decisions 69.47/69.57 c nbDecision=6500 #constraints=6129 83.77/83.83 c nbDecision=7000 #constraints=6628 99.36/99.40 c nbDecision=7500 #constraints=7128 115.06/115.12 c nbDecision=8000 #constraints=7630 131.55/131.68 c nbDecision=8500 #constraints=8129 152.55/152.69 c nbDecision=9000 #constraints=8629 171.04/171.19 c nbDecision=9500 #constraints=9129 192.93/193.02 c nbDecision=10000 #constraints=9627 214.93/215.08 c nbDecision=10500 #constraints=10128 237.72/237.80 c nbDecision=11000 #constraints=10629 261.72/261.85 c nbDecision=11500 #constraints=11129 283.91/284.06 c nbDecision=12000 #constraints=11629 308.10/308.24 c nbDecision=12500 #constraints=12127 311.71/311.82 c nbDecision=12596 #constraints=12180 311.71/311.82 c linear search for optimum 311.71/311.82 o 24 311.91/312.05 c restart after 12801 decisions 321.51/321.69 c nbDecision=13000 #constraints=12538 351.29/351.44 c nbDecision=13500 #constraints=13040 378.98/379.17 c nbDecision=14000 #constraints=13541 406.58/406.71 c nbDecision=14500 #constraints=14040 439.67/439.85 c nbDecision=15000 #constraints=14539 470.67/470.84 c nbDecision=15500 #constraints=15039 503.86/504.01 c nbDecision=16000 #constraints=15538 533.25/533.49 c nbDecision=16500 #constraints=16039 562.53/562.74 c nbDecision=17000 #constraints=16540 600.33/600.59 c nbDecision=17500 #constraints=17038 641.11/641.35 c nbDecision=18000 #constraints=17539 675.30/675.52 c nbDecision=18500 #constraints=18039 720.39/720.70 c nbDecision=19000 #constraints=18539 761.88/762.13 c nbDecision=19500 #constraints=19041 805.87/806.18 c nbDecision=20000 #constraints=19539 845.86/846.17 c nbDecision=20500 #constraints=20042 883.75/884.02 c nbDecision=21000 #constraints=20541 919.94/920.26 c nbDecision=21500 #constraints=21040 971.42/971.76 c nbDecision=22000 #constraints=21539 1022.51/1022.89 c nbDecision=22500 #constraints=22039 1074.59/1074.90 c nbDecision=23000 #constraints=22541 1121.59/1121.99 c nbDecision=23500 #constraints=23040 1167.37/1167.73 c nbDecision=24000 #constraints=23539 1220.66/1221.08 c nbDecision=24500 #constraints=24039 1275.74/1276.13 c nbDecision=25000 #constraints=24539 1328.52/1328.94 c nbDecision=25500 #constraints=25040 1340.62/1341.03 c restart after 25601 decisions 1392.51/1392.95 c nbDecision=26000 #constraints=25481 1461.79/1462.24 c nbDecision=26500 #constraints=25981 1528.97/1529.46 c nbDecision=27000 #constraints=26479 1593.15/1593.69 c nbDecision=27500 #constraints=26980 1662.74/1663.29 c nbDecision=28000 #constraints=27479 1728.52/1729.09 c nbDecision=28500 #constraints=27979 1797.30/1797.83 c nbDecision=29000 #constraints=28479 1800.00/1800.50 Received signal 15 1800.30/1800.80 1800.30/1800.80 s SATISFIABLE 1800.30/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.30/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.30/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.30/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 -x105 1800.30/1800.80 v -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 x119 x120 -x121 x122 x123 x124 x125 x126 x127 -x128 1800.30/1800.80 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.30/1800.80 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 x159 x160 x161 x162 -x163 x164 x165 x166 x167 x168 x169 x170 -x171 -x172 1800.30/1800.80 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1800.30/1800.80 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 1800.30/1800.80 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.30/1800.80 1800.30/1800.80 c user time= 1800.05 s 1800.30/1800.80 c system time= 0.264959 s 1800.30/1800.80 c wall clock time=1800.81
OK 24
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-357022-1176851949 -o ROOT/results/node61/solver-357022-1176851949 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357022-1176851949/instance-357022-1176851949.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.91 0.95 0.95 3/64 12460 /proc/meminfo: memFree=1801848/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=1468 CPUtime=0 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 97158544 1503232 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 367 176 138 317 0 46 0 [startup+0.0421569 s] /proc/loadavg: 0.91 0.95 0.95 3/64 12460 /proc/meminfo: memFree=1801848/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=1732 CPUtime=0.04 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 237 0 0 0 4 0 0 0 18 0 1 0 97158544 1773568 219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 433 219 139 317 0 112 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1732 [startup+0.101162 s] /proc/loadavg: 0.91 0.95 0.95 3/64 12460 /proc/meminfo: memFree=1801848/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=1996 CPUtime=0.09 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 305 0 0 0 9 0 0 0 18 0 1 0 97158544 2043904 287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 499 287 139 317 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1996 [startup+0.301181 s] /proc/loadavg: 0.91 0.95 0.95 3/64 12460 /proc/meminfo: memFree=1801848/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=2780 CPUtime=0.29 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 511 0 0 0 29 0 0 0 19 0 1 0 97158544 2846720 493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 695 493 139 317 0 374 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2780 [startup+0.701219 s] /proc/loadavg: 0.91 0.95 0.95 3/64 12460 /proc/meminfo: memFree=1801848/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=4112 CPUtime=0.69 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 840 0 0 0 69 0 0 0 22 0 1 0 97158544 4210688 822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 1028 822 139 317 0 707 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4112 [startup+1.5013 s] /proc/loadavg: 0.91 0.95 0.95 2/65 12461 /proc/meminfo: memFree=1798384/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=5952 CPUtime=1.49 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 1300 0 0 0 149 0 0 0 25 0 1 0 97158544 6094848 1282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 1488 1282 139 317 0 1167 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5952 [startup+3.10145 s] /proc/loadavg: 0.91 0.95 0.95 2/65 12461 /proc/meminfo: memFree=1795952/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=8352 CPUtime=3.09 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 1905 0 0 0 309 0 0 0 25 0 1 0 97158544 8552448 1887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 2088 1887 139 317 0 1767 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8352 [startup+6.30175 s] /proc/loadavg: 0.92 0.95 0.95 2/65 12461 /proc/meminfo: memFree=1792432/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=11772 CPUtime=6.29 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 2654 0 0 0 628 1 0 0 25 0 1 0 97158544 12054528 2636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 2943 2636 139 317 0 2622 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11772 [startup+12.7014 s] /proc/loadavg: 0.93 0.95 0.95 2/65 12461 /proc/meminfo: memFree=1788416/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=14932 CPUtime=12.68 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 3486 0 0 0 1267 1 0 0 25 0 1 0 97158544 15290368 3468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718453 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 3733 3468 139 317 0 3412 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14932 [startup+25.5016 s] /proc/loadavg: 0.94 0.96 0.95 2/65 12461 /proc/meminfo: memFree=1784512/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=18616 CPUtime=25.49 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 4433 0 0 0 2546 3 0 0 25 0 1 0 97158544 19062784 4415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 4654 4415 139 317 0 4333 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18616 [startup+51.102 s] /proc/loadavg: 0.96 0.96 0.95 2/65 12461 /proc/meminfo: memFree=1777600/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=26436 CPUtime=51.07 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 6167 0 0 0 5104 3 0 0 25 0 1 0 97158544 27070464 6149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563469 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 6609 6149 139 317 0 6288 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26436 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.95 2/65 12461 /proc/meminfo: memFree=1769792/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=33772 CPUtime=102.26 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 8082 0 0 0 10221 5 0 0 25 0 1 0 97158544 34582528 8064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 8443 8064 139 317 0 8122 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33772 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12461 /proc/meminfo: memFree=1762816/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=41500 CPUtime=162.25 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 9889 0 0 0 16218 7 0 0 25 0 1 0 97158544 42496000 9814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 10375 9814 139 317 0 10054 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 41500 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12461 /proc/meminfo: memFree=1755968/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=49140 CPUtime=222.23 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 11580 0 0 0 22215 8 0 0 25 0 1 0 97158544 50319360 11505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 12285 11505 139 317 0 11964 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49140 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12461 /proc/meminfo: memFree=1750720/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=54332 CPUtime=282.21 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 12935 0 0 0 28212 9 0 0 25 0 1 0 97158544 55635968 12860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563315 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 13583 12860 170 317 0 13262 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 54332 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12461 /proc/meminfo: memFree=1745280/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=59696 CPUtime=342.19 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 14282 0 0 0 34209 10 0 0 25 0 1 0 97158544 61128704 14207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564040 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 14924 14207 170 317 0 14603 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 59696 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12461 /proc/meminfo: memFree=1740928/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=63916 CPUtime=402.18 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 15387 0 0 0 40207 11 0 0 25 0 1 0 97158544 65449984 15312 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 15979 15312 170 317 0 15658 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 63916 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12461 /proc/meminfo: memFree=1736512/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=68548 CPUtime=462.17 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 16465 0 0 0 46205 12 0 0 25 0 1 0 97158544 70193152 16390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 17137 16390 170 317 0 16816 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 68548 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12461 /proc/meminfo: memFree=1732544/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=72344 CPUtime=522.15 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 17492 0 0 0 52202 13 0 0 25 0 1 0 97158544 74080256 17417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 18086 17417 170 317 0 17765 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 72344 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12461 /proc/meminfo: memFree=1728064/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=78644 CPUtime=582.14 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 19001 0 0 0 58200 14 0 0 25 0 1 0 97158544 80531456 18483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 19661 18483 170 317 0 19340 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 78644 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1725184/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=81516 CPUtime=642.12 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 19766 0 0 0 64197 15 0 0 25 0 1 0 97158544 83472384 19215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 20379 19215 170 317 0 20058 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 81516 ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1703808/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=105260 CPUtime=1062 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 25942 0 0 0 106179 21 0 0 25 0 1 0 97158544 107786240 24533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 26315 24533 170 317 0 25994 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 105260 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1700992/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=107724 CPUtime=1121.99 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 26667 0 0 0 112177 22 0 0 25 0 1 0 97158544 110309376 25225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 26931 25225 170 317 0 26610 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 107724 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1698368/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=110480 CPUtime=1181.96 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 27432 0 0 0 118174 22 0 0 25 0 1 0 97158544 113131520 25891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 27620 25891 170 317 0 27299 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 110480 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1696000/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=112440 CPUtime=1241.95 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 28005 0 0 0 124172 23 0 0 25 0 1 0 97158544 115138560 26464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 28110 26464 170 317 0 27789 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 112440 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1693696/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=114400 CPUtime=1301.94 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 28573 0 0 0 130171 23 0 0 25 0 1 0 97158544 117145600 27032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 28600 27032 170 317 0 28279 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 114400 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1691456/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=116488 CPUtime=1361.91 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 29151 0 0 0 136168 23 0 0 25 0 1 0 97158544 119283712 27577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 29122 27577 170 317 0 28801 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 116488 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1690048/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=117924 CPUtime=1421.91 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 29521 0 0 0 142167 24 0 0 25 0 1 0 97158544 120754176 27947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 29481 27947 170 317 0 29160 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 117924 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1688256/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=119508 CPUtime=1481.89 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 29971 0 0 0 148165 24 0 0 25 0 1 0 97158544 122376192 28397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 29877 28397 170 317 0 29556 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 119508 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1686400/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=121096 CPUtime=1541.86 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 30428 0 0 0 154162 24 0 0 25 0 1 0 97158544 124002304 28854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 30274 28854 170 317 0 29953 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 121096 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1684416/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=122792 CPUtime=1601.86 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 30909 0 0 0 160161 25 0 0 25 0 1 0 97158544 125739008 29335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 30698 29335 170 317 0 30377 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 122792 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1682688/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=124384 CPUtime=1661.83 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 31345 0 0 0 166158 25 0 0 25 0 1 0 97158544 127369216 29771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 31096 29771 170 317 0 30775 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 124384 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1680768/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=126080 CPUtime=1721.82 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 31827 0 0 0 172156 26 0 0 25 0 1 0 97158544 129105920 30253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 31520 30253 170 317 0 31199 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 126080 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1678912/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=127804 CPUtime=1781.81 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 32298 0 0 0 178155 26 0 0 25 0 1 0 97158544 130871296 30691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563464 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 31951 30691 170 317 0 31630 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 127804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.95 2/65 12463 /proc/meminfo: memFree=1678464/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=128196 CPUtime=1800 /proc/12460/stat : 12460 (oree) R 12458 12460 11876 0 -1 4194304 32424 0 0 0 179974 26 0 0 25 0 1 0 97158544 131272704 30817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12460/statm: 32049 30817 170 317 0 31728 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 128196 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.95 2/66 12464 /proc/meminfo: memFree=1678456/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=0 CPUtime=1800.33 /proc/12460/stat : 12460 (oree) D 12458 12460 11876 0 -1 4194308 32442 0 0 0 180005 28 0 0 25 0 1 0 97158544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0 /proc/12460/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 0 [startup+1801.81 s] /proc/loadavg: 0.99 0.97 0.95 1/65 12464 /proc/meminfo: memFree=1801152/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=0 CPUtime=1800.33 /proc/12460/stat : 12460 (oree) D 12458 12460 11876 0 -1 4194308 32442 0 0 0 180005 28 0 0 25 0 1 0 97158544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0 /proc/12460/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 0 [startup+1802 s] /proc/loadavg: 0.99 0.97 0.95 1/65 12464 /proc/meminfo: memFree=1801152/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=0 CPUtime=1800.33 /proc/12460/stat : 12460 (oree) D 12458 12460 11876 0 -1 4194308 32442 0 0 0 180005 28 0 0 25 0 1 0 97158544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0 /proc/12460/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 0 [startup+1802.1 s] /proc/loadavg: 0.99 0.97 0.95 1/65 12464 /proc/meminfo: memFree=1801152/2055920 swapFree=4181928/4192956 [pid=12460] ppid=12458 vsize=0 CPUtime=1800.33 /proc/12460/stat : 12460 (oree) D 12458 12460 11876 0 -1 4194308 32442 0 0 0 180005 28 0 0 25 0 1 0 97158544 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0 /proc/12460/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1802.19 CPU time (s): 1800.34 CPU user time (s): 1800.06 CPU system time (s): 0.284956 CPU usage (%): 99.8972 Max. virtual memory (cumulated for all children) (KiB): 128196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 system time used= 0.284956 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32442 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= 4284 runsolver used 1.39179 second user time and 3.55346 second system time The end
Begin job on node61 on Tue Apr 17 23:19:09 UTC 2007 IDJOB= 357022 IDBENCH= 1786 IDSOLVER= 172 FILE ID= node61/357022-1176851949 PBS_JOBID= 4590191 Free space on /tmp= 66510 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb COMMAND LINE= oree /tmp/evaluation/357022-1176851949/instance-357022-1176851949.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-357022-1176851949 -o ROOT/results/node61/solver-357022-1176851949 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357022-1176851949/instance-357022-1176851949.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 9a8d1e3e59dfd2cd811494ddb4a3c92a RANDOM SEED= 678681058 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1802256 kB Buffers: 20948 kB Cached: 191452 kB SwapCached: 5336 kB Active: 105272 kB Inactive: 119220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1802256 kB SwapTotal: 4192956 kB SwapFree: 4181928 kB Dirty: 1300 kB Writeback: 0 kB Mapped: 15400 kB Slab: 15252 kB Committed_AS: 779572 kB PageTables: 1388 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= 66510 MiB End job on node61 on Tue Apr 17 23:49:14 UTC 2007