Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.12 | 1800.65 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ar98.opb |
MD5SUM | 523aad2a62a776290fed26e3ef5d80ef |
Bench Category | OPT-BIGINT (optimisation, big 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 | 20024 |
Total number of constraints | 1258 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 912 |
Number of constraints which are nor clauses,nor cardinality constraints | 345 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 15837 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 83886080000000 |
Number of bits of the biggest number in a constraint | 47 |
Biggest sum of numbers in a constraint | 572975239517507 |
Number of bits of the biggest sum of numbers | 50 |
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.89/0.90 c ...done 0.89/0.90 c #vars=20024 #constraints=1474 hasObjective=yes 0.99/1.00 c res. mode=mod 0.99/1.00 c VSIDS like heuristics 0.99/1.00 c complete search running 16.69/16.75 c restart after 401 decisions 19.99/20.06 c nbDecision=500 #constraints=1595 26.99/27.01 c restart after 801 decisions 31.59/31.63 c nbDecision=1000 #constraints=1685 39.18/39.24 c nbDecision=1500 #constraints=1767 39.59/39.61 c restart after 1601 decisions 50.38/50.45 c nbDecision=2000 #constraints=1847 54.18/54.27 c nbDecision=2500 #constraints=1903 58.58/58.69 c nbDecision=3000 #constraints=1946 59.58/59.67 c restart after 3201 decisions 67.58/67.60 c nbDecision=3500 #constraints=2007 72.27/72.31 c nbDecision=4000 #constraints=2071 75.88/75.96 c nbDecision=4500 #constraints=2105 80.18/80.22 c nbDecision=5000 #constraints=2138 82.57/82.61 c nbDecision=5500 #constraints=2177 83.58/83.68 c nbDecision=6000 #constraints=2205 86.07/86.11 c restart after 6401 decisions 89.37/89.49 c nbDecision=6500 #constraints=2252 97.67/97.76 c nbDecision=7000 #constraints=2317 100.47/100.54 c nbDecision=7500 #constraints=2376 104.16/104.22 c nbDecision=8000 #constraints=2406 107.06/107.12 c nbDecision=8500 #constraints=2439 108.26/108.34 c nbDecision=9000 #constraints=2472 110.46/110.51 c nbDecision=9500 #constraints=2491 112.66/112.72 c nbDecision=10000 #constraints=2511 114.66/114.80 c nbDecision=10500 #constraints=2535 120.87/120.97 c nbDecision=11000 #constraints=2580 124.87/124.99 c nbDecision=11500 #constraints=2624 128.76/128.84 c nbDecision=12000 #constraints=2669 132.46/132.51 c nbDecision=12500 #constraints=2692 133.56/133.67 c restart after 12801 decisions 138.46/138.54 c nbDecision=13000 #constraints=2733 149.56/149.62 c nbDecision=13500 #constraints=2806 153.65/153.79 c nbDecision=14000 #constraints=2831 158.05/158.18 c nbDecision=14500 #constraints=2864 162.45/162.51 c nbDecision=15000 #constraints=2888 164.45/164.52 c nbDecision=15500 #constraints=2913 166.56/166.63 c nbDecision=16000 #constraints=2946 168.96/169.02 c nbDecision=16500 #constraints=2964 171.75/171.83 c nbDecision=17000 #constraints=2982 174.05/174.12 c nbDecision=17500 #constraints=3000 177.55/177.60 c nbDecision=18000 #constraints=3022 179.15/179.30 c nbDecision=18500 #constraints=3054 181.75/181.81 c nbDecision=19000 #constraints=3070 184.65/184.72 c nbDecision=19500 #constraints=3090 188.24/188.35 c nbDecision=20000 #constraints=3110 192.24/192.30 c nbDecision=20500 #constraints=3129 195.24/195.33 c nbDecision=21000 #constraints=3149 198.05/198.15 c nbDecision=21500 #constraints=3169 199.75/199.85 c nbDecision=22000 #constraints=3209 202.65/202.79 c nbDecision=22500 #constraints=3235 205.25/205.34 c nbDecision=23000 #constraints=3258 207.95/208.05 c nbDecision=23500 #constraints=3276 210.55/210.62 c nbDecision=24000 #constraints=3293 213.94/214.05 c nbDecision=24500 #constraints=3312 216.74/216.89 c nbDecision=25000 #constraints=3355 219.14/219.27 c nbDecision=25500 #constraints=3384 219.95/220.04 c restart after 25601 decisions 230.44/230.55 c nbDecision=26000 #constraints=3455 233.94/234.06 c nbDecision=26500 #constraints=3509 238.43/238.58 c nbDecision=27000 #constraints=3538 242.43/242.57 c nbDecision=27500 #constraints=3577 244.73/244.82 c nbDecision=28000 #constraints=3604 246.63/246.70 c nbDecision=28500 #constraints=3631 250.63/250.80 c nbDecision=29000 #constraints=3659 252.93/253.08 c nbDecision=29500 #constraints=3696 255.43/255.51 c nbDecision=30000 #constraints=3727 257.34/257.45 c nbDecision=30500 #constraints=3751 259.83/259.94 c nbDecision=31000 #constraints=3789 262.13/262.25 c nbDecision=31500 #constraints=3815 263.84/263.99 c nbDecision=32000 #constraints=3842 265.33/265.44 c nbDecision=32500 #constraints=3872 267.83/267.98 c nbDecision=33000 #constraints=3893 270.44/270.59 c nbDecision=33500 #constraints=3922 271.83/271.93 c nbDecision=34000 #constraints=3954 273.23/273.38 c nbDecision=34500 #constraints=3997 276.33/276.40 c nbDecision=35000 #constraints=4031 279.63/279.76 c nbDecision=35500 #constraints=4046 283.73/283.84 c nbDecision=36000 #constraints=4066 287.13/287.25 c nbDecision=36500 #constraints=4086 289.53/289.60 c nbDecision=37000 #constraints=4118 291.73/291.83 c nbDecision=37500 #constraints=4148 294.82/294.97 c nbDecision=38000 #constraints=4167 298.12/298.24 c nbDecision=38500 #constraints=4194 300.72/300.87 c nbDecision=39000 #constraints=4219 303.12/303.23 c nbDecision=39500 #constraints=4240 305.22/305.37 c nbDecision=40000 #constraints=4267 307.72/307.81 c nbDecision=40500 #constraints=4301 312.61/312.71 c nbDecision=41000 #constraints=4335 316.11/316.25 c nbDecision=41500 #constraints=4364 320.21/320.31 c nbDecision=42000 #constraints=4386 322.22/322.35 c nbDecision=42500 #constraints=4414 324.31/324.43 c nbDecision=43000 #constraints=4440 325.91/326.03 c nbDecision=43500 #constraints=4468 328.01/328.10 c nbDecision=44000 #constraints=4491 331.51/331.68 c nbDecision=44500 #constraints=4516 334.21/334.33 c nbDecision=45000 #constraints=4533 337.11/337.23 c nbDecision=45500 #constraints=4555 338.51/338.69 c nbDecision=46000 #constraints=4583 341.31/341.43 c nbDecision=46500 #constraints=4602 343.11/343.26 c nbDecision=47000 #constraints=4630 346.01/346.11 c nbDecision=47500 #constraints=4651 348.31/348.48 c nbDecision=48000 #constraints=4675 350.60/350.72 c nbDecision=48500 #constraints=4695 352.81/352.99 c nbDecision=49000 #constraints=4726 356.01/356.10 c nbDecision=49500 #constraints=4745 359.01/359.18 c nbDecision=50000 #constraints=4775 362.51/362.67 c nbDecision=50500 #constraints=4791 365.71/365.86 c nbDecision=51000 #constraints=4813 367.71/367.82 c restart after 51201 decisions 378.50/378.63 c nbDecision=51500 #constraints=4867 387.80/387.98 c nbDecision=52000 #constraints=4929 393.10/393.26 c nbDecision=52500 #constraints=4964 397.29/397.42 c nbDecision=53000 #constraints=4992 399.39/399.53 c nbDecision=53500 #constraints=5022 402.89/403.07 c nbDecision=54000 #constraints=5046 405.59/405.79 c nbDecision=54500 #constraints=5080 411.00/411.17 c nbDecision=55000 #constraints=5105 414.20/414.34 c nbDecision=55500 #constraints=5134 417.29/417.40 c nbDecision=56000 #constraints=5158 421.20/421.33 c nbDecision=56500 #constraints=5181 424.59/424.77 c nbDecision=57000 #constraints=5199 426.39/426.56 c nbDecision=57500 #constraints=5229 429.19/429.38 c nbDecision=58000 #constraints=5251 431.69/431.87 c nbDecision=58500 #constraints=5272 435.49/435.61 c nbDecision=59000 #constraints=5287 439.49/439.60 c nbDecision=59500 #constraints=5310 442.19/442.33 c nbDecision=60000 #constraints=5349 445.09/445.22 c nbDecision=60500 #constraints=5378 447.98/448.14 c nbDecision=61000 #constraints=5426 450.89/451.03 c nbDecision=61500 #constraints=5456 454.58/454.72 c nbDecision=62000 #constraints=5475 456.88/457.09 c nbDecision=62500 #constraints=5511 460.09/460.22 c nbDecision=63000 #constraints=5528 462.69/462.83 c nbDecision=63500 #constraints=5549 465.69/465.81 c nbDecision=64000 #constraints=5568 468.28/468.44 c nbDecision=64500 #constraints=5599 471.28/471.44 c nbDecision=65000 #constraints=5614 475.28/475.45 c nbDecision=65500 #constraints=5638 478.18/478.38 c nbDecision=66000 #constraints=5667 481.28/481.42 c nbDecision=66500 #constraints=5699 484.18/484.37 c nbDecision=67000 #constraints=5727 486.88/487.06 c nbDecision=67500 #constraints=5762 489.98/490.14 c nbDecision=68000 #constraints=5788 492.38/492.55 c nbDecision=68500 #constraints=5827 493.78/493.96 c nbDecision=69000 #constraints=5864 496.57/496.76 c nbDecision=69500 #constraints=5890 501.48/501.65 c nbDecision=70000 #constraints=5920 504.87/505.02 c nbDecision=70500 #constraints=5943 507.77/507.97 c nbDecision=71000 #constraints=5970 510.67/510.81 c nbDecision=71500 #constraints=5994 513.57/513.77 c nbDecision=72000 #constraints=6021 516.37/516.54 c nbDecision=72500 #constraints=6040 518.86/519.00 c nbDecision=73000 #constraints=6065 521.27/521.49 c nbDecision=73500 #constraints=6099 523.66/523.82 c nbDecision=74000 #constraints=6127 526.86/527.00 c nbDecision=74500 #constraints=6158 529.36/529.54 c nbDecision=75000 #constraints=6188 533.36/533.52 c nbDecision=75500 #constraints=6213 538.06/538.28 c nbDecision=76000 #constraints=6228 540.37/540.55 c nbDecision=76500 #constraints=6280 543.57/543.73 c nbDecision=77000 #constraints=6296 546.17/546.35 c nbDecision=77500 #constraints=6330 549.07/549.28 c nbDecision=78000 #constraints=6351 551.76/551.91 c nbDecision=78500 #constraints=6404 553.56/553.77 c nbDecision=79000 #constraints=6445 554.96/555.18 c nbDecision=79500 #constraints=6539 556.66/556.86 c nbDecision=80000 #constraints=6624 558.46/558.64 c nbDecision=80500 #constraints=6720 559.45/559.64 c nbDecision=81000 #constraints=6874 560.96/561.13 c nbDecision=81500 #constraints=7110 562.16/562.38 c nbDecision=82000 #constraints=7163 564.06/564.27 c nbDecision=82500 #constraints=7254 565.46/565.62 c nbDecision=83000 #constraints=7312 567.26/567.43 c nbDecision=83500 #constraints=7390 569.26/569.43 c nbDecision=84000 #constraints=7467 570.46/570.69 c nbDecision=84500 #constraints=7509 571.46/571.61 c nbDecision=85000 #constraints=7561 573.15/573.34 c nbDecision=85500 #constraints=7772 574.16/574.35 c nbDecision=86000 #constraints=7822 575.86/576.01 c nbDecision=86500 #constraints=7875 577.36/577.57 c nbDecision=87000 #constraints=7948 579.65/579.87 c nbDecision=87500 #constraints=8066 581.15/581.31 c nbDecision=88000 #constraints=8152 582.35/582.52 c nbDecision=88500 #constraints=8193 583.75/583.90 c nbDecision=89000 #constraints=8264 584.96/585.11 c nbDecision=89500 #constraints=8311 586.45/586.61 c nbDecision=90000 #constraints=8390 588.45/588.68 c nbDecision=90500 #constraints=8460 589.75/589.97 c nbDecision=91000 #constraints=8523 591.65/591.83 c nbDecision=91500 #constraints=8596 593.55/593.78 c nbDecision=92000 #constraints=8813 595.35/595.58 c nbDecision=92500 #constraints=8937 597.75/597.93 c nbDecision=93000 #constraints=9089 600.35/600.51 c nbDecision=93500 #constraints=9246 603.05/603.26 c nbDecision=94000 #constraints=9402 606.05/606.28 c nbDecision=94500 #constraints=9563 610.55/610.72 c nbDecision=95000 #constraints=9754 615.14/615.36 c nbDecision=95500 #constraints=9954 620.34/620.55 c nbDecision=96000 #constraints=10375 624.24/624.49 c nbDecision=96500 #constraints=10545 627.25/627.42 c nbDecision=97000 #constraints=10665 629.85/630.01 c nbDecision=97500 #constraints=10819 633.94/634.17 c nbDecision=98000 #constraints=10979 638.24/638.46 c nbDecision=98500 #constraints=11123 642.53/642.71 c nbDecision=99000 #constraints=11264 647.84/648.04 c nbDecision=99500 #constraints=11431 650.94/651.18 c nbDecision=100000 #constraints=11534 654.34/654.52 c nbDecision=100500 #constraints=11643 661.14/661.36 c nbDecision=101000 #constraints=11789 668.44/668.69 c nbDecision=101500 #constraints=11979 672.23/672.45 c nbDecision=102000 #constraints=12089 676.53/676.72 c restart after 102401 decisions 681.53/681.77 c nbDecision=102500 #constraints=12243 696.03/696.24 c nbDecision=103000 #constraints=12280 707.52/707.73 c nbDecision=103500 #constraints=12305 715.92/716.12 c nbDecision=104000 #constraints=12327 722.42/722.63 c nbDecision=104500 #constraints=12351 728.82/729.05 c nbDecision=105000 #constraints=12374 736.62/736.84 c nbDecision=105500 #constraints=12390 746.91/747.15 c nbDecision=106000 #constraints=12406 753.01/753.28 c nbDecision=106500 #constraints=12421 758.81/759.08 c nbDecision=107000 #constraints=12435 765.41/765.68 c nbDecision=107500 #constraints=12449 771.61/771.86 c nbDecision=108000 #constraints=12468 780.00/780.29 c nbDecision=108500 #constraints=12483 787.50/787.79 c nbDecision=109000 #constraints=12505 795.40/795.69 c nbDecision=109500 #constraints=12523 803.60/803.82 c nbDecision=110000 #constraints=12537 809.90/810.19 c nbDecision=110500 #constraints=12557 815.20/815.49 c nbDecision=111000 #constraints=12571 822.50/822.71 c nbDecision=111500 #constraints=12584 828.30/828.58 c nbDecision=112000 #constraints=12600 834.60/834.85 c nbDecision=112500 #constraints=12615 849.79/850.09 c nbDecision=113000 #constraints=12683 860.28/860.58 c nbDecision=113500 #constraints=12703 871.58/871.84 c nbDecision=114000 #constraints=12726 880.78/881.05 c nbDecision=114500 #constraints=12758 888.18/888.45 c nbDecision=115000 #constraints=12773 897.29/897.52 c nbDecision=115500 #constraints=12788 902.48/902.77 c nbDecision=116000 #constraints=12818 909.88/910.16 c nbDecision=116500 #constraints=12835 915.67/915.95 c nbDecision=117000 #constraints=12852 921.37/921.70 c nbDecision=117500 #constraints=12875 927.27/927.54 c nbDecision=118000 #constraints=12897 932.87/933.14 c nbDecision=118500 #constraints=12931 940.47/940.73 c nbDecision=119000 #constraints=12945 946.96/947.30 c nbDecision=119500 #constraints=12960 953.86/954.12 c nbDecision=120000 #constraints=12983 961.57/961.85 c nbDecision=120500 #constraints=12999 970.26/970.57 c nbDecision=121000 #constraints=13015 979.06/979.34 c nbDecision=121500 #constraints=13033 986.16/986.48 c nbDecision=122000 #constraints=13048 993.86/994.19 c nbDecision=122500 #constraints=13071 998.26/998.53 c nbDecision=123000 #constraints=13110 1003.15/1003.48 c nbDecision=123500 #constraints=13133 1008.05/1008.32 c nbDecision=124000 #constraints=13161 1013.05/1013.34 c nbDecision=124500 #constraints=13177 1019.55/1019.86 c nbDecision=125000 #constraints=13192 1025.55/1025.83 c nbDecision=125500 #constraints=13209 1035.74/1036.05 c nbDecision=126000 #constraints=13224 1045.04/1045.34 c nbDecision=126500 #constraints=13239 1053.84/1054.14 c nbDecision=127000 #constraints=13259 1063.93/1064.27 c nbDecision=127500 #constraints=13275 1072.04/1072.37 c nbDecision=128000 #constraints=13294 1076.04/1076.32 c nbDecision=128500 #constraints=13312 1083.34/1083.64 c nbDecision=129000 #constraints=13325 1089.04/1089.37 c nbDecision=129500 #constraints=13353 1095.43/1095.79 c nbDecision=130000 #constraints=13368 1104.53/1104.84 c nbDecision=130500 #constraints=13385 1110.03/1110.36 c nbDecision=131000 #constraints=13404 1118.03/1118.31 c nbDecision=131500 #constraints=13425 1122.93/1123.21 c nbDecision=132000 #constraints=13455 1129.52/1129.86 c nbDecision=132500 #constraints=13474 1137.22/1137.57 c nbDecision=133000 #constraints=13494 1141.92/1142.23 c nbDecision=133500 #constraints=13528 1145.12/1145.49 c nbDecision=134000 #constraints=13576 1150.01/1150.31 c nbDecision=134500 #constraints=13637 1155.62/1155.98 c nbDecision=135000 #constraints=13739 1160.22/1160.55 c nbDecision=135500 #constraints=13798 1164.62/1164.94 c nbDecision=136000 #constraints=13897 1168.81/1169.12 c nbDecision=136500 #constraints=14033 1174.71/1175.08 c nbDecision=137000 #constraints=14181 1180.61/1180.96 c nbDecision=137500 #constraints=14308 1183.81/1184.11 c nbDecision=138000 #constraints=14426 1189.21/1189.59 c nbDecision=138500 #constraints=14492 1193.70/1194.07 c nbDecision=139000 #constraints=14571 1198.51/1198.90 c nbDecision=139500 #constraints=14714 1203.41/1203.73 c nbDecision=140000 #constraints=14855 1208.20/1208.59 c nbDecision=140500 #constraints=14995 1213.30/1213.68 c nbDecision=141000 #constraints=15134 1218.91/1219.20 c nbDecision=141500 #constraints=15277 1223.80/1224.14 c nbDecision=142000 #constraints=15406 1230.00/1230.34 c nbDecision=142500 #constraints=15574 1235.80/1236.18 c nbDecision=143000 #constraints=15738 1244.40/1244.77 c nbDecision=143500 #constraints=15940 1253.59/1253.93 c nbDecision=144000 #constraints=16078 1262.60/1262.93 c nbDecision=144500 #constraints=16125 1268.49/1268.80 c nbDecision=145000 #constraints=16211 1274.09/1274.48 c nbDecision=145500 #constraints=16343 1280.09/1280.50 c nbDecision=146000 #constraints=16481 1286.38/1286.71 c nbDecision=146500 #constraints=16622 1292.99/1293.36 c nbDecision=147000 #constraints=16768 1303.78/1304.11 c nbDecision=147500 #constraints=17034 1315.48/1315.88 c nbDecision=148000 #constraints=17447 1345.07/1345.42 c nbDecision=148500 #constraints=17615 1361.56/1361.94 c nbDecision=149000 #constraints=17637 1382.62/1383.00 c nbDecision=149500 #constraints=17662 1397.08/1397.57 c nbDecision=150000 #constraints=17682 1407.68/1408.13 c nbDecision=150500 #constraints=17711 1418.65/1419.17 c nbDecision=151000 #constraints=17735 1431.45/1431.92 c nbDecision=151500 #constraints=17757 1440.64/1441.18 c nbDecision=152000 #constraints=17777 1450.24/1450.70 c nbDecision=152500 #constraints=17793 1460.85/1461.34 c nbDecision=153000 #constraints=17811 1470.75/1471.25 c nbDecision=153500 #constraints=17833 1479.74/1480.20 c nbDecision=154000 #constraints=17852 1491.05/1491.58 c nbDecision=154500 #constraints=17874 1503.44/1503.95 c nbDecision=155000 #constraints=17893 1514.33/1514.85 c nbDecision=155500 #constraints=17907 1528.43/1528.97 c nbDecision=156000 #constraints=17924 1540.63/1541.18 c nbDecision=156500 #constraints=17942 1553.12/1553.64 c nbDecision=157000 #constraints=17964 1563.52/1564.04 c nbDecision=157500 #constraints=17980 1573.52/1574.02 c nbDecision=158000 #constraints=17997 1584.12/1584.66 c nbDecision=158500 #constraints=18014 1595.41/1595.98 c nbDecision=159000 #constraints=18041 1607.81/1608.32 c nbDecision=159500 #constraints=18067 1622.61/1623.10 c nbDecision=160000 #constraints=18081 1632.40/1632.90 c nbDecision=160500 #constraints=18096 1660.10/1660.64 c nbDecision=161000 #constraints=18145 1677.39/1677.90 c nbDecision=161500 #constraints=18168 1689.29/1689.80 c nbDecision=162000 #constraints=18188 1703.78/1704.37 c nbDecision=162500 #constraints=18217 1716.08/1716.66 c nbDecision=163000 #constraints=18232 1730.17/1730.73 c nbDecision=163500 #constraints=18253 1738.58/1739.12 c nbDecision=164000 #constraints=18283 1755.57/1756.19 c nbDecision=164500 #constraints=18318 1763.27/1763.82 c nbDecision=165000 #constraints=18337 1778.76/1779.39 c nbDecision=165500 #constraints=18354 1788.47/1789.09 c nbDecision=166000 #constraints=18374 1798.86/1799.48 c nbDecision=166500 #constraints=18391 1800.07/1800.61 Received signal 15 1800.07/1800.61 1800.07/1800.61 s UNKNOWN 1800.07/1800.61 1800.07/1800.61 c user time= 1799.72 s 1800.07/1800.61 c system time= 0.353946 s 1800.07/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/node41/watcher-357288-1176993497 -o ROOT/results/node41/solver-357288-1176993497 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357288-1176993497/instance-357288-1176993497.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: 1.00 1.00 0.99 3/77 20015 /proc/meminfo: memFree=1676632/2055920 swapFree=4135916/4192956 [pid=20015] ppid=20013 vsize=1468 CPUtime=0 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147261586 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 367 160 131 317 0 46 0 [startup+0.0902531 s] /proc/loadavg: 1.00 1.00 0.99 3/77 20015 /proc/meminfo: memFree=1676632/2055920 swapFree=4135916/4192956 [pid=20015] ppid=20013 vsize=3384 CPUtime=0.08 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 604 0 0 0 8 0 0 0 18 0 1 0 147261586 3465216 586 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 846 586 131 317 0 525 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3384 [startup+0.101253 s] /proc/loadavg: 1.00 1.00 0.99 3/77 20015 /proc/meminfo: memFree=1676632/2055920 swapFree=4135916/4192956 [pid=20015] ppid=20013 vsize=3532 CPUtime=0.1 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 635 0 0 0 10 0 0 0 18 0 1 0 147261586 3616768 617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 883 617 131 317 0 562 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3532 [startup+0.301271 s] /proc/loadavg: 1.00 1.00 0.99 3/77 20015 /proc/meminfo: memFree=1676632/2055920 swapFree=4135916/4192956 [pid=20015] ppid=20013 vsize=7228 CPUtime=0.29 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 1503 0 0 0 29 0 0 0 19 0 1 0 147261586 7401472 1485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 1807 1485 131 317 0 1486 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7228 [startup+0.701306 s] /proc/loadavg: 1.00 1.00 0.99 3/77 20015 /proc/meminfo: memFree=1676632/2055920 swapFree=4135916/4192956 [pid=20015] ppid=20013 vsize=14228 CPUtime=0.69 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 3164 0 0 0 68 1 0 0 22 0 1 0 147261586 14569472 3080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 3557 3080 131 317 0 3236 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14228 [startup+1.50137 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20016 /proc/meminfo: memFree=1655440/2055920 swapFree=4135916/4192956 [pid=20015] ppid=20013 vsize=24156 CPUtime=1.49 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 5573 0 0 0 147 2 0 0 25 0 1 0 147261586 24735744 5489 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 6039 5489 139 317 0 5718 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 24156 [startup+3.10151 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20016 /proc/meminfo: memFree=1654928/2055920 swapFree=4135916/4192956 [pid=20015] ppid=20013 vsize=24296 CPUtime=3.09 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 5592 0 0 0 307 2 0 0 25 0 1 0 147261586 24879104 5508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 6074 5508 139 317 0 5753 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24296 [startup+6.30179 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20016 /proc/meminfo: memFree=1654608/2055920 swapFree=4135916/4192956 [pid=20015] ppid=20013 vsize=24440 CPUtime=6.29 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 5631 0 0 0 627 2 0 0 25 0 1 0 147261586 25026560 5547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 6110 5547 139 317 0 5789 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24440 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20016 /proc/meminfo: memFree=1654224/2055920 swapFree=4135980/4192956 [pid=20015] ppid=20013 vsize=24952 CPUtime=12.69 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 5722 0 0 0 1266 3 0 0 25 0 1 0 147261586 25550848 5638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 6238 5638 139 317 0 5917 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24952 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20018 /proc/meminfo: memFree=1653712/2055920 swapFree=4135980/4192956 [pid=20015] ppid=20013 vsize=25604 CPUtime=25.49 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 5878 0 0 0 2546 3 0 0 25 0 1 0 147261586 26218496 5794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 6401 5794 139 317 0 6080 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25604 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20018 /proc/meminfo: memFree=1652432/2055920 swapFree=4135980/4192956 [pid=20015] ppid=20013 vsize=27132 CPUtime=51.08 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 6226 0 0 0 5105 3 0 0 25 0 1 0 147261586 27783168 6142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 6783 6142 139 317 0 6462 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27132 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20018 /proc/meminfo: memFree=1649168/2055920 swapFree=4135980/4192956 [pid=20015] ppid=20013 vsize=30588 CPUtime=102.27 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 7029 0 0 0 10224 3 0 0 25 0 1 0 147261586 31322112 6945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 7647 6945 139 317 0 7326 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30588 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20018 /proc/meminfo: memFree=1644880/2055920 swapFree=4136044/4192956 [pid=20015] ppid=20013 vsize=35204 CPUtime=162.25 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 8100 0 0 0 16221 4 0 0 25 0 1 0 147261586 36048896 8016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 8801 8016 139 317 0 8480 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 35204 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20018 /proc/meminfo: memFree=1640464/2055920 swapFree=4136044/4192956 [pid=20015] ppid=20013 vsize=39720 CPUtime=222.24 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 9193 0 0 0 22218 6 0 0 25 0 1 0 147261586 40673280 9109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 9930 9109 139 317 0 9609 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 39720 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20018 /proc/meminfo: memFree=1637008/2055920 swapFree=4136044/4192956 [pid=20015] ppid=20013 vsize=43356 CPUtime=282.23 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 10062 0 0 0 28216 7 0 0 25 0 1 0 147261586 44396544 9978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 10839 9978 139 317 0 10518 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 43356 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20018 /proc/meminfo: memFree=1631888/2055920 swapFree=4136108/4192956 [pid=20015] ppid=20013 vsize=48628 CPUtime=342.21 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 11327 0 0 0 34214 7 0 0 25 0 1 0 147261586 49795072 11243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 12157 11243 139 317 0 11836 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 48628 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20018 /proc/meminfo: memFree=1628304/2055920 swapFree=4136108/4192956 [pid=20015] ppid=20013 vsize=52600 CPUtime=402.19 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 12251 0 0 0 40211 8 0 0 25 0 1 0 147261586 53862400 12167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718823 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 13150 12167 139 317 0 12829 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 52600 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20018 /proc/meminfo: memFree=1625296/2055920 swapFree=4136172/4192956 [pid=20015] ppid=20013 vsize=55736 CPUtime=462.19 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 13007 0 0 0 46209 10 0 0 25 0 1 0 147261586 57073664 12886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 13934 12886 139 317 0 13613 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 55736 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20018 /proc/meminfo: memFree=1621968/2055920 swapFree=4136172/4192956 [pid=20015] ppid=20013 vsize=59416 CPUtime=522.16 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 13877 0 0 0 52206 10 0 0 25 0 1 0 147261586 60841984 13756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 14854 13756 139 317 0 14533 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 59416 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20018 /proc/meminfo: memFree=1604880/2055920 swapFree=4136172/4192956 [pid=20015] ppid=20013 vsize=76200 CPUtime=582.15 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 18111 0 0 0 58202 13 0 0 25 0 1 0 147261586 78028800 17990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 19050 17990 139 317 0 18729 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 76200 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 20018 /proc/meminfo: memFree=1574224/2055920 swapFree=4136236/4192956 [pid=20015] ppid=20013 vsize=107880 CPUtime=642.14 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 25819 0 0 0 64198 16 0 0 25 0 1 0 147261586 110469120 25626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554532 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 26970 25626 139 317 0 26649 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 107880 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.03 1.01 1.00 2/78 20018 /proc/meminfo: memFree=1557840/2055920 swapFree=4136300/4192956 [pid=20015] ppid=20013 vsize=124196 CPUtime=822.1 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 29904 0 0 0 82190 20 0 0 25 0 1 0 147261586 127176704 29711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 31049 29711 139 317 0 30728 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 124196 [startup+882.302 s] /proc/loadavg: 1.12 1.04 1.00 2/78 20018 /proc/meminfo: memFree=1555984/2055920 swapFree=4136300/4192956 [pid=20015] ppid=20013 vsize=126120 CPUtime=882.08 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 30361 0 0 0 88188 20 0 0 25 0 1 0 147261586 129146880 30168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 31530 30168 139 317 0 31209 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 126120 [startup+942.302 s] /proc/loadavg: 1.04 1.03 1.00 2/78 20018 /proc/meminfo: memFree=1554640/2055920 swapFree=4136364/4192956 [pid=20015] ppid=20013 vsize=127480 CPUtime=942.06 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 30721 0 0 0 94185 21 0 0 25 0 1 0 147261586 130539520 30528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 31870 30528 139 317 0 31549 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 127480 [startup+1002.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 20018 /proc/meminfo: memFree=1552848/2055920 swapFree=4136364/4192956 [pid=20015] ppid=20013 vsize=129424 CPUtime=1002.05 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 31153 0 0 0 100183 22 0 0 25 0 1 0 147261586 132530176 30960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711049 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 32356 30960 139 317 0 32035 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 129424 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 20018 /proc/meminfo: memFree=1551440/2055920 swapFree=4136428/4192956 [pid=20015] ppid=20013 vsize=130944 CPUtime=1062.03 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 31494 0 0 0 106181 22 0 0 25 0 1 0 147261586 134086656 31301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715883 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 32736 31301 139 317 0 32415 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 130944 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 20018 /proc/meminfo: memFree=1550032/2055920 swapFree=4136428/4192956 [pid=20015] ppid=20013 vsize=132460 CPUtime=1122.02 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 31872 0 0 0 112179 23 0 0 25 0 1 0 147261586 135639040 31679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 33115 31679 139 317 0 32794 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 132460 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20018 /proc/meminfo: memFree=1544144/2055920 swapFree=4136428/4192956 [pid=20015] ppid=20013 vsize=138452 CPUtime=1182.01 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 33370 0 0 0 118177 24 0 0 25 0 1 0 147261586 141774848 33177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554522 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 34613 33177 139 317 0 34292 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 138452 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20018 /proc/meminfo: memFree=1523664/2055920 swapFree=4136492/4192956 [pid=20015] ppid=20013 vsize=161316 CPUtime=1242 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 38479 0 0 0 124173 27 0 0 25 0 1 0 147261586 165187584 38286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549858 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 40329 38286 139 317 0 40008 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 161316 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20018 /proc/meminfo: memFree=1511184/2055920 swapFree=4136492/4192956 [pid=20015] ppid=20013 vsize=173020 CPUtime=1301.99 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 41539 0 0 0 130170 29 0 0 25 0 1 0 147261586 177172480 41346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 43255 41346 139 317 0 42934 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 173020 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20018 /proc/meminfo: memFree=1504784/2055920 swapFree=4136556/4192956 [pid=20015] ppid=20013 vsize=178920 CPUtime=1361.96 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 43127 0 0 0 136166 30 0 0 25 0 1 0 147261586 183214080 42934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 44730 42934 139 317 0 44409 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 178920 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20216 /proc/meminfo: memFree=1503632/2055920 swapFree=4136556/4192956 [pid=20015] ppid=20013 vsize=179876 CPUtime=1421.86 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 43350 0 0 0 142155 31 0 0 25 0 1 0 147261586 184193024 43157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 44969 43157 139 317 0 44648 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 179876 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20216 /proc/meminfo: memFree=1502864/2055920 swapFree=4136620/4192956 [pid=20015] ppid=20013 vsize=180828 CPUtime=1481.84 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 43582 0 0 0 148152 32 0 0 25 0 1 0 147261586 185167872 43389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 45207 43389 139 317 0 44886 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 180828 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20216 /proc/meminfo: memFree=1502032/2055920 swapFree=4136620/4192956 [pid=20015] ppid=20013 vsize=181672 CPUtime=1541.82 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 43783 0 0 0 154150 32 0 0 25 0 1 0 147261586 186032128 43590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563943 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 45418 43590 139 317 0 45097 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 181672 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20216 /proc/meminfo: memFree=1500944/2055920 swapFree=4136620/4192956 [pid=20015] ppid=20013 vsize=182908 CPUtime=1601.81 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 44057 0 0 0 160148 33 0 0 25 0 1 0 147261586 187297792 43864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 45727 43864 139 317 0 45406 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 182908 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20216 /proc/meminfo: memFree=1498960/2055920 swapFree=4136684/4192956 [pid=20015] ppid=20013 vsize=185332 CPUtime=1661.8 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 44557 0 0 0 166147 33 0 0 25 0 1 0 147261586 189779968 44364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 46333 44364 139 317 0 46012 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 185332 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20216 /proc/meminfo: memFree=1497936/2055920 swapFree=4136684/4192956 [pid=20015] ppid=20013 vsize=186576 CPUtime=1721.78 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 44826 0 0 0 172145 33 0 0 25 0 1 0 147261586 191053824 44633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 46644 44633 139 317 0 46323 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 186576 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20216 /proc/meminfo: memFree=1496912/2055920 swapFree=4136748/4192956 [pid=20015] ppid=20013 vsize=187532 CPUtime=1781.76 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 45062 0 0 0 178142 34 0 0 25 0 1 0 147261586 192032768 44869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 46883 44869 139 317 0 46562 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 187532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20216 /proc/meminfo: memFree=1496656/2055920 swapFree=4136748/4192956 [pid=20015] ppid=20013 vsize=187816 CPUtime=1800.07 /proc/20015/stat : 20015 (oree) R 20013 20015 19629 0 -1 4194304 45140 0 0 0 179972 35 0 0 25 0 1 0 147261586 192323584 44947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20015/statm: 46954 44947 139 317 0 46633 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 187816 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.65 CPU time (s): 1800.12 CPU user time (s): 1799.74 CPU system time (s): 0.383941 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 187816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.74 system time used= 0.383941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45156 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= 1352 runsolver used 1.9587 second user time and 4.6053 second system time The end
Begin job on node41 on Thu Apr 19 14:38:17 UTC 2007 IDJOB= 357288 IDBENCH= 2352 IDSOLVER= 172 FILE ID= node41/357288-1176993497 PBS_JOBID= 4630436 Free space on /tmp= 66345 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ar98.opb COMMAND LINE= oree /tmp/evaluation/357288-1176993497/instance-357288-1176993497.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-357288-1176993497 -o ROOT/results/node41/solver-357288-1176993497 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357288-1176993497/instance-357288-1176993497.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 523aad2a62a776290fed26e3ef5d80ef RANDOM SEED= 250332496 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1677040 kB Buffers: 37284 kB Cached: 257620 kB SwapCached: 2732 kB Active: 104592 kB Inactive: 213904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1677040 kB SwapTotal: 4192956 kB SwapFree: 4135916 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 31268 kB Slab: 45732 kB Committed_AS: 2563084 kB PageTables: 2008 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66345 MiB End job on node41 on Thu Apr 19 15:08:20 UTC 2007