Trace number 3496950

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
MinisatID 2.5.2-gmp (fixed)? (TO)-26 1800.06 1800.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM5249f5f1c551add7f5b5b920fc1c3b9c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41263
Number of constraints which are clauses41263
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
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 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
1800.04/1800.00	>>> Terminate signal received
1800.04/1800.00	o 0
1800.04/1800.00	o -1
1800.04/1800.00	o -2
1800.04/1800.00	o -3
1800.04/1800.00	o -4
1800.04/1800.00	o -5
1800.04/1800.00	o -6
1800.04/1800.00	o -7
1800.04/1800.00	o -8
1800.04/1800.00	o -9
1800.04/1800.00	o -10
1800.04/1800.00	o -11
1800.04/1800.00	o -12
1800.04/1800.00	o -13
1800.04/1800.00	o -14
1800.04/1800.00	o -15
1800.04/1800.00	o -16
1800.04/1800.00	o -17
1800.04/1800.00	o -18
1800.04/1800.00	o -19
1800.04/1800.00	o -20
1800.04/1800.00	o -21
1800.04/1800.00	o -22
1800.04/1800.00	o -23
1800.04/1800.00	o -24
1800.04/1800.00	o -25
1800.04/1800.00	o -26
1800.04/1800.00	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 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760

Verifier Data 

OK	-26

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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 /var/tmp/evaluation-result-3496950-1307923861/watcher-3496950-1307923861 -o /var/tmp/evaluation-result-3496950-1307923861/solver-3496950-1307923861 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3496950-1307923861.opb --verbosity=0 --format=opb --randomseed=445216907 

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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 19102
/proc/meminfo: memFree=1721304/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=7944 CPUtime=0 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 456 0 0 0 0 0 0 0 25 0 1 0 903985802 8134656 410 33554432000 4194304 6957856 140735552792560 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 1986 410 249 675 0 1302 0

[startup+0.04539 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 19102
/proc/meminfo: memFree=1721304/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=11528 CPUtime=0.04 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1356 0 0 0 4 0 0 0 25 0 1 0 903985802 11804672 1310 33554432000 4194304 6957856 140735552792560 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 2882 1311 249 675 0 2198 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11528

[startup+0.100382 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 19102
/proc/meminfo: memFree=1721304/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=16524 CPUtime=0.09 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 2600 0 0 0 9 0 0 0 25 0 1 0 903985802 16920576 2554 33554432000 4194304 6957856 140735552792560 18446744073709551615 5460006 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 4131 2554 249 675 0 3447 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16524

[startup+0.30035 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 19102
/proc/meminfo: memFree=1721304/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=34792 CPUtime=0.29 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 7256 0 0 0 28 1 0 0 25 0 1 0 903985802 35627008 7112 33554432000 4194304 6957856 140735552792560 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 8698 7113 266 675 0 8014 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34792

[startup+0.70028 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 19102
/proc/meminfo: memFree=1721304/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=72852 CPUtime=0.69 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 16800 0 0 0 67 2 0 0 25 0 1 0 903985802 74600448 16527 33554432000 4194304 6957856 140735552792560 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 18213 16527 266 675 0 17529 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72852

[startup+1.50013 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19103
/proc/meminfo: memFree=1621124/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=106952 CPUtime=1.49 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 25266 0 0 0 146 3 0 0 25 0 1 0 903985802 109518848 24993 33554432000 4194304 6957856 140735552792560 18446744073709551615 5934690 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 26738 24993 276 675 0 26054 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106952

[startup+3.10085 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19103
/proc/meminfo: memFree=1619512/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=106952 CPUtime=3.09 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 25266 0 0 0 306 3 0 0 25 0 1 0 903985802 109518848 24993 33554432000 4194304 6957856 140735552792560 18446744073709551615 5313040 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 26738 24993 276 675 0 26054 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 106952

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19103
/proc/meminfo: memFree=1615880/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=106952 CPUtime=6.29 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 25276 0 0 0 626 3 0 0 25 0 1 0 903985802 109518848 25003 33554432000 4194304 6957856 140735552792560 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 26738 25003 276 675 0 26054 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 106952

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19103
/proc/meminfo: memFree=1608320/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=106952 CPUtime=12.69 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 25283 0 0 0 1266 3 0 0 25 0 1 0 903985802 109518848 25010 33554432000 4194304 6957856 140735552792560 18446744073709551615 5922139 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 26738 25010 276 675 0 26054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 106952

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19104
/proc/meminfo: memFree=1617012/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=122944 CPUtime=25.49 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 36187 0 0 0 2544 5 0 0 25 0 1 0 903985802 125894656 30113 33554432000 4194304 6957856 140735552792560 18446744073709551615 4638786 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 30736 30113 288 675 0 30052 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122944

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19104
/proc/meminfo: memFree=1520012/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=205224 CPUtime=51.09 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 79419 0 0 0 5098 11 0 0 25 0 1 0 903985802 210149376 48165 33554432000 4194304 6957856 140735552792560 18446744073709551615 5922089 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 51306 48165 288 675 0 50622 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 205224

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19106
/proc/meminfo: memFree=1540436/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=155904 CPUtime=102.3 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 145225 0 0 0 10210 20 0 0 25 0 1 0 903985802 159645696 38413 33554432000 4194304 6957856 140735552792560 18446744073709551615 5385223 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 38976 38413 288 675 0 38292 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 155904

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 19107
/proc/meminfo: memFree=1574972/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=156452 CPUtime=162.29 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 217893 0 0 0 16200 29 0 0 25 0 1 0 903985802 160206848 38416 33554432000 4194304 6957856 140735552792560 18446744073709551615 5915210 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 39113 38416 288 675 0 38429 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 156452

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/178 19109
/proc/meminfo: memFree=1483412/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=236848 CPUtime=222.29 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 306527 0 0 0 22188 41 0 0 25 0 1 0 903985802 242532352 58318 33554432000 4194304 6957856 140735552792560 18446744073709551615 5922116 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 59212 58318 288 675 0 58528 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 236848

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 1.92 3/178 19111
/proc/meminfo: memFree=1459552/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=267668 CPUtime=282.3 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 379065 0 0 0 28177 53 0 0 25 0 1 0 903985802 274092032 60963 33554432000 4194304 6957856 140735552792560 18446744073709551615 5312956 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 66917 60963 288 675 0 66233 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 267668

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19112
/proc/meminfo: memFree=1500664/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=236848 CPUtime=342.3 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 452694 0 0 0 34166 64 0 0 25 0 1 0 903985802 242532352 58071 33554432000 4194304 6957856 140735552792560 18446744073709551615 5918152 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 59212 58071 288 675 0 58528 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 236848

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19114
/proc/meminfo: memFree=1504448/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=236848 CPUtime=402.3 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 525325 0 0 0 40154 76 0 0 25 0 1 0 903985802 242532352 55581 33554432000 4194304 6957856 140735552792560 18446744073709551615 5385152 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 59212 55581 288 675 0 58528 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 236848

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19115
/proc/meminfo: memFree=1466692/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=267668 CPUtime=462.3 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 596807 0 0 0 46143 87 0 0 25 0 1 0 903985802 274092032 62434 33554432000 4194304 6957856 140735552792560 18446744073709551615 5922121 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 66917 62434 288 675 0 66233 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 267668

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19117
/proc/meminfo: memFree=1479904/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=245636 CPUtime=522.3 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 674119 0 0 0 52131 99 0 0 25 0 1 0 903985802 251531264 57666 33554432000 4194304 6957856 140735552792560 18446744073709551615 5315424 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 61409 57666 288 675 0 60725 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 245636

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 19119
/proc/meminfo: memFree=1454680/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=277656 CPUtime=582.3 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 743220 0 0 0 58121 109 0 0 25 0 1 0 903985802 284319744 61564 33554432000 4194304 6957856 140735552792560 18446744073709551615 5934057 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 69414 61564 288 675 0 68730 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 277656

[startup+642.3 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 2.02 2.02 1.93 3/178 19125
/proc/meminfo: memFree=1426808/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=285620 CPUtime=822.31 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1027858 0 0 0 82078 153 0 0 25 0 1 0 903985802 292474880 68150 33554432000 4194304 6957856 140735552792560 18446744073709551615 4638786 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 71405 68150 288 675 0 70721 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 285620

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 19127
/proc/meminfo: memFree=1456388/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=286504 CPUtime=882.31 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1097792 0 0 0 88067 164 0 0 25 0 1 0 903985802 293380096 68459 33554432000 4194304 6957856 140735552792560 18446744073709551615 5312975 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 71626 68459 288 675 0 70942 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 286504

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 19167
/proc/meminfo: memFree=1497796/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=257268 CPUtime=942.31 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1177979 0 0 0 94056 175 0 0 25 0 1 0 903985802 263442432 59686 33554432000 4194304 6957856 140735552792560 18446744073709551615 4869815 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 64317 59686 288 675 0 63633 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 257268

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19169
/proc/meminfo: memFree=1432292/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=288088 CPUtime=1002.32 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1245376 0 0 0 100046 186 0 0 25 0 1 0 903985802 295002112 69216 33554432000 4194304 6957856 140735552792560 18446744073709551615 5315745 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 72022 69216 288 675 0 71338 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 288088

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19170
/proc/meminfo: memFree=1405840/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=288088 CPUtime=1062.32 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1321533 0 0 0 106034 198 0 0 25 0 1 0 903985802 295002112 68465 33554432000 4194304 6957856 140735552792560 18446744073709551615 5385212 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 72022 68465 288 675 0 71338 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 288088

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19172
/proc/meminfo: memFree=1439632/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=288088 CPUtime=1122.32 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1393339 0 0 0 112022 210 0 0 25 0 1 0 903985802 295002112 64406 33554432000 4194304 6957856 140735552792560 18446744073709551615 5918206 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 72022 64406 288 675 0 71338 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 288088

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19174
/proc/meminfo: memFree=1418244/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=288088 CPUtime=1182.31 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1455752 0 0 0 118011 220 0 0 25 0 1 0 903985802 295002112 70193 33554432000 4194304 6957856 140735552792560 18446744073709551615 5934014 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 72022 70193 288 675 0 71338 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 288088

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19175
/proc/meminfo: memFree=1391764/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=301172 CPUtime=1242.32 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1527767 0 0 0 124001 231 0 0 25 0 1 0 903985802 308400128 67701 33554432000 4194304 6957856 140735552792560 18446744073709551615 5918180 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 75293 67701 288 675 0 74609 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 301172

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19177
/proc/meminfo: memFree=1436220/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=277620 CPUtime=1302.33 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1599307 0 0 0 129991 242 0 0 25 0 1 0 903985802 284282880 64956 33554432000 4194304 6957856 140735552792560 18446744073709551615 5385212 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 69405 64956 288 675 0 68721 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 277620

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19178
/proc/meminfo: memFree=1381484/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=309324 CPUtime=1362.32 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1660364 0 0 0 135981 251 0 0 25 0 1 0 903985802 316747776 71509 33554432000 4194304 6957856 140735552792560 18446744073709551615 5385250 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 77331 71509 288 675 0 76647 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 309324

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19180
/proc/meminfo: memFree=1321412/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=359984 CPUtime=1422.33 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1722836 0 0 0 141973 260 0 0 25 0 1 0 903985802 368623616 76945 33554432000 4194304 6957856 140735552792560 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 89996 76945 288 675 0 89312 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 359984

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19182
/proc/meminfo: memFree=1359300/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=279076 CPUtime=1482.33 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1795683 0 0 0 147960 273 0 0 25 0 1 0 903985802 285773824 68479 33554432000 4194304 6957856 140735552792560 18446744073709551615 4846768 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 69769 68479 288 675 0 69085 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 279076

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19183
/proc/meminfo: memFree=1317336/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=309896 CPUtime=1542.33 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1862079 0 0 0 153950 283 0 0 25 0 1 0 903985802 317333504 73927 33554432000 4194304 6957856 140735552792560 18446744073709551615 5922026 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 77474 73927 288 675 0 76790 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 309896

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19185
/proc/meminfo: memFree=1320632/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=279076 CPUtime=1602.33 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1932971 0 0 0 159939 294 0 0 25 0 1 0 903985802 285773824 64837 33554432000 4194304 6957856 140735552792560 18446744073709551615 4638780 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 69769 64837 288 675 0 69085 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 279076

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19186
/proc/meminfo: memFree=1337564/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=285016 CPUtime=1662.33 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 1996840 0 0 0 165930 303 0 0 25 0 1 0 903985802 291856384 69074 33554432000 4194304 6957856 140735552792560 18446744073709551615 5932649 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 71254 69074 288 675 0 70570 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 285016

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19188
/proc/meminfo: memFree=1336516/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=316596 CPUtime=1722.34 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 2059456 0 0 0 171917 317 0 0 25 0 1 0 903985802 324194304 72602 33554432000 4194304 6957856 140735552792560 18446744073709551615 5922342 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 79149 72602 288 675 0 78465 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 316596

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19190
/proc/meminfo: memFree=1355432/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=316596 CPUtime=1782.33 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 2123576 0 0 0 177906 327 0 0 25 0 1 0 903985802 324194304 77453 33554432000 4194304 6957856 140735552792560 18446744073709551615 5917968 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 79149 77453 288 675 0 78465 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 316596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 19190
/proc/meminfo: memFree=1315976/32950928 swapFree=67079488/67111528
[pid=19102] ppid=19100 vsize=317480 CPUtime=1800.04 cores=1,3,5,7
/proc/19102/stat : 19102 (minisatid-gmp) R 19100 19102 18512 0 -1 4202496 2142733 0 0 0 179675 329 0 0 25 0 1 0 903985802 325099520 77141 33554432000 4194304 6957856 140735552792560 18446744073709551615 4643923 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/19102/statm: 79370 77141 288 675 0 78686 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 317480

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1796.75
CPU system time (s): 3.3105
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 409304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.75
system time used= 3.3105
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2142736
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= 18980

runsolver used 2.37664 second user time and 5.81611 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-13 02:11:01
IDJOB=3496950
IDBENCH=2242
IDSOLVER=1990
FILE ID=node125/3496950-1307923861
RUNJOBID= node125-1307919795-18531
PBS_JOBID= 13559654
Free space on /var/tmp= 2888 MiB

SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3496950-1307923861/watcher-3496950-1307923861 -o /var/tmp/evaluation-result-3496950-1307923861/solver-3496950-1307923861 -C 1800 -W 1900 -M 15500  HOME/minisatid-gmp HOME/instance-3496950-1307923861.opb --verbosity=0 --format=opb --randomseed=445216907

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 5249f5f1c551add7f5b5b920fc1c3b9c
RANDOM SEED=445216907

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
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.74
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.828
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.82
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.828
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.74
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.828
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.75
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1721856 kB
Buffers:         75932 kB
Cached:       30044080 kB
SwapCached:       3272 kB
Active:       15291720 kB
Inactive:     14994624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1721856 kB
SwapTotal:    67111528 kB
SwapFree:     67079488 kB
Dirty:            3912 kB
Writeback:           0 kB
AnonPages:      164492 kB
Mapped:          15284 kB
Slab:           878360 kB
PageTables:       5044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   359092 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 /var/tmp at the end= 2884 MiB
End job on node125 at 2011-06-13 02:41:03