Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.19 | 1800.73 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Medium/ contest05/pebbling/sat-grid-pbl-0070.sat05-1334.reshuffled-07.opb |
MD5SUM | e6fa7dd6dacda5f2ff8523ce05dc4471 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 9.10462 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 4970 |
Total number of constraints | 9731 |
Number of constraints which are clauses | 9731 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 4 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 7 |
Number of bits of the biggest sum of numbers | 3 |
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.10/0.11 c ...done 0.10/0.11 c #vars=4970 #constraints=9731 hasObjective=no 0.10/0.13 c res. mode=mod 0.10/0.13 c VSIDS like heuristics 0.10/0.13 c complete search running 0.19/0.22 c restart after 401 decisions 0.19/0.24 c nbDecision=500 #constraints=9731 0.29/0.30 c restart after 801 decisions 0.29/0.35 c nbDecision=1000 #constraints=9731 0.39/0.44 c nbDecision=1500 #constraints=9731 0.39/0.46 c restart after 1601 decisions 0.49/0.55 c nbDecision=2000 #constraints=9731 0.59/0.65 c nbDecision=2500 #constraints=9732 0.69/0.74 c nbDecision=3000 #constraints=9733 0.69/0.77 c restart after 3201 decisions 0.79/0.84 c nbDecision=3500 #constraints=9733 0.89/0.94 c nbDecision=4000 #constraints=9733 1.00/1.02 c nbDecision=4500 #constraints=9733 1.10/1.12 c nbDecision=5000 #constraints=9747 1.19/1.20 c nbDecision=5500 #constraints=9750 1.19/1.28 c nbDecision=6000 #constraints=9751 1.29/1.37 c restart after 6401 decisions 1.29/1.38 c nbDecision=6500 #constraints=9782 1.39/1.49 c nbDecision=7000 #constraints=9782 1.49/1.58 c nbDecision=7500 #constraints=9782 1.59/1.66 c nbDecision=8000 #constraints=9783 1.69/1.75 c nbDecision=8500 #constraints=9783 1.79/1.83 c nbDecision=9000 #constraints=9784 1.89/1.91 c nbDecision=9500 #constraints=9786 1.89/1.99 c nbDecision=10000 #constraints=9786 1.99/2.07 c nbDecision=10500 #constraints=9788 2.10/2.16 c nbDecision=11000 #constraints=9795 2.20/2.24 c nbDecision=11500 #constraints=9795 2.29/2.31 c nbDecision=12000 #constraints=9796 2.29/2.38 c nbDecision=12500 #constraints=9796 2.39/2.44 c restart after 12801 decisions 2.39/2.46 c nbDecision=13000 #constraints=9803 2.49/2.56 c nbDecision=13500 #constraints=9803 2.59/2.65 c nbDecision=14000 #constraints=9804 2.69/2.74 c nbDecision=14500 #constraints=9805 2.79/2.82 c nbDecision=15000 #constraints=9805 2.89/2.91 c nbDecision=15500 #constraints=9808 2.89/2.98 c nbDecision=16000 #constraints=9808 2.99/3.07 c nbDecision=16500 #constraints=9810 3.09/3.14 c nbDecision=17000 #constraints=9810 3.20/3.22 c nbDecision=17500 #constraints=9814 3.20/3.29 c nbDecision=18000 #constraints=9814 3.30/3.36 c nbDecision=18500 #constraints=9818 3.39/3.43 c nbDecision=19000 #constraints=9819 3.49/3.50 c nbDecision=19500 #constraints=9820 3.49/3.57 c nbDecision=20000 #constraints=9824 3.59/3.65 c nbDecision=20500 #constraints=9842 3.69/3.73 c nbDecision=21000 #constraints=9845 3.79/3.81 c nbDecision=21500 #constraints=9845 3.79/3.88 c nbDecision=22000 #constraints=9849 3.89/3.95 c nbDecision=22500 #constraints=9849 3.99/4.02 c nbDecision=23000 #constraints=9850 3.99/4.09 c nbDecision=23500 #constraints=9861 4.09/4.16 c nbDecision=24000 #constraints=9864 4.19/4.23 c nbDecision=24500 #constraints=9871 4.19/4.29 c nbDecision=25000 #constraints=9871 4.29/4.36 c nbDecision=25500 #constraints=9875 4.29/4.37 c restart after 25601 decisions 4.39/4.41 c nbDecision=26000 #constraints=9875 4.49/4.51 c nbDecision=26500 #constraints=9875 4.49/4.60 c nbDecision=27000 #constraints=9878 4.59/4.68 c nbDecision=27500 #constraints=9878 4.69/4.76 c nbDecision=28000 #constraints=9879 4.79/4.83 c nbDecision=28500 #constraints=9879 4.79/4.90 c nbDecision=29000 #constraints=9881 4.89/4.97 c nbDecision=29500 #constraints=9891 4.99/5.07 c nbDecision=30000 #constraints=9891 5.09/5.15 c nbDecision=30500 #constraints=9891 5.19/5.22 c nbDecision=31000 #constraints=9891 5.29/5.30 c nbDecision=31500 #constraints=9900 5.29/5.38 c nbDecision=32000 #constraints=9900 5.39/5.44 c nbDecision=32500 #constraints=9900 5.49/5.52 c nbDecision=33000 #constraints=9901 5.49/5.59 c nbDecision=33500 #constraints=9901 5.59/5.66 c nbDecision=34000 #constraints=9909 5.69/5.72 c nbDecision=34500 #constraints=9910 5.69/5.78 c nbDecision=35000 #constraints=9914 5.79/5.85 c nbDecision=35500 #constraints=9925 5.89/5.93 c nbDecision=36000 #constraints=9925 5.89/5.99 c nbDecision=36500 #constraints=9925 5.99/6.06 c nbDecision=37000 #constraints=9933 6.09/6.14 c nbDecision=37500 #constraints=9945 6.19/6.20 c nbDecision=38000 #constraints=9945 6.19/6.26 c nbDecision=38500 #constraints=9952 6.29/6.35 c nbDecision=39000 #constraints=9988 6.39/6.42 c nbDecision=39500 #constraints=9988 6.49/6.50 c nbDecision=40000 #constraints=10000 6.49/6.56 c nbDecision=40500 #constraints=10000 6.59/6.63 c nbDecision=41000 #constraints=10009 6.59/6.69 c nbDecision=41500 #constraints=10009 6.69/6.75 c nbDecision=42000 #constraints=10013 6.79/6.81 c nbDecision=42500 #constraints=10014 6.79/6.86 c nbDecision=43000 #constraints=10016 6.89/6.92 c nbDecision=43500 #constraints=10023 6.89/6.98 c nbDecision=44000 #constraints=10027 6.99/7.04 c nbDecision=44500 #constraints=10038 7.09/7.11 c nbDecision=45000 #constraints=10045 7.09/7.19 c nbDecision=45500 #constraints=10061 7.19/7.24 c nbDecision=46000 #constraints=10069 7.29/7.32 c nbDecision=46500 #constraints=10075 7.39/7.40 c nbDecision=47000 #constraints=10077 7.39/7.45 c nbDecision=47500 #constraints=10081 7.49/7.53 c nbDecision=48000 #constraints=10081 7.49/7.59 c nbDecision=48500 #constraints=10085 7.59/7.67 c nbDecision=49000 #constraints=10085 7.69/7.74 c nbDecision=49500 #constraints=10086 7.79/7.80 c nbDecision=50000 #constraints=10096 7.79/7.86 c nbDecision=50500 #constraints=10098 7.89/7.94 c nbDecision=51000 #constraints=10098 7.89/7.96 c restart after 51201 decisions 7.89/7.99 c nbDecision=51500 #constraints=10098 7.99/8.02 c nbDecision=52000 #constraints=10101 8.09/8.11 c nbDecision=52500 #constraints=10101 8.09/8.19 c nbDecision=53000 #constraints=10101 8.19/8.27 c nbDecision=53500 #constraints=10103 8.29/8.37 c nbDecision=54000 #constraints=10112 8.39/8.45 c nbDecision=54500 #constraints=10113 8.49/8.53 c nbDecision=55000 #constraints=10122 8.59/8.62 c nbDecision=55500 #constraints=10140 8.69/8.70 c nbDecision=56000 #constraints=10140 8.69/8.76 c nbDecision=56500 #constraints=10140 8.79/8.84 c nbDecision=57000 #constraints=10141 8.89/8.90 c nbDecision=57500 #constraints=10141 8.89/8.97 c nbDecision=58000 #constraints=10142 8.99/9.03 c nbDecision=58500 #constraints=10142 8.99/9.09 c nbDecision=59000 #constraints=10145 9.09/9.14 c nbDecision=59500 #constraints=10149 9.09/9.19 c nbDecision=60000 #constraints=10150 9.19/9.26 c nbDecision=60500 #constraints=10157 9.29/9.34 c nbDecision=61000 #constraints=10182 9.39/9.41 c nbDecision=61500 #constraints=10182 9.39/9.46 c nbDecision=62000 #constraints=10182 9.49/9.51 c nbDecision=62500 #constraints=10183 9.49/9.56 c nbDecision=63000 #constraints=10186 9.49/9.59 c nbDecision=63500 #constraints=10186 9.59/9.61 c nbDecision=64000 #constraints=10190 9.59/9.68 c nbDecision=64500 #constraints=10202 9.69/9.75 c nbDecision=65000 #constraints=10203 9.69/9.80 c nbDecision=65500 #constraints=10203 9.79/9.85 c nbDecision=66000 #constraints=10205 9.89/9.91 c nbDecision=66500 #constraints=10205 9.89/9.96 c nbDecision=67000 #constraints=10205 9.99/10.01 c nbDecision=67500 #constraints=10206 9.99/10.06 c nbDecision=68000 #constraints=10206 9.99/10.09 c nbDecision=68500 #constraints=10206 10.09/10.13 c nbDecision=69000 #constraints=10213 10.19/10.20 c nbDecision=69500 #constraints=10213 10.19/10.26 c nbDecision=70000 #constraints=10214 10.29/10.33 c nbDecision=70500 #constraints=10214 10.29/10.39 c nbDecision=71000 #constraints=10214 10.39/10.46 c nbDecision=71500 #constraints=10235 10.49/10.54 c nbDecision=72000 #constraints=10236 10.59/10.62 c nbDecision=72500 #constraints=10236 10.59/10.68 c nbDecision=73000 #constraints=10237 10.69/10.72 c nbDecision=73500 #constraints=10237 10.69/10.78 c nbDecision=74000 #constraints=10243 10.79/10.82 c nbDecision=74500 #constraints=10243 10.79/10.84 c nbDecision=75000 #constraints=10243 10.89/10.92 c nbDecision=75500 #constraints=10245 10.89/11.00 c nbDecision=76000 #constraints=10245 10.99/11.06 c nbDecision=76500 #constraints=10245 11.09/11.13 c nbDecision=77000 #constraints=10246 11.19/11.20 c nbDecision=77500 #constraints=10246 11.19/11.25 c nbDecision=78000 #constraints=10246 11.19/11.29 c nbDecision=78500 #constraints=10246 11.29/11.31 c nbDecision=79000 #constraints=10246 11.29/11.36 c nbDecision=79500 #constraints=10248 11.49/11.52 c nbDecision=80000 #constraints=10344 11.69/11.70 c nbDecision=80500 #constraints=10454 12.09/12.17 c nbDecision=81000 #constraints=10805 12.29/12.31 c nbDecision=81500 #constraints=10887 12.29/12.34 c nbDecision=82000 #constraints=10893 12.29/12.39 c nbDecision=82500 #constraints=10903 12.39/12.48 c nbDecision=83000 #constraints=10937 12.49/12.57 c nbDecision=83500 #constraints=10940 12.69/12.70 c nbDecision=84000 #constraints=10999 12.79/12.83 c nbDecision=84500 #constraints=11054 12.89/12.91 c nbDecision=85000 #constraints=11055 12.89/12.99 c nbDecision=85500 #constraints=11057 12.99/13.05 c nbDecision=86000 #constraints=11058 13.09/13.13 c nbDecision=86500 #constraints=11058 13.19/13.20 c nbDecision=87000 #constraints=11059 13.19/13.27 c nbDecision=87500 #constraints=11062 13.29/13.38 c nbDecision=88000 #constraints=11105 13.39/13.44 c nbDecision=88500 #constraints=11128 13.39/13.48 c nbDecision=89000 #constraints=11133 13.49/13.52 c nbDecision=89500 #constraints=11139 13.68/13.75 c nbDecision=90000 #constraints=11285 14.08/14.20 c nbDecision=90500 #constraints=11564 14.78/14.83 c nbDecision=91000 #constraints=11892 14.98/15.06 c nbDecision=91500 #constraints=12029 15.28/15.31 c nbDecision=92000 #constraints=12196 15.28/15.36 c nbDecision=92500 #constraints=12203 15.38/15.43 c nbDecision=93000 #constraints=12203 15.48/15.51 c nbDecision=93500 #constraints=12203 15.48/15.59 c nbDecision=94000 #constraints=12217 15.58/15.65 c nbDecision=94500 #constraints=12217 15.68/15.72 c nbDecision=95000 #constraints=12221 15.68/15.79 c nbDecision=95500 #constraints=12221 15.78/15.87 c nbDecision=96000 #constraints=12245 16.08/16.11 c nbDecision=96500 #constraints=12423 16.18/16.24 c nbDecision=97000 #constraints=12479 16.79/16.80 c nbDecision=97500 #constraints=12867 17.49/17.53 c nbDecision=98000 #constraints=13258 18.39/18.48 c nbDecision=98500 #constraints=13640 19.48/19.55 c nbDecision=99000 #constraints=14045 20.68/20.74 c nbDecision=99500 #constraints=14408 21.48/21.59 c nbDecision=100000 #constraints=14622 21.58/21.62 c nbDecision=100500 #constraints=14624 21.58/21.66 c nbDecision=101000 #constraints=14626 21.68/21.70 c nbDecision=101500 #constraints=14628 21.68/21.76 c nbDecision=102000 #constraints=14647 21.68/21.79 c restart after 102401 decisions 21.78/21.86 c nbDecision=102500 #constraints=14658 21.99/22.05 c nbDecision=103000 #constraints=14734 22.38/22.41 c nbDecision=103500 #constraints=14927 22.78/22.83 c nbDecision=104000 #constraints=15157 23.58/23.69 c nbDecision=104500 #constraints=15554 24.58/24.64 c nbDecision=105000 #constraints=15932 25.48/25.57 c nbDecision=105500 #constraints=16260 26.39/26.43 c nbDecision=106000 #constraints=16536 28.18/28.22 c nbDecision=106500 #constraints=16968 29.88/29.99 c nbDecision=107000 #constraints=17353 31.78/31.89 c nbDecision=107500 #constraints=17715 33.68/33.80 c nbDecision=108000 #constraints=18091 36.38/36.48 c nbDecision=108500 #constraints=18473 39.27/39.33 c nbDecision=109000 #constraints=18842 43.07/43.16 c nbDecision=109500 #constraints=19232 46.77/46.89 c nbDecision=110000 #constraints=19602 50.98/51.04 c nbDecision=110500 #constraints=19980 55.67/55.78 c nbDecision=111000 #constraints=20361 62.47/62.50 c nbDecision=111500 #constraints=20786 68.27/68.32 c nbDecision=112000 #constraints=21153 73.76/73.84 c nbDecision=112500 #constraints=21500 81.66/81.73 c nbDecision=113000 #constraints=21904 87.57/87.63 c nbDecision=113500 #constraints=22266 94.16/94.23 c nbDecision=114000 #constraints=22658 101.46/101.53 c nbDecision=114500 #constraints=23005 110.05/110.17 c nbDecision=115000 #constraints=23393 121.06/121.14 c nbDecision=115500 #constraints=23789 130.86/130.92 c nbDecision=116000 #constraints=24171 139.85/139.92 c nbDecision=116500 #constraints=24531 148.95/149.02 c nbDecision=117000 #constraints=24881 160.55/160.62 c nbDecision=117500 #constraints=25232 172.85/172.91 c nbDecision=118000 #constraints=25626 184.44/184.57 c nbDecision=118500 #constraints=26006 194.74/194.84 c nbDecision=119000 #constraints=26370 205.04/205.16 c nbDecision=119500 #constraints=26736 217.04/217.14 c nbDecision=120000 #constraints=27133 230.63/230.70 c nbDecision=120500 #constraints=27546 245.63/245.78 c nbDecision=121000 #constraints=27915 262.52/262.66 c nbDecision=121500 #constraints=28323 276.91/277.01 c nbDecision=122000 #constraints=28715 291.92/292.09 c nbDecision=122500 #constraints=29112 306.91/307.08 c nbDecision=123000 #constraints=29525 324.00/324.15 c nbDecision=123500 #constraints=29969 341.51/341.66 c nbDecision=124000 #constraints=30401 359.20/359.40 c nbDecision=124500 #constraints=30833 375.00/375.16 c nbDecision=125000 #constraints=31234 392.89/393.00 c nbDecision=125500 #constraints=31628 412.88/413.09 c nbDecision=126000 #constraints=32042 436.49/436.70 c nbDecision=126500 #constraints=32474 456.67/456.83 c nbDecision=127000 #constraints=32889 478.96/479.15 c nbDecision=127500 #constraints=33309 503.16/503.36 c nbDecision=128000 #constraints=33738 526.55/526.74 c nbDecision=128500 #constraints=34156 549.15/549.35 c nbDecision=129000 #constraints=34572 575.05/575.23 c nbDecision=129500 #constraints=35039 601.84/602.01 c nbDecision=130000 #constraints=35486 624.43/624.60 c nbDecision=130500 #constraints=35897 645.13/645.32 c nbDecision=131000 #constraints=36300 664.82/665.00 c nbDecision=131500 #constraints=36664 686.62/686.87 c nbDecision=132000 #constraints=37025 711.01/711.26 c nbDecision=132500 #constraints=37426 735.91/736.12 c nbDecision=133000 #constraints=37848 763.20/763.43 c nbDecision=133500 #constraints=38264 789.79/790.08 c nbDecision=134000 #constraints=38695 815.69/815.98 c nbDecision=134500 #constraints=39099 843.08/843.32 c nbDecision=135000 #constraints=39511 878.37/878.64 c nbDecision=135500 #constraints=39970 912.46/912.74 c nbDecision=136000 #constraints=40404 942.46/942.76 c nbDecision=136500 #constraints=40828 972.15/972.46 c nbDecision=137000 #constraints=41261 1006.64/1006.92 c nbDecision=137500 #constraints=41720 1040.83/1041.17 c nbDecision=138000 #constraints=42199 1064.72/1065.07 c nbDecision=138500 #constraints=42588 1089.42/1089.71 c nbDecision=139000 #constraints=42983 1114.51/1114.81 c nbDecision=139500 #constraints=43359 1142.20/1142.51 c nbDecision=140000 #constraints=43765 1167.89/1168.26 c nbDecision=140500 #constraints=44168 1196.39/1196.75 c nbDecision=141000 #constraints=44573 1224.18/1224.54 c nbDecision=141500 #constraints=44992 1252.78/1253.12 c nbDecision=142000 #constraints=45403 1281.37/1281.71 c nbDecision=142500 #constraints=45803 1311.46/1311.84 c nbDecision=143000 #constraints=46193 1345.15/1345.57 c nbDecision=143500 #constraints=46630 1380.24/1380.64 c nbDecision=144000 #constraints=47069 1414.53/1414.98 c nbDecision=144500 #constraints=47487 1453.63/1454.10 c nbDecision=145000 #constraints=47918 1488.92/1489.32 c nbDecision=145500 #constraints=48323 1520.41/1520.82 c nbDecision=146000 #constraints=48688 1554.19/1554.65 c nbDecision=146500 #constraints=49093 1590.42/1590.93 c nbDecision=147000 #constraints=49480 1633.09/1633.66 c nbDecision=147500 #constraints=49904 1669.59/1670.11 c nbDecision=148000 #constraints=50313 1710.07/1710.67 c nbDecision=148500 #constraints=50706 1749.67/1750.23 c nbDecision=149000 #constraints=51094 1786.06/1786.67 c nbDecision=149500 #constraints=51476 1800.06/1800.61 Received signal 15 1800.16/1800.71 1800.16/1800.71 s UNKNOWN 1800.16/1800.71 1800.16/1800.71 c user time= 1799.85 s 1800.16/1800.71 c system time= 0.328949 s 1800.16/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-420473-1177425307 -o ROOT/results/node4/solver-420473-1177425307 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420473-1177425307/instance-420473-1177425307.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.78 0.95 0.98 3/77 17472 /proc/meminfo: memFree=1900120/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=1468 CPUtime=0 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 218568434 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 367 163 130 317 0 46 0 [startup+0.0686941 s] /proc/loadavg: 0.78 0.95 0.98 3/77 17472 /proc/meminfo: memFree=1900120/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=2684 CPUtime=0.06 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 486 0 0 0 6 0 0 0 18 0 1 0 218568434 2748416 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 671 469 130 317 0 350 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2684 [startup+0.102697 s] /proc/loadavg: 0.78 0.95 0.98 3/77 17472 /proc/meminfo: memFree=1900120/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=3364 CPUtime=0.1 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 647 0 0 0 10 0 0 0 18 0 1 0 218568434 3444736 630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 841 630 130 317 0 520 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3364 [startup+0.302716 s] /proc/loadavg: 0.78 0.95 0.98 3/77 17472 /proc/meminfo: memFree=1900120/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=4908 CPUtime=0.29 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 1054 0 0 0 29 0 0 0 19 0 1 0 218568434 5025792 1037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 1227 1037 138 317 0 906 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4908 [startup+0.701754 s] /proc/loadavg: 0.78 0.95 0.98 3/77 17472 /proc/meminfo: memFree=1900120/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=5436 CPUtime=0.69 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 1180 0 0 0 69 0 0 0 23 0 1 0 218568434 5566464 1096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 1359 1096 139 317 0 1038 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5436 [startup+1.50183 s] /proc/loadavg: 0.78 0.95 0.98 2/78 17473 /proc/meminfo: memFree=1896080/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=5436 CPUtime=1.49 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 1180 0 0 0 149 0 0 0 25 0 1 0 218568434 5566464 1096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 1359 1096 139 317 0 1038 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5436 [startup+3.10198 s] /proc/loadavg: 0.78 0.95 0.98 2/78 17473 /proc/meminfo: memFree=1895952/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=5436 CPUtime=3.09 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 1180 0 0 0 309 0 0 0 25 0 1 0 218568434 5566464 1096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 1359 1096 139 317 0 1038 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5436 [startup+6.30129 s] /proc/loadavg: 0.80 0.95 0.98 2/78 17473 /proc/meminfo: memFree=1895888/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=5436 CPUtime=6.29 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 1180 0 0 0 629 0 0 0 25 0 1 0 218568434 5566464 1096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562648 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 1359 1096 139 317 0 1038 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5436 [startup+12.7019 s] /proc/loadavg: 0.81 0.95 0.98 2/78 17473 /proc/meminfo: memFree=1895696/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=5960 CPUtime=12.69 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 1297 0 0 0 1269 0 0 0 25 0 1 0 218568434 6103040 1213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 1490 1213 139 317 0 1169 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 5960 [startup+25.5011 s] /proc/loadavg: 0.85 0.95 0.98 2/78 17473 /proc/meminfo: memFree=1890768/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=10556 CPUtime=25.48 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 2513 0 0 0 2547 1 0 0 25 0 1 0 218568434 10809344 2429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 2639 2429 139 317 0 2318 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10556 [startup+51.1016 s] /proc/loadavg: 0.90 0.96 0.98 2/78 17473 /proc/meminfo: memFree=1886416/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=15368 CPUtime=51.08 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 3700 0 0 0 5105 3 0 0 25 0 1 0 218568434 15736832 3484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 3842 3484 139 317 0 3521 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 15368 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.98 2/78 17473 /proc/meminfo: memFree=1882896/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=19020 CPUtime=102.26 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 4564 0 0 0 10222 4 0 0 25 0 1 0 218568434 19476480 4348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 4755 4348 139 317 0 4434 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 19020 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1880080/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=21736 CPUtime=162.24 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 5245 0 0 0 16219 5 0 0 25 0 1 0 218568434 22257664 5029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 5434 5029 139 317 0 5113 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 21736 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1877584/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=24484 CPUtime=222.24 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 5862 0 0 0 22217 7 0 0 25 0 1 0 218568434 25071616 5646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 6121 5646 139 317 0 5800 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 24484 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1875600/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=26344 CPUtime=282.22 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 6350 0 0 0 28214 8 0 0 25 0 1 0 218568434 26976256 6134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 6586 6134 139 317 0 6265 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 26344 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1873424/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=28388 CPUtime=342.21 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 6868 0 0 0 34212 9 0 0 25 0 1 0 218568434 29069312 6652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 7097 6652 139 317 0 6776 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 28388 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1871440/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=30268 CPUtime=402.18 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 7349 0 0 0 40209 9 0 0 25 0 1 0 218568434 30994432 7133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 7567 7133 139 317 0 7246 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 30268 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1869904/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=31960 CPUtime=462.17 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 7755 0 0 0 46207 10 0 0 25 0 1 0 218568434 32727040 7506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 7990 7506 139 317 0 7669 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 31960 [startup+522.303 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1868432/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=33532 CPUtime=522.15 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 8176 0 0 0 52204 11 0 0 25 0 1 0 218568434 34336768 7861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 8383 7861 139 317 0 8062 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 33532 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1866832/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=35232 CPUtime=582.14 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 8613 0 0 0 58202 12 0 0 25 0 1 0 218568434 36077568 8232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 8808 8232 139 317 0 8487 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 35232 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1865296/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=36576 CPUtime=642.13 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 8964 0 0 0 64200 13 0 0 25 0 1 0 218568434 37453824 8583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 9144 8583 139 317 0 8823 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 36576 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1860240/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=42236 CPUtime=882.07 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 10481 0 0 0 88190 17 0 0 25 0 1 0 218568434 43249664 9805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 10559 9805 139 317 0 10238 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 42236 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1858896/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=43760 CPUtime=942.05 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 10786 0 0 0 94188 17 0 0 25 0 1 0 218568434 44810240 10110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 10940 10110 139 317 0 10619 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 43760 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1857616/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=45208 CPUtime=1002.04 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 11073 0 0 0 100186 18 0 0 25 0 1 0 218568434 46292992 10397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 11302 10397 139 317 0 10981 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 45208 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1856528/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=46396 CPUtime=1062.02 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 11369 0 0 0 106184 18 0 0 25 0 1 0 218568434 47509504 10660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 11599 10660 139 317 0 11278 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 46396 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1855440/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=47448 CPUtime=1122.01 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 11635 0 0 0 112182 19 0 0 25 0 1 0 218568434 48586752 10926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 11862 10926 139 317 0 11541 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 47448 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1854416/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=48228 CPUtime=1181.99 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 11879 0 0 0 118179 20 0 0 25 0 1 0 218568434 49385472 11170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 12057 11170 139 317 0 11736 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 48228 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1853072/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=49404 CPUtime=1241.97 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 12185 0 0 0 124177 20 0 0 25 0 1 0 218568434 50589696 11443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 12351 11443 139 317 0 12030 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 49404 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1852240/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=50308 CPUtime=1301.96 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 12449 0 0 0 130175 21 0 0 25 0 1 0 218568434 51515392 11674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 12577 11674 139 317 0 12256 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 50308 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 17473 /proc/meminfo: memFree=1851280/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=51244 CPUtime=1361.95 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 12693 0 0 0 136173 22 0 0 25 0 1 0 218568434 52473856 11918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 12811 11918 139 317 0 12490 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 51244 [startup+1422.31 s] /proc/loadavg: 1.04 0.99 0.99 2/78 17473 /proc/meminfo: memFree=1850256/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=52292 CPUtime=1421.94 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 12970 0 0 0 142171 23 0 0 25 0 1 0 218568434 53547008 12162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 13073 12162 139 317 0 12752 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 52292 [startup+1482.3 s] /proc/loadavg: 1.06 1.00 0.99 2/78 17473 /proc/meminfo: memFree=1849360/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=53392 CPUtime=1481.92 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 13204 0 0 0 148169 23 0 0 25 0 1 0 218568434 54673408 12396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 13348 12396 139 317 0 13027 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 53392 [startup+1542.3 s] /proc/loadavg: 1.06 1.01 1.00 2/78 17473 /proc/meminfo: memFree=1848464/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=54176 CPUtime=1541.9 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 13434 0 0 0 154166 24 0 0 25 0 1 0 218568434 55476224 12593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 13544 12593 139 317 0 13223 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 54176 [startup+1602.3 s] /proc/loadavg: 1.06 1.02 1.00 2/84 17647 /proc/meminfo: memFree=1846176/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=55276 CPUtime=1601.81 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 13698 0 0 0 160151 30 0 0 25 0 1 0 218568434 56602624 12791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 13819 12791 139 317 0 13498 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 55276 [startup+1662.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 17671 /proc/meminfo: memFree=1846544/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=55932 CPUtime=1661.79 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 13890 0 0 0 166148 31 0 0 25 0 1 0 218568434 57274368 12983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604173 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 13983 12983 139 317 0 13662 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 55932 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 17671 /proc/meminfo: memFree=1845776/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=56592 CPUtime=1721.77 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 14087 0 0 0 172146 31 0 0 25 0 1 0 218568434 57950208 13180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 14148 13180 139 317 0 13827 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 56592 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 17671 /proc/meminfo: memFree=1844944/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=57516 CPUtime=1781.76 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 14288 0 0 0 178144 32 0 0 25 0 1 0 218568434 58896384 13381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 14379 13381 139 317 0 14058 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 57516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17671 /proc/meminfo: memFree=1844688/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=57776 CPUtime=1800.06 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 14372 0 0 0 179974 32 0 0 25 0 1 0 218568434 59162624 13432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718446 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 14444 13432 139 317 0 14123 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 57776 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17671 /proc/meminfo: memFree=1844688/2055920 swapFree=4141060/4192956 [pid=17472] ppid=17470 vsize=57776 CPUtime=1800.16 /proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 14372 0 0 0 179984 32 0 0 25 0 1 0 218568434 59162624 13432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17472/statm: 14444 13432 139 317 0 14123 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 57776 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.19 CPU user time (s): 1799.85 CPU system time (s): 0.340948 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 57776 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.85 system time used= 0.340948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14388 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= 2893 runsolver used 1.37579 second user time and 4.03839 second system time The end
Begin job on node4 on Tue Apr 24 14:35:07 UTC 2007 IDJOB= 420473 IDBENCH= 47847 IDSOLVER= 172 FILE ID= node4/420473-1177425307 PBS_JOBID= 4675741 Free space on /tmp= 66477 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/sat-grid-pbl-0070.sat05-1334.reshuffled-07.opb COMMAND LINE= oree /tmp/evaluation/420473-1177425307/instance-420473-1177425307.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-420473-1177425307 -o ROOT/results/node4/solver-420473-1177425307 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420473-1177425307/instance-420473-1177425307.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= e6fa7dd6dacda5f2ff8523ce05dc4471 RANDOM SEED= 558873851 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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.218 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: 1900528 kB Buffers: 21336 kB Cached: 78156 kB SwapCached: 15564 kB Active: 72064 kB Inactive: 50592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1900528 kB SwapTotal: 4192956 kB SwapFree: 4141060 kB Dirty: 1900 kB Writeback: 0 kB Mapped: 29312 kB Slab: 18224 kB Committed_AS: 6271648 kB PageTables: 1816 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= 66477 MiB End job on node4 on Tue Apr 24 15:05:10 UTC 2007