Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.37 | 1800.81 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3704.opb |
MD5SUM | 79102a590238a8abf70853775a775dcb |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5001200569 |
Best CPU time to get the best result obtained on this benchmark | 1804.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5001200569 |
Optimality of the best value was proved | NO |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29675972066390 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29675972066390 |
Number of bits of the biggest sum of numbers | 45 |
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... 2.29/2.35 c ...done 2.29/2.35 c #vars=155000 #constraints=5301 hasObjective=yes 4.19/4.28 c res. mode=mod 4.19/4.28 c VSIDS like heuristics 4.19/4.28 c complete search running 5.50/5.55 c restart after 401 decisions 5.69/5.78 c nbDecision=500 #constraints=5301 6.39/6.47 c restart after 801 decisions 6.89/6.91 c nbDecision=1000 #constraints=5301 7.99/8.05 c nbDecision=1500 #constraints=5301 8.19/8.29 c restart after 1601 decisions 9.09/9.18 c nbDecision=2000 #constraints=5301 10.29/10.32 c nbDecision=2500 #constraints=5301 11.39/11.46 c nbDecision=3000 #constraints=5301 11.89/11.91 c restart after 3201 decisions 12.49/12.59 c nbDecision=3500 #constraints=5301 13.69/13.72 c nbDecision=4000 #constraints=5301 14.79/14.84 c nbDecision=4500 #constraints=5301 15.89/15.97 c nbDecision=5000 #constraints=5301 17.09/17.10 c nbDecision=5500 #constraints=5301 18.19/18.22 c nbDecision=6000 #constraints=5301 19.09/19.12 c restart after 6401 decisions 19.29/19.35 c nbDecision=6500 #constraints=5301 20.39/20.48 c nbDecision=7000 #constraints=5301 21.59/21.61 c nbDecision=7500 #constraints=5301 22.69/22.75 c nbDecision=8000 #constraints=5301 23.79/23.89 c nbDecision=8500 #constraints=5301 24.99/25.02 c nbDecision=9000 #constraints=5301 26.09/26.16 c nbDecision=9500 #constraints=5301 27.19/27.29 c nbDecision=10000 #constraints=5301 28.39/28.43 c nbDecision=10500 #constraints=5301 29.49/29.55 c nbDecision=11000 #constraints=5301 30.59/30.68 c nbDecision=11500 #constraints=5301 31.79/31.81 c nbDecision=12000 #constraints=5301 32.89/32.93 c nbDecision=12500 #constraints=5301 33.58/33.60 c restart after 12801 decisions 33.99/34.06 c nbDecision=13000 #constraints=5301 35.09/35.19 c nbDecision=13500 #constraints=5301 36.29/36.32 c nbDecision=14000 #constraints=5301 37.39/37.45 c nbDecision=14500 #constraints=5301 38.49/38.57 c nbDecision=15000 #constraints=5301 39.68/39.70 c nbDecision=15500 #constraints=5301 40.78/40.82 c nbDecision=16000 #constraints=5301 41.88/41.94 c nbDecision=16500 #constraints=5301 42.98/43.07 c nbDecision=17000 #constraints=5301 44.18/44.20 c nbDecision=17500 #constraints=5301 45.28/45.33 c nbDecision=18000 #constraints=5301 46.38/46.45 c nbDecision=18500 #constraints=5301 47.48/47.58 c nbDecision=19000 #constraints=5301 48.68/48.71 c nbDecision=19500 #constraints=5301 49.78/49.83 c nbDecision=20000 #constraints=5301 50.88/50.95 c nbDecision=20500 #constraints=5301 51.98/52.06 c nbDecision=21000 #constraints=5301 53.08/53.15 c nbDecision=21500 #constraints=5301 54.18/54.26 c nbDecision=22000 #constraints=5301 55.28/55.36 c nbDecision=22500 #constraints=5301 56.48/56.51 c nbDecision=23000 #constraints=5303 57.48/57.58 c nbDecision=23500 #constraints=5303 58.58/58.67 c nbDecision=24000 #constraints=5303 59.67/59.77 c nbDecision=24500 #constraints=5303 62.38/62.44 c nbDecision=25000 #constraints=5364 63.48/63.53 c nbDecision=25500 #constraints=5364 63.68/63.76 c restart after 25601 decisions 64.58/64.69 c nbDecision=26000 #constraints=5364 65.78/65.83 c nbDecision=26500 #constraints=5364 66.88/66.96 c nbDecision=27000 #constraints=5364 67.98/68.06 c nbDecision=27500 #constraints=5364 69.08/69.19 c nbDecision=28000 #constraints=5364 70.28/70.32 c nbDecision=28500 #constraints=5364 71.38/71.45 c nbDecision=29000 #constraints=5364 72.48/72.58 c nbDecision=29500 #constraints=5364 73.68/73.70 c nbDecision=30000 #constraints=5364 74.78/74.82 c nbDecision=30500 #constraints=5364 75.88/75.94 c nbDecision=31000 #constraints=5364 76.98/77.05 c nbDecision=31500 #constraints=5364 78.08/78.17 c nbDecision=32000 #constraints=5364 79.18/79.28 c nbDecision=32500 #constraints=5364 80.28/80.39 c nbDecision=33000 #constraints=5364 81.47/81.50 c nbDecision=33500 #constraints=5364 82.57/82.61 c nbDecision=34000 #constraints=5364 83.67/83.72 c nbDecision=34500 #constraints=5364 84.77/84.84 c nbDecision=35000 #constraints=5364 85.87/85.96 c nbDecision=35500 #constraints=5364 87.07/87.10 c nbDecision=36000 #constraints=5364 88.17/88.23 c nbDecision=36500 #constraints=5364 89.27/89.36 c nbDecision=37000 #constraints=5364 90.37/90.49 c nbDecision=37500 #constraints=5364 91.57/91.65 c nbDecision=38000 #constraints=5364 92.67/92.74 c nbDecision=38500 #constraints=5364 93.77/93.82 c nbDecision=39000 #constraints=5364 94.87/94.92 c nbDecision=39500 #constraints=5365 95.87/95.99 c nbDecision=40000 #constraints=5365 96.97/97.07 c nbDecision=40500 #constraints=5365 98.07/98.14 c nbDecision=41000 #constraints=5365 99.27/99.30 c nbDecision=41500 #constraints=5368 100.27/100.38 c nbDecision=42000 #constraints=5368 101.37/101.45 c nbDecision=42500 #constraints=5368 104.07/104.18 c nbDecision=43000 #constraints=5417 107.26/107.37 c nbDecision=43500 #constraints=5483 109.97/110.06 c nbDecision=44000 #constraints=5525 115.47/115.58 c nbDecision=44500 #constraints=5647 130.26/130.30 c nbDecision=45000 #constraints=5861 134.66/134.71 c nbDecision=45500 #constraints=5907 136.15/136.21 c nbDecision=46000 #constraints=5913 139.86/139.96 c nbDecision=46500 #constraints=5978 144.26/144.33 c nbDecision=47000 #constraints=6045 151.95/152.00 c nbDecision=47500 #constraints=6154 153.85/153.98 c nbDecision=48000 #constraints=6164 162.06/162.16 c nbDecision=48500 #constraints=6302 164.36/164.47 c nbDecision=49000 #constraints=6316 165.75/165.83 c nbDecision=49500 #constraints=6320 167.16/167.24 c nbDecision=50000 #constraints=6324 172.65/172.74 c nbDecision=50500 #constraints=6407 185.95/186.04 c nbDecision=51000 #constraints=6579 187.85/187.92 c restart after 51201 decisions 189.35/189.42 c nbDecision=51500 #constraints=6595 190.45/190.59 c nbDecision=52000 #constraints=6595 191.64/191.78 c nbDecision=52500 #constraints=6595 192.84/192.94 c nbDecision=53000 #constraints=6595 194.04/194.11 c nbDecision=53500 #constraints=6595 195.14/195.26 c nbDecision=54000 #constraints=6595 196.34/196.43 c nbDecision=54500 #constraints=6595 197.44/197.58 c nbDecision=55000 #constraints=6595 198.64/198.75 c nbDecision=55500 #constraints=6595 199.84/199.91 c nbDecision=56000 #constraints=6595 200.94/201.07 c nbDecision=56500 #constraints=6595 202.14/202.22 c nbDecision=57000 #constraints=6595 203.24/203.39 c nbDecision=57500 #constraints=6595 204.44/204.53 c nbDecision=58000 #constraints=6595 205.54/205.69 c nbDecision=58500 #constraints=6595 206.74/206.85 c nbDecision=59000 #constraints=6595 207.94/208.04 c nbDecision=59500 #constraints=6595 209.04/209.19 c nbDecision=60000 #constraints=6595 210.24/210.35 c nbDecision=60500 #constraints=6595 211.44/211.50 c nbDecision=61000 #constraints=6595 212.54/212.69 c nbDecision=61500 #constraints=6595 213.74/213.86 c nbDecision=62000 #constraints=6595 214.94/215.01 c nbDecision=62500 #constraints=6595 216.04/216.16 c nbDecision=63000 #constraints=6595 217.34/217.41 c nbDecision=63500 #constraints=6595 218.43/218.53 c nbDecision=64000 #constraints=6595 219.53/219.65 c nbDecision=64500 #constraints=6595 220.63/220.79 c nbDecision=65000 #constraints=6595 221.83/221.94 c nbDecision=65500 #constraints=6595 222.93/223.06 c nbDecision=66000 #constraints=6595 224.03/224.18 c nbDecision=66500 #constraints=6595 225.23/225.33 c nbDecision=67000 #constraints=6595 226.33/226.46 c nbDecision=67500 #constraints=6595 227.43/227.58 c nbDecision=68000 #constraints=6595 229.54/229.60 c nbDecision=68500 #constraints=6605 232.34/232.44 c nbDecision=69000 #constraints=6626 235.34/235.49 c nbDecision=69500 #constraints=6665 241.93/242.05 c nbDecision=70000 #constraints=6743 243.63/243.73 c nbDecision=70500 #constraints=6750 256.53/256.61 c nbDecision=71000 #constraints=6895 262.03/262.11 c nbDecision=71500 #constraints=6933 263.93/264.08 c nbDecision=72000 #constraints=6941 276.13/276.26 c nbDecision=72500 #constraints=7085 281.12/281.22 c nbDecision=73000 #constraints=7118 283.63/283.70 c nbDecision=73500 #constraints=7142 294.32/294.49 c nbDecision=74000 #constraints=7267 304.82/304.95 c nbDecision=74500 #constraints=7379 306.72/306.83 c nbDecision=75000 #constraints=7387 316.12/316.22 c nbDecision=75500 #constraints=7499 318.52/318.68 c nbDecision=76000 #constraints=7510 322.22/322.37 c nbDecision=76500 #constraints=7550 332.81/332.98 c nbDecision=77000 #constraints=7681 336.81/336.96 c nbDecision=77500 #constraints=7716 359.00/359.17 c nbDecision=78000 #constraints=7926 367.71/367.84 c nbDecision=78500 #constraints=7980 370.61/370.79 c nbDecision=79000 #constraints=7993 379.80/379.92 c nbDecision=79500 #constraints=8096 381.30/381.47 c nbDecision=80000 #constraints=8101 402.60/402.76 c nbDecision=80500 #constraints=8330 409.89/410.06 c nbDecision=81000 #constraints=8374 412.99/413.14 c nbDecision=81500 #constraints=8388 416.89/417.08 c nbDecision=82000 #constraints=8433 424.99/425.18 c nbDecision=82500 #constraints=8505 426.60/426.72 c nbDecision=83000 #constraints=8508 456.39/456.51 c nbDecision=83500 #constraints=8787 477.67/477.83 c nbDecision=84000 #constraints=8916 482.88/483.08 c nbDecision=84500 #constraints=8942 486.57/486.71 c nbDecision=85000 #constraints=8967 498.37/498.53 c nbDecision=85500 #constraints=9079 511.17/511.32 c nbDecision=86000 #constraints=9182 513.77/513.94 c nbDecision=86500 #constraints=9190 516.17/516.38 c nbDecision=87000 #constraints=9199 534.76/534.90 c nbDecision=87500 #constraints=9370 539.56/539.73 c nbDecision=88000 #constraints=9395 542.16/542.35 c nbDecision=88500 #constraints=9405 563.46/563.68 c nbDecision=89000 #constraints=9590 570.25/570.45 c nbDecision=89500 #constraints=9625 573.76/573.94 c nbDecision=90000 #constraints=9642 576.36/576.55 c nbDecision=90500 #constraints=9661 613.04/613.23 c nbDecision=91000 #constraints=9888 622.54/622.77 c nbDecision=91500 #constraints=9932 625.34/625.53 c nbDecision=92000 #constraints=9941 633.54/633.71 c nbDecision=92500 #constraints=9987 635.04/635.29 c nbDecision=93000 #constraints=9989 654.43/654.63 c nbDecision=93500 #constraints=10122 660.63/660.89 c nbDecision=94000 #constraints=10149 662.63/662.85 c nbDecision=94500 #constraints=10153 677.13/677.35 c nbDecision=95000 #constraints=10228 682.53/682.74 c nbDecision=95500 #constraints=10245 686.02/686.20 c nbDecision=96000 #constraints=10255 699.82/700.04 c nbDecision=96500 #constraints=10331 706.12/706.35 c nbDecision=97000 #constraints=10354 708.92/709.12 c nbDecision=97500 #constraints=10361 742.61/742.83 c nbDecision=98000 #constraints=10554 758.31/758.51 c nbDecision=98500 #constraints=10615 762.12/762.34 c nbDecision=99000 #constraints=10628 768.20/768.48 c nbDecision=99500 #constraints=10661 769.60/769.87 c nbDecision=100000 #constraints=10663 786.01/786.20 c nbDecision=100500 #constraints=10781 795.90/796.12 c nbDecision=101000 #constraints=10819 798.90/799.17 c nbDecision=101500 #constraints=10827 800.60/800.83 c nbDecision=102000 #constraints=10830 837.09/837.37 c restart after 102401 decisions 843.79/844.00 c nbDecision=102500 #constraints=11043 844.99/845.27 c nbDecision=103000 #constraints=11043 846.39/846.62 c nbDecision=103500 #constraints=11043 847.69/847.90 c nbDecision=104000 #constraints=11043 849.00/849.23 c nbDecision=104500 #constraints=11043 850.19/850.47 c nbDecision=105000 #constraints=11043 851.59/851.81 c nbDecision=105500 #constraints=11043 852.79/853.05 c nbDecision=106000 #constraints=11043 854.09/854.37 c nbDecision=106500 #constraints=11043 855.39/855.68 c nbDecision=107000 #constraints=11043 856.69/856.98 c nbDecision=107500 #constraints=11043 857.99/858.23 c nbDecision=108000 #constraints=11043 859.29/859.57 c nbDecision=108500 #constraints=11043 860.59/860.82 c nbDecision=109000 #constraints=11043 861.89/862.13 c nbDecision=109500 #constraints=11043 863.09/863.39 c nbDecision=110000 #constraints=11043 864.49/864.80 c nbDecision=110500 #constraints=11043 865.79/866.06 c nbDecision=111000 #constraints=11043 867.08/867.39 c nbDecision=111500 #constraints=11043 868.38/868.65 c nbDecision=112000 #constraints=11043 869.79/870.08 c nbDecision=112500 #constraints=11043 871.18/871.42 c nbDecision=113000 #constraints=11043 872.38/872.69 c nbDecision=113500 #constraints=11043 873.68/873.96 c nbDecision=114000 #constraints=11043 875.29/875.60 c nbDecision=114500 #constraints=11043 876.58/876.87 c nbDecision=115000 #constraints=11043 877.78/878.09 c nbDecision=115500 #constraints=11043 879.18/879.40 c nbDecision=116000 #constraints=11043 880.48/880.76 c nbDecision=116500 #constraints=11043 881.68/881.99 c nbDecision=117000 #constraints=11043 882.98/883.30 c nbDecision=117500 #constraints=11043 884.28/884.53 c nbDecision=118000 #constraints=11043 885.68/885.93 c nbDecision=118500 #constraints=11043 886.98/887.22 c nbDecision=119000 #constraints=11043 888.18/888.45 c nbDecision=119500 #constraints=11043 903.07/903.37 c nbDecision=120000 #constraints=11097 906.98/907.25 c nbDecision=120500 #constraints=11109 925.27/925.53 c nbDecision=121000 #constraints=11254 969.06/969.31 c nbDecision=121500 #constraints=11479 975.86/976.13 c nbDecision=122000 #constraints=11500 992.76/993.09 c nbDecision=122500 #constraints=11624 996.95/997.23 c nbDecision=123000 #constraints=11645 999.45/999.71 c nbDecision=123500 #constraints=11656 1016.65/1016.93 c nbDecision=124000 #constraints=11736 1019.65/1019.91 c nbDecision=124500 #constraints=11743 1022.55/1022.83 c nbDecision=125000 #constraints=11752 1056.04/1056.37 c nbDecision=125500 #constraints=11913 1066.94/1067.27 c nbDecision=126000 #constraints=11943 1069.84/1070.17 c nbDecision=126500 #constraints=11949 1109.63/1109.94 c nbDecision=127000 #constraints=12129 1117.83/1118.15 c nbDecision=127500 #constraints=12154 1119.82/1120.11 c nbDecision=128000 #constraints=12157 1133.12/1133.40 c nbDecision=128500 #constraints=12244 1145.12/1145.46 c nbDecision=129000 #constraints=12318 1147.82/1148.16 c nbDecision=129500 #constraints=12327 1163.91/1164.21 c nbDecision=130000 #constraints=12414 1169.02/1169.31 c nbDecision=130500 #constraints=12432 1176.71/1177.06 c nbDecision=131000 #constraints=12472 1235.50/1235.86 c nbDecision=131500 #constraints=12788 1260.19/1260.53 c nbDecision=132000 #constraints=12877 1268.79/1269.11 c nbDecision=132500 #constraints=12909 1272.69/1273.01 c nbDecision=133000 #constraints=12922 1313.28/1313.63 c nbDecision=133500 #constraints=13127 1319.98/1320.33 c nbDecision=134000 #constraints=13150 1323.17/1323.53 c nbDecision=134500 #constraints=13158 1357.67/1358.00 c nbDecision=135000 #constraints=13338 1368.96/1369.32 c nbDecision=135500 #constraints=13381 1375.97/1376.32 c nbDecision=136000 #constraints=13412 1378.27/1378.64 c nbDecision=136500 #constraints=13417 1405.55/1405.95 c nbDecision=137000 #constraints=13526 1410.25/1410.60 c nbDecision=137500 #constraints=13538 1414.66/1415.08 c nbDecision=138000 #constraints=13555 1470.64/1471.08 c nbDecision=138500 #constraints=13765 1480.64/1481.01 c nbDecision=139000 #constraints=13793 1483.55/1483.92 c nbDecision=139500 #constraints=13798 1520.53/1520.91 c nbDecision=140000 #constraints=13929 1526.53/1526.97 c nbDecision=140500 #constraints=13941 1569.22/1569.62 c nbDecision=141000 #constraints=14098 1587.01/1587.50 c nbDecision=141500 #constraints=14145 1593.42/1593.83 c nbDecision=142000 #constraints=14160 1606.41/1606.89 c nbDecision=142500 #constraints=14228 1665.30/1665.71 c nbDecision=143000 #constraints=14467 1696.39/1696.82 c nbDecision=143500 #constraints=14565 1703.89/1704.36 c nbDecision=144000 #constraints=14586 1708.19/1708.69 c nbDecision=144500 #constraints=14598 1762.07/1762.51 c nbDecision=145000 #constraints=14788 1791.86/1792.37 c nbDecision=145500 #constraints=14881 1799.96/1800.41 c nbDecision=146000 #constraints=14903 1800.07/1800.50 Received signal 15 1800.07/1800.53 1800.07/1800.53 s UNKNOWN 1800.07/1800.53 1800.07/1800.53 c user time= 1798.53 s 1800.07/1800.53 c system time= 1.57376 s 1800.07/1800.53 c wall clock time=1800.53
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-357225-1176991692 -o ROOT/results/node41/solver-357225-1176991692 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357225-1176991692/instance-357225-1176991692.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.96 3/77 19972 /proc/meminfo: memFree=1673048/2055920 swapFree=4135144/4192956 [pid=19972] ppid=19970 vsize=1468 CPUtime=0 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147081192 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134709500 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 367 161 127 317 0 46 0 [startup+0.0451619 s] /proc/loadavg: 0.92 0.98 0.96 3/77 19972 /proc/meminfo: memFree=1673048/2055920 swapFree=4135144/4192956 [pid=19972] ppid=19970 vsize=2400 CPUtime=0.04 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 455 0 0 0 4 0 0 0 18 0 1 0 147081192 2457600 339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 600 339 127 317 0 279 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2400 [startup+0.101165 s] /proc/loadavg: 0.92 0.98 0.96 3/77 19972 /proc/meminfo: memFree=1673048/2055920 swapFree=4135144/4192956 [pid=19972] ppid=19970 vsize=3440 CPUtime=0.09 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 803 0 0 0 9 0 0 0 18 0 1 0 147081192 3522560 558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 860 558 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301183 s] /proc/loadavg: 0.92 0.98 0.96 3/77 19972 /proc/meminfo: memFree=1673048/2055920 swapFree=4135144/4192956 [pid=19972] ppid=19970 vsize=5520 CPUtime=0.29 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 1654 0 0 0 29 0 0 0 19 0 1 0 147081192 5652480 1152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 1380 1152 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701218 s] /proc/loadavg: 0.92 0.98 0.96 3/77 19972 /proc/meminfo: memFree=1673048/2055920 swapFree=4135144/4192956 [pid=19972] ppid=19970 vsize=9548 CPUtime=0.69 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 2791 0 0 0 68 1 0 0 22 0 1 0 147081192 9777152 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 2387 1776 131 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50129 s] /proc/loadavg: 0.92 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1660816/2055920 swapFree=4135144/4192956 [pid=19972] ppid=19970 vsize=25676 CPUtime=1.49 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 6412 0 0 0 146 3 0 0 25 0 1 0 147081192 26292224 5397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 6419 5400 131 317 0 6098 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25676 [startup+3.10143 s] /proc/loadavg: 0.92 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1642128/2055920 swapFree=4135144/4192956 [pid=19972] ppid=19970 vsize=54280 CPUtime=3.09 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 13445 0 0 0 303 6 0 0 25 0 1 0 147081192 55582720 12430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 13570 12430 137 317 0 13249 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54280 [startup+6.3017 s] /proc/loadavg: 0.93 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1618640/2055920 swapFree=4135144/4192956 [pid=19972] ppid=19970 vsize=59032 CPUtime=6.29 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 14633 0 0 0 622 7 0 0 25 0 1 0 147081192 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 14758 13618 138 317 0 14437 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59032 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1618768/2055920 swapFree=4135144/4192956 [pid=19972] ppid=19970 vsize=59032 CPUtime=12.69 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 14633 0 0 0 1262 7 0 0 25 0 1 0 147081192 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 14758 13618 138 317 0 14437 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59032 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1618832/2055920 swapFree=4135144/4192956 [pid=19972] ppid=19970 vsize=59032 CPUtime=25.49 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 14633 0 0 0 2542 7 0 0 25 0 1 0 147081192 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 14758 13618 138 317 0 14437 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59032 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1618896/2055920 swapFree=4135144/4192956 [pid=19972] ppid=19970 vsize=59032 CPUtime=51.08 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 14633 0 0 0 5101 7 0 0 25 0 1 0 147081192 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 14758 13618 138 317 0 14437 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 59032 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1608464/2055920 swapFree=4135208/4192956 [pid=19972] ppid=19970 vsize=71200 CPUtime=102.27 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 17407 0 0 0 10219 8 0 0 25 0 1 0 147081192 72908800 16345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272922 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 17800 16345 139 317 0 17479 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 71200 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1482576/2055920 swapFree=4135208/4192956 [pid=19972] ppid=19970 vsize=205600 CPUtime=162.26 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 49393 0 0 0 16206 20 0 0 25 0 1 0 147081192 210534400 47950 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 51400 47950 170 317 0 51079 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 205600 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1429456/2055920 swapFree=4135272/4192956 [pid=19972] ppid=19970 vsize=263916 CPUtime=222.23 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 62578 0 0 0 22197 26 0 0 25 0 1 0 147081192 270249984 60960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 65979 60960 170 317 0 65658 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 263916 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1367248/2055920 swapFree=4135272/4192956 [pid=19972] ppid=19970 vsize=327728 CPUtime=282.22 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 78503 0 0 0 28190 32 0 0 25 0 1 0 147081192 335593472 76622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714061 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 81932 76622 170 317 0 81611 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 327728 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1258832/2055920 swapFree=4135272/4192956 [pid=19972] ppid=19970 vsize=454868 CPUtime=342.21 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 105798 0 0 0 34176 45 0 0 25 0 1 0 147081192 465784832 103585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 113717 103585 170 317 0 113396 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 454868 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1193296/2055920 swapFree=4135336/4192956 [pid=19972] ppid=19970 vsize=519552 CPUtime=402.2 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 122531 0 0 0 40167 53 0 0 25 0 1 0 147081192 532021248 120051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 129888 120051 170 317 0 129567 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 519552 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1131856/2055920 swapFree=4135336/4192956 [pid=19972] ppid=19970 vsize=579908 CPUtime=462.18 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 137985 0 0 0 46159 59 0 0 25 0 1 0 147081192 593825792 135286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 144977 135286 170 317 0 144656 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 579908 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19973 /proc/meminfo: memFree=1081232/2055920 swapFree=4135400/4192956 [pid=19972] ppid=19970 vsize=633808 CPUtime=522.17 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 151119 0 0 0 52154 63 0 0 25 0 1 0 147081192 649019392 148162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 158452 148162 170 317 0 158131 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 633808 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19973 /proc/meminfo: memFree=975504/2055920 swapFree=4135400/4192956 [pid=19972] ppid=19970 vsize=780244 CPUtime=582.16 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 177471 0 0 0 58141 75 0 0 25 0 1 0 147081192 798969856 174306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 195061 174306 170 317 0 194740 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 780244 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.96 2/78 19973 /proc/meminfo: memFree=934416/2055920 swapFree=4135468/4192956 [pid=19972] ppid=19970 vsize=819936 CPUtime=642.15 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 187780 0 0 0 64134 81 0 0 25 0 1 0 147081192 839614464 184445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 204984 184445 170 317 0 204663 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 819936 ################ # More data... # ################ [startup+942.303 s] /proc/loadavg: 1.02 1.03 0.99 2/78 19973 /proc/meminfo: memFree=770320/2055920 swapFree=4135596/4192956 [pid=19972] ppid=19970 vsize=980200 CPUtime=942.07 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 229069 0 0 0 94106 101 0 0 25 0 1 0 147081192 1003724800 225477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 245050 225477 170 317 0 244729 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 980200 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 0.99 2/78 19973 /proc/meminfo: memFree=732496/2055920 swapFree=4135596/4192956 [pid=19972] ppid=19970 vsize=1016632 CPUtime=1002.06 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 238506 0 0 0 100100 106 0 0 25 0 1 0 147081192 1041031168 234869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 254158 234869 170 317 0 253837 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 1016632 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 0.99 2/78 19973 /proc/meminfo: memFree=700752/2055920 swapFree=4135596/4192956 [pid=19972] ppid=19970 vsize=1047808 CPUtime=1062.04 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 246581 0 0 0 106095 109 0 0 25 0 1 0 147081192 1072955392 242832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 261952 242832 170 317 0 261631 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 1047808 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 0.99 2/78 19973 /proc/meminfo: memFree=671056/2055920 swapFree=4135660/4192956 [pid=19972] ppid=19970 vsize=1076752 CPUtime=1122.02 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 254160 0 0 0 112090 112 0 0 25 0 1 0 147081192 1102594048 250272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 269188 250272 170 317 0 268867 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 1076752 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 19973 /proc/meminfo: memFree=629136/2055920 swapFree=4135660/4192956 [pid=19972] ppid=19970 vsize=1118512 CPUtime=1182 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 264869 0 0 0 118083 117 0 0 25 0 1 0 147081192 1145356288 260852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 279628 260852 170 317 0 279307 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1118512 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 19973 /proc/meminfo: memFree=592208/2055920 swapFree=4135724/4192956 [pid=19972] ppid=19970 vsize=1154024 CPUtime=1242 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 274011 0 0 0 124079 121 0 0 25 0 1 0 147081192 1181720576 269848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564068 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 288506 269848 170 317 0 288185 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 1154024 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 19973 /proc/meminfo: memFree=558864/2055920 swapFree=4135724/4192956 [pid=19972] ppid=19970 vsize=1186876 CPUtime=1301.99 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 282409 0 0 0 130075 124 0 0 25 0 1 0 147081192 1215361024 278139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 296719 278139 170 317 0 296398 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1186876 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 19973 /proc/meminfo: memFree=528336/2055920 swapFree=4135724/4192956 [pid=19972] ppid=19970 vsize=1219924 CPUtime=1361.97 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 290111 0 0 0 136070 127 0 0 25 0 1 0 147081192 1249202176 285769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 304981 285769 170 317 0 304660 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1219924 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 19973 /proc/meminfo: memFree=403856/2055920 swapFree=4135788/4192956 [pid=19972] ppid=19970 vsize=1438832 CPUtime=1421.96 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 321161 0 0 0 142057 139 0 0 25 0 1 0 147081192 1473363968 316785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 359708 316785 170 317 0 359387 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1438832 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 19973 /proc/meminfo: memFree=381136/2055920 swapFree=4135788/4192956 [pid=19972] ppid=19970 vsize=1463988 CPUtime=1481.93 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 326926 0 0 0 148052 141 0 0 25 0 1 0 147081192 1499123712 322516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 365997 322516 170 317 0 365676 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1463988 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 19973 /proc/meminfo: memFree=357776/2055920 swapFree=4135852/4192956 [pid=19972] ppid=19970 vsize=1489288 CPUtime=1541.92 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 332782 0 0 0 154047 145 0 0 25 0 1 0 147081192 1525030912 328318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713863 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 372322 328318 170 317 0 372001 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1489288 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 19973 /proc/meminfo: memFree=329488/2055920 swapFree=4135852/4192956 [pid=19972] ppid=19970 vsize=1513544 CPUtime=1601.91 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 339973 0 0 0 160042 149 0 0 25 0 1 0 147081192 1549869056 335394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 378386 335394 170 317 0 378065 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1513544 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 19973 /proc/meminfo: memFree=301520/2055920 swapFree=4135852/4192956 [pid=19972] ppid=19970 vsize=1543700 CPUtime=1661.9 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 347006 0 0 0 166038 152 0 0 25 0 1 0 147081192 1580748800 342340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 385925 342340 170 317 0 385604 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1543700 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 19973 /proc/meminfo: memFree=274192/2055920 swapFree=4135916/4192956 [pid=19972] ppid=19970 vsize=1567720 CPUtime=1721.88 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 353967 0 0 0 172033 155 0 0 25 0 1 0 147081192 1605345280 349244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 391930 349244 170 317 0 391609 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1567720 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 19973 /proc/meminfo: memFree=252112/2055920 swapFree=4135916/4192956 [pid=19972] ppid=19970 vsize=1591348 CPUtime=1781.86 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 359414 0 0 0 178030 156 0 0 25 0 1 0 147081192 1629540352 354655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 397837 354655 170 317 0 397516 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1591348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/78 19973 /proc/meminfo: memFree=246096/2055920 swapFree=4135916/4192956 [pid=19972] ppid=19970 vsize=1597768 CPUtime=1800.07 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194304 360923 0 0 0 179850 157 0 0 25 0 1 0 147081192 1636114432 356119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 399442 356119 170 317 0 399121 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1597768 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.99 2/79 19974 /proc/meminfo: memFree=412040/2055920 swapFree=4135916/4192956 [pid=19972] ppid=19970 vsize=0 CPUtime=1800.17 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194308 360939 0 0 0 179857 160 0 0 25 0 1 0 147081192 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.99 2/79 19974 /proc/meminfo: memFree=412040/2055920 swapFree=4135916/4192956 [pid=19972] ppid=19970 vsize=0 CPUtime=1800.37 /proc/19972/stat : 19972 (oree) R 19970 19972 19629 0 -1 4194308 360939 0 0 0 179857 180 0 0 25 0 1 0 147081192 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19972/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.37 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.37 CPU user time (s): 1798.57 CPU system time (s): 1.80372 CPU usage (%): 99.9761 Max. virtual memory (cumulated for all children) (KiB): 1597768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.57 system time used= 1.80373 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 360939 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= 1004 runsolver used 1.85872 second user time and 4.70228 second system time The end
Begin job on node41 on Thu Apr 19 14:08:13 UTC 2007 IDJOB= 357225 IDBENCH= 2286 IDSOLVER= 172 FILE ID= node41/357225-1176991692 PBS_JOBID= 4630436 Free space on /tmp= 66339 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3704.opb COMMAND LINE= oree /tmp/evaluation/357225-1176991692/instance-357225-1176991692.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-357225-1176991692 -o ROOT/results/node41/solver-357225-1176991692 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357225-1176991692/instance-357225-1176991692.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 79102a590238a8abf70853775a775dcb RANDOM SEED= 45066246 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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: 1673520 kB Buffers: 37220 kB Cached: 260976 kB SwapCached: 2704 kB Active: 110372 kB Inactive: 211332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1673520 kB SwapTotal: 4192956 kB SwapFree: 4135144 kB Dirty: 9924 kB Writeback: 0 kB Mapped: 31244 kB Slab: 46088 kB Committed_AS: 2563888 kB PageTables: 2008 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= 66339 MiB End job on node41 on Thu Apr 19 14:38:16 UTC 2007