Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.5 | 1801.27 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb |
MD5SUM | a5c62cef1e86c64304fd5ef232ab5991 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 107808 |
Total number of constraints | 3904 |
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 | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 348966092800 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 299074813804544 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 348966092800 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 299074813804544 |
Number of bits of the biggest sum of numbers | 49 |
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... 1.10/1.15 c ...done 1.10/1.15 c #vars=107808 #constraints=5185 hasObjective=yes 1.59/1.66 c res. mode=mod 1.59/1.66 c VSIDS like heuristics 1.59/1.66 c complete search running 2.39/2.43 c restart after 401 decisions 2.49/2.59 c nbDecision=500 #constraints=5185 2.99/3.06 c restart after 801 decisions 3.30/3.38 c nbDecision=1000 #constraints=5185 4.09/4.17 c nbDecision=1500 #constraints=5185 4.30/4.33 c restart after 1601 decisions 4.89/4.96 c nbDecision=2000 #constraints=5185 5.69/5.74 c nbDecision=2500 #constraints=5185 6.50/6.51 c nbDecision=3000 #constraints=5185 6.79/6.83 c restart after 3201 decisions 7.29/7.30 c nbDecision=3500 #constraints=5185 7.99/8.08 c nbDecision=4000 #constraints=5185 8.79/8.86 c nbDecision=4500 #constraints=5185 9.59/9.64 c nbDecision=5000 #constraints=5185 10.39/10.41 c nbDecision=5500 #constraints=5185 11.09/11.18 c nbDecision=6000 #constraints=5185 11.69/11.79 c restart after 6401 decisions 11.89/11.96 c nbDecision=6500 #constraints=5185 12.69/12.74 c nbDecision=7000 #constraints=5185 13.49/13.52 c nbDecision=7500 #constraints=5185 14.19/14.29 c nbDecision=8000 #constraints=5185 14.99/15.07 c nbDecision=8500 #constraints=5185 15.79/15.85 c nbDecision=9000 #constraints=5185 16.59/16.63 c nbDecision=9500 #constraints=5185 17.39/17.40 c nbDecision=10000 #constraints=5185 18.09/18.17 c nbDecision=10500 #constraints=5185 18.88/18.93 c nbDecision=11000 #constraints=5185 19.58/19.69 c nbDecision=11500 #constraints=5185 20.38/20.45 c nbDecision=12000 #constraints=5185 21.18/21.21 c nbDecision=12500 #constraints=5185 21.58/21.66 c restart after 12801 decisions 21.89/21.99 c nbDecision=13000 #constraints=5185 22.68/22.78 c nbDecision=13500 #constraints=5185 23.48/23.56 c nbDecision=14000 #constraints=5185 24.28/24.35 c nbDecision=14500 #constraints=5185 25.08/25.12 c nbDecision=15000 #constraints=5185 25.78/25.89 c nbDecision=15500 #constraints=5185 26.58/26.65 c nbDecision=16000 #constraints=5185 27.38/27.42 c nbDecision=16500 #constraints=5185 28.08/28.18 c nbDecision=17000 #constraints=5185 28.88/28.94 c nbDecision=17500 #constraints=5185 29.58/29.68 c nbDecision=18000 #constraints=5185 30.38/30.43 c nbDecision=18500 #constraints=5185 31.08/31.18 c nbDecision=19000 #constraints=5185 31.88/31.92 c nbDecision=19500 #constraints=5185 32.58/32.66 c nbDecision=20000 #constraints=5185 33.38/33.40 c nbDecision=20500 #constraints=5185 34.08/34.14 c nbDecision=21000 #constraints=5185 34.78/34.88 c nbDecision=21500 #constraints=5185 35.58/35.62 c nbDecision=22000 #constraints=5185 36.28/36.35 c nbDecision=22500 #constraints=5185 36.98/37.08 c nbDecision=23000 #constraints=5185 37.78/37.81 c nbDecision=23500 #constraints=5185 38.48/38.54 c nbDecision=24000 #constraints=5185 39.18/39.26 c nbDecision=24500 #constraints=5185 39.87/39.98 c nbDecision=25000 #constraints=5185 40.58/40.69 c nbDecision=25500 #constraints=5185 40.77/40.84 c restart after 25601 decisions 41.37/41.50 c nbDecision=26000 #constraints=5185 42.17/42.28 c nbDecision=26500 #constraints=5185 42.97/43.07 c nbDecision=27000 #constraints=5185 43.77/43.85 c nbDecision=27500 #constraints=5185 44.57/44.62 c nbDecision=28000 #constraints=5185 45.27/45.39 c nbDecision=28500 #constraints=5185 46.08/46.16 c nbDecision=29000 #constraints=5185 46.87/46.92 c nbDecision=29500 #constraints=5185 47.57/47.68 c nbDecision=30000 #constraints=5185 48.38/48.43 c nbDecision=30500 #constraints=5185 49.07/49.18 c nbDecision=31000 #constraints=5185 49.87/49.93 c nbDecision=31500 #constraints=5185 50.58/50.68 c nbDecision=32000 #constraints=5185 51.37/51.43 c nbDecision=32500 #constraints=5185 52.07/52.17 c nbDecision=33000 #constraints=5185 52.87/52.91 c nbDecision=33500 #constraints=5185 53.57/53.64 c nbDecision=34000 #constraints=5185 54.27/54.38 c nbDecision=34500 #constraints=5185 55.07/55.11 c nbDecision=35000 #constraints=5185 55.77/55.85 c nbDecision=35500 #constraints=5185 56.47/56.58 c nbDecision=36000 #constraints=5185 57.27/57.30 c nbDecision=36500 #constraints=5185 57.97/58.03 c nbDecision=37000 #constraints=5185 58.67/58.75 c nbDecision=37500 #constraints=5185 59.37/59.47 c nbDecision=38000 #constraints=5185 60.06/60.18 c nbDecision=38500 #constraints=5185 60.86/60.90 c nbDecision=39000 #constraints=5185 61.57/61.61 c nbDecision=39500 #constraints=5185 62.26/62.32 c nbDecision=40000 #constraints=5185 62.96/63.02 c nbDecision=40500 #constraints=5185 63.67/63.72 c nbDecision=41000 #constraints=5187 64.36/64.42 c nbDecision=41500 #constraints=5188 65.06/65.12 c nbDecision=42000 #constraints=5192 65.76/65.81 c nbDecision=42500 #constraints=5197 66.36/66.50 c nbDecision=43000 #constraints=5197 67.16/67.20 c nbDecision=43500 #constraints=5206 67.76/67.88 c nbDecision=44000 #constraints=5209 68.46/68.55 c nbDecision=44500 #constraints=5211 69.17/69.23 c nbDecision=45000 #constraints=5216 69.87/69.91 c nbDecision=45500 #constraints=5223 73.06/73.13 c nbDecision=46000 #constraints=5648 77.87/77.97 c nbDecision=46500 #constraints=6152 83.76/83.87 c nbDecision=47000 #constraints=6650 90.96/91.10 c nbDecision=47500 #constraints=7152 99.85/99.96 c nbDecision=48000 #constraints=7646 109.96/110.02 c nbDecision=48500 #constraints=8147 121.35/121.46 c nbDecision=49000 #constraints=8650 134.15/134.21 c nbDecision=49500 #constraints=9150 147.84/147.99 c nbDecision=50000 #constraints=9646 164.73/164.86 c nbDecision=50500 #constraints=10147 182.43/182.54 c nbDecision=51000 #constraints=10646 189.42/189.56 c restart after 51201 decisions 190.82/190.90 c nbDecision=51500 #constraints=10847 191.52/191.68 c nbDecision=52000 #constraints=10847 192.33/192.46 c nbDecision=52500 #constraints=10847 193.12/193.24 c nbDecision=53000 #constraints=10847 193.92/194.01 c nbDecision=53500 #constraints=10847 194.63/194.78 c nbDecision=54000 #constraints=10847 195.42/195.56 c nbDecision=54500 #constraints=10847 196.22/196.33 c nbDecision=55000 #constraints=10847 196.92/197.09 c nbDecision=55500 #constraints=10847 197.72/197.86 c nbDecision=56000 #constraints=10847 198.52/198.63 c nbDecision=56500 #constraints=10847 199.22/199.39 c nbDecision=57000 #constraints=10847 200.02/200.15 c nbDecision=57500 #constraints=10847 200.82/200.90 c nbDecision=58000 #constraints=10847 201.52/201.66 c nbDecision=58500 #constraints=10847 202.32/202.41 c nbDecision=59000 #constraints=10847 203.02/203.16 c nbDecision=59500 #constraints=10847 203.82/203.91 c nbDecision=60000 #constraints=10847 204.52/204.64 c nbDecision=60500 #constraints=10847 205.22/205.37 c nbDecision=61000 #constraints=10847 205.92/206.09 c nbDecision=61500 #constraints=10847 206.72/206.82 c nbDecision=62000 #constraints=10847 207.42/207.55 c nbDecision=62500 #constraints=10847 208.12/208.27 c nbDecision=63000 #constraints=10847 209.02/209.13 c nbDecision=63500 #constraints=10847 209.72/209.86 c nbDecision=64000 #constraints=10847 210.42/210.57 c nbDecision=64500 #constraints=10847 211.22/211.31 c nbDecision=65000 #constraints=10847 211.92/212.02 c nbDecision=65500 #constraints=10847 212.62/212.73 c nbDecision=66000 #constraints=10847 213.32/213.43 c nbDecision=66500 #constraints=10847 214.01/214.13 c nbDecision=67000 #constraints=10847 214.71/214.84 c nbDecision=67500 #constraints=10847 215.42/215.57 c nbDecision=68000 #constraints=10847 216.21/216.32 c nbDecision=68500 #constraints=10847 216.91/217.06 c nbDecision=69000 #constraints=10847 217.62/217.80 c nbDecision=69500 #constraints=10847 218.31/218.49 c nbDecision=70000 #constraints=10847 219.11/219.24 c nbDecision=70500 #constraints=10847 219.82/219.98 c nbDecision=71000 #constraints=10847 235.01/235.14 c nbDecision=71500 #constraints=11216 255.30/255.47 c nbDecision=72000 #constraints=11717 277.39/277.55 c nbDecision=72500 #constraints=12218 302.09/302.25 c nbDecision=73000 #constraints=12721 326.48/326.64 c nbDecision=73500 #constraints=13216 353.56/353.72 c nbDecision=74000 #constraints=13714 381.45/381.70 c nbDecision=74500 #constraints=14216 411.05/411.22 c nbDecision=75000 #constraints=14717 442.03/442.21 c nbDecision=75500 #constraints=15218 475.82/476.05 c nbDecision=76000 #constraints=15704 514.61/514.84 c nbDecision=76500 #constraints=16207 552.29/552.54 c nbDecision=77000 #constraints=16710 592.37/592.68 c nbDecision=77500 #constraints=17212 633.06/633.33 c nbDecision=78000 #constraints=17709 675.75/676.08 c nbDecision=78500 #constraints=18209 719.73/720.06 c nbDecision=79000 #constraints=18708 766.21/766.51 c nbDecision=79500 #constraints=19207 813.79/814.13 c nbDecision=80000 #constraints=19709 858.69/859.00 c nbDecision=80500 #constraints=20207 910.87/911.35 c nbDecision=81000 #constraints=20707 964.24/964.70 c nbDecision=81500 #constraints=21210 1014.62/1015.12 c nbDecision=82000 #constraints=21708 1072.00/1072.57 c nbDecision=82500 #constraints=22211 1126.88/1127.44 c nbDecision=83000 #constraints=22708 1182.86/1183.49 c nbDecision=83500 #constraints=23206 1240.84/1241.45 c nbDecision=84000 #constraints=23711 1299.02/1299.67 c nbDecision=84500 #constraints=24206 1361.29/1361.90 c nbDecision=85000 #constraints=24711 1423.77/1424.45 c nbDecision=85500 #constraints=25207 1501.44/1502.15 c nbDecision=86000 #constraints=25708 1574.71/1575.41 c nbDecision=86500 #constraints=26201 1651.99/1652.79 c nbDecision=87000 #constraints=26707 1726.66/1727.49 c nbDecision=87500 #constraints=27206 1800.04/1800.80 Received signal 15 1800.33/1801.16 1800.33/1801.16 s UNKNOWN 1800.33/1801.16 1800.33/1801.16 c user time= 1799.67 s 1800.33/1801.16 c system time= 0.735888 s 1800.33/1801.16 c wall clock time=1801.17
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-357308-1176993984 -o ROOT/results/node46/solver-357308-1176993984 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357308-1176993984/instance-357308-1176993984.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.99 0.97 0.91 3/78 24619 /proc/meminfo: memFree=1591800/2055920 swapFree=4115448/4192956 [pid=24619] ppid=24617 vsize=1468 CPUtime=0 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 54081772 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134569752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 367 161 127 317 0 46 0 [startup+0.0315771 s] /proc/loadavg: 0.99 0.97 0.91 3/78 24619 /proc/meminfo: memFree=1591800/2055920 swapFree=4115448/4192956 [pid=24619] ppid=24617 vsize=1880 CPUtime=0.02 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 303 0 0 0 2 0 0 0 18 0 1 0 54081772 1925120 252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 470 252 127 317 0 149 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1880 [startup+0.101592 s] /proc/loadavg: 0.99 0.97 0.91 3/78 24619 /proc/meminfo: memFree=1591800/2055920 swapFree=4115448/4192956 [pid=24619] ppid=24617 vsize=3440 CPUtime=0.09 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 791 0 0 0 9 0 0 0 18 0 1 0 54081772 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 860 546 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301627 s] /proc/loadavg: 0.99 0.97 0.91 3/78 24619 /proc/meminfo: memFree=1591800/2055920 swapFree=4115448/4192956 [pid=24619] ppid=24617 vsize=5232 CPUtime=0.29 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 1231 0 0 0 29 0 0 0 20 0 1 0 54081772 5357568 986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 1308 986 131 317 0 987 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5232 [startup+0.701701 s] /proc/loadavg: 0.99 0.97 0.91 3/78 24619 /proc/meminfo: memFree=1591800/2055920 swapFree=4115448/4192956 [pid=24619] ppid=24617 vsize=13020 CPUtime=0.69 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 3176 0 0 0 68 1 0 0 24 0 1 0 54081772 13332480 2931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 3255 2932 131 317 0 2934 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13020 [startup+1.50185 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1575536/2055920 swapFree=4115448/4192956 [pid=24619] ppid=24617 vsize=32456 CPUtime=1.49 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 8051 0 0 0 145 4 0 0 25 0 1 0 54081772 33234944 7806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 8114 7806 137 317 0 7793 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32456 [startup+3.10114 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1559344/2055920 swapFree=4115448/4192956 [pid=24619] ppid=24617 vsize=34040 CPUtime=3.09 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 8435 0 0 0 305 4 0 0 25 0 1 0 54081772 34856960 8190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 8510 8190 138 317 0 8189 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34040 [startup+6.30174 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1559344/2055920 swapFree=4115448/4192956 [pid=24619] ppid=24617 vsize=34040 CPUtime=6.29 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 8437 0 0 0 625 4 0 0 25 0 1 0 54081772 34856960 8192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 8510 8192 138 317 0 8189 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34040 [startup+12.7019 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1559344/2055920 swapFree=4115448/4192956 [pid=24619] ppid=24617 vsize=34040 CPUtime=12.69 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 8441 0 0 0 1265 4 0 0 25 0 1 0 54081772 34856960 8196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 8510 8196 138 317 0 8189 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34040 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1559408/2055920 swapFree=4115512/4192956 [pid=24619] ppid=24617 vsize=34172 CPUtime=25.48 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 8450 0 0 0 2544 4 0 0 25 0 1 0 54081772 34992128 8205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 8543 8205 138 317 0 8222 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34172 [startup+51.102 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1559472/2055920 swapFree=4115512/4192956 [pid=24619] ppid=24617 vsize=34172 CPUtime=51.07 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 8465 0 0 0 5103 4 0 0 25 0 1 0 54081772 34992128 8220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 8543 8220 138 317 0 8222 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 34172 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1512880/2055920 swapFree=4115512/4192956 [pid=24619] ppid=24617 vsize=82368 CPUtime=102.26 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 20151 0 0 0 10215 11 0 0 25 0 1 0 54081772 84344832 19870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 20592 19870 170 317 0 20271 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 82368 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1470576/2055920 swapFree=4115576/4192956 [pid=24619] ppid=24617 vsize=127352 CPUtime=162.23 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 30801 0 0 0 16207 16 0 0 25 0 1 0 54081772 130408448 30520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563391 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 31838 30520 170 317 0 31517 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 127352 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1457264/2055920 swapFree=4115576/4192956 [pid=24619] ppid=24617 vsize=139660 CPUtime=222.21 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 34090 0 0 0 22203 18 0 0 25 0 1 0 54081772 143011840 33738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 34915 33738 170 317 0 34594 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 139660 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1434096/2055920 swapFree=4115576/4192956 [pid=24619] ppid=24617 vsize=160796 CPUtime=282.19 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 39904 0 0 0 28196 23 0 0 25 0 1 0 54081772 164655104 39552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 40199 39552 170 317 0 39878 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 160796 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1412976/2055920 swapFree=4115640/4192956 [pid=24619] ppid=24617 vsize=183852 CPUtime=342.17 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 45158 0 0 0 34191 26 0 0 25 0 1 0 54081772 188264448 44806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 45963 44806 170 317 0 45642 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 183852 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1389424/2055920 swapFree=4115640/4192956 [pid=24619] ppid=24617 vsize=214280 CPUtime=402.14 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 51075 0 0 0 40185 29 0 0 25 0 1 0 54081772 219422720 50723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 53570 50723 170 317 0 53249 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 214280 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1372848/2055920 swapFree=4115704/4192956 [pid=24619] ppid=24617 vsize=230480 CPUtime=462.12 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 55172 0 0 0 46180 32 0 0 25 0 1 0 54081772 236011520 54820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 57620 54820 170 317 0 57299 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 230480 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1360240/2055920 swapFree=4115704/4192956 [pid=24619] ppid=24617 vsize=242104 CPUtime=522.1 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 58348 0 0 0 52176 34 0 0 25 0 1 0 54081772 247914496 57996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 60526 57996 170 317 0 60205 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 242104 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1347504/2055920 swapFree=4115704/4192956 [pid=24619] ppid=24617 vsize=253532 CPUtime=582.08 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 61496 0 0 0 58172 36 0 0 25 0 1 0 54081772 259616768 61144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 63383 61144 170 317 0 63062 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 253532 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24620 /proc/meminfo: memFree=1335344/2055920 swapFree=4115768/4192956 [pid=24619] ppid=24617 vsize=264544 CPUtime=642.06 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 64511 0 0 0 64168 38 0 0 25 0 1 0 54081772 270893056 64159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 66136 64159 170 317 0 65815 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 264544 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24819 /proc/meminfo: memFree=1283504/2055920 swapFree=4115896/4192956 [pid=24619] ppid=24617 vsize=312564 CPUtime=941.84 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 77588 0 0 0 94137 47 0 0 25 0 1 0 54081772 320065536 77095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 78141 77095 170 317 0 77820 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 312564 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24819 /proc/meminfo: memFree=1274096/2055920 swapFree=4115896/4192956 [pid=24619] ppid=24617 vsize=321440 CPUtime=1001.82 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 79918 0 0 0 100133 49 0 0 25 0 1 0 54081772 329154560 79425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 80360 79425 170 317 0 80039 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 321440 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24819 /proc/meminfo: memFree=1259184/2055920 swapFree=4115960/4192956 [pid=24619] ppid=24617 vsize=359084 CPUtime=1061.8 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 87756 0 0 0 106127 53 0 0 25 0 1 0 54081772 367702016 83204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 89771 83204 170 317 0 89450 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 359084 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24819 /proc/meminfo: memFree=1248048/2055920 swapFree=4115960/4192956 [pid=24619] ppid=24617 vsize=376308 CPUtime=1121.78 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 91756 0 0 0 112123 55 0 0 25 0 1 0 54081772 385339392 85917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 94077 85917 170 317 0 93756 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 376308 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24819 /proc/meminfo: memFree=1239088/2055920 swapFree=4115960/4192956 [pid=24619] ppid=24617 vsize=384268 CPUtime=1181.76 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 94006 0 0 0 118120 56 0 0 25 0 1 0 54081772 393490432 88167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 96067 88167 170 317 0 95746 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 384268 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24819 /proc/meminfo: memFree=1230256/2055920 swapFree=4116024/4192956 [pid=24619] ppid=24617 vsize=392004 CPUtime=1241.74 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 96195 0 0 0 124116 58 0 0 25 0 1 0 54081772 401412096 90356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 98001 90356 170 317 0 97680 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 392004 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24819 /proc/meminfo: memFree=1221552/2055920 swapFree=4116024/4192956 [pid=24619] ppid=24617 vsize=399632 CPUtime=1301.72 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 98344 0 0 0 130112 60 0 0 25 0 1 0 54081772 409223168 92505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 99908 92505 170 317 0 99587 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 399632 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24819 /proc/meminfo: memFree=1212848/2055920 swapFree=4116088/4192956 [pid=24619] ppid=24617 vsize=410700 CPUtime=1361.69 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 101111 0 0 0 136107 62 0 0 25 0 1 0 54081772 420556800 94678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 102675 94678 170 317 0 102354 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 410700 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24819 /proc/meminfo: memFree=1204784/2055920 swapFree=4116088/4192956 [pid=24619] ppid=24617 vsize=417856 CPUtime=1421.67 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 103105 0 0 0 142103 64 0 0 25 0 1 0 54081772 427884544 96672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 104464 96672 170 317 0 104143 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 417856 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24819 /proc/meminfo: memFree=1198640/2055920 swapFree=4116088/4192956 [pid=24619] ppid=24617 vsize=423652 CPUtime=1481.65 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 104644 0 0 0 148099 66 0 0 25 0 1 0 54081772 433819648 98211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 105913 98211 170 317 0 105592 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 423652 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24819 /proc/meminfo: memFree=1191728/2055920 swapFree=4116152/4192956 [pid=24619] ppid=24617 vsize=429604 CPUtime=1541.62 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 106379 0 0 0 154095 67 0 0 25 0 1 0 54081772 439914496 99946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 107401 99946 170 317 0 107080 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 429604 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/79 24819 /proc/meminfo: memFree=1185072/2055920 swapFree=4116152/4192956 [pid=24619] ppid=24617 vsize=435312 CPUtime=1601.61 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 108047 0 0 0 160092 69 0 0 25 0 1 0 54081772 445759488 101614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 108828 101614 170 317 0 108507 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 435312 [startup+1662.3 s] /proc/loadavg: 1.06 0.99 0.91 2/79 24819 /proc/meminfo: memFree=1178224/2055920 swapFree=4116216/4192956 [pid=24619] ppid=24617 vsize=441140 CPUtime=1661.58 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 109752 0 0 0 166088 70 0 0 25 0 1 0 54081772 451727360 103319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 110285 103319 170 317 0 109964 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 441140 [startup+1722.3 s] /proc/loadavg: 1.02 0.99 0.91 2/79 24819 /proc/meminfo: memFree=1171952/2055920 swapFree=4116216/4192956 [pid=24619] ppid=24617 vsize=447076 CPUtime=1721.56 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 111325 0 0 0 172085 71 0 0 25 0 1 0 54081772 457805824 104892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 111769 104892 170 317 0 111448 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 447076 [startup+1782.3 s] /proc/loadavg: 1.01 0.99 0.91 2/79 24819 /proc/meminfo: memFree=1165360/2055920 swapFree=4116280/4192956 [pid=24619] ppid=24617 vsize=452620 CPUtime=1781.54 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 112945 0 0 0 178082 72 0 0 25 0 1 0 54081772 463482880 106512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 113155 106512 170 317 0 112834 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 452620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.91 2/79 24819 /proc/meminfo: memFree=1163632/2055920 swapFree=4116280/4192956 [pid=24619] ppid=24617 vsize=454204 CPUtime=1800.04 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 113385 0 0 0 179931 73 0 0 25 0 1 0 54081772 465104896 106952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 113551 106952 170 317 0 113230 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 454204 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: 1.00 0.99 0.91 2/79 24819 /proc/meminfo: memFree=1163632/2055920 swapFree=4116280/4192956 [pid=24619] ppid=24617 vsize=454340 CPUtime=1800.23 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194304 113393 0 0 0 179950 73 0 0 25 0 1 0 54081772 465244160 106960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 113585 106960 170 317 0 113264 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 454340 [startup+1801.2 s] /proc/loadavg: 1.00 0.99 0.91 2/79 24819 /proc/meminfo: memFree=1163632/2055920 swapFree=4116280/4192956 [pid=24619] ppid=24617 vsize=0 CPUtime=1800.43 /proc/24619/stat : 24619 (oree) R 24617 24619 24189 0 -1 4194308 113409 0 0 0 179969 74 0 0 25 0 1 0 54081772 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24619/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.27 CPU time (s): 1800.5 CPU user time (s): 1799.7 CPU system time (s): 0.804877 CPU usage (%): 99.9575 Max. virtual memory (cumulated for all children) (KiB): 454340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.7 system time used= 0.804877 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 113409 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= 36957 runsolver used 1.76873 second user time and 4.80327 second system time The end
Begin job on node46 on Thu Apr 19 14:46:28 UTC 2007 IDJOB= 357308 IDBENCH= 2372 IDSOLVER= 172 FILE ID= node46/357308-1176993984 PBS_JOBID= 4630453 Free space on /tmp= 66079 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb COMMAND LINE= oree /tmp/evaluation/357308-1176993984/instance-357308-1176993984.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-357308-1176993984 -o ROOT/results/node46/solver-357308-1176993984 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357308-1176993984/instance-357308-1176993984.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a5c62cef1e86c64304fd5ef232ab5991 RANDOM SEED= 79225673 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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 : 5931.00 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: 1592208 kB Buffers: 37484 kB Cached: 355652 kB SwapCached: 2964 kB Active: 211708 kB Inactive: 205068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1592208 kB SwapTotal: 4192956 kB SwapFree: 4115448 kB Dirty: 6104 kB Writeback: 0 kB Mapped: 30824 kB Slab: 32328 kB Committed_AS: 1948896 kB PageTables: 1988 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= 66079 MiB End job on node46 on Thu Apr 19 15:16:31 UTC 2007