Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.4 | 1801.07 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb |
MD5SUM | 99a4e5b0ce7b98bffc278cf1f6704eb9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 14265 |
Total number of constraints | 290 |
Number of constraints which are clauses | 27 |
Number of constraints which are cardinality constraints (but not clauses) | 5 |
Number of constraints which are nor clauses,nor cardinality constraints | 258 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 14235 |
Biggest coefficient in the objective function | 5488 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 535829 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 535829 |
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.10/0.13 c ...done 0.10/0.13 c #vars=14265 #constraints=369 hasObjective=yes 0.19/0.26 c res. mode=mod 0.19/0.26 c VSIDS like heuristics 0.19/0.26 c complete search running 0.29/0.37 c restart after 401 decisions 0.39/0.41 c nbDecision=500 #constraints=379 0.39/0.43 c restart after 801 decisions 0.39/0.49 c nbDecision=1000 #constraints=380 0.49/0.57 c nbDecision=1500 #constraints=419 0.59/0.65 c restart after 1601 decisions 0.69/0.71 c nbDecision=2000 #constraints=479 1.28/1.33 c nbDecision=2500 #constraints=894 2.39/2.42 c nbDecision=3000 #constraints=1394 2.89/2.98 c restart after 3201 decisions 2.99/3.06 c nbDecision=3500 #constraints=1596 4.09/4.14 c nbDecision=4000 #constraints=1911 6.19/6.22 c nbDecision=4500 #constraints=2415 8.09/8.12 c nbDecision=5000 #constraints=2772 11.19/11.28 c nbDecision=5500 #constraints=3275 13.89/13.97 c nbDecision=6000 #constraints=3636 16.08/16.17 c restart after 6401 decisions 16.28/16.34 c nbDecision=6500 #constraints=3899 17.08/17.19 c nbDecision=7000 #constraints=3978 18.29/18.35 c nbDecision=7500 #constraints=4103 18.89/18.93 c nbDecision=8000 #constraints=4154 19.19/19.24 c nbDecision=8500 #constraints=4181 26.38/26.43 c nbDecision=9000 #constraints=4553 31.28/31.31 c nbDecision=9500 #constraints=4784 32.08/32.17 c nbDecision=10000 #constraints=4925 32.98/33.07 c nbDecision=10500 #constraints=5425 34.37/34.44 c nbDecision=11000 #constraints=5928 36.28/36.32 c nbDecision=11500 #constraints=6431 38.27/38.39 c nbDecision=12000 #constraints=6859 40.98/41.00 c nbDecision=12500 #constraints=7291 42.98/43.09 c restart after 12801 decisions 43.37/43.48 c nbDecision=13000 #constraints=7597 45.07/45.20 c nbDecision=13500 #constraints=7790 48.27/48.39 c nbDecision=14000 #constraints=8166 50.58/50.67 c nbDecision=14500 #constraints=8392 52.07/52.18 c nbDecision=15000 #constraints=8533 52.88/52.97 c nbDecision=15500 #constraints=8574 54.07/54.15 c nbDecision=16000 #constraints=8631 62.96/63.08 c nbDecision=16500 #constraints=9071 66.66/66.79 c nbDecision=17000 #constraints=9209 68.06/68.12 c nbDecision=17500 #constraints=9497 69.26/69.37 c nbDecision=18000 #constraints=9998 70.97/71.09 c nbDecision=18500 #constraints=10497 73.26/73.32 c nbDecision=19000 #constraints=10997 75.36/75.47 c nbDecision=19500 #constraints=11365 78.66/78.77 c nbDecision=20000 #constraints=11863 81.66/81.75 c nbDecision=20500 #constraints=12229 85.26/85.33 c nbDecision=21000 #constraints=12622 88.16/88.24 c nbDecision=21500 #constraints=12888 89.35/89.40 c nbDecision=22000 #constraints=12957 90.45/90.59 c nbDecision=22500 #constraints=12999 95.15/95.25 c nbDecision=23000 #constraints=13227 103.55/103.65 c nbDecision=23500 #constraints=13576 105.75/105.87 c nbDecision=24000 #constraints=13652 107.25/107.38 c nbDecision=24500 #constraints=13944 108.75/108.89 c nbDecision=25000 #constraints=14248 110.25/110.33 c nbDecision=25500 #constraints=14496 110.35/110.40 c restart after 25601 decisions 111.45/111.54 c nbDecision=26000 #constraints=14506 112.15/112.23 c nbDecision=26500 #constraints=14600 113.14/113.21 c nbDecision=27000 #constraints=14763 113.75/113.87 c nbDecision=27500 #constraints=14872 114.65/114.70 c nbDecision=28000 #constraints=15008 115.14/115.28 c nbDecision=28500 #constraints=15094 115.75/115.82 c nbDecision=29000 #constraints=15170 116.25/116.38 c nbDecision=29500 #constraints=15247 116.75/116.80 c nbDecision=30000 #constraints=15302 117.35/117.42 c nbDecision=30500 #constraints=15380 117.75/117.88 c nbDecision=31000 #constraints=15441 118.24/118.39 c nbDecision=31500 #constraints=15504 118.85/118.91 c nbDecision=32000 #constraints=15566 119.45/119.59 c nbDecision=32500 #constraints=15650 120.04/120.13 c nbDecision=33000 #constraints=15713 120.54/120.67 c nbDecision=33500 #constraints=15774 121.34/121.40 c nbDecision=34000 #constraints=15859 121.95/122.09 c nbDecision=34500 #constraints=15934 122.55/122.64 c nbDecision=35000 #constraints=15992 123.05/123.19 c nbDecision=35500 #constraints=16049 123.85/123.94 c nbDecision=36000 #constraints=16128 124.45/124.59 c nbDecision=36500 #constraints=16194 125.64/125.76 c nbDecision=37000 #constraints=16313 126.24/126.34 c nbDecision=37500 #constraints=16369 126.84/126.98 c nbDecision=38000 #constraints=16430 127.54/127.64 c nbDecision=38500 #constraints=16491 128.44/128.56 c nbDecision=39000 #constraints=16575 129.44/129.59 c nbDecision=39500 #constraints=16670 130.14/130.29 c nbDecision=40000 #constraints=16731 131.74/131.83 c nbDecision=40500 #constraints=16868 132.34/132.49 c nbDecision=41000 #constraints=16924 133.14/133.21 c nbDecision=41500 #constraints=16985 133.84/133.97 c nbDecision=42000 #constraints=17046 134.94/135.00 c nbDecision=42500 #constraints=17130 136.04/136.18 c nbDecision=43000 #constraints=17225 136.84/136.98 c nbDecision=43500 #constraints=17286 138.24/138.30 c nbDecision=44000 #constraints=17392 139.64/139.74 c nbDecision=44500 #constraints=17501 141.34/141.41 c nbDecision=45000 #constraints=17625 142.04/142.17 c nbDecision=45500 #constraints=17681 142.95/143.08 c nbDecision=46000 #constraints=17744 143.84/143.99 c nbDecision=46500 #constraints=17805 145.14/145.23 c nbDecision=47000 #constraints=17889 146.54/146.62 c nbDecision=47500 #constraints=17982 147.63/147.79 c nbDecision=48000 #constraints=18057 149.13/149.21 c nbDecision=48500 #constraints=18151 150.94/151.08 c nbDecision=49000 #constraints=18271 152.63/152.72 c nbDecision=49500 #constraints=18376 154.73/154.81 c nbDecision=50000 #constraints=18508 156.63/156.77 c nbDecision=50500 #constraints=18628 157.53/157.69 c nbDecision=51000 #constraints=18684 158.03/158.15 c restart after 51201 decisions 160.33/160.41 c nbDecision=51500 #constraints=18709 160.83/160.94 c nbDecision=52000 #constraints=18718 161.93/162.03 c nbDecision=52500 #constraints=18779 163.43/163.52 c nbDecision=53000 #constraints=18863 164.83/164.92 c nbDecision=53500 #constraints=18938 166.43/166.56 c nbDecision=54000 #constraints=19028 168.33/168.49 c nbDecision=54500 #constraints=19134 170.23/170.33 c nbDecision=55000 #constraints=19229 172.23/172.32 c nbDecision=55500 #constraints=19338 174.53/174.67 c nbDecision=56000 #constraints=19458 176.92/177.01 c nbDecision=56500 #constraints=19584 179.33/179.43 c nbDecision=57000 #constraints=19704 182.53/182.62 c nbDecision=57500 #constraints=19865 184.03/184.15 c nbDecision=58000 #constraints=19940 185.22/185.32 c nbDecision=58500 #constraints=19998 186.62/186.77 c nbDecision=59000 #constraints=20066 188.22/188.30 c nbDecision=59500 #constraints=20134 189.82/189.97 c nbDecision=60000 #constraints=20211 191.81/191.96 c nbDecision=60500 #constraints=20299 194.52/194.70 c nbDecision=61000 #constraints=20419 195.92/196.09 c nbDecision=61500 #constraints=20480 199.12/199.27 c nbDecision=62000 #constraints=20621 200.91/201.08 c nbDecision=62500 #constraints=20696 204.91/205.01 c nbDecision=63000 #constraints=20867 206.72/206.89 c nbDecision=63500 #constraints=20942 210.61/210.78 c nbDecision=64000 #constraints=21104 212.81/212.94 c nbDecision=64500 #constraints=21196 215.91/216.02 c nbDecision=65000 #constraints=21316 220.31/220.47 c nbDecision=65500 #constraints=21499 225.70/225.86 c nbDecision=66000 #constraints=21664 232.90/233.03 c nbDecision=66500 #constraints=21892 240.30/240.43 c nbDecision=67000 #constraints=22120 246.90/247.05 c nbDecision=67500 #constraints=22310 254.00/254.18 c nbDecision=68000 #constraints=22511 262.20/262.33 c nbDecision=68500 #constraints=22739 265.69/265.83 c nbDecision=69000 #constraints=22847 273.69/273.90 c nbDecision=69500 #constraints=23055 277.58/277.71 c nbDecision=70000 #constraints=23174 281.08/281.26 c nbDecision=70500 #constraints=23282 284.58/284.72 c nbDecision=71000 #constraints=23387 293.77/293.94 c nbDecision=71500 #constraints=23617 297.68/297.82 c nbDecision=72000 #constraints=23726 302.38/302.53 c nbDecision=72500 #constraints=23861 306.17/306.38 c nbDecision=73000 #constraints=23967 309.97/310.14 c nbDecision=73500 #constraints=24073 316.07/316.27 c nbDecision=74000 #constraints=24201 321.47/321.68 c nbDecision=74500 #constraints=24350 326.77/326.90 c nbDecision=75000 #constraints=24486 330.66/330.86 c nbDecision=75500 #constraints=24592 334.86/335.04 c nbDecision=76000 #constraints=24700 338.87/339.01 c nbDecision=76500 #constraints=24804 341.86/342.00 c nbDecision=77000 #constraints=24881 345.96/346.14 c nbDecision=77500 #constraints=24987 350.16/350.32 c nbDecision=78000 #constraints=25092 351.96/352.12 c nbDecision=78500 #constraints=25145 361.45/361.64 c nbDecision=79000 #constraints=25344 366.05/366.28 c nbDecision=79500 #constraints=25452 371.85/372.09 c nbDecision=80000 #constraints=25588 376.45/376.63 c nbDecision=80500 #constraints=25695 380.84/381.04 c nbDecision=81000 #constraints=25801 383.94/384.12 c nbDecision=81500 #constraints=25876 388.64/388.88 c nbDecision=82000 #constraints=25984 393.14/393.38 c nbDecision=82500 #constraints=26088 396.64/396.87 c nbDecision=83000 #constraints=26172 398.64/398.82 c nbDecision=83500 #constraints=26219 404.64/404.84 c nbDecision=84000 #constraints=26354 408.23/408.44 c nbDecision=84500 #constraints=26438 411.54/411.71 c nbDecision=85000 #constraints=26513 414.73/414.97 c nbDecision=85500 #constraints=26588 416.84/417.07 c nbDecision=86000 #constraints=26642 420.33/420.55 c nbDecision=86500 #constraints=26702 431.22/431.44 c nbDecision=87000 #constraints=26917 436.52/436.74 c nbDecision=87500 #constraints=27026 442.92/443.18 c nbDecision=88000 #constraints=27161 448.22/448.41 c nbDecision=88500 #constraints=27267 453.22/453.49 c nbDecision=89000 #constraints=27373 456.92/457.19 c nbDecision=89500 #constraints=27449 462.41/462.61 c nbDecision=90000 #constraints=27564 466.11/466.31 c nbDecision=90500 #constraints=27640 469.61/469.84 c nbDecision=91000 #constraints=27714 474.61/474.82 c nbDecision=91500 #constraints=27808 480.11/480.32 c nbDecision=92000 #constraints=27920 484.30/484.56 c nbDecision=92500 #constraints=28010 486.70/486.92 c nbDecision=93000 #constraints=28064 490.40/490.65 c nbDecision=93500 #constraints=28139 492.80/493.03 c nbDecision=94000 #constraints=28193 498.40/498.63 c nbDecision=94500 #constraints=28299 503.90/504.11 c nbDecision=95000 #constraints=28405 507.69/507.91 c nbDecision=95500 #constraints=28480 510.09/510.36 c nbDecision=96000 #constraints=28534 513.90/514.19 c nbDecision=96500 #constraints=28609 516.39/516.63 c nbDecision=97000 #constraints=28663 520.29/520.50 c nbDecision=97500 #constraints=28738 522.69/522.97 c nbDecision=98000 #constraints=28792 525.18/525.44 c nbDecision=98500 #constraints=28846 536.79/537.01 c nbDecision=99000 #constraints=29015 543.58/543.89 c nbDecision=99500 #constraints=29143 549.68/549.98 c nbDecision=100000 #constraints=29251 555.77/556.02 c nbDecision=100500 #constraints=29358 563.38/563.65 c nbDecision=101000 #constraints=29493 567.87/568.18 c nbDecision=101500 #constraints=29577 574.17/574.45 c nbDecision=102000 #constraints=29685 579.37/579.64 c restart after 102401 decisions 584.37/584.60 c nbDecision=102500 #constraints=29772 585.57/585.82 c nbDecision=103000 #constraints=29772 587.47/587.71 c nbDecision=103500 #constraints=29807 592.07/592.36 c nbDecision=104000 #constraints=29891 596.46/596.79 c nbDecision=104500 #constraints=29968 602.66/602.91 c nbDecision=105000 #constraints=30074 606.96/607.22 c nbDecision=105500 #constraints=30149 611.47/611.79 c nbDecision=106000 #constraints=30232 615.76/616.06 c nbDecision=106500 #constraints=30307 618.45/618.79 c nbDecision=107000 #constraints=30361 623.05/623.39 c nbDecision=107500 #constraints=30438 629.45/629.73 c nbDecision=108000 #constraints=30544 635.45/635.79 c nbDecision=108500 #constraints=30642 638.55/638.81 c nbDecision=109000 #constraints=30702 643.35/643.66 c nbDecision=109500 #constraints=30786 645.74/646.05 c nbDecision=110000 #constraints=30831 650.74/651.02 c nbDecision=110500 #constraints=30915 653.15/653.41 c nbDecision=111000 #constraints=30960 655.94/656.22 c nbDecision=111500 #constraints=31014 660.74/661.01 c nbDecision=112000 #constraints=31091 667.33/667.62 c nbDecision=112500 #constraints=31197 673.33/673.60 c nbDecision=113000 #constraints=31289 676.74/677.07 c nbDecision=113500 #constraints=31355 681.34/681.67 c nbDecision=114000 #constraints=31430 684.23/684.58 c nbDecision=114500 #constraints=31484 688.93/689.27 c nbDecision=115000 #constraints=31559 691.93/692.20 c nbDecision=115500 #constraints=31613 694.82/695.12 c nbDecision=116000 #constraints=31667 699.43/699.77 c nbDecision=116500 #constraints=31742 702.42/702.79 c nbDecision=117000 #constraints=31796 705.42/705.79 c nbDecision=117500 #constraints=31850 708.02/708.34 c nbDecision=118000 #constraints=31895 719.52/719.81 c nbDecision=118500 #constraints=32036 728.62/728.93 c nbDecision=119000 #constraints=32172 737.91/738.21 c nbDecision=119500 #constraints=32308 744.90/745.22 c nbDecision=120000 #constraints=32414 752.31/752.65 c nbDecision=120500 #constraints=32522 759.30/759.65 c nbDecision=121000 #constraints=32626 764.60/764.92 c nbDecision=121500 #constraints=32703 771.80/772.19 c nbDecision=122000 #constraints=32809 779.40/779.73 c nbDecision=122500 #constraints=32922 782.09/782.41 c nbDecision=123000 #constraints=32967 789.59/789.98 c nbDecision=123500 #constraints=33073 796.88/797.29 c nbDecision=124000 #constraints=33179 802.49/802.86 c nbDecision=124500 #constraints=33263 805.69/806.06 c nbDecision=125000 #constraints=33317 810.88/811.25 c nbDecision=125500 #constraints=33392 814.08/814.45 c nbDecision=126000 #constraints=33446 821.88/822.25 c nbDecision=126500 #constraints=33554 829.27/829.69 c nbDecision=127000 #constraints=33658 834.48/834.85 c nbDecision=127500 #constraints=33733 837.88/838.30 c nbDecision=128000 #constraints=33788 842.97/843.40 c nbDecision=128500 #constraints=33862 846.27/846.69 c nbDecision=129000 #constraints=33916 851.57/851.97 c nbDecision=129500 #constraints=33991 854.97/855.30 c nbDecision=130000 #constraints=34045 858.27/858.60 c nbDecision=130500 #constraints=34099 865.87/866.22 c nbDecision=131000 #constraints=34196 874.06/874.46 c nbDecision=131500 #constraints=34311 879.36/879.78 c nbDecision=132000 #constraints=34386 882.96/883.35 c nbDecision=132500 #constraints=34441 888.26/888.64 c nbDecision=133000 #constraints=34515 891.66/892.04 c nbDecision=133500 #constraints=34569 897.05/897.44 c nbDecision=134000 #constraints=34644 900.45/900.88 c nbDecision=134500 #constraints=34698 903.45/903.80 c nbDecision=135000 #constraints=34743 909.45/909.87 c nbDecision=135500 #constraints=34827 912.44/912.85 c nbDecision=136000 #constraints=34872 915.84/916.26 c nbDecision=136500 #constraints=34926 919.35/919.76 c nbDecision=137000 #constraints=34980 927.74/928.12 c nbDecision=137500 #constraints=35086 935.84/936.20 c nbDecision=138000 #constraints=35192 941.35/941.74 c nbDecision=138500 #constraints=35267 944.94/945.32 c nbDecision=139000 #constraints=35321 950.53/950.96 c nbDecision=139500 #constraints=35396 954.13/954.53 c nbDecision=140000 #constraints=35450 959.73/960.18 c nbDecision=140500 #constraints=35525 963.33/963.77 c nbDecision=141000 #constraints=35579 966.92/967.37 c nbDecision=141500 #constraints=35633 972.72/973.13 c nbDecision=142000 #constraints=35708 976.33/976.73 c nbDecision=142500 #constraints=35762 979.33/979.74 c nbDecision=143000 #constraints=35807 982.92/983.39 c nbDecision=143500 #constraints=35861 988.82/989.21 c nbDecision=144000 #constraints=35936 992.52/992.93 c nbDecision=144500 #constraints=35990 996.12/996.52 c nbDecision=145000 #constraints=36044 999.21/999.62 c nbDecision=145500 #constraints=36089 1002.91/1003.34 c nbDecision=146000 #constraints=36143 1006.11/1006.60 c nbDecision=146500 #constraints=36188 1027.80/1028.28 c nbDecision=147000 #constraints=36418 1037.10/1037.51 c nbDecision=147500 #constraints=36527 1047.80/1048.23 c nbDecision=148000 #constraints=36654 1057.20/1057.64 c nbDecision=148500 #constraints=36768 1065.89/1066.36 c nbDecision=149000 #constraints=36874 1072.19/1072.67 c nbDecision=149500 #constraints=36950 1080.89/1081.38 c nbDecision=150000 #constraints=37056 1087.08/1087.50 c nbDecision=150500 #constraints=37131 1093.78/1094.29 c nbDecision=151000 #constraints=37215 1100.28/1100.72 c nbDecision=151500 #constraints=37292 1109.18/1109.68 c nbDecision=152000 #constraints=37398 1116.97/1117.43 c nbDecision=152500 #constraints=37485 1121.97/1122.44 c nbDecision=153000 #constraints=37556 1128.17/1128.68 c nbDecision=153500 #constraints=37631 1132.16/1132.63 c nbDecision=154000 #constraints=37685 1138.76/1139.22 c nbDecision=154500 #constraints=37762 1147.96/1148.40 c nbDecision=155000 #constraints=37868 1157.55/1158.01 c nbDecision=155500 #constraints=37981 1160.86/1161.38 c nbDecision=156000 #constraints=38026 1167.86/1168.37 c nbDecision=156500 #constraints=38110 1171.25/1171.77 c nbDecision=157000 #constraints=38155 1178.25/1178.77 c nbDecision=157500 #constraints=38239 1181.65/1182.16 c nbDecision=158000 #constraints=38284 1185.64/1186.19 c nbDecision=158500 #constraints=38338 1192.54/1193.05 c nbDecision=159000 #constraints=38415 1201.84/1202.36 c nbDecision=159500 #constraints=38521 1210.93/1211.42 c nbDecision=160000 #constraints=38619 1215.24/1215.79 c nbDecision=160500 #constraints=38679 1222.43/1222.92 c nbDecision=161000 #constraints=38763 1225.93/1226.42 c nbDecision=161500 #constraints=38808 1233.12/1233.65 c nbDecision=162000 #constraints=38892 1236.63/1237.13 c nbDecision=162500 #constraints=38937 1240.73/1241.22 c nbDecision=163000 #constraints=38991 1247.33/1247.84 c nbDecision=163500 #constraints=39066 1251.52/1252.09 c nbDecision=164000 #constraints=39120 1255.73/1256.28 c nbDecision=164500 #constraints=39174 1259.22/1259.80 c nbDecision=165000 #constraints=39219 1266.31/1266.88 c nbDecision=165500 #constraints=39295 1276.71/1277.27 c nbDecision=166000 #constraints=39411 1283.41/1283.92 c nbDecision=166500 #constraints=39486 1290.01/1290.51 c nbDecision=167000 #constraints=39560 1297.31/1297.88 c nbDecision=167500 #constraints=39644 1300.91/1301.47 c nbDecision=168000 #constraints=39689 1308.30/1308.89 c nbDecision=168500 #constraints=39773 1312.00/1312.57 c nbDecision=169000 #constraints=39818 1316.30/1316.82 c nbDecision=169500 #constraints=39872 1323.00/1323.58 c nbDecision=170000 #constraints=39947 1327.40/1327.93 c nbDecision=170500 #constraints=40001 1331.79/1332.31 c nbDecision=171000 #constraints=40055 1335.39/1335.95 c nbDecision=171500 #constraints=40100 1342.99/1343.50 c nbDecision=172000 #constraints=40184 1346.58/1347.19 c nbDecision=172500 #constraints=40229 1351.08/1351.63 c nbDecision=173000 #constraints=40283 1355.38/1355.97 c nbDecision=173500 #constraints=40337 1359.09/1359.70 c nbDecision=174000 #constraints=40382 1363.49/1364.06 c nbDecision=174500 #constraints=40436 1374.17/1374.71 c nbDecision=175000 #constraints=40544 1384.07/1384.69 c nbDecision=175500 #constraints=40648 1391.08/1391.69 c nbDecision=176000 #constraints=40723 1395.77/1396.33 c nbDecision=176500 #constraints=40778 1402.56/1403.18 c nbDecision=177000 #constraints=40852 1407.07/1407.60 c nbDecision=177500 #constraints=40906 1414.07/1414.68 c nbDecision=178000 #constraints=40981 1418.56/1419.15 c nbDecision=178500 #constraints=41035 1423.06/1423.64 c nbDecision=179000 #constraints=41089 1430.25/1430.80 c nbDecision=179500 #constraints=41164 1434.75/1435.30 c nbDecision=180000 #constraints=41218 1438.46/1439.07 c nbDecision=180500 #constraints=41263 1443.05/1443.62 c nbDecision=181000 #constraints=41317 1450.25/1450.89 c nbDecision=181500 #constraints=41392 1454.85/1455.43 c nbDecision=182000 #constraints=41446 1459.34/1459.94 c nbDecision=182500 #constraints=41500 1463.14/1463.78 c nbDecision=183000 #constraints=41545 1467.84/1468.42 c nbDecision=183500 #constraints=41599 1475.14/1475.73 c nbDecision=184000 #constraints=41674 1479.74/1480.31 c nbDecision=184500 #constraints=41728 1483.64/1484.24 c nbDecision=185000 #constraints=41773 1488.23/1488.86 c nbDecision=185500 #constraints=41827 1492.93/1493.53 c nbDecision=186000 #constraints=41881 1496.73/1497.39 c nbDecision=186500 #constraints=41926 1501.43/1502.06 c nbDecision=187000 #constraints=41980 1522.22/1522.85 c nbDecision=187500 #constraints=42150 1535.42/1536.07 c nbDecision=188000 #constraints=42271 1547.01/1547.60 c nbDecision=188500 #constraints=42384 1558.71/1559.35 c nbDecision=189000 #constraints=42500 1570.61/1571.25 c nbDecision=189500 #constraints=42606 1580.50/1581.17 c nbDecision=190000 #constraints=42711 1591.80/1592.49 c nbDecision=190500 #constraints=42817 1602.79/1603.45 c nbDecision=191000 #constraints=42923 1610.39/1611.04 c nbDecision=191500 #constraints=42998 1615.18/1615.85 c nbDecision=192000 #constraints=43052 1626.78/1627.46 c nbDecision=192500 #constraints=43160 1637.78/1638.43 c nbDecision=193000 #constraints=43264 1645.37/1646.08 c nbDecision=193500 #constraints=43339 1650.58/1651.21 c nbDecision=194000 #constraints=43394 1658.17/1658.81 c nbDecision=194500 #constraints=43468 1662.88/1663.53 c nbDecision=195000 #constraints=43522 1674.67/1675.37 c nbDecision=195500 #constraints=43630 1685.86/1686.51 c nbDecision=196000 #constraints=43734 1694.46/1695.15 c nbDecision=196500 #constraints=43818 1698.75/1699.46 c nbDecision=197000 #constraints=43864 1707.26/1707.91 c nbDecision=197500 #constraints=43947 1711.36/1712.05 c nbDecision=198000 #constraints=43992 1720.05/1720.77 c nbDecision=198500 #constraints=44076 1724.25/1724.94 c nbDecision=199000 #constraints=44121 1729.24/1729.91 c nbDecision=199500 #constraints=44175 1741.24/1741.97 c nbDecision=200000 #constraints=44283 1752.74/1753.40 c nbDecision=200500 #constraints=44387 1761.44/1762.17 c nbDecision=201000 #constraints=44471 1765.94/1766.62 c nbDecision=201500 #constraints=44517 1774.53/1775.25 c nbDecision=202000 #constraints=44600 1778.72/1779.45 c nbDecision=202500 #constraints=44645 1787.73/1788.40 c nbDecision=203000 #constraints=44729 1791.92/1792.62 c nbDecision=203500 #constraints=44774 1797.02/1797.71 c nbDecision=204000 #constraints=44828 1800.03/1800.71 Received signal 15 1800.22/1800.94 1800.22/1800.94 s UNKNOWN 1800.22/1800.94 1800.22/1800.94 c user time= 1799.28 s 1800.22/1800.94 c system time= 0.995848 s 1800.22/1800.94 c wall clock time=1800.95
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-356999-1176850983 -o ROOT/results/node10/solver-356999-1176850983 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356999-1176850983/instance-356999-1176850983.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: 1.07 1.02 1.00 3/77 15633 /proc/meminfo: memFree=1808704/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=1620 CPUtime=0 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 161135809 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 405 175 126 317 0 84 0 [startup+0.105034 s] /proc/loadavg: 1.07 1.02 1.00 3/77 15633 /proc/meminfo: memFree=1808704/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=3504 CPUtime=0.1 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 699 0 0 0 10 0 0 0 18 0 1 0 161135809 3588096 648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 876 649 131 317 0 555 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3504 [startup+0.201055 s] /proc/loadavg: 1.07 1.02 1.00 3/77 15633 /proc/meminfo: memFree=1808704/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=5868 CPUtime=0.19 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 1303 0 0 0 19 0 0 0 18 0 1 0 161135809 6008832 1252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 1467 1252 137 317 0 1146 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5868 [startup+0.301076 s] /proc/loadavg: 1.07 1.02 1.00 3/77 15633 /proc/meminfo: memFree=1808704/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=5996 CPUtime=0.29 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 1331 0 0 0 29 0 0 0 19 0 1 0 161135809 6139904 1280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 1499 1280 138 317 0 1178 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5996 [startup+0.701162 s] /proc/loadavg: 1.07 1.02 1.00 3/77 15633 /proc/meminfo: memFree=1808704/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=6772 CPUtime=0.69 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 1582 0 0 0 69 0 0 0 23 0 1 0 161135809 6934528 1531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 1693 1531 170 317 0 1372 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6772 [startup+1.50133 s] /proc/loadavg: 1.06 1.02 1.00 2/78 15634 /proc/meminfo: memFree=1801272/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=10436 CPUtime=1.49 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 2474 0 0 0 148 1 0 0 25 0 1 0 161135809 10686464 2423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 2609 2423 170 317 0 2288 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10436 [startup+3.10168 s] /proc/loadavg: 1.06 1.02 1.00 2/78 15634 /proc/meminfo: memFree=1797816/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=14584 CPUtime=3.09 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 3494 0 0 0 308 1 0 0 25 0 1 0 161135809 14934016 3443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 3646 3443 170 317 0 3325 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14584 [startup+6.30137 s] /proc/loadavg: 1.06 1.02 1.00 2/78 15634 /proc/meminfo: memFree=1791872/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=20244 CPUtime=6.29 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 4800 0 0 0 627 2 0 0 25 0 1 0 161135809 20729856 4749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 5061 4749 170 317 0 4740 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20244 [startup+12.7017 s] /proc/loadavg: 1.05 1.02 1.00 2/78 15634 /proc/meminfo: memFree=1784384/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=26280 CPUtime=12.69 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 6356 0 0 0 1266 3 0 0 25 0 1 0 161135809 26910720 6305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 6570 6305 170 317 0 6249 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26280 [startup+25.5015 s] /proc/loadavg: 1.04 1.02 1.00 2/78 15634 /proc/meminfo: memFree=1776192/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=34988 CPUtime=25.48 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 8299 0 0 0 2544 4 0 0 25 0 1 0 161135809 35827712 8248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 8747 8248 170 317 0 8426 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34988 [startup+51.102 s] /proc/loadavg: 1.03 1.02 1.00 2/78 15634 /proc/meminfo: memFree=1750848/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=60508 CPUtime=51.07 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 14676 0 0 0 5098 9 0 0 25 0 1 0 161135809 61960192 14568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 15127 14568 170 317 0 14806 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60508 [startup+102.301 s] /proc/loadavg: 1.01 1.01 1.00 2/78 15634 /proc/meminfo: memFree=1714176/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=98920 CPUtime=102.26 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 23824 0 0 0 10211 15 0 0 25 0 1 0 161135809 101294080 23716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 24730 23716 170 317 0 24409 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 98920 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1609344/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=207676 CPUtime=162.23 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 50251 0 0 0 16195 28 0 0 25 0 1 0 161135809 212660224 50029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 51919 50029 170 317 0 51598 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 207676 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1552320/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=262392 CPUtime=222.21 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 64293 0 0 0 22187 34 0 0 25 0 1 0 161135809 268689408 64071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 65598 64071 170 317 0 65277 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 262392 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1515200/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=307404 CPUtime=282.19 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 73651 0 0 0 28180 39 0 0 25 0 1 0 161135809 314781696 73429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 76851 73429 170 317 0 76530 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 307404 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1487872/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=332064 CPUtime=342.16 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 80369 0 0 0 34173 43 0 0 25 0 1 0 161135809 340033536 80147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 83016 80147 170 317 0 82695 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 332064 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1463680/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=354224 CPUtime=402.13 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 86462 0 0 0 40167 46 0 0 25 0 1 0 161135809 362725376 86240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 88556 86240 170 317 0 88235 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 354224 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1439744/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=383080 CPUtime=462.11 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 93645 0 0 0 46161 50 0 0 25 0 1 0 161135809 392273920 92136 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 95770 92136 170 317 0 95449 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 383080 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1418816/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=403520 CPUtime=522.09 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 99226 0 0 0 52156 53 0 0 25 0 1 0 161135809 413204480 97420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 100880 97420 170 317 0 100559 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 403520 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1401152/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=419360 CPUtime=582.07 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 103599 0 0 0 58151 56 0 0 25 0 1 0 161135809 429424640 101727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 104840 101727 170 317 0 104519 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 419360 [startup+642.302 s] /proc/loadavg: 1.05 1.01 1.00 2/78 15634 /proc/meminfo: memFree=1384256/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=434956 CPUtime=642.04 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 107924 0 0 0 64146 58 0 0 25 0 1 0 161135809 445394944 106019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 108739 106019 170 317 0 108418 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 434956 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1292416/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=545800 CPUtime=941.94 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 135677 0 0 0 94122 72 0 0 25 0 1 0 161135809 558899200 128827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 136450 128827 170 317 0 136129 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 545800 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1277248/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=559288 CPUtime=1001.91 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 139481 0 0 0 100118 73 0 0 25 0 1 0 161135809 572710912 132565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 139822 132565 170 317 0 139501 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 559288 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1264704/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=570196 CPUtime=1061.89 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 142652 0 0 0 106114 75 0 0 25 0 1 0 161135809 583880704 135736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 142549 135736 170 317 0 142228 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 570196 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1251584/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=581616 CPUtime=1121.87 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 145933 0 0 0 112111 76 0 0 25 0 1 0 161135809 595574784 138984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 145404 138984 170 317 0 145083 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 581616 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1238720/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=593168 CPUtime=1181.85 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 149168 0 0 0 118107 78 0 0 25 0 1 0 161135809 607404032 142186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 148292 142186 170 317 0 147971 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 593168 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1225728/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=604600 CPUtime=1241.83 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 152421 0 0 0 124102 81 0 0 25 0 1 0 161135809 619110400 145406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 151150 145406 170 317 0 150829 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 604600 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1213312/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=615364 CPUtime=1301.8 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 155527 0 0 0 130098 82 0 0 25 0 1 0 161135809 630132736 148512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 153841 148512 170 317 0 153520 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 615364 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1200192/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=626664 CPUtime=1361.78 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 158823 0 0 0 136094 84 0 0 25 0 1 0 161135809 641703936 151775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 156666 151775 170 317 0 156345 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 626664 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1188416/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=636792 CPUtime=1421.76 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 161715 0 0 0 142090 86 0 0 25 0 1 0 161135809 652075008 154667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 159198 154667 170 317 0 158877 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 636792 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1176128/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=647444 CPUtime=1481.74 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 164810 0 0 0 148086 88 0 0 25 0 1 0 161135809 662982656 157762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 161861 157762 170 317 0 161540 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 647444 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1165504/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=656476 CPUtime=1541.72 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 167426 0 0 0 154082 90 0 0 25 0 1 0 161135809 672231424 160378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 164119 160378 170 317 0 163798 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 656476 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1153856/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=684096 CPUtime=1601.69 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 174085 0 0 0 160076 93 0 0 25 0 1 0 161135809 700514304 163299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 171024 163299 170 317 0 170703 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 684096 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1142784/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=693404 CPUtime=1661.68 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 176822 0 0 0 166073 95 0 0 25 0 1 0 161135809 710045696 166036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 173351 166036 170 317 0 173030 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 693404 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15634 /proc/meminfo: memFree=1132480/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=702444 CPUtime=1721.65 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 179410 0 0 0 172069 96 0 0 25 0 1 0 161135809 719302656 168624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 175611 168624 170 317 0 175290 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 702444 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15636 /proc/meminfo: memFree=1121984/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=711396 CPUtime=1781.63 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 181929 0 0 0 178064 99 0 0 25 0 1 0 161135809 728469504 171143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 177849 171143 170 317 0 177528 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 711396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15636 /proc/meminfo: memFree=1118528/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=715084 CPUtime=1800.03 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 182963 0 0 0 179904 99 0 0 25 0 1 0 161135809 732246016 171982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 178771 171982 170 317 0 178450 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 715084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15636 /proc/meminfo: memFree=1118528/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=715084 CPUtime=1800.22 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194304 182969 0 0 0 179923 99 0 0 25 0 1 0 161135809 732246016 171988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 178771 171988 170 317 0 178450 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 715084 [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/78 15636 /proc/meminfo: memFree=1118528/2055920 swapFree=4152288/4192956 [pid=15633] ppid=15631 vsize=0 CPUtime=1800.32 /proc/15633/stat : 15633 (oree) R 15631 15633 14593 0 -1 4194308 182985 0 0 0 179928 104 0 0 25 0 1 0 161135809 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15633/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.32 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.07 CPU time (s): 1800.4 CPU user time (s): 1799.29 CPU system time (s): 1.11083 CPU usage (%): 99.9627 Max. virtual memory (cumulated for all children) (KiB): 715084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.29 system time used= 1.11083 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 182985 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= 8517 runsolver used 2.14567 second user time and 4.41633 second system time The end
Begin job on node10 on Tue Apr 17 23:03:03 UTC 2007 IDJOB= 356999 IDBENCH= 1758 IDSOLVER= 172 FILE ID= node10/356999-1176850983 PBS_JOBID= 4590181 Free space on /tmp= 66300 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/miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb COMMAND LINE= oree /tmp/evaluation/356999-1176850983/instance-356999-1176850983.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-356999-1176850983 -o ROOT/results/node10/solver-356999-1176850983 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356999-1176850983/instance-356999-1176850983.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 99a4e5b0ce7b98bffc278cf1f6704eb9 RANDOM SEED= 764049384 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1809112 kB Buffers: 18368 kB Cached: 163240 kB SwapCached: 8656 kB Active: 38348 kB Inactive: 166488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1809112 kB SwapTotal: 4192956 kB SwapFree: 4152288 kB Dirty: 1928 kB Writeback: 0 kB Mapped: 30220 kB Slab: 27628 kB Committed_AS: 3507936 kB PageTables: 1708 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= 66300 MiB End job on node10 on Tue Apr 17 23:33:06 UTC 2007