Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.15 | 1800.85 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-bf2670-001.opb |
MD5SUM | 7ecb3834576c61e36b2048d581937745 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.070988 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2786 |
Total number of constraints | 4827 |
Number of constraints which are clauses | 4827 |
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 | 5 |
Number of terms in the objective function | 2786 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2786 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2786 |
Number of bits of the biggest sum of numbers | 12 |
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.04 c ...done 0.00/0.04 c #vars=2786 #constraints=4828 hasObjective=yes 0.05/0.06 c res. mode=mod 0.05/0.06 c VSIDS like heuristics 0.05/0.06 c complete search running 0.05/0.09 c restart after 401 decisions 0.05/0.09 c nbDecision=500 #constraints=4852 0.09/0.15 c restart after 801 decisions 0.09/0.17 c nbDecision=1000 #constraints=4878 0.39/0.40 c nbDecision=1500 #constraints=4933 0.39/0.46 c restart after 1601 decisions 0.59/0.60 c nbDecision=2000 #constraints=4972 0.79/0.88 c nbDecision=2500 #constraints=5026 1.09/1.12 c nbDecision=3000 #constraints=5075 1.19/1.21 c restart after 3201 decisions 1.19/1.29 c nbDecision=3500 #constraints=5115 1.49/1.55 c nbDecision=4000 #constraints=5166 1.79/1.86 c nbDecision=4500 #constraints=5223 2.09/2.16 c nbDecision=5000 #constraints=5273 2.39/2.49 c nbDecision=5500 #constraints=5324 2.79/2.82 c nbDecision=6000 #constraints=5369 2.99/3.08 c restart after 6401 decisions 2.99/3.09 c nbDecision=6500 #constraints=5420 3.29/3.38 c nbDecision=7000 #constraints=5466 3.69/3.70 c nbDecision=7500 #constraints=5509 3.99/4.02 c nbDecision=8000 #constraints=5564 4.39/4.41 c nbDecision=8500 #constraints=5619 4.68/4.72 c nbDecision=9000 #constraints=5666 4.99/5.08 c nbDecision=9500 #constraints=5724 5.40/5.43 c nbDecision=10000 #constraints=5766 5.79/5.80 c nbDecision=10500 #constraints=5821 6.19/6.26 c nbDecision=11000 #constraints=5879 6.59/6.62 c nbDecision=11500 #constraints=5925 6.99/7.00 c nbDecision=12000 #constraints=5981 7.39/7.40 c nbDecision=12500 #constraints=6036 7.49/7.58 c restart after 12801 decisions 7.59/7.66 c nbDecision=13000 #constraints=6066 8.09/8.19 c nbDecision=13500 #constraints=6122 8.59/8.62 c nbDecision=14000 #constraints=6172 9.09/9.13 c nbDecision=14500 #constraints=6222 9.59/9.68 c nbDecision=15000 #constraints=6266 10.19/10.22 c nbDecision=15500 #constraints=6321 10.68/10.74 c nbDecision=16000 #constraints=6370 11.18/11.27 c nbDecision=16500 #constraints=6420 11.78/11.86 c nbDecision=17000 #constraints=6466 12.38/12.41 c nbDecision=17500 #constraints=6522 12.89/12.98 c nbDecision=18000 #constraints=6574 13.49/13.51 c nbDecision=18500 #constraints=6625 13.99/14.10 c nbDecision=19000 #constraints=6683 14.49/14.58 c nbDecision=19500 #constraints=6729 15.39/15.49 c nbDecision=20000 #constraints=6781 16.28/16.32 c nbDecision=20500 #constraints=6835 17.19/17.20 c nbDecision=21000 #constraints=6881 17.98/18.08 c nbDecision=21500 #constraints=6937 18.88/18.91 c nbDecision=22000 #constraints=6987 19.79/19.85 c nbDecision=22500 #constraints=7035 20.68/20.73 c nbDecision=23000 #constraints=7089 21.48/21.54 c nbDecision=23500 #constraints=7137 22.58/22.64 c nbDecision=24000 #constraints=7191 23.48/23.52 c nbDecision=24500 #constraints=7243 24.58/24.63 c nbDecision=25000 #constraints=7295 26.48/26.50 c nbDecision=25500 #constraints=7397 26.68/26.71 c restart after 25601 decisions 27.39/27.44 c nbDecision=26000 #constraints=7435 28.28/28.32 c nbDecision=26500 #constraints=7490 28.98/29.06 c nbDecision=27000 #constraints=7538 29.78/29.89 c nbDecision=27500 #constraints=7590 30.98/31.02 c nbDecision=28000 #constraints=7636 32.18/32.27 c nbDecision=28500 #constraints=7690 33.58/33.61 c nbDecision=29000 #constraints=7739 34.87/34.91 c nbDecision=29500 #constraints=7794 36.18/36.29 c nbDecision=30000 #constraints=7843 37.47/37.56 c nbDecision=30500 #constraints=7895 38.87/38.98 c nbDecision=31000 #constraints=7945 40.27/40.33 c nbDecision=31500 #constraints=7999 41.97/42.00 c nbDecision=32000 #constraints=8057 43.77/43.88 c nbDecision=32500 #constraints=8127 46.28/46.30 c nbDecision=33000 #constraints=8227 48.48/48.50 c nbDecision=33500 #constraints=8311 50.58/50.66 c nbDecision=34000 #constraints=8399 53.17/53.24 c nbDecision=34500 #constraints=8499 55.47/55.56 c nbDecision=35000 #constraints=8571 58.27/58.34 c nbDecision=35500 #constraints=8645 60.97/61.09 c nbDecision=36000 #constraints=8717 63.87/63.91 c nbDecision=36500 #constraints=8791 65.77/65.89 c nbDecision=37000 #constraints=8853 67.77/67.89 c nbDecision=37500 #constraints=8939 69.96/70.09 c nbDecision=38000 #constraints=9021 71.86/71.92 c nbDecision=38500 #constraints=9107 73.66/73.75 c nbDecision=39000 #constraints=9184 75.76/75.87 c nbDecision=39500 #constraints=9256 78.37/78.48 c nbDecision=40000 #constraints=9346 80.47/80.57 c nbDecision=40500 #constraints=9430 82.47/82.51 c nbDecision=41000 #constraints=9510 84.86/84.94 c nbDecision=41500 #constraints=9586 87.36/87.42 c nbDecision=42000 #constraints=9670 89.66/89.72 c nbDecision=42500 #constraints=9756 91.76/91.85 c nbDecision=43000 #constraints=9841 94.36/94.47 c nbDecision=43500 #constraints=9915 96.95/97.03 c nbDecision=44000 #constraints=9996 99.45/99.54 c nbDecision=44500 #constraints=10082 101.75/101.84 c nbDecision=45000 #constraints=10167 104.46/104.54 c nbDecision=45500 #constraints=10234 107.46/107.51 c nbDecision=46000 #constraints=10301 110.06/110.11 c nbDecision=46500 #constraints=10354 113.05/113.18 c nbDecision=47000 #constraints=10421 115.75/115.80 c nbDecision=47500 #constraints=10478 118.95/119.05 c nbDecision=48000 #constraints=10544 121.65/121.74 c nbDecision=48500 #constraints=10604 124.84/124.97 c nbDecision=49000 #constraints=10666 127.74/127.85 c nbDecision=49500 #constraints=10730 131.45/131.58 c nbDecision=50000 #constraints=10802 135.75/135.82 c nbDecision=50500 #constraints=10888 140.55/140.61 c nbDecision=51000 #constraints=10986 141.94/142.05 c restart after 51201 decisions 144.24/144.38 c nbDecision=51500 #constraints=11050 148.84/148.92 c nbDecision=52000 #constraints=11146 153.54/153.68 c nbDecision=52500 #constraints=11234 158.03/158.17 c nbDecision=53000 #constraints=11316 162.53/162.66 c nbDecision=53500 #constraints=11396 167.63/167.75 c nbDecision=54000 #constraints=11482 172.03/172.15 c nbDecision=54500 #constraints=11554 176.73/176.89 c nbDecision=55000 #constraints=11632 181.33/181.49 c nbDecision=55500 #constraints=11710 183.83/183.97 c nbDecision=56000 #constraints=11759 186.52/186.66 c nbDecision=56500 #constraints=11813 189.22/189.33 c nbDecision=57000 #constraints=11867 191.52/191.65 c nbDecision=57500 #constraints=11917 194.02/194.13 c nbDecision=58000 #constraints=11973 196.62/196.75 c nbDecision=58500 #constraints=12025 199.42/199.54 c nbDecision=59000 #constraints=12071 201.93/202.03 c nbDecision=59500 #constraints=12123 204.72/204.80 c nbDecision=60000 #constraints=12177 207.42/207.58 c nbDecision=60500 #constraints=12231 209.82/209.92 c nbDecision=61000 #constraints=12281 212.42/212.59 c nbDecision=61500 #constraints=12335 215.22/215.34 c nbDecision=62000 #constraints=12390 218.01/218.13 c nbDecision=62500 #constraints=12434 220.71/220.85 c nbDecision=63000 #constraints=12488 223.51/223.69 c nbDecision=63500 #constraints=12541 226.31/226.50 c nbDecision=64000 #constraints=12593 228.91/229.00 c nbDecision=64500 #constraints=12645 231.61/231.76 c nbDecision=65000 #constraints=12700 234.31/234.43 c nbDecision=65500 #constraints=12751 237.42/237.54 c nbDecision=66000 #constraints=12798 240.21/240.37 c nbDecision=66500 #constraints=12852 243.21/243.39 c nbDecision=67000 #constraints=12904 245.91/246.09 c nbDecision=67500 #constraints=12955 248.71/248.82 c nbDecision=68000 #constraints=13010 251.51/251.63 c nbDecision=68500 #constraints=13062 254.11/254.26 c nbDecision=69000 #constraints=13113 258.31/258.41 c nbDecision=69500 #constraints=13162 262.20/262.33 c nbDecision=70000 #constraints=13216 266.20/266.31 c nbDecision=70500 #constraints=13262 270.20/270.35 c nbDecision=71000 #constraints=13318 274.00/274.17 c nbDecision=71500 #constraints=13370 278.20/278.39 c nbDecision=72000 #constraints=13418 282.09/282.25 c nbDecision=72500 #constraints=13470 285.79/285.91 c nbDecision=73000 #constraints=13520 290.29/290.48 c nbDecision=73500 #constraints=13572 294.29/294.47 c nbDecision=74000 #constraints=13626 298.58/298.72 c nbDecision=74500 #constraints=13672 306.48/306.67 c nbDecision=75000 #constraints=13776 313.59/313.72 c nbDecision=75500 #constraints=13860 320.18/320.39 c nbDecision=76000 #constraints=13944 327.88/328.03 c nbDecision=76500 #constraints=14038 334.88/335.06 c nbDecision=77000 #constraints=14120 342.17/342.35 c nbDecision=77500 #constraints=14213 349.97/350.11 c nbDecision=78000 #constraints=14286 358.27/358.46 c nbDecision=78500 #constraints=14360 366.36/366.56 c nbDecision=79000 #constraints=14432 374.56/374.70 c nbDecision=79500 #constraints=14504 379.26/379.43 c nbDecision=80000 #constraints=14576 384.36/384.53 c nbDecision=80500 #constraints=14659 389.05/389.29 c nbDecision=81000 #constraints=14742 393.75/393.90 c nbDecision=81500 #constraints=14828 398.55/398.73 c nbDecision=82000 #constraints=14906 403.56/403.77 c nbDecision=82500 #constraints=14980 408.96/409.15 c nbDecision=83000 #constraints=15065 413.85/414.05 c nbDecision=83500 #constraints=15146 418.55/418.74 c nbDecision=84000 #constraints=15231 423.75/423.91 c nbDecision=84500 #constraints=15312 429.24/429.47 c nbDecision=85000 #constraints=15388 434.64/434.87 c nbDecision=85500 #constraints=15469 440.04/440.27 c nbDecision=86000 #constraints=15553 445.14/445.33 c nbDecision=86500 #constraints=15636 450.23/450.45 c nbDecision=87000 #constraints=15717 456.23/456.42 c nbDecision=87500 #constraints=15793 462.03/462.26 c nbDecision=88000 #constraints=15876 467.24/467.49 c nbDecision=88500 #constraints=15958 473.03/473.21 c nbDecision=89000 #constraints=16045 478.43/478.68 c nbDecision=89500 #constraints=16120 485.23/485.48 c nbDecision=90000 #constraints=16184 491.32/491.52 c nbDecision=90500 #constraints=16245 498.22/498.41 c nbDecision=91000 #constraints=16306 504.72/504.95 c nbDecision=91500 #constraints=16371 511.01/511.22 c nbDecision=92000 #constraints=16426 517.82/518.09 c nbDecision=92500 #constraints=16493 524.01/524.23 c nbDecision=93000 #constraints=16546 530.80/531.05 c nbDecision=93500 #constraints=16613 537.30/537.56 c nbDecision=94000 #constraints=16669 547.20/547.41 c nbDecision=94500 #constraints=16767 556.31/556.53 c nbDecision=95000 #constraints=16849 565.10/565.39 c nbDecision=95500 #constraints=16938 575.19/575.46 c nbDecision=96000 #constraints=17028 584.29/584.54 c nbDecision=96500 #constraints=17109 594.38/594.61 c nbDecision=97000 #constraints=17207 603.48/603.72 c nbDecision=97500 #constraints=17281 613.17/613.47 c nbDecision=98000 #constraints=17359 622.47/622.74 c nbDecision=98500 #constraints=17435 632.58/632.87 c nbDecision=99000 #constraints=17521 642.27/642.54 c nbDecision=99500 #constraints=17597 652.97/653.21 c nbDecision=100000 #constraints=17669 666.76/667.01 c nbDecision=100500 #constraints=17741 681.56/681.87 c nbDecision=101000 #constraints=17819 695.85/696.11 c nbDecision=101500 #constraints=17893 709.65/709.99 c nbDecision=102000 #constraints=17965 722.45/722.73 c restart after 102401 decisions 723.34/723.61 c nbDecision=102500 #constraints=18033 737.24/737.56 c nbDecision=103000 #constraints=18105 751.93/752.22 c nbDecision=103500 #constraints=18181 765.93/766.29 c nbDecision=104000 #constraints=18253 779.62/779.91 c nbDecision=104500 #constraints=18325 793.62/793.97 c nbDecision=105000 #constraints=18403 806.92/807.21 c nbDecision=105500 #constraints=18477 821.32/821.66 c nbDecision=106000 #constraints=18555 835.41/835.75 c nbDecision=106500 #constraints=18631 849.70/850.04 c nbDecision=107000 #constraints=18709 863.00/863.34 c nbDecision=107500 #constraints=18781 876.79/877.17 c nbDecision=108000 #constraints=18855 889.98/890.38 c nbDecision=108500 #constraints=18925 904.98/905.32 c nbDecision=109000 #constraints=19001 919.87/920.25 c nbDecision=109500 #constraints=19077 935.47/935.85 c nbDecision=110000 #constraints=19155 951.07/951.42 c nbDecision=110500 #constraints=19233 965.86/966.29 c nbDecision=111000 #constraints=19307 980.86/981.22 c nbDecision=111500 #constraints=19381 995.75/996.19 c nbDecision=112000 #constraints=19455 1009.94/1010.38 c nbDecision=112500 #constraints=19525 1024.64/1025.10 c nbDecision=113000 #constraints=19601 1038.73/1039.15 c nbDecision=113500 #constraints=19677 1053.33/1053.79 c nbDecision=114000 #constraints=19755 1068.32/1068.76 c nbDecision=114500 #constraints=19833 1082.61/1083.06 c nbDecision=115000 #constraints=19907 1096.61/1097.07 c nbDecision=115500 #constraints=19981 1110.41/1110.80 c nbDecision=116000 #constraints=20053 1124.31/1124.78 c nbDecision=116500 #constraints=20125 1138.80/1139.23 c nbDecision=117000 #constraints=20201 1144.30/1144.78 c nbDecision=117500 #constraints=20249 1149.90/1150.38 c nbDecision=118000 #constraints=20303 1155.99/1156.46 c nbDecision=118500 #constraints=20356 1160.89/1161.35 c nbDecision=119000 #constraints=20406 1166.39/1166.89 c nbDecision=119500 #constraints=20465 1171.38/1171.90 c nbDecision=120000 #constraints=20510 1177.59/1178.08 c nbDecision=120500 #constraints=20563 1183.79/1184.20 c nbDecision=121000 #constraints=20618 1189.29/1189.70 c nbDecision=121500 #constraints=20665 1194.38/1194.84 c nbDecision=122000 #constraints=20720 1199.98/1200.45 c nbDecision=122500 #constraints=20776 1205.68/1206.10 c nbDecision=123000 #constraints=20820 1210.88/1211.37 c nbDecision=123500 #constraints=20874 1217.37/1217.86 c nbDecision=124000 #constraints=20931 1223.07/1223.50 c nbDecision=124500 #constraints=20979 1227.97/1228.47 c nbDecision=125000 #constraints=21031 1233.77/1234.20 c nbDecision=125500 #constraints=21089 1239.46/1239.95 c nbDecision=126000 #constraints=21132 1245.06/1245.55 c nbDecision=126500 #constraints=21187 1251.86/1252.35 c nbDecision=127000 #constraints=21243 1257.16/1257.65 c nbDecision=127500 #constraints=21291 1262.55/1263.06 c nbDecision=128000 #constraints=21345 1268.05/1268.57 c nbDecision=128500 #constraints=21401 1274.75/1275.25 c nbDecision=129000 #constraints=21447 1282.35/1282.81 c nbDecision=129500 #constraints=21499 1289.34/1289.85 c nbDecision=130000 #constraints=21553 1297.55/1298.09 c nbDecision=130500 #constraints=21603 1304.95/1305.44 c nbDecision=131000 #constraints=21655 1311.85/1312.32 c nbDecision=131500 #constraints=21703 1320.34/1320.83 c nbDecision=132000 #constraints=21757 1327.43/1327.94 c nbDecision=132500 #constraints=21809 1335.13/1335.69 c nbDecision=133000 #constraints=21857 1342.82/1343.32 c nbDecision=133500 #constraints=21909 1349.92/1350.49 c nbDecision=134000 #constraints=21963 1362.72/1363.23 c nbDecision=134500 #constraints=22041 1375.22/1375.78 c nbDecision=135000 #constraints=22121 1390.81/1391.33 c nbDecision=135500 #constraints=22227 1404.51/1405.05 c nbDecision=136000 #constraints=22311 1417.20/1417.72 c nbDecision=136500 #constraints=22391 1432.70/1433.27 c nbDecision=137000 #constraints=22497 1447.00/1447.56 c nbDecision=137500 #constraints=22571 1461.89/1462.43 c nbDecision=138000 #constraints=22643 1476.78/1477.32 c nbDecision=138500 #constraints=22715 1491.67/1492.23 c nbDecision=139000 #constraints=22787 1502.08/1502.69 c nbDecision=139500 #constraints=22857 1511.37/1511.99 c nbDecision=140000 #constraints=22944 1519.97/1520.60 c nbDecision=140500 #constraints=23026 1528.27/1528.85 c nbDecision=141000 #constraints=23112 1537.76/1538.37 c nbDecision=141500 #constraints=23189 1547.07/1547.69 c nbDecision=142000 #constraints=23272 1556.06/1556.69 c nbDecision=142500 #constraints=23357 1564.36/1564.93 c nbDecision=143000 #constraints=23440 1573.46/1574.06 c nbDecision=143500 #constraints=23516 1583.15/1583.74 c nbDecision=144000 #constraints=23602 1592.25/1592.81 c nbDecision=144500 #constraints=23685 1601.34/1601.91 c nbDecision=145000 #constraints=23773 1610.23/1610.80 c nbDecision=145500 #constraints=23844 1619.83/1620.44 c nbDecision=146000 #constraints=23929 1629.33/1629.91 c nbDecision=146500 #constraints=24013 1638.22/1638.89 c nbDecision=147000 #constraints=24101 1647.52/1648.20 c nbDecision=147500 #constraints=24167 1657.91/1658.50 c nbDecision=148000 #constraints=24229 1667.82/1668.45 c nbDecision=148500 #constraints=24282 1677.92/1678.52 c nbDecision=149000 #constraints=24342 1687.61/1688.20 c nbDecision=149500 #constraints=24393 1697.51/1698.10 c nbDecision=150000 #constraints=24452 1707.50/1708.15 c nbDecision=150500 #constraints=24505 1716.90/1717.51 c nbDecision=151000 #constraints=24561 1730.59/1731.25 c nbDecision=151500 #constraints=24641 1744.89/1745.57 c nbDecision=152000 #constraints=24727 1760.49/1761.19 c nbDecision=152500 #constraints=24829 1774.98/1775.65 c nbDecision=153000 #constraints=24913 1789.18/1789.84 c nbDecision=153500 #constraints=24997 1800.08/1800.70 Received signal 15 1800.08/1800.74 1800.08/1800.74 s UNKNOWN 1800.08/1800.74 1800.08/1800.74 c user time= 1799.89 s 1800.08/1800.74 c system time= 0.232964 s 1800.08/1800.74 c wall clock time=1800.74
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-364358-1176988042 -o ROOT/results/node67/solver-364358-1176988042 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364358-1176988042/instance-364358-1176988042.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10000 /proc/meminfo: memFree=1854136/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=1620 CPUtime=0 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 174793716 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 405 175 126 317 0 84 0 [startup+0.0541139 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10000 /proc/meminfo: memFree=1854136/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=2912 CPUtime=0.05 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 535 0 0 0 5 0 0 0 18 0 1 0 174793716 2981888 517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 728 517 137 317 0 407 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2912 [startup+0.101121 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10000 /proc/meminfo: memFree=1854136/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=3308 CPUtime=0.09 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 627 0 0 0 9 0 0 0 18 0 1 0 174793716 3387392 575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 827 575 139 317 0 506 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3308 [startup+0.301159 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10000 /proc/meminfo: memFree=1854136/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=3308 CPUtime=0.29 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 630 0 0 0 29 0 0 0 19 0 1 0 174793716 3387392 578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278900 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 827 578 139 317 0 506 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3308 [startup+0.701231 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10000 /proc/meminfo: memFree=1854136/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=3572 CPUtime=0.69 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 694 0 0 0 69 0 0 0 22 0 1 0 174793716 3657728 642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 893 642 139 317 0 572 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3572 [startup+1.50138 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1851888/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=4096 CPUtime=1.49 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 846 0 0 0 149 0 0 0 25 0 1 0 174793716 4194304 794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 1024 794 139 317 0 703 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4096 [startup+3.10167 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1850928/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=5148 CPUtime=3.09 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 1095 0 0 0 309 0 0 0 25 0 1 0 174793716 5271552 1043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563464 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 1287 1043 139 317 0 966 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5148 [startup+6.30126 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1849008/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=6720 CPUtime=6.29 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 1489 0 0 0 628 1 0 0 25 0 1 0 174793716 6881280 1437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 1680 1437 139 317 0 1359 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6720 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1846192/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=9240 CPUtime=12.69 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 2149 0 0 0 1267 2 0 0 25 0 1 0 174793716 9461760 2097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 2310 2097 139 317 0 1989 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9240 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1842672/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=12912 CPUtime=25.48 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 2995 0 0 0 2546 2 0 0 25 0 1 0 174793716 13221888 2943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 3228 2943 139 317 0 2907 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12912 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1838064/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=17292 CPUtime=51.07 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 4135 0 0 0 5103 4 0 0 25 0 1 0 174793716 17707008 4083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 4323 4083 139 317 0 4002 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17292 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1830576/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=25628 CPUtime=102.25 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 6040 0 0 0 10220 5 0 0 25 0 1 0 174793716 26243072 5923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 6407 5923 139 317 0 6086 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 25628 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1825264/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=30856 CPUtime=162.23 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 7389 0 0 0 16216 7 0 0 25 0 1 0 174793716 31596544 7272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 7714 7272 139 317 0 7393 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 30856 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1820848/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=35092 CPUtime=222.21 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 8463 0 0 0 22213 8 0 0 25 0 1 0 174793716 35934208 8346 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 8773 8346 139 317 0 8452 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 35092 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1817008/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=40012 CPUtime=282.19 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 9435 0 0 0 28210 9 0 0 25 0 1 0 174793716 40972288 9318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712464 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 10003 9318 139 317 0 9682 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 40012 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1813808/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=43216 CPUtime=342.17 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 10211 0 0 0 34207 10 0 0 25 0 1 0 174793716 44253184 10094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 10804 10094 139 317 0 10483 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 43216 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1810608/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=47016 CPUtime=402.16 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 11020 0 0 0 40205 11 0 0 25 0 1 0 174793716 48144384 10903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 11754 10903 139 317 0 11433 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 47016 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1806832/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=50544 CPUtime=462.13 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 11945 0 0 0 46202 11 0 0 25 0 1 0 174793716 51757056 11828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273406 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 12636 11828 139 317 0 12315 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 50544 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1804016/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=53540 CPUtime=522.11 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 12675 0 0 0 52199 12 0 0 25 0 1 0 174793716 54824960 12558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 13385 12558 139 317 0 13064 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 53540 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1801136/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=56056 CPUtime=582.09 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 13377 0 0 0 58196 13 0 0 25 0 1 0 174793716 57401344 13260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 14014 13260 139 317 0 13693 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 56056 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1798704/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=58400 CPUtime=642.08 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 13992 0 0 0 64194 14 0 0 25 0 1 0 174793716 59801600 13875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 14600 13875 139 317 0 14279 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 58400 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1791856/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=65644 CPUtime=881.99 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 15808 0 0 0 88184 15 0 0 25 0 1 0 174793716 67219456 15563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 16411 15563 139 317 0 16090 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 65644 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1790448/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=67084 CPUtime=941.97 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 16178 0 0 0 94181 16 0 0 25 0 1 0 174793716 68694016 15933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 16771 15933 139 317 0 16450 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 67084 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1788784/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=68552 CPUtime=1001.95 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 16579 0 0 0 100179 16 0 0 25 0 1 0 174793716 70197248 16334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 17138 16334 139 317 0 16817 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 68552 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1786864/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=70276 CPUtime=1061.92 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 17043 0 0 0 106176 16 0 0 25 0 1 0 174793716 71962624 16798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 17569 16798 139 317 0 17248 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 70276 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1784880/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=72284 CPUtime=1121.91 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 17537 0 0 0 112174 17 0 0 25 0 1 0 174793716 74018816 17292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 18071 17292 139 317 0 17750 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 72284 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1783088/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=74240 CPUtime=1181.89 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 17986 0 0 0 118171 18 0 0 25 0 1 0 174793716 76021760 17741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746933 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 18560 17741 139 317 0 18239 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 74240 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1781232/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=76064 CPUtime=1241.86 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 18438 0 0 0 124168 18 0 0 25 0 1 0 174793716 77889536 18193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 19016 18193 139 317 0 18695 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 76064 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1778992/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=81804 CPUtime=1301.85 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 19581 0 0 0 130166 19 0 0 25 0 1 0 174793716 83767296 18742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 20451 18742 139 317 0 20130 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 81804 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1777584/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=83244 CPUtime=1361.82 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 19996 0 0 0 136163 19 0 0 25 0 1 0 174793716 85241856 19124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 20811 19124 139 317 0 20490 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 83244 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1776112/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=84684 CPUtime=1421.8 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 20381 0 0 0 142160 20 0 0 25 0 1 0 174793716 86716416 19509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 21171 19509 139 317 0 20850 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 84684 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1774704/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=85992 CPUtime=1481.78 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 20717 0 0 0 148158 20 0 0 25 0 1 0 174793716 88055808 19845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 21498 19845 139 317 0 21177 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 85992 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1772784/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=87736 CPUtime=1541.76 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 21201 0 0 0 154155 21 0 0 25 0 1 0 174793716 89841664 20329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 21934 20329 139 317 0 21613 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 87736 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1770288/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=91008 CPUtime=1601.74 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 21908 0 0 0 160153 21 0 0 25 0 1 0 174793716 93192192 20937 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 22752 20937 139 317 0 22431 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 91008 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1768496/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=92700 CPUtime=1661.71 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 22412 0 0 0 166150 21 0 0 25 0 1 0 174793716 94924800 21375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 23175 21375 139 317 0 22854 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 92700 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1766960/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=94272 CPUtime=1721.7 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 22788 0 0 0 172148 22 0 0 25 0 1 0 174793716 96534528 21751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 23568 21751 139 317 0 23247 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 94272 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1765296/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=95976 CPUtime=1781.67 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 23215 0 0 0 178145 22 0 0 25 0 1 0 174793716 98279424 22178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 23994 22178 139 317 0 23673 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 95976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1764848/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=96368 CPUtime=1800.08 /proc/10000/stat : 10000 (oree) R 9998 10000 9195 0 -1 4194304 23323 0 0 0 179985 23 0 0 25 0 1 0 174793716 98680832 22286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711134 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10000/statm: 24092 22286 139 317 0 23771 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 96368 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10001 /proc/meminfo: memFree=1764848/2055920 swapFree=4179676/4192956 [pid=10000] ppid=9998 vsize=0 CPUtime=1800.13 /proc/10000/stat : 10000 (oree) D 9998 10000 9195 0 -1 4194308 23339 0 0 0 179989 24 0 0 25 0 1 0 174793716 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0 /proc/10000/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.85 CPU time (s): 1800.15 CPU user time (s): 1799.9 CPU system time (s): 0.248962 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (KiB): 96368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.248962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23339 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= 1998 runsolver used 1.3098 second user time and 3.63745 second system time The end
Begin job on node67 on Thu Apr 19 13:07:22 UTC 2007 IDJOB= 364358 IDBENCH= 2103 IDSOLVER= 172 FILE ID= node67/364358-1176988042 PBS_JOBID= 4630411 Free space on /tmp= 66455 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb COMMAND LINE= oree /tmp/evaluation/364358-1176988042/instance-364358-1176988042.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-364358-1176988042 -o ROOT/results/node67/solver-364358-1176988042 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364358-1176988042/instance-364358-1176988042.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7ecb3834576c61e36b2048d581937745 RANDOM SEED= 220006950 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1854544 kB Buffers: 25436 kB Cached: 122596 kB SwapCached: 7008 kB Active: 80608 kB Inactive: 80808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854544 kB SwapTotal: 4192956 kB SwapFree: 4179676 kB Dirty: 1456 kB Writeback: 0 kB Mapped: 16016 kB Slab: 25928 kB Committed_AS: 281256 kB PageTables: 1452 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= 66455 MiB End job on node67 on Thu Apr 19 13:37:25 UTC 2007