Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.39 | 1800.91 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb |
MD5SUM | 3d255cade6c21db991c934cb96648acb |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 13401266210196 |
Best CPU time to get the best result obtained on this benchmark | 1804.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 9201231431786 |
Optimality of the best value was proved | NO |
Number of variables | 77286 |
Total number of constraints | 23680 |
Number of constraints which are clauses | 2311 |
Number of constraints which are cardinality constraints (but not clauses) | 862 |
Number of constraints which are nor clauses,nor cardinality constraints | 20507 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2790 |
Number of terms in the objective function | 31296 |
Biggest coefficient in the objective function | 1700000000000 |
Number of bits for the biggest coefficient in the objective function | 41 |
Sum of the numbers in the objective function | 81421012358779 |
Number of bits of the sum of numbers in the objective function | 47 |
Biggest number in a constraint | 1700000000000 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 81421012358779 |
Number of bits of the biggest sum of numbers | 47 |
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... 1.79/1.80 c ...done 1.79/1.80 c #vars=77286 #constraints=30761 hasObjective=yes 10.39/10.43 c res. mode=mod 10.39/10.43 c VSIDS like heuristics 10.39/10.43 c complete search running 10.99/11.05 c restart after 401 decisions 11.09/11.17 c nbDecision=500 #constraints=30784 11.48/11.50 c restart after 801 decisions 11.68/11.73 c nbDecision=1000 #constraints=30784 12.28/12.31 c nbDecision=1500 #constraints=30790 12.38/12.44 c restart after 1601 decisions 12.79/12.89 c nbDecision=2000 #constraints=30793 13.38/13.49 c nbDecision=2500 #constraints=30802 14.08/14.15 c nbDecision=3000 #constraints=30822 14.38/14.46 c restart after 3201 decisions 14.78/14.80 c nbDecision=3500 #constraints=30839 15.29/15.35 c nbDecision=4000 #constraints=30839 16.08/16.11 c nbDecision=4500 #constraints=30881 16.68/16.75 c nbDecision=5000 #constraints=30899 17.28/17.37 c nbDecision=5500 #constraints=30912 18.78/18.81 c nbDecision=6000 #constraints=31060 19.79/19.80 c restart after 6401 decisions 19.88/19.93 c nbDecision=6500 #constraints=31154 20.38/20.48 c nbDecision=7000 #constraints=31154 20.98/21.03 c nbDecision=7500 #constraints=31154 21.48/21.57 c nbDecision=8000 #constraints=31154 22.18/22.22 c nbDecision=8500 #constraints=31176 22.99/23.09 c nbDecision=9000 #constraints=31235 23.78/23.82 c nbDecision=9500 #constraints=31269 24.39/24.42 c nbDecision=10000 #constraints=31281 25.39/25.40 c nbDecision=10500 #constraints=31368 26.09/26.12 c nbDecision=11000 #constraints=31405 26.69/26.76 c nbDecision=11500 #constraints=31426 27.29/27.35 c nbDecision=12000 #constraints=31436 28.19/28.23 c nbDecision=12500 #constraints=31504 28.49/28.56 c restart after 12801 decisions 28.79/28.82 c nbDecision=13000 #constraints=31507 29.29/29.36 c nbDecision=13500 #constraints=31507 29.89/29.90 c nbDecision=14000 #constraints=31507 30.39/30.44 c nbDecision=14500 #constraints=31507 30.89/30.98 c nbDecision=15000 #constraints=31507 31.49/31.52 c nbDecision=15500 #constraints=31507 31.99/32.07 c nbDecision=16000 #constraints=31507 32.59/32.61 c nbDecision=16500 #constraints=31507 33.09/33.15 c nbDecision=17000 #constraints=31507 33.59/33.68 c nbDecision=17500 #constraints=31507 34.59/34.63 c nbDecision=18000 #constraints=31588 35.09/35.17 c nbDecision=18500 #constraints=31588 35.69/35.70 c nbDecision=19000 #constraints=31588 36.19/36.24 c nbDecision=19500 #constraints=31588 36.89/36.98 c nbDecision=20000 #constraints=31629 37.59/37.66 c nbDecision=20500 #constraints=31656 38.29/38.34 c nbDecision=21000 #constraints=31686 38.89/38.91 c nbDecision=21500 #constraints=31692 39.49/39.51 c nbDecision=22000 #constraints=31695 39.99/40.06 c nbDecision=22500 #constraints=31695 40.59/40.60 c nbDecision=23000 #constraints=31695 41.08/41.15 c nbDecision=23500 #constraints=31695 41.58/41.69 c nbDecision=24000 #constraints=31695 42.18/42.22 c nbDecision=24500 #constraints=31695 42.68/42.76 c nbDecision=25000 #constraints=31695 43.18/43.29 c nbDecision=25500 #constraints=31695 43.38/43.40 c restart after 25601 decisions 43.78/43.87 c nbDecision=26000 #constraints=31695 44.38/44.41 c nbDecision=26500 #constraints=31695 44.88/44.95 c nbDecision=27000 #constraints=31695 45.38/45.49 c nbDecision=27500 #constraints=31695 45.98/46.03 c nbDecision=28000 #constraints=31695 46.48/46.57 c nbDecision=28500 #constraints=31695 47.08/47.10 c nbDecision=29000 #constraints=31695 47.58/47.64 c nbDecision=29500 #constraints=31695 48.08/48.17 c nbDecision=30000 #constraints=31695 48.68/48.70 c nbDecision=30500 #constraints=31695 49.18/49.23 c nbDecision=31000 #constraints=31695 49.68/49.76 c nbDecision=31500 #constraints=31695 50.28/50.35 c nbDecision=32000 #constraints=31698 50.78/50.89 c nbDecision=32500 #constraints=31698 51.38/51.44 c nbDecision=33000 #constraints=31698 51.88/51.98 c nbDecision=33500 #constraints=31698 52.48/52.53 c nbDecision=34000 #constraints=31698 52.98/53.07 c nbDecision=34500 #constraints=31698 53.58/53.62 c nbDecision=35000 #constraints=31698 54.08/54.15 c nbDecision=35500 #constraints=31698 54.58/54.69 c nbDecision=36000 #constraints=31698 55.18/55.23 c nbDecision=36500 #constraints=31698 55.68/55.76 c nbDecision=37000 #constraints=31698 56.28/56.30 c nbDecision=37500 #constraints=31698 56.78/56.87 c nbDecision=38000 #constraints=31705 57.68/57.76 c nbDecision=38500 #constraints=31777 58.58/58.65 c nbDecision=39000 #constraints=31848 59.38/59.40 c nbDecision=39500 #constraints=31893 60.08/60.15 c nbDecision=40000 #constraints=31938 60.58/60.68 c nbDecision=40500 #constraints=31938 61.28/61.31 c nbDecision=41000 #constraints=31958 61.78/61.89 c nbDecision=41500 #constraints=31969 62.68/62.76 c nbDecision=42000 #constraints=32041 63.38/63.49 c nbDecision=42500 #constraints=32085 64.08/64.14 c nbDecision=43000 #constraints=32111 64.68/64.74 c nbDecision=43500 #constraints=32130 65.28/65.31 c nbDecision=44000 #constraints=32139 66.78/66.82 c nbDecision=44500 #constraints=32344 67.68/67.77 c nbDecision=45000 #constraints=32427 68.28/68.30 c nbDecision=45500 #constraints=32430 68.78/68.82 c nbDecision=46000 #constraints=32430 69.48/69.59 c nbDecision=46500 #constraints=32481 70.08/70.18 c nbDecision=47000 #constraints=32496 71.17/71.26 c nbDecision=47500 #constraints=32618 71.97/72.02 c nbDecision=48000 #constraints=32671 72.58/72.64 c nbDecision=48500 #constraints=32695 73.17/73.21 c nbDecision=49000 #constraints=32707 73.77/73.82 c nbDecision=49500 #constraints=32726 74.27/74.38 c nbDecision=50000 #constraints=32736 74.87/74.90 c nbDecision=50500 #constraints=32736 75.37/75.42 c nbDecision=51000 #constraints=32736 75.57/75.63 c restart after 51201 decisions 75.97/76.01 c nbDecision=51500 #constraints=32736 76.47/76.56 c nbDecision=52000 #constraints=32736 77.07/77.10 c nbDecision=52500 #constraints=32736 77.57/77.65 c nbDecision=53000 #constraints=32736 78.17/78.20 c nbDecision=53500 #constraints=32736 78.67/78.74 c nbDecision=54000 #constraints=32736 79.17/79.29 c nbDecision=54500 #constraints=32736 79.77/79.82 c nbDecision=55000 #constraints=32736 80.28/80.36 c nbDecision=55500 #constraints=32736 80.87/80.90 c nbDecision=56000 #constraints=32736 81.38/81.43 c nbDecision=56500 #constraints=32736 81.87/81.95 c nbDecision=57000 #constraints=32736 82.37/82.48 c nbDecision=57500 #constraints=32736 82.97/83.01 c nbDecision=58000 #constraints=32736 83.47/83.53 c nbDecision=58500 #constraints=32736 83.97/84.06 c nbDecision=59000 #constraints=32736 84.47/84.58 c nbDecision=59500 #constraints=32736 85.07/85.10 c nbDecision=60000 #constraints=32736 85.57/85.61 c nbDecision=60500 #constraints=32736 86.07/86.14 c nbDecision=61000 #constraints=32736 86.57/86.65 c nbDecision=61500 #constraints=32736 87.07/87.17 c nbDecision=62000 #constraints=32736 87.57/87.68 c nbDecision=62500 #constraints=32736 88.17/88.20 c nbDecision=63000 #constraints=32736 88.67/88.71 c nbDecision=63500 #constraints=32736 89.17/89.22 c nbDecision=64000 #constraints=32736 89.87/89.96 c nbDecision=64500 #constraints=32785 90.97/91.04 c nbDecision=65000 #constraints=32914 91.57/91.64 c nbDecision=65500 #constraints=32934 92.17/92.28 c nbDecision=66000 #constraints=32961 92.87/92.95 c nbDecision=66500 #constraints=32994 93.77/93.85 c nbDecision=67000 #constraints=33082 94.67/94.77 c nbDecision=67500 #constraints=33174 95.37/95.44 c nbDecision=68000 #constraints=33210 95.87/95.95 c nbDecision=68500 #constraints=33211 96.47/96.57 c nbDecision=69000 #constraints=33236 97.27/97.38 c nbDecision=69500 #constraints=33308 98.17/98.27 c nbDecision=70000 #constraints=33396 98.88/98.93 c nbDecision=70500 #constraints=33428 99.47/99.51 c nbDecision=71000 #constraints=33442 99.97/100.08 c nbDecision=71500 #constraints=33454 100.57/100.65 c nbDecision=72000 #constraints=33464 101.17/101.22 c nbDecision=72500 #constraints=33479 101.77/101.80 c nbDecision=73000 #constraints=33499 102.27/102.34 c nbDecision=73500 #constraints=33508 102.77/102.88 c nbDecision=74000 #constraints=33517 103.37/103.44 c nbDecision=74500 #constraints=33530 103.87/103.95 c nbDecision=75000 #constraints=33534 104.47/104.53 c nbDecision=75500 #constraints=33552 104.97/105.08 c nbDecision=76000 #constraints=33564 105.57/105.60 c nbDecision=76500 #constraints=33570 106.07/106.16 c nbDecision=77000 #constraints=33583 106.57/106.69 c nbDecision=77500 #constraints=33590 107.17/107.27 c nbDecision=78000 #constraints=33609 107.77/107.82 c nbDecision=78500 #constraints=33622 108.27/108.39 c nbDecision=79000 #constraints=33638 108.87/108.93 c nbDecision=79500 #constraints=33647 109.47/109.58 c nbDecision=80000 #constraints=33653 110.56/110.65 c nbDecision=80500 #constraints=33684 111.56/111.67 c nbDecision=81000 #constraints=33707 112.56/112.69 c nbDecision=81500 #constraints=33731 113.66/113.76 c nbDecision=82000 #constraints=33766 114.66/114.73 c nbDecision=82500 #constraints=33784 115.56/115.69 c nbDecision=83000 #constraints=33799 116.66/116.76 c nbDecision=83500 #constraints=33838 117.56/117.61 c nbDecision=84000 #constraints=33838 118.56/118.62 c nbDecision=84500 #constraints=33868 119.57/119.63 c nbDecision=85000 #constraints=33898 120.56/120.63 c nbDecision=85500 #constraints=33929 121.36/121.44 c nbDecision=86000 #constraints=33929 122.26/122.39 c nbDecision=86500 #constraints=33954 123.07/123.19 c nbDecision=87000 #constraints=33954 124.06/124.17 c nbDecision=87500 #constraints=33990 124.86/124.94 c nbDecision=88000 #constraints=33990 125.86/125.94 c nbDecision=88500 #constraints=34029 126.86/126.97 c nbDecision=89000 #constraints=34074 127.76/127.88 c nbDecision=89500 #constraints=34099 128.66/128.77 c nbDecision=90000 #constraints=34122 129.46/129.53 c nbDecision=90500 #constraints=34124 130.26/130.33 c nbDecision=91000 #constraints=34135 130.96/131.07 c nbDecision=91500 #constraints=34136 131.66/131.80 c nbDecision=92000 #constraints=34136 132.46/132.51 c nbDecision=92500 #constraints=34136 133.16/133.23 c nbDecision=93000 #constraints=34136 133.86/133.94 c nbDecision=93500 #constraints=34136 134.56/134.63 c nbDecision=94000 #constraints=34136 135.36/135.47 c nbDecision=94500 #constraints=34162 136.06/136.17 c nbDecision=95000 #constraints=34165 136.96/137.09 c nbDecision=95500 #constraints=34188 138.06/138.19 c nbDecision=96000 #constraints=34235 139.16/139.28 c nbDecision=96500 #constraints=34282 140.26/140.36 c nbDecision=97000 #constraints=34324 141.46/141.52 c nbDecision=97500 #constraints=34382 142.76/142.85 c nbDecision=98000 #constraints=34474 143.96/144.06 c nbDecision=98500 #constraints=34522 145.16/145.26 c nbDecision=99000 #constraints=34570 146.35/146.44 c nbDecision=99500 #constraints=34613 147.55/147.60 c nbDecision=100000 #constraints=34651 148.85/148.93 c nbDecision=100500 #constraints=34732 150.15/150.21 c nbDecision=101000 #constraints=34802 151.35/151.49 c nbDecision=101500 #constraints=34882 153.05/153.12 c nbDecision=102000 #constraints=34989 154.05/154.19 c restart after 102401 decisions 154.25/154.39 c nbDecision=102500 #constraints=35050 154.85/154.94 c nbDecision=103000 #constraints=35050 155.35/155.49 c nbDecision=103500 #constraints=35050 155.95/156.04 c nbDecision=104000 #constraints=35050 156.45/156.59 c nbDecision=104500 #constraints=35050 157.05/157.13 c nbDecision=105000 #constraints=35050 157.55/157.67 c nbDecision=105500 #constraints=35050 158.15/158.21 c nbDecision=106000 #constraints=35050 158.65/158.75 c nbDecision=106500 #constraints=35050 159.15/159.28 c nbDecision=107000 #constraints=35050 159.75/159.82 c nbDecision=107500 #constraints=35050 160.25/160.35 c nbDecision=108000 #constraints=35050 160.75/160.88 c nbDecision=108500 #constraints=35050 161.35/161.41 c nbDecision=109000 #constraints=35050 161.85/161.94 c nbDecision=109500 #constraints=35050 162.35/162.47 c nbDecision=110000 #constraints=35050 162.85/162.99 c nbDecision=110500 #constraints=35050 163.45/163.51 c nbDecision=111000 #constraints=35050 163.95/164.03 c nbDecision=111500 #constraints=35050 164.45/164.55 c nbDecision=112000 #constraints=35050 164.95/165.07 c nbDecision=112500 #constraints=35050 165.45/165.59 c nbDecision=113000 #constraints=35050 165.95/166.10 c nbDecision=113500 #constraints=35050 166.55/166.62 c nbDecision=114000 #constraints=35050 167.05/167.14 c nbDecision=114500 #constraints=35050 167.55/167.65 c nbDecision=115000 #constraints=35050 168.05/168.16 c nbDecision=115500 #constraints=35050 168.55/168.68 c nbDecision=116000 #constraints=35050 169.05/169.18 c nbDecision=116500 #constraints=35050 169.55/169.69 c nbDecision=117000 #constraints=35050 170.15/170.20 c nbDecision=117500 #constraints=35050 170.65/170.71 c nbDecision=118000 #constraints=35050 171.14/171.21 c nbDecision=118500 #constraints=35050 171.64/171.72 c nbDecision=119000 #constraints=35050 172.14/172.23 c nbDecision=119500 #constraints=35050 172.65/172.74 c nbDecision=120000 #constraints=35050 173.25/173.35 c nbDecision=120500 #constraints=35050 174.35/174.43 c nbDecision=121000 #constraints=35080 175.35/175.42 c nbDecision=121500 #constraints=35097 176.35/176.45 c nbDecision=122000 #constraints=35120 177.25/177.33 c nbDecision=122500 #constraints=35120 178.15/178.20 c nbDecision=123000 #constraints=35121 179.15/179.27 c nbDecision=123500 #constraints=35158 180.05/180.12 c nbDecision=124000 #constraints=35158 181.05/181.11 c nbDecision=124500 #constraints=35184 182.05/182.12 c nbDecision=125000 #constraints=35212 183.05/183.12 c nbDecision=125500 #constraints=35244 183.85/183.93 c nbDecision=126000 #constraints=35244 184.75/184.82 c nbDecision=126500 #constraints=35259 185.55/185.62 c nbDecision=127000 #constraints=35259 186.55/186.62 c nbDecision=127500 #constraints=35297 187.35/187.40 c nbDecision=128000 #constraints=35297 188.15/188.26 c nbDecision=128500 #constraints=35311 189.15/189.21 c nbDecision=129000 #constraints=35342 189.95/190.00 c nbDecision=129500 #constraints=35347 190.74/190.87 c nbDecision=130000 #constraints=35367 191.64/191.79 c nbDecision=130500 #constraints=35390 192.45/192.60 c nbDecision=131000 #constraints=35400 193.24/193.33 c nbDecision=131500 #constraints=35400 193.94/194.06 c nbDecision=132000 #constraints=35400 194.65/194.78 c nbDecision=132500 #constraints=35400 195.34/195.49 c nbDecision=133000 #constraints=35400 196.04/196.19 c nbDecision=133500 #constraints=35400 196.75/196.89 c nbDecision=134000 #constraints=35400 197.44/197.57 c nbDecision=134500 #constraints=35400 198.14/198.26 c nbDecision=135000 #constraints=35400 199.34/199.49 c nbDecision=135500 #constraints=35441 200.64/200.71 c nbDecision=136000 #constraints=35472 202.24/202.32 c nbDecision=136500 #constraints=35575 203.94/204.00 c nbDecision=137000 #constraints=35664 205.34/205.44 c nbDecision=137500 #constraints=35730 206.94/207.09 c nbDecision=138000 #constraints=35801 208.64/208.73 c nbDecision=138500 #constraints=35880 210.44/210.55 c nbDecision=139000 #constraints=35975 212.04/212.18 c nbDecision=139500 #constraints=36060 213.74/213.87 c nbDecision=140000 #constraints=36139 215.44/215.51 c nbDecision=140500 #constraints=36214 216.94/217.03 c nbDecision=141000 #constraints=36277 218.34/218.42 c nbDecision=141500 #constraints=36322 219.04/219.14 c nbDecision=142000 #constraints=36336 219.54/219.65 c nbDecision=142500 #constraints=36336 220.04/220.16 c nbDecision=143000 #constraints=36336 220.54/220.67 c nbDecision=143500 #constraints=36336 221.54/221.60 c nbDecision=144000 #constraints=36360 222.44/222.53 c nbDecision=144500 #constraints=36366 223.44/223.55 c nbDecision=145000 #constraints=36389 224.44/224.59 c nbDecision=145500 #constraints=36413 225.34/225.46 c nbDecision=146000 #constraints=36414 226.34/226.47 c nbDecision=146500 #constraints=36439 227.24/227.34 c nbDecision=147000 #constraints=36442 228.04/228.18 c nbDecision=147500 #constraints=36442 229.04/229.19 c nbDecision=148000 #constraints=36471 229.93/230.01 c nbDecision=148500 #constraints=36471 230.84/231.00 c nbDecision=149000 #constraints=36499 231.73/231.81 c nbDecision=149500 #constraints=36499 232.63/232.78 c nbDecision=150000 #constraints=36525 233.43/233.59 c nbDecision=150500 #constraints=36526 234.24/234.37 c nbDecision=151000 #constraints=36526 235.03/235.16 c nbDecision=151500 #constraints=36526 236.04/236.18 c nbDecision=152000 #constraints=36564 236.84/236.94 c nbDecision=152500 #constraints=36564 237.74/237.84 c nbDecision=153000 #constraints=36586 238.44/238.59 c nbDecision=153500 #constraints=36586 239.24/239.33 c nbDecision=154000 #constraints=36586 239.94/240.07 c nbDecision=154500 #constraints=36586 240.64/240.79 c nbDecision=155000 #constraints=36586 241.44/241.51 c nbDecision=155500 #constraints=36586 242.14/242.21 c nbDecision=156000 #constraints=36586 242.84/242.90 c nbDecision=156500 #constraints=36586 243.44/243.59 c nbDecision=157000 #constraints=36586 244.14/244.26 c nbDecision=157500 #constraints=36586 245.44/245.50 c nbDecision=158000 #constraints=36621 247.04/247.18 c nbDecision=158500 #constraints=36704 248.83/248.99 c nbDecision=159000 #constraints=36804 250.64/250.76 c nbDecision=159500 #constraints=36897 252.84/252.90 c nbDecision=160000 #constraints=37010 254.73/254.87 c nbDecision=160500 #constraints=37111 257.03/257.14 c nbDecision=161000 #constraints=37222 259.23/259.31 c nbDecision=161500 #constraints=37324 261.33/261.47 c nbDecision=162000 #constraints=37437 263.63/263.70 c nbDecision=162500 #constraints=37544 265.92/266.01 c nbDecision=163000 #constraints=37650 267.72/267.86 c nbDecision=163500 #constraints=37726 269.33/269.42 c nbDecision=164000 #constraints=37781 271.02/271.18 c nbDecision=164500 #constraints=37855 273.12/273.25 c nbDecision=165000 #constraints=37955 276.22/276.32 c nbDecision=165500 #constraints=38111 278.92/279.01 c nbDecision=166000 #constraints=38251 281.73/281.88 c nbDecision=166500 #constraints=38373 284.22/284.35 c nbDecision=167000 #constraints=38645 287.82/287.94 c nbDecision=167500 #constraints=39146 291.72/291.85 c nbDecision=168000 #constraints=39641 295.92/296.03 c nbDecision=168500 #constraints=40139 300.12/300.26 c nbDecision=169000 #constraints=40632 305.02/305.15 c nbDecision=169500 #constraints=41129 310.12/310.25 c nbDecision=170000 #constraints=41628 315.41/315.53 c nbDecision=170500 #constraints=42125 320.52/320.69 c nbDecision=171000 #constraints=42618 326.11/326.22 c nbDecision=171500 #constraints=43119 331.61/331.75 c nbDecision=172000 #constraints=43619 336.31/336.41 c nbDecision=172500 #constraints=44117 341.81/341.91 c nbDecision=173000 #constraints=44616 349.10/349.29 c nbDecision=173500 #constraints=45113 356.51/356.64 c nbDecision=174000 #constraints=45608 364.70/364.85 c nbDecision=174500 #constraints=46110 372.00/372.12 c nbDecision=175000 #constraints=46609 379.90/380.05 c nbDecision=175500 #constraints=47105 386.60/386.70 c nbDecision=176000 #constraints=47604 394.90/395.01 c nbDecision=176500 #constraints=48104 402.29/402.46 c nbDecision=177000 #constraints=48606 408.00/408.14 c nbDecision=177500 #constraints=49106 418.30/418.42 c nbDecision=178000 #constraints=49603 428.89/429.02 c nbDecision=178500 #constraints=50099 437.59/437.76 c nbDecision=179000 #constraints=50595 447.29/447.43 c nbDecision=179500 #constraints=51094 455.08/455.24 c nbDecision=180000 #constraints=51592 466.19/466.34 c nbDecision=180500 #constraints=52088 475.77/475.95 c nbDecision=181000 #constraints=52582 484.18/484.37 c nbDecision=181500 #constraints=53081 494.38/494.57 c nbDecision=182000 #constraints=53576 503.67/503.81 c nbDecision=182500 #constraints=54074 513.67/513.88 c nbDecision=183000 #constraints=54575 522.67/522.82 c nbDecision=183500 #constraints=55071 531.26/531.41 c nbDecision=184000 #constraints=55573 542.17/542.35 c nbDecision=184500 #constraints=56070 555.56/555.75 c nbDecision=185000 #constraints=56570 567.06/567.24 c nbDecision=185500 #constraints=57067 578.06/578.28 c nbDecision=186000 #constraints=57565 587.55/587.74 c nbDecision=186500 #constraints=58067 596.85/597.06 c nbDecision=187000 #constraints=58566 610.74/610.94 c nbDecision=187500 #constraints=59061 624.84/625.08 c nbDecision=188000 #constraints=59556 636.14/636.40 c nbDecision=188500 #constraints=60052 648.13/648.33 c nbDecision=189000 #constraints=60546 659.74/659.97 c nbDecision=189500 #constraints=61046 671.53/671.79 c nbDecision=190000 #constraints=61544 684.13/684.32 c nbDecision=190500 #constraints=62041 702.42/702.62 c nbDecision=191000 #constraints=62538 718.72/718.91 c nbDecision=191500 #constraints=63037 731.92/732.14 c nbDecision=192000 #constraints=63538 746.81/747.00 c nbDecision=192500 #constraints=64029 764.41/764.65 c nbDecision=193000 #constraints=64530 781.01/781.27 c nbDecision=193500 #constraints=65026 793.70/793.90 c nbDecision=194000 #constraints=65522 811.99/812.21 c nbDecision=194500 #constraints=66021 828.30/828.54 c nbDecision=195000 #constraints=66517 846.39/846.68 c nbDecision=195500 #constraints=67017 861.99/862.30 c nbDecision=196000 #constraints=67513 877.38/877.63 c nbDecision=196500 #constraints=68006 893.87/894.15 c nbDecision=197000 #constraints=68500 911.48/911.78 c nbDecision=197500 #constraints=68998 927.47/927.79 c nbDecision=198000 #constraints=69499 945.56/945.90 c nbDecision=198500 #constraints=69996 962.57/962.87 c nbDecision=199000 #constraints=70490 981.36/981.65 c nbDecision=199500 #constraints=70986 997.96/998.20 c nbDecision=200000 #constraints=71483 1015.64/1015.92 c nbDecision=200500 #constraints=71980 1034.04/1034.36 c nbDecision=201000 #constraints=72476 1054.54/1054.87 c nbDecision=201500 #constraints=72976 1075.54/1075.82 c nbDecision=202000 #constraints=73475 1093.13/1093.42 c nbDecision=202500 #constraints=73973 1113.72/1114.07 c nbDecision=203000 #constraints=74469 1134.02/1134.35 c nbDecision=203500 #constraints=74966 1155.82/1156.19 c nbDecision=204000 #constraints=75466 1187.11/1187.41 c nbDecision=204500 #constraints=75966 1203.30/1203.63 c restart after 204801 decisions 1204.90/1205.20 c nbDecision=205000 #constraints=76269 1205.40/1205.74 c nbDecision=205500 #constraints=76269 1205.91/1206.28 c nbDecision=206000 #constraints=76269 1206.51/1206.84 c nbDecision=206500 #constraints=76269 1207.11/1207.40 c nbDecision=207000 #constraints=76269 1207.61/1207.95 c nbDecision=207500 #constraints=76269 1208.11/1208.49 c nbDecision=208000 #constraints=76269 1208.71/1209.02 c nbDecision=208500 #constraints=76269 1209.21/1209.56 c nbDecision=209000 #constraints=76269 1209.71/1210.10 c nbDecision=209500 #constraints=76269 1210.31/1210.63 c nbDecision=210000 #constraints=76269 1210.81/1211.17 c nbDecision=210500 #constraints=76269 1211.40/1211.73 c nbDecision=211000 #constraints=76269 1211.91/1212.27 c nbDecision=211500 #constraints=76269 1212.50/1212.80 c nbDecision=212000 #constraints=76269 1213.01/1213.33 c nbDecision=212500 #constraints=76269 1213.50/1213.85 c nbDecision=213000 #constraints=76269 1214.01/1214.38 c nbDecision=213500 #constraints=76269 1214.50/1214.90 c nbDecision=214000 #constraints=76269 1215.11/1215.42 c nbDecision=214500 #constraints=76269 1215.60/1215.95 c nbDecision=215000 #constraints=76269 1216.10/1216.48 c nbDecision=215500 #constraints=76269 1216.70/1217.01 c nbDecision=216000 #constraints=76269 1217.20/1217.53 c nbDecision=216500 #constraints=76269 1217.70/1218.05 c nbDecision=217000 #constraints=76269 1218.20/1218.57 c nbDecision=217500 #constraints=76269 1218.70/1219.09 c nbDecision=218000 #constraints=76269 1219.30/1219.60 c nbDecision=218500 #constraints=76269 1219.80/1220.12 c nbDecision=219000 #constraints=76269 1220.30/1220.63 c nbDecision=219500 #constraints=76269 1220.80/1221.14 c nbDecision=220000 #constraints=76269 1221.30/1221.67 c nbDecision=220500 #constraints=76269 1221.81/1222.17 c nbDecision=221000 #constraints=76269 1222.30/1222.68 c nbDecision=221500 #constraints=76269 1222.81/1223.18 c nbDecision=222000 #constraints=76269 1223.30/1223.68 c nbDecision=222500 #constraints=76269 1224.01/1224.37 c nbDecision=223000 #constraints=76269 1224.90/1225.26 c nbDecision=223500 #constraints=76269 1226.10/1226.47 c nbDecision=224000 #constraints=76289 1227.20/1227.60 c nbDecision=224500 #constraints=76304 1228.10/1228.48 c nbDecision=225000 #constraints=76305 1229.40/1229.71 c nbDecision=225500 #constraints=76328 1230.40/1230.72 c nbDecision=226000 #constraints=76338 1231.20/1231.56 c nbDecision=226500 #constraints=76338 1232.10/1232.40 c nbDecision=227000 #constraints=76338 1233.30/1233.63 c nbDecision=227500 #constraints=76360 1234.30/1234.62 c nbDecision=228000 #constraints=76370 1235.10/1235.45 c nbDecision=228500 #constraints=76371 1235.90/1236.26 c nbDecision=229000 #constraints=76371 1236.70/1237.09 c nbDecision=229500 #constraints=76373 1237.50/1237.87 c nbDecision=230000 #constraints=76373 1238.80/1239.17 c nbDecision=230500 #constraints=76400 1239.60/1239.98 c nbDecision=231000 #constraints=76402 1240.80/1241.10 c nbDecision=231500 #constraints=76424 1241.90/1242.25 c nbDecision=232000 #constraints=76448 1242.60/1243.00 c nbDecision=232500 #constraints=76448 1243.50/1243.86 c nbDecision=233000 #constraints=76456 1244.19/1244.59 c nbDecision=233500 #constraints=76456 1245.00/1245.31 c nbDecision=234000 #constraints=76456 1245.69/1246.02 c nbDecision=234500 #constraints=76456 1246.39/1246.72 c nbDecision=235000 #constraints=76456 1247.10/1247.41 c nbDecision=235500 #constraints=76456 1247.69/1248.10 c nbDecision=236000 #constraints=76456 1248.89/1249.24 c nbDecision=236500 #constraints=76484 1249.69/1250.09 c nbDecision=237000 #constraints=76490 1272.98/1273.32 c nbDecision=237500 #constraints=76893 1299.18/1299.58 c nbDecision=238000 #constraints=77387 1325.07/1325.42 c nbDecision=238500 #constraints=77884 1349.27/1349.60 c nbDecision=239000 #constraints=78383 1375.82/1376.22 c nbDecision=239500 #constraints=78882 1397.58/1398.07 c nbDecision=240000 #constraints=79378 1419.56/1420.01 c nbDecision=240500 #constraints=79880 1444.96/1445.45 c nbDecision=241000 #constraints=80374 1473.25/1473.73 c nbDecision=241500 #constraints=80875 1498.95/1499.44 c nbDecision=242000 #constraints=81376 1520.54/1521.09 c nbDecision=242500 #constraints=81875 1546.33/1546.81 c nbDecision=243000 #constraints=82375 1573.92/1574.44 c nbDecision=243500 #constraints=82874 1597.83/1598.33 c nbDecision=244000 #constraints=83373 1619.52/1620.06 c nbDecision=244500 #constraints=83872 1644.31/1644.81 c nbDecision=245000 #constraints=84369 1668.80/1669.34 c nbDecision=245500 #constraints=84870 1694.70/1695.28 c nbDecision=246000 #constraints=85366 1720.39/1720.96 c nbDecision=246500 #constraints=85861 1744.19/1744.70 c nbDecision=247000 #constraints=86361 1775.48/1776.08 c nbDecision=247500 #constraints=86860 1800.09/1800.61 Received signal 15 1800.28/1800.82 1800.28/1800.82 s UNKNOWN 1800.28/1800.82 1800.28/1800.82 c user time= 1799.57 s 1800.28/1800.82 c system time= 0.740887 s 1800.28/1800.82 c wall clock time=1800.82
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-365706-1176997105 -o ROOT/results/node41/solver-365706-1176997105 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365706-1176997105/instance-365706-1176997105.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.98 0.99 3/77 20301 /proc/meminfo: memFree=1664400/2055920 swapFree=4137516/4192956 [pid=20301] ppid=20299 vsize=1468 CPUtime=0 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147622423 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831134 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 367 161 127 317 0 46 0 [startup+0.057516 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20301 /proc/meminfo: memFree=1664400/2055920 swapFree=4137516/4192956 [pid=20301] ppid=20299 vsize=2400 CPUtime=0.05 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 473 0 0 0 5 0 0 0 18 0 1 0 147622423 2457600 357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 600 358 127 317 0 279 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2400 [startup+0.10152 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20301 /proc/meminfo: memFree=1664400/2055920 swapFree=4137516/4192956 [pid=20301] ppid=20299 vsize=2400 CPUtime=0.09 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 510 0 0 0 9 0 0 0 18 0 1 0 147622423 2457600 394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712470 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 600 394 128 317 0 279 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2400 [startup+0.301538 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20301 /proc/meminfo: memFree=1664400/2055920 swapFree=4137516/4192956 [pid=20301] ppid=20299 vsize=5136 CPUtime=0.29 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 1200 0 0 0 29 0 0 0 19 0 1 0 147622423 5259264 1084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 1284 1084 131 317 0 963 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5136 [startup+0.701572 s] /proc/loadavg: 0.92 0.98 0.99 3/77 20301 /proc/meminfo: memFree=1664400/2055920 swapFree=4137516/4192956 [pid=20301] ppid=20299 vsize=10700 CPUtime=0.69 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 2589 0 0 0 68 1 0 0 22 0 1 0 147622423 10956800 2473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 2675 2473 131 317 0 2354 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10700 [startup+1.50164 s] /proc/loadavg: 0.92 0.98 0.99 2/78 20302 /proc/meminfo: memFree=1650888/2055920 swapFree=4137516/4192956 [pid=20301] ppid=20299 vsize=22212 CPUtime=1.49 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 5445 0 0 0 146 3 0 0 25 0 1 0 147622423 22745088 5329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 5553 5329 131 317 0 5232 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22212 [startup+3.10178 s] /proc/loadavg: 0.93 0.98 0.99 2/78 20302 /proc/meminfo: memFree=1629448/2055920 swapFree=4137516/4192956 [pid=20301] ppid=20299 vsize=36212 CPUtime=3.09 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 8965 0 0 0 304 5 0 0 25 0 1 0 147622423 37081088 8849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 9053 8849 137 317 0 8732 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36212 [startup+6.30106 s] /proc/loadavg: 0.93 0.98 0.99 2/78 20302 /proc/meminfo: memFree=1628360/2055920 swapFree=4137516/4192956 [pid=20301] ppid=20299 vsize=37400 CPUtime=6.29 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 9248 0 0 0 623 6 0 0 25 0 1 0 147622423 38297600 9132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 9350 9132 137 317 0 9029 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37400 [startup+12.7016 s] /proc/loadavg: 0.94 0.98 0.99 2/78 20302 /proc/meminfo: memFree=1623504/2055920 swapFree=4137644/4192956 [pid=20301] ppid=20299 vsize=42860 CPUtime=12.68 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 10609 0 0 0 1262 6 0 0 25 0 1 0 147622423 43888640 10282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 10715 10282 139 317 0 10394 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 42860 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 20304 /proc/meminfo: memFree=1623568/2055920 swapFree=4137644/4192956 [pid=20301] ppid=20299 vsize=42860 CPUtime=25.49 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 10612 0 0 0 2542 7 0 0 25 0 1 0 147622423 43888640 10285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 10715 10285 139 317 0 10394 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 42860 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/78 20304 /proc/meminfo: memFree=1623632/2055920 swapFree=4137644/4192956 [pid=20301] ppid=20299 vsize=42860 CPUtime=51.08 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 10614 0 0 0 5101 7 0 0 25 0 1 0 147622423 43888640 10287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 10715 10287 139 317 0 10394 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 42860 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 20304 /proc/meminfo: memFree=1623184/2055920 swapFree=4137644/4192956 [pid=20301] ppid=20299 vsize=43504 CPUtime=102.27 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 10815 0 0 0 10219 8 0 0 25 0 1 0 147622423 44548096 10455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 10876 10455 139 317 0 10555 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 43504 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20304 /proc/meminfo: memFree=1618896/2055920 swapFree=4137644/4192956 [pid=20301] ppid=20299 vsize=47652 CPUtime=162.25 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 11867 0 0 0 16216 9 0 0 25 0 1 0 147622423 48795648 11507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 11913 11507 139 317 0 11592 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 47652 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20304 /proc/meminfo: memFree=1614544/2055920 swapFree=4137644/4192956 [pid=20301] ppid=20299 vsize=52084 CPUtime=222.24 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 12962 0 0 0 22213 11 0 0 25 0 1 0 147622423 53334016 12602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 13021 12602 139 317 0 12700 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 52084 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20304 /proc/meminfo: memFree=1606608/2055920 swapFree=4137708/4192956 [pid=20301] ppid=20299 vsize=59920 CPUtime=282.23 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 14969 0 0 0 28210 13 0 0 25 0 1 0 147622423 61358080 14609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 14980 14609 170 317 0 14659 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 59920 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 20304 /proc/meminfo: memFree=1575248/2055920 swapFree=4137708/4192956 [pid=20301] ppid=20299 vsize=91712 CPUtime=342.21 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 22816 0 0 0 34201 20 0 0 25 0 1 0 147622423 93913088 22456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 22928 22456 170 317 0 22607 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 91712 [startup+402.301 s] /proc/loadavg: 1.06 1.00 1.00 2/78 20304 /proc/meminfo: memFree=1555728/2055920 swapFree=4137772/4192956 [pid=20301] ppid=20299 vsize=112696 CPUtime=402.19 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 27733 0 0 0 40195 24 0 0 25 0 1 0 147622423 115400704 27373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562648 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 28174 27373 170 317 0 27853 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 112696 [startup+462.302 s] /proc/loadavg: 1.02 1.00 1.00 2/78 20304 /proc/meminfo: memFree=1539088/2055920 swapFree=4137772/4192956 [pid=20301] ppid=20299 vsize=129332 CPUtime=462.18 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 31827 0 0 0 46191 27 0 0 25 0 1 0 147622423 132435968 31467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 32333 31467 170 317 0 32012 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 129332 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20304 /proc/meminfo: memFree=1524368/2055920 swapFree=4137772/4192956 [pid=20301] ppid=20299 vsize=147700 CPUtime=522.17 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 36326 0 0 0 52185 32 0 0 25 0 1 0 147622423 151244800 35174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 36925 35174 170 317 0 36604 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 147700 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20304 /proc/meminfo: memFree=1512336/2055920 swapFree=4137772/4192956 [pid=20301] ppid=20299 vsize=158528 CPUtime=582.15 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 39346 0 0 0 58181 34 0 0 25 0 1 0 147622423 162332672 38161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 39632 38161 170 317 0 39311 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 158528 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20304 /proc/meminfo: memFree=1500112/2055920 swapFree=4137836/4192956 [pid=20301] ppid=20299 vsize=170688 CPUtime=642.14 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 42424 0 0 0 64178 36 0 0 25 0 1 0 147622423 174784512 41173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 42672 41173 170 317 0 42351 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 170688 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20304 /proc/meminfo: memFree=1455184/2055920 swapFree=4137964/4192956 [pid=20301] ppid=20299 vsize=217108 CPUtime=942.07 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 54815 0 0 0 94161 46 0 0 25 0 1 0 147622423 222318592 52386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 54277 52386 170 317 0 53956 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 217108 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20304 /proc/meminfo: memFree=1446480/2055920 swapFree=4137964/4192956 [pid=20301] ppid=20299 vsize=234732 CPUtime=1002.05 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 59182 0 0 0 100157 48 0 0 25 0 1 0 147622423 240365568 54543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563776 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 58683 54543 170 317 0 58362 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 234732 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20304 /proc/meminfo: memFree=1439120/2055920 swapFree=4138028/4192956 [pid=20301] ppid=20299 vsize=241188 CPUtime=1062.04 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 61036 0 0 0 106153 51 0 0 25 0 1 0 147622423 246976512 56397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 60297 56397 170 317 0 59976 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 241188 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20304 /proc/meminfo: memFree=1432080/2055920 swapFree=4138028/4192956 [pid=20301] ppid=20299 vsize=247756 CPUtime=1122.02 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 62880 0 0 0 112150 52 0 0 25 0 1 0 147622423 253702144 58143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 61939 58143 170 317 0 61618 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 247756 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20304 /proc/meminfo: memFree=1426000/2055920 swapFree=4138028/4192956 [pid=20301] ppid=20299 vsize=253292 CPUtime=1182.01 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 64486 0 0 0 118147 54 0 0 25 0 1 0 147622423 259371008 59684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 63323 59684 170 317 0 63002 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 253292 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20304 /proc/meminfo: memFree=1423184/2055920 swapFree=4138092/4192956 [pid=20301] ppid=20299 vsize=255928 CPUtime=1242 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 65143 0 0 0 124145 55 0 0 25 0 1 0 147622423 262070272 60341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 63982 60341 170 317 0 63661 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 255928 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20304 /proc/meminfo: memFree=1417616/2055920 swapFree=4138092/4192956 [pid=20301] ppid=20299 vsize=261188 CPUtime=1301.99 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 66510 0 0 0 130143 56 0 0 25 0 1 0 147622423 267456512 61708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 65297 61708 170 317 0 64976 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 261188 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 20376 /proc/meminfo: memFree=1410128/2055920 swapFree=4138156/4192956 [pid=20301] ppid=20299 vsize=266788 CPUtime=1361.94 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 68078 0 0 0 136135 59 0 0 25 0 1 0 147622423 273190912 63276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 66697 63276 170 317 0 66376 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 266788 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20502 /proc/meminfo: memFree=1403792/2055920 swapFree=4138156/4192956 [pid=20301] ppid=20299 vsize=276572 CPUtime=1421.86 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 70513 0 0 0 142125 61 0 0 25 0 1 0 147622423 283209728 65118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 69143 65118 170 317 0 68822 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 276572 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20502 /proc/meminfo: memFree=1398096/2055920 swapFree=4138220/4192956 [pid=20301] ppid=20299 vsize=282016 CPUtime=1481.85 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 71960 0 0 0 148122 63 0 0 25 0 1 0 147622423 288784384 66565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 70504 66565 170 317 0 70183 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 282016 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20502 /proc/meminfo: memFree=1391376/2055920 swapFree=4138220/4192956 [pid=20301] ppid=20299 vsize=287676 CPUtime=1541.83 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 73634 0 0 0 154118 65 0 0 25 0 1 0 147622423 294580224 68239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 71919 68239 170 317 0 71598 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 287676 [startup+1602.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 20502 /proc/meminfo: memFree=1385488/2055920 swapFree=4138220/4192956 [pid=20301] ppid=20299 vsize=292948 CPUtime=1601.82 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 75121 0 0 0 160115 67 0 0 25 0 1 0 147622423 299978752 69726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 73237 69726 170 317 0 72916 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 292948 [startup+1662.3 s] /proc/loadavg: 1.05 1.02 1.00 2/78 20502 /proc/meminfo: memFree=1378576/2055920 swapFree=4138284/4192956 [pid=20301] ppid=20299 vsize=299536 CPUtime=1661.81 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 76830 0 0 0 166112 69 0 0 25 0 1 0 147622423 306724864 71435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 74884 71435 170 317 0 74563 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 299536 [startup+1722.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 20502 /proc/meminfo: memFree=1372304/2055920 swapFree=4138284/4192956 [pid=20301] ppid=20299 vsize=305868 CPUtime=1721.79 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 78613 0 0 0 172108 71 0 0 25 0 1 0 147622423 313208832 73022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 76467 73022 170 317 0 76146 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 305868 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 20502 /proc/meminfo: memFree=1366352/2055920 swapFree=4138348/4192956 [pid=20301] ppid=20299 vsize=311344 CPUtime=1781.78 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 80077 0 0 0 178105 73 0 0 25 0 1 0 147622423 318816256 74486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 77836 74486 170 317 0 77515 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 311344 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.01 1.00 3/78 20502 /proc/meminfo: memFree=1364752/2055920 swapFree=4138348/4192956 [pid=20301] ppid=20299 vsize=312776 CPUtime=1800.09 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 80498 0 0 0 179935 74 0 0 25 0 1 0 147622423 320282624 74874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 78194 74874 170 317 0 77873 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 312776 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.01 1.00 3/78 20502 /proc/meminfo: memFree=1364752/2055920 swapFree=4138348/4192956 [pid=20301] ppid=20299 vsize=312776 CPUtime=1800.28 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194304 80498 0 0 0 179954 74 0 0 25 0 1 0 147622423 320282624 74874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 78194 74874 170 317 0 77873 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 312776 [startup+1800.9 s] /proc/loadavg: 1.00 1.01 1.00 3/78 20502 /proc/meminfo: memFree=1364752/2055920 swapFree=4138348/4192956 [pid=20301] ppid=20299 vsize=0 CPUtime=1800.37 /proc/20301/stat : 20301 (oree) R 20299 20301 19629 0 -1 4194308 80514 0 0 0 179960 77 0 0 25 0 1 0 147622423 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20301/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.91 CPU time (s): 1800.39 CPU user time (s): 1799.6 CPU system time (s): 0.78788 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 312776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.78788 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80514 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= 1248 runsolver used 1.91971 second user time and 4.65729 second system time The end
Begin job on node41 on Thu Apr 19 15:38:25 UTC 2007 IDJOB= 365706 IDBENCH= 2530 IDSOLVER= 172 FILE ID= node41/365706-1176997105 PBS_JOBID= 4630436 Free space on /tmp= 66340 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-atlanta-ip.opb COMMAND LINE= oree /tmp/evaluation/365706-1176997105/instance-365706-1176997105.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-365706-1176997105 -o ROOT/results/node41/solver-365706-1176997105 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365706-1176997105/instance-365706-1176997105.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 3d255cade6c21db991c934cb96648acb RANDOM SEED= 237053985 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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.232 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.232 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: 1664872 kB Buffers: 37376 kB Cached: 269360 kB SwapCached: 2732 kB Active: 109684 kB Inactive: 220632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1664872 kB SwapTotal: 4192956 kB SwapFree: 4137516 kB Dirty: 8448 kB Writeback: 0 kB Mapped: 31272 kB Slab: 46028 kB Committed_AS: 2561512 kB PageTables: 2008 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= 66340 MiB End job on node41 on Thu Apr 19 16:08:28 UTC 2007