Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1711.93 | 1712.64 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos2.opb |
MD5SUM | c8a32fda50ac377272d463f6016dd614 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 1576.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | NO |
Number of variables | 32294 |
Total number of constraints | 1133 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 13 |
Number of constraints which are nor clauses,nor cardinality constraints | 1120 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 4780 |
Number of terms in the objective function | 124 |
Biggest coefficient in the objective function | 65537 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 524408 |
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 | 528063 |
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.29/0.39 c ...done 0.29/0.39 c #vars=32294 #constraints=1177 hasObjective=yes 0.39/0.45 c res. mode=mod 0.39/0.45 c VSIDS like heuristics 0.39/0.45 c complete search running 1.29/1.39 c restart after 401 decisions 1.59/1.65 c nbDecision=500 #constraints=1202 2.09/2.14 c restart after 801 decisions 2.89/2.99 c nbDecision=1000 #constraints=1260 4.79/4.90 c nbDecision=1500 #constraints=1321 5.19/5.28 c restart after 1601 decisions 7.19/7.29 c nbDecision=2000 #constraints=1396 9.79/9.88 c nbDecision=2500 #constraints=1482 12.58/12.69 c nbDecision=3000 #constraints=1569 14.09/14.18 c restart after 3201 decisions 15.09/15.13 c nbDecision=3500 #constraints=1624 16.28/16.34 c nbDecision=4000 #constraints=1647 17.38/17.49 c nbDecision=4500 #constraints=1671 18.59/18.65 c nbDecision=5000 #constraints=1694 19.88/19.96 c nbDecision=5500 #constraints=1718 21.18/21.26 c nbDecision=6000 #constraints=1742 22.18/22.23 c restart after 6401 decisions 22.99/23.07 c nbDecision=6500 #constraints=1771 26.08/26.19 c nbDecision=7000 #constraints=1846 29.28/29.39 c nbDecision=7500 #constraints=1921 32.68/32.79 c nbDecision=8000 #constraints=1996 36.28/36.36 c nbDecision=8500 #constraints=2070 40.07/40.12 c nbDecision=9000 #constraints=2145 43.98/44.05 c nbDecision=9500 #constraints=2220 48.17/48.23 c nbDecision=10000 #constraints=2295 52.37/52.43 c nbDecision=10500 #constraints=2370 56.87/56.94 c nbDecision=11000 #constraints=2447 61.78/61.84 c nbDecision=11500 #constraints=2522 66.68/66.74 c nbDecision=12000 #constraints=2597 71.67/71.76 c nbDecision=12500 #constraints=2671 75.17/75.23 c restart after 12801 decisions 77.67/77.76 c nbDecision=13000 #constraints=2760 79.96/80.07 c nbDecision=13500 #constraints=2829 82.87/82.90 c nbDecision=14000 #constraints=2903 85.96/86.04 c nbDecision=14500 #constraints=2986 89.46/89.51 c nbDecision=15000 #constraints=3107 93.57/93.66 c nbDecision=15500 #constraints=3236 97.57/97.68 c nbDecision=16000 #constraints=3345 100.96/101.08 c nbDecision=16500 #constraints=3417 104.37/104.44 c nbDecision=17000 #constraints=3483 108.26/108.34 c nbDecision=17500 #constraints=3557 112.36/112.45 c nbDecision=18000 #constraints=3635 116.85/116.93 c nbDecision=18500 #constraints=3709 120.86/120.96 c nbDecision=19000 #constraints=3771 125.96/126.05 c nbDecision=19500 #constraints=3856 130.05/130.16 c nbDecision=20000 #constraints=3918 134.95/135.02 c nbDecision=20500 #constraints=3994 140.25/140.38 c nbDecision=21000 #constraints=4079 145.06/145.18 c nbDecision=21500 #constraints=4150 150.24/150.30 c nbDecision=22000 #constraints=4219 155.84/155.92 c nbDecision=22500 #constraints=4291 161.24/161.34 c nbDecision=23000 #constraints=4358 167.15/167.27 c nbDecision=23500 #constraints=4429 173.84/173.97 c nbDecision=24000 #constraints=4505 180.35/180.43 c nbDecision=24500 #constraints=4582 187.24/187.31 c nbDecision=25000 #constraints=4654 194.34/194.48 c nbDecision=25500 #constraints=4734 195.53/195.65 c restart after 25601 decisions 202.03/202.19 c nbDecision=26000 #constraints=4762 206.04/206.16 c nbDecision=26500 #constraints=4785 209.94/210.08 c nbDecision=27000 #constraints=4807 214.14/214.22 c nbDecision=27500 #constraints=4830 218.13/218.22 c nbDecision=28000 #constraints=4852 222.23/222.33 c nbDecision=28500 #constraints=4875 226.13/226.25 c nbDecision=29000 #constraints=4898 230.13/230.26 c nbDecision=29500 #constraints=4920 234.13/234.27 c nbDecision=30000 #constraints=4942 238.23/238.37 c nbDecision=30500 #constraints=4965 242.32/242.44 c nbDecision=31000 #constraints=4987 246.32/246.43 c nbDecision=31500 #constraints=5009 250.18/250.38 c nbDecision=32000 #constraints=5031 254.29/254.40 c nbDecision=32500 #constraints=5054 258.18/258.39 c nbDecision=33000 #constraints=5076 262.07/262.24 c nbDecision=33500 #constraints=5099 265.26/265.43 c nbDecision=34000 #constraints=5122 269.46/269.64 c nbDecision=34500 #constraints=5145 273.34/273.51 c nbDecision=35000 #constraints=5166 277.23/277.47 c nbDecision=35500 #constraints=5188 281.23/281.48 c nbDecision=36000 #constraints=5210 284.12/284.37 c nbDecision=36500 #constraints=5234 288.12/288.40 c nbDecision=37000 #constraints=5257 291.32/291.59 c nbDecision=37500 #constraints=5281 295.52/295.79 c nbDecision=38000 #constraints=5304 299.61/299.85 c nbDecision=38500 #constraints=5326 303.60/303.89 c nbDecision=39000 #constraints=5348 307.71/307.98 c nbDecision=39500 #constraints=5371 311.60/311.88 c nbDecision=40000 #constraints=5392 315.90/316.12 c nbDecision=40500 #constraints=5416 320.00/320.26 c nbDecision=41000 #constraints=5438 324.10/324.37 c nbDecision=41500 #constraints=5461 328.09/328.36 c nbDecision=42000 #constraints=5483 332.19/332.41 c nbDecision=42500 #constraints=5505 336.19/336.42 c nbDecision=43000 #constraints=5527 340.29/340.52 c nbDecision=43500 #constraints=5549 344.49/344.70 c nbDecision=44000 #constraints=5572 348.49/348.76 c nbDecision=44500 #constraints=5594 352.59/352.80 c nbDecision=45000 #constraints=5616 356.78/357.06 c nbDecision=45500 #constraints=5639 359.58/359.82 c nbDecision=46000 #constraints=5661 363.58/363.88 c nbDecision=46500 #constraints=5683 367.68/367.95 c nbDecision=47000 #constraints=5706 370.49/370.75 c nbDecision=47500 #constraints=5731 373.58/373.85 c nbDecision=48000 #constraints=5753 377.88/378.13 c nbDecision=48500 #constraints=5776 382.08/382.33 c nbDecision=49000 #constraints=5799 386.08/386.34 c nbDecision=49500 #constraints=5821 390.18/390.41 c nbDecision=50000 #constraints=5843 394.18/394.49 c nbDecision=50500 #constraints=5865 398.27/398.56 c nbDecision=51000 #constraints=5887 400.08/400.32 c restart after 51201 decisions 406.78/407.05 c nbDecision=51500 #constraints=5930 412.17/412.47 c nbDecision=52000 #constraints=6000 418.07/418.38 c nbDecision=52500 #constraints=6068 423.47/423.74 c nbDecision=53000 #constraints=6128 429.07/429.36 c nbDecision=53500 #constraints=6192 435.16/435.48 c nbDecision=54000 #constraints=6257 441.36/441.63 c nbDecision=54500 #constraints=6325 447.27/447.51 c nbDecision=55000 #constraints=6385 453.27/453.50 c nbDecision=55500 #constraints=6465 459.66/459.97 c nbDecision=56000 #constraints=6530 466.17/466.43 c nbDecision=56500 #constraints=6596 473.86/474.19 c nbDecision=57000 #constraints=6671 482.36/482.60 c nbDecision=57500 #constraints=6744 490.95/491.29 c nbDecision=58000 #constraints=6846 499.85/500.13 c nbDecision=58500 #constraints=6926 509.64/509.96 c nbDecision=59000 #constraints=7023 522.55/522.82 c nbDecision=59500 #constraints=7124 534.14/534.45 c nbDecision=60000 #constraints=7212 547.04/547.30 c nbDecision=60500 #constraints=7318 557.44/557.72 c nbDecision=61000 #constraints=7398 570.64/570.94 c nbDecision=61500 #constraints=7497 585.53/585.80 c nbDecision=62000 #constraints=7601 598.93/599.28 c nbDecision=62500 #constraints=7702 613.32/613.65 c nbDecision=63000 #constraints=7797 630.82/631.17 c nbDecision=63500 #constraints=7945 645.91/646.24 c nbDecision=64000 #constraints=8071 662.01/662.31 c nbDecision=64500 #constraints=8181 680.51/680.80 c nbDecision=65000 #constraints=8283 700.70/701.03 c nbDecision=65500 #constraints=8397 716.40/716.72 c nbDecision=66000 #constraints=8522 733.99/734.31 c nbDecision=66500 #constraints=8648 754.88/755.22 c nbDecision=67000 #constraints=8751 776.88/777.25 c nbDecision=67500 #constraints=8856 797.97/798.36 c nbDecision=68000 #constraints=9006 819.86/820.28 c nbDecision=68500 #constraints=9122 845.16/845.52 c nbDecision=69000 #constraints=9281 865.85/866.27 c nbDecision=69500 #constraints=9447 891.84/892.28 c nbDecision=70000 #constraints=9574 915.14/915.54 c nbDecision=70500 #constraints=9671 939.13/939.52 c nbDecision=71000 #constraints=9768 967.54/967.93 c nbDecision=71500 #constraints=9883 996.02/996.49 c nbDecision=72000 #constraints=9996 1025.31/1025.78 c nbDecision=72500 #constraints=10103 1058.71/1059.19 c nbDecision=73000 #constraints=10234 1094.30/1094.78 c nbDecision=73500 #constraints=10370 1127.09/1127.51 c nbDecision=74000 #constraints=10476 1163.98/1164.42 c nbDecision=74500 #constraints=10604 1203.07/1203.56 c nbDecision=75000 #constraints=10732 1239.75/1240.21 c nbDecision=75500 #constraints=10852 1278.25/1278.78 c nbDecision=76000 #constraints=10973 1317.24/1317.73 c nbDecision=76500 #constraints=11100 1357.32/1357.84 c nbDecision=77000 #constraints=11223 1397.21/1397.78 c nbDecision=77500 #constraints=11340 1445.21/1445.76 c nbDecision=78000 #constraints=11482 1489.49/1490.05 c nbDecision=78500 #constraints=11623 1542.54/1543.13 c nbDecision=79000 #constraints=11777 1592.89/1593.56 c nbDecision=79500 #constraints=11907 1648.74/1649.48 c nbDecision=80000 #constraints=12044 1702.79/1703.51 c nbDecision=80500 #constraints=12193 1711.38/1712.10 Received signal 15 1711.58/1712.37 1711.58/1712.37 s UNKNOWN 1711.58/1712.37 1711.58/1712.37 c user time= 1709.61 s 1711.58/1712.37 c system time= 2.05469 s 1711.58/1712.37 c wall clock time=1712.37
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-356881-1176847015 -o ROOT/results/node19/solver-356881-1176847015 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356881-1176847015/instance-356881-1176847015.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.78 0.95 0.98 3/77 10637 /proc/meminfo: memFree=1505368/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1468 CPUtime=0 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 132618878 1503232 170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 367 170 131 317 0 46 0 [startup+0.072916 s] /proc/loadavg: 0.78 0.95 0.98 3/77 10637 /proc/meminfo: memFree=1505368/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=3364 CPUtime=0.07 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 532 0 0 0 7 0 0 0 18 0 1 0 132618878 3444736 514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 841 514 131 317 0 520 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3364 [startup+0.101918 s] /proc/loadavg: 0.78 0.95 0.98 3/77 10637 /proc/meminfo: memFree=1505368/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=3944 CPUtime=0.09 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 661 0 0 0 9 0 0 0 18 0 1 0 132618878 4038656 643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 986 643 131 317 0 665 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3944 [startup+0.301939 s] /proc/loadavg: 0.78 0.95 0.98 3/77 10637 /proc/meminfo: memFree=1505368/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=8668 CPUtime=0.29 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 1649 0 0 0 29 0 0 0 19 0 1 0 132618878 8876032 1631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 2167 1631 131 317 0 1846 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8668 [startup+0.701984 s] /proc/loadavg: 0.78 0.95 0.98 3/77 10637 /proc/meminfo: memFree=1505368/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=15996 CPUtime=0.69 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 3374 0 0 0 68 1 0 0 23 0 1 0 132618878 16379904 3356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 3999 3356 139 317 0 3678 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15996 [startup+1.50107 s] /proc/loadavg: 0.80 0.95 0.98 2/78 10638 /proc/meminfo: memFree=1491856/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=18632 CPUtime=1.49 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 3902 0 0 0 148 1 0 0 25 0 1 0 132618878 19079168 3884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272674 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 4658 3884 139 317 0 4337 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18632 [startup+3.10124 s] /proc/loadavg: 0.80 0.95 0.98 2/78 10638 /proc/meminfo: memFree=1487760/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=28332 CPUtime=3.09 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 6015 0 0 0 307 2 0 0 25 0 1 0 132618878 29011968 5960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278915 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 7083 5960 139 317 0 6762 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28332 [startup+6.30159 s] /proc/loadavg: 0.81 0.95 0.98 2/78 10638 /proc/meminfo: memFree=1470608/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=45284 CPUtime=6.29 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 10282 0 0 0 625 4 0 0 25 0 1 0 132618878 46370816 9551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271355 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 11321 9551 139 317 0 11000 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45284 [startup+12.7013 s] /proc/loadavg: 0.83 0.95 0.98 2/78 10638 /proc/meminfo: memFree=1447056/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=76596 CPUtime=12.68 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 16985 0 0 0 1261 7 0 0 25 0 1 0 132618878 78434304 16249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 19149 16249 139 317 0 18828 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 76596 [startup+25.5017 s] /proc/loadavg: 0.85 0.95 0.98 2/78 10638 /proc/meminfo: memFree=1413072/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=111408 CPUtime=25.48 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 24297 0 0 0 2538 10 0 0 25 0 1 0 132618878 114081792 23533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 27852 23533 139 317 0 27531 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 111408 [startup+51.1015 s] /proc/loadavg: 0.91 0.96 0.98 2/78 10638 /proc/meminfo: memFree=1348880/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=185500 CPUtime=51.08 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 40129 0 0 0 5091 17 0 0 25 0 1 0 132618878 189952000 39330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 46375 39330 139 317 0 46054 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 185500 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.98 2/78 10638 /proc/meminfo: memFree=1218768/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=335232 CPUtime=102.27 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 73837 0 0 0 10196 31 0 0 25 0 1 0 132618878 343277568 71608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 83808 71608 139 317 0 83487 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 335232 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/78 10638 /proc/meminfo: memFree=1102288/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=469220 CPUtime=162.24 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 105243 0 0 0 16181 43 0 0 25 0 1 0 132618878 480481280 100875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 117305 100875 139 317 0 116984 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 469220 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10638 /proc/meminfo: memFree=1060112/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=516776 CPUtime=222.23 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 116691 0 0 0 22174 49 0 0 25 0 1 0 132618878 529178624 111153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 129194 111153 139 317 0 128873 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 516776 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/84 10804 /proc/meminfo: memFree=1053520/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=523520 CPUtime=282.13 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 118334 0 0 0 28163 50 0 0 25 0 1 0 132618878 536084480 112796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 130880 112796 139 317 0 130559 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 523520 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=1048464/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=528336 CPUtime=342.09 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 119556 0 0 0 34158 51 0 0 25 0 1 0 132618878 541016064 114018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 132084 114018 139 317 0 131763 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 528336 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=1041936/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=535236 CPUtime=402.07 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 121181 0 0 0 40155 52 0 0 25 0 1 0 132618878 548081664 115643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 133809 115643 139 317 0 133488 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 535236 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=955472/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=632164 CPUtime=462.06 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 143512 0 0 0 46146 60 0 0 25 0 1 0 132618878 647335936 137382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 158041 137382 139 317 0 157720 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 632164 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=853968/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=751040 CPUtime=522.05 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 172719 0 0 0 52134 71 0 0 25 0 1 0 132618878 769064960 162888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 187760 162888 139 317 0 187439 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 751040 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=790352/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=816240 CPUtime=582.03 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 192166 0 0 0 58125 78 0 0 25 0 1 0 132618878 835829760 178397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 204060 178397 139 317 0 203739 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 816240 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=725328/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=887540 CPUtime=642.02 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 212795 0 0 0 64116 86 0 0 25 0 1 0 132618878 908840960 194609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 221885 194609 139 317 0 221564 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 887540 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=529232/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1110568 CPUtime=821.97 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 276776 0 0 0 82086 111 0 0 25 0 1 0 132618878 1137221632 244023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 277642 244023 170 317 0 277321 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 1110568 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=471312/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1172248 CPUtime=881.95 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 295674 0 0 0 88077 118 0 0 25 0 1 0 132618878 1200381952 258054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 293062 258054 170 317 0 292741 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 1172248 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=432592/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1214656 CPUtime=941.94 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 309574 0 0 0 94070 124 0 0 25 0 1 0 132618878 1243807744 267780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 303664 267780 170 317 0 303343 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 1214656 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=380624/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1275164 CPUtime=1001.92 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 327059 0 0 0 100060 132 0 0 25 0 1 0 132618878 1305767936 280650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 318791 280650 170 317 0 318470 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 1275164 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=340304/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1321608 CPUtime=1061.9 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 343601 0 0 0 106053 137 0 0 25 0 1 0 132618878 1353326592 290865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 330402 290865 170 317 0 330081 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1321608 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=304208/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1361064 CPUtime=1121.88 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 357451 0 0 0 112046 142 0 0 25 0 1 0 132618878 1393729536 299705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 340266 299705 170 317 0 339945 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 1361064 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=197200/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1519320 CPUtime=1181.87 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 390022 0 0 0 118032 155 0 0 25 0 1 0 132618878 1555783680 326404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 379830 326404 170 317 0 379509 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 1519320 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=159952/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1558164 CPUtime=1241.86 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 404475 0 0 0 124024 162 0 0 25 0 1 0 132618878 1595559936 335604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 389541 335604 170 317 0 389220 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1558164 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=114640/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1606592 CPUtime=1301.85 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 422157 0 0 0 130015 170 0 0 25 0 1 0 132618878 1645150208 346958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 401648 346958 170 317 0 401327 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1606592 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=80592/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1643124 CPUtime=1361.83 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 435391 0 0 0 136008 175 0 0 25 0 1 0 132618878 1682558976 355526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 410781 355526 170 317 0 410460 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1643124 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=50256/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1675524 CPUtime=1421.81 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 447072 0 0 0 142001 180 0 0 25 0 1 0 132618878 1715736576 363053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 418881 363053 170 317 0 418560 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1675524 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=16528/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1713256 CPUtime=1481.8 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 460632 0 0 0 147994 186 0 0 25 0 1 0 132618878 1754374144 371459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 428314 371459 170 317 0 427993 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1713256 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=16528/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1747840 CPUtime=1541.74 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 473153 0 0 0 153983 191 0 0 25 0 1 0 132618878 1789788160 379517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 436960 379517 170 317 0 436639 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 1747840 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=15248/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1778716 CPUtime=1601.68 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 484269 0 0 0 159973 195 0 0 25 0 1 0 132618878 1821405184 386776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 444679 386776 170 317 0 444358 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 1778716 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=14992/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1817424 CPUtime=1661.63 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 498076 0 0 0 165962 201 0 0 25 0 1 0 132618878 1861042176 395610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 454356 395610 170 317 0 454035 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 1817424 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1712.1 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=15312/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1843768 CPUtime=1711.38 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 507708 0 0 0 170933 205 0 0 25 0 1 0 132618878 1888018432 401700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 460942 401700 170 317 0 460621 0 Current children cumulated CPU time (s) 1711.38 Current children cumulated vsize (KiB) 1843768 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1712.21 s] /proc/loadavg: 0.99 0.97 0.98 2/78 10836 /proc/meminfo: memFree=15312/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=1843768 CPUtime=1711.48 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194304 507708 0 0 0 170943 205 0 0 25 0 1 0 132618878 1888018432 401700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 460942 401700 170 317 0 460621 0 Current children cumulated CPU time (s) 1711.48 Current children cumulated vsize (KiB) 1843768 [startup+1712.6 s] /proc/loadavg: 0.99 0.97 0.98 2/79 10837 /proc/meminfo: memFree=1389816/2055920 swapFree=4159444/4192956 [pid=10637] ppid=10635 vsize=0 CPUtime=1711.88 /proc/10637/stat : 10637 (oree) R 10635 10637 10580 0 -1 4194308 507729 0 0 0 170961 227 0 0 25 0 1 0 132618878 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10637/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1711.88 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1712.64 CPU time (s): 1711.93 CPU user time (s): 1709.62 CPU system time (s): 2.31165 CPU usage (%): 99.9583 Max. virtual memory (cumulated for all children) (KiB): 1843768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1709.62 system time used= 2.31165 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 507729 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= 36279 runsolver used 1.9867 second user time and 4.10538 second system time The end
Begin job on node19 on Tue Apr 17 21:56:55 UTC 2007 IDJOB= 356881 IDBENCH= 1588 IDSOLVER= 172 FILE ID= node19/356881-1176847015 PBS_JOBID= 4590201 Free space on /tmp= 66487 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/milp/normalized-reduced-mps-v2-20-10-neos2.opb COMMAND LINE= oree /tmp/evaluation/356881-1176847015/instance-356881-1176847015.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-356881-1176847015 -o ROOT/results/node19/solver-356881-1176847015 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356881-1176847015/instance-356881-1176847015.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c8a32fda50ac377272d463f6016dd614 RANDOM SEED= 846629113 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1505776 kB Buffers: 38412 kB Cached: 437456 kB SwapCached: 2580 kB Active: 202796 kB Inactive: 296024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1505776 kB SwapTotal: 4192956 kB SwapFree: 4159444 kB Dirty: 2832 kB Writeback: 0 kB Mapped: 30596 kB Slab: 36828 kB Committed_AS: 2951592 kB PageTables: 1784 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= 66487 MiB End job on node19 on Tue Apr 17 22:25:29 UTC 2007