Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.14 | 1800.76 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-boeing2.opb |
MD5SUM | 5e2e92f5cdf687685f560235d961ce1c |
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 | 3371 |
Total number of constraints | 197 |
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 | 197 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 1921 |
Number of terms in the objective function | 3114 |
Biggest coefficient in the objective function | 40265318400000 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 2533036563346675 |
Number of bits of the sum of numbers in the objective function | 52 |
Biggest number in a constraint | 431563682611200 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 17042207919312540 |
Number of bits of the biggest sum of numbers | 54 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.08 c ...done 0.00/0.08 c #vars=3371 #constraints=202 hasObjective=yes 0.09/0.11 c res. mode=mod 0.09/0.11 c VSIDS like heuristics 0.09/0.11 c complete search running 0.09/0.14 c restart after 401 decisions 0.09/0.14 c nbDecision=500 #constraints=209 0.09/0.15 c restart after 801 decisions 0.09/0.16 c nbDecision=1000 #constraints=210 0.49/0.56 c nbDecision=1500 #constraints=276 0.59/0.61 c restart after 1601 decisions 0.59/0.62 c nbDecision=2000 #constraints=283 1.19/1.23 c nbDecision=2500 #constraints=369 1.99/2.05 c nbDecision=3000 #constraints=494 2.89/2.91 c restart after 3201 decisions 2.89/2.93 c nbDecision=3500 #constraints=621 3.99/4.07 c nbDecision=4000 #constraints=774 4.79/4.85 c nbDecision=4500 #constraints=882 5.88/5.90 c nbDecision=5000 #constraints=1016 7.09/7.19 c nbDecision=5500 #constraints=1178 9.09/9.12 c nbDecision=6000 #constraints=1404 9.69/9.79 c restart after 6401 decisions 9.79/9.83 c nbDecision=6500 #constraints=1484 10.59/10.67 c nbDecision=7000 #constraints=1573 11.79/11.85 c nbDecision=7500 #constraints=1699 14.09/14.14 c nbDecision=8000 #constraints=1941 16.29/16.34 c nbDecision=8500 #constraints=2160 17.79/17.88 c nbDecision=9000 #constraints=2297 19.39/19.48 c nbDecision=9500 #constraints=2435 21.08/21.11 c nbDecision=10000 #constraints=2555 23.38/23.40 c nbDecision=10500 #constraints=2748 25.38/25.49 c nbDecision=11000 #constraints=2911 28.08/28.12 c nbDecision=11500 #constraints=3100 30.38/30.44 c nbDecision=12000 #constraints=3268 33.38/33.47 c nbDecision=12500 #constraints=3487 34.38/34.44 c restart after 12801 decisions 34.58/34.68 c nbDecision=13000 #constraints=3548 35.98/36.07 c nbDecision=13500 #constraints=3640 39.08/39.15 c nbDecision=14000 #constraints=3817 42.07/42.11 c nbDecision=14500 #constraints=4008 44.58/44.67 c nbDecision=15000 #constraints=4160 48.08/48.17 c nbDecision=15500 #constraints=4344 51.28/51.35 c nbDecision=16000 #constraints=4524 53.97/54.08 c nbDecision=16500 #constraints=4665 58.38/58.45 c nbDecision=17000 #constraints=4931 60.77/60.83 c nbDecision=17500 #constraints=5044 64.67/64.73 c nbDecision=18000 #constraints=5208 69.27/69.35 c nbDecision=18500 #constraints=5444 72.37/72.47 c nbDecision=19000 #constraints=5586 76.07/76.17 c nbDecision=19500 #constraints=5746 80.36/80.41 c nbDecision=20000 #constraints=5915 83.57/83.66 c nbDecision=20500 #constraints=6037 87.87/87.99 c nbDecision=21000 #constraints=6222 92.97/93.04 c nbDecision=21500 #constraints=6409 97.16/97.28 c nbDecision=22000 #constraints=6564 102.16/102.30 c nbDecision=22500 #constraints=6755 105.56/105.66 c nbDecision=23000 #constraints=6865 110.26/110.34 c nbDecision=23500 #constraints=7006 116.26/116.31 c nbDecision=24000 #constraints=7236 123.26/123.35 c nbDecision=24500 #constraints=7498 126.95/127.01 c nbDecision=25000 #constraints=7611 132.16/132.28 c nbDecision=25500 #constraints=7760 132.76/132.83 c restart after 25601 decisions 133.46/133.58 c nbDecision=26000 #constraints=7773 139.85/139.93 c nbDecision=26500 #constraints=7991 144.85/144.96 c nbDecision=27000 #constraints=8149 151.05/151.17 c nbDecision=27500 #constraints=8315 156.05/156.11 c nbDecision=28000 #constraints=8471 164.45/164.59 c nbDecision=28500 #constraints=8767 169.94/170.06 c nbDecision=29000 #constraints=8935 176.04/176.18 c nbDecision=29500 #constraints=9106 182.64/182.74 c nbDecision=30000 #constraints=9279 189.84/189.93 c nbDecision=30500 #constraints=9510 193.83/193.94 c nbDecision=31000 #constraints=9607 199.33/199.40 c nbDecision=31500 #constraints=9737 206.73/206.88 c nbDecision=32000 #constraints=9919 214.34/214.49 c nbDecision=32500 #constraints=10138 221.33/221.44 c nbDecision=33000 #constraints=10306 226.33/226.41 c nbDecision=33500 #constraints=10423 235.02/235.11 c nbDecision=34000 #constraints=10648 239.52/239.67 c nbDecision=34500 #constraints=10761 247.33/247.40 c nbDecision=35000 #constraints=10927 253.52/253.68 c nbDecision=35500 #constraints=11067 262.62/262.70 c nbDecision=36000 #constraints=11260 267.22/267.33 c nbDecision=36500 #constraints=11351 277.42/277.57 c nbDecision=37000 #constraints=11577 283.31/283.47 c nbDecision=37500 #constraints=11683 291.11/291.24 c nbDecision=38000 #constraints=11844 298.41/298.54 c nbDecision=38500 #constraints=11966 306.90/307.07 c nbDecision=39000 #constraints=12150 317.20/317.37 c nbDecision=39500 #constraints=12379 322.70/322.85 c nbDecision=40000 #constraints=12478 329.69/329.86 c nbDecision=40500 #constraints=12604 340.70/340.87 c nbDecision=41000 #constraints=12826 345.20/345.34 c nbDecision=41500 #constraints=12911 353.50/353.66 c nbDecision=42000 #constraints=13042 363.59/363.78 c nbDecision=42500 #constraints=13242 373.69/373.84 c nbDecision=43000 #constraints=13448 379.09/379.21 c nbDecision=43500 #constraints=13532 390.28/390.49 c nbDecision=44000 #constraints=13755 397.58/397.73 c nbDecision=44500 #constraints=13869 406.68/406.86 c nbDecision=45000 #constraints=14038 416.07/416.29 c nbDecision=45500 #constraints=14186 425.37/425.55 c nbDecision=46000 #constraints=14344 435.48/435.64 c nbDecision=46500 #constraints=14539 443.57/443.79 c nbDecision=47000 #constraints=14669 452.06/452.25 c nbDecision=47500 #constraints=14809 463.06/463.21 c nbDecision=48000 #constraints=15016 469.76/469.92 c nbDecision=48500 #constraints=15125 479.06/479.27 c nbDecision=49000 #constraints=15257 487.35/487.59 c nbDecision=49500 #constraints=15403 497.35/497.52 c nbDecision=50000 #constraints=15583 507.65/507.82 c nbDecision=50500 #constraints=15748 517.35/517.59 c nbDecision=51000 #constraints=15918 523.75/523.96 c restart after 51201 decisions 525.24/525.43 c nbDecision=51500 #constraints=16026 532.34/532.54 c nbDecision=52000 #constraints=16131 543.14/543.35 c nbDecision=52500 #constraints=16312 552.53/552.76 c nbDecision=53000 #constraints=16440 563.63/563.84 c nbDecision=53500 #constraints=16611 576.13/576.39 c nbDecision=54000 #constraints=16820 585.22/585.49 c nbDecision=54500 #constraints=16956 596.53/596.75 c nbDecision=55000 #constraints=17113 604.83/605.06 c nbDecision=55500 #constraints=17224 616.82/617.03 c nbDecision=56000 #constraints=17424 627.71/627.95 c nbDecision=56500 #constraints=17571 638.91/639.16 c nbDecision=57000 #constraints=17729 649.92/650.14 c nbDecision=57500 #constraints=17907 659.31/659.53 c nbDecision=58000 #constraints=18063 671.70/671.98 c nbDecision=58500 #constraints=18249 681.40/681.69 c nbDecision=59000 #constraints=18375 694.58/694.87 c nbDecision=59500 #constraints=18570 702.15/702.49 c nbDecision=60000 #constraints=18668 712.92/713.20 c nbDecision=60500 #constraints=18809 724.99/725.30 c nbDecision=61000 #constraints=18966 736.48/736.90 c nbDecision=61500 #constraints=19138 748.06/748.47 c nbDecision=62000 #constraints=19293 758.87/759.28 c nbDecision=62500 #constraints=19426 772.86/773.22 c nbDecision=63000 #constraints=19645 782.96/783.34 c nbDecision=63500 #constraints=19775 792.76/793.15 c nbDecision=64000 #constraints=19882 802.66/803.07 c nbDecision=64500 #constraints=20013 817.75/818.13 c nbDecision=65000 #constraints=20197 823.74/824.12 c nbDecision=65500 #constraints=20259 838.24/838.61 c nbDecision=66000 #constraints=20440 850.24/850.62 c nbDecision=66500 #constraints=20571 864.03/864.45 c nbDecision=67000 #constraints=20739 874.34/874.71 c nbDecision=67500 #constraints=20840 888.23/888.63 c nbDecision=68000 #constraints=20997 906.22/906.62 c nbDecision=68500 #constraints=21224 912.72/913.10 c nbDecision=69000 #constraints=21288 924.62/925.06 c nbDecision=69500 #constraints=21424 939.22/939.68 c nbDecision=70000 #constraints=21589 950.41/950.88 c nbDecision=70500 #constraints=21697 963.91/964.38 c nbDecision=71000 #constraints=21834 975.30/975.74 c nbDecision=71500 #constraints=21961 989.10/989.59 c nbDecision=72000 #constraints=22132 1002.30/1002.77 c nbDecision=72500 #constraints=22278 1014.89/1015.32 c nbDecision=73000 #constraints=22412 1033.08/1033.55 c nbDecision=73500 #constraints=22618 1042.39/1042.90 c nbDecision=74000 #constraints=22700 1061.28/1061.79 c nbDecision=74500 #constraints=22906 1075.27/1075.76 c nbDecision=75000 #constraints=23079 1086.87/1087.31 c nbDecision=75500 #constraints=23205 1099.87/1100.34 c nbDecision=76000 #constraints=23334 1113.77/1114.25 c nbDecision=76500 #constraints=23479 1128.36/1128.89 c nbDecision=77000 #constraints=23665 1139.66/1140.18 c nbDecision=77500 #constraints=23769 1154.95/1155.40 c nbDecision=78000 #constraints=23923 1172.05/1172.54 c nbDecision=78500 #constraints=24124 1183.15/1183.60 c nbDecision=79000 #constraints=24237 1196.84/1197.39 c nbDecision=79500 #constraints=24386 1212.74/1213.29 c nbDecision=80000 #constraints=24552 1228.33/1228.86 c nbDecision=80500 #constraints=24718 1239.53/1240.03 c nbDecision=81000 #constraints=24811 1255.83/1256.36 c nbDecision=81500 #constraints=24964 1273.02/1273.59 c nbDecision=82000 #constraints=25145 1285.12/1285.62 c nbDecision=82500 #constraints=25269 1296.51/1297.03 c nbDecision=83000 #constraints=25366 1314.21/1314.72 c nbDecision=83500 #constraints=25543 1329.51/1330.09 c nbDecision=84000 #constraints=25714 1343.00/1343.55 c nbDecision=84500 #constraints=25829 1361.40/1361.98 c nbDecision=85000 #constraints=26007 1379.29/1379.85 c nbDecision=85500 #constraints=26200 1392.09/1392.64 c nbDecision=86000 #constraints=26333 1409.18/1409.74 c nbDecision=86500 #constraints=26509 1428.38/1428.96 c nbDecision=87000 #constraints=26684 1444.68/1445.29 c nbDecision=87500 #constraints=26854 1455.57/1456.12 c nbDecision=88000 #constraints=26943 1472.46/1473.08 c nbDecision=88500 #constraints=27095 1490.86/1491.48 c nbDecision=89000 #constraints=27271 1503.56/1504.15 c nbDecision=89500 #constraints=27385 1521.45/1522.04 c nbDecision=90000 #constraints=27558 1534.64/1535.24 c nbDecision=90500 #constraints=27669 1553.75/1554.36 c nbDecision=91000 #constraints=27887 1567.44/1568.09 c nbDecision=91500 #constraints=28003 1586.54/1587.10 c nbDecision=92000 #constraints=28170 1598.13/1598.78 c nbDecision=92500 #constraints=28277 1614.23/1614.88 c nbDecision=93000 #constraints=28448 1633.12/1633.76 c nbDecision=93500 #constraints=28621 1650.22/1650.83 c nbDecision=94000 #constraints=28773 1671.21/1671.82 c nbDecision=94500 #constraints=28963 1684.00/1684.62 c nbDecision=95000 #constraints=29056 1702.00/1702.67 c nbDecision=95500 #constraints=29213 1718.80/1719.46 c nbDecision=96000 #constraints=29368 1737.19/1737.84 c nbDecision=96500 #constraints=29553 1749.40/1750.04 c nbDecision=97000 #constraints=29640 1772.59/1773.23 c nbDecision=97500 #constraints=29856 1790.97/1791.60 c nbDecision=98000 #constraints=30021 1800.09/1800.71 Received signal 15 1800.09/1800.72 1800.09/1800.72 s UNKNOWN 1800.09/1800.72 1800.09/1800.72 c user time= 1799.62 s 1800.09/1800.72 c system time= 0.480926 s 1800.09/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/node45/watcher-357313-1176994168 -o ROOT/results/node45/solver-357313-1176994168 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357313-1176994168/instance-357313-1176994168.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.92 1.00 0.99 3/77 31932 /proc/meminfo: memFree=1766152/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=1468 CPUtime=0 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 54262408 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135174380 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 367 160 127 317 0 46 0 [startup+0.0819711 s] /proc/loadavg: 0.92 1.00 0.99 3/77 31932 /proc/meminfo: memFree=1766152/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=2692 CPUtime=0.07 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 499 0 0 0 7 0 0 0 18 0 1 0 54262408 2756608 481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 673 481 137 317 0 352 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2692 [startup+0.101972 s] /proc/loadavg: 0.92 1.00 0.99 3/77 31932 /proc/meminfo: memFree=1766152/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=2824 CPUtime=0.09 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 528 0 0 0 9 0 0 0 18 0 1 0 54262408 2891776 510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 706 510 137 317 0 385 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2824 [startup+0.301993 s] /proc/loadavg: 0.92 1.00 0.99 3/77 31932 /proc/meminfo: memFree=1766152/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=3088 CPUtime=0.29 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 624 0 0 0 29 0 0 0 19 0 1 0 54262408 3162112 606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746916 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 772 606 170 317 0 451 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3088 [startup+0.701033 s] /proc/loadavg: 0.92 1.00 0.99 3/77 31932 /proc/meminfo: memFree=1766152/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=3348 CPUtime=0.69 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 697 0 0 0 69 0 0 0 22 0 1 0 54262408 3428352 679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563746 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 837 679 170 317 0 516 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3348 [startup+1.50111 s] /proc/loadavg: 0.92 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1763904/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=4000 CPUtime=1.49 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 842 0 0 0 149 0 0 0 25 0 1 0 54262408 4096000 824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 1000 824 170 317 0 679 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4000 [startup+3.10128 s] /proc/loadavg: 0.92 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1762880/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=5200 CPUtime=3.09 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 1130 0 0 0 309 0 0 0 25 0 1 0 54262408 5324800 1112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 1300 1112 170 317 0 979 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5200 [startup+6.3016 s] /proc/loadavg: 0.93 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1760448/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=7280 CPUtime=6.28 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 1677 0 0 0 628 0 0 0 25 0 1 0 54262408 7454720 1659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 1820 1659 170 317 0 1499 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 7280 [startup+12.7013 s] /proc/loadavg: 0.93 1.00 0.99 3/78 31933 /proc/meminfo: memFree=1756552/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=11052 CPUtime=12.69 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 2610 0 0 0 1267 2 0 0 25 0 1 0 54262408 11317248 2592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 2763 2592 170 317 0 2442 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11052 [startup+25.5015 s] /proc/loadavg: 0.95 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1750408/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=17332 CPUtime=25.48 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 4073 0 0 0 2546 2 0 0 25 0 1 0 54262408 17747968 4055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 4333 4055 170 317 0 4012 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17332 [startup+51.1011 s] /proc/loadavg: 0.96 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1742408/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=26296 CPUtime=51.08 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 6126 0 0 0 5103 5 0 0 25 0 1 0 54262408 26927104 6108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 6574 6108 170 317 0 6253 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26296 [startup+102.305 s] /proc/loadavg: 0.98 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1731400/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=36604 CPUtime=102.26 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 8785 0 0 0 10219 7 0 0 25 0 1 0 54262408 37482496 8767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715652 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 9151 8767 170 317 0 8830 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 36604 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1720712/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=49376 CPUtime=162.25 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 11523 0 0 0 16215 10 0 0 25 0 1 0 54262408 50561024 11447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 12344 11447 170 317 0 12023 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49376 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1712328/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=58220 CPUtime=222.23 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 13584 0 0 0 22211 12 0 0 25 0 1 0 54262408 59617280 13508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 14555 13508 170 317 0 14234 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 58220 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1706184/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=63788 CPUtime=282.22 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 15118 0 0 0 28208 14 0 0 25 0 1 0 54262408 65318912 15042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 15947 15042 170 317 0 15626 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 63788 [startup+342.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1700616/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=68808 CPUtime=342.2 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 16498 0 0 0 34205 15 0 0 25 0 1 0 54262408 70459392 16422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 17202 16422 170 317 0 16881 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 68808 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1695560/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=73668 CPUtime=402.18 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 17779 0 0 0 40201 17 0 0 25 0 1 0 54262408 75436032 17703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 18417 17703 170 317 0 18096 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 73668 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1690760/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=77828 CPUtime=462.16 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 18964 0 0 0 46198 18 0 0 25 0 1 0 54262408 79695872 18888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 19457 18888 170 317 0 19136 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 77828 [startup+522.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1686216/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=82120 CPUtime=522.15 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 20108 0 0 0 52195 20 0 0 25 0 1 0 54262408 84090880 20032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 20530 20032 170 317 0 20209 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 82120 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1680456/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=94640 CPUtime=582.12 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 22796 0 0 0 58191 21 0 0 25 0 1 0 54262408 96911360 21451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 23660 21451 170 317 0 23339 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 94640 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 31933 /proc/meminfo: memFree=1676424/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=98428 CPUtime=642.11 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 23825 0 0 0 64189 22 0 0 25 0 1 0 54262408 100790272 22447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 24607 22447 170 317 0 24286 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 98428 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 32131 /proc/meminfo: memFree=1660680/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=115480 CPUtime=881.93 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 28268 0 0 0 88163 30 0 0 25 0 1 0 54262408 118251520 26329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 28870 26329 170 317 0 28549 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 115480 [startup+942.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 32131 /proc/meminfo: memFree=1657416/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=118356 CPUtime=941.91 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 29091 0 0 0 94160 31 0 0 25 0 1 0 54262408 121196544 27152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 29589 27152 170 317 0 29268 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 118356 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 32131 /proc/meminfo: memFree=1654216/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=120968 CPUtime=1001.9 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 29890 0 0 0 100158 32 0 0 25 0 1 0 54262408 123871232 27951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 30242 27951 170 317 0 29921 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 120968 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 32131 /proc/meminfo: memFree=1651080/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=123836 CPUtime=1061.88 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 30675 0 0 0 106155 33 0 0 25 0 1 0 54262408 126808064 28736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 30959 28736 170 317 0 30638 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 123836 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 32133 /proc/meminfo: memFree=1647880/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=126576 CPUtime=1121.86 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 31473 0 0 0 112152 34 0 0 25 0 1 0 54262408 129613824 29534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 31644 29534 170 317 0 31323 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 126576 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 32133 /proc/meminfo: memFree=1645000/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=129344 CPUtime=1181.84 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 32260 0 0 0 118149 35 0 0 25 0 1 0 54262408 132448256 30288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 32336 30288 170 317 0 32015 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 129344 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 32133 /proc/meminfo: memFree=1641928/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=131816 CPUtime=1241.83 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 33017 0 0 0 124147 36 0 0 25 0 1 0 54262408 134979584 31045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 32954 31045 170 317 0 32633 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 131816 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 32133 /proc/meminfo: memFree=1639112/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=134160 CPUtime=1301.81 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 33706 0 0 0 130144 37 0 0 25 0 1 0 54262408 137379840 31734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 33540 31734 170 317 0 33219 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 134160 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/78 32133 /proc/meminfo: memFree=1636296/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=136904 CPUtime=1361.8 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 34450 0 0 0 136141 39 0 0 25 0 1 0 54262408 140189696 32445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 34226 32445 170 317 0 33905 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 136904 [startup+1422.31 s] /proc/loadavg: 1.04 1.01 1.00 2/78 32133 /proc/meminfo: memFree=1633352/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=139640 CPUtime=1421.78 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 35243 0 0 0 142138 40 0 0 25 0 1 0 54262408 142991360 33172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 34910 33172 170 317 0 34589 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 139640 [startup+1482.3 s] /proc/loadavg: 1.05 1.02 1.00 2/78 32133 /proc/meminfo: memFree=1630728/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=141992 CPUtime=1481.76 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 35909 0 0 0 148135 41 0 0 25 0 1 0 54262408 145399808 33838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 35498 33838 170 317 0 35177 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 141992 [startup+1542.3 s] /proc/loadavg: 1.06 1.03 1.00 2/78 32133 /proc/meminfo: memFree=1627912/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=144376 CPUtime=1541.75 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 36605 0 0 0 154132 43 0 0 25 0 1 0 54262408 147841024 34534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564053 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 36094 34534 170 317 0 35773 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 144376 [startup+1602.3 s] /proc/loadavg: 1.09 1.05 1.01 2/78 32133 /proc/meminfo: memFree=1625288/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=146728 CPUtime=1601.73 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 37274 0 0 0 160129 44 0 0 25 0 1 0 54262408 150249472 35203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 36682 35203 170 317 0 36361 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 146728 [startup+1662.3 s] /proc/loadavg: 1.08 1.05 1.01 2/78 32133 /proc/meminfo: memFree=1622600/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=148944 CPUtime=1661.71 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 37935 0 0 0 166126 45 0 0 25 0 1 0 54262408 152518656 35864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 37236 35864 170 317 0 36915 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 148944 [startup+1722.3 s] /proc/loadavg: 1.03 1.04 1.00 2/78 32133 /proc/meminfo: memFree=1620040/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=151176 CPUtime=1721.7 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 38568 0 0 0 172124 46 0 0 25 0 1 0 54262408 154804224 36497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 37794 36497 170 317 0 37473 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 151176 [startup+1782.3 s] /proc/loadavg: 1.01 1.03 1.00 2/78 32133 /proc/meminfo: memFree=1617288/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=153412 CPUtime=1781.68 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 39261 0 0 0 178121 47 0 0 25 0 1 0 54262408 157093888 37190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 38353 37190 170 317 0 38032 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 153412 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.03 1.00 2/78 32133 /proc/meminfo: memFree=1616648/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=153932 CPUtime=1800.09 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 39414 0 0 0 179961 48 0 0 25 0 1 0 54262408 157626368 37343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 38483 37343 170 317 0 38162 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 153932 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: 1.00 1.03 1.00 2/78 32133 /proc/meminfo: memFree=1616648/2055920 swapFree=4157496/4192956 [pid=31932] ppid=31930 vsize=153932 CPUtime=1800.09 /proc/31932/stat : 31932 (oree) R 31930 31932 30667 0 -1 4194304 39414 0 0 0 179961 48 0 0 25 0 1 0 54262408 157626368 37343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31932/statm: 38483 37343 170 317 0 38162 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 153932 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.14 CPU user time (s): 1799.63 CPU system time (s): 0.504923 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 153932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.63 system time used= 0.504923 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39430 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= 23111 runsolver used 2.03169 second user time and 4.53731 second system time The end
Begin job on node45 on Thu Apr 19 14:49:28 UTC 2007 IDJOB= 357313 IDBENCH= 2384 IDSOLVER= 172 FILE ID= node45/357313-1176994168 PBS_JOBID= 4630416 Free space on /tmp= 66446 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing2.opb COMMAND LINE= oree /tmp/evaluation/357313-1176994168/instance-357313-1176994168.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-357313-1176994168 -o ROOT/results/node45/solver-357313-1176994168 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357313-1176994168/instance-357313-1176994168.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 5e2e92f5cdf687685f560235d961ce1c RANDOM SEED= 205329986 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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.218 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.218 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: 1766624 kB Buffers: 37096 kB Cached: 185192 kB SwapCached: 15576 kB Active: 131632 kB Inactive: 115948 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1766624 kB SwapTotal: 4192956 kB SwapFree: 4157496 kB Dirty: 1640 kB Writeback: 0 kB Mapped: 32380 kB Slab: 27308 kB Committed_AS: 1169916 kB PageTables: 1736 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66446 MiB End job on node45 on Thu Apr 19 15:19:31 UTC 2007