Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.18 | 1800.85 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Medium/ contest05/others/QG7a-gensys-ukn005.sat05-3845.reshuffled-07.opb |
MD5SUM | 4576cc8fc04e724f566c334891bf46f7 |
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 | 152.819 |
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 | 2765 |
Total number of constraints | 18046 |
Number of constraints which are clauses | 18046 |
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 | 13 |
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 | 9 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 22 |
Number of bits of the biggest sum of numbers | 5 |
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.29/0.34 c ...done 0.29/0.34 c #vars=2765 #constraints=18046 hasObjective=no 0.29/0.38 c res. mode=mod 0.29/0.38 c VSIDS like heuristics 0.29/0.38 c complete search running 0.89/0.93 c restart after 401 decisions 1.09/1.19 c nbDecision=500 #constraints=18179 2.09/2.13 c restart after 801 decisions 2.79/2.81 c nbDecision=1000 #constraints=18476 5.09/5.16 c nbDecision=1500 #constraints=18814 5.59/5.67 c restart after 1601 decisions 6.59/6.68 c nbDecision=2000 #constraints=19004 8.48/8.55 c nbDecision=2500 #constraints=19293 10.68/10.70 c nbDecision=3000 #constraints=19612 11.38/11.46 c restart after 3201 decisions 12.38/12.44 c nbDecision=3500 #constraints=19840 14.28/14.34 c nbDecision=4000 #constraints=20078 16.69/16.73 c nbDecision=4500 #constraints=20305 16.99/17.02 c nbDecision=5000 #constraints=20320 18.98/19.07 c nbDecision=5500 #constraints=20533 21.48/21.51 c nbDecision=6000 #constraints=20758 22.78/22.85 c restart after 6401 decisions 23.09/23.13 c nbDecision=6500 #constraints=20894 25.68/25.79 c nbDecision=7000 #constraints=21242 29.08/29.16 c nbDecision=7500 #constraints=21543 32.79/32.84 c nbDecision=8000 #constraints=21885 35.88/35.99 c nbDecision=8500 #constraints=22162 37.18/37.22 c nbDecision=9000 #constraints=22236 39.88/39.96 c nbDecision=9500 #constraints=22418 42.98/43.06 c nbDecision=10000 #constraints=22615 47.37/47.42 c nbDecision=10500 #constraints=22928 51.07/51.19 c nbDecision=11000 #constraints=23215 54.68/54.76 c nbDecision=11500 #constraints=23428 61.37/61.44 c nbDecision=12000 #constraints=23756 64.78/64.89 c nbDecision=12500 #constraints=23949 68.97/69.03 c restart after 12801 decisions 69.97/70.00 c nbDecision=13000 #constraints=24232 74.26/74.33 c nbDecision=13500 #constraints=24490 79.57/79.60 c nbDecision=14000 #constraints=24764 81.27/81.33 c nbDecision=14500 #constraints=24822 81.47/81.57 c nbDecision=15000 #constraints=24830 83.17/83.26 c nbDecision=15500 #constraints=24902 92.46/92.55 c nbDecision=16000 #constraints=25221 92.66/92.71 c nbDecision=16500 #constraints=25224 96.16/96.26 c nbDecision=17000 #constraints=25415 102.86/102.94 c nbDecision=17500 #constraints=25749 108.96/109.07 c nbDecision=18000 #constraints=26017 115.36/115.43 c nbDecision=18500 #constraints=26306 120.25/120.32 c nbDecision=19000 #constraints=26506 126.56/126.62 c nbDecision=19500 #constraints=26793 127.56/127.65 c nbDecision=20000 #constraints=26831 130.25/130.39 c nbDecision=20500 #constraints=26932 138.05/138.13 c nbDecision=21000 #constraints=27191 146.65/146.76 c nbDecision=21500 #constraints=27452 151.35/151.46 c nbDecision=22000 #constraints=27594 151.45/151.50 c nbDecision=22500 #constraints=27597 151.45/151.55 c nbDecision=23000 #constraints=27600 151.55/151.61 c nbDecision=23500 #constraints=27605 151.55/151.67 c nbDecision=24000 #constraints=27610 158.54/158.62 c nbDecision=24500 #constraints=27839 164.94/165.05 c nbDecision=25000 #constraints=28039 173.33/173.44 c nbDecision=25500 #constraints=28272 173.33/173.47 c restart after 25601 decisions 177.44/177.57 c nbDecision=26000 #constraints=28466 185.94/186.08 c nbDecision=26500 #constraints=28745 196.84/196.94 c nbDecision=27000 #constraints=29079 198.43/198.52 c nbDecision=27500 #constraints=29114 198.73/198.82 c nbDecision=28000 #constraints=29122 198.73/198.86 c nbDecision=28500 #constraints=29127 205.13/205.27 c nbDecision=29000 #constraints=29271 216.93/217.08 c nbDecision=29500 #constraints=29579 217.42/217.54 c nbDecision=30000 #constraints=29593 218.42/218.55 c nbDecision=30500 #constraints=29614 218.42/218.58 c nbDecision=31000 #constraints=29615 219.12/219.28 c nbDecision=31500 #constraints=29626 228.33/228.45 c nbDecision=32000 #constraints=29919 236.92/237.07 c nbDecision=32500 #constraints=30119 240.82/240.93 c nbDecision=33000 #constraints=30216 247.12/247.24 c nbDecision=33500 #constraints=30359 247.22/247.40 c nbDecision=34000 #constraints=30365 247.42/247.53 c nbDecision=34500 #constraints=30368 247.52/247.70 c nbDecision=35000 #constraints=30370 248.42/248.56 c nbDecision=35500 #constraints=30391 248.52/248.61 c nbDecision=36000 #constraints=30394 248.52/248.66 c nbDecision=36500 #constraints=30395 248.62/248.73 c nbDecision=37000 #constraints=30403 248.92/249.02 c nbDecision=37500 #constraints=30412 248.92/249.07 c nbDecision=38000 #constraints=30414 249.02/249.11 c nbDecision=38500 #constraints=30415 250.02/250.16 c nbDecision=39000 #constraints=30448 250.32/250.48 c nbDecision=39500 #constraints=30454 250.42/250.52 c nbDecision=40000 #constraints=30458 250.42/250.57 c nbDecision=40500 #constraints=30461 250.52/250.61 c nbDecision=41000 #constraints=30463 252.11/252.25 c nbDecision=41500 #constraints=30503 252.11/252.29 c nbDecision=42000 #constraints=30506 252.21/252.34 c nbDecision=42500 #constraints=30508 252.21/252.38 c nbDecision=43000 #constraints=30509 252.82/252.94 c nbDecision=43500 #constraints=30520 252.92/253.04 c nbDecision=44000 #constraints=30523 252.92/253.08 c nbDecision=44500 #constraints=30524 253.01/253.13 c nbDecision=45000 #constraints=30525 253.01/253.16 c nbDecision=45500 #constraints=30526 257.41/257.50 c nbDecision=46000 #constraints=30642 257.41/257.60 c nbDecision=46500 #constraints=30651 258.21/258.32 c nbDecision=47000 #constraints=30664 258.51/258.63 c nbDecision=47500 #constraints=30671 258.71/258.83 c nbDecision=48000 #constraints=30679 259.11/259.21 c nbDecision=48500 #constraints=30690 260.41/260.55 c nbDecision=49000 #constraints=30717 260.61/260.76 c nbDecision=49500 #constraints=30719 260.71/260.85 c nbDecision=50000 #constraints=30720 260.81/260.95 c nbDecision=50500 #constraints=30721 260.91/261.04 c nbDecision=51000 #constraints=30722 260.91/261.06 c restart after 51201 decisions 265.01/265.11 c nbDecision=51500 #constraints=30846 271.62/271.75 c nbDecision=52000 #constraints=31051 279.41/279.54 c nbDecision=52500 #constraints=31262 290.10/290.25 c nbDecision=53000 #constraints=31532 297.20/297.33 c nbDecision=53500 #constraints=31778 307.70/307.90 c nbDecision=54000 #constraints=32056 320.60/320.70 c nbDecision=54500 #constraints=32330 327.70/327.84 c nbDecision=55000 #constraints=32464 342.19/342.32 c nbDecision=55500 #constraints=32718 359.18/359.34 c nbDecision=56000 #constraints=33041 366.58/366.75 c nbDecision=56500 #constraints=33206 376.58/376.74 c nbDecision=57000 #constraints=33401 376.88/377.00 c nbDecision=57500 #constraints=33410 376.98/377.16 c nbDecision=58000 #constraints=33414 378.98/379.13 c nbDecision=58500 #constraints=33449 379.68/379.85 c nbDecision=59000 #constraints=33462 379.68/379.89 c nbDecision=59500 #constraints=33464 380.98/381.15 c nbDecision=60000 #constraints=33485 384.08/384.22 c nbDecision=60500 #constraints=33534 387.47/387.63 c nbDecision=61000 #constraints=33602 388.08/388.22 c nbDecision=61500 #constraints=33608 388.57/388.78 c nbDecision=62000 #constraints=33621 388.77/388.95 c nbDecision=62500 #constraints=33623 388.77/388.99 c nbDecision=63000 #constraints=33624 388.87/389.04 c nbDecision=63500 #constraints=33629 388.97/389.17 c nbDecision=64000 #constraints=33634 389.37/389.58 c nbDecision=64500 #constraints=33642 389.77/389.94 c nbDecision=65000 #constraints=33645 398.37/398.59 c nbDecision=65500 #constraints=33820 412.07/412.22 c nbDecision=66000 #constraints=34075 428.17/428.36 c nbDecision=66500 #constraints=34391 428.87/429.07 c nbDecision=67000 #constraints=34416 440.46/440.61 c nbDecision=67500 #constraints=34675 449.46/449.68 c nbDecision=68000 #constraints=34828 450.76/451.00 c nbDecision=68500 #constraints=34846 450.96/451.17 c nbDecision=69000 #constraints=34848 452.36/452.50 c nbDecision=69500 #constraints=34868 452.36/452.54 c nbDecision=70000 #constraints=34869 452.65/452.81 c nbDecision=70500 #constraints=34876 456.65/456.89 c nbDecision=71000 #constraints=34944 459.15/459.32 c nbDecision=71500 #constraints=34988 459.25/459.41 c nbDecision=72000 #constraints=34991 459.35/459.51 c nbDecision=72500 #constraints=34994 459.35/459.54 c nbDecision=73000 #constraints=34995 459.65/459.85 c nbDecision=73500 #constraints=35001 459.65/459.88 c nbDecision=74000 #constraints=35002 460.65/460.85 c nbDecision=74500 #constraints=35021 460.85/461.10 c nbDecision=75000 #constraints=35024 460.95/461.13 c nbDecision=75500 #constraints=35025 460.95/461.17 c nbDecision=76000 #constraints=35026 460.95/461.19 c nbDecision=76500 #constraints=35026 461.05/461.23 c nbDecision=77000 #constraints=35027 461.05/461.27 c nbDecision=77500 #constraints=35028 464.76/464.94 c nbDecision=78000 #constraints=35099 467.56/467.78 c nbDecision=78500 #constraints=35153 467.76/467.99 c nbDecision=79000 #constraints=35157 467.96/468.11 c nbDecision=79500 #constraints=35159 467.96/468.15 c nbDecision=80000 #constraints=35161 468.06/468.27 c nbDecision=80500 #constraints=35162 468.16/468.30 c nbDecision=81000 #constraints=35162 468.16/468.35 c nbDecision=81500 #constraints=35164 468.36/468.58 c nbDecision=82000 #constraints=35169 468.46/468.61 c nbDecision=82500 #constraints=35170 468.76/468.99 c nbDecision=83000 #constraints=35180 471.95/472.16 c nbDecision=83500 #constraints=35226 477.15/477.35 c nbDecision=84000 #constraints=35331 477.15/477.38 c nbDecision=84500 #constraints=35333 477.25/477.43 c nbDecision=85000 #constraints=35335 477.25/477.46 c nbDecision=85500 #constraints=35335 477.35/477.54 c nbDecision=86000 #constraints=35343 477.35/477.57 c nbDecision=86500 #constraints=35343 477.45/477.61 c nbDecision=87000 #constraints=35344 478.55/478.77 c nbDecision=87500 #constraints=35358 490.14/490.31 c nbDecision=88000 #constraints=35537 507.03/507.29 c nbDecision=88500 #constraints=35869 513.93/514.16 c nbDecision=89000 #constraints=35992 519.84/520.01 c nbDecision=89500 #constraints=36099 533.13/533.39 c nbDecision=90000 #constraints=36345 533.63/533.83 c nbDecision=90500 #constraints=36360 533.83/534.03 c nbDecision=91000 #constraints=36365 533.83/534.08 c nbDecision=91500 #constraints=36369 536.23/536.46 c nbDecision=92000 #constraints=36402 536.33/536.51 c nbDecision=92500 #constraints=36405 536.33/536.56 c nbDecision=93000 #constraints=36407 536.43/536.61 c nbDecision=93500 #constraints=36412 536.43/536.66 c nbDecision=94000 #constraints=36415 536.53/536.70 c nbDecision=94500 #constraints=36417 536.53/536.75 c nbDecision=95000 #constraints=36420 536.63/536.80 c nbDecision=95500 #constraints=36425 536.63/536.83 c nbDecision=96000 #constraints=36425 536.63/536.87 c nbDecision=96500 #constraints=36426 536.73/536.90 c nbDecision=97000 #constraints=36426 546.92/547.11 c nbDecision=97500 #constraints=36603 565.82/566.00 c nbDecision=98000 #constraints=36930 590.02/590.23 c nbDecision=98500 #constraints=37311 611.21/611.48 c nbDecision=99000 #constraints=37658 625.90/626.18 c nbDecision=99500 #constraints=37913 626.00/626.24 c nbDecision=100000 #constraints=37918 626.00/626.28 c nbDecision=100500 #constraints=37921 626.10/626.33 c nbDecision=101000 #constraints=37923 626.10/626.37 c nbDecision=101500 #constraints=37925 626.30/626.58 c nbDecision=102000 #constraints=37927 626.40/626.61 c restart after 102401 decisions 627.91/628.11 c nbDecision=102500 #constraints=37935 644.99/645.29 c nbDecision=103000 #constraints=38269 660.90/661.16 c nbDecision=103500 #constraints=38504 676.09/676.38 c nbDecision=104000 #constraints=38692 698.19/698.48 c nbDecision=104500 #constraints=39010 700.68/700.93 c nbDecision=105000 #constraints=39035 715.17/715.46 c nbDecision=105500 #constraints=39237 731.57/731.86 c nbDecision=106000 #constraints=39460 755.97/756.29 c nbDecision=106500 #constraints=39752 782.85/783.18 c nbDecision=107000 #constraints=40075 803.45/803.76 c nbDecision=107500 #constraints=40356 823.64/823.96 c nbDecision=108000 #constraints=40647 834.94/835.26 c nbDecision=108500 #constraints=40795 844.64/844.90 c nbDecision=109000 #constraints=40908 853.13/853.47 c nbDecision=109500 #constraints=41068 876.43/876.77 c nbDecision=110000 #constraints=41435 909.42/909.75 c nbDecision=110500 #constraints=41834 929.11/929.43 c nbDecision=111000 #constraints=42141 946.90/947.22 c nbDecision=111500 #constraints=42367 955.30/955.68 c nbDecision=112000 #constraints=42478 964.59/964.98 c nbDecision=112500 #constraints=42611 985.39/985.76 c nbDecision=113000 #constraints=42829 1006.88/1007.29 c nbDecision=113500 #constraints=43113 1006.98/1007.36 c nbDecision=114000 #constraints=43120 1007.38/1007.74 c nbDecision=114500 #constraints=43128 1007.88/1008.29 c nbDecision=115000 #constraints=43133 1033.08/1033.44 c nbDecision=115500 #constraints=43436 1057.27/1057.67 c nbDecision=116000 #constraints=43657 1057.37/1057.72 c nbDecision=116500 #constraints=43659 1058.67/1059.00 c nbDecision=117000 #constraints=43669 1059.17/1059.59 c nbDecision=117500 #constraints=43673 1059.27/1059.66 c nbDecision=118000 #constraints=43675 1059.37/1059.73 c nbDecision=118500 #constraints=43676 1060.27/1060.63 c nbDecision=119000 #constraints=43683 1060.36/1060.71 c nbDecision=119500 #constraints=43686 1060.36/1060.78 c nbDecision=120000 #constraints=43688 1060.46/1060.85 c nbDecision=120500 #constraints=43692 1060.56/1060.93 c nbDecision=121000 #constraints=43696 1060.56/1060.97 c nbDecision=121500 #constraints=43696 1060.66/1061.04 c nbDecision=122000 #constraints=43697 1060.76/1061.11 c nbDecision=122500 #constraints=43699 1060.76/1061.16 c nbDecision=123000 #constraints=43700 1079.07/1079.41 c nbDecision=123500 #constraints=43923 1102.46/1102.83 c nbDecision=124000 #constraints=44154 1107.76/1108.12 c nbDecision=124500 #constraints=44222 1108.06/1108.40 c nbDecision=125000 #constraints=44228 1108.06/1108.45 c nbDecision=125500 #constraints=44232 1108.06/1108.49 c nbDecision=126000 #constraints=44235 1108.16/1108.53 c nbDecision=126500 #constraints=44236 1108.16/1108.57 c nbDecision=127000 #constraints=44237 1108.25/1108.61 c nbDecision=127500 #constraints=44238 1108.25/1108.65 c nbDecision=128000 #constraints=44239 1108.25/1108.69 c nbDecision=128500 #constraints=44240 1108.36/1108.72 c nbDecision=129000 #constraints=44241 1109.05/1109.41 c nbDecision=129500 #constraints=44263 1117.05/1117.41 c nbDecision=130000 #constraints=44343 1117.05/1117.46 c nbDecision=130500 #constraints=44347 1117.05/1117.49 c nbDecision=131000 #constraints=44349 1117.15/1117.54 c nbDecision=131500 #constraints=44352 1117.15/1117.58 c nbDecision=132000 #constraints=44352 1117.25/1117.62 c nbDecision=132500 #constraints=44353 1117.25/1117.66 c nbDecision=133000 #constraints=44353 1118.85/1119.23 c nbDecision=133500 #constraints=44391 1132.65/1133.01 c nbDecision=134000 #constraints=44557 1152.24/1152.68 c nbDecision=134500 #constraints=44825 1172.53/1172.96 c nbDecision=135000 #constraints=45056 1193.42/1193.82 c nbDecision=135500 #constraints=45309 1200.42/1200.84 c nbDecision=136000 #constraints=45394 1200.82/1201.27 c nbDecision=136500 #constraints=45402 1201.02/1201.49 c nbDecision=137000 #constraints=45405 1222.12/1222.50 c nbDecision=137500 #constraints=45624 1254.55/1255.06 c nbDecision=138000 #constraints=45949 1284.80/1285.34 c nbDecision=138500 #constraints=46283 1292.79/1293.38 c nbDecision=139000 #constraints=46375 1293.29/1293.85 c nbDecision=139500 #constraints=46378 1293.59/1294.12 c nbDecision=140000 #constraints=46380 1293.59/1294.18 c nbDecision=140500 #constraints=46383 1293.69/1294.23 c nbDecision=141000 #constraints=46384 1293.69/1294.29 c nbDecision=141500 #constraints=46388 1293.79/1294.34 c nbDecision=142000 #constraints=46391 1296.88/1297.43 c nbDecision=142500 #constraints=46428 1297.18/1297.77 c nbDecision=143000 #constraints=46429 1297.28/1297.82 c nbDecision=143500 #constraints=46431 1302.78/1303.35 c nbDecision=144000 #constraints=46489 1322.97/1323.52 c nbDecision=144500 #constraints=46716 1326.87/1327.43 c nbDecision=145000 #constraints=46758 1327.87/1328.46 c nbDecision=145500 #constraints=46768 1328.27/1328.85 c nbDecision=146000 #constraints=46772 1347.76/1348.35 c nbDecision=146500 #constraints=46979 1371.96/1372.59 c nbDecision=147000 #constraints=47215 1372.06/1372.65 c nbDecision=147500 #constraints=47221 1372.06/1372.70 c nbDecision=148000 #constraints=47225 1374.66/1375.22 c nbDecision=148500 #constraints=47240 1374.66/1375.26 c nbDecision=149000 #constraints=47241 1374.76/1375.33 c nbDecision=149500 #constraints=47252 1374.76/1375.37 c nbDecision=150000 #constraints=47254 1374.86/1375.42 c nbDecision=150500 #constraints=47257 1374.86/1375.46 c nbDecision=151000 #constraints=47260 1374.96/1375.50 c nbDecision=151500 #constraints=47263 1374.96/1375.55 c nbDecision=152000 #constraints=47264 1374.96/1375.59 c nbDecision=152500 #constraints=47266 1375.06/1375.62 c nbDecision=153000 #constraints=47266 1375.06/1375.66 c nbDecision=153500 #constraints=47266 1388.15/1388.70 c nbDecision=154000 #constraints=47427 1411.95/1412.50 c nbDecision=154500 #constraints=47656 1449.93/1450.57 c nbDecision=155000 #constraints=47996 1483.83/1484.49 c nbDecision=155500 #constraints=48289 1520.11/1520.72 c nbDecision=156000 #constraints=48602 1552.51/1553.15 c nbDecision=156500 #constraints=48897 1570.50/1571.14 c nbDecision=157000 #constraints=49087 1584.99/1585.65 c nbDecision=157500 #constraints=49219 1612.88/1613.59 c nbDecision=158000 #constraints=49480 1638.28/1638.91 c nbDecision=158500 #constraints=49693 1669.27/1669.98 c nbDecision=159000 #constraints=49946 1698.87/1699.56 c nbDecision=159500 #constraints=50214 1719.26/1719.96 c nbDecision=160000 #constraints=50390 1759.94/1760.66 c nbDecision=160500 #constraints=50708 1766.24/1766.95 c nbDecision=161000 #constraints=50766 1798.83/1799.59 c nbDecision=161500 #constraints=51004 1800.04/1800.71 Received signal 15 1800.13/1800.81 1800.13/1800.81 s UNKNOWN 1800.13/1800.81 1800.13/1800.81 c user time= 1799.77 s 1800.13/1800.81 c system time= 0.385941 s 1800.13/1800.81 c wall clock time=1800.81
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-420669-1177429221 -o ROOT/results/node6/solver-420669-1177429221 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420669-1177429221/instance-420669-1177429221.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.91 0.95 0.97 3/77 20606 /proc/meminfo: memFree=1885168/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=1468 CPUtime=0 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 218959806 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 367 163 130 317 0 46 0 [startup+0.029969 s] /proc/loadavg: 0.91 0.95 0.97 3/77 20606 /proc/meminfo: memFree=1885168/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=1996 CPUtime=0.02 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 303 0 0 0 2 0 0 0 18 0 1 0 218959806 2043904 286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 499 286 130 317 0 178 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1996 [startup+0.101976 s] /proc/loadavg: 0.91 0.95 0.97 3/77 20606 /proc/meminfo: memFree=1885168/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=3316 CPUtime=0.09 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 652 0 0 0 9 0 0 0 18 0 1 0 218959806 3395584 635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 829 635 130 317 0 508 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3316 [startup+0.302 s] /proc/loadavg: 0.91 0.95 0.97 3/77 20606 /proc/meminfo: memFree=1885168/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=7276 CPUtime=0.29 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 1620 0 0 0 29 0 0 0 19 0 1 0 218959806 7450624 1603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 1819 1604 130 317 0 1498 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7276 [startup+0.701046 s] /proc/loadavg: 0.91 0.95 0.97 3/77 20606 /proc/meminfo: memFree=1885168/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=11960 CPUtime=0.69 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 2807 0 0 0 69 0 0 0 22 0 1 0 218959806 12247040 2666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 2990 2666 139 317 0 2669 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11960 [startup+1.50114 s] /proc/loadavg: 0.91 0.95 0.97 2/78 20607 /proc/meminfo: memFree=1874792/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=11960 CPUtime=1.49 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 2807 0 0 0 149 0 0 0 25 0 1 0 218959806 12247040 2666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 2990 2666 139 317 0 2669 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11960 [startup+3.10133 s] /proc/loadavg: 0.91 0.95 0.97 2/78 20607 /proc/meminfo: memFree=1874664/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=12092 CPUtime=3.08 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 2847 0 0 0 308 0 0 0 25 0 1 0 218959806 12382208 2706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 3023 2706 139 317 0 2702 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 12092 [startup+6.3017 s] /proc/loadavg: 0.92 0.95 0.97 2/78 20607 /proc/meminfo: memFree=1873320/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=13532 CPUtime=6.29 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 3209 0 0 0 628 1 0 0 25 0 1 0 218959806 13856768 3068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 3383 3068 139 317 0 3062 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13532 [startup+12.7015 s] /proc/loadavg: 0.93 0.95 0.97 2/78 20607 /proc/meminfo: memFree=1871656/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=15240 CPUtime=12.68 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 3625 0 0 0 1267 1 0 0 25 0 1 0 218959806 15605760 3484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 3810 3484 139 317 0 3489 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15240 [startup+25.5019 s] /proc/loadavg: 0.94 0.96 0.97 2/78 20607 /proc/meminfo: memFree=1868712/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=18008 CPUtime=25.48 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 4324 0 0 0 2546 2 0 0 25 0 1 0 218959806 18440192 4183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 4502 4183 139 317 0 4181 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18008 [startup+51.1019 s] /proc/loadavg: 0.96 0.96 0.97 2/78 20607 /proc/meminfo: memFree=1863720/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=22904 CPUtime=51.07 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 5575 0 0 0 5104 3 0 0 25 0 1 0 218959806 23453696 5434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 5726 5434 139 317 0 5405 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22904 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.97 2/78 20607 /proc/meminfo: memFree=1855656/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=31272 CPUtime=102.27 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 7592 0 0 0 10221 6 0 0 25 0 1 0 218959806 32022528 7451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 7818 7451 139 317 0 7497 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 31272 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1848680/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=38456 CPUtime=162.24 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 9318 0 0 0 16216 8 0 0 25 0 1 0 218959806 39378944 9177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 9614 9177 139 317 0 9293 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 38456 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1843368/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=44164 CPUtime=222.22 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 10623 0 0 0 22213 9 0 0 25 0 1 0 218959806 45223936 10482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 11041 10482 139 317 0 10720 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 44164 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1839336/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=48080 CPUtime=282.21 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 11632 0 0 0 28210 11 0 0 25 0 1 0 218959806 49233920 11491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 12020 11491 139 317 0 11699 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 48080 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1834728/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=52592 CPUtime=342.19 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 12778 0 0 0 34206 13 0 0 25 0 1 0 218959806 53854208 12637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 13148 12637 139 317 0 12827 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 52592 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1831656/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=55656 CPUtime=402.17 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 13579 0 0 0 40203 14 0 0 25 0 1 0 218959806 56991744 13405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 13914 13405 139 317 0 13593 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 55656 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1827688/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=59440 CPUtime=462.16 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 14548 0 0 0 46200 16 0 0 25 0 1 0 218959806 60866560 14374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 14860 14374 139 317 0 14539 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 59440 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1823464/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=64384 CPUtime=522.13 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 15790 0 0 0 52196 17 0 0 25 0 1 0 218959806 65929216 15369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 16096 15369 139 317 0 15775 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 64384 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1820200/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=68700 CPUtime=582.11 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 16661 0 0 0 58194 17 0 0 25 0 1 0 218959806 70348800 16240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 17175 16240 139 317 0 16854 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 68700 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 3/78 20607 /proc/meminfo: memFree=1815976/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=73712 CPUtime=642.1 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 17687 0 0 0 64191 19 0 0 25 0 1 0 218959806 75481088 17266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 18428 17266 139 317 0 18107 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 73712 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1804008/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=86436 CPUtime=882.02 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 20666 0 0 0 88178 24 0 0 25 0 1 0 218959806 88510464 20245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 21609 20245 139 317 0 21288 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 86436 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1801704/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=88580 CPUtime=942 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 21250 0 0 0 94175 25 0 0 25 0 1 0 218959806 90705920 20829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 22145 20829 139 317 0 21824 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 88580 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1799528/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=90568 CPUtime=1001.99 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 21776 0 0 0 100173 26 0 0 25 0 1 0 218959806 92741632 21355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 22642 21355 139 317 0 22321 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 90568 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1797480/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=92588 CPUtime=1061.96 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 22275 0 0 0 106169 27 0 0 25 0 1 0 218959806 94810112 21854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 23147 21854 139 317 0 22826 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 92588 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1795432/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=94496 CPUtime=1121.95 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 22784 0 0 0 112167 28 0 0 25 0 1 0 218959806 96763904 22363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 23624 22363 139 317 0 23303 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 94496 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20607 /proc/meminfo: memFree=1793768/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=96084 CPUtime=1181.93 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 23210 0 0 0 118164 29 0 0 25 0 1 0 218959806 98390016 22789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 24021 22789 139 317 0 23700 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 96084 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/84 20633 /proc/meminfo: memFree=1790136/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=98344 CPUtime=1241.91 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 23799 0 0 0 124160 31 0 0 25 0 1 0 218959806 100704256 23378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 24586 23378 139 317 0 24265 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 98344 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20805 /proc/meminfo: memFree=1788392/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=100768 CPUtime=1301.79 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 24436 0 0 0 130147 32 0 0 25 0 1 0 218959806 103186432 24015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 25192 24015 139 317 0 24871 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 100768 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20805 /proc/meminfo: memFree=1786280/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=103000 CPUtime=1361.76 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 24963 0 0 0 136144 32 0 0 25 0 1 0 218959806 105472000 24542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 25750 24542 139 317 0 25429 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 103000 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20805 /proc/meminfo: memFree=1783592/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=105536 CPUtime=1421.74 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 25621 0 0 0 142141 33 0 0 25 0 1 0 218959806 108068864 25200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 26384 25200 139 317 0 26063 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 105536 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20805 /proc/meminfo: memFree=1781032/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=108084 CPUtime=1481.73 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 26254 0 0 0 148139 34 0 0 25 0 1 0 218959806 110678016 25833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 27021 25833 139 317 0 26700 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 108084 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20805 /proc/meminfo: memFree=1778216/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=110984 CPUtime=1541.71 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 26954 0 0 0 154136 35 0 0 25 0 1 0 218959806 113647616 26533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 27746 26533 139 317 0 27425 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 110984 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20805 /proc/meminfo: memFree=1776424/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=112800 CPUtime=1601.69 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 27391 0 0 0 160134 35 0 0 25 0 1 0 218959806 115507200 26970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 28200 26970 139 317 0 27879 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 112800 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20805 /proc/meminfo: memFree=1774632/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=114464 CPUtime=1661.67 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 27806 0 0 0 166131 36 0 0 25 0 1 0 218959806 117211136 27385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 28616 27385 139 317 0 28295 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 114464 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20805 /proc/meminfo: memFree=1772520/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=116572 CPUtime=1721.66 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 28323 0 0 0 172129 37 0 0 25 0 1 0 218959806 119369728 27902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 29143 27902 139 317 0 28822 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 116572 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20805 /proc/meminfo: memFree=1770088/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=118856 CPUtime=1781.64 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 28900 0 0 0 178126 38 0 0 25 0 1 0 218959806 121708544 28479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 29714 28479 139 317 0 29393 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 118856 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.97 2/78 20805 /proc/meminfo: memFree=1769384/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=119712 CPUtime=1800.04 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 29072 0 0 0 179966 38 0 0 25 0 1 0 218959806 122585088 28651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 29928 28651 139 317 0 29607 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 119712 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: 0.99 0.97 0.97 2/78 20805 /proc/meminfo: memFree=1769384/2055924 swapFree=4143412/4192956 [pid=20606] ppid=20604 vsize=119712 CPUtime=1800.13 /proc/20606/stat : 20606 (oree) R 20604 20606 20171 0 -1 4194304 29075 0 0 0 179975 38 0 0 25 0 1 0 218959806 122585088 28654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20606/statm: 29928 28654 139 317 0 29607 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 119712 Child status: 0 Real time (s): 1800.85 CPU time (s): 1800.18 CPU user time (s): 1799.78 CPU system time (s): 0.404938 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (KiB): 119712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.404938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29091 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= 3263 runsolver used 1.44178 second user time and 4.05538 second system time The end
Begin job on node6 on Tue Apr 24 15:40:21 UTC 2007 IDJOB= 420669 IDBENCH= 47861 IDSOLVER= 172 FILE ID= node6/420669-1177429221 PBS_JOBID= 4675722 Free space on /tmp= 66424 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/others/QG7a-gensys-ukn005.sat05-3845.reshuffled-07.opb COMMAND LINE= oree /tmp/evaluation/420669-1177429221/instance-420669-1177429221.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-420669-1177429221 -o ROOT/results/node6/solver-420669-1177429221 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420669-1177429221/instance-420669-1177429221.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 4576cc8fc04e724f566c334891bf46f7 RANDOM SEED= 108711072 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055924 kB MemFree: 1885640 kB Buffers: 19824 kB Cached: 86056 kB SwapCached: 17608 kB Active: 86188 kB Inactive: 46784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1885640 kB SwapTotal: 4192956 kB SwapFree: 4143412 kB Dirty: 2536 kB Writeback: 0 kB Mapped: 29964 kB Slab: 22884 kB Committed_AS: 7115096 kB PageTables: 1784 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= 66424 MiB End job on node6 on Tue Apr 24 16:10:24 UTC 2007