Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.35 | 1800.86 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-bc1.opb |
MD5SUM | 7349a3a829e674d501313aed23f34764 |
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 | 27730 |
Total number of constraints | 3375 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 84 |
Number of constraints which are nor clauses,nor cardinality constraints | 3291 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 5701 |
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 | 1073741824000000000000000000 |
Number of bits of the biggest number in a constraint | 90 |
Biggest sum of numbers in a constraint | 3221975665359866949148487122 |
Number of bits of the biggest sum of numbers | 92 |
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... 20.09/20.18 c ...done 20.09/20.18 c #vars=27730 #constraints=4161 hasObjective=yes 22.28/22.39 c res. mode=mod 22.28/22.39 c VSIDS like heuristics 22.28/22.39 c complete search running 24.09/24.16 c restart after 401 decisions 24.78/24.88 c nbDecision=500 #constraints=4166 25.58/25.60 c restart after 801 decisions 26.29/26.33 c nbDecision=1000 #constraints=4175 27.38/27.47 c nbDecision=1500 #constraints=4185 27.58/27.60 c restart after 1601 decisions 29.18/29.23 c nbDecision=2000 #constraints=4194 31.18/31.24 c nbDecision=2500 #constraints=4203 31.88/31.93 c nbDecision=3000 #constraints=4207 32.07/32.19 c restart after 3201 decisions 33.98/34.05 c nbDecision=3500 #constraints=4212 34.77/34.83 c nbDecision=4000 #constraints=4219 36.67/36.73 c nbDecision=4500 #constraints=4222 37.97/38.00 c nbDecision=5000 #constraints=4249 41.27/41.34 c nbDecision=5500 #constraints=4327 42.07/42.19 c nbDecision=6000 #constraints=4339 42.97/43.04 c restart after 6401 decisions 44.37/44.49 c nbDecision=6500 #constraints=4343 45.87/45.90 c nbDecision=7000 #constraints=4346 47.67/47.78 c nbDecision=7500 #constraints=4357 48.37/48.47 c nbDecision=8000 #constraints=4361 49.07/49.14 c nbDecision=8500 #constraints=4365 50.07/50.18 c nbDecision=9000 #constraints=4370 50.87/50.93 c nbDecision=9500 #constraints=4377 51.47/51.54 c nbDecision=10000 #constraints=4380 52.07/52.13 c nbDecision=10500 #constraints=4382 53.17/53.22 c nbDecision=11000 #constraints=4386 54.07/54.18 c nbDecision=11500 #constraints=4394 54.67/54.70 c nbDecision=12000 #constraints=4395 55.27/55.35 c nbDecision=12500 #constraints=4397 55.66/55.72 c restart after 12801 decisions 57.26/57.38 c nbDecision=13000 #constraints=4403 57.96/58.06 c nbDecision=13500 #constraints=4410 59.76/59.81 c nbDecision=14000 #constraints=4413 60.76/60.80 c nbDecision=14500 #constraints=4425 61.57/61.60 c nbDecision=15000 #constraints=4440 62.46/62.52 c nbDecision=15500 #constraints=4446 63.36/63.44 c nbDecision=16000 #constraints=4450 64.77/64.90 c nbDecision=16500 #constraints=4455 66.16/66.27 c nbDecision=17000 #constraints=4465 66.86/66.91 c nbDecision=17500 #constraints=4472 68.27/68.37 c nbDecision=18000 #constraints=4496 69.07/69.11 c nbDecision=18500 #constraints=4509 70.06/70.12 c nbDecision=19000 #constraints=4541 70.86/70.97 c nbDecision=19500 #constraints=4555 72.46/72.51 c nbDecision=20000 #constraints=4594 73.46/73.55 c nbDecision=20500 #constraints=4606 74.57/74.68 c nbDecision=21000 #constraints=4622 75.66/75.77 c nbDecision=21500 #constraints=4642 77.06/77.19 c nbDecision=22000 #constraints=4668 79.56/79.65 c nbDecision=22500 #constraints=4715 80.66/80.77 c nbDecision=23000 #constraints=4729 81.46/81.57 c nbDecision=23500 #constraints=4736 82.26/82.32 c nbDecision=24000 #constraints=4739 82.86/82.91 c nbDecision=24500 #constraints=4749 83.86/83.90 c nbDecision=25000 #constraints=4760 88.16/88.26 c nbDecision=25500 #constraints=4827 88.46/88.50 c restart after 25601 decisions 91.06/91.19 c nbDecision=26000 #constraints=4835 91.86/92.00 c nbDecision=26500 #constraints=4841 93.36/93.44 c nbDecision=27000 #constraints=4851 96.26/96.35 c nbDecision=27500 #constraints=4875 97.06/97.13 c nbDecision=28000 #constraints=4879 97.76/97.87 c nbDecision=28500 #constraints=4882 98.96/99.06 c nbDecision=29000 #constraints=4887 99.75/99.80 c nbDecision=29500 #constraints=4890 100.45/100.50 c nbDecision=30000 #constraints=4894 101.25/101.34 c nbDecision=30500 #constraints=4897 102.45/102.56 c nbDecision=31000 #constraints=4901 103.05/103.17 c nbDecision=31500 #constraints=4902 103.75/103.84 c nbDecision=32000 #constraints=4904 104.55/104.65 c nbDecision=32500 #constraints=4910 108.86/108.96 c nbDecision=33000 #constraints=4955 109.56/109.69 c nbDecision=33500 #constraints=4957 110.26/110.32 c nbDecision=34000 #constraints=4958 111.06/111.18 c nbDecision=34500 #constraints=4961 111.86/111.90 c nbDecision=35000 #constraints=4963 112.65/112.74 c nbDecision=35500 #constraints=4967 113.26/113.38 c nbDecision=36000 #constraints=4970 113.95/114.03 c nbDecision=36500 #constraints=4975 114.65/114.71 c nbDecision=37000 #constraints=4978 115.25/115.30 c nbDecision=37500 #constraints=4979 115.85/115.90 c nbDecision=38000 #constraints=4980 116.46/116.50 c nbDecision=38500 #constraints=4982 117.05/117.15 c nbDecision=39000 #constraints=4985 118.15/118.28 c nbDecision=39500 #constraints=4998 119.45/119.59 c nbDecision=40000 #constraints=5034 120.65/120.72 c nbDecision=40500 #constraints=5052 122.75/122.82 c nbDecision=41000 #constraints=5081 125.35/125.48 c nbDecision=41500 #constraints=5126 126.65/126.75 c nbDecision=42000 #constraints=5147 128.44/128.59 c nbDecision=42500 #constraints=5172 131.55/131.62 c nbDecision=43000 #constraints=5199 132.45/132.57 c nbDecision=43500 #constraints=5207 134.25/134.30 c nbDecision=44000 #constraints=5233 137.45/137.51 c nbDecision=44500 #constraints=5268 138.95/139.00 c nbDecision=45000 #constraints=5289 140.34/140.43 c nbDecision=45500 #constraints=5306 142.34/142.43 c nbDecision=46000 #constraints=5323 143.84/143.96 c nbDecision=46500 #constraints=5336 145.15/145.26 c nbDecision=47000 #constraints=5351 146.74/146.85 c nbDecision=47500 #constraints=5364 148.35/148.47 c nbDecision=48000 #constraints=5380 149.24/149.37 c nbDecision=48500 #constraints=5390 151.24/151.35 c nbDecision=49000 #constraints=5405 151.84/151.91 c nbDecision=49500 #constraints=5409 152.74/152.86 c nbDecision=50000 #constraints=5419 154.94/155.04 c nbDecision=50500 #constraints=5438 157.04/157.12 c nbDecision=51000 #constraints=5457 157.44/157.51 c restart after 51201 decisions 161.14/161.24 c nbDecision=51500 #constraints=5463 162.84/162.92 c nbDecision=52000 #constraints=5472 163.84/163.97 c nbDecision=52500 #constraints=5477 164.74/164.87 c nbDecision=53000 #constraints=5481 165.64/165.77 c nbDecision=53500 #constraints=5485 166.64/166.72 c nbDecision=54000 #constraints=5496 167.54/167.68 c nbDecision=54500 #constraints=5504 168.24/168.35 c nbDecision=55000 #constraints=5508 169.24/169.40 c nbDecision=55500 #constraints=5513 170.24/170.37 c nbDecision=56000 #constraints=5520 171.14/171.21 c nbDecision=56500 #constraints=5526 171.84/171.98 c nbDecision=57000 #constraints=5531 172.64/172.74 c nbDecision=57500 #constraints=5535 173.34/173.45 c nbDecision=58000 #constraints=5538 180.83/180.92 c nbDecision=58500 #constraints=5615 187.13/187.24 c nbDecision=59000 #constraints=5676 192.83/192.99 c nbDecision=59500 #constraints=5725 210.43/210.53 c nbDecision=60000 #constraints=5809 222.82/222.98 c nbDecision=60500 #constraints=5886 232.72/232.87 c nbDecision=61000 #constraints=5952 244.42/244.52 c nbDecision=61500 #constraints=6037 250.21/250.39 c nbDecision=62000 #constraints=6092 260.81/260.96 c nbDecision=62500 #constraints=6158 265.71/265.81 c nbDecision=63000 #constraints=6203 268.90/269.07 c nbDecision=63500 #constraints=6229 273.21/273.36 c nbDecision=64000 #constraints=6275 279.91/280.03 c nbDecision=64500 #constraints=6333 287.91/288.09 c nbDecision=65000 #constraints=6399 297.80/297.95 c nbDecision=65500 #constraints=6471 305.61/305.80 c nbDecision=66000 #constraints=6532 312.80/312.91 c nbDecision=66500 #constraints=6579 318.80/318.96 c nbDecision=67000 #constraints=6625 327.89/328.04 c nbDecision=67500 #constraints=6683 329.79/329.97 c nbDecision=68000 #constraints=6699 333.10/333.29 c nbDecision=68500 #constraints=6733 336.59/336.70 c nbDecision=69000 #constraints=6770 340.89/341.03 c nbDecision=69500 #constraints=6810 351.18/351.32 c nbDecision=70000 #constraints=6865 361.59/361.72 c nbDecision=70500 #constraints=6926 370.49/370.69 c nbDecision=71000 #constraints=6979 377.57/377.70 c nbDecision=71500 #constraints=7024 388.57/388.71 c nbDecision=72000 #constraints=7080 395.68/395.86 c nbDecision=72500 #constraints=7115 405.47/405.68 c nbDecision=73000 #constraints=7166 412.77/412.91 c nbDecision=73500 #constraints=7211 421.97/422.14 c nbDecision=74000 #constraints=7262 431.07/431.25 c nbDecision=74500 #constraints=7313 439.56/439.72 c nbDecision=75000 #constraints=7367 451.16/451.33 c nbDecision=75500 #constraints=7427 458.36/458.51 c nbDecision=76000 #constraints=7468 467.36/467.56 c nbDecision=76500 #constraints=7527 475.45/475.68 c nbDecision=77000 #constraints=7578 483.65/483.83 c nbDecision=77500 #constraints=7626 495.14/495.36 c nbDecision=78000 #constraints=7688 506.34/506.59 c nbDecision=78500 #constraints=7748 518.95/519.17 c nbDecision=79000 #constraints=7812 528.33/528.52 c nbDecision=79500 #constraints=7859 537.23/537.43 c nbDecision=80000 #constraints=7912 548.03/548.22 c nbDecision=80500 #constraints=7984 559.83/560.03 c nbDecision=81000 #constraints=8051 569.02/569.26 c nbDecision=81500 #constraints=8098 579.22/579.45 c nbDecision=82000 #constraints=8144 590.32/590.57 c nbDecision=82500 #constraints=8201 601.02/601.25 c nbDecision=83000 #constraints=8255 609.12/609.36 c nbDecision=83500 #constraints=8299 618.91/619.15 c nbDecision=84000 #constraints=8353 628.51/628.70 c nbDecision=84500 #constraints=8428 639.11/639.37 c nbDecision=85000 #constraints=8480 653.60/653.86 c nbDecision=85500 #constraints=8547 662.40/662.65 c nbDecision=86000 #constraints=8615 669.70/669.92 c nbDecision=86500 #constraints=8657 677.70/677.95 c nbDecision=87000 #constraints=8700 686.39/686.61 c nbDecision=87500 #constraints=8742 700.79/701.03 c nbDecision=88000 #constraints=8807 710.29/710.50 c nbDecision=88500 #constraints=8859 720.68/720.96 c nbDecision=89000 #constraints=8913 732.98/733.24 c nbDecision=89500 #constraints=8994 742.88/743.19 c nbDecision=90000 #constraints=9056 752.27/752.59 c nbDecision=90500 #constraints=9114 760.27/760.55 c nbDecision=91000 #constraints=9153 770.47/770.77 c nbDecision=91500 #constraints=9205 791.47/791.70 c nbDecision=92000 #constraints=9309 814.16/814.47 c nbDecision=92500 #constraints=9423 834.95/835.25 c nbDecision=93000 #constraints=9542 850.65/850.92 c nbDecision=93500 #constraints=9627 866.65/866.90 c nbDecision=94000 #constraints=9714 878.44/878.74 c nbDecision=94500 #constraints=9778 889.94/890.21 c nbDecision=95000 #constraints=9838 901.83/902.17 c nbDecision=95500 #constraints=9893 914.73/915.01 c nbDecision=96000 #constraints=9952 927.63/927.97 c nbDecision=96500 #constraints=10009 941.62/941.96 c nbDecision=97000 #constraints=10069 950.03/950.38 c nbDecision=97500 #constraints=10107 961.62/961.91 c nbDecision=98000 #constraints=10159 971.92/972.29 c nbDecision=98500 #constraints=10206 1013.81/1014.11 c nbDecision=99000 #constraints=10350 1036.40/1036.73 c nbDecision=99500 #constraints=10438 1049.00/1049.37 c nbDecision=100000 #constraints=10481 1068.79/1069.10 c nbDecision=100500 #constraints=10551 1090.79/1091.11 c nbDecision=101000 #constraints=10622 1106.28/1106.61 c nbDecision=101500 #constraints=10682 1133.68/1134.04 c nbDecision=102000 #constraints=10773 1143.27/1143.60 c restart after 102401 decisions 1157.36/1157.70 c nbDecision=102500 #constraints=10816 1168.27/1168.66 c nbDecision=103000 #constraints=10818 1170.07/1170.47 c nbDecision=103500 #constraints=10826 1173.57/1173.95 c nbDecision=104000 #constraints=10834 1174.67/1175.02 c nbDecision=104500 #constraints=10837 1178.36/1178.73 c nbDecision=105000 #constraints=10849 1182.96/1183.34 c nbDecision=105500 #constraints=10857 1184.66/1185.07 c nbDecision=106000 #constraints=10859 1186.56/1186.92 c nbDecision=106500 #constraints=10863 1189.06/1189.42 c nbDecision=107000 #constraints=10869 1193.86/1194.23 c nbDecision=107500 #constraints=10883 1196.75/1197.11 c nbDecision=108000 #constraints=10901 1212.36/1212.73 c nbDecision=108500 #constraints=10976 1226.65/1227.05 c nbDecision=109000 #constraints=11053 1243.24/1243.62 c nbDecision=109500 #constraints=11138 1269.14/1269.59 c nbDecision=110000 #constraints=11239 1286.03/1286.40 c nbDecision=110500 #constraints=11301 1302.53/1302.91 c nbDecision=111000 #constraints=11363 1314.12/1314.59 c nbDecision=111500 #constraints=11430 1337.82/1338.20 c nbDecision=112000 #constraints=11514 1348.12/1348.58 c nbDecision=112500 #constraints=11555 1353.11/1353.52 c nbDecision=113000 #constraints=11583 1364.31/1364.72 c nbDecision=113500 #constraints=11642 1367.81/1368.30 c nbDecision=114000 #constraints=11645 1370.71/1371.12 c nbDecision=114500 #constraints=11649 1373.11/1373.57 c nbDecision=115000 #constraints=11656 1378.00/1378.44 c nbDecision=115500 #constraints=11667 1381.91/1382.34 c nbDecision=116000 #constraints=11695 1385.41/1385.80 c nbDecision=116500 #constraints=11717 1388.41/1388.83 c nbDecision=117000 #constraints=11737 1396.20/1396.60 c nbDecision=117500 #constraints=11767 1405.30/1405.75 c nbDecision=118000 #constraints=11801 1407.50/1407.98 c nbDecision=118500 #constraints=11810 1410.30/1410.75 c nbDecision=119000 #constraints=11825 1416.50/1416.94 c nbDecision=119500 #constraints=11844 1419.39/1419.86 c nbDecision=120000 #constraints=11854 1424.39/1424.86 c nbDecision=120500 #constraints=11882 1427.89/1428.32 c nbDecision=121000 #constraints=11905 1437.68/1438.11 c nbDecision=121500 #constraints=11936 1440.68/1441.13 c nbDecision=122000 #constraints=11944 1447.59/1448.09 c nbDecision=122500 #constraints=11971 1452.29/1452.71 c nbDecision=123000 #constraints=11987 1454.58/1455.07 c nbDecision=123500 #constraints=12000 1457.18/1457.70 c nbDecision=124000 #constraints=12014 1460.88/1461.37 c nbDecision=124500 #constraints=12026 1467.79/1468.29 c nbDecision=125000 #constraints=12060 1473.08/1473.58 c nbDecision=125500 #constraints=12079 1476.08/1476.50 c nbDecision=126000 #constraints=12088 1485.48/1485.92 c nbDecision=126500 #constraints=12131 1490.08/1490.54 c nbDecision=127000 #constraints=12153 1497.97/1498.45 c nbDecision=127500 #constraints=12191 1501.58/1502.06 c nbDecision=128000 #constraints=12204 1503.97/1504.48 c nbDecision=128500 #constraints=12211 1509.87/1510.31 c nbDecision=129000 #constraints=12234 1514.67/1515.18 c nbDecision=129500 #constraints=12254 1520.06/1520.57 c nbDecision=130000 #constraints=12276 1523.26/1523.75 c nbDecision=130500 #constraints=12291 1528.26/1528.79 c nbDecision=131000 #constraints=12306 1532.37/1532.82 c nbDecision=131500 #constraints=12326 1535.26/1535.75 c nbDecision=132000 #constraints=12341 1538.36/1538.84 c nbDecision=132500 #constraints=12361 1541.95/1542.42 c nbDecision=133000 #constraints=12377 1545.26/1545.76 c nbDecision=133500 #constraints=12389 1547.36/1547.80 c nbDecision=134000 #constraints=12397 1552.16/1552.63 c nbDecision=134500 #constraints=12415 1559.36/1559.90 c nbDecision=135000 #constraints=12456 1563.15/1563.60 c nbDecision=135500 #constraints=12474 1571.35/1571.86 c nbDecision=136000 #constraints=12507 1576.15/1576.60 c nbDecision=136500 #constraints=12529 1582.45/1582.92 c nbDecision=137000 #constraints=12557 1585.15/1585.70 c nbDecision=137500 #constraints=12567 1588.04/1588.56 c nbDecision=138000 #constraints=12584 1596.34/1596.83 c nbDecision=138500 #constraints=12611 1602.74/1603.25 c nbDecision=139000 #constraints=12646 1610.04/1610.58 c nbDecision=139500 #constraints=12688 1613.14/1613.62 c nbDecision=140000 #constraints=12701 1615.94/1616.49 c nbDecision=140500 #constraints=12718 1626.94/1627.43 c nbDecision=141000 #constraints=12788 1642.33/1642.83 c nbDecision=141500 #constraints=12860 1649.72/1650.24 c nbDecision=142000 #constraints=12881 1653.53/1654.09 c nbDecision=142500 #constraints=12900 1656.33/1656.82 c nbDecision=143000 #constraints=12917 1660.92/1661.40 c nbDecision=143500 #constraints=12939 1665.92/1666.44 c nbDecision=144000 #constraints=12970 1669.83/1670.32 c nbDecision=144500 #constraints=12993 1673.82/1674.40 c nbDecision=145000 #constraints=13018 1680.82/1681.38 c nbDecision=145500 #constraints=13056 1687.92/1688.49 c nbDecision=146000 #constraints=13090 1692.12/1692.67 c nbDecision=146500 #constraints=13106 1700.22/1700.73 c nbDecision=147000 #constraints=13140 1705.71/1706.24 c nbDecision=147500 #constraints=13163 1710.41/1710.94 c nbDecision=148000 #constraints=13182 1715.01/1715.52 c nbDecision=148500 #constraints=13204 1718.81/1719.34 c nbDecision=149000 #constraints=13221 1722.20/1722.76 c nbDecision=149500 #constraints=13237 1726.81/1727.38 c nbDecision=150000 #constraints=13261 1734.40/1734.95 c nbDecision=150500 #constraints=13293 1741.50/1742.03 c nbDecision=151000 #constraints=13318 1751.80/1752.34 c nbDecision=151500 #constraints=13356 1759.59/1760.15 c nbDecision=152000 #constraints=13391 1766.99/1767.60 c nbDecision=152500 #constraints=13411 1775.00/1775.53 c nbDecision=153000 #constraints=13445 1780.30/1780.88 c nbDecision=153500 #constraints=13467 1789.29/1789.83 c nbDecision=154000 #constraints=13490 1793.79/1794.36 c nbDecision=154500 #constraints=13512 1800.09/1800.60 Received signal 15 1800.09/1800.61 1800.09/1800.61 s UNKNOWN 1800.09/1800.61 1800.09/1800.61 c user time= 1798.46 s 1800.09/1800.61 c system time= 1.64675 s 1800.09/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/node18/watcher-357254-1176992465 -o ROOT/results/node18/solver-357254-1176992465 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357254-1176992465/instance-357254-1176992465.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.93 0.98 0.99 3/77 14077 /proc/meminfo: memFree=1670736/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1468 CPUtime=0 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147164315 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 367 160 131 317 0 46 0 [startup+0.0646921 s] /proc/loadavg: 0.93 0.98 0.99 3/77 14077 /proc/meminfo: memFree=1670736/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=2260 CPUtime=0.06 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 385 0 0 0 6 0 0 0 18 0 1 0 147164315 2314240 367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 565 367 131 317 0 244 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2260 [startup+0.101695 s] /proc/loadavg: 0.93 0.98 0.99 3/77 14077 /proc/meminfo: memFree=1670736/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=2992 CPUtime=0.1 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 534 0 0 0 10 0 0 0 18 0 1 0 147164315 3063808 516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279024 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 748 516 131 317 0 427 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2992 [startup+0.301713 s] /proc/loadavg: 0.93 0.98 0.99 3/77 14077 /proc/meminfo: memFree=1670736/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=5644 CPUtime=0.29 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 1133 0 0 0 29 0 0 0 19 0 1 0 147164315 5779456 1115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 1411 1115 131 317 0 1090 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5644 [startup+0.701753 s] /proc/loadavg: 0.93 0.98 0.99 3/77 14077 /proc/meminfo: memFree=1670736/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=11592 CPUtime=0.69 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 2307 0 0 0 69 0 0 0 23 0 1 0 147164315 11870208 2289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 2898 2289 131 317 0 2577 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11592 [startup+1.50183 s] /proc/loadavg: 0.93 0.98 0.99 2/78 14078 /proc/meminfo: memFree=1659400/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=22900 CPUtime=1.49 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 4643 0 0 0 148 1 0 0 25 0 1 0 147164315 23449600 4625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 5725 4625 131 317 0 5404 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22900 [startup+3.10198 s] /proc/loadavg: 0.93 0.98 0.99 2/78 14078 /proc/meminfo: memFree=1648712/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=45208 CPUtime=3.09 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 9263 0 0 0 306 3 0 0 25 0 1 0 147164315 46292992 9245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 11302 9245 131 317 0 10981 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45208 [startup+6.30129 s] /proc/loadavg: 0.93 0.98 0.99 2/78 14078 /proc/meminfo: memFree=1610952/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=89264 CPUtime=6.29 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 18388 0 0 0 621 8 0 0 25 0 1 0 147164315 91406336 18370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 22316 18370 131 317 0 21995 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 89264 [startup+12.7019 s] /proc/loadavg: 0.94 0.98 0.99 2/78 14078 /proc/meminfo: memFree=1536072/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=177328 CPUtime=12.69 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 36556 0 0 0 1251 18 0 0 25 0 1 0 147164315 181583872 36538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 44332 36538 131 317 0 44011 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 177328 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/78 14078 /proc/meminfo: memFree=1355720/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=367928 CPUtime=25.48 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 79585 0 0 0 2510 38 0 0 25 0 1 0 147164315 376758272 79567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 91982 79567 139 317 0 91661 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 367928 [startup+51.1016 s] /proc/loadavg: 0.97 0.98 0.99 2/78 14078 /proc/meminfo: memFree=1350984/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=374064 CPUtime=51.07 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 80854 0 0 0 5068 39 0 0 25 0 1 0 147164315 383041536 80836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 93516 80836 170 317 0 93195 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 374064 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 14078 /proc/meminfo: memFree=1326920/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=400836 CPUtime=102.26 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 86818 0 0 0 10184 42 0 0 25 0 1 0 147164315 410456064 86800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 100209 86800 170 317 0 99888 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 400836 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14078 /proc/meminfo: memFree=1272776/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=462260 CPUtime=162.24 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 100336 0 0 0 16176 48 0 0 25 0 1 0 147164315 473354240 100300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 115565 100300 170 317 0 115244 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 462260 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14078 /proc/meminfo: memFree=1225672/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=513904 CPUtime=222.22 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 112146 0 0 0 22169 53 0 0 25 0 1 0 147164315 526237696 112065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 128476 112065 170 317 0 128155 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 513904 [startup+282.302 s] /proc/loadavg: 1.06 1.00 1.00 2/78 14078 /proc/meminfo: memFree=1166152/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=583304 CPUtime=282.21 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 127500 0 0 0 28161 60 0 0 25 0 1 0 147164315 597303296 127262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714781 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 145826 127262 170 317 0 145505 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 583304 [startup+342.302 s] /proc/loadavg: 1.08 1.02 1.00 2/78 14078 /proc/meminfo: memFree=1097160/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=662432 CPUtime=342.19 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 144673 0 0 0 34151 68 0 0 25 0 1 0 147164315 678330368 144263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 165608 144263 170 317 0 165287 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 662432 [startup+402.301 s] /proc/loadavg: 1.09 1.03 1.00 2/78 14078 /proc/meminfo: memFree=1053512/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=709320 CPUtime=402.17 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 155797 0 0 0 40143 74 0 0 25 0 1 0 147164315 726343680 155266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710753 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 177330 155266 170 317 0 177009 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 709320 [startup+462.301 s] /proc/loadavg: 1.08 1.03 1.00 2/78 14078 /proc/meminfo: memFree=1005960/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=758016 CPUtime=462.16 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 167542 0 0 0 46137 79 0 0 25 0 1 0 147164315 776208384 166905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 189504 166905 170 317 0 189183 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 758016 [startup+522.302 s] /proc/loadavg: 1.03 1.03 1.00 2/78 14078 /proc/meminfo: memFree=967432/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=798520 CPUtime=522.14 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 177366 0 0 0 52131 83 0 0 25 0 1 0 147164315 817684480 176594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 199630 176594 170 317 0 199309 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 798520 [startup+582.302 s] /proc/loadavg: 1.01 1.02 1.00 2/78 14078 /proc/meminfo: memFree=925128/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=844932 CPUtime=582.12 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 187944 0 0 0 58125 87 0 0 25 0 1 0 147164315 865210368 187110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 211233 187110 170 317 0 210912 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 844932 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14078 /proc/meminfo: memFree=876808/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=906348 CPUtime=642.11 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 200064 0 0 0 64119 92 0 0 25 0 1 0 147164315 928100352 199106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 226587 199106 170 317 0 226266 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 906348 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14078 /proc/meminfo: memFree=661896/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1153012 CPUtime=882.04 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 253749 0 0 0 88088 116 0 0 25 0 1 0 147164315 1180684288 252729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 288253 252729 170 317 0 287932 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 1153012 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14078 /proc/meminfo: memFree=620936/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1195040 CPUtime=942.02 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 264124 0 0 0 94081 121 0 0 25 0 1 0 147164315 1223720960 263102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 298760 263102 170 317 0 298439 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1195040 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14078 /proc/meminfo: memFree=584136/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1231064 CPUtime=1002.01 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 273196 0 0 0 100077 124 0 0 25 0 1 0 147164315 1260609536 272173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 307766 272173 170 317 0 307445 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1231064 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14080 /proc/meminfo: memFree=549896/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1265596 CPUtime=1062 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 281840 0 0 0 106072 128 0 0 25 0 1 0 147164315 1295970304 280791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 316399 280791 170 317 0 316078 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1265596 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14080 /proc/meminfo: memFree=516232/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1298356 CPUtime=1121.98 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 290187 0 0 0 112066 132 0 0 25 0 1 0 147164315 1329516544 289125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278991 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 324589 289125 170 317 0 324268 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1298356 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 14080 /proc/meminfo: memFree=503176/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1310832 CPUtime=1181.96 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 293381 0 0 0 118062 134 0 0 25 0 1 0 147164315 1342291968 292300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 327708 292300 170 317 0 327387 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1310832 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14080 /proc/meminfo: memFree=477064/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1338676 CPUtime=1241.95 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 300001 0 0 0 124058 137 0 0 25 0 1 0 147164315 1370804224 298918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 334669 298918 170 317 0 334348 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1338676 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14080 /proc/meminfo: memFree=451464/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1365040 CPUtime=1301.93 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 306254 0 0 0 130053 140 0 0 25 0 1 0 147164315 1397800960 305171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718416 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 341260 305171 170 317 0 340939 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1365040 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14080 /proc/meminfo: memFree=424776/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1393044 CPUtime=1361.91 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 312930 0 0 0 136048 143 0 0 25 0 1 0 147164315 1426477056 311847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 348261 311847 170 317 0 347940 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1393044 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14080 /proc/meminfo: memFree=412104/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1406328 CPUtime=1421.9 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 316069 0 0 0 142045 145 0 0 25 0 1 0 147164315 1440079872 314986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715615 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 351582 314986 170 317 0 351261 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1406328 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 14080 /proc/meminfo: memFree=395400/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1427516 CPUtime=1481.88 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 320225 0 0 0 148040 148 0 0 25 0 1 0 147164315 1461776384 319142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718407 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 356879 319142 170 317 0 356558 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1427516 [startup+1542.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 14080 /proc/meminfo: memFree=377352/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1450848 CPUtime=1541.85 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 324768 0 0 0 154035 150 0 0 25 0 1 0 147164315 1485668352 323685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718413 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 362712 323685 170 317 0 362391 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1450848 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14080 /proc/meminfo: memFree=351816/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1494012 CPUtime=1601.84 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 331357 0 0 0 160031 153 0 0 25 0 1 0 147164315 1529868288 330274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 373503 330274 170 317 0 373182 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1494012 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14080 /proc/meminfo: memFree=312200/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1540880 CPUtime=1661.82 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 341106 0 0 0 166025 157 0 0 25 0 1 0 147164315 1577861120 339986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 385220 339986 170 317 0 384899 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1540880 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14080 /proc/meminfo: memFree=279112/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1580552 CPUtime=1721.8 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 349421 0 0 0 172019 161 0 0 25 0 1 0 147164315 1618485248 348236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 395138 348236 170 317 0 394817 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1580552 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14080 /proc/meminfo: memFree=259912/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1604056 CPUtime=1781.79 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 354192 0 0 0 178015 164 0 0 25 0 1 0 147164315 1642553344 352996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 401014 352996 170 317 0 400693 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1604056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14080 /proc/meminfo: memFree=253832/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=1611080 CPUtime=1800.09 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194304 355667 0 0 0 179845 164 0 0 25 0 1 0 147164315 1649745920 354471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 402770 354471 170 317 0 402449 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1611080 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14080 /proc/meminfo: memFree=253832/2055920 swapFree=4147128/4192956 [pid=14077] ppid=14075 vsize=0 CPUtime=1800.29 /proc/14077/stat : 14077 (oree) R 14075 14077 12727 0 -1 4194308 355683 0 0 0 179848 181 0 0 25 0 1 0 147164315 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14077/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.35 CPU user time (s): 1798.48 CPU system time (s): 1.87371 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 1611080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.48 system time used= 1.87371 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 355683 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= 36461 runsolver used 2.12068 second user time and 4.43633 second system time The end
Begin job on node18 on Thu Apr 19 14:21:09 UTC 2007 IDJOB= 357254 IDBENCH= 2316 IDSOLVER= 172 FILE ID= node18/357254-1176992465 PBS_JOBID= 4630407 Free space on /tmp= 66411 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/milp/normalized-mps-v2-20-10-bc1.opb COMMAND LINE= oree /tmp/evaluation/357254-1176992465/instance-357254-1176992465.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-357254-1176992465 -o ROOT/results/node18/solver-357254-1176992465 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357254-1176992465/instance-357254-1176992465.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7349a3a829e674d501313aed23f34764 RANDOM SEED= 134781108 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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.234 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.234 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: 1670760 kB Buffers: 35328 kB Cached: 260044 kB SwapCached: 14164 kB Active: 142900 kB Inactive: 175800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1670760 kB SwapTotal: 4192956 kB SwapFree: 4147128 kB Dirty: 76252 kB Writeback: 0 kB Mapped: 30400 kB Slab: 51940 kB Committed_AS: 4398924 kB PageTables: 1776 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= 66411 MiB End job on node18 on Thu Apr 19 14:51:12 UTC 2007