Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.28 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-timtab2.opb |
MD5SUM | 1f089a89b25a106d39527c716bfdba75 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 197642 |
Best CPU time to get the best result obtained on this benchmark | 1800.31 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 197642 |
Optimality of the best value was proved | NO |
Number of variables | 6363 |
Total number of constraints | 785 |
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 | 785 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 141 |
Number of terms in the objective function | 3774 |
Biggest coefficient in the objective function | 3908 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 526487 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 165132 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 526487 |
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=6363 #constraints=1080 hasObjective=yes 0.19/0.22 c res. mode=mod 0.19/0.22 c VSIDS like heuristics 0.19/0.22 c complete search running 0.29/0.30 c restart after 401 decisions 0.29/0.31 c nbDecision=500 #constraints=1123 0.29/0.38 c restart after 801 decisions 0.39/0.42 c nbDecision=1000 #constraints=1202 0.49/0.54 c nbDecision=1500 #constraints=1282 0.49/0.56 c restart after 1601 decisions 0.59/0.64 c nbDecision=2000 #constraints=1340 0.69/0.75 c nbDecision=2500 #constraints=1381 0.79/0.89 c nbDecision=3000 #constraints=1460 0.89/0.93 c restart after 3201 decisions 0.99/1.00 c nbDecision=3500 #constraints=1511 1.09/1.13 c nbDecision=4000 #constraints=1600 1.18/1.29 c nbDecision=4500 #constraints=1722 1.38/1.46 c nbDecision=5000 #constraints=1837 1.58/1.62 c nbDecision=5500 #constraints=1937 1.78/1.80 c nbDecision=6000 #constraints=2035 1.88/1.96 c restart after 6401 decisions 1.88/1.99 c nbDecision=6500 #constraints=2122 2.10/2.11 c nbDecision=7000 #constraints=2162 2.20/2.20 c nbDecision=7500 #constraints=2179 2.29/2.38 c nbDecision=8000 #constraints=2229 2.49/2.56 c nbDecision=8500 #constraints=2288 2.69/2.77 c nbDecision=9000 #constraints=2349 2.89/3.00 c nbDecision=9500 #constraints=2425 3.09/3.18 c nbDecision=10000 #constraints=2485 3.39/3.44 c nbDecision=10500 #constraints=2577 3.69/3.71 c nbDecision=11000 #constraints=2645 3.99/4.01 c nbDecision=11500 #constraints=2731 4.39/4.49 c nbDecision=12000 #constraints=2891 4.89/4.94 c nbDecision=12500 #constraints=3019 5.39/5.49 c restart after 12801 decisions 5.49/5.58 c nbDecision=13000 #constraints=3219 5.89/5.91 c nbDecision=13500 #constraints=3278 6.19/6.28 c nbDecision=14000 #constraints=3350 6.69/6.70 c nbDecision=14500 #constraints=3449 6.99/7.03 c nbDecision=15000 #constraints=3514 7.48/7.57 c nbDecision=15500 #constraints=3622 7.89/7.93 c nbDecision=16000 #constraints=3696 8.99/9.05 c nbDecision=16500 #constraints=3922 9.39/9.46 c nbDecision=17000 #constraints=4008 10.29/10.37 c nbDecision=17500 #constraints=4188 11.00/11.06 c nbDecision=18000 #constraints=4290 11.99/12.02 c nbDecision=18500 #constraints=4446 12.59/12.65 c nbDecision=19000 #constraints=4540 13.68/13.74 c nbDecision=19500 #constraints=4705 14.69/14.72 c nbDecision=20000 #constraints=4851 16.69/16.74 c nbDecision=20500 #constraints=5083 17.19/17.23 c nbDecision=21000 #constraints=5154 17.59/17.66 c nbDecision=21500 #constraints=5217 18.49/18.53 c nbDecision=22000 #constraints=5307 19.09/19.11 c nbDecision=22500 #constraints=5380 19.59/19.60 c nbDecision=23000 #constraints=5446 20.48/20.59 c nbDecision=23500 #constraints=5577 24.38/24.40 c nbDecision=24000 #constraints=5928 30.58/30.67 c nbDecision=24500 #constraints=6387 37.08/37.13 c nbDecision=25000 #constraints=6821 44.18/44.22 c nbDecision=25500 #constraints=7264 45.78/45.80 c restart after 25601 decisions 47.78/47.85 c nbDecision=26000 #constraints=7403 50.88/50.99 c nbDecision=26500 #constraints=7512 54.77/54.86 c nbDecision=27000 #constraints=7633 58.47/58.58 c nbDecision=27500 #constraints=7755 62.27/62.34 c nbDecision=28000 #constraints=7864 66.17/66.21 c nbDecision=28500 #constraints=7979 70.47/70.56 c nbDecision=29000 #constraints=8100 73.78/73.89 c nbDecision=29500 #constraints=8194 78.57/78.60 c nbDecision=30000 #constraints=8338 83.07/83.11 c nbDecision=30500 #constraints=8471 87.97/88.00 c nbDecision=31000 #constraints=8629 95.37/95.41 c nbDecision=31500 #constraints=8872 103.16/103.26 c nbDecision=32000 #constraints=9102 109.66/109.75 c nbDecision=32500 #constraints=9314 115.67/115.75 c nbDecision=33000 #constraints=9512 122.16/122.24 c nbDecision=33500 #constraints=9742 130.76/130.88 c nbDecision=34000 #constraints=10007 136.65/136.70 c nbDecision=34500 #constraints=10195 140.55/140.60 c nbDecision=35000 #constraints=10291 147.05/147.12 c nbDecision=35500 #constraints=10470 151.05/151.18 c nbDecision=36000 #constraints=10581 157.05/157.10 c nbDecision=36500 #constraints=10749 164.35/164.48 c nbDecision=37000 #constraints=10933 173.25/173.38 c nbDecision=37500 #constraints=11165 183.14/183.28 c nbDecision=38000 #constraints=11441 187.14/187.26 c nbDecision=38500 #constraints=11552 195.95/196.02 c nbDecision=39000 #constraints=11790 203.94/204.03 c nbDecision=39500 #constraints=11997 219.54/219.65 c nbDecision=40000 #constraints=12405 232.33/232.42 c nbDecision=40500 #constraints=12711 244.34/244.44 c nbDecision=41000 #constraints=13011 259.03/259.18 c nbDecision=41500 #constraints=13360 277.62/277.79 c nbDecision=42000 #constraints=13774 299.91/300.09 c nbDecision=42500 #constraints=14214 319.42/319.54 c nbDecision=43000 #constraints=14550 345.61/345.76 c nbDecision=43500 #constraints=14985 364.90/365.05 c nbDecision=44000 #constraints=15358 383.49/383.69 c nbDecision=44500 #constraints=15712 402.69/402.81 c nbDecision=45000 #constraints=16045 431.09/431.25 c nbDecision=45500 #constraints=16498 454.38/454.54 c nbDecision=46000 #constraints=16876 471.68/471.86 c nbDecision=46500 #constraints=17190 492.17/492.37 c nbDecision=47000 #constraints=17564 514.06/514.26 c nbDecision=47500 #constraints=17917 536.16/536.36 c nbDecision=48000 #constraints=18300 553.16/553.39 c nbDecision=48500 #constraints=18620 575.05/575.21 c nbDecision=49000 #constraints=19022 599.15/599.37 c nbDecision=49500 #constraints=19448 624.33/624.58 c nbDecision=50000 #constraints=19872 647.34/647.55 c nbDecision=50500 #constraints=20249 659.13/659.39 c nbDecision=51000 #constraints=20451 664.03/664.26 c restart after 51201 decisions 671.03/671.25 c nbDecision=51500 #constraints=20629 683.42/683.65 c nbDecision=52000 #constraints=20879 700.12/700.38 c nbDecision=52500 #constraints=21202 709.42/709.67 c nbDecision=53000 #constraints=21339 714.32/714.53 c nbDecision=53500 #constraints=21477 723.32/723.56 c nbDecision=54000 #constraints=21686 729.91/730.19 c nbDecision=54500 #constraints=21816 737.51/737.75 c nbDecision=55000 #constraints=21935 742.61/742.87 c nbDecision=55500 #constraints=22015 748.71/748.93 c nbDecision=56000 #constraints=22112 755.60/755.87 c nbDecision=56500 #constraints=22230 761.81/762.06 c nbDecision=57000 #constraints=22333 771.71/771.90 c nbDecision=57500 #constraints=22488 780.71/780.99 c nbDecision=58000 #constraints=22639 788.80/789.01 c nbDecision=58500 #constraints=22735 795.00/795.28 c nbDecision=59000 #constraints=22821 802.49/802.72 c nbDecision=59500 #constraints=22921 812.19/812.49 c nbDecision=60000 #constraints=23088 828.99/829.20 c nbDecision=60500 #constraints=23424 842.48/842.78 c nbDecision=61000 #constraints=23630 849.68/849.97 c nbDecision=61500 #constraints=23749 854.38/854.67 c nbDecision=62000 #constraints=23827 858.98/859.25 c nbDecision=62500 #constraints=23899 862.28/862.54 c nbDecision=63000 #constraints=23962 866.28/866.56 c nbDecision=63500 #constraints=24022 872.58/872.87 c nbDecision=64000 #constraints=24155 880.08/880.31 c nbDecision=64500 #constraints=24291 887.07/887.38 c nbDecision=65000 #constraints=24442 892.17/892.49 c nbDecision=65500 #constraints=24541 901.77/902.00 c nbDecision=66000 #constraints=24719 907.47/907.77 c nbDecision=66500 #constraints=24842 913.78/914.04 c nbDecision=67000 #constraints=24938 920.07/920.39 c nbDecision=67500 #constraints=25035 923.97/924.24 c nbDecision=68000 #constraints=25102 927.16/927.43 c nbDecision=68500 #constraints=25166 934.86/935.17 c nbDecision=69000 #constraints=25302 941.66/941.93 c nbDecision=69500 #constraints=25439 961.46/961.70 c nbDecision=70000 #constraints=25770 972.25/972.57 c nbDecision=70500 #constraints=25946 982.15/982.48 c nbDecision=71000 #constraints=26111 994.75/995.05 c nbDecision=71500 #constraints=26323 998.95/999.25 c nbDecision=72000 #constraints=26396 1002.65/1002.92 c nbDecision=72500 #constraints=26463 1009.04/1009.35 c nbDecision=73000 #constraints=26565 1015.24/1015.52 c nbDecision=73500 #constraints=26673 1018.04/1018.37 c nbDecision=74000 #constraints=26742 1024.95/1025.27 c nbDecision=74500 #constraints=26850 1036.14/1036.47 c nbDecision=75000 #constraints=27059 1050.33/1050.64 c nbDecision=75500 #constraints=27329 1060.53/1060.82 c nbDecision=76000 #constraints=27577 1074.44/1074.77 c nbDecision=76500 #constraints=27859 1090.72/1091.04 c nbDecision=77000 #constraints=28147 1108.12/1108.45 c nbDecision=77500 #constraints=28371 1112.72/1113.06 c nbDecision=78000 #constraints=28461 1126.62/1126.93 c nbDecision=78500 #constraints=28637 1141.71/1142.06 c nbDecision=79000 #constraints=28775 1156.51/1156.85 c nbDecision=79500 #constraints=28919 1173.50/1173.89 c nbDecision=80000 #constraints=29096 1183.90/1184.26 c nbDecision=80500 #constraints=29192 1194.49/1194.87 c nbDecision=81000 #constraints=29298 1208.20/1208.54 c nbDecision=81500 #constraints=29446 1215.40/1215.79 c nbDecision=82000 #constraints=29535 1225.19/1225.57 c nbDecision=82500 #constraints=29723 1232.49/1232.85 c nbDecision=83000 #constraints=29883 1245.49/1245.87 c nbDecision=83500 #constraints=30104 1260.08/1260.48 c nbDecision=84000 #constraints=30270 1265.08/1265.42 c nbDecision=84500 #constraints=30353 1277.98/1278.35 c nbDecision=85000 #constraints=30531 1305.87/1306.29 c nbDecision=85500 #constraints=30940 1316.37/1316.72 c nbDecision=86000 #constraints=31101 1330.57/1330.98 c nbDecision=86500 #constraints=31331 1342.06/1342.40 c nbDecision=87000 #constraints=31520 1352.86/1353.29 c nbDecision=87500 #constraints=31678 1362.66/1363.06 c nbDecision=88000 #constraints=31817 1381.65/1382.03 c nbDecision=88500 #constraints=32126 1402.95/1403.37 c nbDecision=89000 #constraints=32424 1432.24/1432.61 c nbDecision=89500 #constraints=32819 1447.04/1447.41 c nbDecision=90000 #constraints=33015 1470.24/1470.68 c nbDecision=90500 #constraints=33298 1488.63/1489.01 c nbDecision=91000 #constraints=33526 1508.02/1508.45 c nbDecision=91500 #constraints=33800 1516.83/1517.21 c nbDecision=92000 #constraints=33913 1521.42/1521.80 c nbDecision=92500 #constraints=33975 1529.32/1529.72 c nbDecision=93000 #constraints=34054 1567.02/1567.46 c nbDecision=93500 #constraints=34523 1601.10/1601.53 c nbDecision=94000 #constraints=34938 1638.20/1638.65 c nbDecision=94500 #constraints=35378 1664.39/1664.88 c nbDecision=95000 #constraints=35662 1681.38/1681.86 c nbDecision=95500 #constraints=35832 1710.88/1711.30 c nbDecision=96000 #constraints=36172 1742.06/1742.58 c nbDecision=96500 #constraints=36523 1775.06/1775.51 c nbDecision=97000 #constraints=36891 1793.45/1793.90 c nbDecision=97500 #constraints=37112 1800.05/1800.50 Received signal 15 1800.16/1800.69 1800.16/1800.69 s UNKNOWN 1800.16/1800.69 1800.16/1800.69 c user time= 1799.89 s 1800.16/1800.69 c system time= 0.367944 s 1800.16/1800.69 c wall clock time=1800.69
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-357020-1176851791 -o ROOT/results/node72/solver-357020-1176851791 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357020-1176851791/instance-357020-1176851791.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.98 3/77 18319 /proc/meminfo: memFree=1669168/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=1620 CPUtime=0 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 161217540 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 405 174 126 317 0 84 0 [startup+0.041923 s] /proc/loadavg: 0.91 0.95 0.98 3/77 18319 /proc/meminfo: memFree=1669168/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=2148 CPUtime=0.03 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 337 0 0 0 3 0 0 0 18 0 1 0 161217540 2199552 319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 537 320 131 317 0 216 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2148 [startup+0.101928 s] /proc/loadavg: 0.91 0.95 0.98 3/77 18319 /proc/meminfo: memFree=1669168/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=3468 CPUtime=0.09 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 670 0 0 0 9 0 0 0 18 0 1 0 161217540 3551232 652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 867 652 131 317 0 546 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3468 [startup+0.301946 s] /proc/loadavg: 0.91 0.95 0.98 3/77 18319 /proc/meminfo: memFree=1669168/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=4700 CPUtime=0.29 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 1004 0 0 0 29 0 0 0 19 0 1 0 161217540 4812800 986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 1175 986 170 317 0 854 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4700 [startup+0.701983 s] /proc/loadavg: 0.91 0.95 0.98 3/77 18319 /proc/meminfo: memFree=1669168/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=4964 CPUtime=0.69 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 1101 0 0 0 69 0 0 0 23 0 1 0 161217540 5083136 1083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385270 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 1241 1083 170 317 0 920 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4964 [startup+1.50105 s] /proc/loadavg: 0.91 0.95 0.98 2/78 18320 /proc/meminfo: memFree=1665192/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=6148 CPUtime=1.48 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 1381 0 0 0 148 0 0 0 25 0 1 0 161217540 6295552 1363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 1537 1363 170 317 0 1216 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6148 [startup+3.1012 s] /proc/loadavg: 0.91 0.95 0.98 2/78 18320 /proc/meminfo: memFree=1663528/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=7680 CPUtime=3.09 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 1766 0 0 0 308 1 0 0 25 0 1 0 161217540 7864320 1748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 1920 1748 170 317 0 1599 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7680 [startup+6.3015 s] /proc/loadavg: 0.92 0.95 0.98 2/78 18320 /proc/meminfo: memFree=1660264/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=10728 CPUtime=6.29 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 2505 0 0 0 628 1 0 0 25 0 1 0 161217540 10985472 2487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 2682 2487 170 317 0 2361 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10728 [startup+12.7011 s] /proc/loadavg: 0.93 0.95 0.98 2/78 18320 /proc/meminfo: memFree=1655784/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=15116 CPUtime=12.69 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 3572 0 0 0 1267 2 0 0 25 0 1 0 161217540 15478784 3554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272635 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 3779 3554 170 317 0 3458 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15116 [startup+25.5012 s] /proc/loadavg: 0.94 0.96 0.98 2/78 18320 /proc/meminfo: memFree=1650224/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=20580 CPUtime=25.48 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 4886 0 0 0 2545 3 0 0 25 0 1 0 161217540 21073920 4868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 5145 4868 170 317 0 4824 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20580 [startup+51.1016 s] /proc/loadavg: 0.96 0.96 0.98 2/78 18320 /proc/meminfo: memFree=1645104/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=26180 CPUtime=51.08 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 6168 0 0 0 5104 4 0 0 25 0 1 0 161217540 26808320 6150 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 6545 6150 170 317 0 6224 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26180 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.98 2/78 18320 /proc/meminfo: memFree=1641712/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=29740 CPUtime=102.27 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 7055 0 0 0 10222 5 0 0 25 0 1 0 161217540 30453760 6980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604210 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 7435 6980 170 317 0 7114 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 29740 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18320 /proc/meminfo: memFree=1637936/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=33816 CPUtime=162.25 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 8008 0 0 0 16218 7 0 0 25 0 1 0 161217540 34627584 7933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 8454 7933 170 317 0 8133 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 33816 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18320 /proc/meminfo: memFree=1634608/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=37352 CPUtime=222.23 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 8830 0 0 0 22215 8 0 0 25 0 1 0 161217540 38248448 8755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 9338 8755 170 317 0 9017 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 37352 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18320 /proc/meminfo: memFree=1631664/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=40152 CPUtime=282.22 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 9569 0 0 0 28213 9 0 0 25 0 1 0 161217540 41115648 9494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 10038 9494 170 317 0 9717 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 40152 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18320 /proc/meminfo: memFree=1628848/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=43436 CPUtime=342.21 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 10252 0 0 0 34211 10 0 0 25 0 1 0 161217540 44478464 10177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 10859 10177 170 317 0 10538 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 43436 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18320 /proc/meminfo: memFree=1626736/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=45788 CPUtime=402.19 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 10780 0 0 0 40208 11 0 0 25 0 1 0 161217540 46886912 10705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 11447 10705 170 317 0 11126 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 45788 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18320 /proc/meminfo: memFree=1624624/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=48360 CPUtime=462.17 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 11432 0 0 0 46206 11 0 0 25 0 1 0 161217540 49520640 11244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 12090 11244 170 317 0 11769 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 48360 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18320 /proc/meminfo: memFree=1622384/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=50452 CPUtime=522.16 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 11993 0 0 0 52204 12 0 0 25 0 1 0 161217540 51662848 11805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 12613 11805 170 317 0 12292 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 50452 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18320 /proc/meminfo: memFree=1619824/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=52980 CPUtime=582.15 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 12656 0 0 0 58201 14 0 0 25 0 1 0 161217540 54251520 12435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716193 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 13245 12435 170 317 0 12924 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 52980 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18320 /proc/meminfo: memFree=1617584/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=55196 CPUtime=642.14 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 13298 0 0 0 64199 15 0 0 25 0 1 0 161217540 56520704 12978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 13799 12978 170 317 0 13478 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 55196 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1599728/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=74524 CPUtime=942.06 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 18130 0 0 0 94185 21 0 0 25 0 1 0 161217540 76312576 17447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 18631 17447 170 317 0 18310 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 74524 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1595952/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=78664 CPUtime=1002.05 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 19059 0 0 0 100183 22 0 0 25 0 1 0 161217540 80551936 18376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 19666 18376 170 317 0 19345 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 78664 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1591792/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=82732 CPUtime=1062.03 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 20103 0 0 0 106180 23 0 0 25 0 1 0 161217540 84717568 19420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604147 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 20683 19420 170 317 0 20362 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 82732 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1588080/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=86600 CPUtime=1122.02 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 21017 0 0 0 112177 25 0 0 25 0 1 0 161217540 88678400 20334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 21650 20334 170 317 0 21329 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 86600 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1586480/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=88044 CPUtime=1182 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 21417 0 0 0 118175 25 0 0 25 0 1 0 161217540 90157056 20734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 22011 20734 170 317 0 21690 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 88044 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1583408/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=91200 CPUtime=1241.99 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 22190 0 0 0 124173 26 0 0 25 0 1 0 161217540 93388800 21507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 22800 21507 170 317 0 22479 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 91200 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1580464/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=94224 CPUtime=1301.98 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 22985 0 0 0 130171 27 0 0 25 0 1 0 161217540 96485376 22236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 23556 22236 170 317 0 23235 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 94224 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1577264/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=97316 CPUtime=1361.96 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 23821 0 0 0 136168 28 0 0 25 0 1 0 161217540 99651584 23039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 24329 23039 170 317 0 24008 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 97316 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1574000/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=101864 CPUtime=1421.95 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 24985 0 0 0 142166 29 0 0 25 0 1 0 161217540 104308736 23840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 25466 23840 170 317 0 25145 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 101864 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1571312/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=105260 CPUtime=1481.93 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 25912 0 0 0 148163 30 0 0 25 0 1 0 161217540 107786240 24508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 26315 24508 170 317 0 25994 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 105260 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1568496/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=107756 CPUtime=1541.92 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 26624 0 0 0 154161 31 0 0 25 0 1 0 161217540 110342144 25220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 26939 25220 170 317 0 26618 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 107756 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1565872/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=110004 CPUtime=1601.9 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 27270 0 0 0 160158 32 0 0 25 0 1 0 161217540 112644096 25866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 27501 25866 170 317 0 27180 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 110004 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1563376/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=112424 CPUtime=1661.89 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 27930 0 0 0 166155 34 0 0 25 0 1 0 161217540 115122176 26493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 28106 26493 170 317 0 27785 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 112424 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1560944/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=115036 CPUtime=1721.87 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 28676 0 0 0 172152 35 0 0 25 0 1 0 161217540 117796864 27108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 28759 27108 170 317 0 28438 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 115036 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1558384/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=118200 CPUtime=1781.86 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 29508 0 0 0 178150 36 0 0 25 0 1 0 161217540 121036800 27742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 29550 27742 170 317 0 29229 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 118200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/78 18322 /proc/meminfo: memFree=1557552/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=119112 CPUtime=1800.05 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 29728 0 0 0 179969 36 0 0 25 0 1 0 161217540 121970688 27929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 29778 27929 170 317 0 29457 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 119112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.97 0.98 2/79 18323 /proc/meminfo: memFree=1557544/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=119112 CPUtime=1800.16 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194304 29730 0 0 0 179980 36 0 0 25 0 1 0 161217540 121970688 27931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 29778 27931 170 317 0 29457 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 119112 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/79 18323 /proc/meminfo: memFree=1557544/2055920 swapFree=4156508/4192956 [pid=18319] ppid=18317 vsize=0 CPUtime=1800.26 /proc/18319/stat : 18319 (oree) R 18317 18319 17930 0 -1 4194308 29746 0 0 0 179989 37 0 0 25 0 1 0 161217540 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18319/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.28 CPU user time (s): 1799.89 CPU system time (s): 0.385941 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 119112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.385941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29746 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= 3071 runsolver used 2.12168 second user time and 4.43633 second system time The end
Begin job on node72 on Tue Apr 17 23:16:31 UTC 2007 IDJOB= 357020 IDBENCH= 1783 IDSOLVER= 172 FILE ID= node72/357020-1176851791 PBS_JOBID= 4590211 Free space on /tmp= 66480 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-timtab2.opb COMMAND LINE= oree /tmp/evaluation/357020-1176851791/instance-357020-1176851791.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-357020-1176851791 -o ROOT/results/node72/solver-357020-1176851791 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357020-1176851791/instance-357020-1176851791.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1f089a89b25a106d39527c716bfdba75 RANDOM SEED= 237266651 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.222 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: 1669640 kB Buffers: 44200 kB Cached: 256872 kB SwapCached: 18324 kB Active: 168080 kB Inactive: 157600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1669640 kB SwapTotal: 4192956 kB SwapFree: 4156508 kB Dirty: 1596 kB Writeback: 0 kB Mapped: 30152 kB Slab: 46092 kB Committed_AS: 2693872 kB PageTables: 1788 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= 66480 MiB End job on node72 on Tue Apr 17 23:46:34 UTC 2007