Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 212 | 1800.27 | 1801.02 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb |
MD5SUM | 80b0f13939656efa52b7dd958ee28431 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 180 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 180 |
Optimality of the best value was proved | NO |
Number of variables | 467 |
Total number of constraints | 466 |
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 | 466 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 15 |
Number of terms in the objective function | 467 |
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 | 467 |
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 | 467 |
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=467 #constraints=467 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=251 #constraints=467 0.00/0.02 c linear search for optimum 0.00/0.02 o 216 0.00/0.02 c nbDecision=251 #constraints=469 0.00/0.02 o 215 0.09/0.12 c restart after 401 decisions 0.09/0.13 c nbDecision=500 #constraints=536 0.19/0.24 c restart after 801 decisions 0.19/0.25 c nbDecision=1000 #constraints=602 0.49/0.56 c nbDecision=1500 #constraints=778 0.59/0.64 c restart after 1601 decisions 0.69/0.79 c nbDecision=2000 #constraints=870 1.19/1.25 c nbDecision=2500 #constraints=1056 1.79/1.80 c nbDecision=3000 #constraints=1238 2.00/2.06 c restart after 3201 decisions 2.20/2.25 c nbDecision=3500 #constraints=1332 2.89/2.92 c nbDecision=4000 #constraints=1502 3.69/3.75 c nbDecision=4500 #constraints=1694 4.59/4.65 c nbDecision=5000 #constraints=1884 5.49/5.59 c nbDecision=5500 #constraints=2076 6.69/6.72 c nbDecision=6000 #constraints=2261 7.79/7.86 c restart after 6401 decisions 8.09/8.11 c nbDecision=6500 #constraints=2422 9.18/9.22 c nbDecision=7000 #constraints=2549 10.28/10.38 c nbDecision=7418 #constraints=2688 10.28/10.38 o 214 10.69/10.71 c nbDecision=7500 #constraints=2726 12.29/12.35 c nbDecision=8000 #constraints=2913 14.19/14.21 c nbDecision=8500 #constraints=3108 16.08/16.14 c nbDecision=9000 #constraints=3298 18.09/18.18 c nbDecision=9500 #constraints=3483 20.28/20.39 c nbDecision=10000 #constraints=3667 22.78/22.82 c nbDecision=10500 #constraints=3862 25.09/25.19 c nbDecision=11000 #constraints=4053 27.58/27.65 c nbDecision=11500 #constraints=4242 29.98/30.10 c nbDecision=12000 #constraints=4434 32.68/32.77 c nbDecision=12500 #constraints=4618 34.78/34.88 c restart after 12801 decisions 35.78/35.88 c nbDecision=13000 #constraints=4738 39.07/39.19 c nbDecision=13500 #constraints=4905 42.07/42.16 c nbDecision=14000 #constraints=5080 44.28/44.36 c nbDecision=14500 #constraints=5264 46.57/46.63 c nbDecision=15000 #constraints=5440 49.08/49.14 c nbDecision=15500 #constraints=5618 51.58/51.70 c nbDecision=16000 #constraints=5788 54.08/54.15 c nbDecision=16500 #constraints=5942 56.97/57.08 c nbDecision=17000 #constraints=6124 60.07/60.11 c nbDecision=17500 #constraints=6310 63.07/63.20 c nbDecision=18000 #constraints=6492 66.37/66.49 c nbDecision=18500 #constraints=6672 70.67/70.72 c nbDecision=19000 #constraints=6851 74.77/74.81 c nbDecision=19500 #constraints=7010 79.36/79.41 c nbDecision=20000 #constraints=7193 79.66/79.77 c nbDecision=20061 #constraints=7202 79.66/79.77 o 213 83.36/83.42 c nbDecision=20500 #constraints=7373 87.36/87.45 c nbDecision=21000 #constraints=7557 91.56/91.66 c nbDecision=21500 #constraints=7736 95.85/95.99 c nbDecision=22000 #constraints=7916 100.26/100.38 c nbDecision=22500 #constraints=8099 105.56/105.66 c nbDecision=23000 #constraints=8279 110.26/110.35 c nbDecision=23500 #constraints=8461 115.15/115.28 c nbDecision=24000 #constraints=8652 119.95/120.07 c nbDecision=24500 #constraints=8839 124.94/125.00 c nbDecision=25000 #constraints=9021 130.55/130.65 c nbDecision=25500 #constraints=9200 131.85/131.91 c restart after 25601 decisions 136.55/136.60 c nbDecision=26000 #constraints=9306 142.74/142.87 c nbDecision=26500 #constraints=9456 149.64/149.79 c nbDecision=27000 #constraints=9604 155.73/155.83 c nbDecision=27500 #constraints=9736 162.24/162.38 c nbDecision=28000 #constraints=9884 168.93/169.01 c nbDecision=28500 #constraints=10039 174.93/175.03 c nbDecision=29000 #constraints=10174 180.93/181.05 c nbDecision=29500 #constraints=10322 187.63/187.75 c nbDecision=30000 #constraints=10496 194.53/194.69 c nbDecision=30500 #constraints=10665 201.52/201.68 c nbDecision=31000 #constraints=10808 208.22/208.40 c nbDecision=31500 #constraints=10969 216.31/216.41 c nbDecision=32000 #constraints=11109 224.71/224.87 c nbDecision=32500 #constraints=11268 232.22/232.31 c nbDecision=33000 #constraints=11409 239.91/240.05 c nbDecision=33500 #constraints=11564 247.21/247.38 c nbDecision=34000 #constraints=11718 254.90/255.01 c nbDecision=34500 #constraints=11867 262.70/262.86 c nbDecision=35000 #constraints=12026 271.60/271.80 c nbDecision=35500 #constraints=12183 280.10/280.21 c nbDecision=36000 #constraints=12332 288.49/288.68 c nbDecision=36500 #constraints=12476 297.39/297.51 c nbDecision=37000 #constraints=12614 309.88/310.00 c nbDecision=37500 #constraints=12793 321.58/321.77 c nbDecision=38000 #constraints=12954 330.28/330.41 c nbDecision=38500 #constraints=13082 338.08/338.21 c nbDecision=39000 #constraints=13265 345.27/345.45 c nbDecision=39500 #constraints=13410 352.67/352.87 c nbDecision=40000 #constraints=13553 361.86/362.07 c nbDecision=40500 #constraints=13711 370.27/370.46 c nbDecision=41000 #constraints=13838 379.46/379.68 c nbDecision=41500 #constraints=14001 389.46/389.61 c nbDecision=42000 #constraints=14173 400.25/400.49 c nbDecision=42500 #constraints=14342 411.35/411.56 c nbDecision=43000 #constraints=14535 423.35/423.58 c nbDecision=43500 #constraints=14702 432.05/432.30 c nbDecision=44000 #constraints=14842 439.84/440.04 c nbDecision=44500 #constraints=15000 447.44/447.61 c nbDecision=45000 #constraints=15168 455.13/455.35 c nbDecision=45500 #constraints=15313 462.73/462.94 c nbDecision=46000 #constraints=15450 471.93/472.20 c nbDecision=46500 #constraints=15576 482.02/482.22 c nbDecision=47000 #constraints=15737 493.23/493.43 c nbDecision=47500 #constraints=15918 505.22/505.45 c nbDecision=48000 #constraints=16097 516.41/516.64 c nbDecision=48500 #constraints=16249 527.41/527.61 c nbDecision=49000 #constraints=16409 537.50/537.79 c nbDecision=49500 #constraints=16557 546.70/546.91 c nbDecision=50000 #constraints=16714 554.90/555.15 c nbDecision=50500 #constraints=16888 563.16/563.45 c nbDecision=51000 #constraints=17048 566.06/566.40 c restart after 51201 decisions 571.25/571.56 c nbDecision=51500 #constraints=17133 579.72/580.05 c nbDecision=52000 #constraints=17305 588.30/588.67 c nbDecision=52500 #constraints=17467 596.99/597.39 c nbDecision=53000 #constraints=17632 606.67/607.02 c nbDecision=53500 #constraints=17789 617.46/617.85 c nbDecision=54000 #constraints=17953 628.06/628.46 c nbDecision=54500 #constraints=18108 638.16/638.50 c nbDecision=55000 #constraints=18273 647.25/647.62 c nbDecision=55500 #constraints=18428 657.15/657.59 c nbDecision=56000 #constraints=18609 667.14/667.53 c nbDecision=56500 #constraints=18776 678.04/678.46 c nbDecision=57000 #constraints=18978 688.44/688.85 c nbDecision=57500 #constraints=19119 699.53/699.95 c nbDecision=58000 #constraints=19321 710.83/711.22 c nbDecision=58500 #constraints=19522 721.93/722.39 c nbDecision=59000 #constraints=19655 734.92/735.38 c nbDecision=59500 #constraints=19828 748.12/748.54 c nbDecision=60000 #constraints=20001 760.82/761.28 c nbDecision=60500 #constraints=20163 774.01/774.46 c nbDecision=61000 #constraints=20285 789.70/790.13 c nbDecision=61500 #constraints=20438 804.89/805.34 c nbDecision=62000 #constraints=20567 818.40/818.83 c nbDecision=62500 #constraints=20715 831.49/831.96 c nbDecision=63000 #constraints=20863 845.08/845.56 c nbDecision=63500 #constraints=21012 859.97/860.44 c nbDecision=64000 #constraints=21162 873.67/874.10 c nbDecision=64500 #constraints=21313 886.77/887.28 c nbDecision=65000 #constraints=21468 900.26/900.73 c nbDecision=65500 #constraints=21599 912.75/913.22 c nbDecision=66000 #constraints=21736 924.56/925.05 c nbDecision=66500 #constraints=21881 935.35/935.88 c nbDecision=67000 #constraints=22030 946.94/947.47 c nbDecision=67500 #constraints=22216 957.95/958.48 c nbDecision=68000 #constraints=22354 969.34/969.85 c nbDecision=68500 #constraints=22498 981.04/981.57 c nbDecision=69000 #constraints=22666 993.43/993.95 c nbDecision=69500 #constraints=22800 1007.32/1007.89 c nbDecision=70000 #constraints=22959 1023.22/1023.76 c nbDecision=70500 #constraints=23116 1039.21/1039.76 c nbDecision=71000 #constraints=23264 1057.10/1057.63 c nbDecision=71500 #constraints=23433 1069.30/1069.89 c nbDecision=72000 #constraints=23557 1087.50/1088.00 c nbDecision=72500 #constraints=23733 1105.39/1105.96 c nbDecision=73000 #constraints=23905 1122.18/1122.77 c nbDecision=73500 #constraints=24039 1142.48/1143.09 c nbDecision=74000 #constraints=24199 1157.77/1158.39 c nbDecision=74500 #constraints=24326 1173.27/1173.89 c nbDecision=75000 #constraints=24515 1188.96/1189.52 c nbDecision=75500 #constraints=24697 1206.06/1206.68 c nbDecision=76000 #constraints=24860 1219.75/1220.37 c nbDecision=76500 #constraints=25013 1237.64/1238.24 c nbDecision=77000 #constraints=25193 1253.54/1254.12 c nbDecision=77500 #constraints=25384 1269.23/1269.83 c nbDecision=78000 #constraints=25527 1284.92/1285.51 c nbDecision=78500 #constraints=25674 1300.22/1300.86 c nbDecision=79000 #constraints=25858 1316.02/1316.67 c nbDecision=79500 #constraints=26034 1335.21/1335.84 c nbDecision=80000 #constraints=26217 1352.90/1353.51 c nbDecision=80500 #constraints=26410 1369.60/1370.21 c nbDecision=81000 #constraints=26596 1387.69/1388.34 c nbDecision=81500 #constraints=26751 1403.48/1404.12 c nbDecision=82000 #constraints=26887 1423.77/1424.43 c nbDecision=82500 #constraints=27051 1444.57/1445.25 c nbDecision=83000 #constraints=27221 1463.36/1464.09 c nbDecision=83500 #constraints=27366 1477.85/1478.53 c nbDecision=84000 #constraints=27526 1492.66/1493.35 c nbDecision=84500 #constraints=27698 1508.94/1509.65 c nbDecision=85000 #constraints=27857 1521.74/1522.44 c nbDecision=85500 #constraints=28009 1537.53/1538.28 c nbDecision=86000 #constraints=28180 1553.23/1553.98 c nbDecision=86500 #constraints=28343 1565.42/1566.14 c nbDecision=87000 #constraints=28487 1577.82/1578.57 c nbDecision=87500 #constraints=28637 1593.92/1594.62 c nbDecision=88000 #constraints=28810 1610.31/1611.09 c nbDecision=88500 #constraints=28985 1626.71/1627.44 c nbDecision=89000 #constraints=29158 1642.50/1643.28 c nbDecision=89500 #constraints=29330 1659.19/1659.96 c nbDecision=90000 #constraints=29475 1675.78/1676.56 c nbDecision=90500 #constraints=29614 1698.08/1698.86 c nbDecision=91000 #constraints=29790 1712.87/1713.61 c nbDecision=91500 #constraints=29925 1728.86/1729.65 c nbDecision=92000 #constraints=30073 1734.36/1735.10 c nbDecision=92187 #constraints=30117 1734.36/1735.10 o 212 1743.16/1743.91 c nbDecision=92500 #constraints=30227 1762.15/1762.97 c nbDecision=93000 #constraints=30404 1780.15/1780.97 c nbDecision=93500 #constraints=30588 1796.44/1797.30 c nbDecision=94000 #constraints=30714 1800.04/1800.80 Received signal 15 1800.14/1800.95 1800.14/1800.95 s SATISFIABLE 1800.14/1800.95 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.14/1800.95 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.14/1800.95 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.14/1800.95 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 1800.14/1800.95 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 x116 -x117 x118 x119 -x120 x121 -x122 -x123 -x124 x125 -x126 -x127 1800.14/1800.95 v x128 -x129 x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 x149 1800.14/1800.95 v -x150 x151 -x152 -x153 -x154 -x155 x156 x157 x158 x159 -x160 -x161 x162 x163 -x164 x165 x166 -x167 x168 x169 x170 -x171 x172 1800.14/1800.95 v -x173 x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 1800.14/1800.95 v -x195 -x196 -x197 -x198 x199 -x200 x201 -x202 -x203 -x204 x205 -x206 x207 -x208 -x209 x210 -x211 -x212 x213 x214 -x215 -x216 1800.14/1800.95 v -x217 -x218 x219 x220 -x221 -x222 x223 x224 x225 x226 x227 x228 x229 -x230 -x231 x232 -x233 x234 x235 x236 -x237 x238 -x239 1800.14/1800.95 v -x240 -x241 x242 -x243 x244 x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 1800.14/1800.95 v x262 -x263 -x264 -x265 -x266 x267 x268 x269 -x270 -x271 x272 -x273 x274 x275 x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 1800.14/1800.95 v x285 x286 -x287 x288 -x289 x290 x291 x292 -x293 x294 x295 x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 -x305 x306 x307 -x308 1800.14/1800.95 v x309 -x310 x311 x312 x313 -x314 x315 x316 -x317 x318 x319 x320 -x321 -x322 x323 x324 x325 x326 x327 -x328 x329 -x330 x331 -x332 1800.14/1800.95 v x333 -x334 x335 x336 x337 -x338 x339 x340 x341 x342 x343 x344 x345 -x346 x347 -x348 x349 x350 -x351 x352 x353 x354 x355 x356 1800.14/1800.95 v x357 x358 x359 -x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 -x371 -x372 x373 x374 x375 x376 x377 x378 x379 -x380 -x381 1800.14/1800.95 v x382 -x383 x384 -x385 -x386 x387 -x388 x389 x390 x391 x392 x393 -x394 x395 x396 -x397 x398 x399 x400 -x401 x402 x403 x404 x405 1800.14/1800.95 v -x406 x407 -x408 x409 -x410 x411 x412 x413 -x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 -x428 x429 1800.14/1800.95 v x430 x431 x432 -x433 -x434 x435 x436 x437 x438 x439 -x440 x441 -x442 x443 x444 x445 x446 x447 x448 -x449 x450 x451 x452 x453 1800.14/1800.95 v x454 x455 x456 x457 x458 x459 x460 x461 -x462 x463 -x464 x465 x466 x467 1800.14/1800.95 1800.14/1800.96 c user time= 1799.64 s 1800.14/1800.96 c system time= 0.565913 s 1800.14/1800.96 c wall clock time=1800.96
OK 212
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-357072-1176853902 -o ROOT/results/node25/solver-357072-1176853902 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357072-1176853902/instance-357072-1176853902.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 16427 /proc/meminfo: memFree=1776392/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=1468 CPUtime=0 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 133307295 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 367 163 131 317 0 46 0 [startup+0.033378 s] /proc/loadavg: 0.92 0.98 0.99 3/64 16427 /proc/meminfo: memFree=1776392/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=1880 CPUtime=0.03 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 318 0 0 0 3 0 0 0 18 0 1 0 133307295 1925120 300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 470 300 170 317 0 149 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1880 [startup+0.101389 s] /proc/loadavg: 0.92 0.98 0.99 3/64 16427 /proc/meminfo: memFree=1776392/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=2404 CPUtime=0.09 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 444 0 0 0 9 0 0 0 18 0 1 0 133307295 2461696 426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 601 426 170 317 0 280 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2404 [startup+0.301423 s] /proc/loadavg: 0.92 0.98 0.99 3/64 16427 /proc/meminfo: memFree=1776392/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=3708 CPUtime=0.29 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 766 0 0 0 29 0 0 0 19 0 1 0 133307295 3796992 748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 927 748 170 317 0 606 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3708 [startup+0.701491 s] /proc/loadavg: 0.92 0.98 0.99 3/64 16427 /proc/meminfo: memFree=1776392/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=5820 CPUtime=0.69 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 1297 0 0 0 69 0 0 0 23 0 1 0 133307295 5959680 1279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 1455 1279 170 317 0 1134 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5820 [startup+1.50163 s] /proc/loadavg: 0.92 0.98 0.99 2/65 16428 /proc/meminfo: memFree=1770688/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=9396 CPUtime=1.49 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 2196 0 0 0 149 0 0 0 25 0 1 0 133307295 9621504 2178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 2349 2178 170 317 0 2028 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9396 [startup+3.1019 s] /proc/loadavg: 0.92 0.98 0.99 2/65 16428 /proc/meminfo: memFree=1766656/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=14572 CPUtime=3.09 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 3417 0 0 0 308 1 0 0 25 0 1 0 133307295 14921728 3399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 3643 3399 170 317 0 3322 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14572 [startup+6.30145 s] /proc/loadavg: 0.93 0.98 0.99 2/65 16428 /proc/meminfo: memFree=1758528/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=20340 CPUtime=6.29 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 4925 0 0 0 627 2 0 0 25 0 1 0 133307295 20828160 4907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 5085 4907 170 317 0 4764 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20340 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/65 16428 /proc/meminfo: memFree=1748800/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=30216 CPUtime=12.69 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 7184 0 0 0 1266 3 0 0 25 0 1 0 133307295 30941184 7166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 7554 7166 170 317 0 7233 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30216 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/65 16428 /proc/meminfo: memFree=1737472/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=40108 CPUtime=25.49 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 9855 0 0 0 2543 6 0 0 25 0 1 0 133307295 41070592 9837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 10027 9837 170 317 0 9706 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 40108 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/65 16428 /proc/meminfo: memFree=1718528/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=61464 CPUtime=51.08 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 14622 0 0 0 5099 9 0 0 25 0 1 0 133307295 62939136 14604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 15366 14604 170 317 0 15045 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 61464 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 16428 /proc/meminfo: memFree=1694976/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=82788 CPUtime=102.26 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 20405 0 0 0 10212 14 0 0 25 0 1 0 133307295 84774912 20387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 20697 20387 170 317 0 20376 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 82788 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 16428 /proc/meminfo: memFree=1672640/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=111160 CPUtime=162.24 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 26063 0 0 0 16206 18 0 0 25 0 1 0 133307295 113827840 25987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 27790 25987 170 317 0 27469 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 111160 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 16428 /proc/meminfo: memFree=1660096/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=122600 CPUtime=222.21 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 29154 0 0 0 22202 19 0 0 25 0 1 0 133307295 125542400 29078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 30650 29078 170 317 0 30329 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 122600 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 16428 /proc/meminfo: memFree=1648896/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=132668 CPUtime=282.2 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 31980 0 0 0 28199 21 0 0 25 0 1 0 133307295 135852032 31904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 33167 31904 170 317 0 32846 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 132668 [startup+342.302 s] /proc/loadavg: 1.07 1.00 1.00 2/65 16428 /proc/meminfo: memFree=1639552/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=141100 CPUtime=342.17 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 34299 0 0 0 34195 22 0 0 25 0 1 0 133307295 144486400 34223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 35275 34223 170 317 0 34954 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 141100 [startup+402.301 s] /proc/loadavg: 1.03 1.00 1.00 2/65 16428 /proc/meminfo: memFree=1629696/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=150312 CPUtime=402.16 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 36759 0 0 0 40192 24 0 0 25 0 1 0 133307295 153919488 36683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 37578 36683 170 317 0 37257 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 150312 [startup+462.301 s] /proc/loadavg: 1.01 1.00 1.00 2/65 16428 /proc/meminfo: memFree=1619392/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=159820 CPUtime=462.13 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 39295 0 0 0 46189 24 0 0 25 0 1 0 133307295 163655680 39219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 39955 39219 170 317 0 39634 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 159820 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16428 /proc/meminfo: memFree=1611136/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=168060 CPUtime=522.11 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 41371 0 0 0 52184 27 0 0 25 0 1 0 133307295 172093440 41295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 42015 41295 170 317 0 41694 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 168060 [startup+582.302 s] /proc/loadavg: 1.06 1.01 1.00 2/71 16550 /proc/meminfo: memFree=1593784/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=203020 CPUtime=582.02 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 48741 0 0 0 58172 30 0 0 25 0 1 0 133307295 207892480 45251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 50755 45251 170 317 0 50434 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 203020 [startup+642.301 s] /proc/loadavg: 1.02 1.01 1.00 2/65 16626 /proc/meminfo: memFree=1584832/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=211996 CPUtime=641.96 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 51274 0 0 0 64164 32 0 0 25 0 1 0 133307295 217083904 47751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 52999 47751 170 317 0 52678 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 211996 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.08 1.02 1.01 2/65 16626 /proc/meminfo: memFree=1554368/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=238800 CPUtime=881.87 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 58895 0 0 0 88149 38 0 0 25 0 1 0 133307295 244531200 55372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 59700 55372 170 317 0 59379 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 238800 [startup+942.301 s] /proc/loadavg: 1.03 1.01 1.00 2/65 16626 /proc/meminfo: memFree=1546816/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=245188 CPUtime=941.85 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 60777 0 0 0 94146 39 0 0 25 0 1 0 133307295 251072512 57254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715615 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 61297 57254 170 317 0 60976 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 245188 [startup+1002.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 16626 /proc/meminfo: memFree=1539392/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=251892 CPUtime=1001.83 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 62621 0 0 0 100142 41 0 0 25 0 1 0 133307295 257937408 59098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 62973 59098 170 317 0 62652 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 251892 [startup+1062.3 s] /proc/loadavg: 1.08 1.02 1.01 2/65 16626 /proc/meminfo: memFree=1533696/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=256888 CPUtime=1061.81 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 64057 0 0 0 106139 42 0 0 25 0 1 0 133307295 263053312 60534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 64222 60534 170 317 0 63901 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 256888 [startup+1122.3 s] /proc/loadavg: 1.03 1.01 1.00 2/65 16626 /proc/meminfo: memFree=1527488/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=261732 CPUtime=1121.78 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 65577 0 0 0 112136 42 0 0 25 0 1 0 133307295 268013568 62054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 65433 62054 170 317 0 65112 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 261732 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 16626 /proc/meminfo: memFree=1522112/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=266600 CPUtime=1181.77 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 66963 0 0 0 118133 44 0 0 25 0 1 0 133307295 272998400 63440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 66650 63440 170 317 0 66329 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 266600 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16626 /proc/meminfo: memFree=1515584/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=272536 CPUtime=1241.74 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 68594 0 0 0 124130 44 0 0 25 0 1 0 133307295 279076864 65038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 68134 65038 170 317 0 67813 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 272536 [startup+1302.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 16626 /proc/meminfo: memFree=1509440/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=277924 CPUtime=1301.72 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 70107 0 0 0 130126 46 0 0 25 0 1 0 133307295 284594176 66551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 69481 66551 170 317 0 69160 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 277924 [startup+1362.3 s] /proc/loadavg: 1.08 1.03 1.00 2/65 16626 /proc/meminfo: memFree=1503360/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=283948 CPUtime=1361.7 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 71822 0 0 0 136122 48 0 0 25 0 1 0 133307295 290762752 68101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 70987 68101 170 317 0 70666 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 283948 [startup+1422.3 s] /proc/loadavg: 1.08 1.03 1.00 2/65 16626 /proc/meminfo: memFree=1497920/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=288632 CPUtime=1421.67 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 73147 0 0 0 142119 48 0 0 25 0 1 0 133307295 295559168 69426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 72158 69426 170 317 0 71837 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 288632 [startup+1482.3 s] /proc/loadavg: 1.03 1.03 1.00 2/65 16626 /proc/meminfo: memFree=1492736/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=293856 CPUtime=1481.65 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 74589 0 0 0 148116 49 0 0 25 0 1 0 133307295 300908544 70736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 73464 70736 170 317 0 73143 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 293856 [startup+1542.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 16626 /proc/meminfo: memFree=1485632/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=299516 CPUtime=1541.64 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 76346 0 0 0 154113 51 0 0 25 0 1 0 133307295 306704384 72493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 74879 72493 170 317 0 74558 0 Current children cumulated CPU time (s) 1541.64 Current children cumulated vsize (KiB) 299516 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 16626 /proc/meminfo: memFree=1479104/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=305556 CPUtime=1601.61 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 78019 0 0 0 160109 52 0 0 25 0 1 0 133307295 312889344 74133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 76389 74133 170 317 0 76068 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 305556 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 16626 /proc/meminfo: memFree=1473216/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=310692 CPUtime=1661.59 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 79467 0 0 0 166106 53 0 0 25 0 1 0 133307295 318148608 75581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563898 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 77673 75581 170 317 0 77352 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 310692 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16626 /proc/meminfo: memFree=1468224/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=315008 CPUtime=1721.57 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 80722 0 0 0 172103 54 0 0 25 0 1 0 133307295 322568192 76836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 78752 76836 170 317 0 78431 0 Current children cumulated CPU time (s) 1721.57 Current children cumulated vsize (KiB) 315008 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16626 /proc/meminfo: memFree=1462464/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=320544 CPUtime=1781.54 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 82259 0 0 0 178099 55 0 0 25 0 1 0 133307295 328237056 78307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 80136 78307 170 317 0 79815 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 320544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16626 /proc/meminfo: memFree=1460544/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=321724 CPUtime=1800.04 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194304 82728 0 0 0 179948 56 0 0 25 0 1 0 133307295 329445376 78776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 80431 78776 170 317 0 80110 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 321724 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/65 16626 /proc/meminfo: memFree=1460544/2055920 swapFree=4166424/4192956 [pid=16427] ppid=16425 vsize=0 CPUtime=1800.24 /proc/16427/stat : 16427 (oree) R 16425 16427 15798 0 -1 4194308 82746 0 0 0 179965 59 0 0 25 0 1 0 133307295 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16427/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.02 CPU time (s): 1800.27 CPU user time (s): 1799.65 CPU system time (s): 0.617906 CPU usage (%): 99.9583 Max. virtual memory (cumulated for all children) (KiB): 321724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.617906 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82746 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= 5137 runsolver used 1.35679 second user time and 3.64245 second system time The end
Begin job on node25 on Tue Apr 17 23:51:42 UTC 2007 IDJOB= 357072 IDBENCH= 1957 IDSOLVER= 172 FILE ID= node25/357072-1176853902 PBS_JOBID= 4590194 Free space on /tmp= 66480 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_19.opb.PB06.opb COMMAND LINE= oree /tmp/evaluation/357072-1176853902/instance-357072-1176853902.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-357072-1176853902 -o ROOT/results/node25/solver-357072-1176853902 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357072-1176853902/instance-357072-1176853902.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 80b0f13939656efa52b7dd958ee28431 RANDOM SEED= 656885337 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1776864 kB Buffers: 23556 kB Cached: 186992 kB SwapCached: 20788 kB Active: 35760 kB Inactive: 201340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776864 kB SwapTotal: 4192956 kB SwapFree: 4166424 kB Dirty: 1344 kB Writeback: 0 kB Mapped: 15420 kB Slab: 28056 kB Committed_AS: 2111760 kB PageTables: 1472 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= 66480 MiB End job on node25 on Wed Apr 18 00:21:45 UTC 2007