Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.29 | 1801.81 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scsd8.opb |
MD5SUM | 652c15620b8183c9f7790ff4b2dde8e4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 82500 |
Total number of constraints | 397 |
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 | 397 |
Minimum length of a constraint | 300 |
Maximum length of a constraint | 720 |
Number of terms in the objective function | 82500 |
Biggest coefficient in the objective function | 195 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 593086 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 48312 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 593086 |
Number of bits of the biggest sum of numbers | 20 |
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... 1.19/1.25 c ...done 1.19/1.25 c #vars=82500 #constraints=795 hasObjective=yes 2.19/2.22 c res. mode=mod 2.19/2.22 c VSIDS like heuristics 2.19/2.22 c complete search running 2.59/2.68 c restart after 401 decisions 2.79/2.80 c nbDecision=500 #constraints=795 3.09/3.15 c restart after 801 decisions 3.29/3.38 c nbDecision=1000 #constraints=795 3.89/3.95 c nbDecision=1500 #constraints=795 3.99/4.07 c restart after 1601 decisions 4.49/4.53 c nbDecision=2000 #constraints=795 5.09/5.11 c nbDecision=2500 #constraints=795 5.59/5.69 c nbDecision=3000 #constraints=795 5.89/5.92 c restart after 3201 decisions 6.19/6.27 c nbDecision=3500 #constraints=795 6.79/6.84 c nbDecision=4000 #constraints=795 7.39/7.42 c nbDecision=4500 #constraints=795 7.99/8.01 c nbDecision=5000 #constraints=795 8.49/8.59 c nbDecision=5500 #constraints=795 9.09/9.17 c nbDecision=6000 #constraints=795 9.59/9.63 c restart after 6401 decisions 9.69/9.75 c nbDecision=6500 #constraints=795 10.29/10.33 c nbDecision=7000 #constraints=795 10.89/10.92 c nbDecision=7500 #constraints=795 11.49/11.50 c nbDecision=8000 #constraints=795 11.99/12.08 c nbDecision=8500 #constraints=795 12.59/12.66 c nbDecision=9000 #constraints=795 13.19/13.24 c nbDecision=9500 #constraints=795 13.79/13.82 c nbDecision=10000 #constraints=795 14.29/14.39 c nbDecision=10500 #constraints=795 14.89/14.97 c nbDecision=11000 #constraints=795 15.49/15.54 c nbDecision=11500 #constraints=795 16.09/16.12 c nbDecision=12000 #constraints=795 16.59/16.69 c nbDecision=12500 #constraints=795 16.99/17.03 c restart after 12801 decisions 17.19/17.27 c nbDecision=13000 #constraints=795 17.79/17.85 c nbDecision=13500 #constraints=795 18.39/18.42 c nbDecision=14000 #constraints=795 18.99/19.00 c nbDecision=14500 #constraints=795 19.49/19.58 c nbDecision=15000 #constraints=795 20.09/20.15 c nbDecision=15500 #constraints=795 20.68/20.72 c nbDecision=16000 #constraints=795 21.18/21.29 c nbDecision=16500 #constraints=795 21.78/21.87 c nbDecision=17000 #constraints=795 22.38/22.44 c nbDecision=17500 #constraints=795 22.99/23.00 c nbDecision=18000 #constraints=795 23.48/23.57 c nbDecision=18500 #constraints=795 24.09/24.14 c nbDecision=19000 #constraints=795 24.68/24.70 c nbDecision=19500 #constraints=795 25.19/25.27 c nbDecision=20000 #constraints=795 25.79/25.83 c nbDecision=20500 #constraints=795 26.29/26.39 c nbDecision=21000 #constraints=795 26.88/26.96 c nbDecision=21500 #constraints=795 27.49/27.52 c nbDecision=22000 #constraints=795 27.98/28.08 c nbDecision=22500 #constraints=795 28.59/28.64 c nbDecision=23000 #constraints=795 29.18/29.20 c nbDecision=23500 #constraints=795 29.69/29.76 c nbDecision=24000 #constraints=795 30.28/30.32 c nbDecision=24500 #constraints=795 30.79/30.87 c nbDecision=25000 #constraints=795 31.38/31.43 c nbDecision=25500 #constraints=795 31.48/31.54 c restart after 25601 decisions 31.98/32.03 c nbDecision=26000 #constraints=795 32.58/32.61 c nbDecision=26500 #constraints=795 33.08/33.19 c nbDecision=27000 #constraints=795 33.68/33.77 c nbDecision=27500 #constraints=795 34.28/34.36 c nbDecision=28000 #constraints=795 34.88/34.93 c nbDecision=28500 #constraints=795 35.48/35.51 c nbDecision=29000 #constraints=795 35.98/36.09 c nbDecision=29500 #constraints=795 36.58/36.66 c nbDecision=30000 #constraints=795 37.18/37.23 c nbDecision=30500 #constraints=795 37.78/37.80 c nbDecision=31000 #constraints=795 38.28/38.37 c nbDecision=31500 #constraints=795 38.88/38.93 c nbDecision=32000 #constraints=795 39.38/39.50 c nbDecision=32500 #constraints=795 39.98/40.06 c nbDecision=33000 #constraints=795 40.58/40.62 c nbDecision=33500 #constraints=795 41.08/41.18 c nbDecision=34000 #constraints=795 41.68/41.74 c nbDecision=34500 #constraints=795 42.28/42.30 c nbDecision=35000 #constraints=795 42.78/42.86 c nbDecision=35500 #constraints=795 43.38/43.41 c nbDecision=36000 #constraints=795 43.88/43.97 c nbDecision=36500 #constraints=795 44.48/44.53 c nbDecision=37000 #constraints=795 44.98/45.08 c nbDecision=37500 #constraints=795 45.58/45.63 c nbDecision=38000 #constraints=795 46.08/46.17 c nbDecision=38500 #constraints=795 46.68/46.72 c nbDecision=39000 #constraints=795 47.18/47.27 c nbDecision=39500 #constraints=795 47.78/47.82 c nbDecision=40000 #constraints=795 48.28/48.37 c nbDecision=40500 #constraints=795 48.88/48.92 c nbDecision=41000 #constraints=795 49.38/49.46 c nbDecision=41500 #constraints=795 49.98/50.01 c nbDecision=42000 #constraints=795 50.48/50.55 c nbDecision=42500 #constraints=795 50.98/51.09 c nbDecision=43000 #constraints=795 51.58/51.63 c nbDecision=43500 #constraints=795 52.07/52.17 c nbDecision=44000 #constraints=795 52.68/52.71 c nbDecision=44500 #constraints=795 53.17/53.25 c nbDecision=45000 #constraints=795 53.67/53.78 c nbDecision=45500 #constraints=795 54.27/54.32 c nbDecision=46000 #constraints=795 54.77/54.85 c nbDecision=46500 #constraints=795 55.27/55.39 c nbDecision=47000 #constraints=795 55.87/55.92 c nbDecision=47500 #constraints=795 56.37/56.45 c nbDecision=48000 #constraints=795 56.87/56.98 c nbDecision=48500 #constraints=795 57.47/57.50 c nbDecision=49000 #constraints=795 57.97/58.02 c nbDecision=49500 #constraints=795 58.47/58.54 c nbDecision=50000 #constraints=795 58.97/59.06 c nbDecision=50500 #constraints=795 59.47/59.57 c nbDecision=51000 #constraints=795 59.67/59.78 c restart after 51201 decisions 60.07/60.18 c nbDecision=51500 #constraints=795 60.67/60.75 c nbDecision=52000 #constraints=795 61.27/61.32 c nbDecision=52500 #constraints=795 61.87/61.90 c nbDecision=53000 #constraints=795 62.37/62.48 c nbDecision=53500 #constraints=795 62.97/63.05 c nbDecision=54000 #constraints=795 63.57/63.62 c nbDecision=54500 #constraints=795 64.17/64.20 c nbDecision=55000 #constraints=795 64.67/64.77 c nbDecision=55500 #constraints=795 65.27/65.34 c nbDecision=56000 #constraints=795 65.87/65.91 c nbDecision=56500 #constraints=795 66.37/66.48 c nbDecision=57000 #constraints=795 66.97/67.05 c nbDecision=57500 #constraints=795 67.57/67.62 c nbDecision=58000 #constraints=795 68.07/68.19 c nbDecision=58500 #constraints=795 68.67/68.76 c nbDecision=59000 #constraints=795 69.27/69.32 c nbDecision=59500 #constraints=795 69.77/69.89 c nbDecision=60000 #constraints=795 70.37/70.45 c nbDecision=60500 #constraints=795 70.97/71.02 c nbDecision=61000 #constraints=795 71.47/71.57 c nbDecision=61500 #constraints=795 72.07/72.14 c nbDecision=62000 #constraints=795 72.57/72.69 c nbDecision=62500 #constraints=795 73.16/73.25 c nbDecision=63000 #constraints=795 73.76/73.80 c nbDecision=63500 #constraints=795 74.26/74.36 c nbDecision=64000 #constraints=795 74.86/74.91 c nbDecision=64500 #constraints=795 75.36/75.46 c nbDecision=65000 #constraints=795 75.96/76.01 c nbDecision=65500 #constraints=795 76.46/76.56 c nbDecision=66000 #constraints=795 77.07/77.10 c nbDecision=66500 #constraints=795 77.56/77.64 c nbDecision=67000 #constraints=795 78.07/78.18 c nbDecision=67500 #constraints=795 78.66/78.72 c nbDecision=68000 #constraints=795 79.17/79.26 c nbDecision=68500 #constraints=795 79.66/79.79 c nbDecision=69000 #constraints=795 80.27/80.33 c nbDecision=69500 #constraints=795 80.76/80.86 c nbDecision=70000 #constraints=795 81.27/81.39 c nbDecision=70500 #constraints=795 81.86/81.92 c nbDecision=71000 #constraints=795 82.37/82.46 c nbDecision=71500 #constraints=795 82.86/82.98 c nbDecision=72000 #constraints=795 83.47/83.51 c nbDecision=72500 #constraints=795 83.96/84.04 c nbDecision=73000 #constraints=795 84.46/84.56 c nbDecision=73500 #constraints=795 84.96/85.08 c nbDecision=74000 #constraints=795 85.56/85.60 c nbDecision=74500 #constraints=795 86.06/86.13 c nbDecision=75000 #constraints=795 86.56/86.64 c nbDecision=75500 #constraints=795 87.06/87.17 c nbDecision=76000 #constraints=795 87.56/87.69 c nbDecision=76500 #constraints=795 88.16/88.21 c nbDecision=77000 #constraints=795 88.66/88.72 c nbDecision=77500 #constraints=795 89.16/89.24 c nbDecision=78000 #constraints=795 89.66/89.76 c nbDecision=78500 #constraints=795 90.16/90.27 c nbDecision=79000 #constraints=795 90.66/90.78 c nbDecision=79500 #constraints=795 91.16/91.29 c nbDecision=80000 #constraints=795 91.66/91.80 c nbDecision=80500 #constraints=795 92.26/92.31 c nbDecision=81000 #constraints=795 92.76/92.81 c nbDecision=81500 #constraints=795 93.26/93.32 c nbDecision=82000 #constraints=795 93.76/93.82 c nbDecision=82500 #constraints=795 94.26/94.32 c nbDecision=83000 #constraints=795 94.76/94.82 c nbDecision=83500 #constraints=795 95.26/95.32 c nbDecision=84000 #constraints=795 95.76/95.82 c nbDecision=84500 #constraints=795 96.26/96.32 c nbDecision=85000 #constraints=795 96.76/96.81 c nbDecision=85500 #constraints=795 97.26/97.30 c nbDecision=86000 #constraints=795 97.66/97.79 c nbDecision=86500 #constraints=795 98.16/98.28 c nbDecision=87000 #constraints=795 98.66/98.76 c nbDecision=87500 #constraints=795 99.16/99.25 c nbDecision=88000 #constraints=795 99.66/99.73 c nbDecision=88500 #constraints=795 100.16/100.21 c nbDecision=89000 #constraints=795 100.56/100.69 c nbDecision=89500 #constraints=795 101.06/101.17 c nbDecision=90000 #constraints=795 101.56/101.65 c nbDecision=90500 #constraints=795 102.06/102.13 c nbDecision=91000 #constraints=795 102.56/102.60 c nbDecision=91500 #constraints=795 102.96/103.08 c nbDecision=92000 #constraints=795 103.96/104.03 c nbDecision=92500 #constraints=796 104.46/104.51 c nbDecision=93000 #constraints=796 104.86/104.97 c nbDecision=93500 #constraints=796 105.36/105.43 c nbDecision=94000 #constraints=796 107.36/107.49 c nbDecision=94500 #constraints=1077 111.86/111.92 c nbDecision=95000 #constraints=1588 117.95/118.07 c nbDecision=95500 #constraints=2079 126.15/126.27 c nbDecision=96000 #constraints=2579 136.36/136.46 c nbDecision=96500 #constraints=3081 148.74/148.85 c nbDecision=97000 #constraints=3569 162.94/163.06 c nbDecision=97500 #constraints=4063 179.64/179.79 c nbDecision=98000 #constraints=4559 198.94/199.06 c nbDecision=98500 #constraints=5061 219.23/219.37 c nbDecision=99000 #constraints=5538 242.93/243.08 c nbDecision=99500 #constraints=6035 268.32/268.48 c nbDecision=100000 #constraints=6533 296.51/296.69 c nbDecision=100500 #constraints=7016 325.90/326.04 c nbDecision=101000 #constraints=7502 358.50/358.69 c nbDecision=101500 #constraints=7979 392.49/392.64 c nbDecision=102000 #constraints=8474 422.07/422.21 c restart after 102401 decisions 424.67/424.85 c nbDecision=102500 #constraints=8872 425.27/425.43 c nbDecision=103000 #constraints=8872 425.87/426.00 c nbDecision=103500 #constraints=8872 426.37/426.58 c nbDecision=104000 #constraints=8872 426.97/427.16 c nbDecision=104500 #constraints=8872 427.57/427.74 c nbDecision=105000 #constraints=8872 428.17/428.32 c nbDecision=105500 #constraints=8872 428.78/428.90 c nbDecision=106000 #constraints=8872 429.27/429.47 c nbDecision=106500 #constraints=8872 429.88/430.05 c nbDecision=107000 #constraints=8872 430.47/430.62 c nbDecision=107500 #constraints=8872 430.98/431.20 c nbDecision=108000 #constraints=8872 431.57/431.77 c nbDecision=108500 #constraints=8872 432.18/432.34 c nbDecision=109000 #constraints=8872 432.77/432.91 c nbDecision=109500 #constraints=8872 433.28/433.48 c nbDecision=110000 #constraints=8872 433.87/434.05 c nbDecision=110500 #constraints=8872 434.47/434.61 c nbDecision=111000 #constraints=8872 434.97/435.18 c nbDecision=111500 #constraints=8872 435.57/435.74 c nbDecision=112000 #constraints=8872 436.17/436.30 c nbDecision=112500 #constraints=8872 436.67/436.86 c nbDecision=113000 #constraints=8872 437.27/437.42 c nbDecision=113500 #constraints=8872 437.77/437.97 c nbDecision=114000 #constraints=8872 438.37/438.52 c nbDecision=114500 #constraints=8872 438.87/439.07 c nbDecision=115000 #constraints=8872 439.47/439.62 c nbDecision=115500 #constraints=8872 439.97/440.16 c nbDecision=116000 #constraints=8872 440.57/440.71 c nbDecision=116500 #constraints=8872 441.07/441.25 c nbDecision=117000 #constraints=8872 441.57/441.79 c nbDecision=117500 #constraints=8872 442.17/442.33 c nbDecision=118000 #constraints=8872 442.67/442.88 c nbDecision=118500 #constraints=8872 443.27/443.41 c nbDecision=119000 #constraints=8872 443.77/443.95 c nbDecision=119500 #constraints=8872 444.27/444.49 c nbDecision=120000 #constraints=8872 444.87/445.02 c nbDecision=120500 #constraints=8872 445.37/445.56 c nbDecision=121000 #constraints=8872 445.87/446.09 c nbDecision=121500 #constraints=8872 446.47/446.62 c nbDecision=122000 #constraints=8872 446.97/447.15 c nbDecision=122500 #constraints=8872 447.47/447.69 c nbDecision=123000 #constraints=8872 448.07/448.22 c nbDecision=123500 #constraints=8872 448.57/448.75 c nbDecision=124000 #constraints=8872 449.08/449.29 c nbDecision=124500 #constraints=8872 449.68/449.82 c nbDecision=125000 #constraints=8872 450.17/450.34 c nbDecision=125500 #constraints=8872 450.67/450.87 c nbDecision=126000 #constraints=8872 451.17/451.39 c nbDecision=126500 #constraints=8872 451.77/451.92 c nbDecision=127000 #constraints=8872 452.27/452.44 c nbDecision=127500 #constraints=8872 452.77/452.96 c nbDecision=128000 #constraints=8872 453.28/453.48 c nbDecision=128500 #constraints=8872 453.87/454.00 c nbDecision=129000 #constraints=8872 454.37/454.51 c nbDecision=129500 #constraints=8872 454.87/455.03 c nbDecision=130000 #constraints=8872 455.37/455.54 c nbDecision=130500 #constraints=8872 455.87/456.05 c nbDecision=131000 #constraints=8872 456.38/456.55 c nbDecision=131500 #constraints=8872 456.87/457.06 c nbDecision=132000 #constraints=8872 457.38/457.56 c nbDecision=132500 #constraints=8872 457.87/458.06 c nbDecision=133000 #constraints=8872 458.37/458.56 c nbDecision=133500 #constraints=8872 458.87/459.06 c nbDecision=134000 #constraints=8872 459.37/459.55 c nbDecision=134500 #constraints=8872 459.87/460.05 c nbDecision=135000 #constraints=8872 460.37/460.54 c nbDecision=135500 #constraints=8872 460.87/461.04 c nbDecision=136000 #constraints=8872 461.37/461.53 c nbDecision=136500 #constraints=8872 461.88/462.01 c nbDecision=137000 #constraints=8872 462.37/462.51 c nbDecision=137500 #constraints=8872 462.77/462.99 c nbDecision=138000 #constraints=8872 463.27/463.48 c nbDecision=138500 #constraints=8872 463.77/463.97 c nbDecision=139000 #constraints=8872 464.27/464.45 c nbDecision=139500 #constraints=8872 464.77/464.93 c nbDecision=140000 #constraints=8872 465.27/465.42 c nbDecision=140500 #constraints=8872 465.77/465.90 c nbDecision=141000 #constraints=8872 466.37/466.52 c nbDecision=141500 #constraints=8872 467.17/467.36 c nbDecision=142000 #constraints=8872 467.97/468.16 c nbDecision=142500 #constraints=8872 469.37/469.55 c nbDecision=143000 #constraints=8872 470.37/470.58 c nbDecision=143500 #constraints=8872 470.87/471.06 c nbDecision=144000 #constraints=8872 471.37/471.53 c nbDecision=144500 #constraints=8872 471.87/472.07 c nbDecision=145000 #constraints=8872 479.77/479.93 c nbDecision=145500 #constraints=8957 520.05/520.22 c nbDecision=146000 #constraints=9459 560.04/560.25 c nbDecision=146500 #constraints=9936 603.63/603.83 c nbDecision=147000 #constraints=10415 648.22/648.40 c nbDecision=147500 #constraints=10892 695.81/696.00 c nbDecision=148000 #constraints=11374 745.99/746.23 c nbDecision=148500 #constraints=11866 800.49/800.71 c nbDecision=149000 #constraints=12363 853.37/853.69 c nbDecision=149500 #constraints=12843 911.25/911.53 c nbDecision=150000 #constraints=13326 969.24/969.53 c nbDecision=150500 #constraints=13812 1029.72/1030.01 c nbDecision=151000 #constraints=14281 1092.41/1092.72 c nbDecision=151500 #constraints=14768 1156.00/1156.39 c nbDecision=152000 #constraints=15231 1223.88/1224.26 c nbDecision=152500 #constraints=15731 1295.36/1295.75 c nbDecision=153000 #constraints=16218 1368.05/1368.41 c nbDecision=153500 #constraints=16712 1441.73/1442.19 c nbDecision=154000 #constraints=17194 1519.71/1520.13 c nbDecision=154500 #constraints=17683 1594.58/1595.02 c nbDecision=155000 #constraints=18143 1677.76/1678.27 c nbDecision=155500 #constraints=18639 1755.84/1756.35 c nbDecision=156000 #constraints=19095 1800.09/1800.61 Received signal 15 1801.08/1801.69 1801.08/1801.69 s UNKNOWN 1801.08/1801.69 1801.08/1801.69 c user time= 1800.42 s 1801.08/1801.69 c system time= 0.751885 s 1801.08/1801.69 c wall clock time=1801.69
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-356949-1176849080 -o ROOT/results/node27/solver-356949-1176849080 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356949-1176849080/instance-356949-1176849080.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.99 0.97 0.96 3/65 11587 /proc/meminfo: memFree=1875296/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=1620 CPUtime=0 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 97603885 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 405 175 126 317 0 84 0 [startup+0.036983 s] /proc/loadavg: 0.99 0.97 0.96 3/65 11587 /proc/meminfo: memFree=1875296/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=2400 CPUtime=0.03 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 473 0 0 0 3 0 0 0 18 0 1 0 97603885 2457600 357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 600 357 126 317 0 279 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2400 [startup+0.102989 s] /proc/loadavg: 0.99 0.97 0.96 3/65 11587 /proc/meminfo: memFree=1875296/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=5624 CPUtime=0.09 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 970 0 0 0 9 0 0 0 18 0 1 0 97603885 5758976 725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 1406 728 126 317 0 1085 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5624 [startup+0.302015 s] /proc/loadavg: 0.99 0.97 0.96 3/65 11587 /proc/meminfo: memFree=1875296/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=6740 CPUtime=0.29 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 1769 0 0 0 29 0 0 0 19 0 1 0 97603885 6901760 1267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 1685 1269 131 317 0 1364 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6740 [startup+0.70105 s] /proc/loadavg: 0.99 0.97 0.96 3/65 11587 /proc/meminfo: memFree=1875296/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=15300 CPUtime=0.69 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 3857 0 0 0 68 1 0 0 22 0 1 0 97603885 15667200 3355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 3825 3355 131 317 0 3504 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15300 [startup+1.50113 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1856088/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=35436 CPUtime=1.49 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 8665 0 0 0 145 4 0 0 25 0 1 0 97603885 36286464 8163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 8859 8163 137 317 0 8538 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 35436 [startup+3.10129 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1840280/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=40316 CPUtime=3.09 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 9861 0 0 0 304 5 0 0 25 0 1 0 97603885 41283584 9359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 10079 9359 138 317 0 9758 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40316 [startup+6.30162 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1837912/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=40316 CPUtime=6.29 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 9863 0 0 0 624 5 0 0 25 0 1 0 97603885 41283584 9361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 10079 9361 138 317 0 9758 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 40316 [startup+12.7013 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1837920/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=40316 CPUtime=12.69 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 9866 0 0 0 1264 5 0 0 25 0 1 0 97603885 41283584 9364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 10079 9364 138 317 0 9758 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40316 [startup+25.5026 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1837920/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=40316 CPUtime=25.49 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 9874 0 0 0 2544 5 0 0 25 0 1 0 97603885 41283584 9372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 10079 9372 138 317 0 9758 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40316 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1837920/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=40444 CPUtime=51.07 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 9894 0 0 0 5102 5 0 0 25 0 1 0 97603885 41414656 9392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 10111 9392 138 317 0 9790 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 40444 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1837728/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=40556 CPUtime=102.26 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 9937 0 0 0 10221 5 0 0 25 0 1 0 97603885 41529344 9435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 10139 9435 138 317 0 9818 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 40556 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1744608/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=145116 CPUtime=162.25 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 33349 0 0 0 16210 15 0 0 25 0 1 0 97603885 148598784 32847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 36279 32847 139 317 0 35958 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 145116 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1698464/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=198880 CPUtime=222.23 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 44723 0 0 0 22201 22 0 0 25 0 1 0 97603885 203653120 44221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 49720 44221 139 317 0 49399 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 198880 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1665888/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=235448 CPUtime=282.21 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 52934 0 0 0 28195 26 0 0 25 0 1 0 97603885 241098752 52389 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 58862 52389 139 317 0 58541 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 235448 [startup+342.303 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1636064/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=270824 CPUtime=342.2 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 60338 0 0 0 34189 31 0 0 25 0 1 0 97603885 277323776 59793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 67706 59793 139 317 0 67385 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 270824 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1613728/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=293952 CPUtime=402.19 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 65936 0 0 0 40184 35 0 0 25 0 1 0 97603885 301006848 65391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 73488 65391 139 317 0 73167 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 293952 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1606624/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=301076 CPUtime=462.17 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 67612 0 0 0 46181 36 0 0 25 0 1 0 97603885 308301824 67067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 75269 67067 139 317 0 74948 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 301076 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1584608/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=332028 CPUtime=522.16 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 73185 0 0 0 52178 38 0 0 25 0 1 0 97603885 339996672 72640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 83007 72640 139 317 0 82686 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 332028 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1566304/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=350888 CPUtime=582.14 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 77727 0 0 0 58173 41 0 0 25 0 1 0 97603885 359309312 77182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 87722 77182 139 317 0 87401 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 350888 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.96 2/66 11588 /proc/meminfo: memFree=1549728/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=368408 CPUtime=642.13 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 81830 0 0 0 64170 43 0 0 25 0 1 0 97603885 377249792 81285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 92102 81285 139 317 0 91781 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 368408 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.04 0.99 0.97 2/66 11588 /proc/meminfo: memFree=1465376/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=471828 CPUtime=942.04 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 102975 0 0 0 94151 53 0 0 25 0 1 0 97603885 483151872 102345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 117957 102345 139 317 0 117636 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 471828 [startup+1002.3 s] /proc/loadavg: 1.05 1.00 0.97 2/66 11588 /proc/meminfo: memFree=1453792/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=484332 CPUtime=1002.03 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 105837 0 0 0 100149 54 0 0 25 0 1 0 97603885 495955968 105207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 121083 105207 139 317 0 120762 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 484332 [startup+1062.3 s] /proc/loadavg: 1.06 1.01 0.98 2/66 11588 /proc/meminfo: memFree=1441504/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=497208 CPUtime=1062.02 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 108931 0 0 0 106146 56 0 0 25 0 1 0 97603885 509140992 108301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 124302 108301 139 317 0 123981 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 497208 [startup+1122.3 s] /proc/loadavg: 1.05 1.02 0.98 2/66 11588 /proc/meminfo: memFree=1429728/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=509140 CPUtime=1122 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 111818 0 0 0 112142 58 0 0 25 0 1 0 97603885 521359360 111188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 127285 111188 139 317 0 126964 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 509140 [startup+1182.3 s] /proc/loadavg: 1.05 1.03 0.99 2/66 11588 /proc/meminfo: memFree=1418912/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=520928 CPUtime=1181.98 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 114599 0 0 0 118139 59 0 0 25 0 1 0 97603885 533430272 113969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 130232 113969 139 317 0 129911 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 520928 [startup+1242.3 s] /proc/loadavg: 1.02 1.02 0.99 2/66 11588 /proc/meminfo: memFree=1407456/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=532328 CPUtime=1241.97 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 117410 0 0 0 124136 61 0 0 25 0 1 0 97603885 545103872 116780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 133082 116780 139 317 0 132761 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 532328 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 0.99 2/66 11588 /proc/meminfo: memFree=1396704/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=543336 CPUtime=1301.96 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 120050 0 0 0 130135 61 0 0 25 0 1 0 97603885 556376064 119420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 135834 119420 139 317 0 135513 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 543336 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 0.99 2/66 11588 /proc/meminfo: memFree=1386720/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=554288 CPUtime=1361.95 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 122595 0 0 0 136132 63 0 0 25 0 1 0 97603885 567590912 121965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 138572 121965 139 317 0 138251 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 554288 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 0.99 2/66 11588 /proc/meminfo: memFree=1376480/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=564428 CPUtime=1421.93 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 125114 0 0 0 142129 64 0 0 25 0 1 0 97603885 577974272 124484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 141107 124484 139 317 0 140786 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 564428 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/66 11588 /proc/meminfo: memFree=1359840/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=603640 CPUtime=1481.91 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 133029 0 0 0 148123 68 0 0 25 0 1 0 97603885 618127360 128637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 150910 128637 139 317 0 150589 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 603640 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/66 11588 /proc/meminfo: memFree=1350496/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=613704 CPUtime=1541.89 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 135378 0 0 0 154121 68 0 0 25 0 1 0 97603885 628432896 130953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 153426 130953 139 317 0 153105 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 613704 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/66 11588 /proc/meminfo: memFree=1340512/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=623620 CPUtime=1601.88 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 137876 0 0 0 160118 70 0 0 25 0 1 0 97603885 638586880 133451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 155905 133451 139 317 0 155584 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 623620 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/66 11588 /proc/meminfo: memFree=1331360/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=633040 CPUtime=1661.86 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 140128 0 0 0 166115 71 0 0 25 0 1 0 97603885 648232960 135703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 158260 135703 139 317 0 157939 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 633040 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/66 11588 /proc/meminfo: memFree=1321824/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=642588 CPUtime=1721.85 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 142536 0 0 0 172113 72 0 0 25 0 1 0 97603885 658010112 138111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 160647 138111 139 317 0 160326 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 642588 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/72 11614 /proc/meminfo: memFree=1311912/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=652000 CPUtime=1781.83 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 144768 0 0 0 178109 74 0 0 25 0 1 0 97603885 667648000 140343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 163000 140343 139 317 0 162679 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 652000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/72 11704 /proc/meminfo: memFree=1308832/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=654844 CPUtime=1800.09 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 145381 0 0 0 179934 75 0 0 25 0 1 0 97603885 670560256 140956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 163711 140956 139 317 0 163390 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 654844 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.99 2/72 11704 /proc/meminfo: memFree=1308832/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=654844 CPUtime=1800.88 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194304 145398 0 0 0 180013 75 0 0 25 0 1 0 97603885 670560256 140973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 163711 140973 139 317 0 163390 0 Current children cumulated CPU time (s) 1800.88 Current children cumulated vsize (KiB) 654844 [startup+1801.81 s] /proc/loadavg: 1.00 1.00 0.99 2/73 11705 /proc/meminfo: memFree=1311576/2055920 swapFree=4179692/4192956 [pid=11587] ppid=11585 vsize=0 CPUtime=1801.27 /proc/11587/stat : 11587 (oree) R 11585 11587 10715 0 -1 4194308 145420 0 0 0 180044 83 0 0 25 0 1 0 97603885 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11587/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.27 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.81 CPU time (s): 1801.29 CPU user time (s): 1800.45 CPU system time (s): 0.841872 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 654844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.45 system time used= 0.841872 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 145420 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= 2420 runsolver used 1.39979 second user time and 3.73143 second system time The end
Begin job on node27 on Tue Apr 17 22:31:20 UTC 2007 IDJOB= 356949 IDBENCH= 1676 IDSOLVER= 172 FILE ID= node27/356949-1176849080 PBS_JOBID= 4590178 Free space on /tmp= 66468 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd8.opb COMMAND LINE= oree /tmp/evaluation/356949-1176849080/instance-356949-1176849080.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-356949-1176849080 -o ROOT/results/node27/solver-356949-1176849080 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356949-1176849080/instance-356949-1176849080.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 652c15620b8183c9f7790ff4b2dde8e4 RANDOM SEED= 601520273 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1875640 kB Buffers: 20444 kB Cached: 115916 kB SwapCached: 7528 kB Active: 75328 kB Inactive: 74280 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1875640 kB SwapTotal: 4192956 kB SwapFree: 4179692 kB Dirty: 4852 kB Writeback: 0 kB Mapped: 15376 kB Slab: 16708 kB Committed_AS: 1613376 kB PageTables: 1412 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= 66468 MiB End job on node27 on Tue Apr 17 23:01:22 UTC 2007