Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 1325 | 1800.25 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-c8.opb |
MD5SUM | c919b2e3620f35e89404416810e81e0b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1194 |
Best CPU time to get the best result obtained on this benchmark | 0.112982 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1194 |
Optimality of the best value was proved | YES |
Number of variables | 239 |
Total number of constraints | 524 |
Number of constraints which are clauses | 520 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 4 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 239 |
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 | 10012 |
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 | 10012 |
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=239 #constraints=525 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=197 #constraints=530 0.00/0.01 c linear search for optimum 0.00/0.01 o 1349 0.01/0.03 c restart after 401 decisions 0.01/0.03 c nbDecision=500 #constraints=570 0.01/0.04 c nbDecision=556 #constraints=578 0.01/0.04 o 1325 0.01/0.06 c restart after 801 decisions 0.01/0.08 c nbDecision=1000 #constraints=647 0.09/0.15 c nbDecision=1500 #constraints=754 0.09/0.17 c restart after 1601 decisions 0.19/0.23 c nbDecision=2000 #constraints=867 0.29/0.34 c nbDecision=2500 #constraints=985 0.39/0.43 c nbDecision=3000 #constraints=1092 0.39/0.49 c restart after 3201 decisions 0.49/0.56 c nbDecision=3500 #constraints=1216 0.69/0.72 c nbDecision=4000 #constraints=1365 0.89/0.92 c nbDecision=4500 #constraints=1531 1.09/1.13 c nbDecision=5000 #constraints=1664 1.29/1.37 c nbDecision=5500 #constraints=1796 1.49/1.55 c nbDecision=6000 #constraints=1911 1.69/1.76 c restart after 6401 decisions 1.79/1.81 c nbDecision=6500 #constraints=2038 2.09/2.12 c nbDecision=7000 #constraints=2194 2.39/2.47 c nbDecision=7500 #constraints=2352 2.89/2.98 c nbDecision=8000 #constraints=2538 3.49/3.58 c nbDecision=8500 #constraints=2676 3.89/3.90 c nbDecision=9000 #constraints=2765 4.29/4.32 c nbDecision=9500 #constraints=2873 4.69/4.78 c nbDecision=10000 #constraints=2987 5.39/5.42 c nbDecision=10500 #constraints=3119 5.99/6.05 c nbDecision=11000 #constraints=3241 6.79/6.81 c nbDecision=11500 #constraints=3383 7.59/7.66 c nbDecision=12000 #constraints=3542 8.70/8.71 c nbDecision=12500 #constraints=3707 9.19/9.27 c restart after 12801 decisions 9.59/9.68 c nbDecision=13000 #constraints=3809 10.49/10.51 c nbDecision=13500 #constraints=3921 11.49/11.56 c nbDecision=14000 #constraints=4068 12.49/12.53 c nbDecision=14500 #constraints=4202 13.69/13.75 c nbDecision=15000 #constraints=4362 15.19/15.21 c nbDecision=15500 #constraints=4535 16.78/16.81 c nbDecision=16000 #constraints=4692 18.18/18.24 c nbDecision=16500 #constraints=4813 18.69/18.77 c nbDecision=17000 #constraints=4876 19.59/19.63 c nbDecision=17500 #constraints=4970 20.69/20.75 c nbDecision=18000 #constraints=5083 21.89/21.98 c nbDecision=18500 #constraints=5199 22.79/22.86 c nbDecision=19000 #constraints=5287 24.09/24.19 c nbDecision=19500 #constraints=5406 25.49/25.55 c nbDecision=20000 #constraints=5512 26.79/26.82 c nbDecision=20500 #constraints=5604 27.69/27.74 c nbDecision=21000 #constraints=5693 29.09/29.12 c nbDecision=21500 #constraints=5816 30.49/30.52 c nbDecision=22000 #constraints=5933 32.28/32.37 c nbDecision=22500 #constraints=6070 34.18/34.22 c nbDecision=23000 #constraints=6176 35.98/36.03 c nbDecision=23500 #constraints=6305 38.58/38.63 c nbDecision=24000 #constraints=6467 41.58/41.67 c nbDecision=24500 #constraints=6625 44.28/44.35 c nbDecision=25000 #constraints=6785 47.58/47.60 c nbDecision=25500 #constraints=6947 47.88/47.95 c restart after 25601 decisions 49.67/49.73 c nbDecision=26000 #constraints=7056 52.28/52.37 c nbDecision=26500 #constraints=7204 55.88/55.94 c nbDecision=27000 #constraints=7367 58.88/58.94 c nbDecision=27500 #constraints=7523 62.68/62.74 c nbDecision=28000 #constraints=7684 64.58/64.63 c nbDecision=28500 #constraints=7783 66.77/66.81 c nbDecision=29000 #constraints=7885 70.38/70.47 c nbDecision=29500 #constraints=8016 74.37/74.42 c nbDecision=30000 #constraints=8158 76.57/76.68 c nbDecision=30500 #constraints=8275 78.37/78.41 c nbDecision=31000 #constraints=8369 80.27/80.37 c nbDecision=31500 #constraints=8470 82.67/82.79 c nbDecision=32000 #constraints=8588 86.37/86.43 c nbDecision=32500 #constraints=8755 88.57/88.67 c nbDecision=33000 #constraints=8869 92.07/92.17 c nbDecision=33500 #constraints=9023 94.57/94.62 c nbDecision=34000 #constraints=9140 98.07/98.14 c nbDecision=34500 #constraints=9290 101.56/101.61 c nbDecision=35000 #constraints=9441 105.57/105.61 c nbDecision=35500 #constraints=9609 110.47/110.59 c nbDecision=36000 #constraints=9808 116.76/116.84 c nbDecision=36500 #constraints=10031 120.56/120.61 c nbDecision=37000 #constraints=10160 126.56/126.63 c nbDecision=37500 #constraints=10332 130.56/130.67 c nbDecision=38000 #constraints=10477 133.36/133.48 c nbDecision=38500 #constraints=10596 137.15/137.29 c nbDecision=39000 #constraints=10742 141.15/141.24 c nbDecision=39500 #constraints=10894 145.46/145.56 c nbDecision=40000 #constraints=11053 149.86/149.91 c nbDecision=40500 #constraints=11206 155.45/155.53 c nbDecision=41000 #constraints=11398 162.25/162.39 c nbDecision=41500 #constraints=11613 169.35/169.48 c nbDecision=42000 #constraints=11809 177.44/177.57 c nbDecision=42500 #constraints=11994 180.64/180.73 c nbDecision=43000 #constraints=12104 183.24/183.34 c nbDecision=43500 #constraints=12193 186.95/187.05 c nbDecision=44000 #constraints=12309 191.74/191.84 c nbDecision=44500 #constraints=12449 196.24/196.37 c nbDecision=45000 #constraints=12589 200.34/200.46 c nbDecision=45500 #constraints=12715 205.84/205.99 c nbDecision=46000 #constraints=12867 209.64/209.79 c nbDecision=46500 #constraints=12985 215.44/215.59 c nbDecision=47000 #constraints=13144 220.73/220.84 c nbDecision=47500 #constraints=13294 227.64/227.71 c nbDecision=48000 #constraints=13484 235.44/235.50 c nbDecision=48500 #constraints=13685 243.13/243.25 c nbDecision=49000 #constraints=13867 249.53/249.64 c nbDecision=49500 #constraints=14010 258.72/258.86 c nbDecision=50000 #constraints=14192 262.92/263.02 c nbDecision=50500 #constraints=14314 267.12/267.20 c nbDecision=51000 #constraints=14434 269.63/269.71 c restart after 51201 decisions 273.73/273.84 c nbDecision=51500 #constraints=14582 278.92/279.01 c nbDecision=52000 #constraints=14721 284.82/284.91 c nbDecision=52500 #constraints=14874 291.52/291.63 c nbDecision=53000 #constraints=15039 300.12/300.25 c nbDecision=53500 #constraints=15242 310.41/310.54 c nbDecision=54000 #constraints=15463 320.41/320.51 c nbDecision=54500 #constraints=15647 328.71/328.85 c nbDecision=55000 #constraints=15797 331.61/331.73 c nbDecision=55500 #constraints=15868 334.41/334.57 c nbDecision=56000 #constraints=15941 337.41/337.59 c nbDecision=56500 #constraints=16012 341.91/342.01 c nbDecision=57000 #constraints=16109 345.50/345.68 c nbDecision=57500 #constraints=16196 353.20/353.33 c nbDecision=58000 #constraints=16365 356.80/357.00 c nbDecision=58500 #constraints=16448 361.51/361.68 c nbDecision=59000 #constraints=16549 367.80/367.90 c nbDecision=59500 #constraints=16673 370.80/370.91 c nbDecision=60000 #constraints=16748 377.20/377.31 c nbDecision=60500 #constraints=16876 383.40/383.59 c nbDecision=61000 #constraints=17002 389.69/389.83 c nbDecision=61500 #constraints=17126 398.69/398.89 c nbDecision=62000 #constraints=17274 411.39/411.55 c nbDecision=62500 #constraints=17448 415.89/416.04 c nbDecision=63000 #constraints=17541 419.19/419.38 c nbDecision=63500 #constraints=17618 425.99/426.19 c nbDecision=64000 #constraints=17754 433.09/433.30 c nbDecision=64500 #constraints=17894 441.38/441.50 c nbDecision=65000 #constraints=18047 449.38/449.56 c nbDecision=65500 #constraints=18193 461.38/461.57 c nbDecision=66000 #constraints=18378 475.07/475.20 c nbDecision=66500 #constraints=18549 480.37/480.57 c nbDecision=67000 #constraints=18652 487.57/487.73 c nbDecision=67500 #constraints=18793 494.96/495.16 c nbDecision=68000 #constraints=18932 506.06/506.22 c nbDecision=68500 #constraints=19129 518.36/518.52 c nbDecision=69000 #constraints=19319 528.16/528.30 c nbDecision=69500 #constraints=19474 537.46/537.68 c nbDecision=70000 #constraints=19643 550.05/550.28 c nbDecision=70500 #constraints=19854 565.35/565.58 c nbDecision=71000 #constraints=20071 570.75/570.92 c nbDecision=71500 #constraints=20171 578.85/579.03 c nbDecision=72000 #constraints=20316 587.75/587.93 c nbDecision=72500 #constraints=20471 599.35/599.53 c nbDecision=73000 #constraints=20661 612.74/612.96 c nbDecision=73500 #constraints=20852 622.24/622.42 c nbDecision=74000 #constraints=20999 632.34/632.58 c nbDecision=74500 #constraints=21168 646.93/647.11 c nbDecision=75000 #constraints=21392 662.03/662.22 c nbDecision=75500 #constraints=21591 667.02/667.23 c nbDecision=76000 #constraints=21670 674.23/674.46 c nbDecision=76500 #constraints=21787 681.63/681.80 c nbDecision=77000 #constraints=21894 696.62/696.85 c nbDecision=77500 #constraints=22081 708.62/708.89 c nbDecision=78000 #constraints=22235 721.21/721.45 c nbDecision=78500 #constraints=22406 736.61/736.80 c nbDecision=79000 #constraints=22605 744.80/745.02 c nbDecision=79500 #constraints=22750 751.90/752.12 c nbDecision=80000 #constraints=22863 764.01/764.28 c nbDecision=80500 #constraints=23049 776.20/776.50 c nbDecision=81000 #constraints=23239 787.20/787.43 c nbDecision=81500 #constraints=23402 799.99/800.20 c nbDecision=82000 #constraints=23596 811.99/812.20 c nbDecision=82500 #constraints=23769 826.19/826.46 c nbDecision=83000 #constraints=23977 841.08/841.32 c nbDecision=83500 #constraints=24199 856.07/856.35 c nbDecision=84000 #constraints=24424 872.68/872.95 c nbDecision=84500 #constraints=24652 889.17/889.40 c nbDecision=85000 #constraints=24868 903.97/904.21 c nbDecision=85500 #constraints=25030 921.26/921.50 c nbDecision=86000 #constraints=25208 935.96/936.27 c nbDecision=86500 #constraints=25398 945.36/945.68 c nbDecision=87000 #constraints=25545 962.85/963.11 c nbDecision=87500 #constraints=25780 977.35/977.63 c nbDecision=88000 #constraints=25978 992.14/992.42 c nbDecision=88500 #constraints=26185 1008.84/1009.12 c nbDecision=89000 #constraints=26407 1025.94/1026.29 c nbDecision=89500 #constraints=26643 1043.54/1043.81 c nbDecision=90000 #constraints=26863 1062.12/1062.44 c nbDecision=90500 #constraints=27088 1080.13/1080.49 c nbDecision=91000 #constraints=27265 1099.52/1099.89 c nbDecision=91500 #constraints=27455 1109.01/1109.34 c nbDecision=92000 #constraints=27600 1117.32/1117.61 c nbDecision=92500 #constraints=27712 1130.71/1131.07 c nbDecision=93000 #constraints=27883 1145.60/1145.99 c nbDecision=93500 #constraints=28077 1158.30/1158.66 c nbDecision=94000 #constraints=28239 1175.20/1175.60 c nbDecision=94500 #constraints=28444 1188.09/1188.49 c nbDecision=95000 #constraints=28605 1206.20/1206.54 c nbDecision=95500 #constraints=28823 1224.19/1224.51 c nbDecision=96000 #constraints=29042 1241.18/1241.53 c nbDecision=96500 #constraints=29257 1260.38/1260.75 c nbDecision=97000 #constraints=29484 1280.67/1281.05 c nbDecision=97500 #constraints=29714 1297.97/1298.33 c nbDecision=98000 #constraints=29880 1317.87/1318.22 c nbDecision=98500 #constraints=30051 1336.86/1337.23 c nbDecision=99000 #constraints=30243 1348.16/1348.53 c nbDecision=99500 #constraints=30393 1367.75/1368.12 c nbDecision=100000 #constraints=30617 1385.22/1385.69 c nbDecision=100500 #constraints=30823 1402.57/1403.03 c nbDecision=101000 #constraints=31026 1422.16/1422.63 c nbDecision=101500 #constraints=31246 1442.66/1443.10 c nbDecision=102000 #constraints=31481 1459.35/1459.81 c restart after 102401 decisions 1462.04/1462.54 c nbDecision=102500 #constraints=31674 1483.84/1484.31 c nbDecision=103000 #constraints=31905 1504.54/1505.08 c nbDecision=103500 #constraints=32084 1527.83/1528.33 c nbDecision=104000 #constraints=32268 1543.13/1543.62 c nbDecision=104500 #constraints=32430 1550.72/1551.23 c nbDecision=105000 #constraints=32522 1560.02/1560.52 c nbDecision=105500 #constraints=32630 1579.61/1580.10 c nbDecision=106000 #constraints=32851 1592.01/1592.57 c nbDecision=106500 #constraints=32993 1609.81/1610.39 c nbDecision=107000 #constraints=33178 1621.10/1621.64 c nbDecision=107500 #constraints=33306 1638.90/1639.48 c nbDecision=108000 #constraints=33489 1660.79/1661.34 c nbDecision=108500 #constraints=33682 1682.10/1682.63 c nbDecision=109000 #constraints=33839 1699.89/1700.44 c nbDecision=109500 #constraints=34017 1712.49/1713.06 c nbDecision=110000 #constraints=34154 1731.28/1731.84 c nbDecision=110500 #constraints=34354 1750.77/1751.35 c nbDecision=111000 #constraints=34544 1770.07/1770.62 c nbDecision=111500 #constraints=34732 1793.06/1793.67 c nbDecision=112000 #constraints=34927 1800.07/1800.60 Received signal 15 1800.17/1800.75 1800.17/1800.75 s SATISFIABLE 1800.17/1800.75 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.75 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 -x55 1800.17/1800.75 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.17/1800.75 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 1800.17/1800.75 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.17/1800.75 v -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 x144 x145 -x146 x147 -x148 x149 1800.17/1800.75 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.75 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.75 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.75 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.17/1800.75 v -x235 x236 -x237 -x238 -x239 1800.17/1800.75 1800.17/1800.75 c user time= 1799.92 s 1800.17/1800.75 c system time= 0.308953 s 1800.17/1800.75 c wall clock time=1800.76
OK 1325
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-363742-1176986288 -o ROOT/results/node55/solver-363742-1176986288 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363742-1176986288/instance-363742-1176986288.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.96 1.01 0.99 3/64 8402 /proc/meminfo: memFree=1755060/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=1468 CPUtime=0 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 146538836 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 367 165 130 317 0 46 0 [startup+0.0173269 s] /proc/loadavg: 0.96 1.01 0.99 3/64 8402 /proc/meminfo: memFree=1755060/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=1732 CPUtime=0.01 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 268 0 0 0 1 0 0 0 18 0 1 0 146538836 1773568 250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135155328 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 433 250 167 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101335 s] /proc/loadavg: 0.96 1.01 0.99 3/64 8402 /proc/meminfo: memFree=1755060/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=2124 CPUtime=0.09 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 369 0 0 0 9 0 0 0 18 0 1 0 146538836 2174976 351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 531 351 170 317 0 210 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2124 [startup+0.301354 s] /proc/loadavg: 0.96 1.01 0.99 3/64 8402 /proc/meminfo: memFree=1755060/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=2780 CPUtime=0.29 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 560 0 0 0 29 0 0 0 19 0 1 0 146538836 2846720 542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134544852 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 695 542 170 317 0 374 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2780 [startup+0.701392 s] /proc/loadavg: 0.96 1.01 0.99 3/64 8402 /proc/meminfo: memFree=1755060/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=4084 CPUtime=0.69 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 878 0 0 0 69 0 0 0 22 0 1 0 146538836 4182016 860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 1021 860 170 317 0 700 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4084 [startup+1.50147 s] /proc/loadavg: 0.96 1.01 0.99 2/65 8403 /proc/meminfo: memFree=1751468/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=5808 CPUtime=1.49 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 1316 0 0 0 149 0 0 0 25 0 1 0 146538836 5947392 1298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 1452 1298 170 317 0 1131 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5808 [startup+3.10262 s] /proc/loadavg: 0.96 1.01 0.99 2/65 8403 /proc/meminfo: memFree=1749484/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=7944 CPUtime=3.09 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 1806 0 0 0 309 0 0 0 25 0 1 0 146538836 8134656 1788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 1986 1788 170 317 0 1665 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7944 [startup+6.30192 s] /proc/loadavg: 0.97 1.01 0.99 2/65 8403 /proc/meminfo: memFree=1746540/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=10256 CPUtime=6.29 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 2366 0 0 0 629 0 0 0 25 0 1 0 146538836 10502144 2348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 2564 2348 170 317 0 2243 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10256 [startup+12.7015 s] /proc/loadavg: 0.97 1.00 0.99 2/65 8403 /proc/meminfo: memFree=1743340/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=13112 CPUtime=12.69 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 3063 0 0 0 1268 1 0 0 25 0 1 0 146538836 13426688 3045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 3278 3045 170 317 0 2957 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13112 [startup+25.5017 s] /proc/loadavg: 0.97 1.00 0.99 2/65 8403 /proc/meminfo: memFree=1739500/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=17388 CPUtime=25.49 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 4035 0 0 0 2547 2 0 0 25 0 1 0 146538836 17805312 4017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 4347 4017 170 317 0 4026 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 17388 [startup+51.1012 s] /proc/loadavg: 0.98 1.00 0.99 2/65 8403 /proc/meminfo: memFree=1734572/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=22148 CPUtime=51.07 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 5261 0 0 0 5105 2 0 0 25 0 1 0 146538836 22679552 5243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 5537 5243 170 317 0 5216 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22148 [startup+102.305 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1726956/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=30896 CPUtime=102.27 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 7203 0 0 0 10222 5 0 0 25 0 1 0 146538836 31637504 7128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 7724 7128 170 317 0 7403 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30896 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1720428/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=37228 CPUtime=162.25 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 8803 0 0 0 16219 6 0 0 25 0 1 0 146538836 38121472 8728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 9307 8728 170 317 0 8986 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 37228 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1715372/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=42324 CPUtime=222.23 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 10080 0 0 0 22216 7 0 0 25 0 1 0 146538836 43339776 10005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 10581 10005 170 317 0 10260 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 42324 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1710892/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=46740 CPUtime=282.22 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 11179 0 0 0 28213 9 0 0 25 0 1 0 146538836 47861760 11104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 11685 11104 170 317 0 11364 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 46740 [startup+342.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1706924/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=50324 CPUtime=342.2 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 12147 0 0 0 34210 10 0 0 25 0 1 0 146538836 51531776 12072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 12581 12072 170 317 0 12260 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 50324 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1703020/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=57084 CPUtime=402.19 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 13589 0 0 0 40208 11 0 0 25 0 1 0 146538836 58454016 13038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 14271 13038 170 317 0 13950 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 57084 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1699948/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=60632 CPUtime=462.18 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 14387 0 0 0 46206 12 0 0 25 0 1 0 146538836 62087168 13836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 15158 13836 170 317 0 14837 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 60632 [startup+522.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1696748/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=63624 CPUtime=522.16 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 15191 0 0 0 52204 12 0 0 25 0 1 0 146538836 65150976 14640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 15906 14640 170 317 0 15585 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 63624 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1693356/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=66992 CPUtime=582.15 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 16031 0 0 0 58201 14 0 0 25 0 1 0 146538836 68599808 15480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 16748 15480 170 317 0 16427 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 66992 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1690156/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=69780 CPUtime=642.13 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 16812 0 0 0 64199 14 0 0 25 0 1 0 146538836 71454720 16261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 17445 16261 170 317 0 17124 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 69780 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1679532/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=80100 CPUtime=882.08 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 19545 0 0 0 88190 18 0 0 25 0 1 0 146538836 82022400 18895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 20025 18895 170 317 0 19704 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 80100 [startup+942.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1677228/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=82456 CPUtime=942.06 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 20198 0 0 0 94187 19 0 0 25 0 1 0 146538836 84434944 19482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711120 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 20614 19482 170 317 0 20293 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 82456 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1674604/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=84804 CPUtime=1002.05 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 20834 0 0 0 100185 20 0 0 25 0 1 0 146538836 86839296 20118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 21201 20118 170 317 0 20880 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 84804 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1672364/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=87284 CPUtime=1062.02 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 21508 0 0 0 106182 20 0 0 25 0 1 0 146538836 89378816 20693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 21821 20693 170 317 0 21500 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 87284 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1669996/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=89384 CPUtime=1122.01 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 22076 0 0 0 112180 21 0 0 25 0 1 0 146538836 91529216 21261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 22346 21261 170 317 0 22025 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 89384 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1667756/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=91656 CPUtime=1182 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 22667 0 0 0 118179 21 0 0 25 0 1 0 146538836 93855744 21819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 22914 21819 170 317 0 22593 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 91656 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1665580/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=93996 CPUtime=1241.98 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 23321 0 0 0 124176 22 0 0 25 0 1 0 146538836 96251904 22374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 23499 22374 170 317 0 23178 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 93996 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1663340/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=97008 CPUtime=1301.98 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 24032 0 0 0 130175 23 0 0 25 0 1 0 146538836 99336192 22887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 24252 22887 170 317 0 23931 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 97008 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8405 /proc/meminfo: memFree=1661420/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=98980 CPUtime=1361.95 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 24540 0 0 0 136172 23 0 0 25 0 1 0 146538836 101355520 23395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604480 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 24745 23395 170 317 0 24424 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 98980 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/71 8581 /proc/meminfo: memFree=1657980/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=100864 CPUtime=1421.86 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 25064 0 0 0 142160 26 0 0 25 0 1 0 146538836 103284736 23919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 25216 23919 170 317 0 24895 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 100864 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8603 /proc/meminfo: memFree=1657132/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=104372 CPUtime=1481.84 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 25927 0 0 0 148157 27 0 0 25 0 1 0 146538836 106876928 24419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 26093 24419 170 317 0 25772 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 104372 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8603 /proc/meminfo: memFree=1655276/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=105940 CPUtime=1541.83 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 26392 0 0 0 154155 28 0 0 25 0 1 0 146538836 108482560 24884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 26485 24884 170 317 0 26164 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 105940 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8603 /proc/meminfo: memFree=1652844/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=109200 CPUtime=1601.81 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 27237 0 0 0 160152 29 0 0 25 0 1 0 146538836 111820800 25471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 27300 25471 170 317 0 26979 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 109200 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8603 /proc/meminfo: memFree=1651500/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=114732 CPUtime=1661.79 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 28578 0 0 0 166150 29 0 0 25 0 1 0 146538836 117485568 25836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 28683 25836 170 317 0 28362 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 114732 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8603 /proc/meminfo: memFree=1649900/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=116196 CPUtime=1721.79 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 29003 0 0 0 172149 30 0 0 25 0 1 0 146538836 118984704 26228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 29049 26228 170 317 0 28728 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 116196 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8603 /proc/meminfo: memFree=1648044/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=117900 CPUtime=1781.76 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 29452 0 0 0 178146 30 0 0 25 0 1 0 146538836 120729600 26677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 29475 26677 170 317 0 29154 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 117900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 1.00 0.99 2/65 8603 /proc/meminfo: memFree=1647596/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=118292 CPUtime=1800.07 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 29563 0 0 0 179977 30 0 0 25 0 1 0 146538836 121131008 26788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 29573 26788 170 317 0 29252 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 118292 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: 0.99 1.00 0.99 2/65 8603 /proc/meminfo: memFree=1647596/2055920 swapFree=4184496/4192956 [pid=8402] ppid=8400 vsize=118292 CPUtime=1800.17 /proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 29566 0 0 0 179987 30 0 0 25 0 1 0 146538836 121131008 26791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8402/statm: 29573 26791 170 317 0 29252 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 118292 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.25 CPU user time (s): 1799.92 CPU system time (s): 0.32695 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 118292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.32695 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29582 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= 2872 runsolver used 1.39479 second user time and 3.60145 second system time The end
Begin job on node55 on Thu Apr 19 12:38:08 UTC 2007 IDJOB= 363742 IDBENCH= 2021 IDSOLVER= 172 FILE ID= node55/363742-1176986288 PBS_JOBID= 4630372 Free space on /tmp= 66354 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-c8.opb COMMAND LINE= oree /tmp/evaluation/363742-1176986288/instance-363742-1176986288.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-363742-1176986288 -o ROOT/results/node55/solver-363742-1176986288 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363742-1176986288/instance-363742-1176986288.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c919b2e3620f35e89404416810e81e0b RANDOM SEED= 169101013 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1755404 kB Buffers: 18064 kB Cached: 208084 kB SwapCached: 2196 kB Active: 100312 kB Inactive: 135704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1755404 kB SwapTotal: 4192956 kB SwapFree: 4184496 kB Dirty: 1328 kB Writeback: 0 kB Mapped: 16400 kB Slab: 50552 kB Committed_AS: 1150156 kB PageTables: 1384 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= 66354 MiB End job on node55 on Thu Apr 19 13:08:11 UTC 2007