Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.14 | 1802.89 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb |
MD5SUM | ea0578ce3fa6d7f101be81096fa267e7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 12.977 |
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 | 8060 |
Total number of constraints | 296 |
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 | 296 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 780 |
Number of terms in the objective function | 8060 |
Biggest coefficient in the objective function | 1760 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530127 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530127 |
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.00/0.10 c ...done 0.00/0.10 c #vars=8060 #constraints=333 hasObjective=yes 0.09/0.19 c res. mode=mod 0.09/0.19 c VSIDS like heuristics 0.09/0.19 c complete search running 0.19/0.23 c restart after 401 decisions 0.19/0.24 c nbDecision=500 #constraints=333 0.19/0.26 c restart after 801 decisions 0.19/0.27 c nbDecision=1000 #constraints=333 0.29/0.30 c nbDecision=1500 #constraints=333 0.29/0.31 c restart after 1601 decisions 0.29/0.34 c nbDecision=2000 #constraints=333 0.29/0.37 c nbDecision=2500 #constraints=333 0.39/0.40 c nbDecision=3000 #constraints=333 0.39/0.41 c restart after 3201 decisions 0.39/0.43 c nbDecision=3500 #constraints=333 0.39/0.47 c nbDecision=4000 #constraints=333 0.49/0.50 c nbDecision=4500 #constraints=333 0.49/0.53 c nbDecision=5000 #constraints=334 0.59/0.61 c nbDecision=5500 #constraints=346 0.59/0.63 c nbDecision=6000 #constraints=346 3.98/4.04 c restart after 6401 decisions 3.98/4.06 c nbDecision=6500 #constraints=542 3.98/4.09 c nbDecision=7000 #constraints=542 4.08/4.13 c nbDecision=7500 #constraints=542 4.08/4.16 c nbDecision=8000 #constraints=542 4.08/4.18 c nbDecision=8500 #constraints=542 4.39/4.44 c nbDecision=9000 #constraints=555 8.18/8.21 c nbDecision=9500 #constraints=750 9.48/9.58 c nbDecision=10000 #constraints=819 13.28/13.40 c nbDecision=10500 #constraints=999 15.87/15.98 c nbDecision=11000 #constraints=1114 20.08/20.16 c nbDecision=11500 #constraints=1294 23.28/23.34 c nbDecision=12000 #constraints=1424 26.38/26.44 c nbDecision=12500 #constraints=1544 29.07/29.10 c restart after 12801 decisions 29.17/29.21 c nbDecision=13000 #constraints=1644 29.17/29.27 c nbDecision=13500 #constraints=1644 29.27/29.32 c nbDecision=14000 #constraints=1644 29.27/29.36 c nbDecision=14500 #constraints=1644 29.37/29.40 c nbDecision=15000 #constraints=1644 31.37/31.49 c nbDecision=15500 #constraints=1719 34.67/34.75 c nbDecision=16000 #constraints=1834 40.38/40.47 c nbDecision=16500 #constraints=2029 43.97/44.02 c nbDecision=17000 #constraints=2144 48.86/48.93 c nbDecision=17500 #constraints=2294 53.77/53.81 c nbDecision=18000 #constraints=2439 57.46/57.55 c nbDecision=18500 #constraints=2544 64.97/65.05 c nbDecision=19000 #constraints=2749 69.46/69.55 c nbDecision=19500 #constraints=2864 76.66/76.77 c nbDecision=20000 #constraints=3044 81.46/81.56 c nbDecision=20500 #constraints=3159 87.35/87.47 c nbDecision=21000 #constraints=3294 95.15/95.29 c nbDecision=21500 #constraints=3469 100.05/100.15 c nbDecision=22000 #constraints=3569 109.25/109.36 c nbDecision=22500 #constraints=3764 115.04/115.17 c nbDecision=23000 #constraints=3879 123.54/123.63 c nbDecision=23500 #constraints=4044 130.44/130.54 c nbDecision=24000 #constraints=4174 136.93/137.09 c nbDecision=24500 #constraints=4294 147.53/147.67 c nbDecision=25000 #constraints=4484 152.43/152.50 c nbDecision=25500 #constraints=4557 154.63/154.73 c restart after 25601 decisions 155.43/155.52 c nbDecision=26000 #constraints=4602 155.63/155.71 c nbDecision=26500 #constraints=4602 155.73/155.82 c nbDecision=27000 #constraints=4602 155.83/155.96 c nbDecision=27500 #constraints=4602 156.04/156.18 c nbDecision=28000 #constraints=4602 169.82/169.94 c nbDecision=28500 #constraints=4825 176.42/176.57 c nbDecision=29000 #constraints=4946 187.52/187.62 c nbDecision=29500 #constraints=5096 202.22/202.37 c nbDecision=30000 #constraints=5306 214.01/214.10 c nbDecision=30500 #constraints=5501 225.90/226.01 c nbDecision=31000 #constraints=5651 237.40/237.58 c nbDecision=31500 #constraints=5786 255.90/256.09 c nbDecision=32000 #constraints=6026 267.79/267.99 c nbDecision=32500 #constraints=6206 280.29/280.41 c nbDecision=33000 #constraints=6341 295.07/295.28 c nbDecision=33500 #constraints=6506 315.67/315.84 c nbDecision=34000 #constraints=6746 326.56/326.72 c nbDecision=34500 #constraints=6896 340.36/340.56 c nbDecision=35000 #constraints=7031 358.86/359.07 c nbDecision=35500 #constraints=7226 381.35/381.59 c nbDecision=36000 #constraints=7466 390.95/391.18 c nbDecision=36500 #constraints=7586 407.24/407.46 c nbDecision=37000 #constraints=7736 428.63/428.88 c nbDecision=37500 #constraints=7946 441.23/441.41 c nbDecision=38000 #constraints=8096 453.22/453.42 c nbDecision=38500 #constraints=8186 464.32/464.53 c nbDecision=39000 #constraints=8301 477.51/477.76 c nbDecision=39500 #constraints=8436 487.61/487.81 c nbDecision=40000 #constraints=8566 506.20/506.41 c nbDecision=40500 #constraints=8700 531.99/532.20 c nbDecision=41000 #constraints=8814 543.59/543.84 c nbDecision=41500 #constraints=8872 566.78/567.08 c nbDecision=42000 #constraints=8986 590.27/590.51 c nbDecision=42500 #constraints=9100 602.37/602.60 c nbDecision=43000 #constraints=9157 625.65/625.97 c nbDecision=43500 #constraints=9271 649.54/649.88 c nbDecision=44000 #constraints=9385 673.53/673.87 c nbDecision=44500 #constraints=9499 685.72/686.07 c nbDecision=45000 #constraints=9556 698.03/698.38 c nbDecision=45500 #constraints=9613 751.01/751.31 c nbDecision=46000 #constraints=9752 769.79/770.14 c nbDecision=46500 #constraints=9808 783.90/784.21 c nbDecision=47000 #constraints=9944 803.49/803.88 c nbDecision=47500 #constraints=10061 826.88/827.24 c nbDecision=48000 #constraints=10158 849.57/849.98 c nbDecision=48500 #constraints=10242 872.46/872.89 c nbDecision=49000 #constraints=10326 895.55/895.95 c nbDecision=49500 #constraints=10410 918.74/919.18 c nbDecision=50000 #constraints=10494 942.13/942.60 c nbDecision=50500 #constraints=10578 965.83/966.24 c nbDecision=51000 #constraints=10662 977.43/977.89 c restart after 51201 decisions 979.22/979.60 c nbDecision=51500 #constraints=10704 979.62/980.06 c nbDecision=52000 #constraints=10704 980.02/980.40 c nbDecision=52500 #constraints=10704 980.22/980.64 c nbDecision=53000 #constraints=10704 980.62/981.09 c nbDecision=53500 #constraints=10704 1035.81/1036.24 c nbDecision=54000 #constraints=10804 1044.70/1045.18 c nbDecision=54500 #constraints=10851 1063.89/1064.34 c nbDecision=55000 #constraints=11046 1081.69/1082.11 c nbDecision=55500 #constraints=11128 1098.78/1099.21 c nbDecision=56000 #constraints=11212 1115.97/1116.47 c nbDecision=56500 #constraints=11296 1133.47/1133.90 c nbDecision=57000 #constraints=11380 1150.96/1151.49 c nbDecision=57500 #constraints=11464 1168.76/1169.24 c nbDecision=58000 #constraints=11548 1186.65/1187.17 c nbDecision=58500 #constraints=11632 1204.74/1205.29 c nbDecision=59000 #constraints=11716 1217.44/1217.91 c nbDecision=59500 #constraints=11771 1230.63/1231.16 c nbDecision=60000 #constraints=11892 1254.22/1254.78 c nbDecision=60500 #constraints=12024 1280.50/1281.02 c nbDecision=61000 #constraints=12121 1306.33/1306.92 c nbDecision=61500 #constraints=12205 1332.31/1332.97 c nbDecision=62000 #constraints=12289 1358.50/1359.16 c nbDecision=62500 #constraints=12373 1384.89/1385.58 c nbDecision=63000 #constraints=12457 1411.58/1412.22 c nbDecision=63500 #constraints=12541 1438.37/1439.03 c nbDecision=64000 #constraints=12625 1461.06/1461.73 c nbDecision=64500 #constraints=12682 1514.54/1515.24 c nbDecision=65000 #constraints=12783 1527.93/1528.69 c nbDecision=65500 #constraints=12838 1550.33/1551.05 c nbDecision=66000 #constraints=13034 1580.52/1581.26 c nbDecision=66500 #constraints=13146 1608.11/1608.81 c nbDecision=67000 #constraints=13230 1635.80/1636.55 c nbDecision=67500 #constraints=13314 1663.69/1664.47 c nbDecision=68000 #constraints=13398 1691.87/1692.68 c nbDecision=68500 #constraints=13482 1720.27/1721.01 c nbDecision=69000 #constraints=13566 1748.76/1749.59 c nbDecision=69500 #constraints=13650 1777.35/1778.11 c nbDecision=70000 #constraints=13734 1800.04/1800.80 Received signal 15
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-362398-1176845985 -o ROOT/results/node67/solver-362398-1176845985 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362398-1176845985/instance-362398-1176845985.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 0.97 0.99 3/64 28515 /proc/meminfo: memFree=1888688/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=1468 CPUtime=0 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 162 0 0 0 0 0 0 0 19 0 1 0 160588011 1503232 144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 367 144 126 317 0 46 0 [startup+0.00829403 s] /proc/loadavg: 0.92 0.97 0.99 3/64 28515 /proc/meminfo: memFree=1888688/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=1620 CPUtime=0 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 193 0 0 0 0 0 0 0 19 0 1 0 160588011 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 405 176 126 317 0 84 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1620 [startup+0.101301 s] /proc/loadavg: 0.92 0.97 0.99 3/64 28515 /proc/meminfo: memFree=1888688/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=3816 CPUtime=0.09 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 750 0 0 0 9 0 0 0 19 0 1 0 160588011 3907584 732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 954 734 136 317 0 633 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3816 [startup+0.301337 s] /proc/loadavg: 0.92 0.97 0.99 3/64 28515 /proc/meminfo: memFree=1888688/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=4360 CPUtime=0.29 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 923 0 0 0 29 0 0 0 20 0 1 0 160588011 4464640 905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 1090 905 138 317 0 769 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4360 [startup+0.70141 s] /proc/loadavg: 0.92 0.97 0.99 3/64 28515 /proc/meminfo: memFree=1888688/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=5052 CPUtime=0.69 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 1093 0 0 0 69 0 0 0 24 0 1 0 160588011 5173248 1075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 1263 1076 139 317 0 942 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5052 [startup+1.50156 s] /proc/loadavg: 0.92 0.97 0.99 2/65 28516 /proc/meminfo: memFree=1884328/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=6668 CPUtime=1.49 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 1447 0 0 0 149 0 0 0 25 0 1 0 160588011 6828032 1429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 1667 1429 139 317 0 1346 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6668 [startup+3.10185 s] /proc/loadavg: 0.92 0.97 0.99 2/65 28516 /proc/meminfo: memFree=1882216/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=10108 CPUtime=3.09 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 2229 0 0 0 309 0 0 0 25 0 1 0 160588011 10350592 2211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279015 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 2527 2211 139 317 0 2206 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10108 [startup+6.30144 s] /proc/loadavg: 0.93 0.97 0.99 2/65 28517 /proc/meminfo: memFree=1876144/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=15800 CPUtime=6.29 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 3531 0 0 0 628 1 0 0 25 0 1 0 160588011 16179200 3513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 3950 3513 139 317 0 3629 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15800 [startup+12.7016 s] /proc/loadavg: 0.93 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1865320/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=26880 CPUtime=12.68 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 6088 0 0 0 1266 2 0 0 25 0 1 0 160588011 27525120 6070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 6720 6070 139 317 0 6399 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26880 [startup+25.502 s] /proc/loadavg: 0.95 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1847216/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=46672 CPUtime=25.48 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 10512 0 0 0 2544 4 0 0 25 0 1 0 160588011 47792128 10494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 11668 10494 139 317 0 11347 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46672 [startup+51.1017 s] /proc/loadavg: 0.96 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1824496/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=70940 CPUtime=51.07 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 16193 0 0 0 5099 8 0 0 25 0 1 0 160588011 72642560 16175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 17735 16175 139 317 0 17414 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 70940 [startup+102.304 s] /proc/loadavg: 0.98 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1783536/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=115892 CPUtime=102.25 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 26339 0 0 0 10213 12 0 0 25 0 1 0 160588011 118673408 26321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713792 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 28973 26321 139 317 0 28652 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 115892 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1744496/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=163796 CPUtime=162.23 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 36128 0 0 0 16207 16 0 0 25 0 1 0 160588011 167727104 36110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 40949 36110 139 317 0 40628 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 163796 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1719856/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=189424 CPUtime=222.2 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 42187 0 0 0 22202 18 0 0 25 0 1 0 160588011 193970176 42169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 47356 42169 139 317 0 47035 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 189424 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1698352/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=211272 CPUtime=282.18 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 47602 0 0 0 28197 21 0 0 25 0 1 0 160588011 216342528 47584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 52818 47584 139 317 0 52497 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 211272 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1679088/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=230616 CPUtime=342.16 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 52346 0 0 0 34193 23 0 0 25 0 1 0 160588011 236150784 52328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 57654 52328 139 317 0 57333 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 230616 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1661104/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=248436 CPUtime=402.14 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 56825 0 0 0 40189 25 0 0 25 0 1 0 160588011 254398464 56807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 62109 56807 139 317 0 61788 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 248436 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1645808/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=264636 CPUtime=462.11 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 60644 0 0 0 46185 26 0 0 25 0 1 0 160588011 270987264 60626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 66159 60626 139 317 0 65838 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 264636 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1623408/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=297280 CPUtime=522.09 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 66295 0 0 0 52180 29 0 0 25 0 1 0 160588011 304414720 66220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 74320 66220 139 317 0 73999 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 297280 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1600688/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=331988 CPUtime=582.07 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 71943 0 0 0 58176 31 0 0 25 0 1 0 160588011 339955712 71868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 82997 71868 139 317 0 82676 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 331988 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1587056/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=348248 CPUtime=642.05 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 75344 0 0 0 64173 32 0 0 25 0 1 0 160588011 356605952 75269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 87062 75269 139 317 0 86741 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 348248 ################ # More data... # ################ /proc/meminfo: memFree=1513904/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=430604 CPUtime=1061.89 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 93606 0 0 0 106149 40 0 0 25 0 1 0 160588011 440938496 93531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 107651 93531 139 317 0 107330 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 430604 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1499824/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=446416 CPUtime=1121.87 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 97059 0 0 0 112145 42 0 0 25 0 1 0 160588011 457129984 96984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 111604 96984 139 317 0 111283 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 446416 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1482224/2055920 swapFree=4178024/4192956 [pid=28515] ppid=28513 vsize=468452 CPUtime=1181.85 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 101459 0 0 0 118142 43 0 0 25 0 1 0 160588011 479694848 101384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 117113 101384 139 317 0 116792 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 468452 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28518 /proc/meminfo: memFree=1469808/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=481756 CPUtime=1241.83 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 104564 0 0 0 124139 44 0 0 25 0 1 0 160588011 493318144 104489 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 120439 104489 139 317 0 120118 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 481756 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/71 28656 /proc/meminfo: memFree=1458872/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=491468 CPUtime=1301.75 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 106935 0 0 0 130129 46 0 0 25 0 1 0 160588011 503263232 106860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 122867 106860 139 317 0 122546 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 491468 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28716 /proc/meminfo: memFree=1451120/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=501788 CPUtime=1361.7 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 109164 0 0 0 136123 47 0 0 25 0 1 0 160588011 513830912 109089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 125447 109089 139 317 0 125126 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 501788 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28716 /proc/meminfo: memFree=1442032/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=511888 CPUtime=1421.68 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 111402 0 0 0 142120 48 0 0 25 0 1 0 160588011 524173312 111327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 127972 111327 139 317 0 127651 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 511888 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28716 /proc/meminfo: memFree=1432816/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=521552 CPUtime=1481.66 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 113715 0 0 0 148116 50 0 0 25 0 1 0 160588011 534069248 113640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 130388 113640 139 317 0 130067 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 521552 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28716 /proc/meminfo: memFree=1426160/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=528728 CPUtime=1541.63 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 115371 0 0 0 154112 51 0 0 25 0 1 0 160588011 541417472 115296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 132182 115296 139 317 0 131861 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 528728 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28716 /proc/meminfo: memFree=1417072/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=538744 CPUtime=1601.61 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 117676 0 0 0 160109 52 0 0 25 0 1 0 160588011 551673856 117601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 134686 117601 139 317 0 134365 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 538744 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28716 /proc/meminfo: memFree=1404080/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=556532 CPUtime=1661.59 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 120887 0 0 0 166105 54 0 0 25 0 1 0 160588011 569888768 120812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 139133 120812 139 317 0 138812 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 556532 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28716 /proc/meminfo: memFree=1394992/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=566084 CPUtime=1721.56 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 123201 0 0 0 172101 55 0 0 25 0 1 0 160588011 579670016 123126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 141521 123126 139 317 0 141200 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 566084 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28716 /proc/meminfo: memFree=1386672/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=575620 CPUtime=1781.54 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 125229 0 0 0 178098 56 0 0 25 0 1 0 160588011 589434880 125154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 143905 125154 139 317 0 143584 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 575620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28716 /proc/meminfo: memFree=1383664/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=579112 CPUtime=1800.04 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 125964 0 0 0 179947 57 0 0 25 0 1 0 160588011 593010688 125889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604251 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 144778 125889 139 317 0 144457 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 579112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.99 2/65 28716 /proc/meminfo: memFree=1383664/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=579112 CPUtime=1800.64 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 125980 0 0 0 180007 57 0 0 25 0 1 0 160588011 593010688 125905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 144778 125905 139 317 0 144457 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 579112 [startup+1802.2 s] /proc/loadavg: 0.99 0.97 0.99 2/66 28717 /proc/meminfo: memFree=1383592/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=579272 CPUtime=1801.44 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 125995 0 0 0 180087 57 0 0 25 0 1 0 160588011 593174528 125920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 144818 125920 139 317 0 144497 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 579272 [startup+1802.6 s] /proc/loadavg: 0.99 0.97 0.99 2/66 28717 /proc/meminfo: memFree=1383592/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=579272 CPUtime=1801.84 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 125995 0 0 0 180127 57 0 0 25 0 1 0 160588011 593174528 125920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 144818 125920 139 317 0 144497 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 579272 [startup+1802.8 s] /proc/loadavg: 0.99 0.97 0.99 2/66 28717 /proc/meminfo: memFree=1383464/2055920 swapFree=4178028/4192956 [pid=28515] ppid=28513 vsize=579272 CPUtime=1802.04 /proc/28515/stat : 28515 (oree) R 28513 28515 27558 0 -1 4194304 126010 0 0 0 180147 57 0 0 25 0 1 0 160588011 593174528 125935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28515/statm: 144818 125935 139 317 0 144497 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 579272 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.89 CPU time (s): 1802.14 CPU user time (s): 1801.48 CPU system time (s): 0.658899 CPU usage (%): 99.9582 Max. virtual memory (cumulated for all children) (KiB): 579272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1801.48 system time used= 0.658899 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 126010 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= 7 involuntary context switches= 3167 runsolver used 1.23581 second user time and 3.75843 second system time The end
Begin job on node67 on Tue Apr 17 21:39:45 UTC 2007 IDJOB= 362398 IDBENCH= 1556 IDSOLVER= 172 FILE ID= node67/362398-1176845985 PBS_JOBID= 4590161 Free space on /tmp= 66484 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb COMMAND LINE= oree /tmp/evaluation/362398-1176845985/instance-362398-1176845985.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-362398-1176845985 -o ROOT/results/node67/solver-362398-1176845985 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362398-1176845985/instance-362398-1176845985.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= ea0578ce3fa6d7f101be81096fa267e7 RANDOM SEED= 224309562 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1889160 kB Buffers: 19332 kB Cached: 100688 kB SwapCached: 9180 kB Active: 68624 kB Inactive: 66400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1889160 kB SwapTotal: 4192956 kB SwapFree: 4178024 kB Dirty: 1596 kB Writeback: 0 kB Mapped: 15364 kB Slab: 17724 kB Committed_AS: 219724 kB PageTables: 1452 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= 66484 MiB End job on node67 on Tue Apr 17 22:09:48 UTC 2007