Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 1053 | 1800.26 | 1801.06 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb |
MD5SUM | 8aa1aebf70d33d96463ba96014c98682 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1053 |
Best CPU time to get the best result obtained on this benchmark | 0.096984 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1053 |
Optimality of the best value was proved | YES |
Number of variables | 304 |
Total number of constraints | 671 |
Number of constraints which are clauses | 671 |
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 | 28 |
Number of terms in the objective function | 304 |
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 | 12887 |
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 | 12887 |
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.01 c ...done 0.00/0.01 c #vars=304 #constraints=672 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=131 #constraints=675 0.00/0.01 c linear search for optimum 0.00/0.01 o 1065 0.00/0.02 c nbDecision=137 #constraints=678 0.00/0.02 o 1057 0.06/0.09 c restart after 401 decisions 0.06/0.09 c nbDecision=500 #constraints=770 0.09/0.14 c restart after 801 decisions 0.09/0.17 c nbDecision=1000 #constraints=849 0.29/0.34 c nbDecision=1500 #constraints=1012 0.29/0.36 c restart after 1601 decisions 0.39/0.46 c nbDecision=2000 #constraints=1098 0.59/0.62 c nbDecision=2500 #constraints=1215 0.79/0.82 c nbDecision=3000 #constraints=1370 0.79/0.88 c restart after 3201 decisions 0.89/0.99 c nbDecision=3500 #constraints=1462 1.10/1.20 c nbDecision=4000 #constraints=1578 1.49/1.57 c nbDecision=4500 #constraints=1791 1.79/1.86 c nbDecision=5000 #constraints=1936 2.09/2.14 c nbDecision=5500 #constraints=2052 2.49/2.57 c nbDecision=6000 #constraints=2256 2.79/2.84 c restart after 6401 decisions 2.89/2.93 c nbDecision=6500 #constraints=2352 3.39/3.45 c nbDecision=7000 #constraints=2556 3.79/3.86 c nbDecision=7500 #constraints=2674 4.29/4.39 c nbDecision=8000 #constraints=2821 4.89/4.98 c nbDecision=8500 #constraints=2950 5.59/5.60 c nbDecision=9000 #constraints=3100 6.09/6.12 c nbDecision=9500 #constraints=3197 6.98/7.08 c nbDecision=10000 #constraints=3393 7.78/7.84 c nbDecision=10500 #constraints=3515 8.58/8.66 c nbDecision=11000 #constraints=3641 9.59/9.60 c nbDecision=11500 #constraints=3762 10.79/10.84 c nbDecision=12000 #constraints=3956 11.69/11.77 c nbDecision=12500 #constraints=4074 12.68/12.73 c restart after 12801 decisions 13.28/13.32 c nbDecision=13000 #constraints=4233 14.58/14.65 c nbDecision=13500 #constraints=4395 16.08/16.19 c nbDecision=14000 #constraints=4554 17.99/18.00 c nbDecision=14500 #constraints=4781 19.79/19.83 c nbDecision=15000 #constraints=4941 21.78/21.86 c nbDecision=15500 #constraints=5088 23.98/24.07 c nbDecision=16000 #constraints=5308 26.18/26.26 c nbDecision=16500 #constraints=5453 28.68/28.79 c nbDecision=17000 #constraints=5666 31.08/31.10 c nbDecision=17500 #constraints=5821 33.98/34.03 c nbDecision=18000 #constraints=6004 36.97/37.06 c nbDecision=18500 #constraints=6194 40.57/40.62 c nbDecision=19000 #constraints=6389 42.48/42.58 c nbDecision=19500 #constraints=6502 44.68/44.70 c nbDecision=20000 #constraints=6641 46.87/46.99 c nbDecision=20500 #constraints=6767 49.57/49.61 c nbDecision=21000 #constraints=6903 52.17/52.20 c nbDecision=21500 #constraints=7042 54.67/54.76 c nbDecision=22000 #constraints=7174 57.77/57.80 c nbDecision=22500 #constraints=7347 60.66/60.73 c nbDecision=23000 #constraints=7523 64.06/64.14 c nbDecision=23500 #constraints=7696 67.36/67.42 c nbDecision=24000 #constraints=7840 71.67/71.76 c nbDecision=24500 #constraints=8011 75.66/75.77 c nbDecision=25000 #constraints=8178 79.96/80.08 c nbDecision=25500 #constraints=8357 80.96/81.05 c restart after 25601 decisions 84.36/84.41 c nbDecision=26000 #constraints=8503 88.96/89.08 c nbDecision=26500 #constraints=8692 93.56/93.63 c nbDecision=27000 #constraints=8866 96.36/96.46 c nbDecision=27500 #constraints=9010 99.45/99.55 c nbDecision=28000 #constraints=9135 103.55/103.62 c nbDecision=28500 #constraints=9339 106.65/106.77 c nbDecision=29000 #constraints=9468 109.96/110.01 c nbDecision=29500 #constraints=9592 113.35/113.49 c nbDecision=30000 #constraints=9715 118.25/118.33 c nbDecision=30500 #constraints=9934 121.85/121.94 c nbDecision=31000 #constraints=10072 126.44/126.56 c nbDecision=31500 #constraints=10250 130.64/130.79 c nbDecision=32000 #constraints=10413 135.34/135.43 c nbDecision=32500 #constraints=10565 140.93/141.07 c nbDecision=33000 #constraints=10826 146.04/146.12 c nbDecision=33500 #constraints=10987 151.64/151.74 c nbDecision=34000 #constraints=11139 157.73/157.85 c nbDecision=34500 #constraints=11368 162.92/163.05 c nbDecision=35000 #constraints=11505 169.83/169.96 c nbDecision=35500 #constraints=11725 175.32/175.49 c nbDecision=36000 #constraints=11891 181.72/181.81 c nbDecision=36500 #constraints=12060 188.21/188.38 c nbDecision=37000 #constraints=12236 196.01/196.15 c nbDecision=37500 #constraints=12419 199.91/200.09 c nbDecision=38000 #constraints=12530 204.62/204.77 c nbDecision=38500 #constraints=12684 209.21/209.35 c nbDecision=39000 #constraints=12811 214.51/214.68 c nbDecision=39500 #constraints=12946 219.91/220.05 c nbDecision=40000 #constraints=13078 224.70/224.88 c nbDecision=40500 #constraints=13227 230.81/230.98 c nbDecision=41000 #constraints=13383 236.30/236.43 c nbDecision=41500 #constraints=13548 242.69/242.90 c nbDecision=42000 #constraints=13733 248.70/248.87 c nbDecision=42500 #constraints=13874 256.29/256.47 c nbDecision=43000 #constraints=14029 264.29/264.40 c nbDecision=43500 #constraints=14220 271.99/272.18 c nbDecision=44000 #constraints=14383 279.99/280.19 c nbDecision=44500 #constraints=14589 288.78/288.90 c nbDecision=45000 #constraints=14767 297.58/297.77 c nbDecision=45500 #constraints=14950 305.27/305.42 c nbDecision=46000 #constraints=15169 311.97/312.18 c nbDecision=46500 #constraints=15335 318.47/318.63 c nbDecision=47000 #constraints=15474 327.67/327.86 c nbDecision=47500 #constraints=15740 334.66/334.82 c nbDecision=48000 #constraints=15900 342.86/343.07 c nbDecision=48500 #constraints=16063 350.76/350.98 c nbDecision=49000 #constraints=16208 358.75/358.99 c nbDecision=49500 #constraints=16360 368.65/368.82 c nbDecision=50000 #constraints=16568 377.15/377.36 c nbDecision=50500 #constraints=16773 386.34/386.51 c nbDecision=51000 #constraints=16961 390.34/390.55 c restart after 51201 decisions 396.24/396.44 c nbDecision=51500 #constraints=17110 406.34/406.50 c nbDecision=52000 #constraints=17329 416.74/416.99 c nbDecision=52500 #constraints=17502 427.73/427.96 c nbDecision=53000 #constraints=17759 438.02/438.25 c nbDecision=53500 #constraints=17926 448.82/449.04 c nbDecision=54000 #constraints=18106 460.72/460.92 c nbDecision=54500 #constraints=18290 473.61/473.81 c nbDecision=55000 #constraints=18516 485.21/485.48 c nbDecision=55500 #constraints=18700 498.10/498.36 c nbDecision=56000 #constraints=18885 511.19/511.42 c nbDecision=56500 #constraints=19092 523.40/523.68 c nbDecision=57000 #constraints=19290 536.59/536.88 c nbDecision=57500 #constraints=19488 550.38/550.69 c nbDecision=58000 #constraints=19671 562.78/563.00 c nbDecision=58500 #constraints=19851 575.77/576.03 c nbDecision=59000 #constraints=20043 586.46/586.79 c nbDecision=59500 #constraints=20228 594.97/595.27 c nbDecision=60000 #constraints=20386 603.26/603.52 c nbDecision=60500 #constraints=20524 614.05/614.37 c nbDecision=61000 #constraints=20729 625.15/625.44 c nbDecision=61500 #constraints=20892 636.45/636.71 c nbDecision=62000 #constraints=21048 646.65/646.90 c nbDecision=62500 #constraints=21196 660.44/660.73 c nbDecision=63000 #constraints=21406 673.13/673.47 c nbDecision=63500 #constraints=21600 686.72/687.06 c nbDecision=64000 #constraints=21802 700.02/700.34 c nbDecision=64500 #constraints=22000 714.82/715.10 c nbDecision=65000 #constraints=22214 728.71/729.05 c nbDecision=65500 #constraints=22402 744.31/744.69 c nbDecision=66000 #constraints=22587 759.70/760.09 c nbDecision=66500 #constraints=22775 773.69/774.08 c nbDecision=67000 #constraints=22947 788.69/789.06 c nbDecision=67500 #constraints=23115 804.38/804.79 c nbDecision=68000 #constraints=23364 819.88/820.29 c nbDecision=68500 #constraints=23554 835.57/835.92 c nbDecision=69000 #constraints=23762 852.26/852.61 c nbDecision=69500 #constraints=23964 864.66/865.03 c nbDecision=70000 #constraints=24157 874.46/874.86 c nbDecision=70500 #constraints=24314 884.35/884.77 c nbDecision=71000 #constraints=24444 896.55/896.92 c nbDecision=71500 #constraints=24665 909.34/909.79 c nbDecision=72000 #constraints=24832 923.74/924.19 c nbDecision=72500 #constraints=25002 938.63/939.09 c nbDecision=73000 #constraints=25173 954.12/954.55 c nbDecision=73500 #constraints=25409 968.42/968.88 c nbDecision=74000 #constraints=25578 985.02/985.44 c nbDecision=74500 #constraints=25793 1002.20/1002.62 c nbDecision=75000 #constraints=26006 1019.40/1019.89 c nbDecision=75500 #constraints=26231 1037.10/1037.52 c nbDecision=76000 #constraints=26426 1053.88/1054.39 c nbDecision=76500 #constraints=26590 1070.28/1070.74 c nbDecision=77000 #constraints=26782 1087.68/1088.11 c nbDecision=77500 #constraints=26942 1105.17/1105.65 c nbDecision=78000 #constraints=27176 1123.56/1124.08 c nbDecision=78500 #constraints=27376 1142.65/1143.19 c nbDecision=79000 #constraints=27578 1160.54/1161.03 c nbDecision=79500 #constraints=27768 1174.04/1174.53 c nbDecision=80000 #constraints=27946 1185.53/1186.02 c nbDecision=80500 #constraints=28082 1202.54/1203.07 c nbDecision=81000 #constraints=28292 1218.62/1219.13 c nbDecision=81500 #constraints=28481 1235.42/1235.99 c nbDecision=82000 #constraints=28666 1253.71/1254.21 c nbDecision=82500 #constraints=28871 1269.91/1270.40 c nbDecision=83000 #constraints=29067 1290.90/1291.48 c nbDecision=83500 #constraints=29296 1309.49/1310.03 c nbDecision=84000 #constraints=29534 1329.88/1330.44 c nbDecision=84500 #constraints=29744 1349.88/1350.49 c nbDecision=85000 #constraints=29916 1371.76/1372.39 c nbDecision=85500 #constraints=30116 1392.73/1393.32 c nbDecision=86000 #constraints=30342 1411.78/1412.41 c nbDecision=86500 #constraints=30513 1431.96/1432.65 c nbDecision=87000 #constraints=30655 1446.73/1447.42 c nbDecision=87500 #constraints=30794 1464.12/1464.89 c nbDecision=88000 #constraints=30972 1487.91/1488.66 c nbDecision=88500 #constraints=31199 1507.20/1507.90 c nbDecision=89000 #constraints=31367 1527.70/1528.43 c nbDecision=89500 #constraints=31541 1546.99/1547.76 c nbDecision=90000 #constraints=31713 1568.08/1568.85 c nbDecision=90500 #constraints=31903 1570.67/1571.47 c nbDecision=90552 #constraints=31919 1570.67/1571.47 o 1053 1577.97/1578.76 c nbDecision=91000 #constraints=32095 1587.47/1588.25 c nbDecision=91500 #constraints=32286 1597.47/1598.27 c nbDecision=92000 #constraints=32426 1608.06/1608.81 c nbDecision=92500 #constraints=32625 1618.86/1619.69 c nbDecision=93000 #constraints=32756 1633.06/1633.81 c nbDecision=93500 #constraints=33056 1648.15/1648.94 c nbDecision=94000 #constraints=33256 1660.85/1661.64 c nbDecision=94500 #constraints=33536 1674.04/1674.84 c nbDecision=95000 #constraints=33702 1687.34/1688.11 c nbDecision=95500 #constraints=33985 1701.13/1701.91 c nbDecision=96000 #constraints=34184 1714.32/1715.15 c nbDecision=96500 #constraints=34354 1723.33/1724.19 c nbDecision=97000 #constraints=34489 1736.52/1737.31 c nbDecision=97500 #constraints=34674 1748.22/1749.06 c nbDecision=98000 #constraints=34799 1761.70/1762.59 c nbDecision=98500 #constraints=34984 1775.50/1776.32 c nbDecision=99000 #constraints=35170 1788.50/1789.40 c nbDecision=99500 #constraints=35338 1800.10/1800.90 Received signal 15 1800.20/1801.02 1800.20/1801.02 s SATISFIABLE 1800.20/1801.02 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 -x29 1800.20/1801.02 v -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 -x55 1800.20/1801.02 v -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.20/1801.02 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 1800.20/1801.02 v -x106 -x107 -x108 -x109 -x110 x111 x112 x113 x114 -x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 1800.20/1801.02 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.20/1801.02 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.20/1801.02 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 x189 -x190 1800.20/1801.02 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1800.20/1801.02 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 x220 x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 1800.20/1801.02 v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1800.20/1801.02 v -x255 -x256 -x257 -x258 -x259 x260 x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1800.20/1801.02 v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1800.20/1801.02 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 1800.20/1801.02 1800.20/1801.02 c user time= 1799.68 s 1800.20/1801.02 c system time= 0.543917 s 1800.20/1801.02 c wall clock time=1801.02
OK 1053
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-363728-1176986274 -o ROOT/results/node33/solver-363728-1176986274 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363728-1176986274/instance-363728-1176986274.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.97 3/77 2428 /proc/meminfo: memFree=1756424/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=1468 CPUtime=0 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 146542898 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 367 166 130 317 0 46 0 [startup+0.0706729 s] /proc/loadavg: 0.92 0.98 0.97 3/77 2428 /proc/meminfo: memFree=1756424/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=1996 CPUtime=0.06 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 343 0 0 0 6 0 0 0 18 0 1 0 146542898 2043904 325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 499 325 170 317 0 178 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1996 [startup+0.10168 s] /proc/loadavg: 0.92 0.98 0.97 3/77 2428 /proc/meminfo: memFree=1756424/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=2128 CPUtime=0.09 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 375 0 0 0 9 0 0 0 18 0 1 0 146542898 2179072 357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 532 357 170 317 0 211 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2128 [startup+0.30172 s] /proc/loadavg: 0.92 0.98 0.97 3/77 2428 /proc/meminfo: memFree=1756424/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=2916 CPUtime=0.29 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 595 0 0 0 29 0 0 0 19 0 1 0 146542898 2985984 577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278995 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 729 577 170 317 0 408 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2916 [startup+0.701803 s] /proc/loadavg: 0.92 0.98 0.97 3/77 2428 /proc/meminfo: memFree=1756424/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=4900 CPUtime=0.69 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 1068 0 0 0 69 0 0 0 22 0 1 0 146542898 5017600 1050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 1225 1050 170 317 0 904 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4900 [startup+1.50197 s] /proc/loadavg: 0.92 0.98 0.97 2/78 2429 /proc/meminfo: memFree=1751744/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=7556 CPUtime=1.49 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 1724 0 0 0 149 0 0 0 25 0 1 0 146542898 7737344 1706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 1889 1706 170 317 0 1568 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7556 [startup+3.1023 s] /proc/loadavg: 0.92 0.98 0.97 2/78 2429 /proc/meminfo: memFree=1748480/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=11064 CPUtime=3.09 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 2584 0 0 0 309 0 0 0 25 0 1 0 146542898 11329536 2566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 2766 2566 170 317 0 2445 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11064 [startup+6.30195 s] /proc/loadavg: 0.93 0.98 0.97 2/78 2429 /proc/meminfo: memFree=1743168/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=15676 CPUtime=6.29 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 3681 0 0 0 628 1 0 0 25 0 1 0 146542898 16052224 3663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 3919 3663 170 317 0 3598 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15676 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.97 2/78 2429 /proc/meminfo: memFree=1736576/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=22156 CPUtime=12.68 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 5192 0 0 0 1266 2 0 0 25 0 1 0 146542898 22687744 5174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 5539 5174 170 317 0 5218 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22156 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.97 2/78 2429 /proc/meminfo: memFree=1729152/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=29260 CPUtime=25.48 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 6934 0 0 0 2545 3 0 0 25 0 1 0 146542898 29962240 6916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718354 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 7315 6916 170 317 0 6994 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29260 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.97 2/78 2429 /proc/meminfo: memFree=1719744/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=39760 CPUtime=51.07 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 9323 0 0 0 5101 6 0 0 25 0 1 0 146542898 40714240 9305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 9940 9305 170 317 0 9619 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39760 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1705152/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=54348 CPUtime=102.25 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 12982 0 0 0 10217 8 0 0 25 0 1 0 146542898 55652352 12906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 13587 12906 170 317 0 13266 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 54348 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1692032/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=68328 CPUtime=162.22 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 16274 0 0 0 16211 11 0 0 25 0 1 0 146542898 69967872 16198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 17082 16198 170 317 0 16761 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 68328 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1681792/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=80888 CPUtime=222.2 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 18799 0 0 0 22207 13 0 0 25 0 1 0 146542898 82829312 18723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 20222 18723 170 317 0 19901 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 80888 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1673216/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=88860 CPUtime=282.19 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 20963 0 0 0 28203 16 0 0 25 0 1 0 146542898 90992640 20887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 22215 20887 170 317 0 21894 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 88860 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1665664/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=95900 CPUtime=342.16 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 22851 0 0 0 34198 18 0 0 25 0 1 0 146542898 98201600 22775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 23975 22775 170 317 0 23654 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 95900 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1658112/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=105452 CPUtime=402.13 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 25194 0 0 0 40194 19 0 0 25 0 1 0 146542898 107982848 24674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563486 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 26363 24674 170 317 0 26042 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 105452 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1652032/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=111468 CPUtime=462.11 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 26847 0 0 0 46190 21 0 0 25 0 1 0 146542898 114143232 26195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 27867 26195 170 317 0 27546 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 111468 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1647104/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=117120 CPUtime=522.09 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 28387 0 0 0 52186 23 0 0 25 0 1 0 146542898 119930880 27471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 29280 27471 170 317 0 28959 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 117120 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1642368/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=122352 CPUtime=582.07 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 29857 0 0 0 58183 24 0 0 25 0 1 0 146542898 125288448 28644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 30588 28644 170 317 0 30267 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 122352 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1636160/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=128636 CPUtime=642.05 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 31576 0 0 0 64178 27 0 0 25 0 1 0 146542898 131723264 30132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 32159 30132 170 317 0 31838 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 128636 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1617664/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=152060 CPUtime=881.95 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 37822 0 0 0 88163 32 0 0 25 0 1 0 146542898 155709440 34794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 38015 34794 170 317 0 37694 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 152060 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1612992/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=156520 CPUtime=941.93 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 39052 0 0 0 94160 33 0 0 25 0 1 0 146542898 160276480 35958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 39130 35958 170 317 0 38809 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 156520 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1608384/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=161020 CPUtime=1001.9 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 40291 0 0 0 100156 34 0 0 25 0 1 0 146542898 164884480 37131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 40255 37131 170 317 0 39934 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 161020 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1604736/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=164180 CPUtime=1061.88 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 41211 0 0 0 106153 35 0 0 25 0 1 0 146542898 168120320 38051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 41045 38051 170 317 0 40724 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 164180 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1601152/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=167368 CPUtime=1121.87 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 42136 0 0 0 112150 37 0 0 25 0 1 0 146542898 171384832 38943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 41842 38943 170 317 0 41521 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 167368 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1597504/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=170656 CPUtime=1181.84 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 43084 0 0 0 118146 38 0 0 25 0 1 0 146542898 174751744 39858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 42664 39858 170 317 0 42343 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 170656 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1593344/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=174624 CPUtime=1241.82 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 44116 0 0 0 124142 40 0 0 25 0 1 0 146542898 178814976 40890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 43656 40890 170 317 0 43335 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 174624 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1588928/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=178524 CPUtime=1301.8 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 45236 0 0 0 130139 41 0 0 25 0 1 0 146542898 182808576 41977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 44631 41977 170 317 0 44310 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 178524 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2431 /proc/meminfo: memFree=1585856/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=181420 CPUtime=1361.77 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 46023 0 0 0 136135 42 0 0 25 0 1 0 146542898 185774080 42764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 45355 42764 170 317 0 45034 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 181420 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.97 2/84 2597 /proc/meminfo: memFree=1581688/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=183784 CPUtime=1421.66 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 46747 0 0 0 142123 43 0 0 25 0 1 0 146542898 188194816 43488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 45946 43488 170 317 0 45625 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 183784 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2629 /proc/meminfo: memFree=1580288/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=186396 CPUtime=1481.62 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 47477 0 0 0 148117 45 0 0 25 0 1 0 146542898 190869504 44152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 46599 44152 170 317 0 46278 0 Current children cumulated CPU time (s) 1481.62 Current children cumulated vsize (KiB) 186396 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2629 /proc/meminfo: memFree=1577408/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=188892 CPUtime=1541.59 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 48229 0 0 0 154113 46 0 0 25 0 1 0 146542898 193425408 44871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716183 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 47223 44871 170 317 0 46902 0 Current children cumulated CPU time (s) 1541.59 Current children cumulated vsize (KiB) 188892 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2629 /proc/meminfo: memFree=1573760/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=192440 CPUtime=1601.57 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 49205 0 0 0 160109 48 0 0 25 0 1 0 146542898 197058560 45781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 48110 45781 170 317 0 47789 0 Current children cumulated CPU time (s) 1601.57 Current children cumulated vsize (KiB) 192440 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2629 /proc/meminfo: memFree=1568768/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=201904 CPUtime=1661.55 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 51671 0 0 0 166105 50 0 0 25 0 1 0 146542898 206749696 47013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 50476 47013 170 317 0 50155 0 Current children cumulated CPU time (s) 1661.55 Current children cumulated vsize (KiB) 201904 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2629 /proc/meminfo: memFree=1564544/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=205732 CPUtime=1721.53 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 52756 0 0 0 172101 52 0 0 25 0 1 0 146542898 210669568 48098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 51433 48098 170 317 0 51112 0 Current children cumulated CPU time (s) 1721.53 Current children cumulated vsize (KiB) 205732 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2629 /proc/meminfo: memFree=1560448/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=209540 CPUtime=1781.49 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 53853 0 0 0 178096 53 0 0 25 0 1 0 146542898 214568960 49129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 52385 49129 170 317 0 52064 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (KiB) 209540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2629 /proc/meminfo: memFree=1559232/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=210592 CPUtime=1800.1 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 54171 0 0 0 179956 54 0 0 25 0 1 0 146542898 215646208 49447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 52648 49447 170 317 0 52327 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 210592 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.01 s] /proc/loadavg: 0.99 0.98 0.97 2/78 2629 /proc/meminfo: memFree=1559232/2055920 swapFree=4180512/4192956 [pid=2428] ppid=2426 vsize=210592 CPUtime=1800.2 /proc/2428/stat : 2428 (oree) R 2426 2428 1597 0 -1 4194304 54175 0 0 0 179966 54 0 0 25 0 1 0 146542898 215646208 49451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2428/statm: 52648 49451 170 317 0 52327 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 210592 Child status: 0 Real time (s): 1801.06 CPU time (s): 1800.26 CPU user time (s): 1799.68 CPU system time (s): 0.578911 CPU usage (%): 99.9556 Max. virtual memory (cumulated for all children) (KiB): 210592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.68 system time used= 0.578911 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54191 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= 4284 runsolver used 2.06069 second user time and 4.50931 second system time The end
Begin job on node33 on Thu Apr 19 12:37:54 UTC 2007 IDJOB= 363728 IDBENCH= 2020 IDSOLVER= 172 FILE ID= node33/363728-1176986274 PBS_JOBID= 4630415 Free space on /tmp= 66476 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-cmb.opb COMMAND LINE= oree /tmp/evaluation/363728-1176986274/instance-363728-1176986274.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-363728-1176986274 -o ROOT/results/node33/solver-363728-1176986274 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363728-1176986274/instance-363728-1176986274.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8aa1aebf70d33d96463ba96014c98682 RANDOM SEED= 337714617 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.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.272 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.272 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: 1756768 kB Buffers: 35224 kB Cached: 152152 kB SwapCached: 2276 kB Active: 167104 kB Inactive: 78780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1756768 kB SwapTotal: 4192956 kB SwapFree: 4180512 kB Dirty: 1380 kB Writeback: 0 kB Mapped: 73436 kB Slab: 38548 kB Committed_AS: 1674572 kB PageTables: 1996 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66476 MiB End job on node33 on Thu Apr 19 13:07:57 UTC 2007