Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.03 | 1801.59 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scsd6.opb |
MD5SUM | bfb5077d5eeff8f757a286c0037df437 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 40500 |
Total number of constraints | 147 |
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 | 147 |
Minimum length of a constraint | 600 |
Maximum length of a constraint | 1200 |
Number of terms in the objective function | 40500 |
Biggest coefficient in the objective function | 395 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 558134 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 24156 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 558134 |
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.59/0.63 c ...done 0.59/0.63 c #vars=40500 #constraints=295 hasObjective=yes 1.10/1.11 c res. mode=mod 1.10/1.11 c VSIDS like heuristics 1.10/1.11 c complete search running 1.19/1.29 c restart after 401 decisions 1.29/1.34 c nbDecision=500 #constraints=295 1.39/1.48 c restart after 801 decisions 1.49/1.57 c nbDecision=1000 #constraints=295 1.79/1.81 c nbDecision=1500 #constraints=295 1.79/1.85 c restart after 1601 decisions 1.99/2.04 c nbDecision=2000 #constraints=295 2.20/2.27 c nbDecision=2500 #constraints=295 2.49/2.51 c nbDecision=3000 #constraints=295 2.59/2.60 c restart after 3201 decisions 2.69/2.74 c nbDecision=3500 #constraints=295 2.89/2.97 c nbDecision=4000 #constraints=295 3.20/3.21 c nbDecision=4500 #constraints=295 3.39/3.44 c nbDecision=5000 #constraints=295 3.59/3.67 c nbDecision=5500 #constraints=295 3.79/3.90 c nbDecision=6000 #constraints=295 3.99/4.08 c restart after 6401 decisions 4.09/4.13 c nbDecision=6500 #constraints=295 4.30/4.36 c nbDecision=7000 #constraints=295 4.49/4.59 c nbDecision=7500 #constraints=295 4.79/4.82 c nbDecision=8000 #constraints=295 4.99/5.05 c nbDecision=8500 #constraints=295 5.19/5.27 c nbDecision=9000 #constraints=295 5.40/5.50 c nbDecision=9500 #constraints=295 5.69/5.73 c nbDecision=10000 #constraints=295 5.89/5.95 c nbDecision=10500 #constraints=295 6.09/6.16 c nbDecision=11000 #constraints=295 6.29/6.39 c nbDecision=11500 #constraints=295 6.50/6.60 c nbDecision=12000 #constraints=295 6.79/6.81 c nbDecision=12500 #constraints=295 6.89/6.95 c restart after 12801 decisions 6.99/7.05 c nbDecision=13000 #constraints=295 7.19/7.28 c nbDecision=13500 #constraints=295 7.49/7.51 c nbDecision=14000 #constraints=295 7.70/7.74 c nbDecision=14500 #constraints=295 7.89/7.97 c nbDecision=15000 #constraints=295 8.09/8.19 c nbDecision=15500 #constraints=295 8.39/8.42 c nbDecision=16000 #constraints=295 8.59/8.65 c nbDecision=16500 #constraints=295 8.80/8.87 c nbDecision=17000 #constraints=295 8.99/9.09 c nbDecision=17500 #constraints=295 9.29/9.31 c nbDecision=18000 #constraints=295 9.49/9.52 c nbDecision=18500 #constraints=295 9.69/9.74 c nbDecision=19000 #constraints=295 9.90/9.95 c nbDecision=19500 #constraints=295 10.09/10.15 c nbDecision=20000 #constraints=295 10.29/10.36 c nbDecision=20500 #constraints=295 10.49/10.56 c nbDecision=21000 #constraints=295 10.69/10.76 c nbDecision=21500 #constraints=295 10.90/10.97 c nbDecision=22000 #constraints=295 11.09/11.16 c nbDecision=22500 #constraints=295 11.29/11.35 c nbDecision=23000 #constraints=295 11.49/11.54 c nbDecision=23500 #constraints=295 11.69/11.72 c nbDecision=24000 #constraints=295 11.89/11.90 c nbDecision=24500 #constraints=295 12.00/12.09 c nbDecision=25000 #constraints=295 12.19/12.26 c nbDecision=25500 #constraints=295 12.29/12.30 c restart after 25601 decisions 12.49/12.51 c nbDecision=26000 #constraints=295 12.69/12.73 c nbDecision=26500 #constraints=295 12.89/12.96 c nbDecision=27000 #constraints=295 13.09/13.19 c nbDecision=27500 #constraints=295 13.39/13.42 c nbDecision=28000 #constraints=295 13.59/13.65 c nbDecision=28500 #constraints=295 13.79/13.88 c nbDecision=29000 #constraints=295 14.09/14.11 c nbDecision=29500 #constraints=295 14.29/14.33 c nbDecision=30000 #constraints=295 14.49/14.55 c nbDecision=30500 #constraints=295 14.69/14.77 c nbDecision=31000 #constraints=295 14.89/14.99 c nbDecision=31500 #constraints=295 15.19/15.20 c nbDecision=32000 #constraints=295 15.39/15.41 c nbDecision=32500 #constraints=295 15.59/15.62 c nbDecision=33000 #constraints=295 15.79/15.83 c nbDecision=33500 #constraints=295 15.99/16.04 c nbDecision=34000 #constraints=295 16.19/16.24 c nbDecision=34500 #constraints=295 16.39/16.45 c nbDecision=35000 #constraints=295 16.59/16.64 c nbDecision=35500 #constraints=295 16.79/16.84 c nbDecision=36000 #constraints=295 16.99/17.02 c nbDecision=36500 #constraints=295 17.19/17.21 c nbDecision=37000 #constraints=295 17.39/17.40 c nbDecision=37500 #constraints=295 17.49/17.58 c nbDecision=38000 #constraints=295 17.69/17.75 c nbDecision=38500 #constraints=295 17.89/17.93 c nbDecision=39000 #constraints=295 18.09/18.10 c nbDecision=39500 #constraints=295 18.19/18.27 c nbDecision=40000 #constraints=295 18.39/18.44 c nbDecision=40500 #constraints=295 18.49/18.60 c nbDecision=41000 #constraints=295 18.69/18.76 c nbDecision=41500 #constraints=295 18.89/18.92 c nbDecision=42000 #constraints=295 18.99/19.07 c nbDecision=42500 #constraints=295 19.19/19.22 c nbDecision=43000 #constraints=295 19.29/19.37 c nbDecision=43500 #constraints=295 19.49/19.50 c nbDecision=44000 #constraints=295 19.59/19.65 c nbDecision=44500 #constraints=295 19.69/19.78 c nbDecision=45000 #constraints=295 19.88/19.92 c nbDecision=45500 #constraints=295 21.08/21.18 c nbDecision=46000 #constraints=296 21.28/21.31 c nbDecision=46500 #constraints=296 25.59/25.63 c nbDecision=47000 #constraints=608 33.58/33.62 c nbDecision=47500 #constraints=1043 43.58/43.61 c nbDecision=48000 #constraints=1462 54.27/54.34 c nbDecision=48500 #constraints=1832 66.77/66.85 c nbDecision=49000 #constraints=2201 80.47/80.54 c nbDecision=49500 #constraints=2555 102.56/102.69 c nbDecision=50000 #constraints=2950 142.05/142.18 c nbDecision=50500 #constraints=3463 185.55/185.64 c nbDecision=51000 #constraints=3949 201.74/201.82 c restart after 51201 decisions 204.04/204.19 c nbDecision=51500 #constraints=4136 204.34/204.42 c nbDecision=52000 #constraints=4136 204.54/204.65 c nbDecision=52500 #constraints=4136 204.74/204.88 c nbDecision=53000 #constraints=4136 205.04/205.11 c nbDecision=53500 #constraints=4136 205.24/205.34 c nbDecision=54000 #constraints=4136 205.44/205.57 c nbDecision=54500 #constraints=4136 205.64/205.79 c nbDecision=55000 #constraints=4136 205.94/206.02 c nbDecision=55500 #constraints=4136 206.14/206.24 c nbDecision=56000 #constraints=4136 206.34/206.46 c nbDecision=56500 #constraints=4136 206.54/206.67 c nbDecision=57000 #constraints=4136 206.74/206.89 c nbDecision=57500 #constraints=4136 207.04/207.10 c nbDecision=58000 #constraints=4136 207.24/207.31 c nbDecision=58500 #constraints=4136 207.44/207.52 c nbDecision=59000 #constraints=4136 207.64/207.72 c nbDecision=59500 #constraints=4136 207.84/207.92 c nbDecision=60000 #constraints=4136 208.04/208.12 c nbDecision=60500 #constraints=4136 208.24/208.31 c nbDecision=61000 #constraints=4136 208.44/208.50 c nbDecision=61500 #constraints=4136 208.54/208.69 c nbDecision=62000 #constraints=4136 208.74/208.88 c nbDecision=62500 #constraints=4136 208.94/209.06 c nbDecision=63000 #constraints=4136 209.14/209.24 c nbDecision=63500 #constraints=4136 209.34/209.42 c nbDecision=64000 #constraints=4136 209.44/209.60 c nbDecision=64500 #constraints=4136 209.64/209.77 c nbDecision=65000 #constraints=4136 209.84/209.93 c nbDecision=65500 #constraints=4136 210.14/210.25 c nbDecision=66000 #constraints=4136 210.34/210.47 c nbDecision=66500 #constraints=4136 210.64/210.70 c nbDecision=67000 #constraints=4136 210.94/211.04 c nbDecision=67500 #constraints=4136 211.24/211.37 c nbDecision=68000 #constraints=4136 211.64/211.73 c nbDecision=68500 #constraints=4136 212.04/212.11 c nbDecision=69000 #constraints=4136 212.93/213.07 c nbDecision=69500 #constraints=4136 213.13/213.21 c nbDecision=70000 #constraints=4136 213.43/213.56 c nbDecision=70500 #constraints=4136 213.53/213.69 c nbDecision=71000 #constraints=4136 213.93/214.00 c nbDecision=71500 #constraints=4136 214.23/214.33 c nbDecision=72000 #constraints=4136 236.83/236.91 c nbDecision=72500 #constraints=4371 285.72/285.87 c nbDecision=73000 #constraints=4812 337.30/337.43 c nbDecision=73500 #constraints=5284 390.59/390.71 c nbDecision=74000 #constraints=5695 444.68/444.82 c nbDecision=74500 #constraints=6114 500.66/500.88 c nbDecision=75000 #constraints=6542 557.75/557.95 c nbDecision=75500 #constraints=6937 618.73/618.98 c nbDecision=76000 #constraints=7332 672.12/672.30 c nbDecision=76500 #constraints=7628 675.62/675.85 c nbDecision=77000 #constraints=8135 681.12/681.39 c nbDecision=77500 #constraints=8629 688.42/688.65 c nbDecision=78000 #constraints=9127 698.01/698.29 c nbDecision=78500 #constraints=9623 709.61/709.87 c nbDecision=79000 #constraints=10126 723.31/723.52 c nbDecision=79500 #constraints=10615 739.31/739.50 c nbDecision=80000 #constraints=11113 757.30/757.56 c nbDecision=80500 #constraints=11611 777.89/778.11 c nbDecision=81000 #constraints=12094 799.89/800.15 c nbDecision=81500 #constraints=12583 825.18/825.46 c nbDecision=82000 #constraints=13077 852.07/852.40 c nbDecision=82500 #constraints=13566 881.57/881.85 c nbDecision=83000 #constraints=14056 914.46/914.79 c nbDecision=83500 #constraints=14551 946.86/947.14 c nbDecision=84000 #constraints=15030 984.44/984.73 c nbDecision=84500 #constraints=15527 1022.53/1022.83 c nbDecision=85000 #constraints=16020 1063.22/1063.52 c nbDecision=85500 #constraints=16496 1106.41/1106.78 c nbDecision=86000 #constraints=16988 1150.70/1151.08 c nbDecision=86500 #constraints=17463 1196.59/1196.94 c nbDecision=87000 #constraints=17935 1247.38/1247.75 c nbDecision=87500 #constraints=18437 1300.66/1301.01 c nbDecision=88000 #constraints=18933 1353.84/1354.23 c nbDecision=88500 #constraints=19419 1411.75/1412.21 c nbDecision=89000 #constraints=19905 1468.32/1468.81 c nbDecision=89500 #constraints=20387 1529.60/1530.15 c nbDecision=90000 #constraints=20861 1590.49/1591.04 c nbDecision=90500 #constraints=21343 1653.17/1653.79 c nbDecision=91000 #constraints=21804 1720.15/1720.76 c nbDecision=91500 #constraints=22298 1792.73/1793.34 c nbDecision=92000 #constraints=22793 1800.04/1800.61 Received signal 15 1800.84/1801.44 1800.84/1801.44 s UNKNOWN 1800.84/1801.44 1800.84/1801.44 c user time= 1799.82 s 1800.84/1801.44 c system time= 1.06084 s 1800.84/1801.44 c wall clock time=1801.44
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-356959-1176849488 -o ROOT/results/node44/solver-356959-1176849488 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356959-1176849488/instance-356959-1176849488.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.97 3/77 20612 /proc/meminfo: memFree=1675976/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=1620 CPUtime=0 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132860476 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279003 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 405 175 126 317 0 84 0 [startup+0.012208 s] /proc/loadavg: 0.91 0.95 0.97 3/77 20612 /proc/meminfo: memFree=1675976/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=1752 CPUtime=0.01 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 234 0 0 0 1 0 0 0 18 0 1 0 132860476 1794048 216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 438 216 126 317 0 117 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1752 [startup+0.101216 s] /proc/loadavg: 0.91 0.95 0.97 3/77 20612 /proc/meminfo: memFree=1675976/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=3440 CPUtime=0.09 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 802 0 0 0 9 0 0 0 18 0 1 0 132860476 3522560 557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590739 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 860 557 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301236 s] /proc/loadavg: 0.91 0.95 0.97 3/77 20612 /proc/meminfo: memFree=1675976/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=7596 CPUtime=0.29 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 1726 0 0 0 29 0 0 0 19 0 1 0 132860476 7778304 1481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 1899 1482 131 317 0 1578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7596 [startup+0.701277 s] /proc/loadavg: 0.91 0.95 0.97 3/77 20612 /proc/meminfo: memFree=1675976/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=18804 CPUtime=0.7 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 4290 0 0 0 68 2 0 0 23 0 1 0 132860476 19255296 4045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 4701 4045 137 317 0 4380 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 18804 [startup+1.50136 s] /proc/loadavg: 0.91 0.95 0.97 2/78 20613 /proc/meminfo: memFree=1659520/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=21180 CPUtime=1.49 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 4905 0 0 0 147 2 0 0 25 0 1 0 132860476 21688320 4660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 5295 4660 138 317 0 4974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21180 [startup+3.10152 s] /proc/loadavg: 0.92 0.95 0.97 2/78 20613 /proc/meminfo: memFree=1657664/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=21180 CPUtime=3.09 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 4905 0 0 0 307 2 0 0 25 0 1 0 132860476 21688320 4660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 5295 4660 138 317 0 4974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21180 [startup+6.30185 s] /proc/loadavg: 0.92 0.95 0.97 2/78 20613 /proc/meminfo: memFree=1657536/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=21180 CPUtime=6.29 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 4905 0 0 0 627 2 0 0 25 0 1 0 132860476 21688320 4660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 5295 4660 138 317 0 4974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21180 [startup+12.7025 s] /proc/loadavg: 0.93 0.96 0.97 2/78 20613 /proc/meminfo: memFree=1657480/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=21308 CPUtime=12.69 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 4920 0 0 0 1267 2 0 0 25 0 1 0 132860476 21819392 4675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 5327 4675 138 317 0 5006 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21308 [startup+25.5018 s] /proc/loadavg: 0.94 0.96 0.97 2/78 20613 /proc/meminfo: memFree=1643464/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=36140 CPUtime=25.49 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 8587 0 0 0 2545 4 0 0 25 0 1 0 132860476 37007360 8342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 9035 8342 139 317 0 8714 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 36140 [startup+51.1015 s] /proc/loadavg: 0.96 0.96 0.97 2/78 20615 /proc/meminfo: memFree=1589640/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=90840 CPUtime=51.08 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 22045 0 0 0 5100 8 0 0 25 0 1 0 132860476 93020160 21800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 22710 21800 139 317 0 22389 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 90840 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.97 2/78 20615 /proc/meminfo: memFree=1529736/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=155016 CPUtime=102.27 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 36814 0 0 0 10212 15 0 0 25 0 1 0 132860476 158736384 36569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 38754 36569 139 317 0 38433 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 155016 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=1486152/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=199280 CPUtime=162.25 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 47730 0 0 0 16206 19 0 0 25 0 1 0 132860476 204062720 47485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 49820 47485 139 317 0 49499 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 199280 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=1461320/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=224224 CPUtime=222.24 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 53857 0 0 0 22201 23 0 0 25 0 1 0 132860476 229605376 53612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284160 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 56056 53612 139 317 0 55735 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 224224 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=1427144/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=264940 CPUtime=282.22 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 62428 0 0 0 28195 27 0 0 25 0 1 0 132860476 271298560 62183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277199 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 66235 62183 139 317 0 65914 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 264940 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=1388680/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=311336 CPUtime=342.2 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 71975 0 0 0 34189 31 0 0 25 0 1 0 132860476 318808064 71730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 77834 71730 139 317 0 77513 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 311336 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=1365704/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=334516 CPUtime=402.19 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 77835 0 0 0 40184 35 0 0 25 0 1 0 132860476 342544384 77590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 83629 77590 139 317 0 83308 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 334516 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=1340808/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=359776 CPUtime=462.17 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 83913 0 0 0 46179 38 0 0 25 0 1 0 132860476 368410624 83668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 89944 83668 139 317 0 89623 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 359776 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=1316680/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=389020 CPUtime=522.16 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 89962 0 0 0 52175 41 0 0 25 0 1 0 132860476 398356480 89717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 97255 89717 139 317 0 96934 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 389020 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=1297672/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=406700 CPUtime=582.14 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 94672 0 0 0 58171 43 0 0 25 0 1 0 132860476 416460800 94427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 101675 94427 139 317 0 101354 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 406700 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=1278792/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=423976 CPUtime=642.14 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 99358 0 0 0 64168 46 0 0 25 0 1 0 132860476 434151424 99113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 105994 99113 139 317 0 105673 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 423976 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=1041480/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=693068 CPUtime=1002.04 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 158700 0 0 0 100130 74 0 0 25 0 1 0 132860476 709701632 158398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 173267 158398 139 317 0 172946 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 693068 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=1015944/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=727164 CPUtime=1062.02 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 165042 0 0 0 106123 79 0 0 25 0 1 0 132860476 744615936 164740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 181791 164740 139 317 0 181470 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 727164 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=998728/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=746100 CPUtime=1122 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 169427 0 0 0 112119 81 0 0 25 0 1 0 132860476 764006400 169012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 186525 169012 139 317 0 186204 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 746100 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=983368/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=762564 CPUtime=1181.99 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 173299 0 0 0 118115 84 0 0 25 0 1 0 132860476 780865536 172884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 190641 172884 139 317 0 190320 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 762564 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=966920/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=779036 CPUtime=1241.97 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 177358 0 0 0 124111 86 0 0 25 0 1 0 132860476 797732864 176943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 194759 176943 139 317 0 194438 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 779036 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=952904/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=793884 CPUtime=1301.96 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 180840 0 0 0 130107 89 0 0 25 0 1 0 132860476 812937216 180425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 198471 180425 139 317 0 198150 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 793884 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20615 /proc/meminfo: memFree=939976/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=808144 CPUtime=1361.95 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 184085 0 0 0 136103 92 0 0 25 0 1 0 132860476 827539456 183670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 202036 183670 139 317 0 201715 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 808144 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/84 20791 /proc/meminfo: memFree=916808/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=839864 CPUtime=1421.84 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 189527 0 0 0 142090 94 0 0 25 0 1 0 132860476 860020736 189112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 209966 189112 139 317 0 209645 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 839864 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20813 /proc/meminfo: memFree=900680/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=861536 CPUtime=1481.81 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 193854 0 0 0 148085 96 0 0 25 0 1 0 132860476 882212864 193439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 215384 193439 139 317 0 215063 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 861536 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20813 /proc/meminfo: memFree=888584/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=873952 CPUtime=1541.8 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 196852 0 0 0 154082 98 0 0 25 0 1 0 132860476 894926848 196437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 218488 196437 139 317 0 218167 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 873952 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20813 /proc/meminfo: memFree=877256/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=886416 CPUtime=1601.78 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 199746 0 0 0 160078 100 0 0 25 0 1 0 132860476 907689984 199331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 221604 199331 139 317 0 221283 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 886416 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20813 /proc/meminfo: memFree=866312/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=898208 CPUtime=1661.77 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 202448 0 0 0 166075 102 0 0 25 0 1 0 132860476 919764992 202033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 224552 202033 139 317 0 224231 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 898208 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20813 /proc/meminfo: memFree=854344/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=910016 CPUtime=1721.75 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 205439 0 0 0 172072 103 0 0 25 0 1 0 132860476 931856384 205024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 227504 205024 139 317 0 227183 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 910016 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20813 /proc/meminfo: memFree=843848/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=921188 CPUtime=1781.74 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 208038 0 0 0 178069 105 0 0 25 0 1 0 132860476 943296512 207623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 230297 207623 139 317 0 229976 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 921188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20813 /proc/meminfo: memFree=840200/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=924612 CPUtime=1800.04 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 208928 0 0 0 179898 106 0 0 25 0 1 0 132860476 946802688 208513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 231153 208513 139 317 0 230832 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 924612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20813 /proc/meminfo: memFree=840200/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=924612 CPUtime=1800.44 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 208931 0 0 0 179938 106 0 0 25 0 1 0 132860476 946802688 208516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 231153 208516 139 317 0 230832 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (KiB) 924612 [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20813 /proc/meminfo: memFree=840200/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=924612 CPUtime=1800.84 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194304 208943 0 0 0 179978 106 0 0 25 0 1 0 132860476 946802688 208528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 231153 208528 139 317 0 230832 0 Current children cumulated CPU time (s) 1800.84 Current children cumulated vsize (KiB) 924612 [startup+1801.5 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20813 /proc/meminfo: memFree=840200/2055920 swapFree=4143528/4192956 [pid=20612] ppid=20610 vsize=0 CPUtime=1800.93 /proc/20612/stat : 20612 (oree) R 20610 20612 20512 0 -1 4194308 208959 0 0 0 179983 110 0 0 25 0 1 0 132860476 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20612/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.59 CPU time (s): 1801.03 CPU user time (s): 1799.83 CPU system time (s): 1.19682 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 924612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.83 system time used= 1.19682 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 208959 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= 37751 runsolver used 2.06069 second user time and 4.48832 second system time The end
Begin job on node44 on Tue Apr 17 22:38:08 UTC 2007 IDJOB= 356959 IDBENCH= 1691 IDSOLVER= 172 FILE ID= node44/356959-1176849488 PBS_JOBID= 4590218 Free space on /tmp= 66429 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd6.opb COMMAND LINE= oree /tmp/evaluation/356959-1176849488/instance-356959-1176849488.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-356959-1176849488 -o ROOT/results/node44/solver-356959-1176849488 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356959-1176849488/instance-356959-1176849488.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= bfb5077d5eeff8f757a286c0037df437 RANDOM SEED= 422300345 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: 1676384 kB Buffers: 39060 kB Cached: 258660 kB SwapCached: 27456 kB Active: 219472 kB Inactive: 115908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1676384 kB SwapTotal: 4192956 kB SwapFree: 4143528 kB Dirty: 3036 kB Writeback: 0 kB Mapped: 32056 kB Slab: 29696 kB Committed_AS: 430048 kB PageTables: 1736 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= 66429 MiB End job on node44 on Tue Apr 17 23:08:10 UTC 2007