Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.51 | 1801.09 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
MD5SUM | af0ded53094abde95c37378ccd6c7afa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 8901 |
Total number of constraints | 32298 |
Number of constraints which are clauses | 32280 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 790 |
Number of terms in the objective function | 790 |
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 | 790 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 820 |
Number of bits of the biggest sum of numbers | 10 |
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.19/0.26 c ...done 0.19/0.26 c #vars=8901 #constraints=32299 hasObjective=yes 0.69/0.71 c res. mode=mod 0.69/0.71 c VSIDS like heuristics 0.69/0.71 c complete search running 3.09/3.19 c restart after 401 decisions 4.30/4.38 c nbDecision=500 #constraints=32388 5.40/5.48 c restart after 801 decisions 5.59/5.68 c nbDecision=1000 #constraints=32417 6.29/6.37 c nbDecision=1500 #constraints=32431 6.39/6.48 c restart after 1601 decisions 6.89/6.93 c nbDecision=2000 #constraints=32441 7.59/7.65 c nbDecision=2500 #constraints=32456 8.49/8.57 c nbDecision=3000 #constraints=32476 9.19/9.28 c restart after 3201 decisions 12.89/12.98 c nbDecision=3500 #constraints=32558 13.69/13.71 c nbDecision=4000 #constraints=32573 14.29/14.39 c nbDecision=4500 #constraints=32587 15.19/15.26 c nbDecision=5000 #constraints=32606 19.28/19.33 c nbDecision=5500 #constraints=32680 20.39/20.40 c nbDecision=6000 #constraints=32704 20.89/20.95 c restart after 6401 decisions 20.99/21.04 c nbDecision=6500 #constraints=32716 21.79/21.81 c nbDecision=7000 #constraints=32732 25.39/25.44 c nbDecision=7500 #constraints=32794 26.99/27.09 c nbDecision=8000 #constraints=32832 27.79/27.82 c nbDecision=8500 #constraints=32847 28.49/28.56 c nbDecision=9000 #constraints=32862 30.08/30.18 c nbDecision=9500 #constraints=32900 32.28/32.30 c nbDecision=10000 #constraints=32924 33.68/33.79 c nbDecision=10500 #constraints=32959 37.48/37.51 c nbDecision=11000 #constraints=33023 38.08/38.16 c nbDecision=11500 #constraints=33036 38.78/38.90 c nbDecision=12000 #constraints=33051 40.28/40.32 c nbDecision=12500 #constraints=33084 43.78/43.87 c restart after 12801 decisions 44.18/44.20 c nbDecision=13000 #constraints=33151 44.88/44.91 c nbDecision=13500 #constraints=33165 45.58/45.65 c nbDecision=14000 #constraints=33180 46.78/46.82 c nbDecision=14500 #constraints=33206 50.78/50.83 c nbDecision=15000 #constraints=33277 51.38/51.49 c nbDecision=15500 #constraints=33290 52.18/52.23 c nbDecision=16000 #constraints=33305 53.18/53.28 c nbDecision=16500 #constraints=33328 57.48/57.55 c nbDecision=17000 #constraints=33407 59.48/59.57 c nbDecision=17500 #constraints=33453 60.28/60.31 c nbDecision=18000 #constraints=33468 62.48/62.58 c nbDecision=18500 #constraints=33520 64.78/64.81 c nbDecision=19000 #constraints=33571 66.97/67.00 c nbDecision=19500 #constraints=33621 69.07/69.15 c nbDecision=20000 #constraints=33670 71.17/71.26 c nbDecision=20500 #constraints=33718 73.07/73.19 c nbDecision=21000 #constraints=33762 75.07/75.20 c nbDecision=21500 #constraints=33808 77.07/77.17 c nbDecision=22000 #constraints=33851 79.17/79.21 c nbDecision=22500 #constraints=33897 81.07/81.10 c nbDecision=23000 #constraints=33940 82.67/82.76 c nbDecision=23500 #constraints=33977 84.68/84.75 c nbDecision=24000 #constraints=34022 86.67/86.70 c nbDecision=24500 #constraints=34066 88.37/88.49 c nbDecision=25000 #constraints=34106 90.27/90.34 c nbDecision=25500 #constraints=34148 91.47/91.55 c restart after 25601 decisions 92.07/92.10 c nbDecision=26000 #constraints=34186 92.97/93.04 c nbDecision=26500 #constraints=34206 95.87/95.97 c nbDecision=27000 #constraints=34251 97.67/97.79 c nbDecision=27500 #constraints=34292 99.46/99.56 c nbDecision=28000 #constraints=34332 102.17/102.23 c nbDecision=28500 #constraints=34394 103.86/103.93 c nbDecision=29000 #constraints=34432 106.36/106.42 c nbDecision=29500 #constraints=34489 108.37/108.45 c nbDecision=30000 #constraints=34535 110.26/110.32 c nbDecision=30500 #constraints=34578 111.66/111.73 c nbDecision=31000 #constraints=34609 113.76/113.87 c nbDecision=31500 #constraints=34658 115.66/115.77 c nbDecision=32000 #constraints=34701 117.36/117.42 c nbDecision=32500 #constraints=34738 118.56/118.63 c nbDecision=33000 #constraints=34764 120.15/120.24 c nbDecision=33500 #constraints=34800 121.55/121.66 c nbDecision=34000 #constraints=34831 122.95/123.01 c nbDecision=34500 #constraints=34860 124.16/124.24 c nbDecision=35000 #constraints=34886 125.15/125.29 c nbDecision=35500 #constraints=34908 126.36/126.48 c nbDecision=36000 #constraints=34933 127.56/127.63 c nbDecision=36500 #constraints=34965 128.26/128.39 c nbDecision=37000 #constraints=34986 129.06/129.10 c nbDecision=37500 #constraints=35000 130.86/130.98 c nbDecision=38000 #constraints=35046 132.56/132.67 c nbDecision=38500 #constraints=35207 134.06/134.19 c nbDecision=39000 #constraints=35320 135.06/135.18 c nbDecision=39500 #constraints=35341 136.16/136.27 c nbDecision=40000 #constraints=35363 137.46/137.59 c nbDecision=40500 #constraints=35391 138.76/138.89 c nbDecision=41000 #constraints=35418 139.66/139.74 c nbDecision=41500 #constraints=35434 141.55/141.66 c nbDecision=42000 #constraints=35477 142.86/142.96 c nbDecision=42500 #constraints=35630 145.15/145.24 c nbDecision=43000 #constraints=35750 146.35/146.47 c nbDecision=43500 #constraints=35771 147.65/147.70 c nbDecision=44000 #constraints=35793 149.65/149.76 c nbDecision=44500 #constraints=35861 151.76/151.88 c nbDecision=45000 #constraints=36056 153.95/154.04 c nbDecision=45500 #constraints=36132 156.45/156.59 c nbDecision=46000 #constraints=36176 158.64/158.70 c nbDecision=46500 #constraints=36299 162.25/162.35 c nbDecision=47000 #constraints=36514 163.85/163.90 c nbDecision=47500 #constraints=36675 167.35/167.45 c nbDecision=48000 #constraints=36824 168.75/168.82 c nbDecision=48500 #constraints=36841 170.45/170.55 c nbDecision=49000 #constraints=36863 174.25/174.37 c nbDecision=49500 #constraints=36901 175.95/176.03 c nbDecision=50000 #constraints=36922 180.24/180.35 c nbDecision=50500 #constraints=36968 181.44/181.58 c nbDecision=51000 #constraints=36983 182.24/182.37 c restart after 51201 decisions 183.24/183.30 c nbDecision=51500 #constraints=37002 184.54/184.61 c nbDecision=52000 #constraints=37018 186.84/186.99 c nbDecision=52500 #constraints=37049 190.34/190.45 c nbDecision=53000 #constraints=37083 191.84/191.97 c nbDecision=53500 #constraints=37102 196.14/196.27 c nbDecision=54000 #constraints=37147 200.33/200.41 c nbDecision=54500 #constraints=37190 201.73/201.80 c nbDecision=55000 #constraints=37207 203.83/203.97 c nbDecision=55500 #constraints=37235 207.63/207.76 c nbDecision=56000 #constraints=37271 208.84/208.96 c nbDecision=56500 #constraints=37291 210.13/210.25 c nbDecision=57000 #constraints=37312 211.13/211.29 c nbDecision=57500 #constraints=37332 212.73/212.85 c nbDecision=58000 #constraints=37356 214.64/214.72 c nbDecision=58500 #constraints=37379 216.84/216.98 c nbDecision=59000 #constraints=37408 218.24/218.39 c nbDecision=59500 #constraints=37426 219.63/219.72 c nbDecision=60000 #constraints=37443 221.23/221.31 c nbDecision=60500 #constraints=37463 225.34/225.44 c nbDecision=61000 #constraints=37506 227.03/227.17 c nbDecision=61500 #constraints=37527 228.33/228.46 c nbDecision=62000 #constraints=37543 230.23/230.38 c nbDecision=62500 #constraints=37566 231.73/231.82 c nbDecision=63000 #constraints=37587 233.73/233.82 c nbDecision=63500 #constraints=37615 235.43/235.52 c nbDecision=64000 #constraints=37638 237.03/237.17 c nbDecision=64500 #constraints=37658 238.73/238.82 c nbDecision=65000 #constraints=37678 240.13/240.22 c nbDecision=65500 #constraints=37695 241.53/241.66 c nbDecision=66000 #constraints=37712 243.23/243.31 c nbDecision=66500 #constraints=37732 245.63/245.72 c nbDecision=67000 #constraints=37762 247.72/247.81 c nbDecision=67500 #constraints=37789 249.82/249.97 c nbDecision=68000 #constraints=37816 251.22/251.39 c nbDecision=68500 #constraints=37833 252.83/252.98 c nbDecision=69000 #constraints=37853 254.32/254.46 c nbDecision=69500 #constraints=37871 255.92/256.02 c nbDecision=70000 #constraints=37890 257.42/257.57 c nbDecision=70500 #constraints=37909 259.72/259.86 c nbDecision=71000 #constraints=37941 261.42/261.60 c nbDecision=71500 #constraints=37966 263.72/263.81 c nbDecision=72000 #constraints=37995 265.31/265.43 c nbDecision=72500 #constraints=38015 268.32/268.46 c nbDecision=73000 #constraints=38081 271.42/271.57 c nbDecision=73500 #constraints=38265 274.12/274.26 c nbDecision=74000 #constraints=38341 276.32/276.44 c nbDecision=74500 #constraints=38367 280.22/280.31 c nbDecision=75000 #constraints=38427 283.91/284.07 c nbDecision=75500 #constraints=38654 288.51/288.61 c nbDecision=76000 #constraints=38759 290.81/290.92 c nbDecision=76500 #constraints=38903 296.02/296.15 c nbDecision=77000 #constraints=39091 300.01/300.14 c nbDecision=77500 #constraints=39342 303.91/304.03 c nbDecision=78000 #constraints=39411 306.61/306.77 c nbDecision=78500 #constraints=39434 309.01/309.19 c nbDecision=79000 #constraints=39455 313.71/313.85 c nbDecision=79500 #constraints=39516 318.20/318.36 c nbDecision=80000 #constraints=39718 321.90/322.02 c nbDecision=80500 #constraints=39812 325.50/325.62 c nbDecision=81000 #constraints=39840 330.70/330.89 c nbDecision=81500 #constraints=39909 334.31/334.43 c nbDecision=82000 #constraints=40072 342.30/342.47 c nbDecision=82500 #constraints=40217 346.10/346.26 c nbDecision=83000 #constraints=40379 352.60/352.76 c nbDecision=83500 #constraints=40552 356.00/356.14 c nbDecision=84000 #constraints=40722 362.59/362.78 c nbDecision=84500 #constraints=40865 366.10/366.27 c nbDecision=85000 #constraints=40886 373.99/374.11 c nbDecision=85500 #constraints=40929 377.59/377.75 c nbDecision=86000 #constraints=40949 385.59/385.71 c nbDecision=86500 #constraints=40990 391.68/391.87 c nbDecision=87000 #constraints=41028 396.88/397.03 c nbDecision=87500 #constraints=41055 405.09/405.28 c nbDecision=88000 #constraints=41102 408.78/408.94 c nbDecision=88500 #constraints=41124 416.18/416.40 c nbDecision=89000 #constraints=41166 420.78/420.97 c nbDecision=89500 #constraints=41194 427.88/428.01 c nbDecision=90000 #constraints=41233 431.28/431.41 c nbDecision=90500 #constraints=41256 434.77/434.99 c nbDecision=91000 #constraints=41277 438.07/438.21 c nbDecision=91500 #constraints=41298 441.57/441.74 c nbDecision=92000 #constraints=41319 446.38/446.58 c nbDecision=92500 #constraints=41350 449.78/449.98 c nbDecision=93000 #constraints=41370 453.17/453.36 c nbDecision=93500 #constraints=41390 456.27/456.43 c nbDecision=94000 #constraints=41409 460.67/460.81 c nbDecision=94500 #constraints=41436 464.17/464.37 c nbDecision=95000 #constraints=41458 467.27/467.45 c nbDecision=95500 #constraints=41476 470.67/470.83 c nbDecision=96000 #constraints=41496 475.76/475.97 c nbDecision=96500 #constraints=41527 481.16/481.39 c nbDecision=97000 #constraints=41560 484.96/485.16 c nbDecision=97500 #constraints=41586 488.55/488.72 c nbDecision=98000 #constraints=41607 492.25/492.41 c nbDecision=98500 #constraints=41629 495.55/495.75 c nbDecision=99000 #constraints=41649 500.46/500.68 c nbDecision=99500 #constraints=41681 507.16/507.39 c nbDecision=100000 #constraints=41728 513.16/513.36 c nbDecision=100500 #constraints=41904 516.76/516.97 c nbDecision=101000 #constraints=41994 521.55/521.75 c nbDecision=101500 #constraints=42025 529.15/529.33 c nbDecision=102000 #constraints=42094 534.24/534.46 c restart after 102401 decisions 535.04/535.27 c nbDecision=102500 #constraints=42261 540.24/540.45 c nbDecision=103000 #constraints=42290 548.04/548.24 c nbDecision=103500 #constraints=42330 556.44/556.61 c nbDecision=104000 #constraints=42458 563.34/563.53 c nbDecision=104500 #constraints=42680 568.44/568.66 c nbDecision=105000 #constraints=42720 578.64/578.80 c nbDecision=105500 #constraints=42786 585.93/586.13 c nbDecision=106000 #constraints=42992 592.93/593.11 c nbDecision=106500 #constraints=43155 599.71/599.90 c nbDecision=107000 #constraints=43364 606.71/606.94 c nbDecision=107500 #constraints=43459 611.79/612.01 c nbDecision=108000 #constraints=43483 616.98/617.22 c nbDecision=108500 #constraints=43510 622.96/623.26 c nbDecision=109000 #constraints=43537 627.55/627.89 c nbDecision=109500 #constraints=43573 635.35/635.61 c nbDecision=110000 #constraints=43609 642.74/643.02 c nbDecision=110500 #constraints=43759 652.82/653.13 c nbDecision=111000 #constraints=43913 664.72/665.10 c nbDecision=111500 #constraints=44024 673.32/673.68 c nbDecision=112000 #constraints=44249 680.62/680.93 c nbDecision=112500 #constraints=44390 693.31/693.60 c nbDecision=113000 #constraints=44640 699.92/700.26 c nbDecision=113500 #constraints=44667 707.91/708.30 c nbDecision=114000 #constraints=44701 720.91/721.26 c nbDecision=114500 #constraints=44794 731.80/732.18 c nbDecision=115000 #constraints=45025 742.71/743.00 c nbDecision=115500 #constraints=45170 754.80/755.19 c nbDecision=116000 #constraints=45352 761.30/761.68 c nbDecision=116500 #constraints=45503 773.49/773.85 c nbDecision=117000 #constraints=45701 787.68/788.06 c nbDecision=117500 #constraints=45748 797.39/797.75 c nbDecision=118000 #constraints=45870 812.18/812.51 c nbDecision=118500 #constraints=45972 821.98/822.36 c nbDecision=119000 #constraints=46163 831.97/832.32 c nbDecision=119500 #constraints=46303 842.98/843.36 c nbDecision=120000 #constraints=46501 853.07/853.42 c nbDecision=120500 #constraints=46586 862.97/863.38 c nbDecision=121000 #constraints=46614 872.97/873.38 c nbDecision=121500 #constraints=46644 881.16/881.55 c nbDecision=122000 #constraints=46668 890.76/891.18 c nbDecision=122500 #constraints=46698 899.26/899.67 c nbDecision=123000 #constraints=46723 912.75/913.13 c nbDecision=123500 #constraints=46761 922.25/922.70 c nbDecision=124000 #constraints=46789 932.65/933.01 c nbDecision=124500 #constraints=46823 943.55/943.93 c nbDecision=125000 #constraints=46854 958.64/959.02 c nbDecision=125500 #constraints=46974 970.84/971.30 c nbDecision=126000 #constraints=47176 990.13/990.59 c nbDecision=126500 #constraints=47274 1002.23/1002.64 c nbDecision=127000 #constraints=47487 1012.73/1013.17 c nbDecision=127500 #constraints=47638 1030.23/1030.69 c nbDecision=128000 #constraints=47913 1048.32/1048.73 c nbDecision=128500 #constraints=47958 1062.41/1062.83 c nbDecision=129000 #constraints=47995 1073.71/1074.12 c nbDecision=129500 #constraints=48023 1085.01/1085.47 c nbDecision=130000 #constraints=48056 1096.70/1097.12 c nbDecision=130500 #constraints=48088 1106.40/1106.81 c nbDecision=131000 #constraints=48115 1119.20/1119.61 c nbDecision=131500 #constraints=48147 1130.50/1130.92 c nbDecision=132000 #constraints=48181 1142.09/1142.55 c nbDecision=132500 #constraints=48214 1162.79/1163.24 c nbDecision=133000 #constraints=48290 1173.29/1173.73 c nbDecision=133500 #constraints=48469 1195.78/1196.28 c nbDecision=134000 #constraints=48644 1203.88/1204.31 c nbDecision=134500 #constraints=48775 1220.77/1221.27 c nbDecision=135000 #constraints=48975 1232.66/1233.12 c nbDecision=135500 #constraints=49153 1252.86/1253.35 c nbDecision=136000 #constraints=49309 1283.05/1283.58 c nbDecision=136500 #constraints=49376 1296.35/1296.81 c nbDecision=137000 #constraints=49405 1311.75/1312.26 c nbDecision=137500 #constraints=49439 1323.24/1323.72 c nbDecision=138000 #constraints=49474 1339.13/1339.60 c nbDecision=138500 #constraints=49509 1354.73/1355.22 c nbDecision=139000 #constraints=49554 1368.33/1368.89 c nbDecision=139500 #constraints=49589 1388.73/1389.20 c nbDecision=140000 #constraints=49634 1405.62/1406.17 c nbDecision=140500 #constraints=49694 1425.31/1425.83 c nbDecision=141000 #constraints=49761 1445.31/1445.87 c nbDecision=141500 #constraints=49884 1457.80/1458.38 c nbDecision=142000 #constraints=50062 1480.40/1480.97 c nbDecision=142500 #constraints=50198 1500.39/1500.95 c nbDecision=143000 #constraints=50430 1511.79/1512.31 c nbDecision=143500 #constraints=50577 1531.48/1532.06 c nbDecision=144000 #constraints=50802 1570.48/1571.04 c nbDecision=144500 #constraints=50893 1617.56/1618.19 c nbDecision=145000 #constraints=50996 1652.66/1653.25 c nbDecision=145500 #constraints=51105 1664.65/1665.22 c nbDecision=146000 #constraints=51259 1680.04/1680.66 c nbDecision=146500 #constraints=51422 1694.54/1695.17 c nbDecision=147000 #constraints=51627 1738.23/1738.81 c nbDecision=147500 #constraints=51753 1789.02/1789.68 c nbDecision=148000 #constraints=51858 1800.02/1800.60 Received signal 15 1800.41/1801.05 1800.41/1801.05 s UNKNOWN 1800.41/1801.05 1800.41/1801.05 c user time= 1800.13 s 1800.41/1801.05 c system time= 0.338948 s 1800.41/1801.05 c wall clock time=1801.05
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node35/watcher-373091-1177163464 -o ROOT/results/node35/solver-373091-1177163464 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373091-1177163464/instance-373091-1177163464.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/77 8111 /proc/meminfo: memFree=1687104/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=1468 CPUtime=0 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 164261884 1503232 163 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 367 163 130 317 0 46 0 [startup+0.0972959 s] /proc/loadavg: 1.00 1.00 1.00 3/77 8111 /proc/meminfo: memFree=1687104/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=3448 CPUtime=0.09 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 671 0 0 0 9 0 0 0 18 0 1 0 164261884 3530752 653 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 862 654 130 317 0 541 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3448 [startup+0.101296 s] /proc/loadavg: 1.00 1.00 1.00 3/77 8111 /proc/meminfo: memFree=1687104/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=3580 CPUtime=0.09 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 693 0 0 0 9 0 0 0 18 0 1 0 164261884 3665920 675 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 895 675 130 317 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3580 [startup+0.301319 s] /proc/loadavg: 1.00 1.00 1.00 3/77 8111 /proc/meminfo: memFree=1687104/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=9876 CPUtime=0.29 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 2279 0 0 0 28 1 0 0 19 0 1 0 164261884 10113024 2261 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 2469 2261 137 317 0 2148 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9876 [startup+0.701365 s] /proc/loadavg: 1.00 1.00 1.00 3/77 8111 /proc/meminfo: memFree=1687104/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=10404 CPUtime=0.69 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 2429 0 0 0 68 1 0 0 23 0 1 0 164261884 10653696 2411 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270588 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 2601 2411 137 317 0 2280 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10404 [startup+1.50154 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1676664/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=12344 CPUtime=1.49 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 2918 0 0 0 148 1 0 0 25 0 1 0 164261884 12640256 2679 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 3086 2679 139 317 0 2765 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12344 [startup+3.10265 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1676536/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=12344 CPUtime=3.09 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 2918 0 0 0 308 1 0 0 25 0 1 0 164261884 12640256 2679 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 3086 2679 139 317 0 2765 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12344 [startup+6.30202 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1676408/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=12344 CPUtime=6.29 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 2918 0 0 0 628 1 0 0 25 0 1 0 164261884 12640256 2679 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 3086 2679 139 317 0 2765 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12344 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1676280/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=12740 CPUtime=12.69 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 3009 0 0 0 1268 1 0 0 25 0 1 0 164261884 13045760 2770 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 3185 2770 139 317 0 2864 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12740 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1674872/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=14304 CPUtime=25.49 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 3393 0 0 0 2547 2 0 0 25 0 1 0 164261884 14647296 3121 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134593308 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 3576 3121 139 317 0 3255 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14304 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1672248/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=17104 CPUtime=51.08 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 4069 0 0 0 5105 3 0 0 25 0 1 0 164261884 17514496 3797 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 4276 3797 139 317 0 3955 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17104 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1666296/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=23208 CPUtime=102.27 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 5548 0 0 0 10223 4 0 0 25 0 1 0 164261884 23764992 5276 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 5802 5276 139 317 0 5481 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 23208 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1655288/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=34376 CPUtime=162.25 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 8276 0 0 0 16217 8 0 0 25 0 1 0 164261884 35201024 8004 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 8594 8004 139 317 0 8273 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 34376 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1650168/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=39268 CPUtime=222.23 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 9558 0 0 0 22214 9 0 0 25 0 1 0 164261884 40210432 9286 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 9817 9286 139 317 0 9496 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 39268 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1644856/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=44712 CPUtime=282.21 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 10930 0 0 0 28211 10 0 0 25 0 1 0 164261884 45785088 10658 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134714440 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 11178 10658 139 317 0 10857 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 44712 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1636152/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=52888 CPUtime=342.2 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 13038 0 0 0 34208 12 0 0 25 0 1 0 164261884 54157312 12766 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 13222 12766 139 317 0 12901 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 52888 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1631160/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=59084 CPUtime=402.19 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 14282 0 0 0 40205 14 0 0 25 0 1 0 164261884 60502016 14010 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 14771 14010 139 317 0 14450 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 59084 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1629176/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=61040 CPUtime=462.17 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 14787 0 0 0 46203 14 0 0 25 0 1 0 164261884 62504960 14515 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 15260 14515 139 317 0 14939 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 61040 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1626232/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=63932 CPUtime=522.15 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 15533 0 0 0 52200 15 0 0 25 0 1 0 164261884 65466368 15261 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 15983 15261 139 317 0 15662 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 63932 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8112 /proc/meminfo: memFree=1622456/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=67524 CPUtime=582.13 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 16485 0 0 0 58197 16 0 0 25 0 1 0 164261884 69144576 16213 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 16881 16213 139 317 0 16560 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 67524 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/84 8286 /proc/meminfo: memFree=1617016/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=71616 CPUtime=642.05 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 17513 0 0 0 64188 17 0 0 25 0 1 0 164261884 73334784 17241 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 17904 17241 139 317 0 17583 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 71616 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1602488/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=86960 CPUtime=881.96 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 21451 0 0 0 88174 22 0 0 25 0 1 0 164261884 89047040 21179 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715992 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 21740 21179 139 317 0 21419 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 86960 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1601592/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=87872 CPUtime=941.95 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 21670 0 0 0 94172 23 0 0 25 0 1 0 164261884 89980928 21398 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563438 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 21968 21398 139 317 0 21647 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 87872 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1598840/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=90656 CPUtime=1001.93 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 22373 0 0 0 100170 23 0 0 25 0 1 0 164261884 92831744 22101 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 22664 22101 139 317 0 22343 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 90656 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1596152/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=93316 CPUtime=1061.91 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 23049 0 0 0 106167 24 0 0 25 0 1 0 164261884 95555584 22777 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 23329 22777 139 317 0 23008 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 93316 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1595320/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=94100 CPUtime=1121.9 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 23254 0 0 0 112165 25 0 0 25 0 1 0 164261884 96358400 22982 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 23525 22982 139 317 0 23204 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 94100 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1592760/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=98780 CPUtime=1181.88 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 24319 0 0 0 118162 26 0 0 25 0 1 0 164261884 101150720 23585 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 24695 23585 139 317 0 24374 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 98780 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1589944/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=103000 CPUtime=1241.86 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 25288 0 0 0 124159 27 0 0 25 0 1 0 164261884 105472000 24323 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 25750 24323 139 317 0 25429 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 103000 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1588664/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=104176 CPUtime=1301.85 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 25588 0 0 0 130157 28 0 0 25 0 1 0 164261884 106676224 24623 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 26044 24623 139 317 0 25723 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 104176 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1587960/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=104964 CPUtime=1361.83 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 25785 0 0 0 136155 28 0 0 25 0 1 0 164261884 107483136 24820 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 26241 24820 139 317 0 25920 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 104964 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1586936/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=105756 CPUtime=1421.82 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 26025 0 0 0 142153 29 0 0 25 0 1 0 164261884 108294144 25060 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 26439 25060 139 317 0 26118 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 105756 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1584760/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=107980 CPUtime=1481.8 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 26583 0 0 0 148150 30 0 0 25 0 1 0 164261884 110571520 25618 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 26995 25618 139 317 0 26674 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 107980 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1581624/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=111068 CPUtime=1541.79 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 27348 0 0 0 154148 31 0 0 25 0 1 0 164261884 113733632 26383 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 27767 26383 139 317 0 27446 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 111068 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1580664/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=112004 CPUtime=1601.76 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 27578 0 0 0 160145 31 0 0 25 0 1 0 164261884 114692096 26613 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 28001 26613 139 317 0 27680 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 112004 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1579512/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=113120 CPUtime=1661.75 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 27879 0 0 0 166143 32 0 0 25 0 1 0 164261884 115834880 26914 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134554540 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 28280 26914 139 317 0 27959 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 113120 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1576952/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=115600 CPUtime=1721.73 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 28510 0 0 0 172141 32 0 0 25 0 1 0 164261884 118374400 27545 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 28900 27545 139 317 0 28579 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 115600 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1576120/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=116428 CPUtime=1781.72 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 28724 0 0 0 178139 33 0 0 25 0 1 0 164261884 119222272 27759 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 29107 27759 139 317 0 28786 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 116428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1575864/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=116720 CPUtime=1800.02 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 28787 0 0 0 179969 33 0 0 25 0 1 0 164261884 119521280 27822 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 29180 27822 139 317 0 28859 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 116720 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8310 /proc/meminfo: memFree=1575864/2055920 swapFree=4151144/4192956 [pid=8111] ppid=8109 vsize=116720 CPUtime=1800.41 /proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 28788 0 0 0 180008 33 0 0 25 0 1 0 164261884 119521280 27823 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8111/statm: 29180 27823 139 317 0 28859 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (KiB) 116720 Child status: 0 Real time (s): 1801.09 CPU time (s): 1800.51 CPU user time (s): 1800.15 CPU system time (s): 0.360945 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 116720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.15 system time used= 0.360945 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28804 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= 37208 runsolver used 1.9437 second user time and 4.21836 second system time The end
Begin job on node35 on Sat Apr 21 13:51:05 UTC 2007 IDJOB= 373091 IDBENCH= 25018 IDSOLVER= 172 FILE ID= node35/373091-1177163464 PBS_JOBID= 4648921 Free space on /tmp= 66304 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= oree /tmp/evaluation/373091-1177163464/instance-373091-1177163464.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-373091-1177163464 -o ROOT/results/node35/solver-373091-1177163464 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373091-1177163464/instance-373091-1177163464.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa RANDOM SEED= 66947913 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node35.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: 2055920 kB MemFree: 1687512 kB Buffers: 45428 kB Cached: 235396 kB SwapCached: 9060 kB Active: 171904 kB Inactive: 132884 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1687512 kB SwapTotal: 4192956 kB SwapFree: 4151144 kB Dirty: 2232 kB Writeback: 0 kB Mapped: 30876 kB Slab: 48928 kB Committed_AS: 2511660 kB PageTables: 1996 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66304 MiB End job on node35 on Sat Apr 21 14:21:07 UTC 2007