Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.16 | 1800.6 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g125.18.opb |
MD5SUM | 18a894a2ba4f3cf6bad1b497c8fca8eb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4500 |
Total number of constraints | 72413 |
Number of constraints which are clauses | 72413 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 4500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4500 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4500 |
Number of bits of the biggest sum of numbers | 13 |
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.39/0.48 c ...done 0.39/0.48 c #vars=4500 #constraints=72414 hasObjective=yes 0.79/0.86 c res. mode=mod 0.79/0.86 c VSIDS like heuristics 0.79/0.86 c complete search running 4.19/4.23 c restart after 401 decisions 4.89/4.92 c nbDecision=500 #constraints=72710 7.39/7.44 c restart after 801 decisions 9.09/9.14 c nbDecision=1000 #constraints=73023 14.29/14.37 c nbDecision=1500 #constraints=73355 15.48/15.58 c restart after 1601 decisions 19.99/20.04 c nbDecision=2000 #constraints=73674 23.39/23.41 c nbDecision=2500 #constraints=73860 23.69/23.77 c nbDecision=3000 #constraints=73871 23.89/23.95 c restart after 3201 decisions 24.19/24.27 c nbDecision=3500 #constraints=73881 24.59/24.60 c nbDecision=4000 #constraints=73892 24.99/25.08 c nbDecision=4500 #constraints=73908 25.48/25.55 c nbDecision=5000 #constraints=73926 25.98/26.05 c nbDecision=5500 #constraints=73945 26.48/26.58 c nbDecision=6000 #constraints=73964 26.88/26.93 c restart after 6401 decisions 27.08/27.16 c nbDecision=6500 #constraints=73977 27.49/27.55 c nbDecision=7000 #constraints=73988 27.98/28.09 c nbDecision=7500 #constraints=74008 28.68/28.75 c nbDecision=8000 #constraints=74036 29.18/29.28 c nbDecision=8500 #constraints=74057 29.58/29.69 c nbDecision=9000 #constraints=74069 30.08/30.12 c nbDecision=9500 #constraints=74082 30.48/30.58 c nbDecision=10000 #constraints=74097 31.28/31.31 c nbDecision=10500 #constraints=74126 31.78/31.83 c nbDecision=11000 #constraints=74143 32.18/32.20 c nbDecision=11500 #constraints=74155 34.48/34.51 c nbDecision=12000 #constraints=74272 34.88/34.95 c nbDecision=12500 #constraints=74285 35.08/35.18 c restart after 12801 decisions 35.38/35.48 c nbDecision=13000 #constraints=74293 36.08/36.12 c nbDecision=13500 #constraints=74316 36.58/36.61 c nbDecision=14000 #constraints=74335 37.08/37.16 c nbDecision=14500 #constraints=74354 37.48/37.56 c nbDecision=15000 #constraints=74366 38.08/38.12 c nbDecision=15500 #constraints=74387 38.78/38.87 c nbDecision=16000 #constraints=74419 39.28/39.39 c nbDecision=16500 #constraints=74439 39.77/39.83 c nbDecision=17000 #constraints=74453 40.27/40.31 c nbDecision=17500 #constraints=74467 40.77/40.81 c nbDecision=18000 #constraints=74484 41.57/41.60 c nbDecision=18500 #constraints=74514 41.97/42.04 c nbDecision=19000 #constraints=74527 42.97/43.09 c nbDecision=19500 #constraints=74572 44.57/44.66 c nbDecision=20000 #constraints=74634 45.08/45.13 c nbDecision=20500 #constraints=74649 45.68/45.71 c nbDecision=21000 #constraints=74667 46.08/46.20 c nbDecision=21500 #constraints=74682 46.58/46.66 c nbDecision=22000 #constraints=74696 47.08/47.15 c nbDecision=22500 #constraints=74712 47.58/47.65 c nbDecision=23000 #constraints=74728 48.28/48.36 c nbDecision=23500 #constraints=74755 48.88/48.96 c nbDecision=24000 #constraints=74776 49.38/49.44 c nbDecision=24500 #constraints=74790 49.88/49.96 c nbDecision=25000 #constraints=74806 50.78/50.89 c nbDecision=25500 #constraints=74842 50.98/51.01 c restart after 25601 decisions 51.48/51.58 c nbDecision=26000 #constraints=74854 51.97/52.00 c nbDecision=26500 #constraints=74866 54.37/54.40 c nbDecision=27000 #constraints=74963 54.67/54.79 c nbDecision=27500 #constraints=74973 55.37/55.45 c nbDecision=28000 #constraints=74995 55.87/55.95 c nbDecision=28500 #constraints=75010 56.27/56.35 c nbDecision=29000 #constraints=75021 57.08/57.19 c nbDecision=29500 #constraints=75051 57.57/57.62 c nbDecision=30000 #constraints=75063 58.27/58.32 c nbDecision=30500 #constraints=75089 59.07/59.18 c nbDecision=31000 #constraints=75120 59.47/59.58 c nbDecision=31500 #constraints=75130 61.68/61.74 c nbDecision=32000 #constraints=75222 62.18/62.27 c nbDecision=32500 #constraints=75242 63.97/64.01 c nbDecision=33000 #constraints=75309 65.47/65.55 c nbDecision=33500 #constraints=75371 65.88/66.00 c nbDecision=34000 #constraints=75386 66.57/66.65 c nbDecision=34500 #constraints=75410 67.17/67.29 c nbDecision=35000 #constraints=75434 67.77/67.84 c nbDecision=35500 #constraints=75454 68.27/68.34 c nbDecision=36000 #constraints=75472 68.87/68.92 c nbDecision=36500 #constraints=75494 69.37/69.41 c nbDecision=37000 #constraints=75510 69.97/70.00 c nbDecision=37500 #constraints=75532 70.47/70.54 c nbDecision=38000 #constraints=75551 72.97/73.06 c nbDecision=38500 #constraints=75645 73.47/73.52 c nbDecision=39000 #constraints=75657 74.27/74.32 c nbDecision=39500 #constraints=75681 74.87/74.90 c nbDecision=40000 #constraints=75701 75.37/75.40 c nbDecision=40500 #constraints=75717 75.87/75.92 c nbDecision=41000 #constraints=75732 76.57/76.63 c nbDecision=41500 #constraints=75755 77.37/77.48 c nbDecision=42000 #constraints=75784 77.97/78.09 c nbDecision=42500 #constraints=75806 78.67/78.70 c nbDecision=43000 #constraints=75824 79.17/79.28 c nbDecision=43500 #constraints=75839 80.27/80.38 c nbDecision=44000 #constraints=75876 80.87/80.92 c nbDecision=44500 #constraints=75892 81.47/81.53 c nbDecision=45000 #constraints=75911 84.46/84.53 c nbDecision=45500 #constraints=76013 84.96/85.02 c nbDecision=46000 #constraints=76027 85.46/85.59 c nbDecision=46500 #constraints=76044 86.26/86.34 c nbDecision=47000 #constraints=76068 86.77/86.85 c nbDecision=47500 #constraints=76081 87.26/87.36 c nbDecision=48000 #constraints=76094 88.26/88.31 c nbDecision=48500 #constraints=76123 88.97/89.02 c nbDecision=49000 #constraints=76148 89.46/89.60 c nbDecision=49500 #constraints=76165 90.17/90.26 c nbDecision=50000 #constraints=76185 90.76/90.88 c nbDecision=50500 #constraints=76205 91.76/91.86 c nbDecision=51000 #constraints=76236 92.06/92.14 c restart after 51201 decisions 92.66/92.70 c nbDecision=51500 #constraints=76248 95.17/95.27 c nbDecision=52000 #constraints=76327 95.67/95.75 c nbDecision=52500 #constraints=76340 96.57/96.60 c nbDecision=53000 #constraints=76366 96.97/97.04 c nbDecision=53500 #constraints=76376 97.77/97.85 c nbDecision=54000 #constraints=76399 98.47/98.59 c nbDecision=54500 #constraints=76420 99.76/99.83 c nbDecision=55000 #constraints=76457 102.27/102.33 c nbDecision=55500 #constraints=76540 103.56/103.68 c nbDecision=56000 #constraints=76575 105.66/105.71 c nbDecision=56500 #constraints=76641 106.16/106.22 c nbDecision=57000 #constraints=76658 106.86/106.90 c nbDecision=57500 #constraints=76679 107.76/107.81 c nbDecision=58000 #constraints=76711 108.46/108.52 c nbDecision=58500 #constraints=76733 109.06/109.13 c nbDecision=59000 #constraints=76751 109.66/109.72 c nbDecision=59500 #constraints=76771 110.26/110.38 c nbDecision=60000 #constraints=76789 111.06/111.16 c nbDecision=60500 #constraints=76815 113.86/113.98 c nbDecision=61000 #constraints=76901 114.36/114.49 c nbDecision=61500 #constraints=76919 115.16/115.21 c nbDecision=62000 #constraints=76942 115.86/115.92 c nbDecision=62500 #constraints=76964 116.56/116.66 c nbDecision=63000 #constraints=76988 117.26/117.36 c nbDecision=63500 #constraints=77010 117.86/117.98 c nbDecision=64000 #constraints=77027 118.56/118.68 c nbDecision=64500 #constraints=77050 119.36/119.41 c nbDecision=65000 #constraints=77072 120.16/120.21 c nbDecision=65500 #constraints=77099 121.16/121.23 c nbDecision=66000 #constraints=77130 124.16/124.24 c nbDecision=66500 #constraints=77212 124.75/124.80 c nbDecision=67000 #constraints=77225 125.75/125.82 c nbDecision=67500 #constraints=77253 126.36/126.41 c nbDecision=68000 #constraints=77267 127.15/127.21 c nbDecision=68500 #constraints=77286 128.05/128.14 c nbDecision=69000 #constraints=77315 129.05/129.13 c nbDecision=69500 #constraints=77343 129.85/129.97 c nbDecision=70000 #constraints=77368 130.76/130.84 c nbDecision=70500 #constraints=77397 131.55/131.68 c nbDecision=71000 #constraints=77428 132.65/132.72 c nbDecision=71500 #constraints=77464 133.65/133.72 c nbDecision=72000 #constraints=77492 134.95/135.00 c nbDecision=72500 #constraints=77524 136.75/136.87 c nbDecision=73000 #constraints=77578 139.16/139.27 c nbDecision=73500 #constraints=77639 140.06/140.13 c nbDecision=74000 #constraints=77661 141.16/141.30 c nbDecision=74500 #constraints=77695 142.55/142.60 c nbDecision=75000 #constraints=77732 143.25/143.30 c nbDecision=75500 #constraints=77753 147.45/147.57 c nbDecision=76000 #constraints=77858 148.25/148.31 c nbDecision=76500 #constraints=77879 148.95/149.04 c nbDecision=77000 #constraints=77900 149.95/150.00 c nbDecision=77500 #constraints=77926 150.45/150.53 c nbDecision=78000 #constraints=77940 151.35/151.48 c nbDecision=78500 #constraints=77968 152.25/152.39 c nbDecision=79000 #constraints=77994 152.95/153.04 c nbDecision=79500 #constraints=78010 153.85/153.98 c nbDecision=80000 #constraints=78037 154.85/154.90 c nbDecision=80500 #constraints=78059 157.55/157.62 c nbDecision=81000 #constraints=78125 160.34/160.41 c nbDecision=81500 #constraints=78191 161.14/161.27 c nbDecision=82000 #constraints=78219 164.24/164.39 c nbDecision=82500 #constraints=78294 165.95/166.05 c nbDecision=83000 #constraints=78333 166.64/166.77 c nbDecision=83500 #constraints=78352 168.74/168.84 c nbDecision=84000 #constraints=78407 169.54/169.65 c nbDecision=84500 #constraints=78429 172.55/172.67 c nbDecision=85000 #constraints=78500 174.55/174.69 c nbDecision=85500 #constraints=78543 175.55/175.60 c nbDecision=86000 #constraints=78564 176.25/176.40 c nbDecision=86500 #constraints=78582 177.45/177.50 c nbDecision=87000 #constraints=78610 178.25/178.34 c nbDecision=87500 #constraints=78630 179.54/179.67 c nbDecision=88000 #constraints=78666 186.64/186.76 c nbDecision=88500 #constraints=78810 188.24/188.38 c nbDecision=89000 #constraints=78844 206.44/206.55 c nbDecision=89500 #constraints=79184 225.44/225.58 c nbDecision=90000 #constraints=79528 231.23/231.34 c nbDecision=90500 #constraints=79616 232.13/232.22 c nbDecision=91000 #constraints=79633 233.04/233.18 c nbDecision=91500 #constraints=79653 234.43/234.52 c nbDecision=92000 #constraints=79675 235.33/235.49 c nbDecision=92500 #constraints=79693 236.23/236.32 c nbDecision=93000 #constraints=79707 237.13/237.22 c nbDecision=93500 #constraints=79722 238.23/238.36 c nbDecision=94000 #constraints=79743 239.23/239.33 c nbDecision=94500 #constraints=79760 240.83/240.92 c nbDecision=95000 #constraints=79791 241.83/241.91 c nbDecision=95500 #constraints=79810 242.63/242.72 c nbDecision=96000 #constraints=79823 243.53/243.68 c nbDecision=96500 #constraints=79840 244.63/244.75 c nbDecision=97000 #constraints=79865 246.03/246.15 c nbDecision=97500 #constraints=79896 252.22/252.39 c nbDecision=98000 #constraints=79999 253.32/253.45 c nbDecision=98500 #constraints=80020 254.42/254.59 c nbDecision=99000 #constraints=80046 255.42/255.56 c nbDecision=99500 #constraints=80068 256.92/257.04 c nbDecision=100000 #constraints=80096 257.72/257.82 c nbDecision=100500 #constraints=80109 258.42/258.56 c nbDecision=101000 #constraints=80120 259.32/259.44 c nbDecision=101500 #constraints=80137 260.82/260.99 c nbDecision=102000 #constraints=80168 261.62/261.80 c restart after 102401 decisions 262.62/262.72 c nbDecision=102500 #constraints=80182 263.53/263.64 c nbDecision=103000 #constraints=80202 265.23/265.36 c nbDecision=103500 #constraints=80232 266.13/266.27 c nbDecision=104000 #constraints=80247 267.13/267.29 c nbDecision=104500 #constraints=80262 268.23/268.34 c nbDecision=105000 #constraints=80285 269.43/269.52 c nbDecision=105500 #constraints=80313 270.92/271.09 c nbDecision=106000 #constraints=80347 277.82/277.94 c nbDecision=106500 #constraints=80448 278.62/278.74 c nbDecision=107000 #constraints=80462 279.52/279.68 c nbDecision=107500 #constraints=80478 280.82/280.99 c nbDecision=108000 #constraints=80502 281.92/282.09 c nbDecision=108500 #constraints=80521 283.12/283.20 c nbDecision=109000 #constraints=80539 283.92/284.06 c nbDecision=109500 #constraints=80553 285.42/285.51 c nbDecision=110000 #constraints=80582 286.22/286.40 c nbDecision=110500 #constraints=80596 287.82/287.99 c nbDecision=111000 #constraints=80624 288.82/288.93 c nbDecision=111500 #constraints=80638 289.72/289.88 c nbDecision=112000 #constraints=80652 290.92/291.00 c nbDecision=112500 #constraints=80673 291.92/292.07 c nbDecision=113000 #constraints=80696 293.22/293.32 c nbDecision=113500 #constraints=80718 299.71/299.84 c nbDecision=114000 #constraints=80816 300.51/300.68 c nbDecision=114500 #constraints=80831 302.42/302.53 c nbDecision=115000 #constraints=80858 304.21/304.35 c nbDecision=115500 #constraints=80884 305.11/305.22 c nbDecision=116000 #constraints=80897 312.21/312.32 c nbDecision=116500 #constraints=81002 313.01/313.10 c nbDecision=117000 #constraints=81016 314.52/314.61 c nbDecision=117500 #constraints=81040 316.01/316.10 c nbDecision=118000 #constraints=81064 317.61/317.74 c nbDecision=118500 #constraints=81091 318.82/318.93 c nbDecision=119000 #constraints=81113 319.92/320.03 c nbDecision=119500 #constraints=81131 325.91/326.06 c nbDecision=120000 #constraints=81215 327.31/327.41 c nbDecision=120500 #constraints=81238 328.81/328.97 c nbDecision=121000 #constraints=81268 329.81/329.93 c nbDecision=121500 #constraints=81284 330.71/330.85 c nbDecision=122000 #constraints=81298 332.21/332.30 c nbDecision=122500 #constraints=81320 334.11/334.27 c nbDecision=123000 #constraints=81353 335.01/335.15 c nbDecision=123500 #constraints=81368 340.11/340.26 c nbDecision=124000 #constraints=81434 342.70/342.83 c nbDecision=124500 #constraints=81469 344.11/344.21 c nbDecision=125000 #constraints=81492 345.60/345.76 c nbDecision=125500 #constraints=81521 346.60/346.71 c nbDecision=126000 #constraints=81535 347.80/347.96 c nbDecision=126500 #constraints=81552 350.00/350.15 c nbDecision=127000 #constraints=81586 356.70/356.85 c nbDecision=127500 #constraints=81673 357.40/357.51 c nbDecision=128000 #constraints=81682 359.00/359.17 c nbDecision=128500 #constraints=81706 361.20/361.32 c nbDecision=129000 #constraints=81741 362.00/362.18 c nbDecision=129500 #constraints=81754 370.89/371.05 c nbDecision=130000 #constraints=81860 371.89/372.03 c nbDecision=130500 #constraints=81878 372.89/373.00 c nbDecision=131000 #constraints=81896 374.29/374.44 c nbDecision=131500 #constraints=81920 375.79/375.98 c nbDecision=132000 #constraints=81945 376.89/377.02 c nbDecision=132500 #constraints=81961 378.49/378.68 c nbDecision=133000 #constraints=81988 379.80/379.96 c nbDecision=133500 #constraints=82010 385.40/385.52 c nbDecision=134000 #constraints=82079 386.50/386.66 c nbDecision=134500 #constraints=82102 388.00/388.11 c nbDecision=135000 #constraints=82126 389.59/389.74 c nbDecision=135500 #constraints=82151 391.09/391.20 c nbDecision=136000 #constraints=82174 392.29/392.47 c nbDecision=136500 #constraints=82194 393.79/393.99 c nbDecision=137000 #constraints=82219 399.79/399.99 c nbDecision=137500 #constraints=82293 400.89/401.05 c nbDecision=138000 #constraints=82310 402.69/402.80 c nbDecision=138500 #constraints=82338 404.19/404.35 c nbDecision=139000 #constraints=82363 405.69/405.81 c nbDecision=139500 #constraints=82382 407.89/408.09 c nbDecision=140000 #constraints=82414 409.98/410.14 c nbDecision=140500 #constraints=82449 417.39/417.53 c nbDecision=141000 #constraints=82540 419.69/419.86 c nbDecision=141500 #constraints=82570 420.99/421.16 c nbDecision=142000 #constraints=82594 427.98/428.10 c nbDecision=142500 #constraints=82676 429.38/429.58 c nbDecision=143000 #constraints=82698 430.99/431.18 c nbDecision=143500 #constraints=82724 431.98/432.11 c nbDecision=144000 #constraints=82739 433.88/434.02 c nbDecision=144500 #constraints=82771 435.08/435.24 c nbDecision=145000 #constraints=82792 436.48/436.67 c nbDecision=145500 #constraints=82812 442.17/442.32 c nbDecision=146000 #constraints=82888 448.27/448.42 c nbDecision=146500 #constraints=82960 456.28/456.41 c nbDecision=147000 #constraints=83055 457.18/457.32 c nbDecision=147500 #constraints=83068 464.17/464.39 c nbDecision=148000 #constraints=83153 466.27/466.41 c nbDecision=148500 #constraints=83181 467.87/468.07 c nbDecision=149000 #constraints=83202 494.77/494.98 c nbDecision=149500 #constraints=83494 500.96/501.15 c nbDecision=150000 #constraints=83558 501.86/502.02 c nbDecision=150500 #constraints=83570 503.86/504.00 c nbDecision=151000 #constraints=83597 505.46/505.60 c nbDecision=151500 #constraints=83617 507.16/507.32 c nbDecision=152000 #constraints=83639 508.26/508.47 c nbDecision=152500 #constraints=83653 509.86/510.05 c nbDecision=153000 #constraints=83672 511.76/511.91 c nbDecision=153500 #constraints=83697 513.86/514.05 c nbDecision=154000 #constraints=83729 516.26/516.43 c nbDecision=154500 #constraints=83759 518.06/518.28 c nbDecision=155000 #constraints=83787 525.56/525.79 c nbDecision=155500 #constraints=83876 526.95/527.10 c nbDecision=156000 #constraints=83896 528.35/528.57 c nbDecision=156500 #constraints=83920 530.25/530.49 c nbDecision=157000 #constraints=83947 531.96/532.11 c nbDecision=157500 #constraints=83970 533.36/533.58 c nbDecision=158000 #constraints=83991 535.36/535.59 c nbDecision=158500 #constraints=84016 536.76/536.96 c nbDecision=159000 #constraints=84032 537.96/538.18 c nbDecision=159500 #constraints=84048 540.16/540.39 c nbDecision=160000 #constraints=84075 541.66/541.86 c nbDecision=160500 #constraints=84095 543.65/543.87 c nbDecision=161000 #constraints=84121 546.15/546.40 c nbDecision=161500 #constraints=84153 553.05/553.21 c nbDecision=162000 #constraints=84227 555.85/556.08 c nbDecision=162500 #constraints=84259 558.05/558.27 c nbDecision=163000 #constraints=84283 559.75/559.91 c nbDecision=163500 #constraints=84300 561.74/561.90 c nbDecision=164000 #constraints=84324 568.05/568.24 c nbDecision=164500 #constraints=84393 568.95/569.16 c nbDecision=165000 #constraints=84407 570.55/570.72 c nbDecision=165500 #constraints=84425 577.95/578.11 c nbDecision=166000 #constraints=84496 582.15/582.32 c nbDecision=166500 #constraints=84538 584.55/584.73 c nbDecision=167000 #constraints=84567 586.75/586.92 c nbDecision=167500 #constraints=84591 594.64/594.89 c nbDecision=168000 #constraints=84676 595.95/596.16 c nbDecision=168500 #constraints=84692 598.04/598.29 c nbDecision=169000 #constraints=84721 599.64/599.83 c nbDecision=169500 #constraints=84742 600.84/601.00 c nbDecision=170000 #constraints=84757 612.63/612.84 c nbDecision=170500 #constraints=84876 615.13/615.31 c nbDecision=171000 #constraints=84904 626.13/626.39 c nbDecision=171500 #constraints=84991 630.43/630.63 c nbDecision=172000 #constraints=85032 632.34/632.59 c nbDecision=172500 #constraints=85057 634.23/634.43 c nbDecision=173000 #constraints=85079 636.23/636.48 c nbDecision=173500 #constraints=85100 637.63/637.83 c nbDecision=174000 #constraints=85118 644.83/645.01 c nbDecision=174500 #constraints=85190 647.33/647.59 c nbDecision=175000 #constraints=85219 656.33/656.53 c nbDecision=175500 #constraints=85302 658.13/658.38 c nbDecision=176000 #constraints=85323 660.03/660.29 c nbDecision=176500 #constraints=85345 672.12/672.38 c nbDecision=177000 #constraints=85443 674.42/674.64 c nbDecision=177500 #constraints=85468 676.03/676.24 c nbDecision=178000 #constraints=85484 677.92/678.18 c nbDecision=178500 #constraints=85508 690.32/690.50 c nbDecision=179000 #constraints=85613 710.81/711.07 c nbDecision=179500 #constraints=85787 711.91/712.18 c nbDecision=180000 #constraints=85801 713.21/713.46 c nbDecision=180500 #constraints=85817 714.41/714.64 c nbDecision=181000 #constraints=85829 716.71/716.92 c nbDecision=181500 #constraints=85853 718.11/718.36 c nbDecision=182000 #constraints=85870 720.61/720.83 c nbDecision=182500 #constraints=85899 723.80/724.00 c nbDecision=183000 #constraints=85933 725.10/725.37 c nbDecision=183500 #constraints=85948 726.91/727.18 c nbDecision=184000 #constraints=85967 728.30/728.54 c nbDecision=184500 #constraints=85985 729.61/729.87 c nbDecision=185000 #constraints=86003 732.41/732.64 c nbDecision=185500 #constraints=86035 733.91/734.15 c nbDecision=186000 #constraints=86056 744.71/744.97 c nbDecision=186500 #constraints=86161 746.21/746.40 c nbDecision=187000 #constraints=86178 747.51/747.78 c nbDecision=187500 #constraints=86195 749.41/749.65 c nbDecision=188000 #constraints=86217 751.90/752.11 c nbDecision=188500 #constraints=86243 753.21/753.50 c nbDecision=189000 #constraints=86261 754.80/755.09 c nbDecision=189500 #constraints=86279 756.61/756.88 c nbDecision=190000 #constraints=86300 759.60/759.86 c nbDecision=190500 #constraints=86332 761.01/761.26 c nbDecision=191000 #constraints=86346 762.70/762.93 c nbDecision=191500 #constraints=86365 764.10/764.32 c nbDecision=192000 #constraints=86382 765.20/765.48 c nbDecision=192500 #constraints=86398 767.90/768.15 c nbDecision=193000 #constraints=86428 769.70/769.97 c nbDecision=193500 #constraints=86453 775.50/775.72 c nbDecision=194000 #constraints=86501 777.70/777.91 c nbDecision=194500 #constraints=86521 779.39/779.70 c nbDecision=195000 #constraints=86537 781.30/781.56 c nbDecision=195500 #constraints=86557 787.40/787.64 c nbDecision=196000 #constraints=86608 789.09/789.38 c nbDecision=196500 #constraints=86624 790.09/790.32 c nbDecision=197000 #constraints=86634 802.99/803.26 c nbDecision=197500 #constraints=86741 804.09/804.39 c nbDecision=198000 #constraints=86753 806.00/806.29 c nbDecision=198500 #constraints=86775 808.49/808.79 c nbDecision=199000 #constraints=86801 810.29/810.56 c nbDecision=199500 #constraints=86822 812.59/812.80 c nbDecision=200000 #constraints=86845 820.68/820.99 c nbDecision=200500 #constraints=86924 821.88/822.19 c nbDecision=201000 #constraints=86939 824.18/824.50 c nbDecision=201500 #constraints=86965 826.08/826.32 c nbDecision=202000 #constraints=86983 835.78/836.07 c nbDecision=202500 #constraints=87069 843.88/844.19 c nbDecision=203000 #constraints=87134 856.18/856.42 c nbDecision=203500 #constraints=87224 857.58/857.85 c nbDecision=204000 #constraints=87242 859.08/859.31 c nbDecision=204500 #constraints=87258 860.88/861.11 c restart after 204801 decisions 863.78/864.02 c nbDecision=205000 #constraints=87288 865.48/865.75 c nbDecision=205500 #constraints=87308 867.48/867.72 c nbDecision=206000 #constraints=87330 869.58/869.81 c nbDecision=206500 #constraints=87350 875.57/875.86 c nbDecision=207000 #constraints=87398 877.17/877.47 c nbDecision=207500 #constraints=87418 879.68/879.91 c nbDecision=208000 #constraints=87442 881.67/881.92 c nbDecision=208500 #constraints=87466 889.27/889.52 c nbDecision=209000 #constraints=87523 905.07/905.30 c nbDecision=209500 #constraints=87630 910.36/910.62 c nbDecision=210000 #constraints=87682 912.67/912.91 c nbDecision=210500 #constraints=87706 915.86/916.19 c nbDecision=211000 #constraints=87737 917.57/917.84 c nbDecision=211500 #constraints=87759 919.46/919.71 c nbDecision=212000 #constraints=87780 921.36/921.65 c nbDecision=212500 #constraints=87803 925.76/926.07 c nbDecision=213000 #constraints=87841 929.06/929.34 c nbDecision=213500 #constraints=87870 931.16/931.46 c nbDecision=214000 #constraints=87889 933.26/933.52 c nbDecision=214500 #constraints=87912 934.66/934.91 c nbDecision=215000 #constraints=87926 937.46/937.77 c nbDecision=215500 #constraints=87952 944.05/944.30 c nbDecision=216000 #constraints=87996 946.45/946.75 c nbDecision=216500 #constraints=88021 948.25/948.53 c nbDecision=217000 #constraints=88040 950.06/950.32 c nbDecision=217500 #constraints=88056 952.65/952.97 c nbDecision=218000 #constraints=88081 960.15/960.41 c nbDecision=218500 #constraints=88133 961.55/961.87 c nbDecision=219000 #constraints=88151 964.05/964.34 c nbDecision=219500 #constraints=88172 977.44/977.78 c nbDecision=220000 #constraints=88258 980.05/980.35 c nbDecision=220500 #constraints=88284 983.15/983.42 c nbDecision=221000 #constraints=88314 984.85/985.18 c nbDecision=221500 #constraints=88333 986.95/987.27 c nbDecision=222000 #constraints=88355 988.95/989.29 c nbDecision=222500 #constraints=88376 991.45/991.73 c nbDecision=223000 #constraints=88401 993.15/993.40 c nbDecision=223500 #constraints=88418 1005.34/1005.66 c nbDecision=224000 #constraints=88518 1007.64/1007.98 c nbDecision=224500 #constraints=88541 1009.94/1010.26 c nbDecision=225000 #constraints=88561 1020.84/1021.15 c nbDecision=225500 #constraints=88640 1040.44/1040.76 c nbDecision=226000 #constraints=88763 1041.54/1041.83 c nbDecision=226500 #constraints=88776 1043.54/1043.83 c nbDecision=227000 #constraints=88796 1045.53/1045.87 c nbDecision=227500 #constraints=88815 1047.73/1048.04 c nbDecision=228000 #constraints=88839 1049.73/1050.05 c nbDecision=228500 #constraints=88859 1051.83/1052.15 c nbDecision=229000 #constraints=88881 1058.53/1058.80 c nbDecision=229500 #constraints=88932 1060.03/1060.35 c nbDecision=230000 #constraints=88945 1062.03/1062.34 c nbDecision=230500 #constraints=88963 1063.73/1064.06 c nbDecision=231000 #constraints=88981 1066.22/1066.53 c nbDecision=231500 #constraints=89003 1073.12/1073.50 c nbDecision=232000 #constraints=89050 1074.33/1074.68 c nbDecision=232500 #constraints=89062 1076.92/1077.23 c nbDecision=233000 #constraints=89083 1079.42/1079.79 c nbDecision=233500 #constraints=89105 1084.23/1084.56 c nbDecision=234000 #constraints=89142 1088.32/1088.67 c nbDecision=234500 #constraints=89171 1091.02/1091.30 c nbDecision=235000 #constraints=89192 1093.42/1093.73 c nbDecision=235500 #constraints=89215 1107.12/1107.41 c nbDecision=236000 #constraints=89309 1109.72/1110.08 c nbDecision=236500 #constraints=89337 1112.31/1112.67 c nbDecision=237000 #constraints=89361 1114.31/1114.64 c nbDecision=237500 #constraints=89381 1116.12/1116.48 c nbDecision=238000 #constraints=89398 1119.42/1119.77 c nbDecision=238500 #constraints=89428 1122.11/1122.47 c nbDecision=239000 #constraints=89453 1123.82/1124.11 c nbDecision=239500 #constraints=89470 1125.51/1125.84 c nbDecision=240000 #constraints=89485 1130.91/1131.27 c nbDecision=240500 #constraints=89535 1137.02/1137.38 c nbDecision=241000 #constraints=89585 1142.21/1142.54 c nbDecision=241500 #constraints=89629 1149.01/1149.37 c nbDecision=242000 #constraints=89678 1152.61/1153.00 c nbDecision=242500 #constraints=89711 1155.21/1155.51 c nbDecision=243000 #constraints=89733 1157.61/1157.90 c nbDecision=243500 #constraints=89756 1160.80/1161.15 c nbDecision=244000 #constraints=89786 1163.10/1163.45 c nbDecision=244500 #constraints=89807 1165.10/1165.46 c nbDecision=245000 #constraints=89829 1168.20/1168.55 c nbDecision=245500 #constraints=89857 1170.40/1170.72 c nbDecision=246000 #constraints=89878 1173.20/1173.52 c nbDecision=246500 #constraints=89902 1175.40/1175.74 c nbDecision=247000 #constraints=89924 1184.79/1185.17 c nbDecision=247500 #constraints=89989 1186.69/1187.09 c nbDecision=248000 #constraints=90011 1188.59/1188.98 c nbDecision=248500 #constraints=90031 1190.90/1191.25 c nbDecision=249000 #constraints=90054 1193.29/1193.61 c nbDecision=249500 #constraints=90074 1195.40/1195.76 c nbDecision=250000 #constraints=90093 1197.69/1198.09 c nbDecision=250500 #constraints=90117 1202.89/1203.24 c nbDecision=251000 #constraints=90160 1205.59/1205.94 c nbDecision=251500 #constraints=90187 1208.29/1208.61 c nbDecision=252000 #constraints=90205 1219.50/1219.87 c nbDecision=252500 #constraints=90288 1223.49/1223.86 c nbDecision=253000 #constraints=90322 1234.39/1234.71 c nbDecision=253500 #constraints=90392 1242.18/1242.54 c nbDecision=254000 #constraints=90448 1245.18/1245.59 c nbDecision=254500 #constraints=90474 1247.28/1247.65 c nbDecision=255000 #constraints=90491 1250.48/1250.87 c nbDecision=255500 #constraints=90516 1252.68/1253.00 c nbDecision=256000 #constraints=90535 1254.88/1255.28 c nbDecision=256500 #constraints=90553 1260.48/1260.89 c nbDecision=257000 #constraints=90595 1272.98/1273.32 c nbDecision=257500 #constraints=90681 1276.18/1276.52 c nbDecision=258000 #constraints=90705 1279.08/1279.45 c nbDecision=258500 #constraints=90729 1280.87/1281.27 c nbDecision=259000 #constraints=90745 1294.27/1294.63 c nbDecision=259500 #constraints=90827 1296.27/1296.64 c nbDecision=260000 #constraints=90847 1298.27/1298.66 c nbDecision=260500 #constraints=90866 1300.47/1300.89 c nbDecision=261000 #constraints=90883 1303.07/1303.46 c nbDecision=261500 #constraints=90905 1315.37/1315.70 c nbDecision=262000 #constraints=90983 1317.47/1317.83 c nbDecision=262500 #constraints=91005 1326.66/1327.00 c nbDecision=263000 #constraints=91065 1331.06/1331.48 c nbDecision=263500 #constraints=91101 1342.66/1343.08 c nbDecision=264000 #constraints=91171 1346.36/1346.76 c nbDecision=264500 #constraints=91203 1350.76/1351.19 c nbDecision=265000 #constraints=91237 1363.66/1364.07 c nbDecision=265500 #constraints=91316 1365.76/1366.15 c nbDecision=266000 #constraints=91338 1391.94/1392.32 c nbDecision=266500 #constraints=91496 1395.55/1395.96 c nbDecision=267000 #constraints=91531 1397.55/1397.91 c nbDecision=267500 #constraints=91554 1400.85/1401.28 c nbDecision=268000 #constraints=91580 1403.85/1404.26 c nbDecision=268500 #constraints=91608 1406.35/1406.78 c nbDecision=269000 #constraints=91627 1417.24/1417.61 c nbDecision=269500 #constraints=91708 1418.44/1418.89 c nbDecision=270000 #constraints=91725 1422.34/1422.73 c nbDecision=270500 #constraints=91755 1424.24/1424.69 c nbDecision=271000 #constraints=91777 1428.44/1428.82 c nbDecision=271500 #constraints=91809 1430.24/1430.63 c nbDecision=272000 #constraints=91831 1433.64/1434.03 c nbDecision=272500 #constraints=91859 1438.63/1439.06 c nbDecision=273000 #constraints=91898 1442.74/1443.17 c nbDecision=273500 #constraints=91927 1444.83/1445.26 c nbDecision=274000 #constraints=91945 1447.53/1447.91 c nbDecision=274500 #constraints=91966 1451.33/1451.77 c nbDecision=275000 #constraints=91994 1454.33/1454.77 c nbDecision=275500 #constraints=92027 1455.73/1456.16 c nbDecision=276000 #constraints=92039 1458.93/1459.35 c nbDecision=276500 #constraints=92062 1462.92/1463.34 c nbDecision=277000 #constraints=92094 1464.73/1465.16 c nbDecision=277500 #constraints=92117 1468.42/1468.88 c nbDecision=278000 #constraints=92143 1472.23/1472.69 c nbDecision=278500 #constraints=92179 1474.23/1474.65 c nbDecision=279000 #constraints=92200 1476.43/1476.81 c nbDecision=279500 #constraints=92220 1480.03/1480.42 c nbDecision=280000 #constraints=92251 1481.93/1482.33 c nbDecision=280500 #constraints=92268 1484.53/1484.91 c nbDecision=281000 #constraints=92295 1488.12/1488.57 c nbDecision=281500 #constraints=92324 1490.52/1490.97 c nbDecision=282000 #constraints=92348 1495.22/1495.68 c nbDecision=282500 #constraints=92384 1498.12/1498.57 c nbDecision=283000 #constraints=92402 1500.52/1500.99 c nbDecision=283500 #constraints=92421 1503.72/1504.18 c nbDecision=284000 #constraints=92447 1506.82/1507.20 c nbDecision=284500 #constraints=92467 1508.62/1509.10 c nbDecision=285000 #constraints=92482 1511.32/1511.71 c nbDecision=285500 #constraints=92507 1515.21/1515.65 c nbDecision=286000 #constraints=92537 1516.91/1517.31 c nbDecision=286500 #constraints=92549 1521.92/1522.39 c nbDecision=287000 #constraints=92588 1526.42/1526.87 c nbDecision=287500 #constraints=92616 1528.82/1529.21 c nbDecision=288000 #constraints=92646 1530.42/1530.87 c nbDecision=288500 #constraints=92663 1532.11/1532.53 c nbDecision=289000 #constraints=92678 1536.81/1537.25 c nbDecision=289500 #constraints=92733 1544.71/1545.12 c nbDecision=290000 #constraints=92816 1547.71/1548.15 c nbDecision=290500 #constraints=92854 1551.21/1551.63 c nbDecision=291000 #constraints=92883 1553.10/1553.57 c nbDecision=291500 #constraints=92901 1556.11/1556.56 c nbDecision=292000 #constraints=92933 1559.31/1559.70 c nbDecision=292500 #constraints=92968 1561.90/1562.36 c nbDecision=293000 #constraints=92997 1563.81/1564.26 c nbDecision=293500 #constraints=93027 1565.81/1566.26 c nbDecision=294000 #constraints=93056 1568.80/1569.21 c nbDecision=294500 #constraints=93087 1570.80/1571.24 c nbDecision=295000 #constraints=93105 1572.70/1573.15 c nbDecision=295500 #constraints=93120 1577.40/1577.86 c nbDecision=296000 #constraints=93167 1581.10/1581.51 c nbDecision=296500 #constraints=93198 1582.60/1583.02 c nbDecision=297000 #constraints=93210 1585.20/1585.67 c nbDecision=297500 #constraints=93234 1588.00/1588.41 c nbDecision=298000 #constraints=93264 1590.89/1591.37 c nbDecision=298500 #constraints=93295 1592.90/1593.39 c nbDecision=299000 #constraints=93312 1599.20/1599.67 c nbDecision=299500 #constraints=93374 1604.19/1604.65 c nbDecision=300000 #constraints=93415 1608.49/1608.97 c nbDecision=300500 #constraints=93454 1610.69/1611.15 c nbDecision=301000 #constraints=93471 1615.19/1615.69 c nbDecision=301500 #constraints=93516 1623.79/1624.23 c nbDecision=302000 #constraints=93596 1632.18/1632.64 c nbDecision=302500 #constraints=93667 1640.89/1641.33 c nbDecision=303000 #constraints=93745 1651.18/1651.67 c nbDecision=303500 #constraints=93855 1659.58/1660.00 c nbDecision=304000 #constraints=93941 1669.18/1669.69 c nbDecision=304500 #constraints=94032 1674.67/1675.12 c nbDecision=305000 #constraints=94085 1688.67/1689.10 c nbDecision=305500 #constraints=94202 1706.17/1706.61 c nbDecision=306000 #constraints=94344 1716.36/1716.85 c nbDecision=306500 #constraints=94444 1733.66/1734.19 c nbDecision=307000 #constraints=94606 1747.16/1747.61 c nbDecision=307500 #constraints=94718 1761.65/1762.13 c nbDecision=308000 #constraints=94845 1775.55/1776.01 c nbDecision=308500 #constraints=94955 1794.94/1795.41 c nbDecision=309000 #constraints=95110 1800.04/1800.50 Received signal 15 1800.04/1800.55 1800.04/1800.55 s UNKNOWN 1800.04/1800.55 1800.04/1800.55 c user time= 1799.7 s 1800.04/1800.55 c system time= 0.409937 s 1800.04/1800.55 c wall clock time=1800.55
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-357153-1176989025 -o ROOT/results/node26/solver-357153-1176989025 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357153-1176989025/instance-357153-1176989025.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.75 0.95 0.97 2/77 27732 /proc/meminfo: memFree=1813688/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=1468 CPUtime=0 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 169 0 0 0 0 0 0 0 20 0 1 0 146819278 1503232 151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279021 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 367 151 126 317 0 46 0 [startup+0.044217 s] /proc/loadavg: 0.75 0.95 0.97 2/77 27732 /proc/meminfo: memFree=1813688/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=2424 CPUtime=0.03 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 395 0 0 0 3 0 0 0 20 0 1 0 146819278 2482176 377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 606 377 130 317 0 285 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2424 [startup+0.101222 s] /proc/loadavg: 0.75 0.95 0.97 2/77 27732 /proc/meminfo: memFree=1813688/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=3744 CPUtime=0.09 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 732 0 0 0 9 0 0 0 20 0 1 0 146819278 3833856 714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134600013 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 936 714 130 317 0 615 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3744 [startup+0.30124 s] /proc/loadavg: 0.75 0.95 0.97 2/77 27732 /proc/meminfo: memFree=1813688/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=8492 CPUtime=0.28 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 1938 0 0 0 28 0 0 0 22 0 1 0 146819278 8695808 1887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 2123 1887 130 317 0 1802 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 8492 [startup+0.701277 s] /proc/loadavg: 0.75 0.95 0.97 2/77 27732 /proc/meminfo: memFree=1813688/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=17644 CPUtime=0.69 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 4262 0 0 0 67 2 0 0 25 0 1 0 146819278 18067456 4146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 4411 4146 137 317 0 4090 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17644 [startup+1.50135 s] /proc/loadavg: 0.75 0.95 0.97 2/78 27733 /proc/meminfo: memFree=1793648/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=23452 CPUtime=1.49 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 5706 0 0 0 147 2 0 0 25 0 1 0 146819278 24014848 5094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 5863 5094 139 317 0 5542 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23452 [startup+3.1015 s] /proc/loadavg: 0.75 0.95 0.97 2/78 27733 /proc/meminfo: memFree=1793520/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=23452 CPUtime=3.09 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 5706 0 0 0 307 2 0 0 25 0 1 0 146819278 24014848 5094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 5863 5094 139 317 0 5542 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23452 [startup+6.3018 s] /proc/loadavg: 0.77 0.95 0.97 2/78 27733 /proc/meminfo: memFree=1793392/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=23452 CPUtime=6.29 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 5709 0 0 0 627 2 0 0 25 0 1 0 146819278 24014848 5097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 5863 5097 139 317 0 5542 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23452 [startup+12.7014 s] /proc/loadavg: 0.79 0.95 0.97 2/78 27733 /proc/meminfo: memFree=1792816/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=24372 CPUtime=12.68 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 5945 0 0 0 1266 2 0 0 25 0 1 0 146819278 24956928 5333 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 6093 5333 139 317 0 5772 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24372 [startup+25.5016 s] /proc/loadavg: 0.83 0.95 0.97 2/78 27733 /proc/meminfo: memFree=1789744/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=27296 CPUtime=25.48 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 6656 0 0 0 2545 3 0 0 25 0 1 0 146819278 27951104 6044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 6824 6044 139 317 0 6503 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27296 [startup+51.102 s] /proc/loadavg: 0.89 0.95 0.97 2/78 27733 /proc/meminfo: memFree=1784944/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=32172 CPUtime=51.08 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 7867 0 0 0 5104 4 0 0 25 0 1 0 146819278 32944128 7255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 8043 7255 139 317 0 7722 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32172 [startup+102.306 s] /proc/loadavg: 0.95 0.96 0.97 2/78 27733 /proc/meminfo: memFree=1775472/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=41696 CPUtime=102.27 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 10215 0 0 0 10221 6 0 0 25 0 1 0 146819278 42696704 9603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 10424 9603 139 317 0 10103 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 41696 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.97 2/78 27733 /proc/meminfo: memFree=1766256/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=51368 CPUtime=162.24 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 12542 0 0 0 16217 7 0 0 25 0 1 0 146819278 52600832 11930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534233 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 12842 11930 139 317 0 12521 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 51368 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 27733 /proc/meminfo: memFree=1758576/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=58948 CPUtime=222.23 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 14408 0 0 0 22214 9 0 0 25 0 1 0 146819278 60362752 13796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 14737 13796 139 317 0 14416 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 58948 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 27733 /proc/meminfo: memFree=1753072/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=64432 CPUtime=282.22 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 15790 0 0 0 28211 11 0 0 25 0 1 0 146819278 65978368 15178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 16108 15178 139 317 0 15787 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 64432 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 27733 /proc/meminfo: memFree=1747568/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=70092 CPUtime=342.21 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 17139 0 0 0 34209 12 0 0 25 0 1 0 146819278 71774208 16527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 17523 16527 139 317 0 17202 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 70092 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 27733 /proc/meminfo: memFree=1742512/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=75076 CPUtime=402.19 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 18404 0 0 0 40206 13 0 0 25 0 1 0 146819278 76877824 17792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 18769 17792 139 317 0 18448 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 75076 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 27733 /proc/meminfo: memFree=1736944/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=81520 CPUtime=462.17 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 19787 0 0 0 46202 15 0 0 25 0 1 0 146819278 83476480 19175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 20380 19175 139 317 0 20059 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 81520 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 27733 /proc/meminfo: memFree=1732592/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=85748 CPUtime=522.16 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 20861 0 0 0 52200 16 0 0 25 0 1 0 146819278 87805952 20249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 21437 20249 139 317 0 21116 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 85748 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 27733 /proc/meminfo: memFree=1727856/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=90912 CPUtime=582.15 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 22020 0 0 0 58197 18 0 0 25 0 1 0 146819278 93093888 21408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712520 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 22728 21408 139 317 0 22407 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 90912 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 27733 /proc/meminfo: memFree=1723248/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=95688 CPUtime=642.14 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 23152 0 0 0 64195 19 0 0 25 0 1 0 146819278 97984512 22540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 23922 22540 139 317 0 23601 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 95688 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 27735 /proc/meminfo: memFree=1709040/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=109320 CPUtime=882.07 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 26686 0 0 0 88184 23 0 0 25 0 1 0 146819278 111943680 26074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 27330 26074 139 317 0 27009 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 109320 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 27735 /proc/meminfo: memFree=1705008/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=113872 CPUtime=942.05 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 27664 0 0 0 94181 24 0 0 25 0 1 0 146819278 116604928 27052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 28468 27052 139 317 0 28147 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 113872 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 27735 /proc/meminfo: memFree=1701872/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=116936 CPUtime=1002.04 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 28451 0 0 0 100179 25 0 0 25 0 1 0 146819278 119742464 27839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 29234 27839 139 317 0 28913 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 116936 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 27735 /proc/meminfo: memFree=1698800/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=120100 CPUtime=1062.03 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 29212 0 0 0 106177 26 0 0 25 0 1 0 146819278 122982400 28600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 30025 28600 139 317 0 29704 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 120100 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 27735 /proc/meminfo: memFree=1695408/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=124052 CPUtime=1122.01 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 30041 0 0 0 112174 27 0 0 25 0 1 0 146819278 127029248 29429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 31013 29429 139 317 0 30692 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 124052 [startup+1182.3 s] /proc/loadavg: 1.04 0.99 0.98 2/78 27735 /proc/meminfo: memFree=1691952/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=127508 CPUtime=1182 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 30900 0 0 0 118172 28 0 0 25 0 1 0 146819278 130568192 30288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 31877 30288 139 317 0 31556 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 127508 [startup+1242.3 s] /proc/loadavg: 1.01 0.99 0.98 2/78 27735 /proc/meminfo: memFree=1689328/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=130020 CPUtime=1241.98 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 31537 0 0 0 124169 29 0 0 25 0 1 0 146819278 133140480 30925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 32505 30925 139 317 0 32184 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 130020 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 27735 /proc/meminfo: memFree=1686128/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=133148 CPUtime=1301.97 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 32320 0 0 0 130167 30 0 0 25 0 1 0 146819278 136343552 31708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 33287 31708 139 317 0 32966 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 133148 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 27735 /proc/meminfo: memFree=1682800/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=136780 CPUtime=1361.95 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 33157 0 0 0 136164 31 0 0 25 0 1 0 146819278 140062720 32545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 34195 32545 139 317 0 33874 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 136780 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 27735 /proc/meminfo: memFree=1679472/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=141100 CPUtime=1421.94 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 34208 0 0 0 142162 32 0 0 25 0 1 0 146819278 144486400 33365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718306 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 35275 33365 139 317 0 34954 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 141100 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 27735 /proc/meminfo: memFree=1676144/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=144244 CPUtime=1481.93 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 35054 0 0 0 148160 33 0 0 25 0 1 0 146819278 147705856 34211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 36061 34211 139 317 0 35740 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 144244 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 27735 /proc/meminfo: memFree=1672752/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=147528 CPUtime=1541.91 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 35891 0 0 0 154157 34 0 0 25 0 1 0 146819278 151068672 35048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 36882 35048 139 317 0 36561 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 147528 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 27735 /proc/meminfo: memFree=1667120/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=154236 CPUtime=1601.9 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 37526 0 0 0 160154 36 0 0 25 0 1 0 146819278 157937664 36452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 38559 36452 139 317 0 38238 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 154236 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 27735 /proc/meminfo: memFree=1659120/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=161804 CPUtime=1661.88 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 39490 0 0 0 166151 37 0 0 25 0 1 0 146819278 165687296 38416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 40451 38416 139 317 0 40130 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 161804 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 27735 /proc/meminfo: memFree=1650800/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=170276 CPUtime=1721.86 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 41556 0 0 0 172148 38 0 0 25 0 1 0 146819278 174362624 40482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 42569 40482 139 317 0 42248 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 170276 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 27735 /proc/meminfo: memFree=1642480/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=178588 CPUtime=1781.85 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 43624 0 0 0 178145 40 0 0 25 0 1 0 146819278 182874112 42550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718306 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 44647 42550 139 317 0 44326 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 178588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.98 2/78 27735 /proc/meminfo: memFree=1639664/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=181364 CPUtime=1800.04 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 44309 0 0 0 179964 40 0 0 25 0 1 0 146819278 185716736 43235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 45341 43235 139 317 0 45020 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 181364 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.98 2/78 27735 /proc/meminfo: memFree=1639664/2055920 swapFree=4170240/4192956 [pid=27732] ppid=27730 vsize=181364 CPUtime=1800.04 /proc/27732/stat : 27732 (oree) R 27730 27732 27675 0 -1 4194304 44309 0 0 0 179964 40 0 0 25 0 1 0 146819278 185716736 43235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27732/statm: 45341 43235 139 317 0 45020 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 181364 Child status: 0 Real time (s): 1800.6 CPU time (s): 1800.16 CPU user time (s): 1799.71 CPU system time (s): 0.441932 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 181364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.71 system time used= 0.441932 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44325 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= 7 involuntary context switches= 37213 runsolver used 2.11968 second user time and 4.46332 second system time The end
Begin job on node26 on Thu Apr 19 13:23:45 UTC 2007 IDJOB= 357153 IDBENCH= 2173 IDSOLVER= 172 FILE ID= node26/357153-1176989025 PBS_JOBID= 4630461 Free space on /tmp= 66434 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.18.opb COMMAND LINE= oree /tmp/evaluation/357153-1176989025/instance-357153-1176989025.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-357153-1176989025 -o ROOT/results/node26/solver-357153-1176989025 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357153-1176989025/instance-357153-1176989025.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 18a894a2ba4f3cf6bad1b497c8fca8eb RANDOM SEED= 189975004 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1814160 kB Buffers: 29392 kB Cached: 125852 kB SwapCached: 3128 kB Active: 80656 kB Inactive: 97200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1814160 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 3300 kB Writeback: 0 kB Mapped: 30172 kB Slab: 49480 kB Committed_AS: 1028820 kB PageTables: 1716 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= 66434 MiB End job on node26 on Thu Apr 19 13:53:47 UTC 2007