Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-perold.opb |
MD5SUM | 1cb0147510c9838b4e6052b678a2a523 |
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 | 36286 |
Total number of constraints | 891 |
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 | 891 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 991 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 37450 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524454 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262399 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 525072 |
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.49/0.54 c ...done 0.49/0.54 c #vars=36286 #constraints=1387 hasObjective=yes 0.59/0.63 c res. mode=mod 0.59/0.63 c VSIDS like heuristics 0.59/0.63 c complete search running 1.29/1.31 c restart after 401 decisions 1.39/1.44 c nbDecision=500 #constraints=1525 1.89/1.97 c restart after 801 decisions 2.19/2.24 c nbDecision=1000 #constraints=1661 3.19/3.20 c nbDecision=1500 #constraints=1900 3.39/3.44 c restart after 1601 decisions 4.19/4.22 c nbDecision=2000 #constraints=2148 5.49/5.60 c nbDecision=2500 #constraints=2608 7.28/7.32 c nbDecision=3000 #constraints=3042 8.08/8.11 c restart after 3201 decisions 8.48/8.57 c nbDecision=3500 #constraints=3228 9.79/9.88 c nbDecision=4000 #constraints=3574 11.39/11.48 c nbDecision=4500 #constraints=3956 13.28/13.33 c nbDecision=5000 #constraints=4340 15.18/15.28 c nbDecision=5500 #constraints=4737 17.39/17.50 c nbDecision=6000 #constraints=5151 19.38/19.43 c restart after 6401 decisions 19.58/19.61 c nbDecision=6500 #constraints=5459 21.48/21.51 c nbDecision=7000 #constraints=5714 24.18/24.26 c nbDecision=7500 #constraints=6118 27.08/27.17 c nbDecision=8000 #constraints=6539 30.18/30.29 c nbDecision=8500 #constraints=7014 33.67/33.75 c nbDecision=9000 #constraints=7428 37.17/37.23 c nbDecision=9500 #constraints=7832 41.08/41.18 c nbDecision=10000 #constraints=8268 45.37/45.47 c nbDecision=10500 #constraints=8713 49.87/49.98 c nbDecision=11000 #constraints=9179 55.07/55.13 c nbDecision=11500 #constraints=9616 60.27/60.34 c nbDecision=12000 #constraints=10030 65.47/65.55 c nbDecision=12500 #constraints=10421 68.86/68.96 c restart after 12801 decisions 69.27/69.31 c nbDecision=13000 #constraints=10648 74.86/74.93 c nbDecision=13500 #constraints=11056 80.86/80.99 c nbDecision=14000 #constraints=11450 87.86/87.98 c nbDecision=14500 #constraints=11847 96.05/96.10 c nbDecision=15000 #constraints=12297 104.35/104.42 c nbDecision=15500 #constraints=12748 112.05/112.18 c nbDecision=16000 #constraints=13177 119.55/119.63 c nbDecision=16500 #constraints=13598 128.04/128.18 c nbDecision=17000 #constraints=14061 136.35/136.42 c nbDecision=17500 #constraints=14517 144.94/145.06 c nbDecision=18000 #constraints=14972 154.33/154.48 c nbDecision=18500 #constraints=15424 164.13/164.28 c nbDecision=19000 #constraints=15855 174.73/174.87 c nbDecision=19500 #constraints=16289 185.13/185.21 c nbDecision=20000 #constraints=16699 196.42/196.53 c nbDecision=20500 #constraints=17145 206.21/206.39 c nbDecision=21000 #constraints=17521 218.01/218.16 c nbDecision=21500 #constraints=17940 229.01/229.16 c nbDecision=22000 #constraints=18319 240.60/240.80 c nbDecision=22500 #constraints=18737 253.29/253.49 c nbDecision=23000 #constraints=19185 265.20/265.37 c nbDecision=23500 #constraints=19593 278.69/278.85 c nbDecision=24000 #constraints=20035 293.39/293.54 c nbDecision=24500 #constraints=20508 307.88/308.06 c nbDecision=25000 #constraints=20893 321.57/321.73 c nbDecision=25500 #constraints=21250 324.07/324.28 c restart after 25601 decisions 331.47/331.66 c nbDecision=26000 #constraints=21502 349.57/349.78 c nbDecision=26500 #constraints=21949 366.95/367.12 c nbDecision=27000 #constraints=22351 382.25/382.43 c nbDecision=27500 #constraints=22750 397.65/397.86 c nbDecision=28000 #constraints=23189 413.44/413.62 c nbDecision=28500 #constraints=23602 433.23/433.44 c nbDecision=29000 #constraints=24027 450.53/450.74 c nbDecision=29500 #constraints=24429 468.02/468.21 c nbDecision=30000 #constraints=24826 487.31/487.57 c nbDecision=30500 #constraints=25239 506.40/506.65 c nbDecision=31000 #constraints=25673 525.11/525.38 c nbDecision=31500 #constraints=26109 546.79/547.03 c nbDecision=32000 #constraints=26562 568.39/568.66 c nbDecision=32500 #constraints=27008 589.78/590.08 c nbDecision=33000 #constraints=27421 609.77/610.08 c nbDecision=33500 #constraints=27848 628.76/629.09 c nbDecision=34000 #constraints=28288 647.96/648.29 c nbDecision=34500 #constraints=28698 668.65/668.91 c nbDecision=35000 #constraints=29102 690.14/690.40 c nbDecision=35500 #constraints=29511 714.23/714.54 c nbDecision=36000 #constraints=29929 738.12/738.47 c nbDecision=36500 #constraints=30338 757.63/757.95 c nbDecision=37000 #constraints=30717 780.21/780.55 c nbDecision=37500 #constraints=31147 802.40/802.72 c nbDecision=38000 #constraints=31569 826.80/827.18 c nbDecision=38500 #constraints=32000 851.68/852.07 c nbDecision=39000 #constraints=32415 876.38/876.80 c nbDecision=39500 #constraints=32835 903.46/903.83 c nbDecision=40000 #constraints=33284 929.76/930.11 c nbDecision=40500 #constraints=33728 956.05/956.44 c nbDecision=41000 #constraints=34173 981.53/981.90 c nbDecision=41500 #constraints=34621 1005.33/1005.74 c nbDecision=42000 #constraints=35044 1029.23/1029.67 c nbDecision=42500 #constraints=35475 1054.81/1055.29 c nbDecision=43000 #constraints=35895 1083.11/1083.54 c nbDecision=43500 #constraints=36255 1113.19/1113.68 c nbDecision=44000 #constraints=36678 1143.88/1144.34 c nbDecision=44500 #constraints=37100 1172.77/1173.24 c nbDecision=45000 #constraints=37534 1197.46/1197.95 c nbDecision=45500 #constraints=37879 1218.75/1219.28 c nbDecision=46000 #constraints=38205 1240.95/1241.40 c nbDecision=46500 #constraints=38519 1266.64/1267.20 c nbDecision=47000 #constraints=38870 1296.02/1296.56 c nbDecision=47500 #constraints=39265 1328.11/1328.69 c nbDecision=48000 #constraints=39688 1358.81/1359.31 c nbDecision=48500 #constraints=40094 1390.90/1391.49 c nbDecision=49000 #constraints=40495 1422.28/1422.83 c nbDecision=49500 #constraints=40916 1455.97/1456.54 c nbDecision=50000 #constraints=41322 1488.25/1488.87 c nbDecision=50500 #constraints=41734 1519.75/1520.34 c nbDecision=51000 #constraints=42149 1533.54/1534.12 c restart after 51201 decisions 1541.44/1542.06 c nbDecision=51500 #constraints=42353 1583.23/1583.84 c nbDecision=52000 #constraints=42720 1621.01/1621.70 c nbDecision=52500 #constraints=43077 1656.00/1656.69 c nbDecision=53000 #constraints=43435 1690.78/1691.48 c nbDecision=53500 #constraints=43802 1730.17/1730.82 c nbDecision=54000 #constraints=44181 1768.76/1769.45 c nbDecision=54500 #constraints=44538 1800.05/1800.71 Received signal 15 1800.05/1800.72 1800.05/1800.72 s UNKNOWN 1800.05/1800.72 1800.05/1800.72 c user time= 1799.7 s 1800.05/1800.72 c system time= 0.376942 s 1800.05/1800.72 c wall clock time=1800.72
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-356946-1176849046 -o ROOT/results/node20/solver-356946-1176849046 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356946-1176849046/instance-356946-1176849046.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.93 3/77 15089 /proc/meminfo: memFree=1722528/2055920 swapFree=4148048/4192956 [pid=15089] ppid=15087 vsize=1468 CPUtime=0 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 132821949 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 367 162 131 317 0 46 0 [startup+0.051464 s] /proc/loadavg: 0.91 0.95 0.93 3/77 15089 /proc/meminfo: memFree=1722528/2055920 swapFree=4148048/4192956 [pid=15089] ppid=15087 vsize=2404 CPUtime=0.04 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 398 0 0 0 4 0 0 0 18 0 1 0 132821949 2461696 380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 601 380 131 317 0 280 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2404 [startup+0.101474 s] /proc/loadavg: 0.91 0.95 0.93 3/77 15089 /proc/meminfo: memFree=1722528/2055920 swapFree=4148048/4192956 [pid=15089] ppid=15087 vsize=3476 CPUtime=0.09 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 657 0 0 0 9 0 0 0 18 0 1 0 132821949 3559424 639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 869 639 131 317 0 548 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3476 [startup+0.301514 s] /proc/loadavg: 0.91 0.95 0.93 3/77 15089 /proc/meminfo: memFree=1722528/2055920 swapFree=4148048/4192956 [pid=15089] ppid=15087 vsize=7384 CPUtime=0.29 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 1618 0 0 0 29 0 0 0 19 0 1 0 132821949 7561216 1600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 1846 1600 131 317 0 1525 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7384 [startup+0.701595 s] /proc/loadavg: 0.91 0.95 0.93 3/77 15089 /proc/meminfo: memFree=1722528/2055920 swapFree=4148048/4192956 [pid=15089] ppid=15087 vsize=18124 CPUtime=0.69 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 4310 0 0 0 67 2 0 0 22 0 1 0 132821949 18558976 4292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 4531 4292 138 317 0 4210 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18124 [startup+1.50176 s] /proc/loadavg: 0.91 0.95 0.93 2/78 15090 /proc/meminfo: memFree=1705752/2055920 swapFree=4148048/4192956 [pid=15089] ppid=15087 vsize=18460 CPUtime=1.49 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 4393 0 0 0 147 2 0 0 25 0 1 0 132821949 18903040 4375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606864 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 4615 4375 170 317 0 4294 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18460 [startup+3.10108 s] /proc/loadavg: 0.92 0.95 0.93 2/78 15090 /proc/meminfo: memFree=1705176/2055920 swapFree=4148048/4192956 [pid=15089] ppid=15087 vsize=19248 CPUtime=3.09 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 4613 0 0 0 307 2 0 0 25 0 1 0 132821949 19709952 4595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 4812 4595 170 317 0 4491 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19248 [startup+6.30272 s] /proc/loadavg: 0.92 0.95 0.93 2/78 15090 /proc/meminfo: memFree=1703008/2055920 swapFree=4148048/4192956 [pid=15089] ppid=15087 vsize=21508 CPUtime=6.29 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 5149 0 0 0 626 3 0 0 25 0 1 0 132821949 22024192 5131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385188 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 5377 5131 170 317 0 5056 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21508 [startup+12.702 s] /proc/loadavg: 0.93 0.96 0.93 2/78 15090 /proc/meminfo: memFree=1698912/2055920 swapFree=4148048/4192956 [pid=15089] ppid=15087 vsize=25472 CPUtime=12.68 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 6142 0 0 0 1264 4 0 0 25 0 1 0 132821949 26083328 6124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 6368 6124 170 317 0 6047 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25472 [startup+25.5016 s] /proc/loadavg: 0.94 0.96 0.93 2/78 15090 /proc/meminfo: memFree=1693472/2055920 swapFree=4148048/4192956 [pid=15089] ppid=15087 vsize=31044 CPUtime=25.48 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 7430 0 0 0 2543 5 0 0 25 0 1 0 132821949 31789056 7376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 7761 7376 170 317 0 7440 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31044 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.93 2/78 15090 /proc/meminfo: memFree=1688928/2055920 swapFree=4148048/4192956 [pid=15089] ppid=15087 vsize=35820 CPUtime=51.07 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 8595 0 0 0 5101 6 0 0 25 0 1 0 132821949 36679680 8541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 8955 8541 170 317 0 8634 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35820 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.93 2/78 15090 /proc/meminfo: memFree=1682400/2055920 swapFree=4148112/4192956 [pid=15089] ppid=15087 vsize=42904 CPUtime=102.25 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 10247 0 0 0 10217 8 0 0 25 0 1 0 132821949 43933696 10122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 10726 10122 170 317 0 10405 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 42904 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15090 /proc/meminfo: memFree=1675872/2055920 swapFree=4148112/4192956 [pid=15089] ppid=15087 vsize=49276 CPUtime=162.23 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 11851 0 0 0 16212 11 0 0 25 0 1 0 132821949 50458624 11726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 12319 11726 170 317 0 11998 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49276 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15090 /proc/meminfo: memFree=1671392/2055920 swapFree=4148112/4192956 [pid=15089] ppid=15087 vsize=53840 CPUtime=222.21 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 12974 0 0 0 22208 13 0 0 25 0 1 0 132821949 55132160 12849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 13460 12849 170 317 0 13139 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 53840 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15090 /proc/meminfo: memFree=1667936/2055920 swapFree=4148176/4192956 [pid=15089] ppid=15087 vsize=57000 CPUtime=282.19 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 13868 0 0 0 28205 14 0 0 25 0 1 0 132821949 58368000 13743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 14250 13743 170 317 0 13929 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 57000 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15090 /proc/meminfo: memFree=1664672/2055920 swapFree=4148176/4192956 [pid=15089] ppid=15087 vsize=62248 CPUtime=342.17 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 15133 0 0 0 34201 16 0 0 25 0 1 0 132821949 63741952 14536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 15562 14536 170 317 0 15241 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 62248 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15090 /proc/meminfo: memFree=1661664/2055920 swapFree=4148176/4192956 [pid=15089] ppid=15087 vsize=65128 CPUtime=402.14 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 15906 0 0 0 40197 17 0 0 25 0 1 0 132821949 66691072 15276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 16282 15276 170 317 0 15961 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 65128 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1659296/2055920 swapFree=4148240/4192956 [pid=15089] ppid=15087 vsize=67688 CPUtime=462.12 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 16554 0 0 0 46194 18 0 0 25 0 1 0 132821949 69312512 15891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 16922 15891 170 317 0 16601 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 67688 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1656800/2055920 swapFree=4148240/4192956 [pid=15089] ppid=15087 vsize=70412 CPUtime=522.11 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 17334 0 0 0 52192 19 0 0 25 0 1 0 132821949 72101888 16539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 17603 16539 170 317 0 17282 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 70412 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1654560/2055920 swapFree=4148240/4192956 [pid=15089] ppid=15087 vsize=72244 CPUtime=582.08 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 17874 0 0 0 58188 20 0 0 25 0 1 0 132821949 73977856 17079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 18061 17079 170 317 0 17740 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 72244 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1652064/2055920 swapFree=4148304/4192956 [pid=15089] ppid=15087 vsize=74720 CPUtime=642.06 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 18526 0 0 0 64185 21 0 0 25 0 1 0 132821949 76513280 17698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 18680 17698 170 317 0 18359 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 74720 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1643936/2055920 swapFree=4148432/4192956 [pid=15089] ppid=15087 vsize=82660 CPUtime=881.97 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 20762 0 0 0 88172 25 0 0 25 0 1 0 132821949 84643840 19736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 20665 19736 170 317 0 20344 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 82660 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1642208/2055920 swapFree=4148432/4192956 [pid=15089] ppid=15087 vsize=84236 CPUtime=941.95 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 21198 0 0 0 94169 26 0 0 25 0 1 0 132821949 86257664 20172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 21059 20172 170 317 0 20738 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 84236 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1640352/2055920 swapFree=4148432/4192956 [pid=15089] ppid=15087 vsize=85952 CPUtime=1001.93 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 21686 0 0 0 100166 27 0 0 25 0 1 0 132821949 88014848 20627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 21488 20627 170 317 0 21167 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 85952 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1638432/2055920 swapFree=4148496/4192956 [pid=15089] ppid=15087 vsize=87776 CPUtime=1061.91 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 22182 0 0 0 106164 27 0 0 25 0 1 0 132821949 89882624 21123 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 21944 21123 170 317 0 21623 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 87776 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1636512/2055920 swapFree=4148496/4192956 [pid=15089] ppid=15087 vsize=92796 CPUtime=1121.88 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 23361 0 0 0 112160 28 0 0 25 0 1 0 132821949 95023104 21587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 23199 21587 170 317 0 22878 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 92796 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1635168/2055920 swapFree=4148560/4192956 [pid=15089] ppid=15087 vsize=94876 CPUtime=1181.86 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 23921 0 0 0 118157 29 0 0 25 0 1 0 132821949 97153024 21919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 23719 21919 170 317 0 23398 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 94876 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1633568/2055920 swapFree=4148560/4192956 [pid=15089] ppid=15087 vsize=96308 CPUtime=1241.85 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 24340 0 0 0 124155 30 0 0 25 0 1 0 132821949 98619392 22305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 24077 22305 170 317 0 23756 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 96308 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1632032/2055920 swapFree=4148560/4192956 [pid=15089] ppid=15087 vsize=97740 CPUtime=1301.83 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 24753 0 0 0 130152 31 0 0 25 0 1 0 132821949 100085760 22685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 24435 22685 170 317 0 24114 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 97740 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1630496/2055920 swapFree=4148624/4192956 [pid=15089] ppid=15087 vsize=99304 CPUtime=1361.81 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 25222 0 0 0 136149 32 0 0 25 0 1 0 132821949 101687296 23056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 24826 23056 170 317 0 24505 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 99304 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1629024/2055920 swapFree=4148624/4192956 [pid=15089] ppid=15087 vsize=100860 CPUtime=1421.79 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 25639 0 0 0 142146 33 0 0 25 0 1 0 132821949 103280640 23408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 25215 23408 170 317 0 24894 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 100860 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1627168/2055920 swapFree=4148624/4192956 [pid=15089] ppid=15087 vsize=103428 CPUtime=1481.75 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 26401 0 0 0 148142 33 0 0 25 0 1 0 132821949 105910272 23823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564032 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 25857 23823 170 317 0 25536 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 103428 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1626336/2055920 swapFree=4148688/4192956 [pid=15089] ppid=15087 vsize=104852 CPUtime=1541.74 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 26830 0 0 0 154140 34 0 0 25 0 1 0 132821949 107368448 24122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 26213 24122 170 317 0 25892 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 104852 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1625568/2055920 swapFree=4148688/4192956 [pid=15089] ppid=15087 vsize=105636 CPUtime=1601.71 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 27028 0 0 0 160136 35 0 0 25 0 1 0 132821949 108171264 24320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 26409 24320 170 317 0 26088 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 105636 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1624544/2055920 swapFree=4148688/4192956 [pid=15089] ppid=15087 vsize=106428 CPUtime=1661.7 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 27263 0 0 0 166134 36 0 0 25 0 1 0 132821949 108982272 24555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 26607 24555 170 317 0 26286 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 106428 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1623648/2055920 swapFree=4148752/4192956 [pid=15089] ppid=15087 vsize=107340 CPUtime=1721.67 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 27538 0 0 0 172131 36 0 0 25 0 1 0 132821949 109916160 24797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 26835 24797 170 317 0 26514 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 107340 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1622752/2055920 swapFree=4148752/4192956 [pid=15089] ppid=15087 vsize=107992 CPUtime=1781.65 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 27735 0 0 0 178128 37 0 0 25 0 1 0 132821949 110583808 24994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 26998 24994 170 317 0 26677 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 107992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1622368/2055920 swapFree=4148752/4192956 [pid=15089] ppid=15087 vsize=108384 CPUtime=1800.05 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 27819 0 0 0 179968 37 0 0 25 0 1 0 132821949 110985216 25078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 27096 25078 170 317 0 26775 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 108384 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.93 2/78 15092 /proc/meminfo: memFree=1622368/2055920 swapFree=4148752/4192956 [pid=15089] ppid=15087 vsize=108384 CPUtime=1800.05 /proc/15089/stat : 15089 (oree) R 15087 15089 14749 0 -1 4194304 27819 0 0 0 179968 37 0 0 25 0 1 0 132821949 110985216 25078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15089/statm: 27096 25078 170 317 0 26775 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 108384 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.11 CPU user time (s): 1799.71 CPU system time (s): 0.39294 CPU usage (%): 99.9641 Max. virtual memory (cumulated for all children) (KiB): 108384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.71 system time used= 0.39294 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27835 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= 1583 runsolver used 2.06768 second user time and 4.49232 second system time The end
Begin job on node20 on Tue Apr 17 22:30:46 UTC 2007 IDJOB= 356946 IDBENCH= 1672 IDSOLVER= 172 FILE ID= node20/356946-1176849046 PBS_JOBID= 4590206 Free space on /tmp= 66494 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-perold.opb COMMAND LINE= oree /tmp/evaluation/356946-1176849046/instance-356946-1176849046.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-356946-1176849046 -o ROOT/results/node20/solver-356946-1176849046 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356946-1176849046/instance-356946-1176849046.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1cb0147510c9838b4e6052b678a2a523 RANDOM SEED= 507814274 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1722936 kB Buffers: 34444 kB Cached: 239416 kB SwapCached: 22892 kB Active: 140316 kB Inactive: 163228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1722936 kB SwapTotal: 4192956 kB SwapFree: 4148048 kB Dirty: 2996 kB Writeback: 0 kB Mapped: 32216 kB Slab: 14924 kB Committed_AS: 1820056 kB PageTables: 1744 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= 66494 MiB End job on node20 on Tue Apr 17 23:00:49 UTC 2007