Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.24 | 1801.02 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-share1b.opb |
MD5SUM | bba1c13067ee4807fb3278415b1e1268 |
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 | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6750 |
Total number of constraints | 117 |
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 | 117 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1110 |
Number of terms in the objective function | 930 |
Biggest coefficient in the objective function | 52096 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 525037 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262126 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525113 |
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.09/0.10 c ...done 0.09/0.10 c #vars=6750 #constraints=207 hasObjective=yes 0.09/0.14 c res. mode=mod 0.09/0.14 c VSIDS like heuristics 0.09/0.14 c complete search running 0.69/0.71 c restart after 401 decisions 0.69/0.77 c nbDecision=500 #constraints=635 1.29/1.34 c restart after 801 decisions 1.59/1.63 c nbDecision=1000 #constraints=1115 2.39/2.47 c nbDecision=1500 #constraints=1615 2.59/2.66 c restart after 1601 decisions 3.30/3.35 c nbDecision=2000 #constraints=2070 4.29/4.35 c nbDecision=2500 #constraints=2570 5.50/5.55 c nbDecision=3000 #constraints=3070 5.99/6.03 c restart after 3201 decisions 6.79/6.80 c nbDecision=3500 #constraints=3550 7.99/8.09 c nbDecision=4000 #constraints=4051 9.38/9.50 c nbDecision=4500 #constraints=4550 10.89/10.98 c nbDecision=5000 #constraints=5050 12.58/12.62 c nbDecision=5500 #constraints=5550 14.18/14.28 c nbDecision=6000 #constraints=6050 15.69/15.75 c restart after 6401 decisions 16.09/16.16 c nbDecision=6500 #constraints=6507 17.89/17.92 c nbDecision=7000 #constraints=7007 19.48/19.58 c nbDecision=7500 #constraints=7507 21.09/21.19 c nbDecision=8000 #constraints=8007 23.18/23.24 c nbDecision=8500 #constraints=8507 25.08/25.11 c nbDecision=9000 #constraints=9007 27.18/27.21 c nbDecision=9500 #constraints=9507 29.38/29.48 c nbDecision=10000 #constraints=10007 31.48/31.53 c nbDecision=10500 #constraints=10507 34.08/34.13 c nbDecision=11000 #constraints=11007 36.47/36.52 c nbDecision=11500 #constraints=11507 39.07/39.11 c nbDecision=12000 #constraints=12007 41.78/41.87 c nbDecision=12500 #constraints=12507 43.27/43.37 c restart after 12801 decisions 45.18/45.21 c nbDecision=13000 #constraints=12964 48.68/48.70 c nbDecision=13500 #constraints=13464 52.27/52.36 c nbDecision=14000 #constraints=13963 56.07/56.12 c nbDecision=14500 #constraints=14464 60.06/60.11 c nbDecision=15000 #constraints=14963 64.07/64.18 c nbDecision=15500 #constraints=15464 68.27/68.31 c nbDecision=16000 #constraints=15963 72.57/72.68 c nbDecision=16500 #constraints=16463 77.07/77.17 c nbDecision=17000 #constraints=16963 81.66/81.73 c nbDecision=17500 #constraints=17463 86.36/86.43 c nbDecision=18000 #constraints=17963 91.16/91.30 c nbDecision=18500 #constraints=18463 96.15/96.28 c nbDecision=19000 #constraints=18963 101.36/101.40 c nbDecision=19500 #constraints=19463 106.55/106.63 c nbDecision=20000 #constraints=19963 111.95/112.04 c nbDecision=20500 #constraints=20463 117.55/117.67 c nbDecision=21000 #constraints=20963 123.25/123.33 c nbDecision=21500 #constraints=21463 129.14/129.21 c nbDecision=22000 #constraints=21963 135.14/135.20 c nbDecision=22500 #constraints=22463 141.23/141.37 c nbDecision=23000 #constraints=22963 147.54/147.69 c nbDecision=23500 #constraints=23463 154.43/154.58 c nbDecision=24000 #constraints=23963 161.64/161.74 c nbDecision=24500 #constraints=24463 169.13/169.22 c nbDecision=25000 #constraints=24963 176.62/176.74 c nbDecision=25500 #constraints=25463 178.23/178.31 c restart after 25601 decisions 185.62/185.77 c nbDecision=26000 #constraints=25923 193.42/193.55 c nbDecision=26500 #constraints=26424 201.41/201.58 c nbDecision=27000 #constraints=26923 209.51/209.63 c nbDecision=27500 #constraints=27423 217.61/217.72 c nbDecision=28000 #constraints=27923 225.91/226.08 c nbDecision=28500 #constraints=28423 234.40/234.57 c nbDecision=29000 #constraints=28923 242.90/243.08 c nbDecision=29500 #constraints=29423 251.49/251.65 c nbDecision=30000 #constraints=29923 260.19/260.32 c nbDecision=30500 #constraints=30423 268.99/269.18 c nbDecision=31000 #constraints=30923 277.98/278.16 c nbDecision=31500 #constraints=31423 287.08/287.28 c nbDecision=32000 #constraints=31923 296.38/296.59 c nbDecision=32500 #constraints=32423 305.78/305.99 c nbDecision=33000 #constraints=32923 315.47/315.62 c nbDecision=33500 #constraints=33423 324.96/325.15 c nbDecision=34000 #constraints=33923 334.56/334.75 c nbDecision=34500 #constraints=34423 344.46/344.68 c nbDecision=35000 #constraints=34923 354.56/354.76 c nbDecision=35500 #constraints=35423 364.56/364.74 c nbDecision=36000 #constraints=35923 374.65/374.85 c nbDecision=36500 #constraints=36423 385.95/386.18 c nbDecision=37000 #constraints=36921 397.14/397.39 c nbDecision=37500 #constraints=37421 408.54/408.78 c nbDecision=38000 #constraints=37921 420.03/420.28 c nbDecision=38500 #constraints=38421 431.83/432.09 c nbDecision=39000 #constraints=38921 443.82/444.01 c nbDecision=39500 #constraints=39421 455.72/455.99 c nbDecision=40000 #constraints=39921 467.81/468.09 c nbDecision=40500 #constraints=40421 480.01/480.20 c nbDecision=41000 #constraints=40921 492.31/492.57 c nbDecision=41500 #constraints=41421 504.80/505.04 c nbDecision=42000 #constraints=41921 517.39/517.60 c nbDecision=42500 #constraints=42421 530.00/530.28 c nbDecision=43000 #constraints=42921 542.69/542.97 c nbDecision=43500 #constraints=43421 555.48/555.77 c nbDecision=44000 #constraints=43921 568.38/568.63 c nbDecision=44500 #constraints=44422 581.27/581.52 c nbDecision=45000 #constraints=44921 595.27/595.57 c nbDecision=45500 #constraints=45421 609.56/609.86 c nbDecision=46000 #constraints=45921 623.95/624.29 c nbDecision=46500 #constraints=46421 638.55/638.85 c nbDecision=47000 #constraints=46921 653.34/653.64 c nbDecision=47500 #constraints=47421 668.04/668.37 c nbDecision=48000 #constraints=47921 682.94/683.27 c nbDecision=48500 #constraints=48421 698.13/698.43 c nbDecision=49000 #constraints=48921 713.33/713.62 c nbDecision=49500 #constraints=49421 728.52/728.89 c nbDecision=50000 #constraints=49921 743.81/744.13 c nbDecision=50500 #constraints=50421 759.41/759.80 c nbDecision=51000 #constraints=50921 765.80/766.17 c restart after 51201 decisions 775.31/775.66 c nbDecision=51500 #constraints=51354 785.20/785.59 c nbDecision=52000 #constraints=51854 792.09/792.43 c nbDecision=52500 #constraints=52354 799.79/800.12 c nbDecision=53000 #constraints=52854 809.49/809.82 c nbDecision=53500 #constraints=53354 815.38/815.73 c nbDecision=54000 #constraints=53854 824.58/824.95 c nbDecision=54500 #constraints=54354 833.77/834.15 c nbDecision=55000 #constraints=54854 845.17/845.57 c nbDecision=55500 #constraints=55354 864.27/864.70 c nbDecision=56000 #constraints=55854 883.86/884.25 c nbDecision=56500 #constraints=56354 903.15/903.53 c nbDecision=57000 #constraints=56854 923.54/923.96 c nbDecision=57500 #constraints=57354 943.34/943.75 c nbDecision=58000 #constraints=57854 964.03/964.47 c nbDecision=58500 #constraints=58355 984.92/985.31 c nbDecision=59000 #constraints=58854 1006.31/1006.70 c nbDecision=59500 #constraints=59354 1027.81/1028.26 c nbDecision=60000 #constraints=59854 1049.20/1049.63 c nbDecision=60500 #constraints=60355 1071.79/1072.23 c nbDecision=61000 #constraints=60854 1095.08/1095.53 c nbDecision=61500 #constraints=61354 1119.17/1119.64 c nbDecision=62000 #constraints=61854 1144.16/1144.69 c nbDecision=62500 #constraints=62354 1169.25/1169.71 c nbDecision=63000 #constraints=62854 1195.35/1195.87 c nbDecision=63500 #constraints=63355 1220.93/1221.41 c nbDecision=64000 #constraints=63854 1246.63/1247.14 c nbDecision=64500 #constraints=64354 1273.91/1274.45 c nbDecision=65000 #constraints=64854 1300.31/1300.84 c nbDecision=65500 #constraints=65354 1325.90/1326.44 c nbDecision=66000 #constraints=65854 1352.38/1352.97 c nbDecision=66500 #constraints=66354 1379.88/1380.43 c nbDecision=67000 #constraints=66854 1407.76/1408.38 c nbDecision=67500 #constraints=67353 1436.86/1437.45 c nbDecision=68000 #constraints=67853 1465.94/1466.50 c nbDecision=68500 #constraints=68353 1494.13/1494.77 c nbDecision=69000 #constraints=68853 1523.42/1524.05 c nbDecision=69500 #constraints=69353 1552.61/1553.24 c nbDecision=70000 #constraints=69853 1583.09/1583.75 c nbDecision=70500 #constraints=70353 1615.09/1615.77 c nbDecision=71000 #constraints=70854 1646.38/1647.04 c nbDecision=71500 #constraints=71353 1677.56/1678.22 c nbDecision=72000 #constraints=71853 1710.05/1710.78 c nbDecision=72500 #constraints=72353 1742.57/1743.36 c nbDecision=73000 #constraints=72853 1776.02/1776.86 c nbDecision=73500 #constraints=73353 1800.02/1800.80 Received signal 15 1800.02/1800.87 1800.02/1800.87 s UNKNOWN 1800.02/1800.87 1800.02/1800.87 c user time= 1798.76 s 1800.02/1800.87 c system time= 1.3358 s 1800.02/1800.87 c wall clock time=1800.87
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-362888-1176849139 -o ROOT/results/node42/solver-362888-1176849139 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362888-1176849139/instance-362888-1176849139.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.98 0.99 3/77 25721 /proc/meminfo: memFree=1593896/2055920 swapFree=4058188/4192956 [pid=25721] ppid=25719 vsize=1468 CPUtime=0 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 132825785 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 367 165 131 317 0 46 0 [startup+0.102218 s] /proc/loadavg: 0.91 0.98 0.99 3/77 25721 /proc/meminfo: memFree=1593896/2055920 swapFree=4058188/4192956 [pid=25721] ppid=25719 vsize=3916 CPUtime=0.09 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 761 0 0 0 9 0 0 0 18 0 1 0 132825785 4009984 743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 979 743 131 317 0 658 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3916 [startup+0.201237 s] /proc/loadavg: 0.91 0.98 0.99 3/77 25721 /proc/meminfo: memFree=1593896/2055920 swapFree=4058188/4192956 [pid=25721] ppid=25719 vsize=5504 CPUtime=0.19 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 1157 0 0 0 19 0 0 0 18 0 1 0 132825785 5636096 1139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 1376 1139 139 317 0 1055 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5504 [startup+0.301256 s] /proc/loadavg: 0.91 0.98 0.99 3/77 25721 /proc/meminfo: memFree=1593896/2055920 swapFree=4058188/4192956 [pid=25721] ppid=25719 vsize=5768 CPUtime=0.29 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 1239 0 0 0 29 0 0 0 19 0 1 0 132825785 5906432 1221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271361 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 1442 1221 139 317 0 1121 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5768 [startup+0.701332 s] /proc/loadavg: 0.91 0.98 0.99 3/77 25721 /proc/meminfo: memFree=1593896/2055920 swapFree=4058188/4192956 [pid=25721] ppid=25719 vsize=7472 CPUtime=0.69 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 1661 0 0 0 69 0 0 0 23 0 1 0 132825785 7651328 1643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 1868 1643 139 317 0 1547 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7472 [startup+1.50148 s] /proc/loadavg: 0.91 0.98 0.99 2/78 25722 /proc/meminfo: memFree=1585440/2055920 swapFree=4058188/4192956 [pid=25721] ppid=25719 vsize=11452 CPUtime=1.49 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 2670 0 0 0 148 1 0 0 25 0 1 0 132825785 11726848 2652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 2863 2652 139 317 0 2542 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11452 [startup+3.10179 s] /proc/loadavg: 0.91 0.98 0.99 2/78 25722 /proc/meminfo: memFree=1580512/2055920 swapFree=4058188/4192956 [pid=25721] ppid=25719 vsize=17924 CPUtime=3.09 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 4288 0 0 0 307 2 0 0 25 0 1 0 132825785 18354176 4270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 4481 4270 139 317 0 4160 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17924 [startup+6.3014 s] /proc/loadavg: 0.92 0.98 0.99 2/78 25722 /proc/meminfo: memFree=1565792/2055920 swapFree=4058188/4192956 [pid=25721] ppid=25719 vsize=31800 CPUtime=6.29 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 7658 0 0 0 626 3 0 0 25 0 1 0 132825785 32563200 7640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 7950 7640 139 317 0 7629 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31800 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.99 2/78 25722 /proc/meminfo: memFree=1548336/2055920 swapFree=4058188/4192956 [pid=25721] ppid=25719 vsize=49052 CPUtime=12.68 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 11739 0 0 0 1263 5 0 0 25 0 1 0 132825785 50229248 11721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 12263 11721 139 317 0 11942 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49052 [startup+25.5011 s] /proc/loadavg: 0.94 0.98 0.99 2/78 25722 /proc/meminfo: memFree=1514352/2055920 swapFree=4058188/4192956 [pid=25721] ppid=25719 vsize=85468 CPUtime=25.48 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 20126 0 0 0 2538 10 0 0 25 0 1 0 132825785 87519232 20050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710866 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 21367 20050 139 317 0 21046 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 85468 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 25722 /proc/meminfo: memFree=1473264/2055920 swapFree=4058188/4192956 [pid=25721] ppid=25719 vsize=127224 CPUtime=51.07 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 30986 0 0 0 5090 17 0 0 25 0 1 0 132825785 130277376 30910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 31806 30910 139 317 0 31485 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 127224 [startup+102.302 s] /proc/loadavg: 0.98 0.98 0.99 2/78 25722 /proc/meminfo: memFree=1413872/2055920 swapFree=4058188/4192956 [pid=25721] ppid=25719 vsize=191892 CPUtime=102.26 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 47236 0 0 0 10199 27 0 0 25 0 1 0 132825785 196497408 44934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 47973 44934 139 317 0 47652 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 191892 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25722 /proc/meminfo: memFree=1358512/2055920 swapFree=4058252/4192956 [pid=25721] ppid=25719 vsize=245956 CPUtime=162.23 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 61641 0 0 0 16189 34 0 0 25 0 1 0 132825785 251858944 58844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 61489 58844 139 317 0 61168 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 245956 [startup+222.307 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25722 /proc/meminfo: memFree=1323952/2055920 swapFree=4058252/4192956 [pid=25721] ppid=25719 vsize=276340 CPUtime=222.22 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 70151 0 0 0 22182 40 0 0 25 0 1 0 132825785 282972160 67354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 69085 67354 139 317 0 68764 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 276340 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25722 /proc/meminfo: memFree=1291824/2055920 swapFree=4058316/4192956 [pid=25721] ppid=25719 vsize=305484 CPUtime=282.19 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 78311 0 0 0 28175 44 0 0 25 0 1 0 132825785 312815616 75481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 76371 75481 139 317 0 76050 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 305484 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25722 /proc/meminfo: memFree=1257968/2055920 swapFree=4058316/4192956 [pid=25721] ppid=25719 vsize=364240 CPUtime=342.16 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 93000 0 0 0 34166 50 0 0 25 0 1 0 132825785 372981760 83832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278970 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 91060 83832 139 317 0 90739 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 364240 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=1221488/2055920 swapFree=4058316/4192956 [pid=25721] ppid=25719 vsize=406012 CPUtime=402.14 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 103223 0 0 0 40158 56 0 0 25 0 1 0 132825785 415756288 92982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 101503 92982 139 317 0 101182 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 406012 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=1196912/2055920 swapFree=4058380/4192956 [pid=25721] ppid=25719 vsize=428188 CPUtime=462.12 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 109418 0 0 0 46151 61 0 0 25 0 1 0 132825785 438464512 99079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 107047 99079 139 317 0 106726 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 428188 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=1173168/2055920 swapFree=4058380/4192956 [pid=25721] ppid=25719 vsize=449644 CPUtime=522.09 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 115474 0 0 0 52145 64 0 0 25 0 1 0 132825785 460435456 105037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 112411 105037 139 317 0 112090 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 449644 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=1146928/2055920 swapFree=4058444/4192956 [pid=25721] ppid=25719 vsize=472440 CPUtime=582.07 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 122012 0 0 0 58139 68 0 0 25 0 1 0 132825785 483778560 111575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 118110 111575 139 317 0 117789 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 472440 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=1126384/2055920 swapFree=4058444/4192956 [pid=25721] ppid=25719 vsize=490940 CPUtime=642.05 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 127207 0 0 0 64134 71 0 0 25 0 1 0 132825785 502722560 116705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 122735 116705 139 317 0 122414 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 490940 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=1011440/2055920 swapFree=4058572/4192956 [pid=25721] ppid=25719 vsize=593948 CPUtime=941.94 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 156318 0 0 0 94102 92 0 0 25 0 1 0 132825785 608202752 145455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 148487 145455 170 317 0 148166 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 593948 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=991984/2055920 swapFree=4058636/4192956 [pid=25721] ppid=25719 vsize=612220 CPUtime=1001.91 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 161124 0 0 0 100097 94 0 0 25 0 1 0 132825785 626913280 150261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 153055 150261 170 317 0 152734 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 612220 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=961776/2055920 swapFree=4058636/4192956 [pid=25721] ppid=25719 vsize=649256 CPUtime=1061.89 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 168678 0 0 0 106092 97 0 0 25 0 1 0 132825785 664838144 157815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 162314 157815 170 317 0 161993 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 649256 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=942384/2055920 swapFree=4058636/4192956 [pid=25721] ppid=25719 vsize=666112 CPUtime=1121.87 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 173472 0 0 0 112087 100 0 0 25 0 1 0 132825785 682098688 162609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 166528 162609 170 317 0 166207 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 666112 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=923120/2055920 swapFree=4058700/4192956 [pid=25721] ppid=25719 vsize=684096 CPUtime=1181.84 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 178454 0 0 0 118081 103 0 0 25 0 1 0 132825785 700514304 167493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 171024 167493 170 317 0 170703 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 684096 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=904304/2055920 swapFree=4058700/4192956 [pid=25721] ppid=25719 vsize=700788 CPUtime=1241.82 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 183133 0 0 0 124077 105 0 0 25 0 1 0 132825785 717606912 172139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 175197 172139 170 317 0 174876 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 700788 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=887344/2055920 swapFree=4058764/4192956 [pid=25721] ppid=25719 vsize=716264 CPUtime=1301.8 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 187548 0 0 0 130072 108 0 0 25 0 1 0 132825785 733454336 176359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 179066 176359 170 317 0 178745 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 716264 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=869936/2055920 swapFree=4058764/4192956 [pid=25721] ppid=25719 vsize=790380 CPUtime=1361.78 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 205792 0 0 0 136063 115 0 0 25 0 1 0 132825785 809349120 180670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 197595 180670 170 317 0 197274 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 790380 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=854064/2055920 swapFree=4058764/4192956 [pid=25721] ppid=25719 vsize=806436 CPUtime=1421.76 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 210170 0 0 0 142059 117 0 0 25 0 1 0 132825785 825790464 184589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 201609 184589 170 317 0 201288 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 806436 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=838512/2055920 swapFree=4058832/4192956 [pid=25721] ppid=25719 vsize=820404 CPUtime=1481.73 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 214136 0 0 0 148054 119 0 0 25 0 1 0 132825785 840093696 188555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 205101 188555 170 317 0 204780 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 820404 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=822768/2055920 swapFree=4058832/4192956 [pid=25721] ppid=25719 vsize=835848 CPUtime=1541.72 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 218524 0 0 0 154051 121 0 0 25 0 1 0 132825785 855908352 192425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 208962 192425 170 317 0 208641 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 835848 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=806640/2055920 swapFree=4058896/4192956 [pid=25721] ppid=25719 vsize=858892 CPUtime=1601.69 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 224658 0 0 0 160045 124 0 0 25 0 1 0 132825785 879505408 196495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 214723 196495 170 317 0 214402 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 858892 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=791088/2055920 swapFree=4058896/4192956 [pid=25721] ppid=25719 vsize=872264 CPUtime=1661.66 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 228491 0 0 0 166040 126 0 0 25 0 1 0 132825785 893198336 200328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 218066 200328 170 317 0 217745 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 872264 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25724 /proc/meminfo: memFree=777264/2055920 swapFree=4058896/4192956 [pid=25721] ppid=25719 vsize=884464 CPUtime=1721.63 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 232020 0 0 0 172035 128 0 0 25 0 1 0 132825785 905691136 203792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 221116 203792 170 317 0 220795 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 884464 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25922 /proc/meminfo: memFree=762848/2055920 swapFree=4058960/4192956 [pid=25721] ppid=25719 vsize=897028 CPUtime=1781.52 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 235583 0 0 0 178020 132 0 0 25 0 1 0 132825785 918556672 207290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 224257 207290 170 317 0 223936 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 897028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25922 /proc/meminfo: memFree=758640/2055920 swapFree=4058960/4192956 [pid=25721] ppid=25719 vsize=900892 CPUtime=1800.02 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194304 236676 0 0 0 179869 133 0 0 25 0 1 0 132825785 922513408 208383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 225223 208383 170 317 0 224902 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 900892 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25922 /proc/meminfo: memFree=758640/2055920 swapFree=4058960/4192956 [pid=25721] ppid=25719 vsize=0 CPUtime=1800.11 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194308 236707 0 0 0 179876 135 0 0 25 0 1 0 132825785 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 [startup+1801 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25922 /proc/meminfo: memFree=758640/2055920 swapFree=4058960/4192956 [pid=25721] ppid=25719 vsize=0 CPUtime=1800.21 /proc/25721/stat : 25721 (oree) R 25719 25721 25378 0 -1 4194308 236707 0 0 0 179876 145 0 0 25 0 1 0 132825785 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25721/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.02 CPU time (s): 1800.24 CPU user time (s): 1798.77 CPU system time (s): 1.46978 CPU usage (%): 99.9566 Max. virtual memory (cumulated for all children) (KiB): 900892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.77 system time used= 1.46978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 236707 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= 35951 runsolver used 2.03869 second user time and 4.52731 second system time The end
Begin job on node42 on Tue Apr 17 22:32:19 UTC 2007 IDJOB= 362888 IDBENCH= 1679 IDSOLVER= 172 FILE ID= node42/362888-1176849139 PBS_JOBID= 4590185 Free space on /tmp= 66463 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-share1b.opb COMMAND LINE= oree /tmp/evaluation/362888-1176849139/instance-362888-1176849139.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-362888-1176849139 -o ROOT/results/node42/solver-362888-1176849139 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362888-1176849139/instance-362888-1176849139.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= bba1c13067ee4807fb3278415b1e1268 RANDOM SEED= 316993618 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1594240 kB Buffers: 44036 kB Cached: 303784 kB SwapCached: 34272 kB Active: 208336 kB Inactive: 187304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1594240 kB SwapTotal: 4192956 kB SwapFree: 4058188 kB Dirty: 1652 kB Writeback: 0 kB Mapped: 39008 kB Slab: 51364 kB Committed_AS: 2955020 kB PageTables: 1912 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= 66463 MiB End job on node42 on Tue Apr 17 23:02:22 UTC 2007