Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.22 | 1800.92 |
Name | normalized-PB07/PURE-SAT/SAT07/ industrial/crypto/mizh-sha0-35-2.opb |
MD5SUM | e900fbd1606b0da7d65f7a2b7936e193 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 438.195 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 48689 |
Total number of constraints | 204071 |
Number of constraints which are clauses | 204071 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 4 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 7 |
Number of bits of the biggest sum of numbers | 3 |
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... 1.89/1.91 c ...done 1.89/1.91 c #vars=48689 #constraints=204071 hasObjective=no 2.09/2.17 c res. mode=mod 2.09/2.17 c VSIDS like heuristics 2.09/2.17 c complete search running 2.69/2.73 c restart after 401 decisions 2.79/2.84 c nbDecision=500 #constraints=204079 3.09/3.19 c restart after 801 decisions 3.30/3.38 c nbDecision=1000 #constraints=204086 3.79/3.84 c nbDecision=1500 #constraints=204090 4.19/4.23 c restart after 1601 decisions 4.59/4.66 c nbDecision=2000 #constraints=204112 5.50/5.53 c nbDecision=2500 #constraints=204139 6.69/6.70 c nbDecision=3000 #constraints=204205 7.39/7.40 c restart after 3201 decisions 8.49/8.57 c nbDecision=3500 #constraints=204305 9.29/9.34 c nbDecision=4000 #constraints=204329 10.99/11.05 c nbDecision=4500 #constraints=204414 11.99/12.03 c nbDecision=5000 #constraints=204462 14.29/14.39 c nbDecision=5500 #constraints=204602 15.39/15.40 c nbDecision=6000 #constraints=204641 16.19/16.29 c restart after 6401 decisions 16.58/16.67 c nbDecision=6500 #constraints=204692 17.38/17.47 c nbDecision=7000 #constraints=204719 18.18/18.22 c nbDecision=7500 #constraints=204740 18.88/18.93 c nbDecision=8000 #constraints=204759 19.79/19.83 c nbDecision=8500 #constraints=204792 21.99/22.07 c nbDecision=9000 #constraints=204905 28.48/28.55 c nbDecision=9500 #constraints=205267 29.88/29.98 c nbDecision=10000 #constraints=205330 30.38/30.48 c nbDecision=10500 #constraints=205336 30.88/30.98 c nbDecision=11000 #constraints=205340 35.67/35.70 c nbDecision=11500 #constraints=205635 42.77/42.81 c nbDecision=12000 #constraints=206040 49.07/49.17 c nbDecision=12500 #constraints=206365 53.56/53.60 c restart after 12801 decisions 56.46/56.55 c nbDecision=13000 #constraints=206741 58.86/58.97 c nbDecision=13500 #constraints=206859 63.36/63.41 c nbDecision=14000 #constraints=207098 64.36/64.46 c nbDecision=14500 #constraints=207137 65.36/65.41 c nbDecision=15000 #constraints=207171 65.96/66.07 c nbDecision=15500 #constraints=207187 66.36/66.48 c nbDecision=16000 #constraints=207188 73.25/73.34 c nbDecision=16500 #constraints=207592 80.05/80.19 c nbDecision=17000 #constraints=207974 86.15/86.25 c nbDecision=17500 #constraints=208297 93.45/93.50 c nbDecision=18000 #constraints=208667 102.15/102.23 c nbDecision=18500 #constraints=209091 111.74/111.88 c nbDecision=19000 #constraints=209545 117.43/117.51 c nbDecision=19500 #constraints=209797 123.64/123.77 c nbDecision=20000 #constraints=210058 132.94/133.00 c nbDecision=20500 #constraints=210445 137.23/137.35 c nbDecision=21000 #constraints=210609 138.33/138.45 c nbDecision=21500 #constraints=210641 140.33/140.40 c nbDecision=22000 #constraints=210721 141.73/141.83 c nbDecision=22500 #constraints=210774 152.22/152.35 c nbDecision=23000 #constraints=211162 163.42/163.52 c nbDecision=23500 #constraints=211535 175.42/175.57 c nbDecision=24000 #constraints=211911 188.51/188.61 c nbDecision=24500 #constraints=212268 202.61/202.77 c nbDecision=25000 #constraints=212645 211.90/212.01 c nbDecision=25500 #constraints=212891 212.30/212.44 c restart after 25601 decisions 217.00/217.13 c nbDecision=26000 #constraints=213043 228.10/228.20 c nbDecision=26500 #constraints=213341 239.79/239.92 c nbDecision=27000 #constraints=213672 253.69/253.83 c nbDecision=27500 #constraints=214046 254.99/255.19 c nbDecision=28000 #constraints=214074 256.19/256.38 c nbDecision=28500 #constraints=214120 257.19/257.39 c nbDecision=29000 #constraints=214157 258.68/258.83 c nbDecision=29500 #constraints=214212 260.38/260.60 c nbDecision=30000 #constraints=214286 262.08/262.21 c nbDecision=30500 #constraints=214349 264.58/264.74 c nbDecision=31000 #constraints=214452 265.68/265.86 c nbDecision=31500 #constraints=214491 266.98/267.13 c nbDecision=32000 #constraints=214535 268.08/268.28 c nbDecision=32500 #constraints=214573 268.78/268.97 c nbDecision=33000 #constraints=214592 270.08/270.21 c nbDecision=33500 #constraints=214655 271.28/271.45 c nbDecision=34000 #constraints=214708 272.48/272.69 c nbDecision=34500 #constraints=214754 276.18/276.35 c nbDecision=35000 #constraints=214938 283.77/283.91 c nbDecision=35500 #constraints=215333 285.17/285.37 c nbDecision=36000 #constraints=215388 290.58/290.75 c nbDecision=36500 #constraints=215657 291.78/291.90 c nbDecision=37000 #constraints=215696 293.38/293.55 c nbDecision=37500 #constraints=215766 294.68/294.82 c nbDecision=38000 #constraints=215813 295.37/295.58 c nbDecision=38500 #constraints=215830 296.57/296.70 c nbDecision=39000 #constraints=215869 297.57/297.71 c nbDecision=39500 #constraints=215895 299.17/299.36 c nbDecision=40000 #constraints=215972 301.77/301.99 c nbDecision=40500 #constraints=216094 304.07/304.28 c nbDecision=41000 #constraints=216191 306.07/306.22 c nbDecision=41500 #constraints=216262 307.07/307.26 c nbDecision=42000 #constraints=216293 308.27/308.41 c nbDecision=42500 #constraints=216327 309.77/309.94 c nbDecision=43000 #constraints=216380 311.77/311.99 c nbDecision=43500 #constraints=216452 313.76/313.95 c nbDecision=44000 #constraints=216526 322.66/322.87 c nbDecision=44500 #constraints=216922 327.26/327.43 c nbDecision=45000 #constraints=217114 328.76/328.92 c nbDecision=45500 #constraints=217164 330.05/330.25 c nbDecision=46000 #constraints=217206 336.45/336.66 c nbDecision=46500 #constraints=217491 347.05/347.22 c nbDecision=47000 #constraints=217940 354.35/354.55 c nbDecision=47500 #constraints=218244 356.74/356.93 c nbDecision=48000 #constraints=218342 364.94/365.17 c nbDecision=48500 #constraints=218744 368.94/369.11 c nbDecision=49000 #constraints=218909 371.43/371.63 c nbDecision=49500 #constraints=219002 379.44/379.63 c nbDecision=50000 #constraints=219416 388.14/388.39 c nbDecision=50500 #constraints=219832 397.73/397.91 c nbDecision=51000 #constraints=220259 401.72/401.97 c restart after 51201 decisions 406.42/406.65 c nbDecision=51500 #constraints=220606 415.82/416.03 c nbDecision=52000 #constraints=220944 419.01/419.24 c nbDecision=52500 #constraints=221050 423.23/423.41 c nbDecision=53000 #constraints=221195 425.82/426.01 c nbDecision=53500 #constraints=221281 427.52/427.76 c nbDecision=54000 #constraints=221337 429.32/429.54 c nbDecision=54500 #constraints=221394 430.82/431.08 c nbDecision=55000 #constraints=221433 434.22/434.44 c nbDecision=55500 #constraints=221554 435.72/435.92 c nbDecision=56000 #constraints=221589 437.71/437.95 c nbDecision=56500 #constraints=221649 439.21/439.43 c nbDecision=57000 #constraints=221687 444.61/444.81 c nbDecision=57500 #constraints=221875 448.81/449.00 c nbDecision=58000 #constraints=222048 451.31/451.52 c nbDecision=58500 #constraints=222174 453.91/454.19 c nbDecision=59000 #constraints=222291 464.70/464.91 c nbDecision=59500 #constraints=222711 467.60/467.89 c nbDecision=60000 #constraints=222807 469.10/469.33 c nbDecision=60500 #constraints=222853 476.50/476.79 c nbDecision=61000 #constraints=223125 489.30/489.52 c nbDecision=61500 #constraints=223554 493.79/494.05 c nbDecision=62000 #constraints=223685 495.09/495.39 c nbDecision=62500 #constraints=223719 500.29/500.58 c nbDecision=63000 #constraints=223916 508.18/508.48 c nbDecision=63500 #constraints=224218 517.79/518.07 c nbDecision=64000 #constraints=224586 530.48/530.72 c nbDecision=64500 #constraints=225043 544.87/545.12 c nbDecision=65000 #constraints=225497 559.57/559.80 c nbDecision=65500 #constraints=225928 577.66/577.90 c nbDecision=66000 #constraints=226390 595.85/596.16 c nbDecision=66500 #constraints=226827 618.14/618.43 c nbDecision=67000 #constraints=227278 640.63/640.97 c nbDecision=67500 #constraints=227744 663.03/663.39 c nbDecision=68000 #constraints=228195 684.92/685.27 c nbDecision=68500 #constraints=228627 695.92/696.22 c nbDecision=69000 #constraints=228870 700.61/700.96 c nbDecision=69500 #constraints=229014 703.11/703.41 c nbDecision=70000 #constraints=229080 704.41/704.74 c nbDecision=70500 #constraints=229124 706.81/707.14 c nbDecision=71000 #constraints=229226 708.31/708.67 c nbDecision=71500 #constraints=229265 710.80/711.19 c nbDecision=72000 #constraints=229358 719.81/720.12 c nbDecision=72500 #constraints=229766 729.20/729.57 c nbDecision=73000 #constraints=230183 740.29/740.61 c nbDecision=73500 #constraints=230630 745.50/745.80 c nbDecision=74000 #constraints=230830 746.99/747.30 c nbDecision=74500 #constraints=230876 748.89/749.22 c nbDecision=75000 #constraints=230940 752.09/752.41 c nbDecision=75500 #constraints=231028 756.19/756.50 c nbDecision=76000 #constraints=231145 767.98/768.30 c nbDecision=76500 #constraints=231480 782.58/782.96 c nbDecision=77000 #constraints=231847 795.07/795.40 c nbDecision=77500 #constraints=232247 809.27/809.62 c nbDecision=78000 #constraints=232674 820.47/820.87 c nbDecision=78500 #constraints=232980 824.87/825.26 c nbDecision=79000 #constraints=233092 827.27/827.63 c nbDecision=79500 #constraints=233146 834.26/834.60 c nbDecision=80000 #constraints=233367 847.36/847.79 c nbDecision=80500 #constraints=233763 864.54/864.95 c nbDecision=81000 #constraints=234229 880.94/881.32 c nbDecision=81500 #constraints=234664 898.24/898.65 c nbDecision=82000 #constraints=235098 903.23/903.62 c nbDecision=82500 #constraints=235258 910.93/911.32 c nbDecision=83000 #constraints=235581 915.83/916.30 c nbDecision=83500 #constraints=235775 922.62/923.00 c nbDecision=84000 #constraints=235994 931.82/932.20 c nbDecision=84500 #constraints=236300 938.82/939.21 c nbDecision=85000 #constraints=236557 946.51/946.95 c nbDecision=85500 #constraints=236830 957.41/957.86 c nbDecision=86000 #constraints=237208 965.81/966.22 c nbDecision=86500 #constraints=237493 977.11/977.59 c nbDecision=87000 #constraints=237866 988.51/988.95 c nbDecision=87500 #constraints=238250 998.00/998.46 c nbDecision=88000 #constraints=238554 1010.49/1010.90 c nbDecision=88500 #constraints=238934 1023.79/1024.27 c nbDecision=89000 #constraints=239301 1032.39/1032.88 c nbDecision=89500 #constraints=239516 1035.98/1036.42 c nbDecision=90000 #constraints=239576 1039.38/1039.80 c nbDecision=90500 #constraints=239632 1047.78/1048.30 c nbDecision=91000 #constraints=239876 1056.78/1057.25 c nbDecision=91500 #constraints=240080 1062.67/1063.16 c nbDecision=92000 #constraints=240226 1065.87/1066.39 c nbDecision=92500 #constraints=240326 1067.07/1067.58 c nbDecision=93000 #constraints=240345 1068.37/1068.90 c nbDecision=93500 #constraints=240372 1069.67/1070.12 c nbDecision=94000 #constraints=240398 1071.17/1071.61 c nbDecision=94500 #constraints=240445 1073.17/1073.66 c nbDecision=95000 #constraints=240529 1076.27/1076.74 c nbDecision=95500 #constraints=240679 1080.66/1081.12 c nbDecision=96000 #constraints=240889 1091.46/1091.90 c nbDecision=96500 #constraints=241115 1115.25/1115.74 c nbDecision=97000 #constraints=241537 1141.04/1141.52 c nbDecision=97500 #constraints=241960 1150.04/1150.56 c nbDecision=98000 #constraints=242112 1153.34/1153.81 c nbDecision=98500 #constraints=242229 1155.14/1155.66 c nbDecision=99000 #constraints=242273 1158.43/1158.97 c nbDecision=99500 #constraints=242356 1161.93/1162.47 c nbDecision=100000 #constraints=242408 1167.63/1168.14 c nbDecision=100500 #constraints=242531 1174.53/1175.06 c nbDecision=101000 #constraints=242675 1180.72/1181.28 c nbDecision=101500 #constraints=242805 1195.41/1195.94 c nbDecision=102000 #constraints=243157 1206.12/1206.66 c restart after 102401 decisions 1207.52/1208.04 c nbDecision=102500 #constraints=243335 1227.11/1227.67 c nbDecision=103000 #constraints=243597 1231.81/1232.33 c nbDecision=103500 #constraints=243678 1234.40/1234.97 c nbDecision=104000 #constraints=243715 1240.90/1241.44 c nbDecision=104500 #constraints=243861 1242.50/1243.05 c nbDecision=105000 #constraints=243924 1243.60/1244.13 c nbDecision=105500 #constraints=243962 1244.90/1245.42 c nbDecision=106000 #constraints=244009 1246.20/1246.70 c nbDecision=106500 #constraints=244057 1247.60/1248.12 c nbDecision=107000 #constraints=244114 1250.69/1251.27 c nbDecision=107500 #constraints=244301 1252.79/1253.37 c nbDecision=108000 #constraints=244415 1255.70/1256.23 c nbDecision=108500 #constraints=244543 1259.90/1260.43 c nbDecision=109000 #constraints=244674 1261.30/1261.89 c nbDecision=109500 #constraints=244727 1262.40/1262.95 c nbDecision=110000 #constraints=244759 1263.99/1264.53 c nbDecision=110500 #constraints=244814 1265.60/1266.18 c nbDecision=111000 #constraints=244872 1267.99/1268.52 c nbDecision=111500 #constraints=244949 1270.19/1270.78 c nbDecision=112000 #constraints=245020 1270.89/1271.45 c nbDecision=112500 #constraints=245027 1271.49/1272.07 c nbDecision=113000 #constraints=245031 1272.89/1273.42 c nbDecision=113500 #constraints=245076 1274.19/1274.79 c nbDecision=114000 #constraints=245119 1276.29/1276.81 c nbDecision=114500 #constraints=245194 1278.39/1278.94 c nbDecision=115000 #constraints=245272 1280.69/1281.25 c nbDecision=115500 #constraints=245351 1283.59/1284.12 c nbDecision=116000 #constraints=245420 1286.98/1287.55 c nbDecision=116500 #constraints=245525 1288.78/1289.36 c nbDecision=117000 #constraints=245606 1291.18/1291.76 c nbDecision=117500 #constraints=245724 1292.88/1293.44 c nbDecision=118000 #constraints=245765 1293.98/1294.59 c nbDecision=118500 #constraints=245793 1296.58/1297.18 c nbDecision=119000 #constraints=245877 1298.78/1299.33 c nbDecision=119500 #constraints=245927 1302.17/1302.79 c nbDecision=120000 #constraints=246028 1312.37/1312.90 c nbDecision=120500 #constraints=246347 1317.97/1318.56 c nbDecision=121000 #constraints=246517 1319.87/1320.47 c nbDecision=121500 #constraints=246565 1322.27/1322.88 c nbDecision=122000 #constraints=246613 1325.27/1325.84 c nbDecision=122500 #constraints=246670 1328.67/1329.25 c nbDecision=123000 #constraints=246747 1338.26/1338.87 c nbDecision=123500 #constraints=247025 1352.05/1352.66 c nbDecision=124000 #constraints=247312 1364.16/1364.70 c nbDecision=124500 #constraints=247579 1378.85/1379.49 c nbDecision=125000 #constraints=247889 1385.45/1386.08 c nbDecision=125500 #constraints=248033 1387.65/1388.22 c nbDecision=126000 #constraints=248067 1397.75/1398.35 c nbDecision=126500 #constraints=248332 1401.44/1402.02 c nbDecision=127000 #constraints=248389 1404.94/1405.58 c nbDecision=127500 #constraints=248443 1421.93/1422.55 c nbDecision=128000 #constraints=248805 1428.23/1428.84 c nbDecision=128500 #constraints=248916 1431.23/1431.86 c nbDecision=129000 #constraints=249011 1438.92/1439.57 c nbDecision=129500 #constraints=249293 1444.92/1445.54 c nbDecision=130000 #constraints=249470 1445.72/1446.39 c nbDecision=130500 #constraints=249483 1450.32/1450.95 c nbDecision=131000 #constraints=249572 1463.91/1464.54 c nbDecision=131500 #constraints=249875 1472.21/1472.81 c nbDecision=132000 #constraints=250085 1481.21/1481.89 c nbDecision=132500 #constraints=250276 1489.81/1490.47 c nbDecision=133000 #constraints=250508 1495.80/1496.46 c nbDecision=133500 #constraints=250606 1497.51/1498.14 c nbDecision=134000 #constraints=250629 1501.50/1502.14 c nbDecision=134500 #constraints=250781 1507.60/1508.29 c nbDecision=135000 #constraints=251018 1514.89/1515.52 c nbDecision=135500 #constraints=251285 1523.59/1524.26 c nbDecision=136000 #constraints=251617 1530.39/1531.08 c nbDecision=136500 #constraints=251861 1537.99/1538.61 c nbDecision=137000 #constraints=252103 1543.98/1544.68 c nbDecision=137500 #constraints=252309 1549.28/1549.98 c nbDecision=138000 #constraints=252487 1553.08/1553.72 c nbDecision=138500 #constraints=252624 1557.38/1558.04 c nbDecision=139000 #constraints=252755 1560.68/1561.32 c nbDecision=139500 #constraints=252869 1567.18/1567.83 c nbDecision=140000 #constraints=253077 1576.67/1577.30 c nbDecision=140500 #constraints=253360 1583.17/1583.82 c nbDecision=141000 #constraints=253551 1587.86/1588.51 c nbDecision=141500 #constraints=253687 1594.86/1595.56 c nbDecision=142000 #constraints=253918 1603.47/1604.14 c nbDecision=142500 #constraints=254202 1611.56/1612.21 c nbDecision=143000 #constraints=254462 1619.95/1620.61 c nbDecision=143500 #constraints=254735 1621.86/1622.52 c nbDecision=144000 #constraints=254804 1626.35/1627.10 c nbDecision=144500 #constraints=254920 1628.45/1629.18 c nbDecision=145000 #constraints=254966 1631.35/1632.10 c nbDecision=145500 #constraints=255073 1638.85/1639.51 c nbDecision=146000 #constraints=255280 1647.24/1647.94 c nbDecision=146500 #constraints=255511 1657.84/1658.52 c nbDecision=147000 #constraints=255774 1662.94/1663.63 c nbDecision=147500 #constraints=255872 1666.14/1666.83 c nbDecision=148000 #constraints=255932 1669.14/1669.83 c nbDecision=148500 #constraints=255992 1673.14/1673.89 c nbDecision=149000 #constraints=256093 1680.53/1681.26 c nbDecision=149500 #constraints=256226 1684.03/1684.75 c nbDecision=150000 #constraints=256299 1688.03/1688.78 c nbDecision=150500 #constraints=256361 1692.83/1693.55 c nbDecision=151000 #constraints=256468 1696.63/1697.37 c nbDecision=151500 #constraints=256540 1705.22/1705.94 c nbDecision=152000 #constraints=256701 1708.92/1709.64 c nbDecision=152500 #constraints=256749 1713.12/1713.87 c nbDecision=153000 #constraints=256823 1718.41/1719.10 c nbDecision=153500 #constraints=256908 1722.71/1723.43 c nbDecision=154000 #constraints=256990 1728.11/1728.81 c nbDecision=154500 #constraints=257074 1734.52/1735.20 c nbDecision=155000 #constraints=257191 1737.51/1738.22 c nbDecision=155500 #constraints=257241 1744.71/1745.45 c nbDecision=156000 #constraints=257334 1752.91/1753.60 c nbDecision=156500 #constraints=257441 1769.30/1770.02 c nbDecision=157000 #constraints=257752 1786.39/1787.13 c nbDecision=157500 #constraints=258147 1800.09/1800.80 Received signal 15 1800.09/1800.84 1800.09/1800.84 s UNKNOWN 1800.09/1800.84 1800.09/1800.84 c user time= 1799.7 s 1800.09/1800.84 c system time= 0.439933 s 1800.09/1800.84 c wall clock time=1800.84
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-419087-1177402745 -o ROOT/results/node40/solver-419087-1177402745 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419087-1177402745/instance-419087-1177402745.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 1.00 0.96 3/77 23217 /proc/meminfo: memFree=1784376/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=1468 CPUtime=0 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 69154107 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 367 166 130 317 0 46 0 [startup+0.0296451 s] /proc/loadavg: 0.92 1.00 0.96 3/77 23217 /proc/meminfo: memFree=1784376/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=1996 CPUtime=0.02 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 318 0 0 0 2 0 0 0 18 0 1 0 69154107 2043904 301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 499 301 130 317 0 178 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1996 [startup+0.10166 s] /proc/loadavg: 0.92 1.00 0.96 3/77 23217 /proc/meminfo: memFree=1784376/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=3580 CPUtime=0.09 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 699 0 0 0 9 0 0 0 18 0 1 0 69154107 3665920 682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 895 682 130 317 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3580 [startup+0.301702 s] /proc/loadavg: 0.92 1.00 0.96 3/77 23217 /proc/meminfo: memFree=1784376/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=7800 CPUtime=0.29 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 1755 0 0 0 28 1 0 0 19 0 1 0 69154107 7987200 1705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 1950 1705 130 317 0 1629 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7800 [startup+0.701785 s] /proc/loadavg: 0.92 1.00 0.96 3/77 23217 /proc/meminfo: memFree=1784376/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=15976 CPUtime=0.69 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 3853 0 0 0 67 2 0 0 22 0 1 0 69154107 16359424 3738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 3994 3738 130 317 0 3673 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15976 [startup+1.50195 s] /proc/loadavg: 0.92 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1763888/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=32196 CPUtime=1.49 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 7996 0 0 0 145 4 0 0 25 0 1 0 69154107 32968704 7752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 8049 7753 130 317 0 7728 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32196 [startup+3.10128 s] /proc/loadavg: 0.92 1.00 0.96 3/78 23218 /proc/meminfo: memFree=1725360/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=74604 CPUtime=3.09 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 18635 0 0 0 300 9 0 0 25 0 1 0 69154107 76394496 16995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 18651 16995 139 317 0 18330 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 74604 [startup+6.30195 s] /proc/loadavg: 0.93 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1716336/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=74604 CPUtime=6.29 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 18635 0 0 0 620 9 0 0 25 0 1 0 69154107 76394496 16995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 18651 16995 139 317 0 18330 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 74604 [startup+12.7013 s] /proc/loadavg: 0.93 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1716464/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=74604 CPUtime=12.69 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 18637 0 0 0 1260 9 0 0 25 0 1 0 69154107 76394496 16997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 18651 16997 139 317 0 18330 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 74604 [startup+25.502 s] /proc/loadavg: 0.95 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1716528/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=74604 CPUtime=25.48 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 18643 0 0 0 2539 9 0 0 25 0 1 0 69154107 76394496 17003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 18651 17003 139 317 0 18330 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 74604 [startup+51.1013 s] /proc/loadavg: 0.96 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1716720/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=74472 CPUtime=51.07 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 18656 0 0 0 5098 9 0 0 25 0 1 0 69154107 76259328 16983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 18618 16983 139 317 0 18297 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 74472 [startup+102.306 s] /proc/loadavg: 0.98 1.00 0.96 3/78 23218 /proc/meminfo: memFree=1715504/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=75788 CPUtime=102.25 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 18987 0 0 0 10215 10 0 0 25 0 1 0 69154107 77606912 17314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 18947 17314 139 317 0 18626 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 75788 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1711664/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=79512 CPUtime=162.22 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 19939 0 0 0 16211 11 0 0 25 0 1 0 69154107 81420288 18266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 19878 18266 139 317 0 19557 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 79512 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1708400/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=82848 CPUtime=222.2 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 20749 0 0 0 22207 13 0 0 25 0 1 0 69154107 84836352 19076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 20712 19076 139 317 0 20391 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 82848 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1705520/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=85752 CPUtime=282.17 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 21472 0 0 0 28204 13 0 0 25 0 1 0 69154107 87810048 19799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 21438 19799 139 317 0 21117 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 85752 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1701872/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=89280 CPUtime=342.15 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 22383 0 0 0 34200 15 0 0 25 0 1 0 69154107 91422720 20710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 22320 20710 139 317 0 21999 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 89280 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1696112/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=94956 CPUtime=402.12 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 23821 0 0 0 40196 16 0 0 25 0 1 0 69154107 97234944 22148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 23739 22148 139 317 0 23418 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 94956 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1692272/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=98760 CPUtime=462.1 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 24766 0 0 0 46193 17 0 0 25 0 1 0 69154107 101130240 23093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 24690 23093 139 317 0 24369 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 98760 [startup+522.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1687152/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=103900 CPUtime=522.08 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 26064 0 0 0 52189 19 0 0 25 0 1 0 69154107 106393600 24391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 25975 24391 139 317 0 25654 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 103900 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1682928/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=108124 CPUtime=582.06 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 27109 0 0 0 58186 20 0 0 25 0 1 0 69154107 110718976 25436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 27031 25436 139 317 0 26710 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 108124 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1680304/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=110660 CPUtime=642.04 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 27754 0 0 0 64183 21 0 0 25 0 1 0 69154107 113315840 26081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 27665 26081 139 317 0 27344 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 110660 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1668528/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=122600 CPUtime=881.94 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 30693 0 0 0 88169 25 0 0 25 0 1 0 69154107 125542400 29020 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 30650 29020 139 317 0 30329 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 122600 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1664432/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=126672 CPUtime=941.92 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 31728 0 0 0 94165 27 0 0 25 0 1 0 69154107 129712128 30055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 31668 30055 139 317 0 31347 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 126672 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1654064/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=137236 CPUtime=1001.89 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 34324 0 0 0 100160 29 0 0 25 0 1 0 69154107 140529664 32651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 34309 32651 139 317 0 33988 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 137236 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1648816/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=142388 CPUtime=1061.87 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 35618 0 0 0 106156 31 0 0 25 0 1 0 69154107 145805312 33945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 35597 33945 139 317 0 35276 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 142388 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1645744/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=145456 CPUtime=1121.84 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 36376 0 0 0 112153 31 0 0 25 0 1 0 69154107 148946944 34703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 36364 34703 139 317 0 36043 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 145456 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1643760/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=147456 CPUtime=1181.82 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 36906 0 0 0 118150 32 0 0 25 0 1 0 69154107 150994944 35233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710982 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 36864 35233 139 317 0 36543 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 147456 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1641392/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=149724 CPUtime=1241.8 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 37461 0 0 0 124147 33 0 0 25 0 1 0 69154107 153317376 35788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 37431 35788 139 317 0 37110 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 149724 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1638192/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=152864 CPUtime=1301.78 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 38258 0 0 0 130144 34 0 0 25 0 1 0 69154107 156532736 36585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 38216 36585 139 317 0 37895 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 152864 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1635760/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=155240 CPUtime=1361.76 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 38869 0 0 0 136140 36 0 0 25 0 1 0 69154107 158965760 37196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 38810 37196 139 317 0 38489 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 155240 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1633200/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=157892 CPUtime=1421.74 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 39504 0 0 0 142137 37 0 0 25 0 1 0 69154107 161681408 37831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 39473 37831 139 317 0 39152 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 157892 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1631280/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=159736 CPUtime=1481.71 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 39984 0 0 0 148133 38 0 0 25 0 1 0 69154107 163569664 38311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 39934 38311 139 317 0 39613 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 159736 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1624752/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=166160 CPUtime=1541.68 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 41615 0 0 0 154129 39 0 0 25 0 1 0 69154107 170147840 39942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 41540 39942 139 317 0 41219 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 166160 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1619568/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=171412 CPUtime=1601.67 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 42950 0 0 0 160126 41 0 0 25 0 1 0 69154107 175525888 41277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 42853 41277 139 317 0 42532 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 171412 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1613680/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=177176 CPUtime=1661.64 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 44378 0 0 0 166122 42 0 0 25 0 1 0 69154107 181428224 42705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 44294 42705 139 317 0 43973 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 177176 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1612144/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=178620 CPUtime=1721.61 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 44769 0 0 0 172119 42 0 0 25 0 1 0 69154107 182906880 43096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 44655 43096 139 317 0 44334 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 178620 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1610416/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=180336 CPUtime=1781.59 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 45189 0 0 0 178116 43 0 0 25 0 1 0 69154107 184664064 43516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 45084 43516 139 317 0 44763 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 180336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1609520/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=181268 CPUtime=1800.09 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194304 45420 0 0 0 179966 43 0 0 25 0 1 0 69154107 185618432 43747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 45317 43747 139 317 0 44996 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 181268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 0.99 1.00 0.96 2/78 23218 /proc/meminfo: memFree=1609520/2055920 swapFree=4171964/4192956 [pid=23217] ppid=23215 vsize=0 CPUtime=1800.19 /proc/23217/stat : 23217 (oree) R 23215 23217 22794 0 -1 4194308 45436 0 0 0 179974 45 0 0 25 0 1 0 69154107 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23217/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.22 CPU user time (s): 1799.75 CPU system time (s): 0.468928 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (KiB): 181268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.75 system time used= 0.468928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45436 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= 4938 runsolver used 1.41678 second user time and 4.03139 second system time The end
Begin job on node40 on Tue Apr 24 08:19:05 UTC 2007 IDJOB= 419087 IDBENCH= 47748 IDSOLVER= 172 FILE ID= node40/419087-1177402745 PBS_JOBID= 4675571 Free space on /tmp= 66501 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/crypto/mizh-sha0-35-2.opb COMMAND LINE= oree /tmp/evaluation/419087-1177402745/instance-419087-1177402745.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-419087-1177402745 -o ROOT/results/node40/solver-419087-1177402745 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419087-1177402745/instance-419087-1177402745.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= e900fbd1606b0da7d65f7a2b7936e193 RANDOM SEED= 184251108 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1784848 kB Buffers: 37604 kB Cached: 116548 kB SwapCached: 2860 kB Active: 133544 kB Inactive: 72316 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1784848 kB SwapTotal: 4192956 kB SwapFree: 4171964 kB Dirty: 8548 kB Writeback: 0 kB Mapped: 60692 kB Slab: 50484 kB Committed_AS: 974128 kB PageTables: 1996 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= 66501 MiB End job on node40 on Tue Apr 24 08:49:08 UTC 2007