Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.19 | 1800.69 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-standgub.opb |
MD5SUM | be7d2de9880253117af16fa9444a1c79 |
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 | 33244 |
Total number of constraints | 456 |
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 | 456 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 22350 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 86232 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 524437 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 542229 |
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.29/0.31 c ...done 0.29/0.31 c #vars=33244 #constraints=618 hasObjective=yes 0.29/0.38 c res. mode=mod 0.29/0.38 c VSIDS like heuristics 0.29/0.38 c complete search running 1.10/1.13 c restart after 401 decisions 1.29/1.33 c nbDecision=500 #constraints=1074 1.79/1.83 c restart after 801 decisions 2.19/2.23 c nbDecision=1000 #constraints=1539 2.79/2.89 c nbDecision=1500 #constraints=2028 2.99/3.03 c restart after 1601 decisions 3.59/3.65 c nbDecision=2000 #constraints=2486 4.39/4.43 c nbDecision=2500 #constraints=2978 4.99/5.09 c nbDecision=3000 #constraints=3447 5.28/5.35 c restart after 3201 decisions 5.98/6.10 c nbDecision=3500 #constraints=3928 6.79/6.84 c nbDecision=4000 #constraints=4402 7.69/7.72 c nbDecision=4500 #constraints=4890 8.79/8.87 c nbDecision=5000 #constraints=5367 9.69/9.75 c nbDecision=5500 #constraints=5817 10.69/10.77 c nbDecision=6000 #constraints=6278 11.89/11.94 c restart after 6401 decisions 12.19/12.27 c nbDecision=6500 #constraints=6725 13.19/13.22 c nbDecision=7000 #constraints=7177 13.98/14.06 c nbDecision=7500 #constraints=7630 15.18/15.21 c nbDecision=8000 #constraints=8076 16.18/16.26 c nbDecision=8500 #constraints=8544 17.59/17.66 c nbDecision=9000 #constraints=8996 19.09/19.12 c nbDecision=9500 #constraints=9421 20.39/20.49 c nbDecision=10000 #constraints=9850 22.19/22.23 c nbDecision=10500 #constraints=10305 23.39/23.46 c nbDecision=11000 #constraints=10712 24.79/24.81 c nbDecision=11500 #constraints=11167 26.68/26.77 c nbDecision=12000 #constraints=11579 28.08/28.16 c nbDecision=12500 #constraints=12010 29.18/29.20 c restart after 12801 decisions 30.08/30.12 c nbDecision=13000 #constraints=12442 31.88/31.95 c nbDecision=13500 #constraints=12866 33.48/33.53 c nbDecision=14000 #constraints=13310 35.38/35.42 c nbDecision=14500 #constraints=13721 36.68/36.73 c nbDecision=15000 #constraints=14195 38.39/38.50 c nbDecision=15500 #constraints=14609 40.59/40.61 c nbDecision=16000 #constraints=15015 42.88/42.94 c nbDecision=16500 #constraints=15459 44.58/44.69 c nbDecision=17000 #constraints=15855 46.68/46.71 c nbDecision=17500 #constraints=16262 48.48/48.54 c nbDecision=18000 #constraints=16660 50.38/50.44 c nbDecision=18500 #constraints=17098 51.77/51.88 c nbDecision=19000 #constraints=17501 53.97/54.06 c nbDecision=19500 #constraints=17945 55.67/55.75 c nbDecision=20000 #constraints=18403 58.18/58.25 c nbDecision=20500 #constraints=18838 60.08/60.12 c nbDecision=21000 #constraints=19249 62.27/62.30 c nbDecision=21500 #constraints=19669 65.27/65.30 c nbDecision=22000 #constraints=20047 68.07/68.17 c nbDecision=22500 #constraints=20423 69.87/69.93 c nbDecision=23000 #constraints=20874 72.27/72.38 c nbDecision=23500 #constraints=21284 74.37/74.49 c nbDecision=24000 #constraints=21691 76.17/76.23 c nbDecision=24500 #constraints=22139 78.77/78.87 c nbDecision=25000 #constraints=22521 81.17/81.27 c nbDecision=25500 #constraints=22950 81.97/82.00 c restart after 25601 decisions 85.07/85.14 c nbDecision=26000 #constraints=23349 87.87/87.98 c nbDecision=26500 #constraints=23815 90.96/91.06 c nbDecision=27000 #constraints=24251 94.16/94.21 c nbDecision=27500 #constraints=24613 96.67/96.71 c nbDecision=28000 #constraints=24990 99.46/99.58 c nbDecision=28500 #constraints=25324 104.46/104.54 c nbDecision=29000 #constraints=25540 107.56/107.62 c nbDecision=29500 #constraints=25939 109.66/109.75 c nbDecision=30000 #constraints=26387 112.96/113.07 c nbDecision=30500 #constraints=26666 116.26/116.34 c nbDecision=31000 #constraints=27062 120.26/120.38 c nbDecision=31500 #constraints=27485 125.26/125.32 c nbDecision=32000 #constraints=27828 129.05/129.11 c nbDecision=32500 #constraints=28155 133.85/133.93 c nbDecision=33000 #constraints=28499 136.95/137.05 c nbDecision=33500 #constraints=28879 141.56/141.61 c nbDecision=34000 #constraints=29225 146.05/146.16 c nbDecision=34500 #constraints=29423 148.95/149.00 c nbDecision=35000 #constraints=29822 152.85/152.96 c nbDecision=35500 #constraints=30254 156.85/156.95 c nbDecision=36000 #constraints=30640 159.35/159.41 c nbDecision=36500 #constraints=31084 162.84/162.93 c nbDecision=37000 #constraints=31415 167.94/168.01 c nbDecision=37500 #constraints=31689 171.04/171.11 c nbDecision=38000 #constraints=32082 174.34/174.46 c nbDecision=38500 #constraints=32464 177.05/177.18 c nbDecision=39000 #constraints=32880 180.94/181.04 c nbDecision=39500 #constraints=33245 186.14/186.29 c nbDecision=40000 #constraints=33555 190.84/190.95 c nbDecision=40500 #constraints=33954 195.84/195.98 c nbDecision=41000 #constraints=34308 200.83/201.00 c nbDecision=41500 #constraints=34645 204.13/204.22 c nbDecision=42000 #constraints=35110 208.03/208.13 c nbDecision=42500 #constraints=35554 212.43/212.51 c nbDecision=43000 #constraints=35959 216.43/216.51 c nbDecision=43500 #constraints=36340 223.13/223.29 c nbDecision=44000 #constraints=36587 229.03/229.17 c nbDecision=44500 #constraints=36929 233.22/233.37 c nbDecision=45000 #constraints=37309 235.92/236.05 c nbDecision=45500 #constraints=37746 236.82/236.92 c nbDecision=46000 #constraints=38230 237.52/237.67 c nbDecision=46500 #constraints=38706 238.43/238.52 c nbDecision=47000 #constraints=39179 239.32/239.41 c nbDecision=47500 #constraints=39668 240.22/240.31 c nbDecision=48000 #constraints=40141 241.12/241.25 c nbDecision=48500 #constraints=40620 242.22/242.32 c nbDecision=49000 #constraints=41101 243.12/243.25 c nbDecision=49500 #constraints=41570 244.23/244.35 c nbDecision=50000 #constraints=42020 245.33/245.47 c nbDecision=50500 #constraints=42478 246.23/246.36 c nbDecision=51000 #constraints=42959 246.72/246.81 c restart after 51201 decisions 250.32/250.44 c nbDecision=51500 #constraints=43426 256.72/256.86 c nbDecision=52000 #constraints=43793 261.32/261.40 c nbDecision=52500 #constraints=44259 265.42/265.57 c nbDecision=53000 #constraints=44652 270.12/270.23 c nbDecision=53500 #constraints=45065 275.31/275.43 c nbDecision=54000 #constraints=45464 281.41/281.53 c nbDecision=54500 #constraints=45807 286.02/286.16 c nbDecision=55000 #constraints=46225 291.81/291.90 c nbDecision=55500 #constraints=46524 297.21/297.38 c nbDecision=56000 #constraints=46901 302.81/302.96 c nbDecision=56500 #constraints=47236 308.41/308.51 c nbDecision=57000 #constraints=47594 312.21/312.39 c nbDecision=57500 #constraints=48011 322.00/322.19 c nbDecision=58000 #constraints=48038 330.00/330.12 c nbDecision=58500 #constraints=48393 337.70/337.84 c nbDecision=59000 #constraints=48692 345.20/345.39 c nbDecision=59500 #constraints=48889 353.69/353.88 c nbDecision=60000 #constraints=49107 361.19/361.38 c nbDecision=60500 #constraints=49336 363.19/363.36 c nbDecision=61000 #constraints=49798 364.39/364.59 c nbDecision=61500 #constraints=50254 365.69/365.85 c nbDecision=62000 #constraints=50719 366.89/367.09 c nbDecision=62500 #constraints=51175 368.09/368.29 c nbDecision=63000 #constraints=51627 369.40/369.51 c nbDecision=63500 #constraints=52077 370.59/370.73 c nbDecision=64000 #constraints=52525 371.99/372.12 c nbDecision=64500 #constraints=52946 373.39/373.51 c nbDecision=65000 #constraints=53408 374.69/374.86 c nbDecision=65500 #constraints=53828 376.29/376.48 c nbDecision=66000 #constraints=54265 377.99/378.12 c nbDecision=66500 #constraints=54710 379.29/379.49 c nbDecision=67000 #constraints=55172 380.69/380.83 c nbDecision=67500 #constraints=55648 382.69/382.83 c nbDecision=68000 #constraints=55986 384.08/384.27 c nbDecision=68500 #constraints=56406 385.58/385.70 c nbDecision=69000 #constraints=56848 387.58/387.76 c nbDecision=69500 #constraints=57256 390.18/390.33 c nbDecision=70000 #constraints=57615 392.48/392.61 c nbDecision=70500 #constraints=58068 394.28/394.49 c nbDecision=71000 #constraints=58504 396.08/396.26 c nbDecision=71500 #constraints=58957 397.89/398.08 c nbDecision=72000 #constraints=59422 400.08/400.29 c nbDecision=72500 #constraints=59868 402.28/402.42 c nbDecision=73000 #constraints=60266 404.78/404.93 c nbDecision=73500 #constraints=60652 406.58/406.79 c nbDecision=74000 #constraints=61074 408.38/408.50 c nbDecision=74500 #constraints=61526 410.37/410.52 c nbDecision=75000 #constraints=61935 411.97/412.11 c nbDecision=75500 #constraints=62398 413.88/414.02 c nbDecision=76000 #constraints=62835 416.88/417.02 c nbDecision=76500 #constraints=63237 419.27/419.45 c nbDecision=77000 #constraints=63689 421.97/422.14 c nbDecision=77500 #constraints=64025 424.57/424.71 c nbDecision=78000 #constraints=64463 427.27/427.41 c nbDecision=78500 #constraints=64895 429.28/429.49 c nbDecision=79000 #constraints=65271 431.47/431.61 c nbDecision=79500 #constraints=65691 434.47/434.61 c nbDecision=80000 #constraints=66130 437.67/437.88 c nbDecision=80500 #constraints=66467 441.07/441.29 c nbDecision=81000 #constraints=66850 443.87/444.03 c nbDecision=81500 #constraints=67271 445.96/446.17 c nbDecision=82000 #constraints=67675 449.97/450.11 c nbDecision=82500 #constraints=67998 453.27/453.46 c nbDecision=83000 #constraints=68374 456.57/456.76 c nbDecision=83500 #constraints=68768 458.87/459.05 c nbDecision=84000 #constraints=69197 462.97/463.12 c nbDecision=84500 #constraints=69602 466.96/467.13 c nbDecision=85000 #constraints=69948 469.57/469.78 c nbDecision=85500 #constraints=70372 472.66/472.82 c nbDecision=86000 #constraints=70752 476.26/476.47 c nbDecision=86500 #constraints=71133 479.56/479.71 c nbDecision=87000 #constraints=71526 483.15/483.36 c nbDecision=87500 #constraints=71943 486.26/486.40 c nbDecision=88000 #constraints=72396 489.36/489.58 c nbDecision=88500 #constraints=72794 492.66/492.83 c nbDecision=89000 #constraints=73179 496.66/496.83 c nbDecision=89500 #constraints=73554 502.15/502.35 c nbDecision=90000 #constraints=73833 504.76/504.96 c nbDecision=90500 #constraints=74258 508.35/508.50 c nbDecision=91000 #constraints=74693 510.55/510.75 c nbDecision=91500 #constraints=75122 511.55/511.72 c nbDecision=92000 #constraints=75591 512.46/512.69 c nbDecision=92500 #constraints=76082 513.65/513.87 c nbDecision=93000 #constraints=76582 514.95/515.17 c nbDecision=93500 #constraints=77082 516.35/516.59 c nbDecision=94000 #constraints=77582 518.05/518.20 c nbDecision=94500 #constraints=78082 519.75/519.94 c nbDecision=95000 #constraints=78580 521.55/521.72 c nbDecision=95500 #constraints=79080 523.45/523.61 c nbDecision=96000 #constraints=79580 525.45/525.64 c nbDecision=96500 #constraints=80081 527.65/527.86 c nbDecision=97000 #constraints=80582 530.05/530.21 c nbDecision=97500 #constraints=81080 532.44/532.62 c nbDecision=98000 #constraints=81580 535.05/535.21 c nbDecision=98500 #constraints=82080 537.75/537.95 c nbDecision=99000 #constraints=82580 540.64/540.89 c nbDecision=99500 #constraints=83080 543.74/543.96 c nbDecision=100000 #constraints=83580 546.94/547.11 c nbDecision=100500 #constraints=84079 550.24/550.44 c nbDecision=101000 #constraints=84579 553.74/553.94 c nbDecision=101500 #constraints=85079 557.44/557.62 c nbDecision=102000 #constraints=85579 560.54/560.76 c restart after 102401 decisions 562.74/562.92 c nbDecision=102500 #constraints=86061 570.74/570.92 c nbDecision=103000 #constraints=86503 582.33/582.59 c nbDecision=103500 #constraints=86849 589.33/589.51 c nbDecision=104000 #constraints=87188 595.32/595.54 c nbDecision=104500 #constraints=87541 602.13/602.37 c nbDecision=105000 #constraints=87806 608.93/609.19 c nbDecision=105500 #constraints=88187 615.33/615.60 c nbDecision=106000 #constraints=88573 621.43/621.63 c nbDecision=106500 #constraints=89019 627.12/627.34 c nbDecision=107000 #constraints=89417 632.62/632.85 c nbDecision=107500 #constraints=89742 637.22/637.40 c nbDecision=108000 #constraints=90114 644.81/645.05 c nbDecision=108500 #constraints=90416 651.31/651.54 c nbDecision=109000 #constraints=90788 657.61/657.83 c nbDecision=109500 #constraints=91069 663.20/663.49 c nbDecision=110000 #constraints=91455 668.70/668.92 c nbDecision=110500 #constraints=91850 673.21/673.49 c nbDecision=111000 #constraints=92328 680.01/680.27 c nbDecision=111500 #constraints=92666 685.61/685.82 c nbDecision=112000 #constraints=93128 692.81/693.09 c nbDecision=112500 #constraints=93446 697.90/698.16 c nbDecision=113000 #constraints=93872 704.60/704.84 c nbDecision=113500 #constraints=94199 709.70/709.93 c nbDecision=114000 #constraints=94534 716.10/716.32 c nbDecision=114500 #constraints=94869 723.29/723.54 c nbDecision=115000 #constraints=95206 731.09/731.40 c nbDecision=115500 #constraints=95502 738.29/738.54 c nbDecision=116000 #constraints=95792 743.88/744.16 c nbDecision=116500 #constraints=96172 750.58/750.83 c nbDecision=117000 #constraints=96562 758.69/758.92 c nbDecision=117500 #constraints=96913 765.38/765.61 c nbDecision=118000 #constraints=97316 773.97/774.21 c nbDecision=118500 #constraints=97643 781.78/782.10 c nbDecision=119000 #constraints=97997 788.48/788.74 c nbDecision=119500 #constraints=98395 796.37/796.69 c nbDecision=120000 #constraints=98762 802.97/803.29 c nbDecision=120500 #constraints=99175 810.57/810.86 c nbDecision=121000 #constraints=99498 819.17/819.41 c nbDecision=121500 #constraints=99815 828.26/828.54 c nbDecision=122000 #constraints=100071 837.86/838.16 c nbDecision=122500 #constraints=100298 840.36/840.62 c nbDecision=123000 #constraints=100784 842.66/842.99 c nbDecision=123500 #constraints=101254 846.67/846.90 c nbDecision=124000 #constraints=101753 850.66/850.96 c nbDecision=124500 #constraints=102251 854.86/855.17 c nbDecision=125000 #constraints=102750 859.25/859.55 c nbDecision=125500 #constraints=103250 863.86/864.12 c nbDecision=126000 #constraints=103750 868.55/868.82 c nbDecision=126500 #constraints=104250 873.55/873.81 c nbDecision=127000 #constraints=104750 878.65/878.91 c nbDecision=127500 #constraints=105250 883.75/884.07 c nbDecision=128000 #constraints=105747 889.04/889.31 c nbDecision=128500 #constraints=106247 894.34/894.64 c nbDecision=129000 #constraints=106747 899.94/900.24 c nbDecision=129500 #constraints=107247 905.74/906.02 c nbDecision=130000 #constraints=107747 911.74/912.04 c nbDecision=130500 #constraints=108247 917.84/918.16 c nbDecision=131000 #constraints=108747 924.04/924.39 c nbDecision=131500 #constraints=109246 930.34/930.64 c nbDecision=132000 #constraints=109745 936.73/937.07 c nbDecision=132500 #constraints=110245 943.33/943.70 c nbDecision=133000 #constraints=110745 950.22/950.53 c nbDecision=133500 #constraints=111245 957.32/957.65 c nbDecision=134000 #constraints=111745 964.33/964.62 c nbDecision=134500 #constraints=112245 971.32/971.68 c nbDecision=135000 #constraints=112743 978.82/979.14 c nbDecision=135500 #constraints=113243 986.42/986.71 c nbDecision=136000 #constraints=113743 994.12/994.45 c nbDecision=136500 #constraints=114243 1002.32/1002.61 c nbDecision=137000 #constraints=114744 1010.01/1010.34 c nbDecision=137500 #constraints=115243 1018.11/1018.49 c nbDecision=138000 #constraints=115742 1026.41/1026.76 c nbDecision=138500 #constraints=116242 1034.90/1035.21 c nbDecision=139000 #constraints=116742 1043.60/1044.00 c nbDecision=139500 #constraints=117242 1052.31/1052.67 c nbDecision=140000 #constraints=117743 1061.10/1061.45 c nbDecision=140500 #constraints=118241 1070.09/1070.49 c nbDecision=141000 #constraints=118741 1079.50/1079.86 c nbDecision=141500 #constraints=119242 1089.09/1089.40 c nbDecision=142000 #constraints=119742 1098.68/1099.06 c nbDecision=142500 #constraints=120241 1108.19/1108.50 c nbDecision=143000 #constraints=120742 1118.19/1118.52 c nbDecision=143500 #constraints=121241 1128.08/1128.47 c nbDecision=144000 #constraints=121741 1138.37/1138.75 c nbDecision=144500 #constraints=122241 1148.58/1148.94 c nbDecision=145000 #constraints=122741 1158.98/1159.39 c nbDecision=145500 #constraints=123241 1169.67/1170.08 c nbDecision=146000 #constraints=123741 1180.87/1181.25 c nbDecision=146500 #constraints=124241 1191.47/1191.85 c nbDecision=147000 #constraints=124741 1202.66/1203.06 c nbDecision=147500 #constraints=125241 1214.06/1214.46 c nbDecision=148000 #constraints=125741 1225.85/1226.28 c nbDecision=148500 #constraints=126241 1237.25/1237.65 c nbDecision=149000 #constraints=126741 1249.25/1249.61 c nbDecision=149500 #constraints=127241 1261.55/1261.93 c nbDecision=150000 #constraints=127742 1273.44/1273.87 c nbDecision=150500 #constraints=128241 1285.83/1286.28 c nbDecision=151000 #constraints=128741 1298.64/1299.04 c nbDecision=151500 #constraints=129241 1311.33/1311.71 c nbDecision=152000 #constraints=129741 1324.53/1324.95 c nbDecision=152500 #constraints=130241 1337.72/1338.16 c nbDecision=153000 #constraints=130741 1351.22/1351.65 c nbDecision=153500 #constraints=131241 1364.72/1365.14 c nbDecision=154000 #constraints=131741 1378.71/1379.16 c nbDecision=154500 #constraints=132241 1393.01/1393.42 c nbDecision=155000 #constraints=132741 1407.00/1407.40 c nbDecision=155500 #constraints=133241 1421.20/1421.68 c nbDecision=156000 #constraints=133742 1436.00/1436.47 c nbDecision=156500 #constraints=134241 1450.69/1451.16 c nbDecision=157000 #constraints=134742 1464.89/1465.35 c nbDecision=157500 #constraints=135241 1478.78/1479.22 c nbDecision=158000 #constraints=135741 1492.18/1492.66 c nbDecision=158500 #constraints=136240 1507.68/1508.12 c nbDecision=159000 #constraints=136740 1523.37/1523.83 c nbDecision=159500 #constraints=137240 1539.36/1539.82 c nbDecision=160000 #constraints=137740 1555.56/1556.02 c nbDecision=160500 #constraints=138240 1571.85/1572.34 c nbDecision=161000 #constraints=138740 1588.86/1589.32 c nbDecision=161500 #constraints=139241 1605.05/1605.52 c nbDecision=162000 #constraints=139739 1621.64/1622.10 c nbDecision=162500 #constraints=140238 1638.54/1639.03 c nbDecision=163000 #constraints=140737 1655.43/1655.96 c nbDecision=163500 #constraints=141237 1672.72/1673.27 c nbDecision=164000 #constraints=141737 1690.33/1690.89 c nbDecision=164500 #constraints=142237 1708.42/1708.91 c nbDecision=165000 #constraints=142737 1725.71/1726.28 c nbDecision=165500 #constraints=143236 1743.61/1744.18 c nbDecision=166000 #constraints=143736 1761.40/1761.90 c nbDecision=166500 #constraints=144236 1779.40/1779.93 c nbDecision=167000 #constraints=144736 1798.00/1798.51 c nbDecision=167500 #constraints=145237 1800.10/1800.60 Received signal 15 1800.10/1800.61 1800.10/1800.61 s UNKNOWN 1800.10/1800.61 1800.10/1800.61 c user time= 1799.61 s 1800.10/1800.61 c system time= 0.505923 s 1800.10/1800.61 c wall clock time=1800.61
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-356942-1176848936 -o ROOT/results/node55/solver-356942-1176848936 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356942-1176848936/instance-356942-1176848936.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/64 24561 /proc/meminfo: memFree=1803068/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=1468 CPUtime=0 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 132803693 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 367 160 131 317 0 46 0 [startup+0.0854969 s] /proc/loadavg: 0.92 0.98 0.99 2/64 24561 /proc/meminfo: memFree=1803068/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=3144 CPUtime=0.08 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 608 0 0 0 8 0 0 0 18 0 1 0 132803693 3219456 590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 786 590 131 317 0 465 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3144 [startup+0.101498 s] /proc/loadavg: 0.92 0.98 0.99 2/64 24561 /proc/meminfo: memFree=1803068/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=3544 CPUtime=0.09 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 699 0 0 0 9 0 0 0 18 0 1 0 132803693 3629056 681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 886 681 131 317 0 565 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3544 [startup+0.301517 s] /proc/loadavg: 0.92 0.98 0.99 2/64 24561 /proc/meminfo: memFree=1803068/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=7628 CPUtime=0.29 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 1791 0 0 0 29 0 0 0 19 0 1 0 132803693 7811072 1577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 1907 1577 131 317 0 1586 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7628 [startup+0.701555 s] /proc/loadavg: 0.92 0.98 0.99 2/64 24561 /proc/meminfo: memFree=1803068/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=12000 CPUtime=0.69 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 2904 0 0 0 68 1 0 0 24 0 1 0 132803693 12288000 2690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715600 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 3000 2690 139 317 0 2679 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12000 [startup+1.50163 s] /proc/loadavg: 0.92 0.98 0.99 2/65 24562 /proc/meminfo: memFree=1792820/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=12448 CPUtime=1.49 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 2994 0 0 0 148 1 0 0 25 0 1 0 132803693 12746752 2780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 3112 2780 139 317 0 2791 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12448 [startup+3.10178 s] /proc/loadavg: 0.92 0.98 0.99 2/65 24562 /proc/meminfo: memFree=1792244/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=13104 CPUtime=3.09 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 3177 0 0 0 308 1 0 0 25 0 1 0 132803693 13418496 2963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606716 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 3276 2963 139 317 0 2955 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13104 [startup+6.30109 s] /proc/loadavg: 0.93 0.98 0.99 2/65 24562 /proc/meminfo: memFree=1790068/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=14928 CPUtime=6.29 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 3628 0 0 0 627 2 0 0 25 0 1 0 132803693 15286272 3414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 3732 3414 139 317 0 3411 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14928 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/65 24562 /proc/meminfo: memFree=1787380/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=17532 CPUtime=12.69 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 4272 0 0 0 1267 2 0 0 25 0 1 0 132803693 17952768 4058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 4383 4058 139 317 0 4062 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17532 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/65 24562 /proc/meminfo: memFree=1782132/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=23136 CPUtime=25.49 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 5601 0 0 0 2546 3 0 0 25 0 1 0 132803693 23691264 5330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 5784 5330 139 317 0 5463 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23136 [startup+51.1013 s] /proc/loadavg: 1.04 1.00 1.00 2/65 24562 /proc/meminfo: memFree=1775924/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=29884 CPUtime=51.07 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 7298 0 0 0 5103 4 0 0 25 0 1 0 132803693 30601216 6913 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 7471 6913 139 317 0 7150 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29884 [startup+102.305 s] /proc/loadavg: 1.09 1.02 1.01 2/65 24562 /proc/meminfo: memFree=1766836/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=38968 CPUtime=102.26 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 9529 0 0 0 10220 6 0 0 25 0 1 0 132803693 39903232 9144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 9742 9144 139 317 0 9421 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 38968 [startup+162.302 s] /proc/loadavg: 1.11 1.03 1.00 2/65 24562 /proc/meminfo: memFree=1760372/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=45660 CPUtime=162.24 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 11135 0 0 0 16216 8 0 0 25 0 1 0 132803693 46755840 10750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 11415 10750 139 317 0 11094 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 45660 [startup+222.302 s] /proc/loadavg: 1.16 1.05 1.01 2/65 24562 /proc/meminfo: memFree=1754036/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=52972 CPUtime=222.23 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 12965 0 0 0 22213 10 0 0 25 0 1 0 132803693 54243328 12321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 13243 12321 139 317 0 12922 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 52972 [startup+282.301 s] /proc/loadavg: 1.06 1.04 1.00 2/65 24562 /proc/meminfo: memFree=1744948/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=61564 CPUtime=282.21 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 15228 0 0 0 28209 12 0 0 25 0 1 0 132803693 63041536 14584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 15391 14584 139 317 0 15070 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 61564 [startup+342.302 s] /proc/loadavg: 1.02 1.03 1.00 2/65 24562 /proc/meminfo: memFree=1741620/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=64744 CPUtime=342.19 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 16077 0 0 0 34206 13 0 0 25 0 1 0 132803693 66297856 15433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 16186 15433 139 317 0 15865 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 64744 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/65 24562 /proc/meminfo: memFree=1729588/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=76796 CPUtime=402.18 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 19081 0 0 0 40203 15 0 0 25 0 1 0 132803693 78639104 18437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 19199 18437 139 317 0 18878 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 76796 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 24562 /proc/meminfo: memFree=1718004/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=90452 CPUtime=462.17 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 22476 0 0 0 46199 18 0 0 25 0 1 0 132803693 92622848 21316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 22613 21316 139 317 0 22292 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 90452 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 24562 /proc/meminfo: memFree=1699380/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=109552 CPUtime=522.15 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 27297 0 0 0 52193 22 0 0 25 0 1 0 132803693 112181248 26137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 27388 26137 139 317 0 27067 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 109552 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 24562 /proc/meminfo: memFree=1673972/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=136816 CPUtime=582.13 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 33723 0 0 0 58189 24 0 0 25 0 1 0 132803693 140099584 32299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 34204 32299 139 317 0 33883 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 136816 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1670580/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=140008 CPUtime=642.12 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 34561 0 0 0 64187 25 0 0 25 0 1 0 132803693 143368192 33137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 35002 33137 139 317 0 34681 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 140008 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1660148/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=151616 CPUtime=822.06 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 37428 0 0 0 82179 27 0 0 25 0 1 0 132803693 155254784 35740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 37904 35740 139 317 0 37583 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 151616 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1644788/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=165804 CPUtime=882.05 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 41272 0 0 0 88176 29 0 0 25 0 1 0 132803693 169783296 39584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 41451 39584 139 317 0 41130 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 165804 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1626164/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=187620 CPUtime=942.03 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 46322 0 0 0 94172 31 0 0 25 0 1 0 132803693 192122880 44271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 46905 44271 139 317 0 46584 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 187620 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1612660/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=199720 CPUtime=1002.02 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 49664 0 0 0 100169 33 0 0 25 0 1 0 132803693 204513280 47613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604197 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 49930 47613 139 317 0 49609 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 199720 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1601076/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=211128 CPUtime=1062 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 52807 0 0 0 106166 34 0 0 25 0 1 0 132803693 216195072 50525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 52782 50525 139 317 0 52461 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 211128 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1590836/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=220184 CPUtime=1121.99 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 55319 0 0 0 112163 36 0 0 25 0 1 0 132803693 225468416 53037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 55046 53037 139 317 0 54725 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 220184 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1581364/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=232716 CPUtime=1181.97 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 58609 0 0 0 118159 38 0 0 25 0 1 0 132803693 238301184 55417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 58179 55417 139 317 0 57858 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 232716 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1566260/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=251816 CPUtime=1241.95 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 62345 0 0 0 124156 39 0 0 25 0 1 0 132803693 257859584 59153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 62954 59153 139 317 0 62633 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 251816 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1557172/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=260280 CPUtime=1301.94 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 64602 0 0 0 130153 41 0 0 25 0 1 0 132803693 266526720 61410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 65070 61410 139 317 0 64749 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 260280 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1548340/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=269612 CPUtime=1361.92 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 67140 0 0 0 136150 42 0 0 25 0 1 0 132803693 276082688 63624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 67403 63624 139 317 0 67082 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 269612 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1538996/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=281616 CPUtime=1421.9 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 70429 0 0 0 142146 44 0 0 25 0 1 0 132803693 288374784 65947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 70404 65947 139 317 0 70083 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 281616 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1528244/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=292264 CPUtime=1481.88 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 73396 0 0 0 148142 46 0 0 25 0 1 0 132803693 299278336 68654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 73066 68654 139 317 0 72745 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 292264 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1521588/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=298240 CPUtime=1541.86 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 75014 0 0 0 154139 47 0 0 25 0 1 0 132803693 305397760 70272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 74560 70272 139 317 0 74239 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 298240 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1515188/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=303896 CPUtime=1601.85 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 76642 0 0 0 160137 48 0 0 25 0 1 0 132803693 311189504 71900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 75974 71900 139 317 0 75653 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 303896 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1509940/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=308640 CPUtime=1661.82 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 77923 0 0 0 166134 48 0 0 25 0 1 0 132803693 316047360 73181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 77160 73181 139 317 0 76839 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 308640 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1503604/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=314024 CPUtime=1721.81 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 79522 0 0 0 172132 49 0 0 25 0 1 0 132803693 321560576 74780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 78506 74780 139 317 0 78185 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 314024 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1498932/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=318092 CPUtime=1781.8 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 80660 0 0 0 178130 50 0 0 25 0 1 0 132803693 325726208 75918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 79523 75918 139 317 0 79202 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 318092 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 24564 /proc/meminfo: memFree=1497332/2055920 swapFree=4184496/4192956 [pid=24561] ppid=24559 vsize=319536 CPUtime=1800.1 /proc/24561/stat : 24561 (oree) R 24559 24561 24218 0 -1 4194304 81052 0 0 0 179960 50 0 0 25 0 1 0 132803693 327204864 76310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24561/statm: 79884 76310 139 317 0 79563 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 319536 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.19 CPU user time (s): 1799.63 CPU system time (s): 0.558915 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (KiB): 319536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.63 system time used= 0.558915 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81068 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= 3132 runsolver used 1.27281 second user time and 3.68144 second system time The end
Begin job on node55 on Tue Apr 17 22:28:57 UTC 2007 IDJOB= 356942 IDBENCH= 1666 IDSOLVER= 172 FILE ID= node55/356942-1176848936 PBS_JOBID= 4590184 Free space on /tmp= 66451 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-standgub.opb COMMAND LINE= oree /tmp/evaluation/356942-1176848936/instance-356942-1176848936.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-356942-1176848936 -o ROOT/results/node55/solver-356942-1176848936 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356942-1176848936/instance-356942-1176848936.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= be7d2de9880253117af16fa9444a1c79 RANDOM SEED= 992451797 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1803604 kB Buffers: 15560 kB Cached: 171300 kB SwapCached: 2180 kB Active: 35852 kB Inactive: 161408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1803604 kB SwapTotal: 4192956 kB SwapFree: 4184496 kB Dirty: 2272 kB Writeback: 0 kB Mapped: 16948 kB Slab: 41152 kB Committed_AS: 1046064 kB PageTables: 1384 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= 66451 MiB End job on node55 on Tue Apr 17 22:58:59 UTC 2007