Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 224 | 1800.24 | 1800.98 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb |
MD5SUM | 9cfc9eabeae08d1064da7d7b87db93a4 |
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.08 |
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 | 473 |
Total number of constraints | 473 |
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 | 473 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 473 |
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 | 473 |
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 | 473 |
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=473 #constraints=474 hasObjective=yes 0.00/0.02 c res. mode=mod 0.00/0.02 c VSIDS like heuristics 0.00/0.02 c complete search running 0.00/0.02 c nbDecision=247 #constraints=474 0.00/0.02 c linear search for optimum 0.00/0.02 o 226 0.00/0.09 c restart after 401 decisions 0.09/0.10 c nbDecision=500 #constraints=519 0.09/0.12 c nbDecision=692 #constraints=526 0.09/0.12 o 225 0.09/0.16 c restart after 801 decisions 0.09/0.17 c nbDecision=1000 #constraints=555 0.39/0.40 c nbDecision=1500 #constraints=680 0.39/0.47 c restart after 1601 decisions 0.49/0.57 c nbDecision=2000 #constraints=745 0.79/0.85 c nbDecision=2500 #constraints=874 1.19/1.23 c nbDecision=3000 #constraints=1032 1.39/1.42 c restart after 3201 decisions 1.59/1.60 c nbDecision=3500 #constraints=1138 2.10/2.18 c nbDecision=4000 #constraints=1328 2.59/2.64 c nbDecision=4500 #constraints=1461 3.09/3.19 c nbDecision=5000 #constraints=1601 3.59/3.65 c nbDecision=5500 #constraints=1704 4.29/4.32 c nbDecision=6000 #constraints=1857 4.99/5.02 c restart after 6401 decisions 5.19/5.21 c nbDecision=6500 #constraints=2007 5.99/6.09 c nbDecision=7000 #constraints=2148 6.99/7.06 c nbDecision=7500 #constraints=2314 7.70/7.71 c nbDecision=8000 #constraints=2452 8.59/8.63 c nbDecision=8500 #constraints=2639 9.69/9.79 c nbDecision=9000 #constraints=2827 10.69/10.75 c nbDecision=9500 #constraints=2969 11.89/11.98 c nbDecision=10000 #constraints=3145 13.69/13.75 c nbDecision=10500 #constraints=3347 15.39/15.41 c nbDecision=11000 #constraints=3507 17.69/17.79 c nbDecision=11500 #constraints=3722 19.79/19.83 c nbDecision=12000 #constraints=3893 22.08/22.18 c nbDecision=12500 #constraints=4080 22.99/23.01 c restart after 12801 decisions 23.89/23.95 c nbDecision=13000 #constraints=4160 25.38/25.45 c nbDecision=13500 #constraints=4297 26.78/26.89 c nbDecision=14000 #constraints=4425 28.48/28.56 c nbDecision=14500 #constraints=4567 30.38/30.47 c nbDecision=15000 #constraints=4724 32.38/32.44 c nbDecision=15500 #constraints=4870 34.88/34.94 c nbDecision=16000 #constraints=5044 37.48/37.51 c nbDecision=16500 #constraints=5167 40.68/40.74 c nbDecision=17000 #constraints=5329 43.67/43.73 c nbDecision=17500 #constraints=5477 46.48/46.51 c nbDecision=18000 #constraints=5606 50.38/50.41 c nbDecision=18500 #constraints=5784 53.47/53.56 c nbDecision=19000 #constraints=5943 56.87/56.96 c nbDecision=19500 #constraints=6109 60.86/60.95 c nbDecision=20000 #constraints=6296 65.27/65.32 c nbDecision=20500 #constraints=6460 68.57/68.69 c nbDecision=21000 #constraints=6596 71.66/71.78 c nbDecision=21500 #constraints=6725 75.46/75.50 c nbDecision=22000 #constraints=6887 78.96/79.04 c nbDecision=22500 #constraints=7021 82.06/82.12 c nbDecision=23000 #constraints=7130 85.96/86.03 c nbDecision=23500 #constraints=7280 89.65/89.71 c nbDecision=24000 #constraints=7406 92.95/93.01 c nbDecision=24500 #constraints=7512 97.16/97.23 c nbDecision=25000 #constraints=7668 100.95/101.01 c nbDecision=25500 #constraints=7796 101.55/101.60 c restart after 25601 decisions 104.85/104.97 c nbDecision=26000 #constraints=7875 108.85/108.90 c nbDecision=26500 #constraints=8022 112.85/112.95 c nbDecision=27000 #constraints=8172 117.25/117.36 c nbDecision=27500 #constraints=8307 121.95/122.09 c nbDecision=28000 #constraints=8448 126.34/126.42 c nbDecision=28500 #constraints=8587 129.54/129.66 c nbDecision=29000 #constraints=8706 133.34/133.46 c nbDecision=29500 #constraints=8832 137.44/137.51 c nbDecision=30000 #constraints=8954 142.44/142.58 c nbDecision=30500 #constraints=9073 147.24/147.31 c nbDecision=31000 #constraints=9182 152.24/152.36 c nbDecision=31500 #constraints=9300 157.24/157.33 c nbDecision=32000 #constraints=9430 162.53/162.63 c nbDecision=32500 #constraints=9542 167.33/167.47 c nbDecision=33000 #constraints=9656 172.33/172.40 c nbDecision=33500 #constraints=9774 178.12/178.21 c nbDecision=34000 #constraints=9943 186.33/186.41 c nbDecision=34500 #constraints=10190 193.02/193.12 c nbDecision=35000 #constraints=10374 200.02/200.12 c nbDecision=35500 #constraints=10565 208.62/208.75 c nbDecision=36000 #constraints=10800 215.11/215.20 c nbDecision=36500 #constraints=10968 222.61/222.70 c nbDecision=37000 #constraints=11168 231.81/231.90 c nbDecision=37500 #constraints=11401 238.70/238.85 c nbDecision=38000 #constraints=11572 246.30/246.44 c nbDecision=38500 #constraints=11762 256.00/256.19 c nbDecision=39000 #constraints=11994 262.70/262.89 c nbDecision=39500 #constraints=12167 269.20/269.31 c nbDecision=40000 #constraints=12351 276.09/276.29 c nbDecision=40500 #constraints=12531 284.39/284.58 c nbDecision=41000 #constraints=12711 293.28/293.47 c nbDecision=41500 #constraints=12888 302.38/302.59 c nbDecision=42000 #constraints=13064 312.08/312.21 c nbDecision=42500 #constraints=13242 321.67/321.89 c nbDecision=43000 #constraints=13423 328.97/329.10 c nbDecision=43500 #constraints=13558 337.57/337.78 c nbDecision=44000 #constraints=13710 346.57/346.74 c nbDecision=44500 #constraints=13870 354.56/354.79 c nbDecision=45000 #constraints=14002 363.76/363.94 c nbDecision=45500 #constraints=14162 372.35/372.50 c nbDecision=46000 #constraints=14308 381.05/381.21 c nbDecision=46500 #constraints=14452 390.26/390.40 c nbDecision=47000 #constraints=14606 397.95/398.16 c nbDecision=47500 #constraints=14739 405.14/405.32 c nbDecision=48000 #constraints=14873 414.04/414.24 c nbDecision=48500 #constraints=15005 422.63/422.89 c nbDecision=49000 #constraints=15121 431.73/431.91 c nbDecision=49500 #constraints=15241 439.93/440.17 c nbDecision=50000 #constraints=15348 448.53/448.73 c nbDecision=50500 #constraints=15483 457.22/457.49 c nbDecision=51000 #constraints=15647 462.02/462.27 c restart after 51201 decisions 467.72/467.99 c nbDecision=51500 #constraints=15763 478.52/478.78 c nbDecision=52000 #constraints=15967 490.91/491.11 c nbDecision=52500 #constraints=16187 502.71/502.97 c nbDecision=53000 #constraints=16403 511.50/511.75 c nbDecision=53500 #constraints=16564 511.60/511.83 c nbDecision=53520 #constraints=16564 511.60/511.83 o 224 518.40/518.60 c nbDecision=54000 #constraints=16707 527.20/527.44 c nbDecision=54500 #constraints=16880 536.29/536.53 c nbDecision=55000 #constraints=17054 548.39/548.68 c nbDecision=55500 #constraints=17297 560.29/560.55 c nbDecision=56000 #constraints=17523 568.68/568.94 c nbDecision=56500 #constraints=17707 581.88/582.13 c nbDecision=57000 #constraints=17943 595.67/595.95 c nbDecision=57500 #constraints=18166 607.57/607.86 c nbDecision=58000 #constraints=18367 617.06/617.38 c nbDecision=58500 #constraints=18544 623.76/624.07 c nbDecision=59000 #constraints=18677 634.76/635.07 c nbDecision=59500 #constraints=18861 645.66/645.91 c nbDecision=60000 #constraints=19042 663.35/663.69 c nbDecision=60500 #constraints=19269 675.15/675.46 c nbDecision=61000 #constraints=19425 686.04/686.36 c nbDecision=61500 #constraints=19574 698.83/699.18 c nbDecision=62000 #constraints=19758 710.93/711.29 c nbDecision=62500 #constraints=19914 722.23/722.53 c nbDecision=63000 #constraints=20068 734.12/734.48 c nbDecision=63500 #constraints=20237 748.91/749.27 c nbDecision=64000 #constraints=20424 759.11/759.50 c nbDecision=64500 #constraints=20568 768.61/768.91 c nbDecision=65000 #constraints=20699 781.40/781.73 c nbDecision=65500 #constraints=20889 791.90/792.23 c nbDecision=66000 #constraints=21048 805.09/805.46 c nbDecision=66500 #constraints=21217 814.80/815.19 c nbDecision=67000 #constraints=21355 824.49/824.87 c nbDecision=67500 #constraints=21492 837.79/838.13 c nbDecision=68000 #constraints=21618 848.47/848.84 c nbDecision=68500 #constraints=21726 859.55/859.99 c nbDecision=69000 #constraints=21832 871.32/871.73 c nbDecision=69500 #constraints=21950 891.19/891.63 c nbDecision=70000 #constraints=22223 906.78/907.23 c nbDecision=70500 #constraints=22423 921.47/921.92 c nbDecision=71000 #constraints=22634 939.66/940.14 c nbDecision=71500 #constraints=22873 959.06/959.51 c nbDecision=72000 #constraints=23103 973.66/974.15 c nbDecision=72500 #constraints=23308 988.25/988.71 c nbDecision=73000 #constraints=23499 1002.14/1002.67 c nbDecision=73500 #constraints=23687 1016.14/1016.68 c nbDecision=74000 #constraints=23878 1034.84/1035.40 c nbDecision=74500 #constraints=24088 1049.73/1050.25 c nbDecision=75000 #constraints=24245 1065.42/1065.90 c nbDecision=75500 #constraints=24403 1079.31/1079.87 c nbDecision=76000 #constraints=24535 1095.21/1095.70 c nbDecision=76500 #constraints=24697 1108.60/1109.19 c nbDecision=77000 #constraints=24846 1125.50/1126.05 c nbDecision=77500 #constraints=25016 1138.79/1139.35 c nbDecision=78000 #constraints=25161 1151.39/1151.90 c nbDecision=78500 #constraints=25297 1165.08/1165.64 c nbDecision=79000 #constraints=25413 1178.68/1179.23 c nbDecision=79500 #constraints=25518 1191.48/1192.07 c nbDecision=80000 #constraints=25628 1207.87/1208.45 c nbDecision=80500 #constraints=25834 1224.36/1224.90 c nbDecision=81000 #constraints=26043 1242.16/1242.73 c nbDecision=81500 #constraints=26274 1256.45/1257.04 c nbDecision=82000 #constraints=26447 1273.25/1273.81 c nbDecision=82500 #constraints=26621 1290.13/1290.71 c nbDecision=83000 #constraints=26777 1305.64/1306.22 c nbDecision=83500 #constraints=26931 1320.43/1321.07 c nbDecision=84000 #constraints=27088 1334.52/1335.13 c nbDecision=84500 #constraints=27214 1351.72/1352.37 c nbDecision=85000 #constraints=27365 1370.81/1371.44 c nbDecision=85500 #constraints=27567 1390.60/1391.28 c nbDecision=86000 #constraints=27772 1407.10/1407.73 c nbDecision=86500 #constraints=27938 1423.49/1424.10 c nbDecision=87000 #constraints=28075 1439.29/1439.96 c nbDecision=87500 #constraints=28211 1454.28/1454.99 c nbDecision=88000 #constraints=28320 1471.47/1472.18 c nbDecision=88500 #constraints=28484 1489.27/1489.99 c nbDecision=89000 #constraints=28646 1508.85/1509.56 c nbDecision=89500 #constraints=28839 1525.45/1526.10 c nbDecision=90000 #constraints=29021 1542.85/1543.53 c nbDecision=90500 #constraints=29206 1561.14/1561.90 c nbDecision=91000 #constraints=29376 1574.23/1574.99 c nbDecision=91500 #constraints=29506 1591.32/1592.05 c nbDecision=92000 #constraints=29654 1611.93/1612.66 c nbDecision=92500 #constraints=29830 1630.11/1630.84 c nbDecision=93000 #constraints=29996 1649.32/1650.06 c nbDecision=93500 #constraints=30161 1665.40/1666.19 c nbDecision=94000 #constraints=30284 1681.80/1682.54 c nbDecision=94500 #constraints=30403 1697.79/1698.59 c nbDecision=95000 #constraints=30521 1712.38/1713.12 c nbDecision=95500 #constraints=30651 1728.67/1729.47 c nbDecision=96000 #constraints=30769 1741.27/1742.04 c nbDecision=96500 #constraints=30860 1759.97/1760.74 c nbDecision=97000 #constraints=30990 1775.76/1776.58 c nbDecision=97500 #constraints=31110 1793.45/1794.30 c nbDecision=98000 #constraints=31238 1800.06/1800.80 Received signal 15 1800.16/1800.91 1800.16/1800.91 s SATISFIABLE 1800.16/1800.91 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.16/1800.91 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.16/1800.91 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 1800.16/1800.91 v x81 -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.16/1800.91 v -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 x126 -x127 1800.16/1800.91 v -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 x145 -x146 x147 -x148 -x149 1800.16/1800.91 v x150 x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 x159 x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.16/1800.91 v -x172 -x173 x174 -x175 -x176 x177 -x178 -x179 x180 x181 -x182 -x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 x192 x193 1800.16/1800.91 v x194 -x195 x196 x197 -x198 -x199 -x200 -x201 -x202 x203 x204 -x205 x206 -x207 -x208 -x209 x210 x211 x212 x213 x214 -x215 x216 1800.16/1800.91 v -x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 -x227 x228 -x229 x230 x231 x232 x233 -x234 x235 -x236 x237 x238 x239 x240 1800.16/1800.91 v -x241 x242 -x243 -x244 -x245 x246 x247 x248 -x249 x250 x251 x252 x253 -x254 -x255 -x256 x257 x258 -x259 -x260 x261 -x262 x263 1800.16/1800.91 v x264 x265 -x266 x267 x268 x269 -x270 x271 x272 -x273 x274 x275 x276 -x277 x278 x279 x280 -x281 -x282 x283 x284 -x285 -x286 -x287 1800.16/1800.91 v x288 -x289 x290 -x291 x292 x293 x294 -x295 x296 x297 -x298 x299 -x300 x301 x302 -x303 -x304 -x305 x306 x307 -x308 -x309 x310 1800.16/1800.91 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 1800.16/1800.91 v -x335 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.16/1800.91 v -x360 x361 x362 -x363 x364 x365 x366 -x367 -x368 x369 -x370 x371 -x372 x373 x374 x375 -x376 -x377 -x378 x379 x380 -x381 x382 1800.16/1800.91 v x383 x384 -x385 x386 x387 -x388 -x389 x390 x391 x392 -x393 x394 x395 x396 x397 x398 x399 x400 x401 -x402 x403 x404 x405 x406 1800.16/1800.91 v x407 x408 -x409 x410 x411 -x412 -x413 -x414 x415 x416 x417 x418 -x419 -x420 x421 x422 x423 x424 x425 x426 -x427 x428 x429 x430 1800.16/1800.91 v -x431 -x432 x433 x434 x435 -x436 x437 x438 -x439 x440 x441 -x442 x443 x444 x445 x446 -x447 x448 x449 x450 -x451 -x452 -x453 1800.16/1800.91 v x454 -x455 x456 x457 x458 x459 -x460 x461 x462 x463 -x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 1800.16/1800.91 1800.16/1800.91 c user time= 1799.55 s 1800.16/1800.91 c system time= 0.620905 s 1800.16/1800.91 c wall clock time=1800.91
OK 224
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-357066-1176853616 -o ROOT/results/node37/solver-357066-1176853616 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357066-1176853616/instance-357066-1176853616.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.94 0.99 0.99 2/78 19661 /proc/meminfo: memFree=1629192/2055920 swapFree=4131020/4192956 [pid=19661] ppid=19659 vsize=1468 CPUtime=0 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 133274077 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 367 164 131 317 0 46 0 [startup+0.010505 s] /proc/loadavg: 0.94 0.99 0.99 2/78 19661 /proc/meminfo: memFree=1629192/2055920 swapFree=4131020/4192956 [pid=19661] ppid=19659 vsize=1600 CPUtime=0 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 207 0 0 0 0 0 0 0 18 0 1 0 133274077 1638400 189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 400 189 131 317 0 79 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1600 [startup+0.101521 s] /proc/loadavg: 0.94 0.99 0.99 2/78 19661 /proc/meminfo: memFree=1629192/2055920 swapFree=4131020/4192956 [pid=19661] ppid=19659 vsize=2276 CPUtime=0.09 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 433 0 0 0 9 0 0 0 18 0 1 0 133274077 2330624 415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134607806 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 569 415 170 317 0 248 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2276 [startup+0.301559 s] /proc/loadavg: 0.94 0.99 0.99 2/78 19661 /proc/meminfo: memFree=1629192/2055920 swapFree=4131020/4192956 [pid=19661] ppid=19659 vsize=3588 CPUtime=0.29 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 758 0 0 0 29 0 0 0 19 0 1 0 133274077 3674112 740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716142 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 897 740 170 317 0 576 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3588 [startup+0.701635 s] /proc/loadavg: 0.94 0.99 0.99 2/78 19661 /proc/meminfo: memFree=1629192/2055920 swapFree=4131020/4192956 [pid=19661] ppid=19659 vsize=5812 CPUtime=0.69 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 1297 0 0 0 69 0 0 0 23 0 1 0 133274077 5951488 1279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272675 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 1453 1279 170 317 0 1132 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5812 [startup+1.50179 s] /proc/loadavg: 0.94 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1623360/2055920 swapFree=4131020/4192956 [pid=19661] ppid=19659 vsize=9532 CPUtime=1.49 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 2236 0 0 0 148 1 0 0 25 0 1 0 133274077 9760768 2218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 2383 2218 170 317 0 2062 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9532 [startup+3.10109 s] /proc/loadavg: 0.94 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1618880/2055920 swapFree=4131020/4192956 [pid=19661] ppid=19659 vsize=15744 CPUtime=3.09 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 3682 0 0 0 308 1 0 0 25 0 1 0 133274077 16121856 3664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 3936 3664 170 317 0 3615 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15744 [startup+6.30169 s] /proc/loadavg: 0.94 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1610240/2055920 swapFree=4131020/4192956 [pid=19661] ppid=19659 vsize=21628 CPUtime=6.29 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 5238 0 0 0 627 2 0 0 25 0 1 0 133274077 22147072 5220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593490 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 5407 5220 170 317 0 5086 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21628 [startup+12.7019 s] /proc/loadavg: 0.95 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1596672/2055920 swapFree=4131020/4192956 [pid=19661] ppid=19659 vsize=34972 CPUtime=12.68 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 8417 0 0 0 1265 3 0 0 25 0 1 0 133274077 35811328 8399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 8743 8399 170 317 0 8422 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34972 [startup+25.5013 s] /proc/loadavg: 0.96 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1585344/2055920 swapFree=4131020/4192956 [pid=19661] ppid=19659 vsize=45148 CPUtime=25.48 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 11096 0 0 0 2542 6 0 0 25 0 1 0 133274077 46231552 11078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 11287 11078 170 317 0 10966 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45148 [startup+51.1011 s] /proc/loadavg: 0.97 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1566272/2055920 swapFree=4131020/4192956 [pid=19661] ppid=19659 vsize=66436 CPUtime=51.07 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 15846 0 0 0 5098 9 0 0 25 0 1 0 133274077 68030464 15828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 16609 15828 170 317 0 16288 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 66436 [startup+102.306 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1544960/2055920 swapFree=4131084/4192956 [pid=19661] ppid=19659 vsize=86112 CPUtime=102.26 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 21137 0 0 0 10214 12 0 0 25 0 1 0 133274077 88178688 21119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 21528 21119 170 317 0 21207 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 86112 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1520128/2055920 swapFree=4131084/4192956 [pid=19661] ppid=19659 vsize=117332 CPUtime=162.23 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 27412 0 0 0 16208 15 0 0 25 0 1 0 133274077 120147968 27336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 29333 27336 170 317 0 29012 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 117332 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1502912/2055920 swapFree=4131148/4192956 [pid=19661] ppid=19659 vsize=132968 CPUtime=222.21 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 31677 0 0 0 22204 17 0 0 25 0 1 0 133274077 136159232 31601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 33242 31601 170 317 0 32921 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 132968 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1487168/2055920 swapFree=4131148/4192956 [pid=19661] ppid=19659 vsize=148388 CPUtime=282.18 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 35627 0 0 0 28198 20 0 0 25 0 1 0 133274077 151949312 35551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 37097 35551 170 317 0 36776 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 148388 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1474880/2055920 swapFree=4131148/4192956 [pid=19661] ppid=19659 vsize=159532 CPUtime=342.16 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 38764 0 0 0 34194 22 0 0 25 0 1 0 133274077 163360768 38688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 39883 38688 170 317 0 39562 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 159532 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1463808/2055920 swapFree=4131212/4192956 [pid=19661] ppid=19659 vsize=170012 CPUtime=402.15 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 41560 0 0 0 40190 25 0 0 25 0 1 0 133274077 174092288 41484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 42503 41484 170 317 0 42182 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 170012 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1453632/2055920 swapFree=4131212/4192956 [pid=19661] ppid=19659 vsize=179112 CPUtime=462.12 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 43963 0 0 0 46186 26 0 0 25 0 1 0 133274077 183410688 43887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 44778 43887 170 317 0 44457 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 179112 [startup+522.303 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1443136/2055920 swapFree=4131276/4192956 [pid=19661] ppid=19659 vsize=189616 CPUtime=522.1 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 46775 0 0 0 52182 28 0 0 25 0 1 0 133274077 194166784 46585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 47404 46585 170 317 0 47083 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 189616 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1424000/2055920 swapFree=4131276/4192956 [pid=19661] ppid=19659 vsize=227304 CPUtime=582.08 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 55017 0 0 0 58175 33 0 0 25 0 1 0 133274077 232759296 51296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 56826 51296 170 317 0 56505 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 227304 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19662 /proc/meminfo: memFree=1412928/2055920 swapFree=4131276/4192956 [pid=19661] ppid=19659 vsize=237068 CPUtime=642.06 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 57757 0 0 0 64171 35 0 0 25 0 1 0 133274077 242757632 54036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 59267 54036 170 317 0 58946 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 237068 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.99 0.99 2/85 19830 /proc/meminfo: memFree=1377664/2055920 swapFree=4131404/4192956 [pid=19661] ppid=19659 vsize=266768 CPUtime=881.9 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 66302 0 0 0 88148 42 0 0 25 0 1 0 133274077 273170432 62515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 66692 62515 170 317 0 66371 0 Current children cumulated CPU time (s) 881.9 Current children cumulated vsize (KiB) 266768 [startup+942.301 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19860 /proc/meminfo: memFree=1370560/2055920 swapFree=4131468/4192956 [pid=19661] ppid=19659 vsize=275124 CPUtime=941.86 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 68537 0 0 0 94143 43 0 0 25 0 1 0 133274077 281726976 64585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716201 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 68781 64585 170 317 0 68460 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 275124 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19860 /proc/meminfo: memFree=1361984/2055920 swapFree=4131468/4192956 [pid=19661] ppid=19659 vsize=283168 CPUtime=1001.84 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 70863 0 0 0 100139 45 0 0 25 0 1 0 133274077 289964032 66746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 70792 66746 170 317 0 70471 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 283168 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19860 /proc/meminfo: memFree=1354816/2055920 swapFree=4131468/4192956 [pid=19661] ppid=19659 vsize=289588 CPUtime=1061.82 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 72652 0 0 0 106135 47 0 0 25 0 1 0 133274077 296538112 68535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 72397 68535 170 317 0 72076 0 Current children cumulated CPU time (s) 1061.82 Current children cumulated vsize (KiB) 289588 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19860 /proc/meminfo: memFree=1348032/2055920 swapFree=4131532/4192956 [pid=19661] ppid=19659 vsize=295652 CPUtime=1121.8 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 74333 0 0 0 112132 48 0 0 25 0 1 0 133274077 302747648 70216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718305 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 73913 70216 170 317 0 73592 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 295652 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19860 /proc/meminfo: memFree=1341760/2055920 swapFree=4131532/4192956 [pid=19661] ppid=19659 vsize=301436 CPUtime=1181.78 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 75916 0 0 0 118128 50 0 0 25 0 1 0 133274077 308670464 71799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 75359 71799 170 317 0 75038 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 301436 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19860 /proc/meminfo: memFree=1333568/2055920 swapFree=4131596/4192956 [pid=19661] ppid=19659 vsize=308280 CPUtime=1241.76 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 77945 0 0 0 124125 51 0 0 25 0 1 0 133274077 315678720 73828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 77070 73828 170 317 0 76749 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 308280 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19860 /proc/meminfo: memFree=1326848/2055920 swapFree=4131596/4192956 [pid=19661] ppid=19659 vsize=314200 CPUtime=1301.74 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 79608 0 0 0 130122 52 0 0 25 0 1 0 133274077 321740800 75491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 78550 75491 170 317 0 78229 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 314200 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19860 /proc/meminfo: memFree=1320640/2055920 swapFree=4131596/4192956 [pid=19661] ppid=19659 vsize=320208 CPUtime=1361.71 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 81300 0 0 0 136118 53 0 0 25 0 1 0 133274077 327892992 77051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 80052 77051 170 317 0 79731 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 320208 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/79 19860 /proc/meminfo: memFree=1314368/2055920 swapFree=4131660/4192956 [pid=19661] ppid=19659 vsize=326064 CPUtime=1421.69 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 82958 0 0 0 142115 54 0 0 25 0 1 0 133274077 333889536 78610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 81516 78610 170 317 0 81195 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 326064 [startup+1482.3 s] /proc/loadavg: 1.04 1.01 1.00 2/79 19860 /proc/meminfo: memFree=1308416/2055920 swapFree=4131660/4192956 [pid=19661] ppid=19659 vsize=331416 CPUtime=1481.67 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 84473 0 0 0 148112 55 0 0 25 0 1 0 133274077 339369984 80092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 82854 80092 170 317 0 82533 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 331416 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 1.00 2/79 19860 /proc/meminfo: memFree=1301120/2055920 swapFree=4131724/4192956 [pid=19661] ppid=19659 vsize=337332 CPUtime=1541.64 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 86319 0 0 0 154107 57 0 0 25 0 1 0 133274077 345427968 81938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 84333 81938 170 317 0 84012 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 337332 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19860 /proc/meminfo: memFree=1295040/2055920 swapFree=4131724/4192956 [pid=19661] ppid=19659 vsize=343008 CPUtime=1601.63 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 87866 0 0 0 160104 59 0 0 25 0 1 0 133274077 351240192 83452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 85752 83452 170 317 0 85431 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 343008 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19860 /proc/meminfo: memFree=1289216/2055920 swapFree=4131724/4192956 [pid=19661] ppid=19659 vsize=348236 CPUtime=1661.6 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 89354 0 0 0 166100 60 0 0 25 0 1 0 133274077 356593664 84907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 87059 84907 170 317 0 86738 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 348236 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19860 /proc/meminfo: memFree=1283776/2055920 swapFree=4131788/4192956 [pid=19661] ppid=19659 vsize=353036 CPUtime=1721.57 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 90771 0 0 0 172097 60 0 0 25 0 1 0 133274077 361508864 86291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 88259 86291 170 317 0 87938 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 353036 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19860 /proc/meminfo: memFree=1279168/2055920 swapFree=4131788/4192956 [pid=19661] ppid=19659 vsize=357564 CPUtime=1781.56 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 91894 0 0 0 178095 61 0 0 25 0 1 0 133274077 366145536 87414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 89391 87414 170 317 0 89070 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (KiB) 357564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19860 /proc/meminfo: memFree=1277056/2055920 swapFree=4131788/4192956 [pid=19661] ppid=19659 vsize=358992 CPUtime=1800.06 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 92412 0 0 0 179944 62 0 0 25 0 1 0 133274077 367607808 87932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 89748 87932 170 317 0 89427 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 358992 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 1.00 2/79 19860 /proc/meminfo: memFree=1277056/2055920 swapFree=4131788/4192956 [pid=19661] ppid=19659 vsize=358992 CPUtime=1800.16 /proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 92420 0 0 0 179954 62 0 0 25 0 1 0 133274077 367607808 87940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19661/statm: 89748 87940 170 317 0 89427 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 358992 Child status: 0 Real time (s): 1800.98 CPU time (s): 1800.24 CPU user time (s): 1799.56 CPU system time (s): 0.676897 CPU usage (%): 99.9587 Max. virtual memory (cumulated for all children) (KiB): 358992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.676897 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 92436 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= 20453 runsolver used 1.77773 second user time and 4.80027 second system time The end
Begin job on node37 on Tue Apr 17 23:46:56 UTC 2007 IDJOB= 357066 IDBENCH= 1951 IDSOLVER= 172 FILE ID= node37/357066-1176853616 PBS_JOBID= 4590205 Free space on /tmp= 66462 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_15.opb.PB06.opb COMMAND LINE= oree /tmp/evaluation/357066-1176853616/instance-357066-1176853616.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-357066-1176853616 -o ROOT/results/node37/solver-357066-1176853616 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357066-1176853616/instance-357066-1176853616.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 9cfc9eabeae08d1064da7d7b87db93a4 RANDOM SEED= 213004531 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1629536 kB Buffers: 37368 kB Cached: 303816 kB SwapCached: 3304 kB Active: 190228 kB Inactive: 177264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1629536 kB SwapTotal: 4192956 kB SwapFree: 4131020 kB Dirty: 1360 kB Writeback: 0 kB Mapped: 33320 kB Slab: 44184 kB Committed_AS: 1099312 kB PageTables: 2000 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= 66462 MiB End job on node37 on Wed Apr 18 00:16:59 UTC 2007