Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.35 | 1801.05 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb |
MD5SUM | 93a0ff34a98f6d4593d65282fbf98be9 |
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 | 21960 |
Total number of constraints | 750 |
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 | 750 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 372 |
Number of terms in the objective function | 11160 |
Biggest coefficient in the objective function | 1295 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 533310 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 533310 |
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.19/0.20 c ...done 0.19/0.20 c #vars=21960 #constraints=1111 hasObjective=yes 0.29/0.30 c res. mode=mod 0.29/0.30 c VSIDS like heuristics 0.29/0.30 c complete search running 0.39/0.47 c restart after 401 decisions 0.49/0.52 c nbDecision=500 #constraints=1113 0.59/0.63 c restart after 801 decisions 0.69/0.72 c nbDecision=1000 #constraints=1114 0.89/0.91 c nbDecision=1500 #constraints=1116 0.89/0.94 c restart after 1601 decisions 1.10/1.11 c nbDecision=2000 #constraints=1117 1.29/1.30 c nbDecision=2500 #constraints=1118 1.39/1.49 c nbDecision=3000 #constraints=1120 1.49/1.57 c restart after 3201 decisions 1.59/1.69 c nbDecision=3500 #constraints=1121 1.79/1.88 c nbDecision=4000 #constraints=1123 1.99/2.08 c nbDecision=4500 #constraints=1125 2.20/2.27 c nbDecision=5000 #constraints=1127 2.39/2.45 c nbDecision=5500 #constraints=1128 2.59/2.66 c nbDecision=6000 #constraints=1130 2.79/2.81 c restart after 6401 decisions 2.79/2.85 c nbDecision=6500 #constraints=1131 2.99/3.05 c nbDecision=7000 #constraints=1132 3.20/3.25 c nbDecision=7500 #constraints=1134 3.39/3.44 c nbDecision=8000 #constraints=1136 3.59/3.63 c nbDecision=8500 #constraints=1138 3.79/3.82 c nbDecision=9000 #constraints=1139 3.99/4.01 c nbDecision=9500 #constraints=1141 4.19/4.21 c nbDecision=10000 #constraints=1143 4.40/4.41 c nbDecision=10500 #constraints=1145 4.59/4.60 c nbDecision=11000 #constraints=1146 4.79/4.81 c nbDecision=11500 #constraints=1148 4.89/4.99 c nbDecision=12000 #constraints=1150 5.09/5.15 c nbDecision=12500 #constraints=1152 5.19/5.26 c restart after 12801 decisions 5.29/5.34 c nbDecision=13000 #constraints=1154 5.50/5.52 c nbDecision=13500 #constraints=1156 5.69/5.70 c nbDecision=14000 #constraints=1158 5.79/5.89 c nbDecision=14500 #constraints=1160 5.99/6.07 c nbDecision=15000 #constraints=1162 6.19/6.26 c nbDecision=15500 #constraints=1164 6.39/6.44 c nbDecision=16000 #constraints=1166 6.60/6.62 c nbDecision=16500 #constraints=1168 6.79/6.80 c nbDecision=17000 #constraints=1170 6.89/6.99 c nbDecision=17500 #constraints=1172 7.39/7.43 c nbDecision=18000 #constraints=1199 7.60/7.66 c nbDecision=18500 #constraints=1206 7.79/7.84 c nbDecision=19000 #constraints=1208 7.99/8.01 c nbDecision=19500 #constraints=1210 8.09/8.18 c nbDecision=20000 #constraints=1212 8.29/8.35 c nbDecision=20500 #constraints=1214 8.59/8.67 c nbDecision=21000 #constraints=1231 8.99/9.04 c nbDecision=21500 #constraints=1253 11.19/11.27 c nbDecision=22000 #constraints=1452 14.19/14.25 c nbDecision=22500 #constraints=1707 17.18/17.29 c nbDecision=23000 #constraints=1938 20.08/20.12 c nbDecision=23500 #constraints=2157 23.18/23.30 c nbDecision=24000 #constraints=2382 26.18/26.27 c nbDecision=24500 #constraints=2586 29.48/29.56 c nbDecision=25000 #constraints=2823 33.17/33.28 c nbDecision=25500 #constraints=3057 33.88/33.99 c restart after 25601 decisions 34.18/34.24 c nbDecision=26000 #constraints=3105 34.48/34.51 c nbDecision=26500 #constraints=3107 34.68/34.77 c nbDecision=27000 #constraints=3109 34.98/35.02 c nbDecision=27500 #constraints=3111 35.18/35.27 c nbDecision=28000 #constraints=3113 35.48/35.55 c nbDecision=28500 #constraints=3115 35.78/35.81 c nbDecision=29000 #constraints=3117 35.98/36.07 c nbDecision=29500 #constraints=3119 36.18/36.28 c nbDecision=30000 #constraints=3121 36.48/36.53 c nbDecision=30500 #constraints=3124 36.68/36.75 c nbDecision=31000 #constraints=3126 36.88/36.97 c nbDecision=31500 #constraints=3128 37.08/37.19 c nbDecision=32000 #constraints=3130 37.38/37.41 c nbDecision=32500 #constraints=3132 37.58/37.64 c nbDecision=33000 #constraints=3134 37.88/37.98 c nbDecision=33500 #constraints=3140 38.18/38.24 c nbDecision=34000 #constraints=3142 38.38/38.50 c nbDecision=34500 #constraints=3144 38.68/38.75 c nbDecision=35000 #constraints=3146 38.98/39.02 c nbDecision=35500 #constraints=3148 39.18/39.28 c nbDecision=36000 #constraints=3150 39.48/39.55 c nbDecision=36500 #constraints=3152 39.78/39.80 c nbDecision=37000 #constraints=3154 39.98/40.05 c nbDecision=37500 #constraints=3156 40.18/40.30 c nbDecision=38000 #constraints=3158 40.58/40.65 c nbDecision=38500 #constraints=3167 41.08/41.14 c nbDecision=39000 #constraints=3182 44.17/44.26 c nbDecision=39500 #constraints=3424 48.18/48.26 c nbDecision=40000 #constraints=3750 52.27/52.39 c nbDecision=40500 #constraints=4079 56.37/56.50 c nbDecision=41000 #constraints=4421 61.27/61.38 c nbDecision=41500 #constraints=4750 66.06/66.16 c nbDecision=42000 #constraints=5072 70.36/70.46 c nbDecision=42500 #constraints=5373 75.66/75.74 c nbDecision=43000 #constraints=5695 80.76/80.84 c nbDecision=43500 #constraints=6003 85.85/85.92 c nbDecision=44000 #constraints=6288 91.26/91.32 c nbDecision=44500 #constraints=6596 96.75/96.81 c nbDecision=45000 #constraints=6898 101.35/101.47 c nbDecision=45500 #constraints=7200 108.04/108.15 c nbDecision=46000 #constraints=7588 115.55/115.67 c nbDecision=46500 #constraints=7917 122.74/122.86 c nbDecision=47000 #constraints=8230 130.64/130.77 c nbDecision=47500 #constraints=8550 138.14/138.28 c nbDecision=48000 #constraints=8876 146.44/146.51 c nbDecision=48500 #constraints=9186 154.03/154.13 c nbDecision=49000 #constraints=9499 161.83/161.95 c nbDecision=49500 #constraints=9803 169.72/169.85 c nbDecision=50000 #constraints=10120 177.52/177.65 c nbDecision=50500 #constraints=10432 186.92/187.04 c nbDecision=51000 #constraints=10728 190.13/190.28 c restart after 51201 decisions 192.42/192.54 c nbDecision=51500 #constraints=10896 204.71/204.88 c nbDecision=52000 #constraints=11274 216.30/216.44 c nbDecision=52500 #constraints=11654 228.50/228.65 c nbDecision=53000 #constraints=12040 240.30/240.41 c nbDecision=53500 #constraints=12420 250.79/250.92 c nbDecision=54000 #constraints=12799 260.39/260.53 c nbDecision=54500 #constraints=13183 269.29/269.46 c nbDecision=55000 #constraints=13617 284.98/285.19 c nbDecision=55500 #constraints=14005 299.97/300.14 c nbDecision=56000 #constraints=14387 313.77/313.90 c nbDecision=56500 #constraints=14776 324.76/324.91 c nbDecision=57000 #constraints=15167 338.16/338.36 c nbDecision=57500 #constraints=15586 354.75/354.98 c nbDecision=58000 #constraints=15971 368.85/369.05 c nbDecision=58500 #constraints=16338 379.84/380.01 c nbDecision=59000 #constraints=16736 396.64/396.85 c nbDecision=59500 #constraints=17123 412.13/412.33 c nbDecision=60000 #constraints=17494 426.42/426.65 c nbDecision=60500 #constraints=17892 442.92/443.16 c nbDecision=61000 #constraints=18286 453.11/453.30 c nbDecision=61500 #constraints=18692 471.61/471.86 c nbDecision=62000 #constraints=19076 491.70/491.90 c nbDecision=62500 #constraints=19470 506.69/506.98 c nbDecision=63000 #constraints=19870 521.38/521.63 c nbDecision=63500 #constraints=20286 529.99/530.21 c nbDecision=64000 #constraints=20740 549.18/549.40 c nbDecision=64500 #constraints=21166 576.56/576.82 c nbDecision=65000 #constraints=21542 601.26/601.58 c nbDecision=65500 #constraints=21920 621.34/621.60 c nbDecision=66000 #constraints=22330 643.54/643.81 c nbDecision=66500 #constraints=22724 668.43/668.72 c nbDecision=67000 #constraints=23100 689.22/689.56 c nbDecision=67500 #constraints=23501 707.41/707.74 c nbDecision=68000 #constraints=23923 731.61/731.94 c nbDecision=68500 #constraints=24312 747.40/747.71 c nbDecision=69000 #constraints=24751 773.59/773.90 c nbDecision=69500 #constraints=25138 789.29/789.70 c nbDecision=70000 #constraints=25571 819.87/820.22 c nbDecision=70500 #constraints=25950 838.67/839.07 c nbDecision=71000 #constraints=26370 856.46/856.88 c nbDecision=71500 #constraints=26840 885.15/885.52 c nbDecision=72000 #constraints=27291 923.43/923.85 c nbDecision=72500 #constraints=27661 951.42/951.81 c nbDecision=73000 #constraints=28070 991.50/991.95 c nbDecision=73500 #constraints=28461 1018.69/1019.19 c nbDecision=74000 #constraints=28875 1053.18/1053.68 c nbDecision=74500 #constraints=29268 1085.77/1086.25 c nbDecision=75000 #constraints=29639 1112.36/1112.81 c nbDecision=75500 #constraints=30054 1137.35/1137.84 c nbDecision=76000 #constraints=30477 1158.94/1159.45 c nbDecision=76500 #constraints=30919 1195.82/1196.33 c nbDecision=77000 #constraints=31325 1227.41/1227.92 c nbDecision=77500 #constraints=31708 1259.50/1260.05 c nbDecision=78000 #constraints=32122 1299.19/1299.78 c nbDecision=78500 #constraints=32515 1338.08/1338.62 c nbDecision=79000 #constraints=32896 1373.96/1374.59 c nbDecision=79500 #constraints=33322 1421.04/1421.61 c nbDecision=80000 #constraints=33685 1470.32/1470.98 c nbDecision=80500 #constraints=34067 1506.90/1507.56 c nbDecision=81000 #constraints=34457 1528.99/1529.61 c nbDecision=81500 #constraints=34907 1567.08/1567.80 c nbDecision=82000 #constraints=35301 1612.76/1613.47 c nbDecision=82500 #constraints=35699 1670.14/1670.88 c nbDecision=83000 #constraints=36083 1708.82/1709.54 c nbDecision=83500 #constraints=36498 1744.91/1745.63 c nbDecision=84000 #constraints=36906 1764.00/1764.70 c nbDecision=84500 #constraints=37372 1800.00/1800.71 Received signal 15 1800.19/1800.99 1800.19/1800.99 s UNKNOWN 1800.19/1800.99 1800.19/1800.99 c user time= 1799.73 s 1800.19/1800.99 c system time= 0.561914 s 1800.19/1800.99 c wall clock time=1801
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-357004-1176851234 -o ROOT/results/node13/solver-357004-1176851234 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357004-1176851234/instance-357004-1176851234.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.98 3/77 27882 /proc/meminfo: memFree=1666320/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=1620 CPUtime=0 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 133041290 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 405 175 126 317 0 84 0 [startup+0.0856031 s] /proc/loadavg: 0.91 0.95 0.98 3/77 27882 /proc/meminfo: memFree=1666320/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=3224 CPUtime=0.08 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 632 0 0 0 8 0 0 0 18 0 1 0 133041290 3301376 581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 806 581 131 317 0 485 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3224 [startup+0.101607 s] /proc/loadavg: 0.91 0.95 0.98 3/77 27882 /proc/meminfo: memFree=1666320/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=3620 CPUtime=0.09 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 729 0 0 0 9 0 0 0 18 0 1 0 133041290 3706880 678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 905 678 131 317 0 584 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3620 [startup+0.30165 s] /proc/loadavg: 0.91 0.95 0.98 3/77 27882 /proc/meminfo: memFree=1666320/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=8360 CPUtime=0.29 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 1935 0 0 0 28 1 0 0 19 0 1 0 133041290 8560640 1884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 2090 1884 137 317 0 1769 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8360 [startup+0.701735 s] /proc/loadavg: 0.91 0.95 0.98 3/77 27882 /proc/meminfo: memFree=1666320/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=8492 CPUtime=0.69 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 1952 0 0 0 68 1 0 0 22 0 1 0 133041290 8695808 1901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 2123 1901 139 317 0 1802 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8492 [startup+1.50191 s] /proc/loadavg: 0.91 0.95 0.98 2/78 27883 /proc/meminfo: memFree=1659272/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=8492 CPUtime=1.49 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 1952 0 0 0 148 1 0 0 25 0 1 0 133041290 8695808 1901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 2123 1901 139 317 0 1802 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8492 [startup+3.10125 s] /proc/loadavg: 0.91 0.95 0.98 2/78 27883 /proc/meminfo: memFree=1659144/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=8492 CPUtime=3.09 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 1952 0 0 0 308 1 0 0 25 0 1 0 133041290 8695808 1901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 2123 1901 139 317 0 1802 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8492 [startup+6.30193 s] /proc/loadavg: 0.92 0.95 0.98 2/78 27883 /proc/meminfo: memFree=1659016/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=8492 CPUtime=6.29 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 1955 0 0 0 628 1 0 0 25 0 1 0 133041290 8695808 1904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715881 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 2123 1904 139 317 0 1802 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8492 [startup+12.7013 s] /proc/loadavg: 0.93 0.95 0.98 2/78 27883 /proc/meminfo: memFree=1657744/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=10068 CPUtime=12.69 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 2334 0 0 0 1268 1 0 0 25 0 1 0 133041290 10309632 2283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 2517 2283 139 317 0 2196 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10068 [startup+25.502 s] /proc/loadavg: 0.94 0.96 0.98 2/78 27883 /proc/meminfo: memFree=1651728/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=16020 CPUtime=25.48 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 3798 0 0 0 2546 2 0 0 25 0 1 0 133041290 16404480 3747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 4005 3747 139 317 0 3684 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16020 [startup+51.1015 s] /proc/loadavg: 0.96 0.96 0.98 2/78 27883 /proc/meminfo: memFree=1643152/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=25044 CPUtime=51.07 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 6021 0 0 0 5103 4 0 0 25 0 1 0 133041290 25645056 5970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713884 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 6261 5970 139 317 0 5940 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25044 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.98 2/78 27883 /proc/meminfo: memFree=1618960/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=49672 CPUtime=102.25 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 12007 0 0 0 10218 7 0 0 25 0 1 0 133041290 50864128 11956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 12418 11956 170 317 0 12097 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 49672 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1602384/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=67340 CPUtime=162.23 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 16206 0 0 0 16212 11 0 0 25 0 1 0 133041290 68956160 16098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 16835 16098 170 317 0 16514 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 67340 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1588880/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=80084 CPUtime=222.21 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 19537 0 0 0 22207 14 0 0 25 0 1 0 133041290 82006016 19429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 20021 19429 170 317 0 19700 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 80084 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1574800/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=95828 CPUtime=282.19 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 23067 0 0 0 28202 17 0 0 25 0 1 0 133041290 98127872 22959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 23957 22959 170 317 0 23636 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 95828 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1561936/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=111016 CPUtime=342.16 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 26248 0 0 0 34197 19 0 0 25 0 1 0 133041290 113680384 26140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 27754 26140 170 317 0 27433 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 111016 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1552528/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=120700 CPUtime=402.13 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 28746 0 0 0 40192 21 0 0 25 0 1 0 133041290 123596800 28524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 30175 28524 170 317 0 29854 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 120700 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1542224/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=130328 CPUtime=462.11 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 31347 0 0 0 46189 22 0 0 25 0 1 0 133041290 133455872 31059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 32582 31059 170 317 0 32261 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 130328 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 3/78 27883 /proc/meminfo: memFree=1532048/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=140628 CPUtime=522.08 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 33923 0 0 0 52184 24 0 0 25 0 1 0 133041290 144003072 33635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 35157 33635 170 317 0 34836 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 140628 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1523280/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=149264 CPUtime=582.06 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 36133 0 0 0 58180 26 0 0 25 0 1 0 133041290 152846336 35779 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 37316 35779 170 317 0 36995 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 149264 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1516112/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=159660 CPUtime=642.04 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 38649 0 0 0 64176 28 0 0 25 0 1 0 133041290 163491840 37536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 39915 37536 170 317 0 39594 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 159660 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1488080/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=187204 CPUtime=881.95 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 46095 0 0 0 88160 35 0 0 25 0 1 0 133041290 191696896 44553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 46801 44553 170 317 0 46480 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 187204 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1483472/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=191536 CPUtime=941.92 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 47312 0 0 0 94155 37 0 0 25 0 1 0 133041290 196132864 45737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 47884 45737 170 317 0 47563 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 191536 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1479376/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=194944 CPUtime=1001.9 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 48331 0 0 0 100152 38 0 0 25 0 1 0 133041290 199622656 46723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 48736 46723 170 317 0 48415 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 194944 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1474512/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=199548 CPUtime=1061.88 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 49569 0 0 0 106148 40 0 0 25 0 1 0 133041290 204337152 47961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 49887 47961 170 317 0 49566 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 199548 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1469264/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=204424 CPUtime=1121.85 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 50884 0 0 0 112144 41 0 0 25 0 1 0 133041290 209330176 49243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 51106 49243 170 317 0 50785 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 204424 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1460752/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=213948 CPUtime=1181.83 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 53016 0 0 0 118141 42 0 0 25 0 1 0 133041290 219082752 51375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 53487 51375 170 317 0 53166 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 213948 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1455888/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=218408 CPUtime=1241.81 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 54202 0 0 0 124137 44 0 0 25 0 1 0 133041290 223649792 52561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 54602 52561 170 317 0 54281 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 218408 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1450960/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=224232 CPUtime=1301.79 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 55646 0 0 0 130134 45 0 0 25 0 1 0 133041290 229613568 53774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 56058 53774 170 317 0 55737 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 224232 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1446288/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=229504 CPUtime=1361.76 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 57108 0 0 0 136130 46 0 0 25 0 1 0 133041290 235012096 54911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 57376 54911 170 317 0 57055 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 229504 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 27883 /proc/meminfo: memFree=1441552/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=233720 CPUtime=1421.74 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 58297 0 0 0 142126 48 0 0 25 0 1 0 133041290 239329280 56100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 58430 56100 170 317 0 58109 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 233720 [startup+1482.3 s] /proc/loadavg: 1.11 1.00 0.99 2/78 27883 /proc/meminfo: memFree=1436880/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=241332 CPUtime=1481.71 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 60090 0 0 0 148122 49 0 0 25 0 1 0 133041290 247123968 57268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 60333 57268 170 317 0 60012 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 241332 [startup+1542.3 s] /proc/loadavg: 1.09 1.01 0.99 2/78 27883 /proc/meminfo: memFree=1429840/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=252776 CPUtime=1541.69 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 62779 0 0 0 154119 50 0 0 25 0 1 0 133041290 258842624 59033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 63194 59033 170 317 0 62873 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 252776 [startup+1602.3 s] /proc/loadavg: 1.14 1.04 1.00 2/78 27883 /proc/meminfo: memFree=1425296/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=257776 CPUtime=1601.67 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 64170 0 0 0 160115 52 0 0 25 0 1 0 133041290 263962624 60193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 64444 60193 170 317 0 64123 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 257776 [startup+1662.3 s] /proc/loadavg: 1.10 1.05 1.00 2/78 27883 /proc/meminfo: memFree=1421200/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=261984 CPUtime=1661.64 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 65267 0 0 0 166112 52 0 0 25 0 1 0 133041290 268271616 61191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 65496 61191 170 317 0 65175 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 261984 [startup+1722.3 s] /proc/loadavg: 1.15 1.07 1.01 2/78 27883 /proc/meminfo: memFree=1415056/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=268156 CPUtime=1721.62 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 66787 0 0 0 172108 54 0 0 25 0 1 0 133041290 274591744 62711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 67039 62711 170 317 0 66718 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 268156 [startup+1782.3 s] /proc/loadavg: 1.05 1.05 1.00 2/78 27883 /proc/meminfo: memFree=1408208/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=274852 CPUtime=1781.59 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 68634 0 0 0 178104 55 0 0 25 0 1 0 133041290 281448448 64395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 68713 64395 170 317 0 68392 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 274852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.04 1.05 1.00 2/78 27883 /proc/meminfo: memFree=1407120/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=275772 CPUtime=1800 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 68910 0 0 0 179944 56 0 0 25 0 1 0 133041290 282390528 64671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 68943 64671 170 317 0 68622 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 275772 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.04 1.05 1.00 2/78 27883 /proc/meminfo: memFree=1407120/2055920 swapFree=4153084/4192956 [pid=27882] ppid=27880 vsize=275772 CPUtime=1800.29 /proc/27882/stat : 27882 (oree) R 27880 27882 26600 0 -1 4194304 68928 0 0 0 179973 56 0 0 25 0 1 0 133041290 282390528 64689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27882/statm: 68943 64430 186 317 0 68622 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 275772 Child status: 0 Real time (s): 1801.05 CPU time (s): 1800.35 CPU user time (s): 1799.74 CPU system time (s): 0.604908 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (KiB): 275772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.74 system time used= 0.604908 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68928 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= 1564 runsolver used 2.06269 second user time and 4.48132 second system time The end
Begin job on node13 on Tue Apr 17 23:07:15 UTC 2007 IDJOB= 357004 IDBENCH= 1766 IDSOLVER= 172 FILE ID= node13/357004-1176851234 PBS_JOBID= 4590175 Free space on /tmp= 66398 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-tr12-30.opb COMMAND LINE= oree /tmp/evaluation/357004-1176851234/instance-357004-1176851234.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-357004-1176851234 -o ROOT/results/node13/solver-357004-1176851234 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357004-1176851234/instance-357004-1176851234.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 93a0ff34a98f6d4593d65282fbf98be9 RANDOM SEED= 418361592 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1666792 kB Buffers: 34572 kB Cached: 287352 kB SwapCached: 19572 kB Active: 260128 kB Inactive: 96312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1666792 kB SwapTotal: 4192956 kB SwapFree: 4153084 kB Dirty: 1996 kB Writeback: 0 kB Mapped: 34512 kB Slab: 18176 kB Committed_AS: 6523508 kB PageTables: 1884 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= 66398 MiB End job on node13 on Tue Apr 17 23:37:17 UTC 2007