Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 235 | 1800.25 | 1800.86 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb |
MD5SUM | 7903a80129c7e51df900bcb9ac0a6f39 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 185 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 185 |
Optimality of the best value was proved | NO |
Number of variables | 475 |
Total number of constraints | 475 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 475 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 475 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 475 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 475 |
Number of bits of the biggest sum of numbers | 9 |
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=475 #constraints=476 hasObjective=yes 0.01/0.02 c res. mode=mod 0.01/0.02 c VSIDS like heuristics 0.01/0.02 c complete search running 0.01/0.02 c nbDecision=237 #constraints=476 0.01/0.02 c linear search for optimum 0.01/0.02 o 238 0.09/0.14 c restart after 401 decisions 0.09/0.14 c nbDecision=500 #constraints=542 0.19/0.28 c restart after 801 decisions 0.19/0.29 c nbDecision=1000 #constraints=612 0.39/0.41 c nbDecision=1242 #constraints=670 0.39/0.41 o 237 0.59/0.63 c nbDecision=1500 #constraints=780 0.69/0.72 c restart after 1601 decisions 0.89/0.95 c nbDecision=2000 #constraints=901 1.39/1.42 c nbDecision=2500 #constraints=1070 1.99/2.01 c nbDecision=3000 #constraints=1282 2.19/2.24 c restart after 3201 decisions 2.39/2.43 c nbDecision=3458 #constraints=1370 2.39/2.43 o 236 2.39/2.47 c nbDecision=3500 #constraints=1392 3.09/3.15 c nbDecision=4000 #constraints=1617 3.99/4.08 c nbDecision=4500 #constraints=1835 4.99/5.05 c nbDecision=5000 #constraints=2022 6.19/6.22 c nbDecision=5500 #constraints=2220 7.29/7.39 c nbDecision=6000 #constraints=2426 8.39/8.40 c restart after 6401 decisions 8.69/8.72 c nbDecision=6500 #constraints=2606 10.08/10.14 c nbDecision=7000 #constraints=2785 11.59/11.68 c nbDecision=7500 #constraints=2977 13.79/13.89 c nbDecision=8000 #constraints=3186 15.39/15.45 c nbDecision=8500 #constraints=3337 16.88/16.99 c nbDecision=9000 #constraints=3508 18.59/18.65 c nbDecision=9500 #constraints=3675 20.48/20.51 c nbDecision=10000 #constraints=3837 22.69/22.70 c nbDecision=10500 #constraints=4007 24.68/24.75 c nbDecision=11000 #constraints=4161 26.68/26.77 c nbDecision=11500 #constraints=4337 28.88/28.91 c nbDecision=12000 #constraints=4500 31.58/31.67 c nbDecision=12500 #constraints=4680 33.68/33.73 c restart after 12801 decisions 34.88/34.90 c nbDecision=13000 #constraints=4792 38.18/38.22 c nbDecision=13500 #constraints=4975 41.68/41.76 c nbDecision=14000 #constraints=5217 45.48/45.50 c nbDecision=14500 #constraints=5444 48.88/48.94 c nbDecision=15000 #constraints=5639 52.57/52.70 c nbDecision=15500 #constraints=5859 56.87/56.96 c nbDecision=16000 #constraints=6086 61.38/61.44 c nbDecision=16500 #constraints=6320 64.97/65.07 c nbDecision=17000 #constraints=6495 68.57/68.60 c nbDecision=17500 #constraints=6686 72.67/72.76 c nbDecision=18000 #constraints=6868 76.57/76.61 c nbDecision=18500 #constraints=7055 80.57/80.65 c nbDecision=19000 #constraints=7242 85.06/85.13 c nbDecision=19500 #constraints=7421 88.86/88.98 c nbDecision=20000 #constraints=7559 93.26/93.36 c nbDecision=20500 #constraints=7743 98.27/98.39 c nbDecision=21000 #constraints=7914 102.36/102.42 c nbDecision=21500 #constraints=8057 106.36/106.41 c nbDecision=22000 #constraints=8217 111.16/111.25 c nbDecision=22500 #constraints=8368 115.15/115.26 c nbDecision=23000 #constraints=8512 120.05/120.17 c nbDecision=23500 #constraints=8661 123.75/123.82 c nbDecision=24000 #constraints=8786 129.06/129.18 c nbDecision=24500 #constraints=8946 133.65/133.75 c nbDecision=25000 #constraints=9103 138.56/138.64 c nbDecision=25500 #constraints=9263 139.56/139.70 c restart after 25601 decisions 143.85/143.94 c nbDecision=26000 #constraints=9348 147.85/147.98 c nbDecision=26500 #constraints=9479 152.35/152.46 c nbDecision=27000 #constraints=9644 155.65/155.70 c nbDecision=27500 #constraints=9848 159.25/159.40 c nbDecision=28000 #constraints=10022 163.85/163.99 c nbDecision=28500 #constraints=10226 166.55/166.69 c nbDecision=28799 #constraints=10336 166.55/166.70 o 235 168.15/168.23 c nbDecision=29000 #constraints=10429 173.14/173.22 c nbDecision=29500 #constraints=10665 178.04/178.17 c nbDecision=30000 #constraints=10859 183.74/183.81 c nbDecision=30500 #constraints=11064 188.64/188.78 c nbDecision=31000 #constraints=11237 194.13/194.27 c nbDecision=31500 #constraints=11456 200.04/200.16 c nbDecision=32000 #constraints=11694 205.64/205.70 c nbDecision=32500 #constraints=11882 213.73/213.89 c nbDecision=33000 #constraints=12087 220.73/220.80 c nbDecision=33500 #constraints=12255 225.92/226.03 c nbDecision=34000 #constraints=12409 231.12/231.21 c nbDecision=34500 #constraints=12583 235.93/236.06 c nbDecision=35000 #constraints=12751 242.42/242.58 c nbDecision=35500 #constraints=12925 247.72/247.86 c nbDecision=36000 #constraints=13067 253.82/253.91 c nbDecision=36500 #constraints=13243 258.91/259.02 c nbDecision=37000 #constraints=13409 264.92/265.05 c nbDecision=37500 #constraints=13579 273.62/273.77 c nbDecision=38000 #constraints=13760 282.31/282.48 c nbDecision=38500 #constraints=13944 290.90/291.01 c nbDecision=39000 #constraints=14183 299.41/299.56 c nbDecision=39500 #constraints=14410 307.50/307.60 c nbDecision=40000 #constraints=14605 315.80/315.99 c nbDecision=40500 #constraints=14820 325.00/325.12 c nbDecision=41000 #constraints=15040 334.50/334.69 c nbDecision=41500 #constraints=15280 342.40/342.57 c nbDecision=42000 #constraints=15450 350.19/350.35 c nbDecision=42500 #constraints=15645 358.19/358.38 c nbDecision=43000 #constraints=15820 366.48/366.67 c nbDecision=43500 #constraints=16008 374.59/374.76 c nbDecision=44000 #constraints=16193 383.08/383.21 c nbDecision=44500 #constraints=16368 391.08/391.26 c nbDecision=45000 #constraints=16507 399.97/400.15 c nbDecision=45500 #constraints=16690 409.18/409.36 c nbDecision=46000 #constraints=16858 417.78/417.91 c nbDecision=46500 #constraints=16998 425.47/425.67 c nbDecision=47000 #constraints=17158 435.27/435.49 c nbDecision=47500 #constraints=17316 442.97/443.12 c nbDecision=48000 #constraints=17450 452.57/452.78 c nbDecision=48500 #constraints=17604 459.36/459.56 c nbDecision=49000 #constraints=17725 468.86/469.07 c nbDecision=49500 #constraints=17879 477.56/477.71 c nbDecision=50000 #constraints=18035 486.45/486.60 c nbDecision=50500 #constraints=18187 494.65/494.86 c nbDecision=51000 #constraints=18330 497.65/497.88 c restart after 51201 decisions 504.05/504.20 c nbDecision=51500 #constraints=18404 514.55/514.79 c nbDecision=52000 #constraints=18555 527.44/527.67 c nbDecision=52500 #constraints=18731 539.94/540.19 c nbDecision=53000 #constraints=18905 554.03/554.28 c nbDecision=53500 #constraints=19085 567.83/568.07 c nbDecision=54000 #constraints=19281 582.42/582.64 c nbDecision=54500 #constraints=19493 598.23/598.42 c nbDecision=55000 #constraints=19712 613.52/613.75 c nbDecision=55500 #constraints=19915 627.91/628.16 c nbDecision=56000 #constraints=20097 644.91/645.16 c nbDecision=56500 #constraints=20295 657.80/658.09 c nbDecision=57000 #constraints=20455 671.40/671.69 c nbDecision=57500 #constraints=20617 684.70/684.98 c nbDecision=58000 #constraints=20782 699.59/699.81 c nbDecision=58500 #constraints=20948 712.75/713.06 c nbDecision=59000 #constraints=21126 727.12/727.40 c nbDecision=59500 #constraints=21325 740.79/741.12 c nbDecision=60000 #constraints=21522 755.68/756.04 c nbDecision=60500 #constraints=21711 770.86/771.20 c nbDecision=61000 #constraints=21892 784.76/785.17 c nbDecision=61500 #constraints=22060 799.46/799.87 c nbDecision=62000 #constraints=22221 812.75/813.15 c nbDecision=62500 #constraints=22382 827.25/827.62 c nbDecision=63000 #constraints=22541 840.05/840.48 c nbDecision=63500 #constraints=22741 853.84/854.24 c nbDecision=64000 #constraints=22981 866.44/866.88 c nbDecision=64500 #constraints=23168 879.64/880.08 c nbDecision=65000 #constraints=23368 893.73/894.17 c nbDecision=65500 #constraints=23603 905.93/906.37 c nbDecision=66000 #constraints=23777 916.42/916.82 c nbDecision=66500 #constraints=23937 928.12/928.50 c nbDecision=67000 #constraints=24111 939.32/939.78 c nbDecision=67500 #constraints=24271 950.61/951.09 c nbDecision=68000 #constraints=24437 963.11/963.53 c nbDecision=68500 #constraints=24620 978.51/978.97 c nbDecision=69000 #constraints=24831 992.60/993.04 c nbDecision=69500 #constraints=25045 1008.40/1008.88 c nbDecision=70000 #constraints=25256 1022.40/1022.88 c nbDecision=70500 #constraints=25466 1036.39/1036.88 c nbDecision=71000 #constraints=25654 1048.90/1049.34 c nbDecision=71500 #constraints=25830 1062.19/1062.65 c nbDecision=72000 #constraints=26019 1077.08/1077.53 c nbDecision=72500 #constraints=26177 1090.58/1091.06 c nbDecision=73000 #constraints=26327 1102.97/1103.43 c nbDecision=73500 #constraints=26467 1113.67/1114.10 c nbDecision=74000 #constraints=26593 1125.97/1126.43 c nbDecision=74500 #constraints=26731 1139.57/1140.06 c nbDecision=75000 #constraints=26874 1154.46/1154.99 c nbDecision=75500 #constraints=27030 1166.56/1167.08 c nbDecision=76000 #constraints=27231 1179.86/1180.33 c nbDecision=76500 #constraints=27431 1190.34/1190.86 c nbDecision=77000 #constraints=27656 1203.54/1204.06 c nbDecision=77500 #constraints=27872 1216.74/1217.27 c nbDecision=78000 #constraints=28057 1229.53/1230.06 c nbDecision=78500 #constraints=28257 1243.44/1243.90 c nbDecision=79000 #constraints=28455 1254.53/1255.10 c nbDecision=79500 #constraints=28682 1268.62/1269.11 c nbDecision=80000 #constraints=28898 1284.82/1285.39 c nbDecision=80500 #constraints=29091 1301.82/1302.35 c nbDecision=81000 #constraints=29265 1313.31/1313.80 c nbDecision=81500 #constraints=29417 1324.92/1325.49 c nbDecision=82000 #constraints=29593 1335.51/1336.05 c nbDecision=82500 #constraints=29756 1349.31/1349.82 c nbDecision=83000 #constraints=29931 1361.40/1361.90 c nbDecision=83500 #constraints=30079 1374.10/1374.60 c nbDecision=84000 #constraints=30253 1384.89/1385.46 c nbDecision=84500 #constraints=30414 1396.79/1397.36 c nbDecision=85000 #constraints=30582 1414.19/1414.71 c nbDecision=85500 #constraints=30760 1432.58/1433.19 c nbDecision=86000 #constraints=30946 1450.38/1450.98 c nbDecision=86500 #constraints=31184 1467.67/1468.30 c nbDecision=87000 #constraints=31410 1483.97/1484.58 c nbDecision=87500 #constraints=31607 1501.37/1502.00 c nbDecision=88000 #constraints=31822 1519.57/1520.19 c nbDecision=88500 #constraints=32042 1538.26/1538.86 c nbDecision=89000 #constraints=32282 1553.84/1554.42 c nbDecision=89500 #constraints=32452 1568.85/1569.45 c nbDecision=90000 #constraints=32647 1584.44/1585.03 c nbDecision=90500 #constraints=32822 1600.13/1600.72 c nbDecision=91000 #constraints=33008 1615.63/1616.26 c nbDecision=91500 #constraints=33195 1631.73/1632.34 c nbDecision=92000 #constraints=33370 1647.42/1648.02 c nbDecision=92500 #constraints=33507 1662.12/1662.78 c nbDecision=93000 #constraints=33673 1682.01/1682.63 c nbDecision=93500 #constraints=33843 1696.71/1697.34 c nbDecision=94000 #constraints=33985 1711.20/1711.89 c nbDecision=94500 #constraints=34144 1728.90/1729.54 c nbDecision=95000 #constraints=34290 1742.20/1742.89 c nbDecision=95500 #constraints=34425 1759.30/1759.91 c nbDecision=96000 #constraints=34567 1772.50/1773.16 c nbDecision=96500 #constraints=34699 1791.28/1791.94 c nbDecision=97000 #constraints=34855 1800.08/1800.70 Received signal 15 1800.08/1800.79 1800.08/1800.79 s SATISFIABLE 1800.08/1800.79 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.08/1800.79 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.08/1800.79 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.08/1800.79 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.08/1800.79 v -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 1800.08/1800.79 v -x128 -x129 x130 -x131 -x132 -x133 x134 x135 -x136 x137 -x138 -x139 x140 x141 x142 -x143 -x144 x145 -x146 -x147 x148 x149 -x150 1800.08/1800.79 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 x161 -x162 -x163 x164 x165 -x166 -x167 x168 x169 -x170 -x171 -x172 1800.08/1800.79 v -x173 -x174 x175 x176 -x177 -x178 -x179 x180 -x181 x182 -x183 x184 -x185 x186 -x187 -x188 x189 x190 -x191 x192 x193 x194 -x195 1800.08/1800.79 v -x196 -x197 -x198 -x199 -x200 -x201 x202 x203 x204 -x205 -x206 x207 x208 x209 -x210 x211 -x212 -x213 -x214 x215 -x216 -x217 1800.08/1800.79 v -x218 -x219 x220 -x221 -x222 -x223 x224 -x225 -x226 x227 -x228 x229 x230 x231 -x232 -x233 x234 -x235 -x236 -x237 x238 x239 1800.08/1800.79 v x240 x241 x242 -x243 x244 x245 -x246 -x247 -x248 x249 x250 x251 -x252 x253 x254 x255 x256 x257 x258 x259 x260 -x261 x262 x263 1800.08/1800.79 v x264 -x265 -x266 x267 -x268 x269 x270 -x271 x272 x273 -x274 -x275 -x276 x277 -x278 -x279 x280 x281 x282 -x283 x284 -x285 x286 1800.08/1800.79 v -x287 x288 -x289 x290 x291 x292 -x293 x294 -x295 x296 x297 x298 x299 x300 -x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 1800.08/1800.79 v x311 x312 x313 x314 x315 x316 x317 x318 -x319 x320 -x321 x322 x323 x324 x325 x326 -x327 x328 x329 x330 x331 -x332 x333 x334 -x335 1800.08/1800.79 v x336 x337 x338 x339 -x340 x341 -x342 x343 -x344 x345 x346 x347 x348 x349 -x350 -x351 x352 -x353 x354 x355 x356 -x357 x358 x359 1800.08/1800.79 v x360 x361 -x362 -x363 x364 x365 x366 -x367 x368 x369 x370 x371 -x372 x373 x374 x375 x376 x377 x378 x379 x380 -x381 x382 x383 1800.08/1800.79 v x384 x385 x386 x387 x388 x389 x390 x391 -x392 -x393 x394 x395 x396 x397 x398 -x399 x400 -x401 x402 x403 x404 x405 x406 x407 x408 1800.08/1800.79 v -x409 x410 x411 x412 x413 x414 x415 x416 -x417 x418 x419 x420 x421 x422 x423 x424 -x425 x426 x427 x428 x429 x430 x431 -x432 x433 1800.08/1800.79 v x434 x435 x436 -x437 -x438 x439 x440 x441 x442 x443 x444 x445 x446 -x447 x448 -x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 1800.08/1800.79 v x459 -x460 -x461 x462 -x463 x464 x465 x466 -x467 x468 -x469 x470 x471 x472 -x473 x474 x475 1800.08/1800.79 1800.08/1800.79 c user time= 1799.54 s 1800.08/1800.79 c system time= 0.640902 s 1800.08/1800.79 c wall clock time=1800.79
OK 235
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-357067-1176853757 -o ROOT/results/node61/solver-357067-1176853757 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357067-1176853757/instance-357067-1176853757.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.91 0.95 0.94 3/64 12505 /proc/meminfo: memFree=1801600/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=1468 CPUtime=0 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 97339322 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 367 163 131 317 0 46 0 [startup+0.0169 s] /proc/loadavg: 0.91 0.95 0.94 3/64 12505 /proc/meminfo: memFree=1801600/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=1732 CPUtime=0.01 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 247 0 0 0 1 0 0 0 18 0 1 0 97339322 1773568 229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534165 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 433 229 137 317 0 112 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1732 [startup+0.101908 s] /proc/loadavg: 0.91 0.95 0.94 3/64 12505 /proc/meminfo: memFree=1801600/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=2268 CPUtime=0.09 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 432 0 0 0 9 0 0 0 18 0 1 0 97339322 2322432 414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549858 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 567 414 170 317 0 246 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2268 [startup+0.301926 s] /proc/loadavg: 0.91 0.95 0.94 3/64 12505 /proc/meminfo: memFree=1801600/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=3580 CPUtime=0.29 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 743 0 0 0 29 0 0 0 19 0 1 0 97339322 3665920 725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713829 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 895 726 170 317 0 574 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3580 [startup+0.701965 s] /proc/loadavg: 0.91 0.95 0.94 3/64 12505 /proc/meminfo: memFree=1801600/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=5932 CPUtime=0.69 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 1341 0 0 0 69 0 0 0 23 0 1 0 97339322 6074368 1323 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 1483 1323 170 317 0 1162 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5932 [startup+1.50104 s] /proc/loadavg: 0.92 0.95 0.94 2/65 12506 /proc/meminfo: memFree=1795896/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=9624 CPUtime=1.49 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 2258 0 0 0 148 1 0 0 25 0 1 0 97339322 9854976 2240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 2406 2240 170 317 0 2085 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9624 [startup+3.10119 s] /proc/loadavg: 0.92 0.95 0.94 2/65 12506 /proc/meminfo: memFree=1790968/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=16380 CPUtime=3.09 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 3836 0 0 0 308 1 0 0 25 0 1 0 97339322 16773120 3818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 4095 3818 170 317 0 3774 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16380 [startup+6.3015 s] /proc/loadavg: 0.92 0.95 0.94 2/65 12506 /proc/meminfo: memFree=1781304/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=22768 CPUtime=6.29 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 5531 0 0 0 627 2 0 0 25 0 1 0 97339322 23314432 5513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134597055 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 5692 5513 170 317 0 5371 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22768 [startup+12.7011 s] /proc/loadavg: 0.93 0.96 0.94 2/65 12506 /proc/meminfo: memFree=1769472/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=34940 CPUtime=12.69 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 8327 0 0 0 1265 4 0 0 25 0 1 0 97339322 35778560 8309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 8735 8309 170 317 0 8414 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34940 [startup+25.5013 s] /proc/loadavg: 0.94 0.96 0.94 2/65 12506 /proc/meminfo: memFree=1756416/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=46564 CPUtime=25.48 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 11449 0 0 0 2542 6 0 0 25 0 1 0 97339322 47681536 11431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712505 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 11641 11431 170 317 0 11320 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46564 [startup+51.1018 s] /proc/loadavg: 0.96 0.96 0.94 2/65 12506 /proc/meminfo: memFree=1736128/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=69312 CPUtime=51.07 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 16518 0 0 0 5099 8 0 0 25 0 1 0 97339322 70975488 16500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 17328 16500 170 317 0 17007 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 69312 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.94 2/65 12506 /proc/meminfo: memFree=1710720/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=92332 CPUtime=102.26 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 22792 0 0 0 10214 12 0 0 25 0 1 0 97339322 94547968 22774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 23083 22774 170 317 0 22762 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 92332 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12506 /proc/meminfo: memFree=1681408/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=128304 CPUtime=162.25 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 30200 0 0 0 16209 16 0 0 25 0 1 0 97339322 131383296 30124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 32076 30124 170 317 0 31755 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 128304 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12506 /proc/meminfo: memFree=1657408/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=149980 CPUtime=222.23 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 36133 0 0 0 22203 20 0 0 25 0 1 0 97339322 153579520 36057 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 37495 36057 170 317 0 37174 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 149980 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12506 /proc/meminfo: memFree=1639872/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=166448 CPUtime=282.21 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 40551 0 0 0 28199 22 0 0 25 0 1 0 97339322 170442752 40475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 41612 40475 170 317 0 41291 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 166448 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12506 /proc/meminfo: memFree=1623680/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=181124 CPUtime=342.2 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 44557 0 0 0 34196 24 0 0 25 0 1 0 97339322 185470976 44481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 45281 44481 170 317 0 44960 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 181124 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12506 /proc/meminfo: memFree=1609984/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=194376 CPUtime=402.17 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 48053 0 0 0 40192 25 0 0 25 0 1 0 97339322 199041024 47863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 48594 47863 170 317 0 48273 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 194376 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12506 /proc/meminfo: memFree=1591424/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=233576 CPUtime=462.16 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 56412 0 0 0 46186 30 0 0 25 0 1 0 97339322 239181824 52493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 58394 52493 170 317 0 58073 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 233576 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12506 /proc/meminfo: memFree=1580928/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=243112 CPUtime=522.15 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 59065 0 0 0 52184 31 0 0 25 0 1 0 97339322 248946688 55146 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 60778 55146 170 317 0 60457 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 243112 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12506 /proc/meminfo: memFree=1569280/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=253032 CPUtime=582.12 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 61930 0 0 0 58181 31 0 0 25 0 1 0 97339322 259104768 58011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 63258 58011 170 317 0 62937 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 253032 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12506 /proc/meminfo: memFree=1559296/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=262284 CPUtime=642.11 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 64446 0 0 0 64178 33 0 0 25 0 1 0 97339322 268578816 60494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 65571 60494 170 317 0 65250 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 262284 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1520448/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=297020 CPUtime=881.94 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 74172 0 0 0 88155 39 0 0 25 0 1 0 97339322 304148480 70121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 74255 70121 170 317 0 73934 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 297020 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1510400/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=305768 CPUtime=941.92 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 76723 0 0 0 94151 41 0 0 25 0 1 0 97339322 313106432 72672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 76442 72672 170 317 0 76121 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 305768 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1500608/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=313944 CPUtime=1001.9 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 79130 0 0 0 100148 42 0 0 25 0 1 0 97339322 321478656 75079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 78486 75079 170 317 0 78165 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 313944 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1491840/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=322364 CPUtime=1061.89 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 81350 0 0 0 106145 44 0 0 25 0 1 0 97339322 330100736 77299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 80591 77299 170 317 0 80270 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 322364 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1484032/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=329092 CPUtime=1121.86 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 83358 0 0 0 112142 44 0 0 25 0 1 0 97339322 336990208 79241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 82273 79241 170 317 0 81952 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 329092 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1475840/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=336628 CPUtime=1181.85 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 85453 0 0 0 118139 46 0 0 25 0 1 0 97339322 344707072 81303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 84157 81303 170 317 0 83836 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 336628 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1465024/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=346408 CPUtime=1241.83 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 88273 0 0 0 124136 47 0 0 25 0 1 0 97339322 354721792 83958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 86602 83958 170 317 0 86281 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 346408 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1454976/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=355400 CPUtime=1301.82 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 90888 0 0 0 130133 49 0 0 25 0 1 0 97339322 363929600 86441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 88850 86441 170 317 0 88529 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 355400 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1446400/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=363368 CPUtime=1361.8 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 93060 0 0 0 136129 51 0 0 25 0 1 0 97339322 372088832 88613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 90842 88613 170 317 0 90521 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 363368 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1437440/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=370948 CPUtime=1421.79 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 95287 0 0 0 142127 52 0 0 25 0 1 0 97339322 379850752 90840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 92737 90840 170 317 0 92416 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 370948 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1429504/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=378288 CPUtime=1481.77 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 97294 0 0 0 148124 53 0 0 25 0 1 0 97339322 387366912 92847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 94572 92847 170 317 0 94251 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 378288 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1420928/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=385448 CPUtime=1541.75 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 99443 0 0 0 154120 55 0 0 25 0 1 0 97339322 394698752 94963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 96362 94963 170 317 0 96041 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 385448 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1413440/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=392272 CPUtime=1601.73 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 101363 0 0 0 160117 56 0 0 25 0 1 0 97339322 401686528 96850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 98068 96850 170 317 0 97747 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 392272 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1400448/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=455096 CPUtime=1661.72 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 115630 0 0 0 166110 62 0 0 25 0 1 0 97339322 466018304 100035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 113774 100035 170 317 0 113453 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 455096 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.94 2/65 12704 /proc/meminfo: memFree=1393920/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=460808 CPUtime=1721.7 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 117307 0 0 0 172108 62 0 0 25 0 1 0 97339322 471867392 101679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 115202 101679 170 317 0 114881 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 460808 [startup+1782.3 s] /proc/loadavg: 1.07 0.99 0.95 2/65 12704 /proc/meminfo: memFree=1387456/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=466568 CPUtime=1781.69 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 118978 0 0 0 178106 63 0 0 25 0 1 0 97339322 477765632 103284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 116642 103284 170 317 0 116321 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 466568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.06 0.99 0.95 2/65 12704 /proc/meminfo: memFree=1385024/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=468128 CPUtime=1800.08 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 119581 0 0 0 179945 63 0 0 25 0 1 0 97339322 479363072 103887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 117032 103887 170 317 0 116711 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 468128 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.06 0.99 0.95 2/65 12704 /proc/meminfo: memFree=1385024/2055920 swapFree=4181928/4192956 [pid=12505] ppid=12503 vsize=369456 CPUtime=1800.18 /proc/12505/stat : 12505 (oree) R 12503 12505 11876 0 -1 4194304 119600 0 0 0 179954 64 0 0 25 0 1 0 97339322 378322944 90546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12505/statm: 92235 90478 211 317 0 91914 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 369456 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.25 CPU user time (s): 1799.55 CPU system time (s): 0.707892 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 468128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.55 system time used= 0.707892 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 119600 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= 4220 runsolver used 1.3358 second user time and 3.65644 second system time The end
Begin job on node61 on Tue Apr 17 23:49:17 UTC 2007 IDJOB= 357067 IDBENCH= 1952 IDSOLVER= 172 FILE ID= node61/357067-1176853757 PBS_JOBID= 4590191 Free space on /tmp= 66510 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb COMMAND LINE= oree /tmp/evaluation/357067-1176853757/instance-357067-1176853757.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-357067-1176853757 -o ROOT/results/node61/solver-357067-1176853757 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357067-1176853757/instance-357067-1176853757.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7903a80129c7e51df900bcb9ac0a6f39 RANDOM SEED= 817514015 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1802008 kB Buffers: 21220 kB Cached: 191520 kB SwapCached: 5336 kB Active: 105600 kB Inactive: 119268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1802008 kB SwapTotal: 4192956 kB SwapFree: 4181928 kB Dirty: 1336 kB Writeback: 0 kB Mapped: 15400 kB Slab: 15180 kB Committed_AS: 779588 kB PageTables: 1388 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= 66510 MiB End job on node61 on Wed Apr 18 00:19:20 UTC 2007