Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 233 | 1800.24 | 1800.85 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
MD5SUM | 0a5749e09f3f6f40d04f442dc86d22a6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 188 |
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 | 188 |
Optimality of the best value was proved | NO |
Number of variables | 479 |
Total number of constraints | 479 |
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 | 479 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 479 |
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 | 479 |
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 | 479 |
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=479 #constraints=480 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=244 #constraints=480 0.00/0.02 c linear search for optimum 0.00/0.02 o 235 0.09/0.17 c restart after 401 decisions 0.09/0.17 c nbDecision=500 #constraints=564 0.29/0.30 c restart after 801 decisions 0.29/0.31 c nbDecision=1000 #constraints=628 0.59/0.65 c nbDecision=1500 #constraints=795 0.59/0.66 c nbDecision=1509 #constraints=795 0.59/0.66 o 234 0.69/0.74 c restart after 1601 decisions 0.89/0.93 c nbDecision=2000 #constraints=903 1.29/1.34 c nbDecision=2500 #constraints=1070 1.79/1.89 c nbDecision=3000 #constraints=1260 1.99/2.09 c restart after 3201 decisions 2.29/2.37 c nbDecision=3500 #constraints=1367 2.79/2.89 c nbDecision=3992 #constraints=1525 2.79/2.89 o 233 2.89/2.91 c nbDecision=4000 #constraints=1533 3.59/3.61 c nbDecision=4500 #constraints=1717 4.30/4.31 c nbDecision=5000 #constraints=1882 4.99/5.08 c nbDecision=5500 #constraints=2052 5.99/6.09 c nbDecision=6000 #constraints=2243 6.69/6.74 c restart after 6401 decisions 6.99/7.00 c nbDecision=6500 #constraints=2375 7.89/7.93 c nbDecision=7000 #constraints=2515 8.99/9.07 c nbDecision=7500 #constraints=2685 10.29/10.31 c nbDecision=8000 #constraints=2840 11.49/11.58 c nbDecision=8500 #constraints=2988 12.79/12.83 c nbDecision=9000 #constraints=3123 14.09/14.15 c nbDecision=9500 #constraints=3262 15.48/15.56 c nbDecision=10000 #constraints=3397 17.48/17.56 c nbDecision=10500 #constraints=3609 19.79/19.85 c nbDecision=11000 #constraints=3807 22.58/22.61 c nbDecision=11500 #constraints=4071 24.48/24.58 c nbDecision=12000 #constraints=4256 26.58/26.66 c nbDecision=12500 #constraints=4444 27.88/27.97 c restart after 12801 decisions 28.99/29.01 c nbDecision=13000 #constraints=4553 31.59/31.68 c nbDecision=13500 #constraints=4771 34.09/34.19 c nbDecision=14000 #constraints=4947 37.08/37.18 c nbDecision=14500 #constraints=5129 39.87/39.92 c nbDecision=15000 #constraints=5318 43.08/43.12 c nbDecision=15500 #constraints=5491 46.98/47.01 c nbDecision=16000 #constraints=5712 50.67/50.73 c nbDecision=16500 #constraints=5919 55.38/55.44 c nbDecision=17000 #constraints=6136 59.07/59.18 c nbDecision=17500 #constraints=6374 62.17/62.26 c nbDecision=18000 #constraints=6540 65.48/65.57 c nbDecision=18500 #constraints=6749 69.57/69.62 c nbDecision=19000 #constraints=6957 73.47/73.51 c nbDecision=19500 #constraints=7153 77.87/77.98 c nbDecision=20000 #constraints=7335 81.97/82.03 c nbDecision=20500 #constraints=7519 86.57/86.66 c nbDecision=21000 #constraints=7696 92.27/92.33 c nbDecision=21500 #constraints=7893 96.76/96.85 c nbDecision=22000 #constraints=8063 100.66/100.74 c nbDecision=22500 #constraints=8216 105.26/105.31 c nbDecision=23000 #constraints=8378 110.76/110.80 c nbDecision=23500 #constraints=8549 115.25/115.34 c nbDecision=24000 #constraints=8722 119.46/119.56 c nbDecision=24500 #constraints=8868 124.46/124.50 c nbDecision=25000 #constraints=9030 130.15/130.27 c nbDecision=25500 #constraints=9190 131.35/131.46 c restart after 25601 decisions 135.75/135.84 c nbDecision=26000 #constraints=9309 141.15/141.20 c nbDecision=26500 #constraints=9498 146.45/146.55 c nbDecision=27000 #constraints=9649 151.65/151.74 c nbDecision=27500 #constraints=9798 157.95/158.00 c nbDecision=28000 #constraints=9997 163.64/163.72 c nbDecision=28500 #constraints=10183 169.05/169.15 c nbDecision=29000 #constraints=10322 174.94/175.01 c nbDecision=29500 #constraints=10475 181.13/181.29 c nbDecision=30000 #constraints=10632 188.14/188.24 c nbDecision=30500 #constraints=10823 197.33/197.41 c nbDecision=31000 #constraints=11054 204.23/204.36 c nbDecision=31500 #constraints=11289 211.53/211.67 c nbDecision=32000 #constraints=11494 217.83/217.98 c nbDecision=32500 #constraints=11688 224.83/224.91 c nbDecision=33000 #constraints=11867 232.73/232.86 c nbDecision=33500 #constraints=12053 238.92/239.08 c nbDecision=34000 #constraints=12194 246.92/247.05 c nbDecision=34500 #constraints=12388 257.51/257.69 c nbDecision=35000 #constraints=12610 266.02/266.11 c nbDecision=35500 #constraints=12856 274.12/274.24 c nbDecision=36000 #constraints=13062 281.41/281.60 c nbDecision=36500 #constraints=13234 289.11/289.25 c nbDecision=37000 #constraints=13449 298.50/298.66 c nbDecision=37500 #constraints=13638 305.40/305.56 c nbDecision=38000 #constraints=13765 314.40/314.58 c nbDecision=38500 #constraints=13943 322.60/322.76 c nbDecision=39000 #constraints=14118 331.70/331.89 c nbDecision=39500 #constraints=14300 340.09/340.23 c nbDecision=40000 #constraints=14479 348.89/349.05 c nbDecision=40500 #constraints=14653 358.40/358.53 c nbDecision=41000 #constraints=14846 365.89/366.00 c nbDecision=41500 #constraints=15027 373.49/373.60 c nbDecision=42000 #constraints=15202 381.08/381.23 c nbDecision=42500 #constraints=15358 389.48/389.69 c nbDecision=43000 #constraints=15545 398.58/398.72 c nbDecision=43500 #constraints=15722 408.98/409.17 c nbDecision=44000 #constraints=15919 416.57/416.76 c nbDecision=44500 #constraints=16097 424.97/425.11 c nbDecision=45000 #constraints=16267 433.28/433.44 c nbDecision=45500 #constraints=16441 442.97/443.10 c nbDecision=46000 #constraints=16609 452.06/452.22 c nbDecision=46500 #constraints=16761 459.77/459.99 c nbDecision=47000 #constraints=16892 469.57/469.79 c nbDecision=47500 #constraints=17040 477.26/477.45 c nbDecision=48000 #constraints=17166 486.75/486.91 c nbDecision=48500 #constraints=17349 498.95/499.15 c nbDecision=49000 #constraints=17572 511.85/512.03 c nbDecision=49500 #constraints=17770 526.34/526.52 c nbDecision=50000 #constraints=18066 536.74/536.91 c nbDecision=50500 #constraints=18270 546.14/546.36 c nbDecision=51000 #constraints=18442 550.03/550.25 c restart after 51201 decisions 556.73/556.92 c nbDecision=51500 #constraints=18594 567.23/567.48 c nbDecision=52000 #constraints=18797 578.69/578.98 c nbDecision=52500 #constraints=19023 588.87/589.15 c nbDecision=53000 #constraints=19214 600.34/600.67 c nbDecision=53500 #constraints=19407 611.53/611.87 c nbDecision=54000 #constraints=19586 622.32/622.65 c nbDecision=54500 #constraints=19791 634.61/634.95 c nbDecision=55000 #constraints=20003 649.40/649.77 c nbDecision=55500 #constraints=20205 663.79/664.10 c nbDecision=56000 #constraints=20431 677.79/678.17 c nbDecision=56500 #constraints=20649 695.99/696.39 c nbDecision=57000 #constraints=20877 709.78/710.14 c nbDecision=57500 #constraints=21145 721.58/721.91 c nbDecision=58000 #constraints=21351 732.57/732.94 c nbDecision=58500 #constraints=21535 744.28/744.64 c nbDecision=59000 #constraints=21759 758.57/758.97 c nbDecision=59500 #constraints=21993 770.77/771.11 c nbDecision=60000 #constraints=22196 783.87/784.20 c nbDecision=60500 #constraints=22384 796.46/796.82 c nbDecision=61000 #constraints=22563 808.76/809.18 c nbDecision=61500 #constraints=22729 822.55/822.95 c nbDecision=62000 #constraints=22956 837.45/837.81 c nbDecision=62500 #constraints=23146 856.45/856.82 c nbDecision=63000 #constraints=23369 869.84/870.24 c nbDecision=63500 #constraints=23545 881.93/882.39 c nbDecision=64000 #constraints=23717 892.94/893.33 c nbDecision=64500 #constraints=23851 907.53/907.92 c nbDecision=65000 #constraints=24031 923.32/923.74 c nbDecision=65500 #constraints=24221 937.02/937.45 c nbDecision=66000 #constraints=24391 948.92/949.31 c nbDecision=66500 #constraints=24545 960.81/961.24 c nbDecision=67000 #constraints=24682 977.31/977.76 c nbDecision=67500 #constraints=24863 993.41/993.80 c nbDecision=68000 #constraints=25045 1009.50/1009.94 c nbDecision=68500 #constraints=25253 1023.20/1023.69 c nbDecision=69000 #constraints=25438 1036.90/1037.39 c nbDecision=69500 #constraints=25572 1052.69/1053.17 c nbDecision=70000 #constraints=25737 1069.38/1069.88 c nbDecision=70500 #constraints=25943 1084.58/1085.03 c nbDecision=71000 #constraints=26135 1099.18/1099.68 c nbDecision=71500 #constraints=26287 1113.97/1114.48 c nbDecision=72000 #constraints=26429 1130.17/1130.61 c nbDecision=72500 #constraints=26589 1145.36/1145.88 c nbDecision=73000 #constraints=26759 1164.65/1165.18 c nbDecision=73500 #constraints=26966 1188.85/1189.36 c nbDecision=74000 #constraints=27223 1206.85/1207.38 c nbDecision=74500 #constraints=27479 1224.44/1224.92 c nbDecision=75000 #constraints=27693 1242.23/1242.77 c nbDecision=75500 #constraints=27891 1258.33/1258.86 c nbDecision=76000 #constraints=28115 1276.03/1276.52 c nbDecision=76500 #constraints=28327 1297.82/1298.31 c nbDecision=77000 #constraints=28535 1312.32/1312.84 c nbDecision=77500 #constraints=28673 1327.12/1327.63 c nbDecision=78000 #constraints=28817 1347.10/1347.70 c nbDecision=78500 #constraints=29025 1372.50/1373.01 c nbDecision=79000 #constraints=29253 1394.19/1394.73 c nbDecision=79500 #constraints=29519 1413.29/1413.87 c nbDecision=80000 #constraints=29739 1433.18/1433.73 c nbDecision=80500 #constraints=29967 1451.38/1451.90 c nbDecision=81000 #constraints=30145 1468.17/1468.74 c nbDecision=81500 #constraints=30375 1487.77/1488.33 c nbDecision=82000 #constraints=30577 1510.26/1510.83 c nbDecision=82500 #constraints=30788 1525.25/1525.85 c nbDecision=83000 #constraints=30910 1542.45/1543.09 c nbDecision=83500 #constraints=31065 1564.54/1565.18 c nbDecision=84000 #constraints=31275 1582.53/1583.19 c nbDecision=84500 #constraints=31454 1603.84/1604.43 c nbDecision=85000 #constraints=31646 1622.63/1623.22 c nbDecision=85500 #constraints=31815 1642.03/1642.61 c nbDecision=86000 #constraints=31991 1662.11/1662.77 c nbDecision=86500 #constraints=32157 1682.21/1682.80 c nbDecision=87000 #constraints=32361 1698.61/1699.24 c nbDecision=87500 #constraints=32547 1717.80/1718.45 c nbDecision=88000 #constraints=32738 1735.00/1735.67 c nbDecision=88500 #constraints=32908 1754.80/1755.44 c nbDecision=89000 #constraints=33094 1774.69/1775.30 c nbDecision=89500 #constraints=33263 1796.38/1797.09 c nbDecision=90000 #constraints=33453 1800.08/1800.70 Received signal 15 1800.08/1800.78 1800.08/1800.78 s SATISFIABLE 1800.08/1800.78 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.78 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 1800.08/1800.78 v -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1800.08/1800.78 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.78 v -x107 -x108 -x109 x110 x111 x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 x123 -x124 x125 -x126 -x127 x128 1800.08/1800.78 v -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.78 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 x167 x168 -x169 -x170 x171 1800.08/1800.78 v x172 x173 x174 -x175 -x176 -x177 x178 x179 x180 -x181 x182 -x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 -x192 -x193 -x194 1800.08/1800.78 v -x195 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.78 v x218 -x219 x220 x221 x222 -x223 -x224 x225 -x226 x227 x228 -x229 -x230 x231 x232 x233 -x234 -x235 -x236 x237 x238 -x239 x240 1800.08/1800.78 v -x241 -x242 x243 -x244 x245 -x246 x247 x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 -x262 1800.08/1800.78 v x263 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.78 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.78 v -x311 -x312 x313 x314 x315 x316 x317 x318 x319 x320 -x321 x322 -x323 x324 -x325 -x326 -x327 -x328 x329 x330 x331 -x332 x333 1800.08/1800.78 v x334 x335 -x336 x337 -x338 x339 x340 -x341 x342 x343 x344 x345 -x346 -x347 x348 x349 x350 x351 x352 -x353 x354 x355 x356 x357 1800.08/1800.78 v -x358 x359 x360 x361 x362 -x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 -x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 1800.08/1800.78 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 x407 1800.08/1800.78 v x408 -x409 x410 x411 x412 x413 -x414 -x415 x416 -x417 x418 x419 x420 x421 -x422 x423 x424 x425 x426 x427 -x428 x429 x430 x431 1800.08/1800.78 v -x432 x433 x434 x435 -x436 x437 x438 x439 x440 x441 -x442 x443 -x444 x445 -x446 x447 x448 -x449 x450 x451 x452 x453 x454 x455 1800.08/1800.78 v x456 x457 x458 x459 -x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 -x472 -x473 -x474 x475 x476 x477 x478 x479 1800.08/1800.78 1800.08/1800.78 c user time= 1799.4 s 1800.08/1800.78 c system time= 0.768883 s 1800.08/1800.78 c wall clock time=1800.78
OK 233
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-357071-1176853888 -o ROOT/results/node45/solver-357071-1176853888 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357071-1176853888/instance-357071-1176853888.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.78 0.95 0.97 3/77 18027 /proc/meminfo: memFree=1630288/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=1468 CPUtime=0 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 40234616 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 367 163 131 317 0 46 0 [startup+0.063549 s] /proc/loadavg: 0.78 0.95 0.97 3/77 18027 /proc/meminfo: memFree=1630288/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=2016 CPUtime=0.06 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 369 0 0 0 6 0 0 0 18 0 1 0 40234616 2064384 351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 504 351 170 317 0 183 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2016 [startup+0.101552 s] /proc/loadavg: 0.78 0.95 0.97 3/77 18027 /proc/meminfo: memFree=1630288/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=2280 CPUtime=0.09 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 434 0 0 0 9 0 0 0 18 0 1 0 40234616 2334720 416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277176 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 570 416 170 317 0 249 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2280 [startup+0.301572 s] /proc/loadavg: 0.78 0.95 0.97 3/77 18027 /proc/meminfo: memFree=1630288/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=3592 CPUtime=0.29 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 747 0 0 0 29 0 0 0 19 0 1 0 40234616 3678208 729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 898 729 170 317 0 577 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3592 [startup+0.701613 s] /proc/loadavg: 0.78 0.95 0.97 3/77 18027 /proc/meminfo: memFree=1630288/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=5828 CPUtime=0.69 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 1310 0 0 0 69 0 0 0 22 0 1 0 40234616 5967872 1292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 1457 1292 170 317 0 1136 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5828 [startup+1.5017 s] /proc/loadavg: 0.78 0.95 0.97 2/78 18028 /proc/meminfo: memFree=1624712/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=9676 CPUtime=1.49 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 2261 0 0 0 149 0 0 0 25 0 1 0 40234616 9908224 2243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 2419 2243 170 317 0 2098 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9676 [startup+3.10186 s] /proc/loadavg: 0.78 0.95 0.97 2/78 18028 /proc/meminfo: memFree=1619976/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=15748 CPUtime=3.09 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 3713 0 0 0 308 1 0 0 25 0 1 0 40234616 16125952 3695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284160 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 3937 3695 170 317 0 3616 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15748 [startup+6.30118 s] /proc/loadavg: 0.80 0.95 0.97 2/78 18028 /proc/meminfo: memFree=1610824/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=22380 CPUtime=6.29 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 5422 0 0 0 626 3 0 0 25 0 1 0 40234616 22917120 5404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 5595 5404 170 317 0 5274 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22380 [startup+12.7028 s] /proc/loadavg: 0.81 0.95 0.97 2/78 18028 /proc/meminfo: memFree=1599432/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=33516 CPUtime=12.69 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 8000 0 0 0 1264 5 0 0 25 0 1 0 40234616 34320384 7982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 8379 7982 170 317 0 8058 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33516 [startup+25.5011 s] /proc/loadavg: 0.85 0.95 0.97 2/78 18028 /proc/meminfo: memFree=1586632/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=44960 CPUtime=25.48 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 11076 0 0 0 2541 7 0 0 25 0 1 0 40234616 46039040 11058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604157 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 11240 11058 170 317 0 10919 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44960 [startup+51.1017 s] /proc/loadavg: 0.90 0.96 0.97 2/78 18028 /proc/meminfo: memFree=1566536/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=67192 CPUtime=51.07 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 16097 0 0 0 5097 10 0 0 25 0 1 0 40234616 68804608 16079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 16798 16079 170 317 0 16477 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 67192 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.97 2/78 18028 /proc/meminfo: memFree=1542408/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=89144 CPUtime=102.27 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 22022 0 0 0 10213 14 0 0 25 0 1 0 40234616 91283456 22004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 22286 22004 170 317 0 21965 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 89144 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.97 2/78 18028 /proc/meminfo: memFree=1517000/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=121468 CPUtime=162.24 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 28477 0 0 0 16206 18 0 0 25 0 1 0 40234616 124383232 28401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 30367 28401 170 317 0 30046 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 121468 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18028 /proc/meminfo: memFree=1499272/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=137024 CPUtime=222.23 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 32827 0 0 0 22200 23 0 0 25 0 1 0 40234616 140312576 32751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602706 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 34256 32751 170 317 0 33935 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 137024 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18028 /proc/meminfo: memFree=1485000/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=150660 CPUtime=282.21 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 36438 0 0 0 28196 25 0 0 25 0 1 0 40234616 154275840 36362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 37665 36362 170 317 0 37344 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 150660 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18028 /proc/meminfo: memFree=1471496/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=162504 CPUtime=342.19 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 39740 0 0 0 34192 27 0 0 25 0 1 0 40234616 166404096 39664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 40626 39664 170 317 0 40305 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 162504 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18028 /proc/meminfo: memFree=1459144/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=173972 CPUtime=402.17 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 42854 0 0 0 40188 29 0 0 25 0 1 0 40234616 178147328 42778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 43493 42778 170 317 0 43172 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 173972 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18028 /proc/meminfo: memFree=1440200/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=213292 CPUtime=462.16 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 51291 0 0 0 46182 34 0 0 25 0 1 0 40234616 218411008 47405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 53323 47405 170 317 0 53002 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 213292 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18028 /proc/meminfo: memFree=1429896/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=222800 CPUtime=522.14 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 53975 0 0 0 52178 36 0 0 25 0 1 0 40234616 228147200 50089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 55700 50089 170 317 0 55379 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 222800 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/84 18102 /proc/meminfo: memFree=1417104/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=232596 CPUtime=582.09 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 56812 0 0 0 58171 38 0 0 25 0 1 0 40234616 238178304 52926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 58149 52926 170 317 0 57828 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 232596 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18226 /proc/meminfo: memFree=1407560/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=241976 CPUtime=642 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 59479 0 0 0 64159 41 0 0 25 0 1 0 40234616 247783424 55560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 60494 55560 170 317 0 60173 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 241976 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18226 /proc/meminfo: memFree=1369800/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=275564 CPUtime=881.93 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 68965 0 0 0 88144 49 0 0 25 0 1 0 40234616 282177536 64980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 68891 64980 170 317 0 68570 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 275564 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18226 /proc/meminfo: memFree=1362376/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=282396 CPUtime=941.92 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 70854 0 0 0 94140 52 0 0 25 0 1 0 40234616 289173504 66836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 70599 66836 170 317 0 70278 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 282396 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1354568/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=288972 CPUtime=1001.9 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 72809 0 0 0 100136 54 0 0 25 0 1 0 40234616 295907328 68791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715703 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 72243 68791 170 317 0 71922 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 288972 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1347720/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=295220 CPUtime=1061.89 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 74549 0 0 0 106133 56 0 0 25 0 1 0 40234616 302305280 70531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 73805 70531 170 317 0 73484 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 295220 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1340936/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=301384 CPUtime=1121.87 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 76267 0 0 0 112129 58 0 0 25 0 1 0 40234616 308617216 72216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 75346 72216 170 317 0 75025 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 301384 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1333960/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=306920 CPUtime=1181.85 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 78022 0 0 0 118126 59 0 0 25 0 1 0 40234616 314286080 73971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 76730 73971 170 317 0 76409 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 306920 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1326280/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=313912 CPUtime=1241.83 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 79949 0 0 0 124123 60 0 0 25 0 1 0 40234616 321445888 75865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 78478 75865 170 317 0 78157 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 313912 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1319176/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=320376 CPUtime=1301.82 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 81716 0 0 0 130121 61 0 0 25 0 1 0 40234616 328065024 77632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 80094 77632 170 317 0 79773 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 320376 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1312520/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=325764 CPUtime=1361.81 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 83417 0 0 0 136118 63 0 0 25 0 1 0 40234616 333582336 79300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 81441 79300 170 317 0 81120 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 325764 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1305736/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=331964 CPUtime=1421.79 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 85176 0 0 0 142115 64 0 0 25 0 1 0 40234616 339931136 80993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 82991 80993 170 317 0 82670 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 331964 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1298760/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=338184 CPUtime=1481.76 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 86926 0 0 0 148111 65 0 0 25 0 1 0 40234616 346300416 82743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 84546 82743 170 317 0 84225 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 338184 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1293192/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=343056 CPUtime=1541.75 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 88327 0 0 0 154108 67 0 0 25 0 1 0 40234616 351289344 84111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 85764 84111 170 317 0 85443 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 343056 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1287368/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=348284 CPUtime=1601.74 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 89810 0 0 0 160106 68 0 0 25 0 1 0 40234616 356642816 85594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 87071 85594 170 317 0 86750 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 348284 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1281672/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=353152 CPUtime=1661.71 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 91211 0 0 0 166102 69 0 0 25 0 1 0 40234616 361627648 86995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 88288 86995 170 317 0 87967 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 353152 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1274568/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=359196 CPUtime=1721.7 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 93072 0 0 0 172099 71 0 0 25 0 1 0 40234616 367816704 88790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 89799 88790 170 317 0 89478 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 359196 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1261832/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=421012 CPUtime=1781.68 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 107161 0 0 0 178092 76 0 0 25 0 1 0 40234616 431116288 91862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 105253 91862 170 317 0 104932 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 421012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1261320/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=421672 CPUtime=1800.08 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 107324 0 0 0 179932 76 0 0 25 0 1 0 40234616 431792128 92025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 105418 92025 170 317 0 105097 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 421672 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: 0.99 0.97 0.97 2/78 18228 /proc/meminfo: memFree=1261320/2055920 swapFree=4141448/4192956 [pid=18027] ppid=18025 vsize=0 CPUtime=1800.18 /proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194308 107342 0 0 0 179940 78 0 0 25 0 1 0 40234616 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18027/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.85 CPU time (s): 1800.24 CPU user time (s): 1799.41 CPU system time (s): 0.827874 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 421672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.41 system time used= 0.827874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107342 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= 27268 runsolver used 2.16067 second user time and 4.39033 second system time The end
Begin job on node45 on Tue Apr 17 23:51:29 UTC 2007 IDJOB= 357071 IDBENCH= 1956 IDSOLVER= 172 FILE ID= node45/357071-1176853888 PBS_JOBID= 4590227 Free space on /tmp= 66483 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_23.opb.PB06.opb COMMAND LINE= oree /tmp/evaluation/357071-1176853888/instance-357071-1176853888.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-357071-1176853888 -o ROOT/results/node45/solver-357071-1176853888 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357071-1176853888/instance-357071-1176853888.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 0a5749e09f3f6f40d04f442dc86d22a6 RANDOM SEED= 90795050 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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.218 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.218 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: 1630696 kB Buffers: 38220 kB Cached: 301704 kB SwapCached: 32920 kB Active: 244712 kB Inactive: 137244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1630696 kB SwapTotal: 4192956 kB SwapFree: 4141448 kB Dirty: 1440 kB Writeback: 0 kB Mapped: 31740 kB Slab: 28804 kB Committed_AS: 1105380 kB PageTables: 1732 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= 66483 MiB End job on node45 on Wed Apr 18 00:21:33 UTC 2007