Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 882 | 1800.25 | 1801.03 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-mux.opb |
MD5SUM | 80d8f8438bdd117e32edd926d4898421 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 872 |
Best CPU time to get the best result obtained on this benchmark | 0.028994 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 872 |
Optimality of the best value was proved | YES |
Number of variables | 232 |
Total number of constraints | 527 |
Number of constraints which are clauses | 527 |
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 | 2 |
Maximum length of a constraint | 27 |
Number of terms in the objective function | 232 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 9597 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 9597 |
Number of bits of the biggest sum of numbers | 14 |
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.00/0.00 c ...done 0.00/0.00 c #vars=232 #constraints=528 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.00/0.01 c nbDecision=91 #constraints=530 0.00/0.01 c linear search for optimum 0.00/0.01 o 1190 0.00/0.01 c nbDecision=101 #constraints=532 0.00/0.01 o 1068 0.00/0.02 c nbDecision=125 #constraints=541 0.00/0.02 o 1010 0.00/0.02 c nbDecision=162 #constraints=554 0.00/0.02 o 1004 0.00/0.02 c nbDecision=197 #constraints=564 0.00/0.02 o 946 0.00/0.04 c nbDecision=302 #constraints=592 0.00/0.04 o 882 0.00/0.06 c restart after 401 decisions 0.06/0.07 c nbDecision=500 #constraints=640 0.09/0.11 c restart after 801 decisions 0.09/0.14 c nbDecision=1000 #constraints=750 0.19/0.24 c nbDecision=1500 #constraints=902 0.19/0.27 c restart after 1601 decisions 0.29/0.36 c nbDecision=2000 #constraints=1036 0.39/0.46 c nbDecision=2500 #constraints=1157 0.49/0.58 c nbDecision=3000 #constraints=1274 0.59/0.64 c restart after 3201 decisions 0.69/0.73 c nbDecision=3500 #constraints=1391 0.79/0.87 c nbDecision=4000 #constraints=1501 1.00/1.07 c nbDecision=4500 #constraints=1631 1.19/1.26 c nbDecision=5000 #constraints=1749 1.39/1.47 c nbDecision=5500 #constraints=1865 1.69/1.75 c nbDecision=6000 #constraints=1998 1.99/2.00 c restart after 6401 decisions 1.99/2.07 c nbDecision=6500 #constraints=2112 2.39/2.44 c nbDecision=7000 #constraints=2243 2.69/2.78 c nbDecision=7500 #constraints=2354 3.08/3.15 c nbDecision=8000 #constraints=2468 3.49/3.52 c nbDecision=8500 #constraints=2584 3.89/3.95 c nbDecision=9000 #constraints=2702 4.30/4.40 c nbDecision=9500 #constraints=2806 4.79/4.87 c nbDecision=10000 #constraints=2929 5.29/5.39 c nbDecision=10500 #constraints=3048 5.89/5.96 c nbDecision=11000 #constraints=3172 6.59/6.65 c nbDecision=11500 #constraints=3295 7.38/7.41 c nbDecision=12000 #constraints=3427 8.19/8.27 c nbDecision=12500 #constraints=3550 8.79/8.83 c restart after 12801 decisions 9.09/9.17 c nbDecision=13000 #constraints=3655 9.89/9.92 c nbDecision=13500 #constraints=3770 10.79/10.85 c nbDecision=14000 #constraints=3893 11.59/11.64 c nbDecision=14500 #constraints=3999 12.79/12.85 c nbDecision=15000 #constraints=4120 13.79/13.89 c nbDecision=15500 #constraints=4233 14.99/15.10 c nbDecision=16000 #constraints=4357 16.28/16.30 c nbDecision=16500 #constraints=4477 17.68/17.77 c nbDecision=17000 #constraints=4615 19.18/19.28 c nbDecision=17500 #constraints=4736 20.78/20.86 c nbDecision=18000 #constraints=4872 22.49/22.54 c nbDecision=18500 #constraints=5000 24.38/24.49 c nbDecision=19000 #constraints=5146 26.48/26.54 c nbDecision=19500 #constraints=5290 28.38/28.48 c nbDecision=20000 #constraints=5417 29.98/30.03 c nbDecision=20500 #constraints=5532 31.78/31.86 c nbDecision=21000 #constraints=5655 33.78/33.81 c nbDecision=21500 #constraints=5779 35.97/36.03 c nbDecision=22000 #constraints=5909 38.27/38.37 c nbDecision=22500 #constraints=6040 40.17/40.23 c nbDecision=23000 #constraints=6163 42.77/42.90 c nbDecision=23500 #constraints=6313 45.98/46.05 c nbDecision=24000 #constraints=6477 48.38/48.48 c nbDecision=24500 #constraints=6603 50.97/51.07 c nbDecision=25000 #constraints=6713 54.07/54.18 c nbDecision=25500 #constraints=6857 54.87/54.96 c restart after 25601 decisions 57.17/57.27 c nbDecision=26000 #constraints=6980 60.37/60.49 c nbDecision=26500 #constraints=7134 63.47/63.54 c nbDecision=27000 #constraints=7259 66.77/66.89 c nbDecision=27500 #constraints=7409 69.97/70.07 c nbDecision=28000 #constraints=7552 73.76/73.89 c nbDecision=28500 #constraints=7690 77.46/77.54 c nbDecision=29000 #constraints=7823 80.46/80.57 c nbDecision=29500 #constraints=7955 84.16/84.20 c nbDecision=30000 #constraints=8091 87.36/87.45 c nbDecision=30500 #constraints=8220 90.56/90.67 c nbDecision=31000 #constraints=8346 93.96/94.07 c nbDecision=31500 #constraints=8462 97.46/97.57 c nbDecision=32000 #constraints=8595 101.06/101.14 c nbDecision=32500 #constraints=8727 104.75/104.82 c nbDecision=33000 #constraints=8870 108.25/108.30 c nbDecision=33500 #constraints=8986 111.86/111.96 c nbDecision=34000 #constraints=9121 115.85/115.91 c nbDecision=34500 #constraints=9271 120.15/120.25 c nbDecision=35000 #constraints=9401 124.95/125.03 c nbDecision=35500 #constraints=9538 128.65/128.79 c nbDecision=36000 #constraints=9673 132.54/132.67 c nbDecision=36500 #constraints=9794 136.54/136.69 c nbDecision=37000 #constraints=9927 140.54/140.67 c nbDecision=37500 #constraints=10053 144.94/145.02 c nbDecision=38000 #constraints=10180 149.44/149.55 c nbDecision=38500 #constraints=10309 154.64/154.72 c nbDecision=39000 #constraints=10450 159.44/159.50 c nbDecision=39500 #constraints=10578 165.03/165.12 c nbDecision=40000 #constraints=10729 170.33/170.45 c nbDecision=40500 #constraints=10867 175.43/175.50 c nbDecision=41000 #constraints=10994 180.33/180.42 c nbDecision=41500 #constraints=11131 186.73/186.88 c nbDecision=42000 #constraints=11281 191.62/191.78 c nbDecision=42500 #constraints=11422 198.02/198.17 c nbDecision=43000 #constraints=11573 205.12/205.28 c nbDecision=43500 #constraints=11737 210.31/210.45 c nbDecision=44000 #constraints=11862 215.42/215.51 c nbDecision=44500 #constraints=11987 221.31/221.43 c nbDecision=45000 #constraints=12137 227.01/227.15 c nbDecision=45500 #constraints=12269 232.21/232.36 c nbDecision=46000 #constraints=12410 238.61/238.77 c nbDecision=46500 #constraints=12561 245.71/245.83 c nbDecision=47000 #constraints=12723 252.60/252.78 c nbDecision=47500 #constraints=12873 257.50/257.64 c nbDecision=48000 #constraints=12994 264.00/264.12 c nbDecision=48500 #constraints=13128 268.10/268.24 c nbDecision=49000 #constraints=13251 272.70/272.88 c nbDecision=49500 #constraints=13362 277.00/277.18 c nbDecision=50000 #constraints=13481 282.89/283.05 c nbDecision=50500 #constraints=13600 288.89/289.04 c nbDecision=51000 #constraints=13728 291.59/291.70 c restart after 51201 decisions 294.29/294.40 c nbDecision=51500 #constraints=13827 298.79/298.98 c nbDecision=52000 #constraints=13950 303.68/303.89 c nbDecision=52500 #constraints=14068 308.48/308.69 c nbDecision=53000 #constraints=14184 314.58/314.73 c nbDecision=53500 #constraints=14300 321.38/321.52 c nbDecision=54000 #constraints=14433 327.27/327.41 c nbDecision=54500 #constraints=14558 332.98/333.16 c nbDecision=55000 #constraints=14689 339.47/339.62 c nbDecision=55500 #constraints=14819 345.67/345.85 c nbDecision=56000 #constraints=14957 351.77/351.93 c nbDecision=56500 #constraints=15084 359.47/359.68 c nbDecision=57000 #constraints=15224 366.36/366.54 c nbDecision=57500 #constraints=15353 373.37/373.58 c nbDecision=58000 #constraints=15481 381.06/381.29 c nbDecision=58500 #constraints=15610 387.46/387.62 c nbDecision=59000 #constraints=15729 394.15/394.36 c nbDecision=59500 #constraints=15868 401.95/402.13 c nbDecision=60000 #constraints=16013 409.44/409.67 c nbDecision=60500 #constraints=16150 417.54/417.75 c nbDecision=61000 #constraints=16285 426.05/426.20 c nbDecision=61500 #constraints=16432 434.94/435.14 c nbDecision=62000 #constraints=16573 441.14/441.31 c nbDecision=62500 #constraints=16688 448.14/448.38 c nbDecision=63000 #constraints=16828 455.73/455.91 c nbDecision=63500 #constraints=16961 463.73/463.98 c nbDecision=64000 #constraints=17100 472.23/472.48 c nbDecision=64500 #constraints=17238 480.13/480.39 c nbDecision=65000 #constraints=17371 488.92/489.13 c nbDecision=65500 #constraints=17509 496.92/497.19 c nbDecision=66000 #constraints=17641 504.52/504.72 c nbDecision=66500 #constraints=17765 514.11/514.32 c nbDecision=67000 #constraints=17910 523.11/523.35 c nbDecision=67500 #constraints=18055 532.91/533.11 c nbDecision=68000 #constraints=18201 544.31/544.55 c nbDecision=68500 #constraints=18369 555.10/555.36 c nbDecision=69000 #constraints=18526 567.59/567.85 c nbDecision=69500 #constraints=18698 580.09/580.39 c nbDecision=70000 #constraints=18855 588.49/588.70 c nbDecision=70500 #constraints=19027 597.69/597.98 c nbDecision=71000 #constraints=19190 606.38/606.69 c nbDecision=71500 #constraints=19332 616.18/616.44 c nbDecision=72000 #constraints=19493 627.17/627.40 c nbDecision=72500 #constraints=19643 635.37/635.63 c nbDecision=73000 #constraints=19785 644.16/644.47 c nbDecision=73500 #constraints=19930 652.57/652.87 c nbDecision=74000 #constraints=20066 660.77/661.07 c nbDecision=74500 #constraints=20192 669.26/669.51 c nbDecision=75000 #constraints=20345 677.85/678.14 c nbDecision=75500 #constraints=20498 686.05/686.36 c nbDecision=76000 #constraints=20642 695.05/695.32 c nbDecision=76500 #constraints=20781 703.45/703.80 c nbDecision=77000 #constraints=20910 713.14/713.43 c nbDecision=77500 #constraints=21054 722.44/722.80 c nbDecision=78000 #constraints=21190 731.73/732.00 c nbDecision=78500 #constraints=21334 742.63/742.91 c nbDecision=79000 #constraints=21468 752.53/752.87 c nbDecision=79500 #constraints=21599 761.23/761.57 c nbDecision=80000 #constraints=21743 770.12/770.45 c nbDecision=80500 #constraints=21868 778.82/779.18 c nbDecision=81000 #constraints=21999 787.62/787.91 c nbDecision=81500 #constraints=22123 798.12/798.40 c nbDecision=82000 #constraints=22253 805.92/806.29 c nbDecision=82500 #constraints=22366 815.81/816.15 c nbDecision=83000 #constraints=22529 825.01/825.35 c nbDecision=83500 #constraints=22677 834.91/835.24 c nbDecision=84000 #constraints=22826 844.30/844.68 c nbDecision=84500 #constraints=22962 853.59/853.96 c nbDecision=85000 #constraints=23091 863.69/864.05 c nbDecision=85500 #constraints=23228 874.49/874.80 c nbDecision=86000 #constraints=23372 884.59/884.92 c nbDecision=86500 #constraints=23510 896.98/897.32 c nbDecision=87000 #constraints=23649 907.98/908.30 c nbDecision=87500 #constraints=23782 917.17/917.59 c nbDecision=88000 #constraints=23924 927.07/927.45 c nbDecision=88500 #constraints=24053 937.36/937.72 c nbDecision=89000 #constraints=24190 947.67/948.09 c nbDecision=89500 #constraints=24324 959.76/960.16 c nbDecision=90000 #constraints=24459 969.36/969.70 c nbDecision=90500 #constraints=24577 981.75/982.12 c nbDecision=91000 #constraints=24729 992.95/993.32 c nbDecision=91500 #constraints=24880 1005.54/1005.98 c nbDecision=92000 #constraints=25038 1016.94/1017.35 c nbDecision=92500 #constraints=25183 1029.44/1029.83 c nbDecision=93000 #constraints=25320 1042.73/1043.12 c nbDecision=93500 #constraints=25464 1053.13/1053.52 c nbDecision=94000 #constraints=25586 1066.42/1066.85 c nbDecision=94500 #constraints=25731 1078.42/1078.85 c nbDecision=95000 #constraints=25869 1091.62/1092.08 c nbDecision=95500 #constraints=26018 1103.71/1104.10 c nbDecision=96000 #constraints=26158 1117.81/1118.30 c nbDecision=96500 #constraints=26296 1130.60/1131.00 c nbDecision=97000 #constraints=26431 1143.61/1144.08 c nbDecision=97500 #constraints=26564 1155.19/1155.66 c nbDecision=98000 #constraints=26696 1166.59/1167.01 c nbDecision=98500 #constraints=26827 1179.18/1179.67 c nbDecision=99000 #constraints=26972 1190.88/1191.38 c nbDecision=99500 #constraints=27100 1203.07/1203.59 c nbDecision=100000 #constraints=27230 1215.07/1215.53 c nbDecision=100500 #constraints=27354 1227.87/1228.32 c nbDecision=101000 #constraints=27493 1242.57/1243.01 c nbDecision=101500 #constraints=27636 1253.36/1253.81 c nbDecision=102000 #constraints=27737 1262.45/1262.93 c restart after 102401 decisions 1265.05/1265.58 c nbDecision=102500 #constraints=27859 1279.15/1279.67 c nbDecision=103000 #constraints=28007 1292.65/1293.19 c nbDecision=103500 #constraints=28151 1307.24/1307.71 c nbDecision=104000 #constraints=28298 1319.33/1319.89 c nbDecision=104500 #constraints=28420 1333.43/1333.95 c nbDecision=105000 #constraints=28547 1347.23/1347.73 c nbDecision=105500 #constraints=28701 1361.32/1361.84 c nbDecision=106000 #constraints=28858 1376.01/1376.58 c nbDecision=106500 #constraints=29019 1390.92/1391.42 c nbDecision=107000 #constraints=29166 1406.70/1407.28 c nbDecision=107500 #constraints=29312 1420.65/1421.26 c nbDecision=108000 #constraints=29450 1436.42/1437.06 c nbDecision=108500 #constraints=29606 1451.31/1451.92 c nbDecision=109000 #constraints=29747 1468.28/1468.95 c nbDecision=109500 #constraints=29917 1484.98/1485.60 c nbDecision=110000 #constraints=30064 1502.28/1502.90 c nbDecision=110500 #constraints=30209 1515.97/1516.63 c nbDecision=111000 #constraints=30344 1530.16/1530.83 c nbDecision=111500 #constraints=30492 1544.77/1545.43 c nbDecision=112000 #constraints=30642 1558.16/1558.83 c nbDecision=112500 #constraints=30773 1573.25/1573.98 c nbDecision=113000 #constraints=30917 1587.34/1588.04 c nbDecision=113500 #constraints=31055 1602.74/1603.45 c nbDecision=114000 #constraints=31204 1619.74/1620.50 c nbDecision=114500 #constraints=31347 1635.13/1635.81 c nbDecision=115000 #constraints=31473 1650.33/1651.08 c nbDecision=115500 #constraints=31634 1666.82/1667.50 c nbDecision=116000 #constraints=31799 1682.41/1683.10 c nbDecision=116500 #constraints=31958 1699.00/1699.79 c nbDecision=117000 #constraints=32106 1714.81/1715.55 c nbDecision=117500 #constraints=32242 1732.60/1733.35 c nbDecision=118000 #constraints=32400 1749.59/1750.32 c nbDecision=118500 #constraints=32558 1767.89/1768.62 c nbDecision=119000 #constraints=32728 1786.08/1786.82 c nbDecision=119500 #constraints=32873 1800.07/1800.80 Received signal 15 1800.17/1800.93 1800.17/1800.93 s SATISFIABLE 1800.17/1800.93 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.17/1800.93 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.17/1800.93 v -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 -x63 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1800.17/1800.93 v x82 x83 x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 x102 x103 -x104 -x105 -x106 -x107 1800.17/1800.93 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.17/1800.93 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.17/1800.93 v -x150 -x151 x152 x153 x154 x155 x156 x157 x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.17/1800.93 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.17/1800.93 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.17/1800.93 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1800.17/1800.93 1800.17/1800.93 c user time= 1799.82 s 1800.17/1800.93 c system time= 0.399939 s 1800.17/1800.93 c wall clock time=1800.94
OK 882
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-363686-1176986256 -o ROOT/results/node38/solver-363686-1176986256 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363686-1176986256/instance-363686-1176986256.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.99 1.01 3/77 30423 /proc/meminfo: memFree=1465048/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=1468 CPUtime=0 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 130792259 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 367 165 130 317 0 46 0 [startup+0.062518 s] /proc/loadavg: 0.92 0.99 1.01 3/77 30423 /proc/meminfo: memFree=1465048/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=2004 CPUtime=0.06 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 341 0 0 0 6 0 0 0 18 0 1 0 130792259 2052096 323 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 501 323 170 317 0 180 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2004 [startup+0.101526 s] /proc/loadavg: 0.92 0.99 1.01 3/77 30423 /proc/meminfo: memFree=1465048/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=2136 CPUtime=0.09 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 396 0 0 0 9 0 0 0 18 0 1 0 130792259 2187264 378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 534 378 170 317 0 213 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2136 [startup+0.301564 s] /proc/loadavg: 0.92 0.99 1.01 3/77 30423 /proc/meminfo: memFree=1465048/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=3192 CPUtime=0.29 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 648 0 0 0 29 0 0 0 19 0 1 0 130792259 3268608 630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 798 630 170 317 0 477 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3192 [startup+0.701641 s] /proc/loadavg: 0.92 0.99 1.01 3/77 30423 /proc/meminfo: memFree=1465048/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=4520 CPUtime=0.69 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 980 0 0 0 69 0 0 0 23 0 1 0 130792259 4628480 962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 1130 962 170 317 0 809 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4520 [startup+1.5018 s] /proc/loadavg: 0.92 0.99 1.01 2/78 30424 /proc/meminfo: memFree=1461008/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=6364 CPUtime=1.49 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 1423 0 0 0 149 0 0 0 25 0 1 0 130792259 6516736 1405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 1591 1405 170 317 0 1270 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6364 [startup+3.1011 s] /proc/loadavg: 0.93 0.99 1.01 2/78 30424 /proc/meminfo: memFree=1458960/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=8452 CPUtime=3.08 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 1924 0 0 0 308 0 0 0 25 0 1 0 130792259 8654848 1906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 2113 1906 170 317 0 1792 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8452 [startup+6.30172 s] /proc/loadavg: 0.93 0.99 1.01 2/78 30424 /proc/meminfo: memFree=1455824/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=11136 CPUtime=6.29 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 2584 0 0 0 628 1 0 0 25 0 1 0 130792259 11403264 2566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 2784 2566 170 317 0 2463 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11136 [startup+12.7029 s] /proc/loadavg: 0.94 0.99 1.01 2/78 30424 /proc/meminfo: memFree=1452448/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=14344 CPUtime=12.69 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 3354 0 0 0 1267 2 0 0 25 0 1 0 130792259 14688256 3336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 3586 3336 170 317 0 3265 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14344 [startup+25.5014 s] /proc/loadavg: 0.95 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1448352/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=18568 CPUtime=25.48 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 4321 0 0 0 2545 3 0 0 25 0 1 0 130792259 19013632 4303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 4642 4303 170 317 0 4321 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18568 [startup+51.1013 s] /proc/loadavg: 0.96 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1443168/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=23960 CPUtime=51.07 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 5640 0 0 0 5103 4 0 0 25 0 1 0 130792259 24535040 5622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 5990 5622 170 317 0 5669 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23960 [startup+102.305 s] /proc/loadavg: 0.98 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1435488/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=32368 CPUtime=102.26 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 7599 0 0 0 10220 6 0 0 25 0 1 0 130792259 33144832 7524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 8092 7524 170 317 0 7771 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32368 [startup+162.302 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1428704/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=39416 CPUtime=162.23 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 9296 0 0 0 16215 8 0 0 25 0 1 0 130792259 40361984 9221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563609 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 9854 9221 170 317 0 9533 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 39416 [startup+222.301 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1423584/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=45008 CPUtime=222.21 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 10570 0 0 0 22212 9 0 0 25 0 1 0 130792259 46088192 10495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 11252 10495 170 317 0 10931 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 45008 [startup+282.302 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1419040/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=49552 CPUtime=282.19 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 11715 0 0 0 28208 11 0 0 25 0 1 0 130792259 50741248 11640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 12388 11640 170 317 0 12067 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 49552 [startup+342.301 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1414816/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=53804 CPUtime=342.17 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 12757 0 0 0 34205 12 0 0 25 0 1 0 130792259 55095296 12682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 13451 12682 170 317 0 13130 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 53804 [startup+402.302 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1410912/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=58088 CPUtime=402.15 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 13760 0 0 0 40202 13 0 0 25 0 1 0 130792259 59482112 13685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 14522 13685 170 317 0 14201 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 58088 [startup+462.301 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1406880/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=63636 CPUtime=462.13 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 15065 0 0 0 46199 14 0 0 25 0 1 0 130792259 65163264 14646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 15909 14646 170 317 0 15588 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 63636 [startup+522.302 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1403616/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=67388 CPUtime=522.11 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 15917 0 0 0 52196 15 0 0 25 0 1 0 130792259 69005312 15498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 16847 15498 170 317 0 16526 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 67388 [startup+582.301 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1400736/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=70144 CPUtime=582.09 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 16639 0 0 0 58192 17 0 0 25 0 1 0 130792259 71827456 16220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 17536 16220 170 317 0 17215 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 70144 [startup+642.302 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1396832/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=73952 CPUtime=642.07 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 17677 0 0 0 64190 17 0 0 25 0 1 0 130792259 75726848 17192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 18488 17192 170 317 0 18167 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 73952 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1382560/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=89056 CPUtime=881.99 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 21667 0 0 0 88176 23 0 0 25 0 1 0 130792259 91193344 20786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 22264 20786 170 317 0 21943 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 89056 [startup+942.302 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1379616/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=92380 CPUtime=941.96 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 22560 0 0 0 94173 23 0 0 25 0 1 0 130792259 94597120 21547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 23095 21547 170 317 0 22774 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 92380 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1376480/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=95960 CPUtime=1001.94 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 23432 0 0 0 100170 24 0 0 25 0 1 0 130792259 98263040 22320 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 23990 22320 170 317 0 23669 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 95960 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1373600/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=98584 CPUtime=1061.92 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 24199 0 0 0 106167 25 0 0 25 0 1 0 130792259 100950016 23054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 24646 23054 170 317 0 24325 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 98584 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1370720/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=101540 CPUtime=1121.9 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 25033 0 0 0 112164 26 0 0 25 0 1 0 130792259 103976960 23756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 25385 23756 170 317 0 25064 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 101540 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1368032/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=104812 CPUtime=1181.88 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 25871 0 0 0 118161 27 0 0 25 0 1 0 130792259 107327488 24429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 26203 24429 170 317 0 25882 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 104812 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 1.00 3/78 30424 /proc/meminfo: memFree=1365664/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=107820 CPUtime=1241.86 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 26648 0 0 0 124158 28 0 0 25 0 1 0 130792259 110407680 25041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 26955 25041 170 317 0 26634 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 107820 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1363104/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=110316 CPUtime=1301.84 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 27356 0 0 0 130155 29 0 0 25 0 1 0 130792259 112963584 25683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 27579 25683 170 317 0 27258 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 110316 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30424 /proc/meminfo: memFree=1360480/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=113592 CPUtime=1361.82 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 28201 0 0 0 136152 30 0 0 25 0 1 0 130792259 116318208 26330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 28398 26330 170 317 0 28077 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 113592 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 1.00 2/84 30532 /proc/meminfo: memFree=1356896/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=115700 CPUtime=1421.75 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 28816 0 0 0 142143 32 0 0 25 0 1 0 130792259 118476800 26945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 28925 26945 170 317 0 28604 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 115700 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30622 /proc/meminfo: memFree=1355808/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=117936 CPUtime=1481.68 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 29437 0 0 0 148135 33 0 0 25 0 1 0 130792259 120766464 27533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 29484 27533 170 317 0 29163 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 117936 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30622 /proc/meminfo: memFree=1353376/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=120556 CPUtime=1541.66 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 30166 0 0 0 154132 34 0 0 25 0 1 0 130792259 123449344 28130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 30139 28130 170 317 0 29818 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 120556 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30622 /proc/meminfo: memFree=1350944/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=122692 CPUtime=1601.65 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 30763 0 0 0 160129 36 0 0 25 0 1 0 130792259 125636608 28727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 30673 28727 170 317 0 30352 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 122692 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30622 /proc/meminfo: memFree=1348704/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=124796 CPUtime=1661.63 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 31386 0 0 0 166126 37 0 0 25 0 1 0 130792259 127791104 29317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 31199 29317 170 317 0 30878 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 124796 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30622 /proc/meminfo: memFree=1346400/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=127056 CPUtime=1721.6 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 31992 0 0 0 172122 38 0 0 25 0 1 0 130792259 130105344 29923 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 31764 29923 170 317 0 31443 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 127056 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30622 /proc/meminfo: memFree=1344032/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=129808 CPUtime=1781.58 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 32737 0 0 0 178119 39 0 0 25 0 1 0 130792259 132923392 30503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718670 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 32452 30503 170 317 0 32131 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 129808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30622 /proc/meminfo: memFree=1342496/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=132024 CPUtime=1800.07 /proc/30423/stat : 30423 (oree) R 30421 30423 29230 0 -1 4194304 33297 0 0 0 179968 39 0 0 25 0 1 0 130792259 135192576 30838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30423/statm: 33006 30838 170 317 0 32685 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 132024 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.99 1.00 2/78 30622 /proc/meminfo: memFree=1342496/2055920 swapFree=4159716/4192956 [pid=30423] ppid=30421 vsize=0 CPUtime=1800.24 /proc/30423/stat : 30423 (oree) D 30421 30423 29230 0 -1 4194308 33313 0 0 0 179982 42 0 0 25 0 1 0 130792259 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 18446744072100051646 0 0 17 1 0 0 /proc/30423/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.03 CPU time (s): 1800.25 CPU user time (s): 1799.82 CPU system time (s): 0.421935 CPU usage (%): 99.9564 Max. virtual memory (cumulated for all children) (KiB): 132024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.82 system time used= 0.421935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33313 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= 3381 runsolver used 1.9527 second user time and 4.6233 second system time The end
Begin job on node38 on Thu Apr 19 12:37:36 UTC 2007 IDJOB= 363686 IDBENCH= 2016 IDSOLVER= 172 FILE ID= node38/363686-1176986256 PBS_JOBID= 4630392 Free space on /tmp= 66242 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-mux.opb COMMAND LINE= oree /tmp/evaluation/363686-1176986256/instance-363686-1176986256.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-363686-1176986256 -o ROOT/results/node38/solver-363686-1176986256 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363686-1176986256/instance-363686-1176986256.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 80d8f8438bdd117e32edd926d4898421 RANDOM SEED= 637668501 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1465456 kB Buffers: 46820 kB Cached: 446208 kB SwapCached: 3100 kB Active: 88772 kB Inactive: 435016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1465456 kB SwapTotal: 4192956 kB SwapFree: 4159716 kB Dirty: 1432 kB Writeback: 0 kB Mapped: 38996 kB Slab: 51812 kB Committed_AS: 1541260 kB PageTables: 2060 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= 66242 MiB End job on node38 on Thu Apr 19 13:07:39 UTC 2007