Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.17 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-nug08.opb |
MD5SUM | 6120923c090ddeb6029c79f9e1b7777e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | NO |
Number of variables | 32640 |
Total number of constraints | 912 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 912 |
Minimum length of a constraint | 160 |
Maximum length of a constraint | 160 |
Number of terms in the objective function | 20160 |
Biggest coefficient in the objective function | 1216 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 537736 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 32769 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 537736 |
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.49/0.55 c ...done 0.49/0.55 c #vars=32640 #constraints=1825 hasObjective=yes 0.89/0.97 c res. mode=mod 0.89/0.97 c VSIDS like heuristics 0.89/0.97 c complete search running 1.69/1.72 c restart after 401 decisions 1.79/1.83 c nbDecision=500 #constraints=2248 2.10/2.17 c restart after 801 decisions 2.39/2.40 c nbDecision=1000 #constraints=2605 2.89/2.98 c nbDecision=1500 #constraints=3008 2.99/3.09 c restart after 1601 decisions 3.49/3.56 c nbDecision=2000 #constraints=3324 4.09/4.14 c nbDecision=2500 #constraints=3634 4.69/4.74 c nbDecision=3000 #constraints=3925 4.89/4.98 c restart after 3201 decisions 5.29/5.39 c nbDecision=3500 #constraints=4136 5.99/6.01 c nbDecision=4000 #constraints=4394 6.60/6.67 c nbDecision=4500 #constraints=4623 7.19/7.28 c nbDecision=5000 #constraints=4854 7.89/7.91 c nbDecision=5500 #constraints=5080 8.49/8.55 c nbDecision=6000 #constraints=5312 8.99/9.07 c restart after 6401 decisions 9.19/9.24 c nbDecision=6500 #constraints=5574 9.99/10.03 c nbDecision=7000 #constraints=5766 10.69/10.76 c nbDecision=7500 #constraints=5989 11.49/11.53 c nbDecision=8000 #constraints=6164 12.19/12.29 c nbDecision=8500 #constraints=6402 13.09/13.15 c nbDecision=9000 #constraints=6633 13.98/14.01 c nbDecision=9500 #constraints=6916 14.58/14.60 c nbDecision=10000 #constraints=7117 15.19/15.25 c nbDecision=10500 #constraints=7339 15.89/15.95 c nbDecision=11000 #constraints=7526 16.69/16.74 c nbDecision=11500 #constraints=7784 17.39/17.44 c nbDecision=12000 #constraints=8018 18.19/18.26 c nbDecision=12500 #constraints=8202 18.69/18.78 c restart after 12801 decisions 19.19/19.21 c nbDecision=13000 #constraints=8408 20.28/20.30 c nbDecision=13500 #constraints=8712 21.28/21.32 c nbDecision=14000 #constraints=8890 22.08/22.19 c nbDecision=14500 #constraints=9027 22.88/22.99 c nbDecision=15000 #constraints=9194 23.88/23.90 c nbDecision=15500 #constraints=9424 24.68/24.73 c nbDecision=16000 #constraints=9520 25.58/25.66 c nbDecision=16500 #constraints=9684 26.48/26.55 c nbDecision=17000 #constraints=9857 27.38/27.41 c nbDecision=17500 #constraints=10033 28.09/28.17 c nbDecision=18000 #constraints=10234 28.99/29.06 c nbDecision=18500 #constraints=10396 29.99/30.09 c nbDecision=19000 #constraints=10588 30.98/31.08 c nbDecision=19500 #constraints=10775 31.98/32.04 c nbDecision=20000 #constraints=10917 32.68/32.79 c nbDecision=20500 #constraints=11088 33.78/33.82 c nbDecision=21000 #constraints=11255 34.88/34.98 c nbDecision=21500 #constraints=11469 35.78/35.87 c nbDecision=22000 #constraints=11685 36.68/36.71 c nbDecision=22500 #constraints=11854 37.38/37.48 c nbDecision=23000 #constraints=11970 38.28/38.32 c nbDecision=23500 #constraints=12124 39.07/39.12 c nbDecision=24000 #constraints=12238 39.97/40.03 c nbDecision=24500 #constraints=12433 40.88/40.95 c nbDecision=25000 #constraints=12552 41.58/41.68 c nbDecision=25500 #constraints=12757 41.78/41.86 c restart after 25601 decisions 42.98/43.03 c nbDecision=26000 #constraints=12899 44.28/44.36 c nbDecision=26500 #constraints=13099 45.28/45.38 c nbDecision=27000 #constraints=13188 46.47/46.50 c nbDecision=27500 #constraints=13314 47.28/47.33 c nbDecision=28000 #constraints=13499 48.07/48.13 c nbDecision=28500 #constraints=13627 48.77/48.84 c nbDecision=29000 #constraints=13818 49.48/49.53 c nbDecision=29500 #constraints=13990 50.17/50.24 c nbDecision=30000 #constraints=14344 51.28/51.32 c nbDecision=30500 #constraints=14464 52.18/52.25 c nbDecision=31000 #constraints=14580 53.18/53.23 c nbDecision=31500 #constraints=14700 53.88/53.99 c nbDecision=32000 #constraints=14908 54.98/55.07 c nbDecision=32500 #constraints=15081 56.18/56.25 c nbDecision=33000 #constraints=15303 56.98/57.09 c nbDecision=33500 #constraints=15466 57.98/58.03 c nbDecision=34000 #constraints=15582 59.18/59.24 c nbDecision=34500 #constraints=15716 60.58/60.68 c nbDecision=35000 #constraints=15928 61.58/61.65 c nbDecision=35500 #constraints=16124 62.48/62.52 c nbDecision=36000 #constraints=16258 63.88/63.91 c nbDecision=36500 #constraints=16369 65.18/65.22 c nbDecision=37000 #constraints=16459 66.37/66.43 c nbDecision=37500 #constraints=16542 67.27/67.31 c nbDecision=38000 #constraints=16688 67.87/67.96 c nbDecision=38500 #constraints=17067 68.47/68.57 c nbDecision=39000 #constraints=17363 69.27/69.33 c nbDecision=39500 #constraints=17598 70.17/70.24 c nbDecision=40000 #constraints=17790 71.27/71.33 c nbDecision=40500 #constraints=17968 72.07/72.14 c nbDecision=41000 #constraints=18283 72.87/72.95 c nbDecision=41500 #constraints=18574 73.77/73.86 c nbDecision=42000 #constraints=18706 75.26/75.33 c nbDecision=42500 #constraints=19022 76.47/76.59 c nbDecision=43000 #constraints=19177 77.47/77.54 c nbDecision=43500 #constraints=19253 78.27/78.39 c nbDecision=44000 #constraints=19607 79.07/79.16 c nbDecision=44500 #constraints=19846 79.87/79.95 c nbDecision=45000 #constraints=20151 80.67/80.71 c nbDecision=45500 #constraints=20462 81.37/81.41 c nbDecision=46000 #constraints=20707 82.17/82.22 c nbDecision=46500 #constraints=20983 82.87/82.91 c nbDecision=47000 #constraints=21241 83.77/83.85 c nbDecision=47500 #constraints=21543 84.67/84.78 c nbDecision=48000 #constraints=21734 85.57/85.64 c nbDecision=48500 #constraints=21975 86.36/86.47 c nbDecision=49000 #constraints=22332 87.16/87.25 c nbDecision=49500 #constraints=22631 87.97/88.01 c nbDecision=50000 #constraints=22846 89.16/89.20 c nbDecision=50500 #constraints=22984 89.86/89.99 c nbDecision=51000 #constraints=23216 90.26/90.36 c restart after 51201 decisions 91.66/91.79 c nbDecision=51500 #constraints=23439 93.66/93.75 c nbDecision=52000 #constraints=23580 95.76/95.82 c nbDecision=52500 #constraints=23778 97.96/98.01 c nbDecision=53000 #constraints=24044 99.96/100.07 c nbDecision=53500 #constraints=24269 101.96/102.00 c nbDecision=54000 #constraints=24482 103.86/104.00 c nbDecision=54500 #constraints=24702 105.66/105.75 c nbDecision=55000 #constraints=24847 107.26/107.37 c nbDecision=55500 #constraints=24988 108.96/109.06 c nbDecision=56000 #constraints=25143 111.26/111.33 c nbDecision=56500 #constraints=25360 113.46/113.52 c nbDecision=57000 #constraints=25483 115.26/115.35 c nbDecision=57500 #constraints=25559 116.56/116.62 c nbDecision=58000 #constraints=25661 117.86/117.93 c nbDecision=58500 #constraints=25758 119.45/119.51 c nbDecision=59000 #constraints=25857 120.96/121.07 c nbDecision=59500 #constraints=25928 122.55/122.66 c nbDecision=60000 #constraints=26065 123.75/123.88 c nbDecision=60500 #constraints=26179 124.75/124.85 c nbDecision=61000 #constraints=26295 125.75/125.83 c nbDecision=61500 #constraints=26511 126.56/126.65 c nbDecision=62000 #constraints=26775 127.66/127.75 c nbDecision=62500 #constraints=27001 128.46/128.53 c nbDecision=63000 #constraints=27258 129.16/129.29 c nbDecision=63500 #constraints=27465 130.06/130.14 c nbDecision=64000 #constraints=27708 131.46/131.51 c nbDecision=64500 #constraints=28096 132.36/132.45 c nbDecision=65000 #constraints=28365 133.16/133.23 c nbDecision=65500 #constraints=28561 133.96/134.01 c nbDecision=66000 #constraints=28809 134.86/134.92 c nbDecision=66500 #constraints=29017 135.66/135.70 c nbDecision=67000 #constraints=29228 136.46/136.56 c nbDecision=67500 #constraints=29482 137.55/137.62 c nbDecision=68000 #constraints=29641 138.46/138.50 c nbDecision=68500 #constraints=29738 139.45/139.50 c nbDecision=69000 #constraints=29972 140.25/140.34 c nbDecision=69500 #constraints=30125 141.15/141.29 c nbDecision=70000 #constraints=30298 142.25/142.32 c nbDecision=70500 #constraints=30563 143.05/143.16 c nbDecision=71000 #constraints=30929 143.95/144.04 c nbDecision=71500 #constraints=31279 144.85/144.93 c nbDecision=72000 #constraints=31588 145.74/145.86 c nbDecision=72500 #constraints=31831 146.74/146.85 c nbDecision=73000 #constraints=32043 147.65/147.71 c nbDecision=73500 #constraints=32373 148.46/148.58 c nbDecision=74000 #constraints=32540 149.25/149.40 c nbDecision=74500 #constraints=32702 150.25/150.30 c nbDecision=75000 #constraints=32863 151.35/151.43 c nbDecision=75500 #constraints=33038 152.55/152.65 c nbDecision=76000 #constraints=33261 153.75/153.85 c nbDecision=76500 #constraints=33443 154.85/154.90 c nbDecision=77000 #constraints=33578 156.05/156.10 c nbDecision=77500 #constraints=33682 157.04/157.17 c nbDecision=78000 #constraints=33802 158.05/158.12 c nbDecision=78500 #constraints=34005 158.95/159.01 c nbDecision=79000 #constraints=34260 160.15/160.26 c nbDecision=79500 #constraints=34522 161.25/161.37 c nbDecision=80000 #constraints=34779 162.25/162.34 c nbDecision=80500 #constraints=34903 163.34/163.40 c nbDecision=81000 #constraints=35141 164.24/164.38 c nbDecision=81500 #constraints=35427 165.34/165.41 c nbDecision=82000 #constraints=35606 166.14/166.29 c nbDecision=82500 #constraints=35778 167.04/167.16 c nbDecision=83000 #constraints=35935 168.55/168.61 c nbDecision=83500 #constraints=36178 169.85/169.98 c nbDecision=84000 #constraints=36388 171.05/171.15 c nbDecision=84500 #constraints=36559 172.04/172.13 c nbDecision=85000 #constraints=36786 172.84/172.99 c nbDecision=85500 #constraints=37034 173.94/174.00 c nbDecision=86000 #constraints=37243 174.75/174.87 c nbDecision=86500 #constraints=37412 175.95/176.07 c nbDecision=87000 #constraints=37548 177.14/177.22 c nbDecision=87500 #constraints=37645 178.05/178.14 c nbDecision=88000 #constraints=37792 178.74/178.88 c nbDecision=88500 #constraints=37916 179.44/179.58 c nbDecision=89000 #constraints=38089 180.34/180.41 c nbDecision=89500 #constraints=38291 181.34/181.41 c nbDecision=90000 #constraints=38351 182.14/182.26 c nbDecision=90500 #constraints=38456 183.14/183.23 c nbDecision=91000 #constraints=38580 184.14/184.28 c nbDecision=91500 #constraints=38800 185.14/185.21 c nbDecision=92000 #constraints=38935 186.24/186.36 c nbDecision=92500 #constraints=38980 187.33/187.40 c nbDecision=93000 #constraints=39063 188.53/188.69 c nbDecision=93500 #constraints=39175 190.15/190.24 c nbDecision=94000 #constraints=39303 191.64/191.79 c nbDecision=94500 #constraints=39425 193.14/193.22 c nbDecision=95000 #constraints=39604 194.74/194.83 c nbDecision=95500 #constraints=39744 196.44/196.57 c nbDecision=96000 #constraints=39864 198.23/198.38 c nbDecision=96500 #constraints=40003 200.14/200.26 c nbDecision=97000 #constraints=40170 201.84/201.95 c nbDecision=97500 #constraints=40314 203.44/203.51 c nbDecision=98000 #constraints=40408 205.34/205.42 c nbDecision=98500 #constraints=40574 207.43/207.51 c nbDecision=99000 #constraints=40730 209.23/209.38 c nbDecision=99500 #constraints=40924 210.93/211.05 c nbDecision=100000 #constraints=41057 212.73/212.88 c nbDecision=100500 #constraints=41287 214.33/214.44 c nbDecision=101000 #constraints=41401 215.74/215.85 c nbDecision=101500 #constraints=41584 217.13/217.28 c nbDecision=102000 #constraints=41738 218.43/218.54 c restart after 102401 decisions 219.03/219.10 c nbDecision=102500 #constraints=41851 221.73/221.85 c nbDecision=103000 #constraints=42019 224.23/224.37 c nbDecision=103500 #constraints=42134 226.43/226.50 c nbDecision=104000 #constraints=42293 229.13/229.21 c nbDecision=104500 #constraints=42441 232.03/232.13 c nbDecision=105000 #constraints=42633 234.53/234.61 c nbDecision=105500 #constraints=42760 236.93/237.02 c nbDecision=106000 #constraints=42895 238.73/238.88 c nbDecision=106500 #constraints=42960 241.52/241.61 c nbDecision=107000 #constraints=43153 243.82/243.93 c nbDecision=107500 #constraints=43278 246.12/246.20 c nbDecision=108000 #constraints=43404 249.22/249.40 c nbDecision=108500 #constraints=43617 252.02/252.10 c nbDecision=109000 #constraints=43777 254.53/254.64 c nbDecision=109500 #constraints=43917 256.53/256.67 c nbDecision=110000 #constraints=44018 258.72/258.80 c nbDecision=110500 #constraints=44136 260.53/260.60 c nbDecision=111000 #constraints=44243 262.52/262.67 c nbDecision=111500 #constraints=44358 264.92/265.08 c nbDecision=112000 #constraints=44478 267.42/267.59 c nbDecision=112500 #constraints=44600 269.72/269.80 c nbDecision=113000 #constraints=44702 271.62/271.79 c nbDecision=113500 #constraints=44786 273.52/273.62 c nbDecision=114000 #constraints=44895 275.22/275.38 c nbDecision=114500 #constraints=45023 277.12/277.22 c nbDecision=115000 #constraints=45172 278.51/278.61 c nbDecision=115500 #constraints=45243 280.21/280.37 c nbDecision=116000 #constraints=45396 281.61/281.72 c nbDecision=116500 #constraints=45517 283.01/283.19 c nbDecision=117000 #constraints=45795 284.81/284.96 c nbDecision=117500 #constraints=45921 285.91/286.02 c nbDecision=118000 #constraints=46006 287.51/287.64 c nbDecision=118500 #constraints=46090 288.91/289.02 c nbDecision=119000 #constraints=46181 290.51/290.60 c nbDecision=119500 #constraints=46288 291.71/291.84 c nbDecision=120000 #constraints=46575 293.11/293.21 c nbDecision=120500 #constraints=46807 294.71/294.81 c nbDecision=121000 #constraints=46918 296.71/296.87 c nbDecision=121500 #constraints=47090 298.40/298.59 c nbDecision=122000 #constraints=47194 300.12/300.26 c nbDecision=122500 #constraints=47304 301.71/301.81 c nbDecision=123000 #constraints=47393 303.71/303.89 c nbDecision=123500 #constraints=47551 305.71/305.81 c nbDecision=124000 #constraints=47641 308.01/308.10 c nbDecision=124500 #constraints=47900 309.80/309.93 c nbDecision=125000 #constraints=48047 311.80/311.98 c nbDecision=125500 #constraints=48255 314.01/314.11 c nbDecision=126000 #constraints=48485 315.81/315.92 c nbDecision=126500 #constraints=48626 317.51/317.69 c nbDecision=127000 #constraints=48794 319.21/319.37 c nbDecision=127500 #constraints=48970 320.81/320.97 c nbDecision=128000 #constraints=49059 322.60/322.70 c nbDecision=128500 #constraints=49183 324.10/324.23 c nbDecision=129000 #constraints=49442 325.41/325.53 c nbDecision=129500 #constraints=49624 327.00/327.20 c nbDecision=130000 #constraints=49813 329.30/329.46 c nbDecision=130500 #constraints=50042 331.30/331.45 c nbDecision=131000 #constraints=50337 333.40/333.54 c nbDecision=131500 #constraints=50586 335.10/335.25 c nbDecision=132000 #constraints=50705 337.30/337.49 c nbDecision=132500 #constraints=50895 339.71/339.86 c nbDecision=133000 #constraints=51090 342.10/342.29 c nbDecision=133500 #constraints=51316 343.90/344.09 c nbDecision=134000 #constraints=51419 345.20/345.36 c nbDecision=134500 #constraints=51605 346.40/346.52 c nbDecision=135000 #constraints=51785 347.80/347.97 c nbDecision=135500 #constraints=51896 349.00/349.18 c nbDecision=136000 #constraints=52035 351.00/351.19 c nbDecision=136500 #constraints=52164 352.40/352.54 c nbDecision=137000 #constraints=52307 353.90/354.04 c nbDecision=137500 #constraints=52428 355.99/356.16 c nbDecision=138000 #constraints=52675 357.69/357.80 c nbDecision=138500 #constraints=52812 359.59/359.75 c nbDecision=139000 #constraints=52921 361.19/361.37 c nbDecision=139500 #constraints=53034 362.59/362.73 c nbDecision=140000 #constraints=53113 364.00/364.12 c nbDecision=140500 #constraints=53246 365.49/365.68 c nbDecision=141000 #constraints=53315 366.79/366.99 c nbDecision=141500 #constraints=53432 367.99/368.13 c nbDecision=142000 #constraints=53585 369.89/370.02 c nbDecision=142500 #constraints=53674 371.19/371.36 c nbDecision=143000 #constraints=53870 372.49/372.64 c nbDecision=143500 #constraints=54043 373.69/373.83 c nbDecision=144000 #constraints=54232 375.39/375.55 c nbDecision=144500 #constraints=54378 376.89/377.06 c nbDecision=145000 #constraints=54527 378.38/378.54 c nbDecision=145500 #constraints=54667 380.18/380.31 c nbDecision=146000 #constraints=54911 382.78/382.97 c nbDecision=146500 #constraints=55096 385.17/385.33 c nbDecision=147000 #constraints=55256 386.76/386.96 c nbDecision=147500 #constraints=55410 388.06/388.29 c nbDecision=148000 #constraints=55492 389.16/389.38 c nbDecision=148500 #constraints=55668 390.26/390.49 c nbDecision=149000 #constraints=55882 391.56/391.76 c nbDecision=149500 #constraints=55986 393.95/394.18 c nbDecision=150000 #constraints=56150 396.45/396.70 c nbDecision=150500 #constraints=56315 399.35/399.54 c nbDecision=151000 #constraints=56551 402.04/402.28 c nbDecision=151500 #constraints=56813 404.33/404.51 c nbDecision=152000 #constraints=57002 406.13/406.32 c nbDecision=152500 #constraints=57202 407.83/408.01 c nbDecision=153000 #constraints=57419 409.51/409.71 c nbDecision=153500 #constraints=57611 411.90/412.14 c nbDecision=154000 #constraints=57824 413.60/413.88 c nbDecision=154500 #constraints=57911 415.61/415.84 c nbDecision=155000 #constraints=58060 417.71/417.94 c nbDecision=155500 #constraints=58203 419.20/419.41 c nbDecision=156000 #constraints=58321 421.20/421.43 c nbDecision=156500 #constraints=58467 423.40/423.60 c nbDecision=157000 #constraints=58570 425.30/425.58 c nbDecision=157500 #constraints=58724 427.19/427.43 c nbDecision=158000 #constraints=58830 428.59/428.87 c nbDecision=158500 #constraints=58935 431.39/431.69 c nbDecision=159000 #constraints=59179 434.09/434.39 c nbDecision=159500 #constraints=59472 436.88/437.14 c nbDecision=160000 #constraints=59646 439.28/439.56 c nbDecision=160500 #constraints=59817 441.68/441.96 c nbDecision=161000 #constraints=60027 444.38/444.65 c nbDecision=161500 #constraints=60186 446.68/446.91 c nbDecision=162000 #constraints=60325 448.87/449.19 c nbDecision=162500 #constraints=60465 450.78/451.01 c nbDecision=163000 #constraints=60619 452.17/452.42 c nbDecision=163500 #constraints=60825 453.77/454.01 c nbDecision=164000 #constraints=60975 455.47/455.80 c nbDecision=164500 #constraints=61175 456.97/457.22 c nbDecision=165000 #constraints=61343 459.27/459.51 c nbDecision=165500 #constraints=61508 461.27/461.52 c nbDecision=166000 #constraints=61661 463.27/463.55 c nbDecision=166500 #constraints=61780 464.97/465.25 c nbDecision=167000 #constraints=61858 466.57/466.83 c nbDecision=167500 #constraints=62026 467.86/468.17 c nbDecision=168000 #constraints=62164 469.96/470.25 c nbDecision=168500 #constraints=62281 471.76/472.09 c nbDecision=169000 #constraints=62411 473.56/473.83 c nbDecision=169500 #constraints=62541 475.16/475.49 c nbDecision=170000 #constraints=62713 476.66/476.97 c nbDecision=170500 #constraints=62835 478.26/478.56 c nbDecision=171000 #constraints=62962 479.77/480.09 c nbDecision=171500 #constraints=63110 481.16/481.47 c nbDecision=172000 #constraints=63212 482.56/482.87 c nbDecision=172500 #constraints=63307 483.96/484.26 c nbDecision=173000 #constraints=63428 486.86/487.14 c nbDecision=173500 #constraints=63585 489.46/489.80 c nbDecision=174000 #constraints=63712 491.36/491.61 c nbDecision=174500 #constraints=63834 493.06/493.38 c nbDecision=175000 #constraints=64024 494.56/494.83 c nbDecision=175500 #constraints=64247 496.06/496.32 c nbDecision=176000 #constraints=64332 497.36/497.65 c nbDecision=176500 #constraints=64420 498.76/499.06 c nbDecision=177000 #constraints=64545 500.35/500.60 c nbDecision=177500 #constraints=64643 502.05/502.34 c nbDecision=178000 #constraints=64785 504.25/504.51 c nbDecision=178500 #constraints=64913 506.65/506.95 c nbDecision=179000 #constraints=65000 508.95/509.28 c nbDecision=179500 #constraints=65181 510.46/510.78 c nbDecision=180000 #constraints=65296 512.16/512.49 c nbDecision=180500 #constraints=65406 514.26/514.52 c nbDecision=181000 #constraints=65495 515.96/516.24 c nbDecision=181500 #constraints=65560 517.95/518.28 c nbDecision=182000 #constraints=65689 520.25/520.56 c nbDecision=182500 #constraints=65825 522.35/522.68 c nbDecision=183000 #constraints=65949 523.95/524.24 c nbDecision=183500 #constraints=66122 525.95/526.25 c nbDecision=184000 #constraints=66270 527.55/527.84 c nbDecision=184500 #constraints=66367 530.15/530.42 c nbDecision=185000 #constraints=66443 532.45/532.70 c nbDecision=185500 #constraints=66521 534.25/534.55 c nbDecision=186000 #constraints=66593 536.75/537.00 c nbDecision=186500 #constraints=66721 539.55/539.87 c nbDecision=187000 #constraints=67020 541.74/542.09 c nbDecision=187500 #constraints=67139 544.74/545.07 c nbDecision=188000 #constraints=67285 548.44/548.74 c nbDecision=188500 #constraints=67478 552.24/552.56 c nbDecision=189000 #constraints=67795 555.44/555.78 c nbDecision=189500 #constraints=68097 558.84/559.14 c nbDecision=190000 #constraints=68401 561.75/562.03 c nbDecision=190500 #constraints=68665 564.34/564.65 c nbDecision=191000 #constraints=68831 566.94/567.27 c nbDecision=191500 #constraints=69009 569.13/569.49 c nbDecision=192000 #constraints=69209 571.03/571.37 c nbDecision=192500 #constraints=69358 574.03/574.36 c nbDecision=193000 #constraints=69516 578.43/578.71 c nbDecision=193500 #constraints=69804 581.83/582.20 c nbDecision=194000 #constraints=69995 586.12/586.40 c nbDecision=194500 #constraints=70287 590.12/590.48 c nbDecision=195000 #constraints=70563 594.02/594.31 c nbDecision=195500 #constraints=70727 598.53/598.82 c nbDecision=196000 #constraints=70998 602.53/602.85 c nbDecision=196500 #constraints=71218 606.33/606.66 c nbDecision=197000 #constraints=71444 610.03/610.31 c nbDecision=197500 #constraints=71667 613.53/613.81 c nbDecision=198000 #constraints=71798 616.52/616.87 c nbDecision=198500 #constraints=71874 619.62/619.93 c nbDecision=199000 #constraints=72038 622.92/623.22 c nbDecision=199500 #constraints=72220 626.11/626.43 c nbDecision=200000 #constraints=72387 629.01/629.39 c nbDecision=200500 #constraints=72535 631.81/632.17 c nbDecision=201000 #constraints=72674 635.62/635.97 c nbDecision=201500 #constraints=72890 640.02/640.33 c nbDecision=202000 #constraints=73175 643.82/644.19 c nbDecision=202500 #constraints=73394 647.22/647.53 c nbDecision=203000 #constraints=73519 650.61/650.90 c nbDecision=203500 #constraints=73756 652.41/652.80 c nbDecision=204000 #constraints=73914 654.71/655.06 c nbDecision=204500 #constraints=74034 656.41/656.73 c restart after 204801 decisions 657.31/657.69 c nbDecision=205000 #constraints=74060 660.11/660.47 c nbDecision=205500 #constraints=74141 664.11/664.45 c nbDecision=206000 #constraints=74347 667.10/667.42 c nbDecision=206500 #constraints=74479 669.70/670.07 c nbDecision=207000 #constraints=74586 672.20/672.56 c nbDecision=207500 #constraints=74668 674.30/674.68 c nbDecision=208000 #constraints=74751 676.60/676.96 c nbDecision=208500 #constraints=74877 678.50/678.82 c nbDecision=209000 #constraints=74948 681.10/681.47 c nbDecision=209500 #constraints=75119 683.51/683.88 c nbDecision=210000 #constraints=75232 685.70/686.03 c nbDecision=210500 #constraints=75332 687.40/687.77 c nbDecision=211000 #constraints=75505 688.80/689.16 c nbDecision=211500 #constraints=75660 691.61/691.93 c nbDecision=212000 #constraints=75895 693.71/694.02 c nbDecision=212500 #constraints=76072 695.40/695.78 c nbDecision=213000 #constraints=76200 697.20/697.59 c nbDecision=213500 #constraints=76306 699.60/699.98 c nbDecision=214000 #constraints=76378 703.09/703.48 c nbDecision=214500 #constraints=76468 707.00/707.39 c nbDecision=215000 #constraints=76597 709.99/710.32 c nbDecision=215500 #constraints=76825 713.59/713.96 c nbDecision=216000 #constraints=76959 716.49/716.86 c nbDecision=216500 #constraints=77092 718.79/719.13 c nbDecision=217000 #constraints=77169 721.30/721.64 c nbDecision=217500 #constraints=77202 724.69/725.00 c nbDecision=218000 #constraints=77350 729.29/729.67 c nbDecision=218500 #constraints=77564 733.69/734.08 c nbDecision=219000 #constraints=77764 737.99/738.30 c nbDecision=219500 #constraints=77947 741.29/741.63 c nbDecision=220000 #constraints=78081 744.18/744.51 c nbDecision=220500 #constraints=78195 745.98/746.40 c nbDecision=221000 #constraints=78375 747.88/748.22 c nbDecision=221500 #constraints=78562 750.58/750.93 c nbDecision=222000 #constraints=78749 752.68/753.02 c nbDecision=222500 #constraints=78990 755.48/755.90 c nbDecision=223000 #constraints=79080 757.78/758.19 c nbDecision=223500 #constraints=79156 760.58/760.99 c nbDecision=224000 #constraints=79289 763.39/763.70 c nbDecision=224500 #constraints=79439 765.48/765.89 c nbDecision=225000 #constraints=79509 768.78/769.16 c nbDecision=225500 #constraints=79676 771.58/771.98 c nbDecision=226000 #constraints=79784 773.98/774.32 c nbDecision=226500 #constraints=79894 776.68/777.05 c nbDecision=227000 #constraints=80023 779.48/779.80 c nbDecision=227500 #constraints=80098 781.88/782.26 c nbDecision=228000 #constraints=80179 784.17/784.50 c nbDecision=228500 #constraints=80275 785.67/786.04 c nbDecision=229000 #constraints=80425 787.97/788.35 c nbDecision=229500 #constraints=80519 790.27/790.67 c nbDecision=230000 #constraints=80656 793.07/793.43 c nbDecision=230500 #constraints=80843 795.77/796.10 c nbDecision=231000 #constraints=81003 797.37/797.72 c nbDecision=231500 #constraints=81206 800.57/800.95 c nbDecision=232000 #constraints=81266 802.97/803.37 c nbDecision=232500 #constraints=81327 805.77/806.10 c nbDecision=233000 #constraints=81376 808.57/809.00 c nbDecision=233500 #constraints=81486 810.66/811.10 c nbDecision=234000 #constraints=81571 813.26/813.67 c nbDecision=234500 #constraints=81676 815.86/816.29 c nbDecision=235000 #constraints=81861 818.46/818.82 c nbDecision=235500 #constraints=82015 820.65/821.01 c nbDecision=236000 #constraints=82132 823.86/824.20 c nbDecision=236500 #constraints=82300 826.66/827.07 c nbDecision=237000 #constraints=82468 828.86/829.30 c nbDecision=237500 #constraints=82625 830.86/831.24 c nbDecision=238000 #constraints=82799 832.56/833.00 c nbDecision=238500 #constraints=82984 834.46/834.89 c nbDecision=239000 #constraints=83133 836.35/836.77 c nbDecision=239500 #constraints=83263 837.86/838.27 c nbDecision=240000 #constraints=83362 840.06/840.46 c nbDecision=240500 #constraints=83465 842.35/842.72 c nbDecision=241000 #constraints=83567 844.45/844.83 c nbDecision=241500 #constraints=83662 846.75/847.12 c nbDecision=242000 #constraints=83717 848.75/849.20 c nbDecision=242500 #constraints=83813 851.75/852.12 c nbDecision=243000 #constraints=83934 854.04/854.46 c nbDecision=243500 #constraints=84072 856.56/856.95 c nbDecision=244000 #constraints=84146 859.25/859.67 c nbDecision=244500 #constraints=84208 862.05/862.48 c nbDecision=245000 #constraints=84276 864.55/864.90 c nbDecision=245500 #constraints=84369 866.95/867.39 c nbDecision=246000 #constraints=84446 868.65/869.08 c nbDecision=246500 #constraints=84617 871.64/872.02 c nbDecision=247000 #constraints=84827 874.94/875.30 c nbDecision=247500 #constraints=84997 877.94/878.39 c nbDecision=248000 #constraints=85165 880.44/880.85 c nbDecision=248500 #constraints=85374 883.34/883.73 c nbDecision=249000 #constraints=85531 886.04/886.49 c nbDecision=249500 #constraints=85627 889.23/889.62 c nbDecision=250000 #constraints=85687 892.33/892.73 c nbDecision=250500 #constraints=85803 895.34/895.75 c nbDecision=251000 #constraints=85887 897.54/897.92 c nbDecision=251500 #constraints=85958 900.84/901.26 c nbDecision=252000 #constraints=86122 904.64/905.03 c nbDecision=252500 #constraints=86338 908.53/908.92 c nbDecision=253000 #constraints=86543 912.23/912.63 c nbDecision=253500 #constraints=86708 915.83/916.22 c nbDecision=254000 #constraints=86860 919.53/919.99 c nbDecision=254500 #constraints=87007 922.83/923.24 c nbDecision=255000 #constraints=87161 925.83/926.23 c nbDecision=255500 #constraints=87336 928.72/929.15 c nbDecision=256000 #constraints=87455 932.02/932.50 c nbDecision=256500 #constraints=87613 935.32/935.77 c nbDecision=257000 #constraints=87746 938.63/939.04 c nbDecision=257500 #constraints=87934 941.62/942.04 c nbDecision=258000 #constraints=88114 944.22/944.65 c nbDecision=258500 #constraints=88249 946.63/947.07 c nbDecision=259000 #constraints=88419 948.72/949.14 c nbDecision=259500 #constraints=88551 952.02/952.42 c nbDecision=260000 #constraints=88637 956.02/956.49 c nbDecision=260500 #constraints=88779 960.12/960.56 c nbDecision=261000 #constraints=88859 963.92/964.37 c nbDecision=261500 #constraints=89005 967.71/968.10 c nbDecision=262000 #constraints=89155 970.92/971.34 c nbDecision=262500 #constraints=89324 974.31/974.73 c nbDecision=263000 #constraints=89468 978.01/978.49 c nbDecision=263500 #constraints=89538 980.81/981.24 c nbDecision=264000 #constraints=89633 984.62/985.04 c nbDecision=264500 #constraints=89835 987.81/988.27 c nbDecision=265000 #constraints=89987 991.01/991.46 c nbDecision=265500 #constraints=90107 994.11/994.54 c nbDecision=266000 #constraints=90230 997.41/997.87 c nbDecision=266500 #constraints=90354 1000.51/1000.97 c nbDecision=267000 #constraints=90419 1003.21/1003.69 c nbDecision=267500 #constraints=90508 1007.00/1007.40 c nbDecision=268000 #constraints=90591 1010.60/1011.00 c nbDecision=268500 #constraints=90721 1014.00/1014.41 c nbDecision=269000 #constraints=90824 1016.60/1017.01 c nbDecision=269500 #constraints=90949 1019.00/1019.43 c nbDecision=270000 #constraints=91077 1021.30/1021.70 c nbDecision=270500 #constraints=91133 1023.70/1024.18 c nbDecision=271000 #constraints=91290 1025.70/1026.17 c nbDecision=271500 #constraints=91393 1028.01/1028.46 c nbDecision=272000 #constraints=91514 1029.90/1030.38 c nbDecision=272500 #constraints=91607 1032.80/1033.25 c nbDecision=273000 #constraints=91714 1035.20/1035.64 c nbDecision=273500 #constraints=91804 1038.10/1038.55 c nbDecision=274000 #constraints=91879 1040.29/1040.74 c nbDecision=274500 #constraints=91994 1043.09/1043.52 c nbDecision=275000 #constraints=92066 1046.20/1046.60 c nbDecision=275500 #constraints=92142 1049.10/1049.58 c nbDecision=276000 #constraints=92287 1051.90/1052.38 c nbDecision=276500 #constraints=92436 1054.70/1055.12 c nbDecision=277000 #constraints=92527 1057.39/1057.87 c nbDecision=277500 #constraints=92633 1059.59/1060.06 c nbDecision=278000 #constraints=92697 1062.20/1062.67 c nbDecision=278500 #constraints=92832 1064.89/1065.35 c nbDecision=279000 #constraints=92997 1068.09/1068.51 c nbDecision=279500 #constraints=93137 1071.49/1071.97 c nbDecision=280000 #constraints=93250 1074.39/1074.81 c nbDecision=280500 #constraints=93348 1077.38/1077.83 c nbDecision=281000 #constraints=93426 1080.78/1081.23 c nbDecision=281500 #constraints=93546 1083.69/1084.11 c nbDecision=282000 #constraints=93673 1087.09/1087.55 c nbDecision=282500 #constraints=93797 1089.69/1090.18 c nbDecision=283000 #constraints=93912 1092.99/1093.47 c nbDecision=283500 #constraints=93974 1095.98/1096.43 c nbDecision=284000 #constraints=94065 1100.08/1100.51 c nbDecision=284500 #constraints=94160 1102.98/1103.43 c nbDecision=285000 #constraints=94221 1105.88/1106.38 c nbDecision=285500 #constraints=94298 1108.78/1109.28 c nbDecision=286000 #constraints=94349 1112.08/1112.54 c nbDecision=286500 #constraints=94395 1114.38/1114.80 c nbDecision=287000 #constraints=94462 1116.98/1117.40 c nbDecision=287500 #constraints=94564 1119.68/1120.12 c nbDecision=288000 #constraints=94631 1121.77/1122.29 c nbDecision=288500 #constraints=94711 1123.68/1124.14 c nbDecision=289000 #constraints=94813 1126.07/1126.57 c nbDecision=289500 #constraints=94899 1128.87/1129.34 c nbDecision=290000 #constraints=94992 1131.77/1132.28 c nbDecision=290500 #constraints=95058 1135.37/1135.88 c nbDecision=291000 #constraints=95239 1139.87/1140.30 c nbDecision=291500 #constraints=95378 1143.97/1144.44 c nbDecision=292000 #constraints=95496 1147.87/1148.37 c nbDecision=292500 #constraints=95597 1150.86/1151.35 c nbDecision=293000 #constraints=95674 1153.47/1153.97 c nbDecision=293500 #constraints=95779 1156.86/1157.33 c nbDecision=294000 #constraints=95857 1160.46/1160.90 c nbDecision=294500 #constraints=95983 1164.16/1164.65 c nbDecision=295000 #constraints=96041 1168.76/1169.23 c nbDecision=295500 #constraints=96182 1176.15/1176.62 c nbDecision=296000 #constraints=96547 1182.96/1183.41 c nbDecision=296500 #constraints=96885 1189.96/1190.42 c nbDecision=297000 #constraints=97216 1196.26/1196.71 c nbDecision=297500 #constraints=97502 1202.55/1203.03 c nbDecision=298000 #constraints=97775 1207.85/1208.32 c nbDecision=298500 #constraints=97917 1214.15/1214.63 c nbDecision=299000 #constraints=98153 1219.95/1220.42 c nbDecision=299500 #constraints=98358 1225.44/1225.94 c nbDecision=300000 #constraints=98542 1230.94/1231.44 c nbDecision=300500 #constraints=98755 1236.24/1236.73 c nbDecision=301000 #constraints=98905 1241.75/1242.20 c nbDecision=301500 #constraints=99110 1246.34/1246.85 c nbDecision=302000 #constraints=99211 1251.94/1252.49 c nbDecision=302500 #constraints=99435 1257.84/1258.38 c nbDecision=303000 #constraints=99671 1262.84/1263.34 c nbDecision=303500 #constraints=99820 1267.73/1268.27 c nbDecision=304000 #constraints=99976 1272.93/1273.41 c nbDecision=304500 #constraints=100067 1278.43/1278.94 c nbDecision=305000 #constraints=100237 1282.63/1283.18 c nbDecision=305500 #constraints=100302 1287.13/1287.69 c nbDecision=306000 #constraints=100396 1291.03/1291.51 c nbDecision=306500 #constraints=100428 1295.33/1295.84 c nbDecision=307000 #constraints=100479 1300.53/1301.05 c nbDecision=307500 #constraints=100649 1305.63/1306.18 c nbDecision=308000 #constraints=100757 1310.73/1311.24 c nbDecision=308500 #constraints=100838 1315.92/1316.47 c nbDecision=309000 #constraints=100955 1320.12/1320.65 c nbDecision=309500 #constraints=101068 1324.82/1325.31 c nbDecision=310000 #constraints=101202 1328.52/1329.08 c nbDecision=310500 #constraints=101279 1333.61/1334.10 c nbDecision=311000 #constraints=101379 1338.01/1338.53 c nbDecision=311500 #constraints=101461 1342.61/1343.14 c nbDecision=312000 #constraints=101586 1347.31/1347.86 c nbDecision=312500 #constraints=101673 1353.62/1354.14 c nbDecision=313000 #constraints=101903 1359.31/1359.87 c nbDecision=313500 #constraints=102087 1364.41/1364.93 c nbDecision=314000 #constraints=102218 1369.21/1369.74 c nbDecision=314500 #constraints=102333 1374.21/1374.79 c nbDecision=315000 #constraints=102420 1379.30/1379.87 c nbDecision=315500 #constraints=102544 1384.20/1384.76 c nbDecision=316000 #constraints=102624 1388.70/1389.29 c nbDecision=316500 #constraints=102714 1394.20/1394.79 c nbDecision=317000 #constraints=102923 1399.40/1399.92 c nbDecision=317500 #constraints=103112 1404.59/1405.12 c nbDecision=318000 #constraints=103283 1409.49/1410.02 c nbDecision=318500 #constraints=103460 1414.99/1415.50 c nbDecision=319000 #constraints=103643 1420.19/1420.73 c nbDecision=319500 #constraints=103815 1425.80/1426.33 c nbDecision=320000 #constraints=104006 1431.19/1431.73 c nbDecision=320500 #constraints=104152 1434.69/1435.24 c nbDecision=321000 #constraints=104237 1436.99/1437.52 c nbDecision=321500 #constraints=104403 1439.39/1439.99 c nbDecision=322000 #constraints=104536 1443.49/1444.08 c nbDecision=322500 #constraints=104608 1446.69/1447.23 c nbDecision=323000 #constraints=104675 1450.69/1451.20 c nbDecision=323500 #constraints=104744 1455.68/1456.22 c nbDecision=324000 #constraints=104836 1458.88/1459.49 c nbDecision=324500 #constraints=104958 1464.68/1465.29 c nbDecision=325000 #constraints=105093 1469.68/1470.23 c nbDecision=325500 #constraints=105164 1473.88/1474.41 c nbDecision=326000 #constraints=105242 1477.27/1477.88 c nbDecision=326500 #constraints=105295 1481.67/1482.29 c nbDecision=327000 #constraints=105474 1488.57/1489.18 c nbDecision=327500 #constraints=105678 1493.68/1494.24 c nbDecision=328000 #constraints=105851 1499.97/1500.52 c nbDecision=328500 #constraints=105977 1505.37/1506.00 c nbDecision=329000 #constraints=106093 1511.07/1511.65 c nbDecision=329500 #constraints=106248 1515.87/1516.48 c nbDecision=330000 #constraints=106310 1521.46/1522.02 c nbDecision=330500 #constraints=106460 1528.06/1528.63 c nbDecision=331000 #constraints=106658 1532.46/1533.07 c nbDecision=331500 #constraints=106743 1537.26/1537.84 c nbDecision=332000 #constraints=106792 1541.26/1541.86 c nbDecision=332500 #constraints=106907 1544.65/1545.28 c nbDecision=333000 #constraints=106982 1548.06/1548.62 c nbDecision=333500 #constraints=107030 1552.36/1552.95 c nbDecision=334000 #constraints=107167 1556.26/1556.88 c nbDecision=334500 #constraints=107283 1559.66/1560.26 c nbDecision=335000 #constraints=107331 1562.85/1563.48 c nbDecision=335500 #constraints=107378 1567.45/1568.06 c nbDecision=336000 #constraints=107487 1571.95/1572.52 c nbDecision=336500 #constraints=107597 1575.85/1576.42 c nbDecision=337000 #constraints=107697 1579.85/1580.42 c nbDecision=337500 #constraints=107773 1583.24/1583.82 c nbDecision=338000 #constraints=107857 1587.15/1587.76 c nbDecision=338500 #constraints=107904 1590.85/1591.43 c nbDecision=339000 #constraints=107953 1593.55/1594.10 c nbDecision=339500 #constraints=108026 1599.45/1600.07 c nbDecision=340000 #constraints=108179 1605.74/1606.33 c nbDecision=340500 #constraints=108269 1611.44/1612.03 c nbDecision=341000 #constraints=108319 1617.44/1618.10 c nbDecision=341500 #constraints=108364 1622.74/1623.39 c nbDecision=342000 #constraints=108429 1627.23/1627.83 c nbDecision=342500 #constraints=108470 1631.53/1632.12 c nbDecision=343000 #constraints=108554 1635.63/1636.27 c nbDecision=343500 #constraints=108673 1638.53/1639.14 c nbDecision=344000 #constraints=108730 1641.93/1642.53 c nbDecision=344500 #constraints=108791 1645.03/1645.62 c nbDecision=345000 #constraints=108924 1649.14/1649.77 c nbDecision=345500 #constraints=109028 1653.53/1654.17 c nbDecision=346000 #constraints=109128 1659.13/1659.72 c nbDecision=346500 #constraints=109238 1665.33/1665.95 c nbDecision=347000 #constraints=109368 1671.03/1671.64 c nbDecision=347500 #constraints=109503 1676.63/1677.29 c nbDecision=348000 #constraints=109608 1681.23/1681.86 c nbDecision=348500 #constraints=109691 1686.32/1686.90 c nbDecision=349000 #constraints=109761 1691.62/1692.26 c nbDecision=349500 #constraints=109877 1696.62/1697.23 c nbDecision=350000 #constraints=109990 1701.41/1702.06 c nbDecision=350500 #constraints=110139 1707.02/1707.67 c nbDecision=351000 #constraints=110244 1712.02/1712.63 c nbDecision=351500 #constraints=110342 1716.52/1717.13 c nbDecision=352000 #constraints=110421 1720.82/1721.47 c nbDecision=352500 #constraints=110491 1725.51/1726.17 c nbDecision=353000 #constraints=110567 1730.21/1730.87 c nbDecision=353500 #constraints=110676 1734.31/1734.94 c nbDecision=354000 #constraints=110782 1738.60/1739.21 c nbDecision=354500 #constraints=110885 1743.30/1743.97 c nbDecision=355000 #constraints=110975 1747.40/1748.01 c nbDecision=355500 #constraints=111045 1751.40/1752.07 c nbDecision=356000 #constraints=111128 1756.01/1756.60 c nbDecision=356500 #constraints=111229 1759.51/1760.19 c nbDecision=357000 #constraints=111303 1764.00/1764.64 c nbDecision=357500 #constraints=111413 1770.60/1771.22 c nbDecision=358000 #constraints=111553 1776.70/1777.32 c nbDecision=358500 #constraints=111658 1782.70/1783.37 c nbDecision=359000 #constraints=111788 1786.80/1787.42 c nbDecision=359500 #constraints=111834 1790.79/1791.46 c nbDecision=360000 #constraints=111898 1796.09/1796.71 c nbDecision=360500 #constraints=111967 1800.10/1800.70 Received signal 15 1800.10/1800.70 1800.10/1800.70 s UNKNOWN 1800.10/1800.70 1800.10/1800.70 c user time= 1799.55 s 1800.10/1800.70 c system time= 0.555915 s 1800.10/1800.70 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-356874-1176846879 -o ROOT/results/node9/solver-356874-1176846879 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356874-1176846879/instance-356874-1176846879.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 1.00 0.99 2/77 8913 /proc/meminfo: memFree=1775528/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=1620 CPUtime=0 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160725499 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134570027 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 405 175 126 317 0 84 0 [startup+0.051581 s] /proc/loadavg: 0.92 1.00 0.99 2/77 8913 /proc/meminfo: memFree=1775528/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=2532 CPUtime=0.04 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 482 0 0 0 4 0 0 0 18 0 1 0 160725499 2592768 366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 633 366 131 317 0 312 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2532 [startup+0.101586 s] /proc/loadavg: 0.92 1.00 0.99 2/77 8913 /proc/meminfo: memFree=1775528/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=3852 CPUtime=0.09 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 807 0 0 0 9 0 0 0 18 0 1 0 160725499 3944448 691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 963 691 131 317 0 642 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3852 [startup+0.301609 s] /proc/loadavg: 0.92 1.00 0.99 2/77 8913 /proc/meminfo: memFree=1775528/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=9000 CPUtime=0.29 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 2102 0 0 0 28 1 0 0 19 0 1 0 160725499 9216000 1986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 2250 1986 131 317 0 1929 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9000 [startup+0.701654 s] /proc/loadavg: 0.92 1.00 0.99 2/77 8913 /proc/meminfo: memFree=1775528/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=18892 CPUtime=0.69 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 4574 0 0 0 66 3 0 0 23 0 1 0 160725499 19345408 4458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 4723 4458 137 317 0 4402 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18892 [startup+1.50174 s] /proc/loadavg: 0.92 1.00 0.99 2/78 8914 /proc/meminfo: memFree=1755808/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=21400 CPUtime=1.49 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 5221 0 0 0 146 3 0 0 25 0 1 0 160725499 21913600 5105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 5350 5105 139 317 0 5029 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21400 [startup+3.10193 s] /proc/loadavg: 0.92 1.00 0.99 2/78 8914 /proc/meminfo: memFree=1754912/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=22708 CPUtime=3.09 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 5553 0 0 0 306 3 0 0 25 0 1 0 160725499 23252992 5437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 5677 5437 139 317 0 5356 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22708 [startup+6.30129 s] /proc/loadavg: 0.93 1.00 0.99 2/78 8914 /proc/meminfo: memFree=1752608/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=24616 CPUtime=6.29 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 6015 0 0 0 625 4 0 0 25 0 1 0 160725499 25206784 5899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 6154 5899 139 317 0 5833 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24616 [startup+12.702 s] /proc/loadavg: 0.93 1.00 0.99 2/78 8914 /proc/meminfo: memFree=1749856/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=27124 CPUtime=12.69 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 6631 0 0 0 1265 4 0 0 25 0 1 0 160725499 27774976 6515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 6781 6515 139 317 0 6460 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27124 [startup+25.5015 s] /proc/loadavg: 0.95 1.00 0.99 2/78 8914 /proc/meminfo: memFree=1745824/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=31148 CPUtime=25.48 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 7647 0 0 0 2543 5 0 0 25 0 1 0 160725499 31895552 7481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 7787 7481 139 317 0 7466 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31148 [startup+51.1013 s] /proc/loadavg: 0.96 1.00 0.99 2/78 8914 /proc/meminfo: memFree=1739616/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=38208 CPUtime=51.08 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 9422 0 0 0 5100 8 0 0 25 0 1 0 160725499 39124992 9157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 9552 9157 139 317 0 9231 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 38208 [startup+102.305 s] /proc/loadavg: 0.98 1.00 0.99 2/78 8914 /proc/meminfo: memFree=1726944/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=50100 CPUtime=102.27 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 12454 0 0 0 10216 11 0 0 25 0 1 0 160725499 51302400 12189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 12525 12189 139 317 0 12204 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 50100 [startup+162.302 s] /proc/loadavg: 1.04 1.01 1.00 2/78 8914 /proc/meminfo: memFree=1713760/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=64008 CPUtime=162.25 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 15976 0 0 0 16211 14 0 0 25 0 1 0 160725499 65544192 15481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 16002 15481 139 317 0 15681 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 64008 [startup+222.302 s] /proc/loadavg: 1.01 1.00 1.00 2/78 8914 /proc/meminfo: memFree=1704160/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=73632 CPUtime=222.23 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 18334 0 0 0 22205 18 0 0 25 0 1 0 160725499 75399168 17839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 18408 17839 139 317 0 18087 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 73632 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8914 /proc/meminfo: memFree=1699424/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=78764 CPUtime=282.21 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 19540 0 0 0 28202 19 0 0 25 0 1 0 160725499 80654336 19045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 19691 19045 139 317 0 19370 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 78764 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8914 /proc/meminfo: memFree=1692448/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=85212 CPUtime=342.2 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 21274 0 0 0 34198 22 0 0 25 0 1 0 160725499 87257088 20779 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 21303 20779 139 317 0 20982 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 85212 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/84 9030 /proc/meminfo: memFree=1683368/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=92916 CPUtime=402.14 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 23247 0 0 0 40189 25 0 0 25 0 1 0 160725499 95145984 22752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 23229 22752 139 317 0 22908 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 92916 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1678360/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=100188 CPUtime=462.07 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 25141 0 0 0 46181 26 0 0 25 0 1 0 160725499 102592512 24252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 25047 24252 139 317 0 24726 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 100188 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1669784/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=108876 CPUtime=522.05 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 27376 0 0 0 52176 29 0 0 25 0 1 0 160725499 111489024 26422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 27219 26422 139 317 0 26898 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 108876 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1663832/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=114940 CPUtime=582.03 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 28839 0 0 0 58173 30 0 0 25 0 1 0 160725499 117698560 27885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 28735 27885 139 317 0 28414 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 114940 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1658904/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=120756 CPUtime=642.02 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 30042 0 0 0 64170 32 0 0 25 0 1 0 160725499 123654144 29088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 30189 29088 139 317 0 29868 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 120756 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1636064/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=144360 CPUtime=881.94 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 35767 0 0 0 88156 38 0 0 25 0 1 0 160725499 147824640 34813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 36090 34813 139 317 0 35769 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 144360 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1632352/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=147916 CPUtime=941.92 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 36698 0 0 0 94152 40 0 0 25 0 1 0 160725499 151465984 35744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 36979 35744 139 317 0 36658 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 147916 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1629152/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=150688 CPUtime=1001.91 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 37498 0 0 0 100150 41 0 0 25 0 1 0 160725499 154304512 36544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 37672 36544 139 317 0 37351 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 150688 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1623520/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=156304 CPUtime=1061.89 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 38950 0 0 0 106146 43 0 0 25 0 1 0 160725499 160055296 37996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 39076 37996 139 317 0 38755 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 156304 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1616864/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=162632 CPUtime=1121.87 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 40534 0 0 0 112143 44 0 0 25 0 1 0 160725499 166535168 39580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 40658 39580 139 317 0 40337 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 162632 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1612768/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=167108 CPUtime=1181.86 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 41576 0 0 0 118141 45 0 0 25 0 1 0 160725499 171118592 40622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 41777 40622 139 317 0 41456 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 167108 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1609952/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=169760 CPUtime=1241.85 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 42270 0 0 0 124139 46 0 0 25 0 1 0 160725499 173834240 41316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 42440 41316 139 317 0 42119 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 169760 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1607776/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=171780 CPUtime=1301.83 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 42799 0 0 0 130136 47 0 0 25 0 1 0 160725499 175902720 41845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 42945 41845 139 317 0 42624 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 171780 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1605856/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=173952 CPUtime=1361.81 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 43313 0 0 0 136133 48 0 0 25 0 1 0 160725499 178126848 42359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 43488 42359 139 317 0 43167 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 173952 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1602912/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=176880 CPUtime=1421.8 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 44074 0 0 0 142131 49 0 0 25 0 1 0 160725499 181125120 43120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 44220 43120 139 317 0 43899 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 176880 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1599904/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=179504 CPUtime=1481.77 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 44780 0 0 0 148128 49 0 0 25 0 1 0 160725499 183812096 43826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 44876 43826 139 317 0 44555 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 179504 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1597600/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=181748 CPUtime=1541.75 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 45356 0 0 0 154125 50 0 0 25 0 1 0 160725499 186109952 44402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 45437 44402 139 317 0 45116 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 181748 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1594976/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=184656 CPUtime=1601.74 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 46017 0 0 0 160122 52 0 0 25 0 1 0 160725499 189087744 45063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 46164 45063 139 317 0 45843 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 184656 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1592224/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=187152 CPUtime=1661.73 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 46692 0 0 0 166120 53 0 0 25 0 1 0 160725499 191643648 45738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 46788 45738 139 317 0 46467 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 187152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1589536/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=189740 CPUtime=1721.71 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 47370 0 0 0 172117 54 0 0 25 0 1 0 160725499 194293760 46416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 47435 46416 139 317 0 47114 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 189740 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1584800/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=195260 CPUtime=1781.7 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 48547 0 0 0 178115 55 0 0 25 0 1 0 160725499 199946240 47593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 48815 47593 139 317 0 48494 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 195260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1584288/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=195652 CPUtime=1800.1 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 48665 0 0 0 179955 55 0 0 25 0 1 0 160725499 200347648 47711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 48913 47711 139 317 0 48592 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 195652 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 9111 /proc/meminfo: memFree=1584288/2055920 swapFree=4145528/4192956 [pid=8913] ppid=8911 vsize=195652 CPUtime=1800.1 /proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 48665 0 0 0 179955 55 0 0 25 0 1 0 160725499 200347648 47711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8913/statm: 48913 47711 139 317 0 48592 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 195652 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.17 CPU user time (s): 1799.58 CPU system time (s): 0.58691 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 195652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.58691 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48681 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= 28575 runsolver used 2.14567 second user time and 4.40933 second system time The end
Begin job on node9 on Tue Apr 17 21:54:39 UTC 2007 IDJOB= 356874 IDBENCH= 1580 IDSOLVER= 172 FILE ID= node9/356874-1176846879 PBS_JOBID= 4590159 Free space on /tmp= 66489 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-nug08.opb COMMAND LINE= oree /tmp/evaluation/356874-1176846879/instance-356874-1176846879.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-356874-1176846879 -o ROOT/results/node9/solver-356874-1176846879 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356874-1176846879/instance-356874-1176846879.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 6120923c090ddeb6029c79f9e1b7777e RANDOM SEED= 447003149 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1775936 kB Buffers: 33084 kB Cached: 184372 kB SwapCached: 16124 kB Active: 193232 kB Inactive: 55580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1775936 kB SwapTotal: 4192956 kB SwapFree: 4145528 kB Dirty: 3076 kB Writeback: 0 kB Mapped: 30260 kB Slab: 16652 kB Committed_AS: 5959868 kB PageTables: 1784 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66489 MiB End job on node9 on Tue Apr 17 22:24:42 UTC 2007