Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.05 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_6.opb |
MD5SUM | da335afc6b5d5727dca7fb9193531871 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 17 |
Best CPU time to get the best result obtained on this benchmark | 0.053991 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 17 |
Optimality of the best value was proved | YES |
Number of variables | 139 |
Total number of constraints | 216 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 215 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 24 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 16 |
Number of bits for the biggest coefficient in the objective function | 5 |
Sum of the numbers in the objective function | 46 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 64 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 324 |
Number of bits of the biggest sum of numbers | 9 |
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.00/0.01 c ...done 0.00/0.01 c #vars=139 #constraints=217 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.00/0.02 c restart after 401 decisions 0.00/0.02 c nbDecision=500 #constraints=239 0.00/0.03 c restart after 801 decisions 0.00/0.04 c nbDecision=1000 #constraints=285 0.00/0.07 c nbDecision=1500 #constraints=371 0.07/0.08 c restart after 1601 decisions 0.09/0.11 c nbDecision=2000 #constraints=455 0.09/0.17 c nbDecision=2500 #constraints=599 0.19/0.21 c nbDecision=3000 #constraints=668 0.19/0.24 c restart after 3201 decisions 0.19/0.26 c nbDecision=3500 #constraints=768 0.19/0.29 c nbDecision=4000 #constraints=821 0.29/0.33 c nbDecision=4500 #constraints=892 0.29/0.39 c nbDecision=5000 #constraints=986 0.39/0.44 c nbDecision=5500 #constraints=1066 0.49/0.50 c nbDecision=6000 #constraints=1151 0.49/0.57 c restart after 6401 decisions 0.49/0.58 c nbDecision=6500 #constraints=1233 0.59/0.61 c nbDecision=7000 #constraints=1279 0.59/0.66 c nbDecision=7500 #constraints=1339 0.69/0.72 c nbDecision=8000 #constraints=1415 0.69/0.78 c nbDecision=8500 #constraints=1493 0.79/0.84 c nbDecision=9000 #constraints=1551 0.79/0.90 c nbDecision=9500 #constraints=1621 0.89/0.97 c nbDecision=10000 #constraints=1706 0.99/1.07 c nbDecision=10500 #constraints=1807 1.19/1.20 c nbDecision=11000 #constraints=1929 1.39/1.40 c nbDecision=11500 #constraints=2106 1.59/1.60 c nbDecision=12000 #constraints=2252 1.69/1.77 c nbDecision=12500 #constraints=2362 1.79/1.87 c restart after 12801 decisions 1.99/2.01 c nbDecision=13000 #constraints=2477 2.29/2.30 c nbDecision=13500 #constraints=2636 2.49/2.54 c nbDecision=14000 #constraints=2741 2.69/2.79 c nbDecision=14500 #constraints=2855 2.98/3.06 c nbDecision=15000 #constraints=2974 3.39/3.48 c nbDecision=15500 #constraints=3119 3.79/3.80 c nbDecision=16000 #constraints=3247 4.09/4.14 c nbDecision=16500 #constraints=3363 4.59/4.61 c nbDecision=17000 #constraints=3490 4.99/5.05 c nbDecision=17500 #constraints=3624 5.50/5.59 c nbDecision=18000 #constraints=3772 6.29/6.31 c nbDecision=18500 #constraints=3959 7.29/7.32 c nbDecision=19000 #constraints=4156 8.29/8.38 c nbDecision=19500 #constraints=4327 8.99/9.02 c nbDecision=20000 #constraints=4412 9.49/9.53 c nbDecision=20500 #constraints=4465 9.99/10.00 c nbDecision=21000 #constraints=4523 10.59/10.61 c nbDecision=21500 #constraints=4603 11.19/11.29 c nbDecision=22000 #constraints=4679 11.89/11.93 c nbDecision=22500 #constraints=4761 12.69/12.72 c nbDecision=23000 #constraints=4855 13.39/13.43 c nbDecision=23500 #constraints=4933 13.99/14.06 c nbDecision=24000 #constraints=5003 14.79/14.86 c nbDecision=24500 #constraints=5079 15.49/15.52 c nbDecision=25000 #constraints=5144 16.28/16.33 c nbDecision=25500 #constraints=5224 16.49/16.52 c restart after 25601 decisions 17.08/17.14 c nbDecision=26000 #constraints=5301 18.48/18.51 c nbDecision=26500 #constraints=5406 19.69/19.77 c nbDecision=27000 #constraints=5505 20.79/20.81 c nbDecision=27500 #constraints=5571 21.78/21.90 c nbDecision=28000 #constraints=5666 23.28/23.32 c nbDecision=28500 #constraints=5768 24.28/24.32 c nbDecision=29000 #constraints=5873 25.68/25.73 c nbDecision=29500 #constraints=6014 27.08/27.15 c nbDecision=30000 #constraints=6171 28.69/28.75 c nbDecision=30500 #constraints=6328 30.69/30.75 c nbDecision=31000 #constraints=6511 32.58/32.62 c nbDecision=31500 #constraints=6737 33.88/33.97 c nbDecision=32000 #constraints=6835 34.98/35.04 c nbDecision=32500 #constraints=6907 36.08/36.17 c nbDecision=33000 #constraints=6981 37.38/37.44 c nbDecision=33500 #constraints=7068 38.88/38.95 c nbDecision=34000 #constraints=7180 40.48/40.54 c nbDecision=34500 #constraints=7325 42.27/42.30 c nbDecision=35000 #constraints=7473 43.67/43.71 c nbDecision=35500 #constraints=7619 45.37/45.49 c nbDecision=36000 #constraints=7769 47.07/47.14 c nbDecision=36500 #constraints=7923 49.38/49.44 c nbDecision=37000 #constraints=8116 51.17/51.25 c nbDecision=37500 #constraints=8246 53.88/53.91 c nbDecision=38000 #constraints=8392 56.78/56.80 c nbDecision=38500 #constraints=8543 59.38/59.47 c nbDecision=39000 #constraints=8660 61.67/61.75 c nbDecision=39500 #constraints=8776 63.68/63.71 c nbDecision=40000 #constraints=8877 64.97/65.02 c nbDecision=40500 #constraints=8952 66.37/66.41 c nbDecision=41000 #constraints=9031 67.17/67.27 c nbDecision=41500 #constraints=9111 68.97/69.00 c nbDecision=42000 #constraints=9228 71.97/72.01 c nbDecision=42500 #constraints=9390 73.77/73.84 c nbDecision=43000 #constraints=9456 75.37/75.43 c nbDecision=43500 #constraints=9507 77.37/77.40 c nbDecision=44000 #constraints=9561 78.87/78.92 c nbDecision=44500 #constraints=9608 80.47/80.56 c nbDecision=45000 #constraints=9663 82.67/82.78 c nbDecision=45500 #constraints=9741 84.47/84.50 c nbDecision=46000 #constraints=9790 85.77/85.80 c nbDecision=46500 #constraints=9843 86.96/87.04 c nbDecision=47000 #constraints=9882 88.76/88.84 c nbDecision=47500 #constraints=9958 90.56/90.67 c nbDecision=48000 #constraints=10004 92.96/93.05 c nbDecision=48500 #constraints=10059 94.96/95.04 c nbDecision=49000 #constraints=10104 96.77/96.88 c nbDecision=49500 #constraints=10146 98.56/98.61 c nbDecision=50000 #constraints=10181 100.56/100.68 c nbDecision=50500 #constraints=10226 102.26/102.35 c nbDecision=51000 #constraints=10280 102.96/103.08 c restart after 51201 decisions 104.56/104.69 c nbDecision=51500 #constraints=10333 106.66/106.74 c nbDecision=52000 #constraints=10379 108.36/108.46 c nbDecision=52500 #constraints=10421 109.66/109.79 c nbDecision=53000 #constraints=10457 110.86/110.97 c nbDecision=53500 #constraints=10487 113.17/113.24 c nbDecision=54000 #constraints=10580 116.06/116.14 c nbDecision=54500 #constraints=10710 118.86/118.98 c nbDecision=55000 #constraints=10827 121.26/121.40 c nbDecision=55500 #constraints=10923 123.86/123.92 c nbDecision=56000 #constraints=11018 125.46/125.59 c nbDecision=56500 #constraints=11057 127.46/127.59 c nbDecision=57000 #constraints=11096 128.56/128.63 c nbDecision=57500 #constraints=11123 130.16/130.20 c nbDecision=58000 #constraints=11199 132.36/132.44 c nbDecision=58500 #constraints=11290 135.45/135.52 c nbDecision=59000 #constraints=11382 137.55/137.65 c nbDecision=59500 #constraints=11439 140.85/140.92 c nbDecision=60000 #constraints=11521 144.15/144.23 c nbDecision=60500 #constraints=11601 146.55/146.66 c nbDecision=61000 #constraints=11658 149.05/149.17 c nbDecision=61500 #constraints=11713 154.65/154.71 c nbDecision=62000 #constraints=11830 157.65/157.77 c nbDecision=62500 #constraints=11895 163.74/163.90 c nbDecision=63000 #constraints=12018 165.74/165.88 c nbDecision=63500 #constraints=12041 167.94/168.01 c nbDecision=64000 #constraints=12065 170.24/170.36 c nbDecision=64500 #constraints=12097 175.24/175.39 c nbDecision=65000 #constraints=12216 178.44/178.52 c nbDecision=65500 #constraints=12284 183.14/183.27 c nbDecision=66000 #constraints=12428 189.24/189.39 c nbDecision=66500 #constraints=12577 194.41/194.51 c nbDecision=67000 #constraints=12726 201.30/201.46 c nbDecision=67500 #constraints=12917 207.80/207.98 c nbDecision=68000 #constraints=13114 212.98/213.15 c nbDecision=68500 #constraints=13281 220.26/220.41 c nbDecision=69000 #constraints=13513 231.15/231.40 c nbDecision=69500 #constraints=13814 238.35/238.53 c nbDecision=70000 #constraints=14025 247.93/248.19 c nbDecision=70500 #constraints=14272 255.13/255.32 c nbDecision=71000 #constraints=14446 265.63/265.86 c nbDecision=71500 #constraints=14733 274.42/274.63 c nbDecision=72000 #constraints=14923 279.63/279.86 c nbDecision=72500 #constraints=15051 288.13/288.33 c nbDecision=73000 #constraints=15262 297.42/297.60 c nbDecision=73500 #constraints=15475 310.32/310.51 c nbDecision=74000 #constraints=15731 320.22/320.46 c nbDecision=74500 #constraints=15924 331.61/331.85 c nbDecision=75000 #constraints=16170 341.11/341.31 c nbDecision=75500 #constraints=16430 350.01/350.21 c nbDecision=76000 #constraints=16655 363.10/363.30 c nbDecision=76500 #constraints=16907 371.70/371.99 c nbDecision=77000 #constraints=17071 379.40/379.62 c nbDecision=77500 #constraints=17224 391.70/391.98 c nbDecision=78000 #constraints=17476 404.39/404.62 c nbDecision=78500 #constraints=17711 419.89/420.14 c nbDecision=79000 #constraints=18009 431.99/432.23 c nbDecision=79500 #constraints=18225 442.88/443.18 c nbDecision=80000 #constraints=18414 453.18/453.46 c nbDecision=80500 #constraints=18632 463.27/463.53 c nbDecision=81000 #constraints=18787 472.87/473.11 c nbDecision=81500 #constraints=18911 487.37/487.60 c nbDecision=82000 #constraints=19081 496.56/496.82 c nbDecision=82500 #constraints=19213 505.06/505.35 c nbDecision=83000 #constraints=19335 514.06/514.33 c nbDecision=83500 #constraints=19458 528.55/528.81 c nbDecision=84000 #constraints=19609 540.85/541.20 c nbDecision=84500 #constraints=19755 546.25/546.55 c nbDecision=85000 #constraints=19852 553.95/554.28 c nbDecision=85500 #constraints=20024 561.25/561.57 c nbDecision=86000 #constraints=20178 569.35/569.60 c nbDecision=86500 #constraints=20341 574.65/574.90 c nbDecision=87000 #constraints=20459 581.84/582.19 c nbDecision=87500 #constraints=20627 592.14/592.42 c nbDecision=88000 #constraints=20839 598.54/598.81 c nbDecision=88500 #constraints=20990 604.14/604.47 c nbDecision=89000 #constraints=21086 612.13/612.44 c nbDecision=89500 #constraints=21204 619.53/619.80 c nbDecision=90000 #constraints=21346 627.23/627.59 c nbDecision=90500 #constraints=21522 633.83/634.19 c nbDecision=91000 #constraints=21644 642.42/642.70 c nbDecision=91500 #constraints=21802 652.52/652.83 c nbDecision=92000 #constraints=21983 660.12/660.47 c nbDecision=92500 #constraints=22117 669.42/669.78 c nbDecision=93000 #constraints=22292 679.82/680.14 c nbDecision=93500 #constraints=22450 689.12/689.46 c nbDecision=94000 #constraints=22590 697.02/697.38 c nbDecision=94500 #constraints=22693 705.41/705.74 c nbDecision=95000 #constraints=22820 715.21/715.59 c nbDecision=95500 #constraints=22979 726.71/727.03 c nbDecision=96000 #constraints=23154 736.10/736.45 c nbDecision=96500 #constraints=23281 744.90/745.29 c nbDecision=97000 #constraints=23413 754.80/755.19 c nbDecision=97500 #constraints=23539 762.49/762.82 c nbDecision=98000 #constraints=23670 771.99/772.40 c nbDecision=98500 #constraints=23791 781.59/781.97 c nbDecision=99000 #constraints=23961 790.89/791.20 c nbDecision=99500 #constraints=24116 801.18/801.50 c nbDecision=100000 #constraints=24286 810.38/810.73 c nbDecision=100500 #constraints=24439 819.88/820.27 c nbDecision=101000 #constraints=24584 828.57/828.94 c nbDecision=101500 #constraints=24740 841.47/841.83 c nbDecision=102000 #constraints=24903 851.97/852.38 c restart after 102401 decisions 853.87/854.20 c nbDecision=102500 #constraints=25033 861.06/861.41 c nbDecision=103000 #constraints=25102 865.76/866.19 c nbDecision=103500 #constraints=25141 870.56/870.92 c nbDecision=104000 #constraints=25190 875.27/875.62 c nbDecision=104500 #constraints=25240 880.67/881.02 c nbDecision=105000 #constraints=25314 884.96/885.40 c nbDecision=105500 #constraints=25377 889.26/889.67 c nbDecision=106000 #constraints=25437 893.97/894.35 c nbDecision=106500 #constraints=25496 898.37/898.77 c nbDecision=107000 #constraints=25542 900.16/900.57 c nbDecision=107500 #constraints=25565 902.36/902.73 c nbDecision=108000 #constraints=25591 904.96/905.34 c nbDecision=108500 #constraints=25622 907.96/908.37 c nbDecision=109000 #constraints=25661 912.96/913.39 c nbDecision=109500 #constraints=25716 917.45/917.84 c nbDecision=110000 #constraints=25758 920.95/921.30 c nbDecision=110500 #constraints=25825 923.85/924.23 c nbDecision=111000 #constraints=25888 929.15/929.59 c nbDecision=111500 #constraints=25941 933.05/933.44 c nbDecision=112000 #constraints=25988 939.25/939.63 c nbDecision=112500 #constraints=26110 943.54/943.92 c nbDecision=113000 #constraints=26192 949.04/949.45 c nbDecision=113500 #constraints=26280 952.84/953.25 c nbDecision=114000 #constraints=26352 956.64/957.08 c nbDecision=114500 #constraints=26427 963.44/963.86 c nbDecision=115000 #constraints=26536 968.14/968.56 c nbDecision=115500 #constraints=26598 974.73/975.10 c nbDecision=116000 #constraints=26701 981.13/981.55 c nbDecision=116500 #constraints=26794 986.34/986.75 c nbDecision=117000 #constraints=26856 992.73/993.16 c nbDecision=117500 #constraints=26923 997.13/997.51 c nbDecision=118000 #constraints=26975 1002.93/1003.30 c nbDecision=118500 #constraints=27052 1009.33/1009.70 c nbDecision=119000 #constraints=27152 1016.72/1017.14 c nbDecision=119500 #constraints=27250 1022.22/1022.70 c nbDecision=120000 #constraints=27326 1026.32/1026.74 c nbDecision=120500 #constraints=27387 1029.62/1030.05 c nbDecision=121000 #constraints=27450 1034.22/1034.70 c nbDecision=121500 #constraints=27520 1040.61/1041.07 c nbDecision=122000 #constraints=27598 1050.21/1050.63 c nbDecision=122500 #constraints=27709 1055.52/1055.96 c nbDecision=123000 #constraints=27790 1065.52/1066.00 c nbDecision=123500 #constraints=27927 1071.82/1072.28 c nbDecision=124000 #constraints=28045 1079.81/1080.28 c nbDecision=124500 #constraints=28154 1083.81/1084.27 c nbDecision=125000 #constraints=28230 1087.21/1087.60 c nbDecision=125500 #constraints=28288 1092.20/1092.65 c nbDecision=126000 #constraints=28365 1096.60/1097.08 c nbDecision=126500 #constraints=28443 1102.40/1102.85 c nbDecision=127000 #constraints=28530 1107.90/1108.31 c nbDecision=127500 #constraints=28581 1113.90/1114.38 c nbDecision=128000 #constraints=28650 1118.20/1118.63 c nbDecision=128500 #constraints=28726 1124.30/1124.71 c nbDecision=129000 #constraints=28790 1131.99/1132.45 c nbDecision=129500 #constraints=28873 1137.49/1137.99 c nbDecision=130000 #constraints=28938 1142.09/1142.59 c nbDecision=130500 #constraints=28993 1147.49/1147.95 c nbDecision=131000 #constraints=29063 1153.19/1153.60 c nbDecision=131500 #constraints=29112 1160.78/1161.29 c nbDecision=132000 #constraints=29195 1167.48/1167.95 c nbDecision=132500 #constraints=29277 1173.88/1174.39 c nbDecision=133000 #constraints=29353 1181.79/1182.28 c nbDecision=133500 #constraints=29432 1189.48/1189.98 c nbDecision=134000 #constraints=29503 1197.78/1198.26 c nbDecision=134500 #constraints=29589 1206.28/1206.71 c nbDecision=135000 #constraints=29677 1210.08/1210.58 c nbDecision=135500 #constraints=29715 1215.08/1215.58 c nbDecision=136000 #constraints=29767 1221.47/1221.95 c nbDecision=136500 #constraints=29825 1228.97/1229.42 c nbDecision=137000 #constraints=29907 1232.47/1232.96 c nbDecision=137500 #constraints=29961 1235.47/1235.97 c nbDecision=138000 #constraints=30037 1241.47/1241.94 c nbDecision=138500 #constraints=30109 1247.86/1248.31 c nbDecision=139000 #constraints=30177 1252.96/1253.46 c nbDecision=139500 #constraints=30235 1256.86/1257.38 c nbDecision=140000 #constraints=30298 1262.36/1262.81 c nbDecision=140500 #constraints=30363 1268.66/1269.18 c nbDecision=141000 #constraints=30439 1274.36/1274.85 c nbDecision=141500 #constraints=30518 1279.55/1280.05 c nbDecision=142000 #constraints=30607 1287.05/1287.59 c nbDecision=142500 #constraints=30688 1292.95/1293.45 c nbDecision=143000 #constraints=30760 1298.95/1299.48 c nbDecision=143500 #constraints=30831 1305.95/1306.47 c nbDecision=144000 #constraints=30912 1313.04/1313.52 c nbDecision=144500 #constraints=30992 1319.14/1319.66 c nbDecision=145000 #constraints=31066 1326.04/1326.52 c nbDecision=145500 #constraints=31134 1333.24/1333.71 c nbDecision=146000 #constraints=31213 1341.45/1341.98 c nbDecision=146500 #constraints=31307 1349.44/1349.92 c nbDecision=147000 #constraints=31411 1357.64/1358.15 c nbDecision=147500 #constraints=31485 1365.13/1365.64 c nbDecision=148000 #constraints=31576 1375.03/1375.59 c nbDecision=148500 #constraints=31675 1382.82/1383.39 c nbDecision=149000 #constraints=31767 1392.32/1392.90 c nbDecision=149500 #constraints=31865 1399.82/1400.37 c nbDecision=150000 #constraints=31956 1408.82/1409.37 c nbDecision=150500 #constraints=32075 1419.62/1420.20 c nbDecision=151000 #constraints=32180 1429.31/1429.88 c nbDecision=151500 #constraints=32286 1440.31/1440.81 c nbDecision=152000 #constraints=32406 1453.31/1453.86 c nbDecision=152500 #constraints=32563 1462.71/1463.25 c nbDecision=153000 #constraints=32660 1473.70/1474.29 c nbDecision=153500 #constraints=32754 1480.40/1480.92 c nbDecision=154000 #constraints=32830 1492.39/1492.96 c nbDecision=154500 #constraints=32936 1501.29/1501.81 c nbDecision=155000 #constraints=33029 1513.39/1513.92 c nbDecision=155500 #constraints=33159 1525.59/1526.16 c nbDecision=156000 #constraints=33264 1535.39/1535.93 c nbDecision=156500 #constraints=33368 1545.58/1546.12 c nbDecision=157000 #constraints=33487 1558.98/1559.58 c nbDecision=157500 #constraints=33590 1577.78/1578.33 c nbDecision=158000 #constraints=33700 1595.37/1595.98 c nbDecision=158500 #constraints=33892 1608.27/1608.87 c nbDecision=159000 #constraints=34062 1625.66/1626.27 c nbDecision=159500 #constraints=34233 1633.46/1634.07 c nbDecision=160000 #constraints=34347 1645.75/1646.34 c nbDecision=160500 #constraints=34519 1658.56/1659.12 c nbDecision=161000 #constraints=34690 1676.35/1676.98 c nbDecision=161500 #constraints=34836 1694.65/1695.29 c nbDecision=162000 #constraints=35026 1720.44/1721.08 c nbDecision=162500 #constraints=35266 1738.03/1738.68 c nbDecision=163000 #constraints=35417 1748.83/1749.44 c nbDecision=163500 #constraints=35561 1760.53/1761.13 c nbDecision=164000 #constraints=35692 1786.92/1787.55 c nbDecision=164500 #constraints=35895 1800.02/1800.60 Received signal 15 1800.02/1800.60 1800.02/1800.60 s UNKNOWN 1800.02/1800.60 1800.02/1800.60 c user time= 1799.83 s 1800.02/1800.60 c system time= 0.198969 s 1800.02/1800.60 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/node62/watcher-366922-1177001873 -o ROOT/results/node62/solver-366922-1177001873 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366922-1177001873/instance-366922-1177001873.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.77 0.92 0.89 3/64 21844 /proc/meminfo: memFree=1682352/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=1468 CPUtime=0 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 175 0 0 0 0 0 0 0 19 0 1 0 18763290 1503232 157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 367 157 131 317 0 46 0 [startup+0.081211 s] /proc/loadavg: 0.77 0.92 0.89 3/64 21844 /proc/meminfo: memFree=1682352/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=1864 CPUtime=0.07 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 324 0 0 0 7 0 0 0 19 0 1 0 18763290 1908736 306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135132174 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 466 306 170 317 0 145 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1864 [startup+0.101213 s] /proc/loadavg: 0.77 0.92 0.89 3/64 21844 /proc/meminfo: memFree=1682352/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=1996 CPUtime=0.09 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 334 0 0 0 9 0 0 0 19 0 1 0 18763290 2043904 316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 499 316 170 317 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1996 [startup+0.301236 s] /proc/loadavg: 0.77 0.92 0.89 3/64 21844 /proc/meminfo: memFree=1682352/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=2396 CPUtime=0.29 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 463 0 0 0 29 0 0 0 20 0 1 0 18763290 2453504 445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 599 445 170 317 0 278 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2396 [startup+0.701283 s] /proc/loadavg: 0.77 0.92 0.89 3/64 21844 /proc/meminfo: memFree=1682352/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=3344 CPUtime=0.69 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 667 0 0 0 69 0 0 0 24 0 1 0 18763290 3424256 649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711491 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 836 649 170 317 0 515 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3344 [startup+1.50138 s] /proc/loadavg: 0.77 0.92 0.89 2/65 21845 /proc/meminfo: memFree=1679848/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=4408 CPUtime=1.49 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 946 0 0 0 149 0 0 0 25 0 1 0 18763290 4513792 928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 1102 928 170 317 0 781 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4408 [startup+3.10157 s] /proc/loadavg: 0.77 0.92 0.89 2/65 21845 /proc/meminfo: memFree=1678504/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=5828 CPUtime=3.08 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 1282 0 0 0 308 0 0 0 25 0 1 0 18763290 5967872 1264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 1457 1264 170 317 0 1136 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 5828 [startup+6.30194 s] /proc/loadavg: 0.79 0.92 0.89 2/65 21845 /proc/meminfo: memFree=1676656/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=7280 CPUtime=6.29 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 1649 0 0 0 628 1 0 0 25 0 1 0 18763290 7454720 1631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 1820 1631 170 317 0 1499 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7280 [startup+12.7017 s] /proc/loadavg: 0.81 0.92 0.89 2/65 21845 /proc/meminfo: memFree=1674800/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=9076 CPUtime=12.69 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 2027 0 0 0 1268 1 0 0 25 0 1 0 18763290 9293824 2009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 2269 2009 170 317 0 1948 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9076 [startup+25.5012 s] /proc/loadavg: 0.85 0.93 0.90 2/65 21845 /proc/meminfo: memFree=1673008/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=10708 CPUtime=25.48 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 2445 0 0 0 2547 1 0 0 25 0 1 0 18763290 10964992 2427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 2677 2427 170 317 0 2356 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10708 [startup+51.1012 s] /proc/loadavg: 0.90 0.93 0.90 2/65 21845 /proc/meminfo: memFree=1669360/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=14140 CPUtime=51.07 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 3354 0 0 0 5105 2 0 0 25 0 1 0 18763290 14479360 3336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 3535 3336 170 317 0 3214 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14140 [startup+102.304 s] /proc/loadavg: 0.96 0.94 0.90 2/65 21845 /proc/meminfo: memFree=1665968/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=18496 CPUtime=102.26 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 4249 0 0 0 10223 3 0 0 25 0 1 0 18763290 18939904 4173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 4624 4173 170 317 0 4303 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18496 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.91 2/65 21845 /proc/meminfo: memFree=1663664/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=20596 CPUtime=162.24 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 4834 0 0 0 16220 4 0 0 25 0 1 0 18763290 21090304 4758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385260 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 5149 4758 170 317 0 4828 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 20596 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.91 2/71 22011 /proc/meminfo: memFree=1659832/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=23016 CPUtime=222.16 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 5434 0 0 0 22209 7 0 0 25 0 1 0 18763290 23568384 5358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 5754 5358 170 317 0 5433 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 23016 [startup+282.301 s] /proc/loadavg: 0.99 0.96 0.91 2/65 22043 /proc/meminfo: memFree=1658608/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=25280 CPUtime=282.13 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 6051 0 0 0 28205 8 0 0 25 0 1 0 18763290 25886720 5975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 6320 5975 170 317 0 5999 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 25280 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1656240/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=27668 CPUtime=342.11 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 6633 0 0 0 34203 8 0 0 25 0 1 0 18763290 28332032 6557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 6917 6557 170 317 0 6596 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 27668 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1653936/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=31528 CPUtime=402.09 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 7546 0 0 0 40200 9 0 0 25 0 1 0 18763290 32284672 7125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 7882 7125 170 317 0 7561 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 31528 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1652016/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=33624 CPUtime=462.07 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 8084 0 0 0 46198 9 0 0 25 0 1 0 18763290 34430976 7597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563527 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 8406 7597 170 317 0 8085 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 33624 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1650608/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=35104 CPUtime=522.06 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 8441 0 0 0 52197 9 0 0 25 0 1 0 18763290 35946496 7954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716163 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 8776 7954 170 317 0 8455 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 35104 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1648688/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=36984 CPUtime=582.04 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 8949 0 0 0 58194 10 0 0 25 0 1 0 18763290 37871616 8429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 9246 8429 170 317 0 8925 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 36984 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1646640/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=38768 CPUtime=642.03 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 9456 0 0 0 64193 10 0 0 25 0 1 0 18763290 39698432 8936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 9692 8936 170 317 0 9371 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 38768 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1640240/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=45136 CPUtime=881.97 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 11082 0 0 0 88184 13 0 0 25 0 1 0 18763290 46219264 10529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 11284 10529 170 317 0 10963 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 45136 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1638960/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=46348 CPUtime=941.94 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 11402 0 0 0 94181 13 0 0 25 0 1 0 18763290 47460352 10849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 11587 10849 170 317 0 11266 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 46348 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1637296/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=47852 CPUtime=1001.93 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 11807 0 0 0 100180 13 0 0 25 0 1 0 18763290 49000448 11254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 11963 11254 170 317 0 11642 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 47852 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1635824/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=49564 CPUtime=1061.92 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 12229 0 0 0 106178 14 0 0 25 0 1 0 18763290 50753536 11676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 12391 11676 170 317 0 12070 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 49564 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1634096/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=50924 CPUtime=1121.9 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 12617 0 0 0 112176 14 0 0 25 0 1 0 18763290 52146176 12064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 12731 12064 170 317 0 12410 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 50924 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1633008/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=52008 CPUtime=1181.89 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 12898 0 0 0 118174 15 0 0 25 0 1 0 18763290 53256192 12345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 13002 12345 170 317 0 12681 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 52008 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1631792/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=53088 CPUtime=1241.87 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 13175 0 0 0 124172 15 0 0 25 0 1 0 18763290 54362112 12622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 13272 12622 170 317 0 12951 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 53088 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1630448/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=54560 CPUtime=1301.85 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 13509 0 0 0 130170 15 0 0 25 0 1 0 18763290 55869440 12956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 13640 12956 170 317 0 13319 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 54560 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1629232/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=55788 CPUtime=1361.83 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 13811 0 0 0 136167 16 0 0 25 0 1 0 18763290 57126912 13258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 13947 13258 170 317 0 13626 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 55788 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1627824/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=56856 CPUtime=1421.82 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 14138 0 0 0 142166 16 0 0 25 0 1 0 18763290 58220544 13585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 14214 13585 170 317 0 13893 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 56856 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1626480/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=58464 CPUtime=1481.8 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 14536 0 0 0 148163 17 0 0 25 0 1 0 18763290 59867136 13917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533544 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 14616 13917 170 317 0 14295 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 58464 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1624624/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=62248 CPUtime=1541.78 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 15535 0 0 0 154160 18 0 0 25 0 1 0 18763290 63741952 14331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 15562 14331 170 317 0 15241 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 62248 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1624304/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=62644 CPUtime=1601.77 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 15658 0 0 0 160159 18 0 0 25 0 1 0 18763290 64147456 14454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 15661 14454 170 317 0 15340 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 62644 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1623088/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=65356 CPUtime=1661.76 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 16348 0 0 0 166157 19 0 0 25 0 1 0 18763290 66924544 14754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 16339 14754 170 317 0 16018 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 65356 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1622064/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=66912 CPUtime=1721.74 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 16753 0 0 0 172155 19 0 0 25 0 1 0 18763290 68517888 15029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 16728 15029 170 317 0 16407 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 66912 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1620912/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=67960 CPUtime=1781.72 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 17049 0 0 0 178153 19 0 0 25 0 1 0 18763290 69591040 15292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 16990 15292 170 317 0 16669 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 67960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1620528/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=68352 CPUtime=1800.02 /proc/21844/stat : 21844 (oree) R 21842 21844 21787 0 -1 4194304 17150 0 0 0 179983 19 0 0 25 0 1 0 18763290 69992448 15393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21844/statm: 17088 15393 170 317 0 16767 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 68352 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.91 2/65 22043 /proc/meminfo: memFree=1620528/2055920 swapFree=4184556/4192956 [pid=21844] ppid=21842 vsize=0 CPUtime=1800.03 /proc/21844/stat : 21844 (oree) D 21842 21844 21787 0 -1 4194308 17166 0 0 0 179983 20 0 0 25 0 1 0 18763290 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0 /proc/21844/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.05 CPU user time (s): 1799.84 CPU system time (s): 0.210967 CPU usage (%): 99.9593 Max. virtual memory (cumulated for all children) (KiB): 68352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.210967 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17166 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 2650 runsolver used 1.21582 second user time and 3.78842 second system time The end
Begin job on node62 on Thu Apr 19 16:57:53 UTC 2007 IDJOB= 366922 IDBENCH= 2945 IDSOLVER= 172 FILE ID= node62/366922-1177001873 PBS_JOBID= 4630517 Free space on /tmp= 66497 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_6.opb COMMAND LINE= oree /tmp/evaluation/366922-1177001873/instance-366922-1177001873.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-366922-1177001873 -o ROOT/results/node62/solver-366922-1177001873 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366922-1177001873/instance-366922-1177001873.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= da335afc6b5d5727dca7fb9193531871 RANDOM SEED= 344065850 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.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: 1682760 kB Buffers: 8320 kB Cached: 295464 kB SwapCached: 2148 kB Active: 27660 kB Inactive: 285288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1682760 kB SwapTotal: 4192956 kB SwapFree: 4184556 kB Dirty: 1568 kB Writeback: 0 kB Mapped: 15640 kB Slab: 46228 kB Committed_AS: 172616 kB PageTables: 1460 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= 66497 MiB End job on node62 on Thu Apr 19 17:27:56 UTC 2007