Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 19 | 1800.56 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-5xp1.b.opb |
MD5SUM | b3e6d54e40b24334877b0ae377edea30 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 4.04338 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | YES |
Number of variables | 464 |
Total number of constraints | 845 |
Number of constraints which are clauses | 845 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 149 |
Number of terms in the objective function | 464 |
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 | 464 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 464 |
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.05/0.06 c ...done 0.05/0.06 c #vars=464 #constraints=846 hasObjective=yes 0.05/0.09 c res. mode=mod 0.05/0.09 c VSIDS like heuristics 0.05/0.09 c complete search running 0.09/0.10 c restart after 401 decisions 0.09/0.10 c nbDecision=500 #constraints=848 0.09/0.11 c restart after 801 decisions 0.09/0.11 c nbDecision=1000 #constraints=848 0.09/0.11 c nbDecision=1238 #constraints=848 0.09/0.11 c linear search for optimum 0.09/0.11 o 21 0.19/0.22 c nbDecision=1500 #constraints=957 0.19/0.22 c nbDecision=1502 #constraints=957 0.19/0.22 o 20 0.19/0.28 c restart after 1601 decisions 0.29/0.30 c nbDecision=2000 #constraints=996 0.49/0.59 c nbDecision=2500 #constraints=1174 0.89/0.99 c nbDecision=3000 #constraints=1373 0.99/1.09 c restart after 3201 decisions 1.09/1.11 c nbDecision=3500 #constraints=1429 1.39/1.44 c nbDecision=4000 #constraints=1559 1.69/1.79 c nbDecision=4500 #constraints=1767 2.20/2.26 c nbDecision=5000 #constraints=1954 2.69/2.72 c nbDecision=5500 #constraints=2118 3.69/3.75 c nbDecision=6000 #constraints=2322 4.19/4.21 c restart after 6401 decisions 4.19/4.26 c nbDecision=6500 #constraints=2453 4.59/4.67 c nbDecision=7000 #constraints=2560 5.89/5.98 c nbDecision=7500 #constraints=2827 6.79/6.89 c nbDecision=8000 #constraints=2995 7.69/7.80 c nbDecision=8500 #constraints=3153 8.89/8.93 c nbDecision=9000 #constraints=3333 9.99/10.03 c nbDecision=9500 #constraints=3469 11.99/12.08 c nbDecision=10000 #constraints=3703 13.78/13.88 c nbDecision=10500 #constraints=3940 15.39/15.48 c nbDecision=11000 #constraints=4153 17.68/17.70 c nbDecision=11500 #constraints=4421 20.48/20.54 c nbDecision=12000 #constraints=4641 22.39/22.46 c nbDecision=12500 #constraints=4891 23.99/24.03 c restart after 12801 decisions 24.29/24.37 c nbDecision=13000 #constraints=5052 26.39/26.42 c nbDecision=13500 #constraints=5188 30.38/30.44 c nbDecision=14000 #constraints=5434 31.68/31.73 c nbDecision=14500 #constraints=5609 33.18/33.29 c nbDecision=15000 #constraints=5808 34.48/34.53 c nbDecision=15500 #constraints=5946 35.88/35.97 c nbDecision=16000 #constraints=6190 37.58/37.60 c nbDecision=16500 #constraints=6378 39.18/39.24 c nbDecision=17000 #constraints=6542 43.88/43.93 c nbDecision=17500 #constraints=6758 46.67/46.79 c nbDecision=18000 #constraints=6966 50.78/50.80 c nbDecision=18500 #constraints=7212 55.98/56.02 c nbDecision=19000 #constraints=7486 60.67/60.70 c nbDecision=19500 #constraints=7667 65.37/65.49 c nbDecision=20000 #constraints=7890 70.67/70.76 c nbDecision=20500 #constraints=8082 77.67/77.72 c nbDecision=21000 #constraints=8280 84.76/84.87 c nbDecision=21500 #constraints=8525 91.06/91.13 c nbDecision=22000 #constraints=8772 96.36/96.45 c nbDecision=22500 #constraints=8964 101.96/102.04 c nbDecision=23000 #constraints=9236 109.56/109.61 c nbDecision=23500 #constraints=9440 116.35/116.44 c nbDecision=24000 #constraints=9730 122.75/122.88 c nbDecision=24500 #constraints=9974 133.95/134.02 c nbDecision=25000 #constraints=10268 141.25/141.32 c nbDecision=25500 #constraints=10505 142.14/142.24 c restart after 25601 decisions 143.64/143.70 c nbDecision=26000 #constraints=10577 147.25/147.31 c nbDecision=26500 #constraints=10783 150.85/150.91 c nbDecision=27000 #constraints=10987 151.35/151.48 c nbDecision=27138 #constraints=11011 151.35/151.48 o 19 158.04/158.17 c nbDecision=27500 #constraints=11167 167.04/167.16 c nbDecision=28000 #constraints=11328 173.74/173.83 c nbDecision=28500 #constraints=11431 181.83/181.93 c nbDecision=29000 #constraints=11602 191.54/191.61 c nbDecision=29500 #constraints=11760 199.23/199.33 c nbDecision=30000 #constraints=11902 209.53/209.64 c nbDecision=30500 #constraints=12114 218.43/218.51 c nbDecision=31000 #constraints=12282 232.32/232.47 c nbDecision=31500 #constraints=12549 247.32/247.47 c nbDecision=32000 #constraints=12753 265.21/265.39 c nbDecision=32500 #constraints=13011 273.61/273.77 c nbDecision=33000 #constraints=13181 282.11/282.24 c nbDecision=33500 #constraints=13300 288.81/288.99 c nbDecision=34000 #constraints=13398 297.40/297.57 c nbDecision=34500 #constraints=13568 307.20/307.38 c nbDecision=35000 #constraints=13701 320.20/320.31 c nbDecision=35500 #constraints=13901 335.19/335.37 c nbDecision=36000 #constraints=14147 351.49/351.68 c nbDecision=36500 #constraints=14376 370.18/370.39 c nbDecision=37000 #constraints=14601 381.28/381.45 c nbDecision=37500 #constraints=14792 388.88/389.01 c nbDecision=38000 #constraints=14898 396.17/396.31 c nbDecision=38500 #constraints=15015 408.47/408.66 c nbDecision=39000 #constraints=15193 416.87/417.00 c nbDecision=39500 #constraints=15309 431.67/431.80 c nbDecision=40000 #constraints=15511 449.36/449.59 c nbDecision=40500 #constraints=15780 466.96/467.14 c nbDecision=41000 #constraints=16010 487.55/487.73 c nbDecision=41500 #constraints=16256 498.35/498.53 c nbDecision=42000 #constraints=16427 510.05/510.21 c nbDecision=42500 #constraints=16579 519.34/519.57 c nbDecision=43000 #constraints=16687 529.54/529.73 c nbDecision=43500 #constraints=16866 543.63/543.82 c nbDecision=44000 #constraints=17045 553.83/554.06 c nbDecision=44500 #constraints=17174 566.23/566.43 c nbDecision=45000 #constraints=17399 583.22/583.43 c nbDecision=45500 #constraints=17600 597.52/597.76 c nbDecision=46000 #constraints=17798 616.71/616.91 c nbDecision=46500 #constraints=18050 636.11/636.32 c nbDecision=47000 #constraints=18261 648.20/648.48 c nbDecision=47500 #constraints=18426 660.90/661.18 c nbDecision=48000 #constraints=18578 670.59/670.84 c nbDecision=48500 #constraints=18679 682.40/682.66 c nbDecision=49000 #constraints=18870 697.49/697.75 c nbDecision=49500 #constraints=19053 709.98/710.26 c nbDecision=50000 #constraints=19192 722.89/723.14 c nbDecision=50500 #constraints=19409 741.38/741.68 c nbDecision=51000 #constraints=19610 743.78/744.00 c restart after 51201 decisions 745.67/745.90 c nbDecision=51500 #constraints=19680 758.77/759.01 c nbDecision=52000 #constraints=19836 772.06/772.35 c nbDecision=52500 #constraints=20008 784.17/784.49 c nbDecision=53000 #constraints=20196 797.46/797.77 c nbDecision=53500 #constraints=20343 808.53/808.80 c nbDecision=54000 #constraints=20451 819.10/819.43 c nbDecision=54500 #constraints=20596 829.47/829.85 c nbDecision=55000 #constraints=20726 840.26/840.61 c nbDecision=55500 #constraints=20839 852.75/853.19 c nbDecision=56000 #constraints=21031 867.84/868.24 c nbDecision=56500 #constraints=21185 878.44/878.88 c nbDecision=57000 #constraints=21312 889.73/890.10 c nbDecision=57500 #constraints=21420 900.33/900.71 c nbDecision=58000 #constraints=21521 910.12/910.55 c nbDecision=58500 #constraints=21627 920.22/920.69 c nbDecision=59000 #constraints=21741 931.32/931.76 c nbDecision=59500 #constraints=21845 942.01/942.44 c nbDecision=60000 #constraints=21949 951.91/952.33 c nbDecision=60500 #constraints=22090 965.51/965.96 c nbDecision=61000 #constraints=22267 979.31/979.78 c nbDecision=61500 #constraints=22422 992.70/993.15 c nbDecision=62000 #constraints=22577 1002.30/1002.70 c nbDecision=62500 #constraints=22707 1013.19/1013.68 c nbDecision=63000 #constraints=22811 1026.79/1027.29 c nbDecision=63500 #constraints=22995 1041.49/1041.95 c nbDecision=64000 #constraints=23146 1055.18/1055.62 c nbDecision=64500 #constraints=23276 1067.98/1068.41 c nbDecision=65000 #constraints=23464 1084.78/1085.28 c nbDecision=65500 #constraints=23632 1100.57/1101.06 c nbDecision=66000 #constraints=23810 1111.96/1112.40 c nbDecision=66500 #constraints=23916 1122.46/1122.98 c nbDecision=67000 #constraints=24013 1135.56/1136.02 c nbDecision=67500 #constraints=24125 1145.86/1146.33 c nbDecision=68000 #constraints=24223 1156.76/1157.28 c nbDecision=68500 #constraints=24337 1168.25/1168.79 c nbDecision=69000 #constraints=24440 1177.55/1178.09 c nbDecision=69500 #constraints=24563 1200.14/1200.66 c nbDecision=70000 #constraints=24822 1212.04/1212.53 c nbDecision=70500 #constraints=25042 1238.83/1239.32 c nbDecision=71000 #constraints=25325 1251.93/1252.44 c nbDecision=71500 #constraints=25552 1266.33/1266.86 c nbDecision=72000 #constraints=25691 1278.42/1278.97 c nbDecision=72500 #constraints=25929 1293.71/1294.28 c nbDecision=73000 #constraints=26078 1305.12/1305.66 c nbDecision=73500 #constraints=26299 1318.90/1319.45 c nbDecision=74000 #constraints=26431 1332.10/1332.61 c nbDecision=74500 #constraints=26654 1348.10/1348.65 c nbDecision=75000 #constraints=26812 1365.69/1366.27 c nbDecision=75500 #constraints=27034 1381.88/1382.40 c nbDecision=76000 #constraints=27236 1405.29/1405.84 c nbDecision=76500 #constraints=27461 1425.08/1425.61 c nbDecision=77000 #constraints=27604 1440.37/1440.98 c nbDecision=77500 #constraints=27892 1457.86/1458.47 c nbDecision=78000 #constraints=28051 1482.26/1482.81 c nbDecision=78500 #constraints=28251 1517.24/1517.85 c nbDecision=79000 #constraints=28477 1567.73/1568.39 c nbDecision=79500 #constraints=28823 1603.52/1604.10 c nbDecision=80000 #constraints=29113 1634.31/1634.95 c nbDecision=80500 #constraints=29342 1663.61/1664.25 c nbDecision=81000 #constraints=29568 1684.69/1685.34 c nbDecision=81500 #constraints=29786 1704.00/1704.60 c nbDecision=82000 #constraints=29938 1718.09/1718.76 c nbDecision=82500 #constraints=30049 1733.58/1734.24 c nbDecision=83000 #constraints=30208 1751.47/1752.10 c nbDecision=83500 #constraints=30345 1772.28/1772.98 c nbDecision=84000 #constraints=30520 1790.87/1791.52 c nbDecision=84500 #constraints=30705 1800.07/1800.71 Received signal 15 1800.46/1801.16 1800.46/1801.16 s SATISFIABLE 1800.46/1801.16 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.46/1801.16 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.46/1801.16 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.46/1801.16 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 1800.46/1801.16 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.46/1801.16 v -x126 -x127 -x128 -x129 -x130 x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.46/1801.16 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.46/1801.16 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.46/1801.16 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.46/1801.16 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.46/1801.16 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.46/1801.16 v -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.46/1801.16 v -x273 x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 1800.46/1801.16 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.46/1801.16 v -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.46/1801.16 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.46/1801.16 v -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.46/1801.16 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.46/1801.16 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.46/1801.16 v x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.46/1801.16 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.46/1801.16 v -x462 x463 -x464 1800.46/1801.16 1800.46/1801.16 c user time= 1800.12 s 1800.46/1801.16 c system time= 0.415936 s 1800.46/1801.16 c wall clock time=1801.16
OK 19
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-363966-1176986860 -o ROOT/results/node47/solver-363966-1176986860 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363966-1176986860/instance-363966-1176986860.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: 1.12 1.08 1.01 3/77 13631 /proc/meminfo: memFree=1378880/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=1468 CPUtime=0 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 53531356 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 367 166 130 317 0 46 0 [startup+0.0602911 s] /proc/loadavg: 1.12 1.08 1.01 3/77 13631 /proc/meminfo: memFree=1378880/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=2656 CPUtime=0.05 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 462 0 0 0 5 0 0 0 18 0 1 0 53531356 2719744 444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 664 444 130 317 0 343 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2656 [startup+0.101295 s] /proc/loadavg: 1.12 1.08 1.01 3/77 13631 /proc/meminfo: memFree=1378880/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=3332 CPUtime=0.09 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 645 0 0 0 9 0 0 0 18 0 1 0 53531356 3411968 627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 833 627 139 317 0 512 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3332 [startup+0.301316 s] /proc/loadavg: 1.12 1.08 1.01 3/77 13631 /proc/meminfo: memFree=1378880/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=3984 CPUtime=0.29 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 858 0 0 0 29 0 0 0 19 0 1 0 53531356 4079616 840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 996 840 170 317 0 675 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3984 [startup+0.70236 s] /proc/loadavg: 1.12 1.08 1.01 3/77 13631 /proc/meminfo: memFree=1378880/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=5304 CPUtime=0.69 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 1184 0 0 0 69 0 0 0 23 0 1 0 53531356 5431296 1166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718338 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 1326 1166 170 317 0 1005 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5304 [startup+1.50145 s] /proc/loadavg: 1.12 1.08 1.01 2/78 13632 /proc/meminfo: memFree=1373880/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=7288 CPUtime=1.49 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 1673 0 0 0 148 1 0 0 25 0 1 0 53531356 7462912 1655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715632 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 1822 1655 170 317 0 1501 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7288 [startup+3.10162 s] /proc/loadavg: 1.11 1.08 1.01 2/78 13632 /proc/meminfo: memFree=1370872/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=11048 CPUtime=3.09 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 2570 0 0 0 308 1 0 0 25 0 1 0 53531356 11313152 2552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 2762 2552 170 317 0 2441 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11048 [startup+6.30197 s] /proc/loadavg: 1.11 1.08 1.01 2/78 13632 /proc/meminfo: memFree=1366136/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=14732 CPUtime=6.29 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 3511 0 0 0 627 2 0 0 25 0 1 0 53531356 15085568 3493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 3683 3493 170 317 0 3362 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14732 [startup+12.7017 s] /proc/loadavg: 1.09 1.08 1.01 2/78 13632 /proc/meminfo: memFree=1360640/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=20740 CPUtime=12.68 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 4878 0 0 0 1266 2 0 0 25 0 1 0 53531356 21237760 4860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 5185 4860 170 317 0 4864 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20740 [startup+25.501 s] /proc/loadavg: 1.08 1.07 1.01 2/78 13632 /proc/meminfo: memFree=1351488/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=29608 CPUtime=25.48 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 7054 0 0 0 2544 4 0 0 25 0 1 0 53531356 30318592 7036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 7402 7036 170 317 0 7081 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29608 [startup+51.1018 s] /proc/loadavg: 1.05 1.07 1.01 2/78 13632 /proc/meminfo: memFree=1338880/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=42896 CPUtime=51.08 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 10221 0 0 0 5102 6 0 0 25 0 1 0 53531356 43925504 10160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 10724 10160 170 317 0 10403 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 42896 [startup+102.305 s] /proc/loadavg: 1.02 1.05 1.00 2/78 13632 /proc/meminfo: memFree=1326208/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=55116 CPUtime=102.26 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 13347 0 0 0 10218 8 0 0 25 0 1 0 53531356 56438784 13286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 13779 13286 170 317 0 13458 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 55116 [startup+162.302 s] /proc/loadavg: 1.00 1.04 1.00 2/78 13632 /proc/meminfo: memFree=1313792/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=69692 CPUtime=162.24 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 16442 0 0 0 16213 11 0 0 25 0 1 0 53531356 71364608 16381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 17423 16381 170 317 0 17102 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 69692 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.00 2/78 13632 /proc/meminfo: memFree=1308672/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=75116 CPUtime=222.23 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 17718 0 0 0 22210 13 0 0 25 0 1 0 53531356 76918784 17657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 18779 17657 170 317 0 18458 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 75116 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 13632 /proc/meminfo: memFree=1303680/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=81144 CPUtime=282.21 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 19025 0 0 0 28207 14 0 0 25 0 1 0 53531356 83091456 18879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 20286 18879 170 317 0 19965 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 81144 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 13632 /proc/meminfo: memFree=1299584/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=84720 CPUtime=342.19 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 20044 0 0 0 34204 15 0 0 25 0 1 0 53531356 86753280 19898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 21180 19898 170 317 0 20859 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 84720 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 13632 /proc/meminfo: memFree=1295552/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=88592 CPUtime=402.17 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 21049 0 0 0 40201 16 0 0 25 0 1 0 53531356 90718208 20903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 22148 20903 170 317 0 21827 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 88592 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 13632 /proc/meminfo: memFree=1291200/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=92584 CPUtime=462.15 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 22112 0 0 0 46198 17 0 0 25 0 1 0 53531356 94806016 21966 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 23146 21966 170 317 0 22825 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 92584 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13632 /proc/meminfo: memFree=1287808/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=95912 CPUtime=522.14 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 23006 0 0 0 52195 19 0 0 25 0 1 0 53531356 98213888 22860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 23978 22860 170 317 0 23657 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 95912 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13632 /proc/meminfo: memFree=1283200/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=101704 CPUtime=582.12 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 24464 0 0 0 58192 20 0 0 25 0 1 0 53531356 104144896 23988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 25426 23988 170 317 0 25105 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 101704 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13632 /proc/meminfo: memFree=1278976/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=108128 CPUtime=642.11 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 25875 0 0 0 64190 21 0 0 25 0 1 0 53531356 110723072 25036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 27032 25036 170 317 0 26711 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 108128 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13830 /proc/meminfo: memFree=1264576/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=121932 CPUtime=941.91 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 29429 0 0 0 94165 26 0 0 25 0 1 0 53531356 124858368 28590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 30483 28590 170 317 0 30162 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 121932 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13830 /proc/meminfo: memFree=1261376/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=125608 CPUtime=1001.9 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 30267 0 0 0 100163 27 0 0 25 0 1 0 53531356 128622592 29395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 31402 29395 170 317 0 31081 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 125608 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13830 /proc/meminfo: memFree=1258624/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=128788 CPUtime=1061.88 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 30969 0 0 0 106159 29 0 0 25 0 1 0 53531356 131878912 30097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 32197 30097 170 317 0 31876 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 128788 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13830 /proc/meminfo: memFree=1256064/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=130968 CPUtime=1121.86 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 31582 0 0 0 112157 29 0 0 25 0 1 0 53531356 134111232 30710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 32742 30710 170 317 0 32421 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 130968 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13830 /proc/meminfo: memFree=1254016/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=132956 CPUtime=1181.84 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 32136 0 0 0 118154 30 0 0 25 0 1 0 53531356 136146944 31231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711000 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 33239 31231 170 317 0 32918 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 132956 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13832 /proc/meminfo: memFree=1249536/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=138268 CPUtime=1241.83 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 33528 0 0 0 124151 32 0 0 25 0 1 0 53531356 141586432 32354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 34567 32354 170 317 0 34246 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 138268 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13832 /proc/meminfo: memFree=1245760/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=142356 CPUtime=1301.82 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 34638 0 0 0 130148 34 0 0 25 0 1 0 53531356 145772544 33299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 35589 33299 170 317 0 35268 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 142356 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13832 /proc/meminfo: memFree=1242496/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=145524 CPUtime=1361.79 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 35479 0 0 0 136145 34 0 0 25 0 1 0 53531356 149016576 34140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 36381 34140 170 317 0 36060 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 145524 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13832 /proc/meminfo: memFree=1239744/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=148208 CPUtime=1421.78 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 36208 0 0 0 142142 36 0 0 25 0 1 0 53531356 151764992 34803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 37052 34803 170 317 0 36731 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 148208 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13832 /proc/meminfo: memFree=1236160/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=151480 CPUtime=1481.76 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 37117 0 0 0 148139 37 0 0 25 0 1 0 53531356 155115520 35712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 37870 35712 170 317 0 37549 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 151480 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13832 /proc/meminfo: memFree=1234112/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=153328 CPUtime=1541.73 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 37648 0 0 0 154136 37 0 0 25 0 1 0 53531356 157007872 36243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 38332 36243 170 317 0 38011 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 153328 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13832 /proc/meminfo: memFree=1231744/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=155856 CPUtime=1601.72 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 38336 0 0 0 160134 38 0 0 25 0 1 0 53531356 159596544 36832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 38964 36832 170 317 0 38643 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 155856 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13832 /proc/meminfo: memFree=1229248/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=158724 CPUtime=1661.7 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 39111 0 0 0 166131 39 0 0 25 0 1 0 53531356 162533376 37442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 39681 37442 170 317 0 39360 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 158724 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13832 /proc/meminfo: memFree=1227072/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=160904 CPUtime=1721.69 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 39659 0 0 0 172129 40 0 0 25 0 1 0 53531356 164765696 37990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 40226 37990 170 317 0 39905 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 160904 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13832 /proc/meminfo: memFree=1224704/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=162912 CPUtime=1781.67 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 40253 0 0 0 178126 41 0 0 25 0 1 0 53531356 166821888 38584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 40728 38584 170 317 0 40407 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 162912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13832 /proc/meminfo: memFree=1223552/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=164004 CPUtime=1800.07 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 40538 0 0 0 179966 41 0 0 25 0 1 0 53531356 167940096 38869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 41001 38869 170 317 0 40680 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 164004 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/78 13832 /proc/meminfo: memFree=1223552/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=164004 CPUtime=1800.36 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 40540 0 0 0 179995 41 0 0 25 0 1 0 53531356 167940096 38871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 41001 38871 170 317 0 40680 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 164004 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13832 /proc/meminfo: memFree=1223552/2055920 swapFree=4157972/4192956 [pid=13631] ppid=13629 vsize=164004 CPUtime=1800.46 /proc/13631/stat : 13631 (oree) R 13629 13631 12357 0 -1 4194304 40543 0 0 0 180005 41 0 0 25 0 1 0 53531356 167940096 38874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13631/statm: 41001 38874 170 317 0 40680 0 Current children cumulated CPU time (s) 1800.46 Current children cumulated vsize (KiB) 164004 Child status: 0 Real time (s): 1801.19 CPU time (s): 1800.56 CPU user time (s): 1800.12 CPU system time (s): 0.439933 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 164004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.12 system time used= 0.439933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40559 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= 36032 runsolver used 1.90471 second user time and 4.67629 second system time The end
Begin job on node47 on Thu Apr 19 12:47:40 UTC 2007 IDJOB= 363966 IDBENCH= 2046 IDSOLVER= 172 FILE ID= node47/363966-1176986860 PBS_JOBID= 4630336 Free space on /tmp= 66426 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-5xp1.b.opb COMMAND LINE= oree /tmp/evaluation/363966-1176986860/instance-363966-1176986860.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-363966-1176986860 -o ROOT/results/node47/solver-363966-1176986860 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363966-1176986860/instance-363966-1176986860.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= b3e6d54e40b24334877b0ae377edea30 RANDOM SEED= 534677407 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.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.221 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.221 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: 1379352 kB Buffers: 37252 kB Cached: 569656 kB SwapCached: 3256 kB Active: 131104 kB Inactive: 499820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1379352 kB SwapTotal: 4192956 kB SwapFree: 4157972 kB Dirty: 1616 kB Writeback: 0 kB Mapped: 30984 kB Slab: 31220 kB Committed_AS: 2603332 kB PageTables: 1780 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= 66426 MiB End job on node47 on Thu Apr 19 13:17:43 UTC 2007