Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| MinisatID 2.4.8-gmp | ? (TO) | 264 | 1800.07 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_5.opb |
| MD5SUM | e079962149860142627e0ca6e79ba5d1 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 1797.26 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 17 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| 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 | 500 |
| Minimum length of a constraint | 61 |
| Maximum length of a constraint | 112 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| 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 | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37500 |
| Sum of products size (including duplicates) | 75000 |
| Number of different products | 37500 |
| Sum of products size | 75000 |
0.00/0.01 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 2.49/2.50 o 499 2.99/3.04 o 498 3.49/3.57 o 497 4.09/4.11 o 496 4.59/4.64 o 495 5.09/5.17 o 494 5.69/5.70 o 493 6.19/6.23 o 492 6.69/6.78 o 491 7.29/7.31 o 490 7.79/7.84 o 489 8.29/8.37 o 488 8.81/8.90 o 487 9.39/9.42 o 486 9.91/9.95 o 485 10.39/10.48 o 484 11.01/11.01 o 483 11.49/11.54 o 482 12.00/12.07 o 481 12.59/12.60 o 480 13.10/13.14 o 479 13.59/13.67 o 478 14.09/14.20 o 477 14.69/14.73 o 476 15.19/15.26 o 475 15.69/15.79 o 474 16.29/16.32 o 473 16.79/16.85 o 472 17.29/17.38 o 471 17.89/17.91 o 470 39.09/39.13 o 469 40.09/40.17 o 468 49.69/49.72 o 467 51.60/51.61 o 466 52.59/52.68 o 465 53.69/53.73 o 464 68.39/68.41 o 463 90.21/90.23 o 462 91.31/91.37 o 461 93.40/93.45 o 460 94.89/94.96 o 459 95.89/95.90 o 458 96.99/97.01 o 457 98.19/98.24 o 456 102.09/102.13 o 455 143.59/143.68 o 454 144.59/144.68 o 453 183.89/183.97 o 452 185.39/185.40 o 451 243.00/243.09 o 450 244.00/244.03 o 449 245.00/245.00 o 448 245.90/245.96 o 447 247.30/247.36 o 446 248.20/248.24 o 445 249.10/249.13 o 444 257.00/257.07 o 443 258.60/258.69 o 442 266.30/266.31 o 441 454.60/454.63 o 440 456.10/456.19 o 439 458.61/458.62 o 438 460.20/460.23 o 437 463.40/463.44 o 436 478.20/478.22 o 435 479.30/479.32 o 434 480.20/480.26 o 433 482.60/482.60 o 432 485.20/485.29 o 431 486.30/486.39 o 430 487.90/487.90 o 429 488.90/488.93 o 428 490.00/490.07 o 427 491.30/491.33 o 426 547.60/547.62 o 425 548.50/548.50 o 424 549.40/549.46 o 423 550.40/550.44 o 422 551.30/551.32 o 421 552.22/552.25 o 420 557.80/557.88 o 419 657.31/657.31 o 418 702.82/702.83 o 417 704.41/704.40 o 416 707.71/707.75 o 415 727.71/727.70 o 414 844.72/844.80 o 413 856.21/856.22 o 412 857.21/857.20 o 411 902.81/902.85 o 410 903.91/903.97 o 409 905.22/905.22 o 408 906.11/906.13 o 407 907.11/907.13 o 406 908.01/908.08 o 405 909.41/909.42 o 404 910.41/910.42 o 403 916.91/916.95 o 402 1061.42/1061.51 o 401 1062.63/1062.62 o 400 1063.41/1063.44 o 399 1064.21/1064.28 o 398 1065.62/1065.68 o 397 1067.31/1067.33 o 396 1068.21/1068.25 o 395 1069.51/1069.51 o 394 1070.62/1070.68 o 393 1071.52/1071.57 o 392 1072.42/1072.42 o 391 1073.52/1073.52 o 390 1103.02/1103.02 o 389 1104.22/1104.28 o 388 1105.42/1105.51 o 387 1106.72/1106.74 o 386 1108.22/1108.23 o 385 1109.12/1109.10 o 384 1109.94/1109.95 o 383 1110.82/1110.87 o 382 1111.72/1111.73 o 381 1112.72/1112.70 o 380 1125.52/1125.53 o 379 1231.12/1231.10 o 378 1231.93/1231.94 o 377 1232.72/1232.78 o 376 1233.82/1233.80 o 375 1234.72/1234.74 o 374 1235.82/1235.88 o 373 1237.43/1237.42 o 372 1240.62/1240.60 o 371 1241.83/1241.86 o 370 1242.72/1242.70 o 369 1243.52/1243.56 o 368 1244.42/1244.40 o 367 1245.62/1245.60 o 366 1246.62/1246.61 o 365 1247.92/1247.94 o 364 1249.72/1249.79 o 363 1251.32/1251.38 o 362 1252.52/1252.51 o 361 1253.32/1253.36 o 360 1254.22/1254.20 o 359 1255.03/1255.02 o 358 1255.82/1255.84 o 357 1257.02/1257.04 o 356 1257.82/1257.89 o 355 1259.12/1259.16 o 354 1260.82/1260.88 o 353 1262.84/1262.84 o 352 1264.42/1264.49 o 351 1266.03/1266.02 o 350 1266.82/1266.85 o 349 1267.62/1267.66 o 348 1268.42/1268.48 o 347 1269.22/1269.29 o 346 1270.12/1270.11 o 345 1271.42/1271.42 o 344 1273.52/1273.52 o 343 1275.22/1275.28 o 342 1276.12/1276.12 o 341 1277.03/1277.05 o 340 1277.92/1277.91 o 339 1279.34/1279.35 o 338 1281.43/1281.47 o 337 1283.74/1283.73 o 336 1284.52/1284.59 o 335 1285.42/1285.40 o 334 1286.22/1286.21 o 333 1287.04/1287.02 o 332 1287.92/1287.93 o 331 1288.82/1288.80 o 330 1290.82/1290.84 o 329 1291.62/1291.64 o 328 1292.62/1292.66 o 327 1293.53/1293.57 o 326 1294.42/1294.46 o 325 1295.22/1295.29 o 324 1296.02/1296.09 o 323 1296.83/1296.88 o 322 1297.62/1297.67 o 321 1298.42/1298.47 o 320 1299.22/1299.26 o 319 1300.02/1300.07 o 318 1302.33/1302.31 o 317 1303.22/1303.27 o 316 1304.02/1304.05 o 315 1305.02/1305.07 o 314 1305.92/1305.99 o 313 1306.92/1306.92 o 312 1309.92/1309.96 o 311 1310.82/1310.86 o 310 1317.32/1317.33 o 309 1332.52/1332.58 o 308 1334.42/1334.44 o 307 1336.32/1336.37 o 306 1338.52/1338.50 o 305 1339.62/1339.60 o 304 1340.32/1340.39 o 303 1341.12/1341.18 o 302 1341.93/1341.98 o 301 1354.52/1354.56 o 300 1419.04/1419.02 o 299 1420.22/1420.26 o 298 1421.13/1421.16 o 297 1424.92/1424.94 o 296 1427.52/1427.51 o 295 1429.02/1429.03 o 294 1429.93/1429.92 o 293 1453.82/1453.80 o 292 1454.72/1454.77 o 291 1457.72/1457.74 o 290 1460.62/1460.69 o 289 1461.52/1461.50 o 288 1462.32/1462.33 o 287 1463.12/1463.15 o 286 1463.92/1463.96 o 285 1464.72/1464.76 o 284 1465.52/1465.57 o 283 1466.34/1466.38 o 282 1467.12/1467.18 o 281 1467.92/1467.98 o 280 1468.72/1468.79 o 279 1469.53/1469.59 o 278 1470.42/1470.41 o 277 1471.22/1471.24 o 276 1472.12/1472.14 o 275 1474.82/1474.85 o 274 1494.94/1494.93 o 273 1613.93/1613.93 o 272 1617.23/1617.26 o 271 1619.03/1619.04 o 270 1622.33/1622.31 o 269 1624.23/1624.22 o 268 1630.53/1630.55 o 267 1676.13/1676.14 o 266 1686.24/1686.21 o 265 1753.45/1753.49 o 264 1800.04/1800.01 >>> Terminate signal received 1800.04/1800.02 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 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 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 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 -x107 x108 x109 -x110 -x111 x112 x113 x114 x115 x116 x117 x118 -x119 -x120 x121 -x122 -x123 x124 x125 x126 -x127 x128 x129 -x130 x131 -x132 x133 x134 x135 x136 -x137 x138 x139 -x140 -x141 x142 x143 x144 -x145 x146 x147 x148 x149 x150 x151 -x152 x153 x154 x155 -x156 x157 x158 -x159 -x160 x161 -x162 x163 x164 -x165 x166 x167 x168 -x169 x170 -x171 x172 -x173 -x174 x175 -x176 -x177 x178 x179 x180 x181 x182 x183 -x184 -x185 x186 x187 -x188 x189 -x190 x191 x192 x193 x194 -x195 x196 x197 x198 -x199 x200 -x201 x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 -x211 x212 -x213 x214 -x215 x216 x217 -x218 x219 x220 x221 x222 -x223 -x224 -x225 x226 x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 x236 x237 -x238 -x239 x240 x241 -x242 -x243 -x244 x245 x246 x247 -x248 -x249 -x250 x251 -x252 -x253 x254 x255 -x256 -x257 x258 -x259 x260 -x261 x262 -x263 -x264 -x265 x266 -x267 x268 x269 x270 x271 -x272 -x273 x274 x275 x276 -x277 x278 -x279 x280 x281 x282 -x283 x284 x285 x286 x287 -x288 x289 x290 x291 -x292 x293 -x294 x295 -x296 -x297 -x298 -x299 x300 -x301 x302 x303 x304 -x305 -x306 x307 -x308 -x309 -x310 x311 -x312 x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 x321 x322 -x323 x324 x325 x326 -x327 x328 -x329 -x330 -x331 x332 -x333 x334 x335 x336 -x337 -x338 -x339 x340 -x341 -x342 x343 -x344 x345 x346 -x347 -x348 -x349 x350 -x351 x352 -x353 x354 -x355 -x356 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 -x382 -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 -x408 -x409 -x410 -x411 -x412 x413 -x414 x415 -x416 -x417 x418 x419 x420 x421 x422 -x423 -x424 -x425 x426 -x427 -x428 x429 -x430 -x431 x432 -x433 -x434 -x435 x436 x437 -x438 x439 -x440 -x441 -x442 x443 -x444 x445 x446 -x447 -x448 -x449 x450 -x451 x452 x453 -x454 x455 x456 -x457 -x458 -x459 x460 -x461 -x462 x463 -x464 -x465 x466 x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 x488 x489 -x490 x491 x492 -x493 x494 -x495 -x496 -x497 x498 -x499 x500
OK 264
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3466025-1307418762/watcher-3466025-1307418762 -o /tmp/evaluation-result-3466025-1307418762/solver-3466025-1307418762 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466025-1307418762.opb --verbosity=0 --format=opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.02 2.00 3/527 9460 /proc/meminfo: memFree=24750640/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=7776 CPUtime=0 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 477 0 0 0 0 0 0 0 23 0 1 0 932106880 7962624 424 33554432000 4194304 6736272 140733995801136 18446744073709551615 4538129 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 1944 424 248 621 0 1314 0 [startup+0.0664049 s] /proc/loadavg: 2.03 2.02 2.00 3/527 9460 /proc/meminfo: memFree=24750640/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=12656 CPUtime=0.05 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 1574 0 0 0 5 0 0 0 23 0 1 0 932106880 12959744 1521 33554432000 4194304 6736272 140733995801136 18446744073709551615 5911552 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 3164 1521 248 621 0 2534 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12656 [startup+0.1004 s] /proc/loadavg: 2.03 2.02 2.00 3/527 9460 /proc/meminfo: memFree=24750640/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=15264 CPUtime=0.09 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 2200 0 0 0 9 0 0 0 23 0 1 0 932106880 15630336 2110 33554432000 4194304 6736272 140733995801136 18446744073709551615 5313918 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 3816 2110 248 621 0 3186 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15264 [startup+0.300379 s] /proc/loadavg: 2.03 2.02 2.00 3/527 9460 /proc/meminfo: memFree=24750640/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=49712 CPUtime=0.29 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 10971 0 0 0 28 1 0 0 25 0 1 0 932106880 50905088 10685 33554432000 4194304 6736272 140733995801136 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 12428 10687 259 621 0 11798 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 49712 [startup+0.700308 s] /proc/loadavg: 2.03 2.02 2.00 3/527 9460 /proc/meminfo: memFree=24750640/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=94852 CPUtime=0.69 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 22424 0 0 0 67 2 0 0 25 0 1 0 932106880 97128448 21917 33554432000 4194304 6736272 140733995801136 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 23713 21918 277 621 0 23083 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 94852 [startup+1.50017 s] /proc/loadavg: 2.03 2.02 2.00 3/528 9461 /proc/meminfo: memFree=24636552/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=166436 CPUtime=1.49 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 40363 0 0 0 145 4 0 0 25 0 1 0 932106880 170430464 39599 33554432000 4194304 6736272 140733995801136 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 41609 39600 277 621 0 40979 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 166436 [startup+3.10088 s] /proc/loadavg: 2.11 2.03 2.01 3/528 9461 /proc/meminfo: memFree=24513048/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=246420 CPUtime=3.09 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60269 0 0 0 303 6 0 0 25 0 1 0 932106880 252334080 59505 33554432000 4194304 6736272 140733995801136 18446744073709551615 5817936 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 61605 59505 287 621 0 60975 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 246420 [startup+6.30031 s] /proc/loadavg: 2.11 2.03 2.01 3/528 9461 /proc/meminfo: memFree=24511156/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=246420 CPUtime=6.29 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60273 0 0 0 623 6 0 0 25 0 1 0 932106880 252334080 59509 33554432000 4194304 6736272 140733995801136 18446744073709551615 5806424 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 61605 59509 287 621 0 60975 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 246420 [startup+12.7002 s] /proc/loadavg: 2.09 2.03 2.00 3/528 9461 /proc/meminfo: memFree=24510556/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=246420 CPUtime=12.69 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60279 0 0 0 1263 6 0 0 25 0 1 0 932106880 252334080 59515 33554432000 4194304 6736272 140733995801136 18446744073709551615 5818041 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 61605 59515 287 621 0 60975 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 246420 [startup+25.501 s] /proc/loadavg: 2.08 2.03 2.00 3/528 9461 /proc/meminfo: memFree=24510440/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242064 CPUtime=25.49 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60329 0 0 0 2543 6 0 0 25 0 1 0 932106880 247873536 59478 33554432000 4194304 6736272 140733995801136 18446744073709551615 4535260 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60516 59478 298 621 0 59886 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 242064 [startup+51.1005 s] /proc/loadavg: 2.05 2.03 2.00 3/528 9462 /proc/meminfo: memFree=24511036/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=51.09 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60416 0 0 0 5103 6 0 0 25 0 1 0 932106880 248303616 59565 33554432000 4194304 6736272 140733995801136 18446744073709551615 4535241 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59565 298 621 0 59991 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 242484 [startup+102.32 s] /proc/loadavg: 2.02 2.02 2.00 3/528 9463 /proc/meminfo: memFree=24509288/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=102.31 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60428 0 0 0 10225 6 0 0 25 0 1 0 932106880 248303616 59575 33554432000 4194304 6736272 140733995801136 18446744073709551615 4279304 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59575 298 621 0 59991 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 242484 [startup+162.301 s] /proc/loadavg: 2.00 2.01 2.00 3/528 9465 /proc/meminfo: memFree=24508872/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=162.29 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60428 0 0 0 16223 6 0 0 25 0 1 0 932106880 248303616 59575 33554432000 4194304 6736272 140733995801136 18446744073709551615 5806446 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59575 298 621 0 59991 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 242484 [startup+222.301 s] /proc/loadavg: 2.08 2.04 2.01 3/528 9467 /proc/meminfo: memFree=24510196/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=222.3 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60428 0 0 0 22224 6 0 0 25 0 1 0 932106880 248303616 59575 33554432000 4194304 6736272 140733995801136 18446744073709551615 5146816 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59575 298 621 0 59991 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 242484 [startup+282.301 s] /proc/loadavg: 2.07 2.04 2.01 3/528 9468 /proc/meminfo: memFree=24512264/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=282.3 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60428 0 0 0 28224 6 0 0 25 0 1 0 932106880 248303616 59575 33554432000 4194304 6736272 140733995801136 18446744073709551615 4509741 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59575 298 621 0 59991 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 242484 [startup+342.301 s] /proc/loadavg: 2.02 2.03 2.00 3/528 9470 /proc/meminfo: memFree=24511880/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=342.3 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60428 0 0 0 34224 6 0 0 25 0 1 0 932106880 248303616 59575 33554432000 4194304 6736272 140733995801136 18446744073709551615 4535198 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59575 298 621 0 59991 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 242484 [startup+402.301 s] /proc/loadavg: 2.01 2.02 2.00 3/528 9471 /proc/meminfo: memFree=24511736/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=402.3 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60428 0 0 0 40224 6 0 0 25 0 1 0 932106880 248303616 59575 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534885 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59575 298 621 0 59991 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 242484 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/528 9473 /proc/meminfo: memFree=24511436/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=462.3 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60428 0 0 0 46224 6 0 0 25 0 1 0 932106880 248303616 59575 33554432000 4194304 6736272 140733995801136 18446744073709551615 5219634 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59575 298 621 0 59991 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 242484 [startup+522.301 s] /proc/loadavg: 2.13 2.05 2.01 3/528 9484 /proc/meminfo: memFree=24510440/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=522.3 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60429 0 0 0 52224 6 0 0 25 0 1 0 932106880 248303616 59576 33554432000 4194304 6736272 140733995801136 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59576 298 621 0 59991 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 242484 [startup+582.3 s] /proc/loadavg: 2.10 2.05 2.01 3/528 9485 /proc/meminfo: memFree=24510508/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=582.3 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60434 0 0 0 58224 6 0 0 25 0 1 0 932106880 248303616 59581 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534878 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59581 298 621 0 59991 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 242484 ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.09 2.06 2.01 3/528 9492 /proc/meminfo: memFree=24510544/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=822.31 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60437 0 0 0 82225 6 0 0 25 0 1 0 932106880 248303616 59584 33554432000 4194304 6736272 140733995801136 18446744073709551615 4535270 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59584 298 621 0 59991 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 242484 [startup+882.301 s] /proc/loadavg: 2.03 2.04 2.00 3/528 9493 /proc/meminfo: memFree=24510256/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=882.31 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60437 0 0 0 88225 6 0 0 25 0 1 0 932106880 248303616 59584 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59584 298 621 0 59991 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 242484 [startup+942.3 s] /proc/loadavg: 2.01 2.03 2.00 3/528 9495 /proc/meminfo: memFree=24510720/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=942.31 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60437 0 0 0 94225 6 0 0 25 0 1 0 932106880 248303616 59584 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59584 298 621 0 59991 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 242484 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/528 9496 /proc/meminfo: memFree=24510952/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=242484 CPUtime=1002.31 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60437 0 0 0 100225 6 0 0 25 0 1 0 932106880 248303616 59584 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60621 59584 298 621 0 59991 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 242484 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/528 9498 /proc/meminfo: memFree=24510808/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1062.31 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60576 0 0 0 106225 6 0 0 25 0 1 0 932106880 248950784 59723 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534878 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59723 298 621 0 60149 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 243116 [startup+1122.3 s] /proc/loadavg: 2.14 2.06 2.01 3/528 9500 /proc/meminfo: memFree=24509524/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1122.32 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60588 0 0 0 112226 6 0 0 25 0 1 0 932106880 248950784 59735 33554432000 4194304 6736272 140733995801136 18446744073709551615 4535117 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59735 298 621 0 60149 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 243116 [startup+1182.3 s] /proc/loadavg: 2.05 2.05 2.00 3/528 9501 /proc/meminfo: memFree=24509748/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1182.32 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60591 0 0 0 118226 6 0 0 25 0 1 0 932106880 248950784 59737 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534864 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59737 298 621 0 60149 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 243116 [startup+1242.3 s] /proc/loadavg: 2.02 2.03 2.00 3/528 9503 /proc/meminfo: memFree=24509472/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1242.32 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60594 0 0 0 124226 6 0 0 25 0 1 0 932106880 248950784 59740 33554432000 4194304 6736272 140733995801136 18446744073709551615 4535250 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59740 298 621 0 60149 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 243116 [startup+1302.3 s] /proc/loadavg: 2.00 2.03 2.00 3/528 9504 /proc/meminfo: memFree=24509700/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1302.33 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60594 0 0 0 130227 6 0 0 25 0 1 0 932106880 248950784 59740 33554432000 4194304 6736272 140733995801136 18446744073709551615 4640333 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59740 298 621 0 60149 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 243116 [startup+1362.3 s] /proc/loadavg: 2.07 2.04 2.00 3/528 9506 /proc/meminfo: memFree=24510540/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1362.32 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60594 0 0 0 136226 6 0 0 25 0 1 0 932106880 248950784 59740 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534878 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59740 298 621 0 60149 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 243116 [startup+1422.32 s] /proc/loadavg: 2.09 2.04 2.00 3/528 9508 /proc/meminfo: memFree=24510776/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1422.34 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60594 0 0 0 142228 6 0 0 25 0 1 0 932106880 248950784 59740 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534900 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59740 298 621 0 60149 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 243116 [startup+1482.3 s] /proc/loadavg: 2.03 2.03 2.00 3/528 9509 /proc/meminfo: memFree=24509508/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1482.32 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60594 0 0 0 148226 6 0 0 25 0 1 0 932106880 248950784 59740 33554432000 4194304 6736272 140733995801136 18446744073709551615 4535045 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59740 298 621 0 60149 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 243116 [startup+1542.3 s] /proc/loadavg: 2.15 2.06 2.01 3/528 9538 /proc/meminfo: memFree=24485096/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1542.32 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60594 0 0 0 154226 6 0 0 25 0 1 0 932106880 248950784 59740 33554432000 4194304 6736272 140733995801136 18446744073709551615 4512676 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59740 298 621 0 60149 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 243116 [startup+1602.3 s] /proc/loadavg: 2.18 2.08 2.01 3/528 9539 /proc/meminfo: memFree=24484572/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1602.33 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60594 0 0 0 160227 6 0 0 25 0 1 0 932106880 248950784 59740 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534752 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59740 298 621 0 60149 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 243116 [startup+1662.3 s] /proc/loadavg: 2.06 2.06 2.01 3/528 9541 /proc/meminfo: memFree=24484296/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1662.33 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60594 0 0 0 166227 6 0 0 25 0 1 0 932106880 248950784 59740 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59740 298 621 0 60149 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 243116 [startup+1722.3 s] /proc/loadavg: 2.02 2.05 2.00 3/528 9543 /proc/meminfo: memFree=24485376/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1722.33 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60594 0 0 0 172227 6 0 0 25 0 1 0 932106880 248950784 59740 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534996 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59740 298 621 0 60149 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 243116 [startup+1782.3 s] /proc/loadavg: 2.01 2.04 2.00 3/528 9544 /proc/meminfo: memFree=24484104/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1782.33 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60594 0 0 0 178227 6 0 0 25 0 1 0 932106880 248950784 59740 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59740 298 621 0 60149 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 243116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.03 2.00 3/528 9545 /proc/meminfo: memFree=24484840/32951124 swapFree=56241860/67111528 [pid=9460] ppid=9458 vsize=243116 CPUtime=1800.04 cores=1,3,5,7 /proc/9460/stat : 9460 (minisatid-gmp) R 9458 9460 9203 0 -1 4202496 60594 0 0 0 179998 6 0 0 25 0 1 0 932106880 248950784 59740 33554432000 4194304 6736272 140733995801136 18446744073709551615 4534722 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/9460/statm: 60779 59740 298 621 0 60149 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 243116 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.03 CPU time (s): 1800.07 CPU user time (s): 1800 CPU system time (s): 0.074988 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 246420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.074988 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60599 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= 5 involuntary context switches= 23256 runsolver used 8.94464 second user time and 22.1416 second system time The end
Begin job on node119 at 2011-06-07 05:52:42 IDJOB=3466025 IDBENCH=48121 IDSOLVER=1957 FILE ID=node119/3466025-1307418762 RUNJOBID= node119-1307415158-9222 PBS_JOBID= 13514211 Free space on /tmp= 73788 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_5.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466025-1307418762/watcher-3466025-1307418762 -o /tmp/evaluation-result-3466025-1307418762/solver-3466025-1307418762 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466025-1307418762.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e079962149860142627e0ca6e79ba5d1 RANDOM SEED=1441100197 node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24750796 kB Buffers: 280148 kB Cached: 720664 kB SwapCached: 59108 kB Active: 837096 kB Inactive: 7064160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24750796 kB SwapTotal: 67111528 kB SwapFree: 56241860 kB Dirty: 3508 kB Writeback: 0 kB AnonPages: 6844848 kB Mapped: 34536 kB Slab: 150616 kB PageTables: 78968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 163884700 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73788 MiB End job on node119 at 2011-06-07 06:22:44