Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.01 | 1801.6 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-grow7.opb |
MD5SUM | 8d33b9e58f24eb64e3fc155c85c275f1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
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 | 0 |
Optimality of the best value was proved | NO |
Number of variables | 7994 |
Total number of constraints | 420 |
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 | 420 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 623 |
Biggest coefficient in the objective function | 28673 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524874 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 256781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524874 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.10/0.17 c ...done 0.10/0.17 c #vars=7994 #constraints=561 hasObjective=yes 0.19/0.20 c res. mode=mod 0.19/0.20 c VSIDS like heuristics 0.19/0.20 c complete search running 0.29/0.33 c restart after 401 decisions 0.29/0.36 c nbDecision=500 #constraints=567 0.39/0.47 c restart after 801 decisions 0.49/0.54 c nbDecision=1000 #constraints=602 0.69/0.72 c nbDecision=1500 #constraints=674 0.69/0.76 c restart after 1601 decisions 0.89/0.90 c nbDecision=2000 #constraints=730 1.00/1.08 c nbDecision=2500 #constraints=798 1.29/1.31 c nbDecision=3000 #constraints=927 1.39/1.40 c restart after 3201 decisions 1.49/1.50 c nbDecision=3500 #constraints=981 1.69/1.71 c nbDecision=4000 #constraints=1052 1.89/1.91 c nbDecision=4500 #constraints=1126 2.09/2.11 c nbDecision=5000 #constraints=1199 2.29/2.32 c nbDecision=5500 #constraints=1264 2.49/2.54 c nbDecision=6000 #constraints=1333 2.59/2.70 c restart after 6401 decisions 2.69/2.74 c nbDecision=6500 #constraints=1372 2.89/2.93 c nbDecision=7000 #constraints=1418 3.09/3.15 c nbDecision=7500 #constraints=1486 3.49/3.51 c nbDecision=8000 #constraints=1636 3.69/3.76 c nbDecision=8500 #constraints=1714 3.99/4.00 c nbDecision=9000 #constraints=1776 4.19/4.25 c nbDecision=9500 #constraints=1859 4.59/4.60 c nbDecision=10000 #constraints=1986 4.89/4.95 c nbDecision=10500 #constraints=2056 5.19/5.20 c nbDecision=11000 #constraints=2103 5.49/5.59 c nbDecision=11500 #constraints=2204 6.28/6.39 c nbDecision=12000 #constraints=2381 7.29/7.37 c nbDecision=12500 #constraints=2650 7.79/7.83 c restart after 12801 decisions 7.89/7.96 c nbDecision=13000 #constraints=2749 8.19/8.23 c nbDecision=13500 #constraints=2779 8.69/8.71 c nbDecision=14000 #constraints=2879 9.18/9.22 c nbDecision=14500 #constraints=2984 9.79/9.86 c nbDecision=15000 #constraints=3102 10.19/10.29 c nbDecision=15500 #constraints=3175 10.59/10.65 c nbDecision=16000 #constraints=3215 11.00/11.01 c nbDecision=16500 #constraints=3251 11.39/11.43 c nbDecision=17000 #constraints=3301 11.69/11.78 c nbDecision=17500 #constraints=3326 12.10/12.17 c nbDecision=18000 #constraints=3375 12.49/12.57 c nbDecision=18500 #constraints=3413 12.99/13.02 c nbDecision=19000 #constraints=3482 13.59/13.61 c nbDecision=19500 #constraints=3556 14.09/14.19 c nbDecision=20000 #constraints=3651 14.59/14.62 c nbDecision=20500 #constraints=3691 15.29/15.33 c nbDecision=21000 #constraints=3802 15.79/15.80 c nbDecision=21500 #constraints=3834 16.29/16.32 c nbDecision=22000 #constraints=3884 16.69/16.74 c nbDecision=22500 #constraints=3917 17.19/17.21 c nbDecision=23000 #constraints=3953 17.59/17.67 c nbDecision=23500 #constraints=3982 18.69/18.72 c nbDecision=24000 #constraints=4090 19.18/19.29 c nbDecision=24500 #constraints=4149 19.98/20.06 c nbDecision=25000 #constraints=4202 20.79/20.90 c nbDecision=25500 #constraints=4278 20.98/21.07 c restart after 25601 decisions 21.38/21.40 c nbDecision=26000 #constraints=4322 22.08/22.17 c nbDecision=26500 #constraints=4407 22.99/23.00 c nbDecision=27000 #constraints=4518 23.88/23.91 c nbDecision=27500 #constraints=4622 24.68/24.74 c nbDecision=28000 #constraints=4763 25.48/25.53 c nbDecision=28500 #constraints=4889 27.39/27.41 c nbDecision=29000 #constraints=5067 28.59/28.60 c nbDecision=29500 #constraints=5145 29.59/29.68 c nbDecision=30000 #constraints=5202 30.59/30.62 c nbDecision=30500 #constraints=5234 31.49/31.59 c nbDecision=31000 #constraints=5300 32.28/32.38 c nbDecision=31500 #constraints=5344 33.68/33.75 c nbDecision=32000 #constraints=5426 34.48/34.58 c nbDecision=32500 #constraints=5492 35.68/35.70 c nbDecision=33000 #constraints=5538 36.98/37.01 c nbDecision=33500 #constraints=5624 38.48/38.54 c nbDecision=34000 #constraints=5701 39.58/39.69 c nbDecision=34500 #constraints=5756 41.48/41.58 c nbDecision=35000 #constraints=5995 42.88/42.98 c nbDecision=35500 #constraints=6140 44.58/44.62 c nbDecision=36000 #constraints=6233 45.88/45.99 c nbDecision=36500 #constraints=6293 47.87/47.99 c nbDecision=37000 #constraints=6381 49.67/49.78 c nbDecision=37500 #constraints=6477 51.17/51.21 c nbDecision=38000 #constraints=6538 52.57/52.68 c nbDecision=38500 #constraints=6595 53.87/53.98 c nbDecision=39000 #constraints=6651 55.07/55.15 c nbDecision=39500 #constraints=6691 56.38/56.49 c nbDecision=40000 #constraints=6747 57.78/57.86 c nbDecision=40500 #constraints=6799 59.38/59.47 c nbDecision=41000 #constraints=6860 61.37/61.46 c nbDecision=41500 #constraints=6974 63.47/63.52 c nbDecision=42000 #constraints=7052 67.67/67.72 c nbDecision=42500 #constraints=7265 69.77/69.82 c nbDecision=43000 #constraints=7308 71.37/71.46 c nbDecision=43500 #constraints=7343 73.47/73.51 c nbDecision=44000 #constraints=7392 74.97/75.01 c nbDecision=44500 #constraints=7503 76.27/76.32 c nbDecision=45000 #constraints=7580 77.66/77.74 c nbDecision=45500 #constraints=7662 79.26/79.38 c nbDecision=46000 #constraints=7753 80.57/80.65 c nbDecision=46500 #constraints=7789 82.38/82.42 c nbDecision=47000 #constraints=7865 83.67/83.77 c nbDecision=47500 #constraints=7895 85.17/85.24 c nbDecision=48000 #constraints=7933 86.67/86.71 c nbDecision=48500 #constraints=7961 88.07/88.18 c nbDecision=49000 #constraints=8017 89.57/89.68 c nbDecision=49500 #constraints=8081 91.17/91.24 c nbDecision=50000 #constraints=8155 92.66/92.75 c nbDecision=50500 #constraints=8222 94.06/94.14 c nbDecision=51000 #constraints=8249 94.66/94.76 c restart after 51201 decisions 95.26/95.38 c nbDecision=51500 #constraints=8275 96.67/96.78 c nbDecision=52000 #constraints=8311 98.86/98.99 c nbDecision=52500 #constraints=8419 101.26/101.31 c nbDecision=53000 #constraints=8489 103.76/103.83 c nbDecision=53500 #constraints=8592 105.46/105.58 c nbDecision=54000 #constraints=8652 107.37/107.47 c nbDecision=54500 #constraints=8675 109.27/109.38 c nbDecision=55000 #constraints=8708 111.86/111.97 c nbDecision=55500 #constraints=8754 114.86/114.94 c nbDecision=56000 #constraints=8838 117.36/117.49 c nbDecision=56500 #constraints=8892 120.56/120.61 c nbDecision=57000 #constraints=8997 123.06/123.14 c nbDecision=57500 #constraints=9048 125.66/125.73 c nbDecision=58000 #constraints=9092 128.56/128.68 c nbDecision=58500 #constraints=9153 130.76/130.85 c nbDecision=59000 #constraints=9185 133.46/133.53 c nbDecision=59500 #constraints=9253 136.16/136.21 c nbDecision=60000 #constraints=9306 138.46/138.57 c nbDecision=60500 #constraints=9358 141.25/141.39 c nbDecision=61000 #constraints=9410 144.25/144.30 c nbDecision=61500 #constraints=9464 146.85/146.96 c nbDecision=62000 #constraints=9514 149.46/149.51 c nbDecision=62500 #constraints=9568 152.25/152.36 c nbDecision=63000 #constraints=9631 154.55/154.66 c nbDecision=63500 #constraints=9659 157.75/157.87 c nbDecision=64000 #constraints=9706 160.85/160.94 c nbDecision=64500 #constraints=9747 163.25/163.33 c nbDecision=65000 #constraints=9783 165.95/166.09 c nbDecision=65500 #constraints=9828 168.34/168.44 c nbDecision=66000 #constraints=9878 171.04/171.14 c nbDecision=66500 #constraints=9932 174.44/174.54 c nbDecision=67000 #constraints=9998 177.05/177.12 c nbDecision=67500 #constraints=10040 180.04/180.18 c nbDecision=68000 #constraints=10124 183.44/183.53 c nbDecision=68500 #constraints=10180 186.34/186.43 c nbDecision=69000 #constraints=10220 188.94/189.01 c nbDecision=69500 #constraints=10248 192.03/192.15 c nbDecision=70000 #constraints=10291 195.33/195.50 c nbDecision=70500 #constraints=10349 198.44/198.54 c nbDecision=71000 #constraints=10411 201.64/201.78 c nbDecision=71500 #constraints=10471 204.44/204.58 c nbDecision=72000 #constraints=10533 206.24/206.30 c nbDecision=72500 #constraints=10590 208.34/208.48 c nbDecision=73000 #constraints=10648 211.14/211.21 c nbDecision=73500 #constraints=10791 214.93/215.07 c nbDecision=74000 #constraints=10865 218.93/219.06 c nbDecision=74500 #constraints=10939 221.83/221.92 c nbDecision=75000 #constraints=10982 224.73/224.81 c nbDecision=75500 #constraints=11028 227.43/227.50 c nbDecision=76000 #constraints=11068 229.33/229.41 c nbDecision=76500 #constraints=11111 231.63/231.76 c nbDecision=77000 #constraints=11153 235.33/235.46 c nbDecision=77500 #constraints=11220 238.53/238.70 c nbDecision=78000 #constraints=11256 242.02/242.16 c nbDecision=78500 #constraints=11318 245.62/245.71 c nbDecision=79000 #constraints=11378 248.43/248.52 c nbDecision=79500 #constraints=11415 251.03/251.14 c nbDecision=80000 #constraints=11460 254.92/255.09 c nbDecision=80500 #constraints=11568 258.22/258.39 c nbDecision=81000 #constraints=11673 262.12/262.23 c nbDecision=81500 #constraints=11762 268.52/268.63 c nbDecision=82000 #constraints=11932 274.52/274.67 c nbDecision=82500 #constraints=12073 280.21/280.35 c nbDecision=83000 #constraints=12168 287.92/288.05 c nbDecision=83500 #constraints=12357 294.01/294.19 c nbDecision=84000 #constraints=12496 298.71/298.86 c nbDecision=84500 #constraints=12597 302.71/302.87 c nbDecision=85000 #constraints=12683 306.90/307.07 c nbDecision=85500 #constraints=12765 311.80/311.91 c nbDecision=86000 #constraints=12859 317.11/317.23 c nbDecision=86500 #constraints=12939 330.90/331.00 c nbDecision=87000 #constraints=13168 346.10/346.27 c nbDecision=87500 #constraints=13429 347.80/347.91 c nbDecision=88000 #constraints=13463 349.80/349.91 c nbDecision=88500 #constraints=13526 351.80/352.00 c nbDecision=89000 #constraints=13587 354.39/354.56 c nbDecision=89500 #constraints=13663 356.79/356.96 c nbDecision=90000 #constraints=13737 358.58/358.78 c nbDecision=90500 #constraints=13787 360.37/360.53 c nbDecision=91000 #constraints=13833 361.97/362.19 c nbDecision=91500 #constraints=13875 363.67/363.88 c nbDecision=92000 #constraints=13917 365.47/365.66 c nbDecision=92500 #constraints=13966 367.36/367.56 c nbDecision=93000 #constraints=14015 369.95/370.11 c nbDecision=93500 #constraints=14081 374.95/375.17 c nbDecision=94000 #constraints=14218 377.54/377.74 c nbDecision=94500 #constraints=14291 379.34/379.55 c nbDecision=95000 #constraints=14330 381.32/381.55 c nbDecision=95500 #constraints=14377 383.63/383.85 c nbDecision=96000 #constraints=14447 385.41/385.60 c nbDecision=96500 #constraints=14487 388.60/388.90 c nbDecision=97000 #constraints=14588 391.00/391.27 c nbDecision=97500 #constraints=14637 392.80/393.00 c nbDecision=98000 #constraints=14673 394.40/394.63 c nbDecision=98500 #constraints=14707 396.09/396.36 c nbDecision=99000 #constraints=14748 398.09/398.35 c nbDecision=99500 #constraints=14796 399.90/400.12 c nbDecision=100000 #constraints=14830 401.90/402.16 c nbDecision=100500 #constraints=14890 403.90/404.15 c nbDecision=101000 #constraints=14944 405.79/406.05 c nbDecision=101500 #constraints=14990 407.80/408.10 c nbDecision=102000 #constraints=15031 409.39/409.69 c restart after 102401 decisions 410.49/410.80 c nbDecision=102500 #constraints=15078 411.78/412.00 c nbDecision=103000 #constraints=15089 415.87/416.19 c nbDecision=103500 #constraints=15155 419.87/420.16 c nbDecision=104000 #constraints=15219 423.67/423.90 c nbDecision=104500 #constraints=15269 427.37/427.64 c nbDecision=105000 #constraints=15321 430.16/430.46 c nbDecision=105500 #constraints=15375 432.56/432.87 c nbDecision=106000 #constraints=15412 435.27/435.56 c nbDecision=106500 #constraints=15454 438.26/438.55 c nbDecision=107000 #constraints=15497 440.16/440.48 c nbDecision=107500 #constraints=15509 443.06/443.34 c nbDecision=108000 #constraints=15542 447.06/447.38 c nbDecision=108500 #constraints=15613 449.46/449.75 c nbDecision=109000 #constraints=15656 452.26/452.53 c nbDecision=109500 #constraints=15696 455.56/455.86 c nbDecision=110000 #constraints=15725 460.26/460.54 c nbDecision=110500 #constraints=15808 462.56/462.80 c nbDecision=111000 #constraints=15867 465.76/466.04 c nbDecision=111500 #constraints=15910 469.46/469.76 c nbDecision=112000 #constraints=15969 471.56/471.80 c nbDecision=112500 #constraints=15991 472.15/472.49 c nbDecision=113000 #constraints=15997 474.65/474.98 c nbDecision=113500 #constraints=16038 476.65/476.93 c nbDecision=114000 #constraints=16058 478.55/478.89 c nbDecision=114500 #constraints=16074 480.75/481.02 c nbDecision=115000 #constraints=16108 484.15/484.42 c nbDecision=115500 #constraints=16154 487.25/487.59 c nbDecision=116000 #constraints=16199 490.85/491.19 c nbDecision=116500 #constraints=16237 493.84/494.13 c nbDecision=117000 #constraints=16280 496.34/496.68 c nbDecision=117500 #constraints=16299 498.75/499.07 c nbDecision=118000 #constraints=16335 501.75/502.08 c nbDecision=118500 #constraints=16371 506.65/506.90 c nbDecision=119000 #constraints=16437 509.65/509.95 c nbDecision=119500 #constraints=16452 514.65/514.95 c nbDecision=120000 #constraints=16509 518.04/518.38 c nbDecision=120500 #constraints=16577 521.34/521.63 c nbDecision=121000 #constraints=16602 524.74/525.04 c nbDecision=121500 #constraints=16635 527.74/528.06 c nbDecision=122000 #constraints=16667 531.74/532.01 c nbDecision=122500 #constraints=16712 533.04/533.38 c nbDecision=123000 #constraints=16727 536.04/536.35 c nbDecision=123500 #constraints=16777 539.44/539.79 c nbDecision=124000 #constraints=16831 542.14/542.47 c nbDecision=124500 #constraints=16862 544.73/545.02 c nbDecision=125000 #constraints=16884 547.13/547.48 c nbDecision=125500 #constraints=16909 552.23/552.59 c nbDecision=126000 #constraints=16981 554.33/554.64 c nbDecision=126500 #constraints=16997 557.63/558.00 c nbDecision=127000 #constraints=17046 561.73/562.00 c nbDecision=127500 #constraints=17092 564.04/564.35 c nbDecision=128000 #constraints=17116 568.03/568.31 c nbDecision=128500 #constraints=17169 571.33/571.60 c nbDecision=129000 #constraints=17194 574.63/574.92 c nbDecision=129500 #constraints=17230 577.53/577.88 c nbDecision=130000 #constraints=17273 578.53/578.88 c nbDecision=130500 #constraints=17315 580.93/581.25 c nbDecision=131000 #constraints=17351 583.02/583.31 c nbDecision=131500 #constraints=17371 585.22/585.59 c nbDecision=132000 #constraints=17393 587.72/588.01 c nbDecision=132500 #constraints=17418 590.12/590.40 c nbDecision=133000 #constraints=17438 595.42/595.72 c nbDecision=133500 #constraints=17509 597.52/597.82 c nbDecision=134000 #constraints=17519 599.92/600.21 c nbDecision=134500 #constraints=17553 602.92/603.20 c nbDecision=135000 #constraints=17615 604.92/605.26 c nbDecision=135500 #constraints=17630 607.31/607.61 c nbDecision=136000 #constraints=17677 609.61/609.98 c nbDecision=136500 #constraints=17720 611.81/612.14 c nbDecision=137000 #constraints=17740 616.21/616.58 c nbDecision=137500 #constraints=17781 617.51/617.81 c nbDecision=138000 #constraints=17784 620.91/621.27 c nbDecision=138500 #constraints=17827 627.02/627.30 c nbDecision=139000 #constraints=17914 630.42/630.72 c nbDecision=139500 #constraints=17945 633.41/633.77 c nbDecision=140000 #constraints=17984 635.42/635.72 c nbDecision=140500 #constraints=17996 637.81/638.16 c nbDecision=141000 #constraints=18019 640.01/640.30 c nbDecision=141500 #constraints=18036 642.41/642.78 c nbDecision=142000 #constraints=18074 646.11/646.40 c nbDecision=142500 #constraints=18101 648.51/648.83 c nbDecision=143000 #constraints=18134 649.31/649.69 c nbDecision=143500 #constraints=18176 651.61/651.92 c nbDecision=144000 #constraints=18195 653.71/654.05 c nbDecision=144500 #constraints=18210 655.11/655.49 c nbDecision=145000 #constraints=18227 658.81/659.14 c nbDecision=145500 #constraints=18269 660.10/660.49 c nbDecision=146000 #constraints=18280 663.30/663.67 c nbDecision=146500 #constraints=18317 665.30/665.64 c nbDecision=147000 #constraints=18325 667.60/667.94 c nbDecision=147500 #constraints=18340 669.90/670.24 c nbDecision=148000 #constraints=18350 670.70/671.05 c nbDecision=148500 #constraints=18364 673.10/673.41 c nbDecision=149000 #constraints=18372 676.10/676.42 c nbDecision=149500 #constraints=18405 678.30/678.61 c nbDecision=150000 #constraints=18425 680.50/680.87 c nbDecision=150500 #constraints=18445 682.59/682.93 c nbDecision=151000 #constraints=18470 685.00/685.33 c nbDecision=151500 #constraints=18500 687.49/687.88 c nbDecision=152000 #constraints=18524 690.79/691.13 c nbDecision=152500 #constraints=18553 692.89/693.26 c nbDecision=153000 #constraints=18574 695.50/695.86 c nbDecision=153500 #constraints=18596 699.00/699.37 c nbDecision=154000 #constraints=18627 702.10/702.48 c nbDecision=154500 #constraints=18650 704.70/705.03 c nbDecision=155000 #constraints=18676 707.89/708.29 c nbDecision=155500 #constraints=18735 710.89/711.24 c nbDecision=156000 #constraints=18757 717.29/717.65 c nbDecision=156500 #constraints=18831 719.39/719.75 c nbDecision=157000 #constraints=18841 721.79/722.17 c nbDecision=157500 #constraints=18858 725.79/726.15 c nbDecision=158000 #constraints=18891 728.09/728.43 c nbDecision=158500 #constraints=18908 731.29/731.61 c nbDecision=159000 #constraints=18937 734.69/735.02 c nbDecision=159500 #constraints=18958 745.98/746.37 c nbDecision=160000 #constraints=19086 751.78/752.17 c nbDecision=160500 #constraints=19137 755.58/755.93 c nbDecision=161000 #constraints=19171 760.88/761.21 c nbDecision=161500 #constraints=19226 766.97/767.30 c nbDecision=162000 #constraints=19300 770.87/771.22 c nbDecision=162500 #constraints=19334 777.17/777.52 c nbDecision=163000 #constraints=19384 784.07/784.43 c nbDecision=163500 #constraints=19444 789.67/790.02 c nbDecision=164000 #constraints=19485 797.87/798.21 c nbDecision=164500 #constraints=19555 802.76/803.13 c nbDecision=165000 #constraints=19616 810.46/810.84 c nbDecision=165500 #constraints=19671 818.56/818.96 c nbDecision=166000 #constraints=19770 824.46/824.82 c nbDecision=166500 #constraints=19833 831.16/831.53 c nbDecision=167000 #constraints=19875 836.45/836.89 c nbDecision=167500 #constraints=19919 846.76/847.13 c nbDecision=168000 #constraints=20014 851.45/851.84 c nbDecision=168500 #constraints=20055 857.85/858.23 c nbDecision=169000 #constraints=20147 864.45/864.85 c nbDecision=169500 #constraints=20221 871.35/871.75 c nbDecision=170000 #constraints=20269 878.55/878.97 c nbDecision=170500 #constraints=20334 883.24/883.65 c nbDecision=171000 #constraints=20363 891.24/891.65 c nbDecision=171500 #constraints=20425 897.44/897.85 c nbDecision=172000 #constraints=20476 902.64/903.04 c nbDecision=172500 #constraints=20511 911.84/912.22 c nbDecision=173000 #constraints=20581 916.34/916.76 c nbDecision=173500 #constraints=20606 919.54/919.95 c nbDecision=174000 #constraints=20628 923.34/923.73 c nbDecision=174500 #constraints=20652 926.73/927.18 c nbDecision=175000 #constraints=20680 929.53/929.99 c nbDecision=175500 #constraints=20700 934.93/935.30 c nbDecision=176000 #constraints=20742 939.63/940.09 c nbDecision=176500 #constraints=20769 944.82/945.23 c nbDecision=177000 #constraints=20816 947.42/947.80 c nbDecision=177500 #constraints=20841 950.12/950.58 c nbDecision=178000 #constraints=20868 953.12/953.54 c nbDecision=178500 #constraints=20896 954.43/954.89 c nbDecision=179000 #constraints=20920 957.73/958.20 c nbDecision=179500 #constraints=20931 959.03/959.45 c nbDecision=180000 #constraints=20957 961.42/961.85 c nbDecision=180500 #constraints=20976 962.72/963.17 c nbDecision=181000 #constraints=20977 964.92/965.30 c nbDecision=181500 #constraints=20995 967.02/967.49 c nbDecision=182000 #constraints=21012 969.82/970.26 c nbDecision=182500 #constraints=21063 972.22/972.64 c nbDecision=183000 #constraints=21099 974.22/974.69 c nbDecision=183500 #constraints=21101 977.22/977.65 c nbDecision=184000 #constraints=21130 980.62/981.03 c nbDecision=184500 #constraints=21142 982.92/983.36 c nbDecision=185000 #constraints=21159 985.31/985.78 c nbDecision=185500 #constraints=21168 988.11/988.53 c nbDecision=186000 #constraints=21188 992.31/992.73 c nbDecision=186500 #constraints=21226 996.02/996.44 c nbDecision=187000 #constraints=21269 1001.42/1001.87 c nbDecision=187500 #constraints=21306 1004.82/1005.24 c nbDecision=188000 #constraints=21321 1008.32/1008.75 c nbDecision=188500 #constraints=21341 1011.52/1011.98 c nbDecision=189000 #constraints=21360 1015.31/1015.76 c nbDecision=189500 #constraints=21385 1022.91/1023.33 c nbDecision=190000 #constraints=21444 1026.31/1026.80 c nbDecision=190500 #constraints=21470 1031.01/1031.47 c nbDecision=191000 #constraints=21507 1050.70/1051.13 c nbDecision=191500 #constraints=21669 1054.00/1054.45 c nbDecision=192000 #constraints=21704 1055.30/1055.74 c nbDecision=192500 #constraints=21727 1061.20/1061.66 c nbDecision=193000 #constraints=21788 1067.10/1067.59 c nbDecision=193500 #constraints=21845 1069.40/1069.87 c nbDecision=194000 #constraints=21850 1072.90/1073.31 c nbDecision=194500 #constraints=21871 1075.90/1076.38 c nbDecision=195000 #constraints=21880 1078.40/1078.81 c nbDecision=195500 #constraints=21904 1081.79/1082.24 c nbDecision=196000 #constraints=21934 1085.49/1085.94 c nbDecision=196500 #constraints=21971 1088.60/1089.09 c nbDecision=197000 #constraints=22012 1090.70/1091.13 c nbDecision=197500 #constraints=22017 1094.39/1094.81 c nbDecision=198000 #constraints=22053 1095.89/1096.35 c nbDecision=198500 #constraints=22068 1100.09/1100.53 c nbDecision=199000 #constraints=22096 1104.99/1105.43 c nbDecision=199500 #constraints=22119 1108.58/1109.06 c nbDecision=200000 #constraints=22152 1111.38/1111.89 c nbDecision=200500 #constraints=22163 1115.08/1115.56 c nbDecision=201000 #constraints=22182 1118.98/1119.44 c nbDecision=201500 #constraints=22228 1121.28/1121.76 c nbDecision=202000 #constraints=22241 1125.68/1126.10 c nbDecision=202500 #constraints=22254 1129.68/1130.14 c nbDecision=203000 #constraints=22295 1132.98/1133.45 c nbDecision=203500 #constraints=22323 1136.57/1137.05 c nbDecision=204000 #constraints=22362 1139.18/1139.62 c nbDecision=204500 #constraints=22380 1140.18/1140.68 c restart after 204801 decisions 1141.67/1142.19 c nbDecision=205000 #constraints=22381 1144.88/1145.34 c nbDecision=205500 #constraints=22421 1151.78/1152.29 c nbDecision=206000 #constraints=22517 1156.48/1156.96 c nbDecision=206500 #constraints=22553 1160.97/1161.43 c nbDecision=207000 #constraints=22590 1168.07/1168.50 c nbDecision=207500 #constraints=22677 1174.67/1175.15 c nbDecision=208000 #constraints=22744 1180.26/1180.79 c nbDecision=208500 #constraints=22797 1184.96/1185.42 c nbDecision=209000 #constraints=22838 1190.26/1190.70 c nbDecision=209500 #constraints=22887 1195.16/1195.69 c nbDecision=210000 #constraints=22929 1201.96/1202.45 c nbDecision=210500 #constraints=22980 1208.76/1209.26 c nbDecision=211000 #constraints=23055 1214.06/1214.59 c nbDecision=211500 #constraints=23090 1220.06/1220.58 c nbDecision=212000 #constraints=23132 1226.46/1226.91 c nbDecision=212500 #constraints=23193 1231.06/1231.51 c nbDecision=213000 #constraints=23214 1237.35/1237.88 c nbDecision=213500 #constraints=23267 1244.35/1244.83 c nbDecision=214000 #constraints=23324 1250.45/1250.94 c nbDecision=214500 #constraints=23366 1257.04/1257.59 c nbDecision=215000 #constraints=23428 1262.64/1263.19 c nbDecision=215500 #constraints=23469 1269.64/1270.18 c nbDecision=216000 #constraints=23545 1275.14/1275.62 c nbDecision=216500 #constraints=23591 1283.24/1283.73 c nbDecision=217000 #constraints=23646 1289.33/1289.82 c nbDecision=217500 #constraints=23696 1295.24/1295.76 c nbDecision=218000 #constraints=23728 1302.44/1302.99 c nbDecision=218500 #constraints=23790 1308.54/1309.05 c nbDecision=219000 #constraints=23834 1314.34/1314.81 c nbDecision=219500 #constraints=23870 1321.43/1321.90 c nbDecision=220000 #constraints=23932 1327.63/1328.10 c nbDecision=220500 #constraints=23986 1333.43/1333.97 c nbDecision=221000 #constraints=24025 1338.43/1338.94 c nbDecision=221500 #constraints=24047 1343.12/1343.67 c nbDecision=222000 #constraints=24079 1348.72/1349.23 c nbDecision=222500 #constraints=24115 1353.92/1354.46 c nbDecision=223000 #constraints=24157 1360.32/1360.82 c nbDecision=223500 #constraints=24222 1366.21/1366.79 c nbDecision=224000 #constraints=24263 1372.01/1372.55 c nbDecision=224500 #constraints=24333 1377.21/1377.79 c nbDecision=225000 #constraints=24381 1385.11/1385.68 c nbDecision=225500 #constraints=24453 1392.21/1392.71 c nbDecision=226000 #constraints=24536 1396.20/1396.77 c nbDecision=226500 #constraints=24565 1399.91/1400.41 c nbDecision=227000 #constraints=24582 1404.11/1404.66 c nbDecision=227500 #constraints=24608 1410.71/1411.28 c nbDecision=228000 #constraints=24662 1416.91/1417.46 c nbDecision=228500 #constraints=24731 1424.70/1425.23 c nbDecision=229000 #constraints=24806 1433.40/1433.94 c nbDecision=229500 #constraints=24880 1438.50/1439.06 c nbDecision=230000 #constraints=24932 1443.40/1443.91 c nbDecision=230500 #constraints=24970 1447.69/1448.24 c nbDecision=231000 #constraints=25003 1453.79/1454.31 c nbDecision=231500 #constraints=25038 1460.49/1461.06 c nbDecision=232000 #constraints=25082 1466.89/1467.49 c nbDecision=232500 #constraints=25116 1473.39/1473.98 c nbDecision=233000 #constraints=25167 1479.58/1480.11 c nbDecision=233500 #constraints=25205 1485.78/1486.30 c nbDecision=234000 #constraints=25251 1491.28/1491.82 c nbDecision=234500 #constraints=25289 1498.89/1499.43 c nbDecision=235000 #constraints=25343 1505.88/1506.48 c nbDecision=235500 #constraints=25422 1513.18/1513.72 c nbDecision=236000 #constraints=25474 1520.18/1520.71 c nbDecision=236500 #constraints=25516 1527.47/1528.07 c nbDecision=237000 #constraints=25600 1534.07/1534.62 c nbDecision=237500 #constraints=25648 1541.37/1541.92 c nbDecision=238000 #constraints=25692 1547.57/1548.11 c nbDecision=238500 #constraints=25725 1553.17/1553.72 c nbDecision=239000 #constraints=25750 1561.87/1562.44 c nbDecision=239500 #constraints=25819 1567.76/1568.30 c nbDecision=240000 #constraints=25878 1574.67/1575.26 c nbDecision=240500 #constraints=25928 1582.36/1582.93 c nbDecision=241000 #constraints=25980 1589.15/1589.76 c nbDecision=241500 #constraints=26034 1596.46/1597.05 c nbDecision=242000 #constraints=26072 1606.25/1606.83 c nbDecision=242500 #constraints=26140 1613.16/1613.76 c nbDecision=243000 #constraints=26196 1620.85/1621.41 c nbDecision=243500 #constraints=26238 1627.45/1628.03 c nbDecision=244000 #constraints=26309 1631.75/1632.36 c nbDecision=244500 #constraints=26334 1639.45/1640.03 c nbDecision=245000 #constraints=26376 1647.54/1648.18 c nbDecision=245500 #constraints=26459 1652.74/1653.37 c nbDecision=246000 #constraints=26501 1660.34/1660.93 c nbDecision=246500 #constraints=26558 1668.93/1669.57 c nbDecision=247000 #constraints=26636 1676.03/1676.66 c nbDecision=247500 #constraints=26693 1682.94/1683.56 c nbDecision=248000 #constraints=26745 1689.43/1690.07 c nbDecision=248500 #constraints=26780 1694.13/1694.76 c nbDecision=249000 #constraints=26826 1700.23/1700.82 c nbDecision=249500 #constraints=26911 1707.22/1707.89 c nbDecision=250000 #constraints=26987 1713.32/1713.98 c nbDecision=250500 #constraints=27024 1719.52/1720.10 c nbDecision=251000 #constraints=27082 1724.43/1725.00 c nbDecision=251500 #constraints=27121 1729.03/1729.65 c nbDecision=252000 #constraints=27142 1735.82/1736.48 c nbDecision=252500 #constraints=27198 1744.22/1744.88 c nbDecision=253000 #constraints=27250 1750.22/1750.83 c nbDecision=253500 #constraints=27282 1756.71/1757.34 c nbDecision=254000 #constraints=27331 1764.31/1764.93 c nbDecision=254500 #constraints=27383 1771.61/1772.28 c nbDecision=255000 #constraints=27432 1778.11/1778.70 c nbDecision=255500 #constraints=27474 1784.61/1785.24 c nbDecision=256000 #constraints=27522 1791.60/1792.21 c nbDecision=256500 #constraints=27557 1798.00/1798.63 c nbDecision=257000 #constraints=27579 1800.01/1800.61 Received signal 15 1800.90/1801.57 1800.90/1801.57 s UNKNOWN 1800.90/1801.57 1800.90/1801.57 c user time= 1800.59 s 1800.90/1801.57 c system time= 0.386941 s 1800.90/1801.57 c wall clock time=1801.57
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-356980-1176850504 -o ROOT/results/node9/solver-356980-1176850504 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356980-1176850504/instance-356980-1176850504.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.91 0.95 0.97 3/77 9234 /proc/meminfo: memFree=1776096/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=1468 CPUtime=0 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 161087960 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715362 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 367 161 131 317 0 46 0 [startup+0.06658 s] /proc/loadavg: 0.91 0.95 0.97 3/77 9234 /proc/meminfo: memFree=1776096/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=2796 CPUtime=0.06 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 519 0 0 0 6 0 0 0 18 0 1 0 161087960 2863104 501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 699 501 131 317 0 378 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2796 [startup+0.102584 s] /proc/loadavg: 0.91 0.95 0.97 3/77 9234 /proc/meminfo: memFree=1776096/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=3736 CPUtime=0.1 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 739 0 0 0 10 0 0 0 18 0 1 0 161087960 3825664 721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 934 721 131 317 0 613 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3736 [startup+0.302608 s] /proc/loadavg: 0.91 0.95 0.97 3/77 9234 /proc/meminfo: memFree=1776096/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=7148 CPUtime=0.29 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 1589 0 0 0 29 0 0 0 20 0 1 0 161087960 7319552 1571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 1787 1571 139 317 0 1466 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7148 [startup+0.701651 s] /proc/loadavg: 0.91 0.95 0.97 3/77 9234 /proc/meminfo: memFree=1776096/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=7280 CPUtime=0.69 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 1638 0 0 0 69 0 0 0 24 0 1 0 161087960 7454720 1620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 1820 1620 139 317 0 1499 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7280 [startup+1.50174 s] /proc/loadavg: 0.91 0.95 0.97 2/78 9235 /proc/meminfo: memFree=1769816/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=8332 CPUtime=1.49 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 1948 0 0 0 149 0 0 0 25 0 1 0 161087960 8531968 1930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 2083 1930 170 317 0 1762 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8332 [startup+3.10192 s] /proc/loadavg: 0.91 0.95 0.97 2/78 9235 /proc/meminfo: memFree=1768280/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=9912 CPUtime=3.09 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 2317 0 0 0 309 0 0 0 25 0 1 0 161087960 10149888 2299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385271 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 2478 2299 170 317 0 2157 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9912 [startup+6.30128 s] /proc/loadavg: 0.92 0.95 0.97 2/78 9235 /proc/meminfo: memFree=1762912/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=17604 CPUtime=6.28 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 4249 0 0 0 627 1 0 0 25 0 1 0 161087960 18026496 4231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 4401 4231 170 317 0 4080 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17604 [startup+12.702 s] /proc/loadavg: 0.93 0.95 0.97 2/78 9235 /proc/meminfo: memFree=1751648/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=26008 CPUtime=12.69 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 6289 0 0 0 1266 3 0 0 25 0 1 0 161087960 26632192 6271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 6502 6271 170 317 0 6181 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26008 [startup+25.5014 s] /proc/loadavg: 0.94 0.96 0.97 2/78 9235 /proc/meminfo: memFree=1743968/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=34428 CPUtime=25.48 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 8229 0 0 0 2545 3 0 0 25 0 1 0 161087960 35254272 8211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 8607 8211 170 317 0 8286 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34428 [startup+51.1013 s] /proc/loadavg: 0.96 0.96 0.97 2/78 9235 /proc/meminfo: memFree=1733792/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=44232 CPUtime=51.07 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 10686 0 0 0 5102 5 0 0 25 0 1 0 161087960 45293568 10668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 11058 10668 170 317 0 10737 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44232 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.97 2/78 9235 /proc/meminfo: memFree=1722912/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=56084 CPUtime=102.26 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 13442 0 0 0 10219 7 0 0 25 0 1 0 161087960 57430016 13367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 14021 13367 170 317 0 13700 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 56084 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 9235 /proc/meminfo: memFree=1717856/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=61556 CPUtime=162.25 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 14681 0 0 0 16216 9 0 0 25 0 1 0 161087960 63033344 14606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 15389 14606 170 317 0 15068 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 61556 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.97 2/78 9235 /proc/meminfo: memFree=1711520/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=67676 CPUtime=222.23 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 16248 0 0 0 22213 10 0 0 25 0 1 0 161087960 69300224 16173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 16919 16173 170 317 0 16598 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 67676 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 9235 /proc/meminfo: memFree=1704032/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=75028 CPUtime=282.21 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 18123 0 0 0 28209 12 0 0 25 0 1 0 161087960 76828672 18048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 18757 18048 170 317 0 18436 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 75028 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 9235 /proc/meminfo: memFree=1696032/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=83124 CPUtime=342.2 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 20096 0 0 0 34205 15 0 0 25 0 1 0 161087960 85118976 20021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 20781 20021 170 317 0 20460 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 83124 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.97 2/84 9407 /proc/meminfo: memFree=1681312/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=98388 CPUtime=402.1 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 23510 0 0 0 40192 18 0 0 25 0 1 0 161087960 100749312 23435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 24597 23435 170 317 0 24276 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 98388 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.97 2/78 9432 /proc/meminfo: memFree=1677856/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=102764 CPUtime=462.06 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 24607 0 0 0 46187 19 0 0 25 0 1 0 161087960 105230336 24532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 25691 24532 170 317 0 25370 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 102764 [startup+522.303 s] /proc/loadavg: 0.99 0.97 0.97 2/78 9432 /proc/meminfo: memFree=1674464/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=106940 CPUtime=522.04 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 25561 0 0 0 52184 20 0 0 25 0 1 0 161087960 109506560 25373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 26735 25373 170 317 0 26414 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 106940 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 9432 /proc/meminfo: memFree=1671584/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=109756 CPUtime=582.03 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 26323 0 0 0 58182 21 0 0 25 0 1 0 161087960 112390144 26135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 27439 26135 170 317 0 27118 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 109756 [startup+642.301 s] /proc/loadavg: 1.07 0.99 0.98 3/78 9432 /proc/meminfo: memFree=1669216/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=112488 CPUtime=642.01 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 26937 0 0 0 64179 22 0 0 25 0 1 0 161087960 115187712 26749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 28122 26749 170 317 0 27801 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 112488 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1655328/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=127480 CPUtime=941.93 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 30381 0 0 0 94167 26 0 0 25 0 1 0 161087960 130539520 30193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 31870 30193 170 317 0 31549 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 127480 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1653344/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=129496 CPUtime=1001.92 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 30888 0 0 0 100164 28 0 0 25 0 1 0 161087960 132603904 30700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 32374 30700 170 317 0 32053 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 129496 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1651168/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=131588 CPUtime=1061.9 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 31426 0 0 0 106161 29 0 0 25 0 1 0 161087960 134746112 31238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 32897 31238 170 317 0 32576 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 131588 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1649248/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=133804 CPUtime=1121.88 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 31895 0 0 0 112159 29 0 0 25 0 1 0 161087960 137015296 31707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194612 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 33451 31707 170 317 0 33130 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 133804 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1647136/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=136212 CPUtime=1181.86 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 32428 0 0 0 118156 30 0 0 25 0 1 0 161087960 139481088 32240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 34053 32240 170 317 0 33732 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 136212 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1645152/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=138204 CPUtime=1241.85 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 32919 0 0 0 124154 31 0 0 25 0 1 0 161087960 141520896 32731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 34551 32731 170 317 0 34230 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 138204 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1643232/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=140372 CPUtime=1301.84 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 33376 0 0 0 130152 32 0 0 25 0 1 0 161087960 143740928 33188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 35093 33188 170 317 0 34772 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 140372 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1641632/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=142620 CPUtime=1361.82 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 33883 0 0 0 136150 32 0 0 25 0 1 0 161087960 146042880 33695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 35655 33695 170 317 0 35334 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 142620 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1639072/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=145140 CPUtime=1421.81 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 34463 0 0 0 142148 33 0 0 25 0 1 0 161087960 148623360 34242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 36285 34242 170 317 0 35964 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 145140 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1637088/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=147116 CPUtime=1481.78 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 34955 0 0 0 148145 33 0 0 25 0 1 0 161087960 150646784 34734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 36779 34734 170 317 0 36458 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 147116 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1635104/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=149080 CPUtime=1541.77 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 35511 0 0 0 154142 35 0 0 25 0 1 0 161087960 152657920 35224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 37270 35224 170 317 0 36949 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 149080 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1633504/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=150828 CPUtime=1601.76 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 35909 0 0 0 160140 36 0 0 25 0 1 0 161087960 154447872 35622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 37707 35622 170 317 0 37386 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 150828 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1631776/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=152540 CPUtime=1661.73 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 36344 0 0 0 166137 36 0 0 25 0 1 0 161087960 156200960 36057 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 38135 36057 170 317 0 37814 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 152540 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1628704/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=156024 CPUtime=1721.73 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 37119 0 0 0 172135 38 0 0 25 0 1 0 161087960 159768576 36832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 39006 36832 170 317 0 38685 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 156024 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 9432 /proc/meminfo: memFree=1626848/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=157732 CPUtime=1781.71 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 37571 0 0 0 178133 38 0 0 25 0 1 0 161087960 161517568 37284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 39433 37284 170 317 0 39112 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 157732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.98 3/78 9432 /proc/meminfo: memFree=1626528/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=157996 CPUtime=1800.01 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 37647 0 0 0 179963 38 0 0 25 0 1 0 161087960 161787904 37360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 39499 37360 170 317 0 39178 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 157996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 0.99 0.98 3/78 9432 /proc/meminfo: memFree=1626528/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=157996 CPUtime=1800.8 /proc/9234/stat : 9234 (oree) R 9232 9234 9132 0 -1 4194304 37654 0 0 0 180042 38 0 0 25 0 1 0 161087960 161787904 37367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9234/statm: 39499 37367 170 317 0 39178 0 Current children cumulated CPU time (s) 1800.8 Current children cumulated vsize (KiB) 157996 [startup+1801.6 s] /proc/loadavg: 1.00 0.99 0.98 3/78 9432 /proc/meminfo: memFree=1626528/2055920 swapFree=4145528/4192956 [pid=9234] ppid=9232 vsize=0 CPUtime=1801.01 /proc/9234/stat : 9234 (oree) D 9232 9234 9132 0 -1 4194308 37671 0 0 0 180060 41 0 0 25 0 1 0 161087960 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0 /proc/9234/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.01 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.6 CPU time (s): 1801.01 CPU user time (s): 1800.6 CPU system time (s): 0.411937 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 157996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.6 system time used= 0.411937 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37671 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= 21072 runsolver used 2.22466 second user time and 4.32234 second system time The end
Begin job on node9 on Tue Apr 17 22:55:04 UTC 2007 IDJOB= 356980 IDBENCH= 1719 IDSOLVER= 172 FILE ID= node9/356980-1176850504 PBS_JOBID= 4590228 Free space on /tmp= 66491 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-grow7.opb COMMAND LINE= oree /tmp/evaluation/356980-1176850504/instance-356980-1176850504.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-356980-1176850504 -o ROOT/results/node9/solver-356980-1176850504 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356980-1176850504/instance-356980-1176850504.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8d33b9e58f24eb64e3fc155c85c275f1 RANDOM SEED= 931545903 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: 1776568 kB Buffers: 33452 kB Cached: 183800 kB SwapCached: 16124 kB Active: 192728 kB Inactive: 55504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776568 kB SwapTotal: 4192956 kB SwapFree: 4145528 kB Dirty: 1868 kB Writeback: 0 kB Mapped: 29872 kB Slab: 16636 kB Committed_AS: 5959468 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= 66491 MiB End job on node9 on Tue Apr 17 23:25:07 UTC 2007