Trace number 3497706

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)115 1800.03 1802.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
MD5SUMf69ecb5497caa964fbd82b9dc6698ac3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark90
Best CPU time to get the best result obtained on this benchmark0.31995
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 90
Optimality of the best value was proved YES
Number of variables652
Total number of constraints759
Number of constraints which are clauses759
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 constraint46
Number of terms in the objective function 652
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 652
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 652
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.01/1800.00	>>> Terminate signal received
1800.01/1800.00	o 116
1800.01/1800.00	o 115
1800.01/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

Verifier Data 

OK	115

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

running on 4 cores: 0,2,4,6

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.97 2/177 21937
/proc/meminfo: memFree=7862788/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=7824 CPUtime=0 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 422 0 0 0 0 0 0 0 25 0 1 0 983157932 8011776 376 33554432000 4194304 6957856 140734159620544 18446744073709551615 5924796 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 1956 376 251 675 0 1272 0

[startup+0.012111 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 21937
/proc/meminfo: memFree=7862788/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=8068 CPUtime=0.01 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 486 0 0 0 1 0 0 0 25 0 1 0 983157932 8261632 440 33554432000 4194304 6957856 140734159620544 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 2017 441 251 675 0 1333 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8068

[startup+0.101105 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 21937
/proc/meminfo: memFree=7862788/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=8880 CPUtime=0.09 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 762 0 0 0 9 0 0 0 25 0 1 0 983157932 9093120 712 33554432000 4194304 6957856 140734159620544 18446744073709551615 4455234 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 2220 712 276 675 0 1536 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8880

[startup+0.301046 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 21937
/proc/meminfo: memFree=7862788/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=8880 CPUtime=0.29 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 927 0 0 0 29 0 0 0 25 0 1 0 983157932 9093120 876 33554432000 4194304 6957856 140734159620544 18446744073709551615 4859472 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 2220 876 285 675 0 1536 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8880

[startup+0.700979 s]
/proc/loadavg: 2.00 2.00 1.97 2/177 21937
/proc/meminfo: memFree=7862788/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=8880 CPUtime=0.69 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 1218 0 0 0 69 0 0 0 25 0 1 0 983157932 9093120 1167 33554432000 4194304 6957856 140734159620544 18446744073709551615 5933982 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 2220 1167 285 675 0 1536 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8880

[startup+1.50087 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21938
/proc/meminfo: memFree=7858440/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=8880 CPUtime=1.49 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 1832 0 0 0 149 0 0 0 25 0 1 0 983157932 9093120 1775 33554432000 4194304 6957856 140734159620544 18446744073709551615 5917973 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 2220 1775 285 675 0 1536 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8880

[startup+3.10059 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21938
/proc/meminfo: memFree=7854844/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=16140 CPUtime=3.09 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 3054 0 0 0 309 0 0 0 25 0 1 0 983157932 16527360 2981 33554432000 4194304 6957856 140734159620544 18446744073709551615 5922047 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 4035 2981 287 675 0 3351 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16140

[startup+6.30107 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21938
/proc/meminfo: memFree=7844612/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=23456 CPUtime=6.3 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 5492 0 0 0 629 1 0 0 25 0 1 0 983157932 24018944 5397 33554432000 4194304 6957856 140734159620544 18446744073709551615 5918152 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 5864 5397 287 675 0 5180 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 23456

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21938
/proc/meminfo: memFree=7865220/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=23792 CPUtime=12.69 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 10984 0 0 0 1268 1 0 0 25 0 1 0 983157932 24363008 5363 33554432000 4194304 6957856 140734159620544 18446744073709551615 5922078 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 5948 5363 288 675 0 5264 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23792

[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21938
/proc/meminfo: memFree=7809284/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=58544 CPUtime=25.5 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 20809 0 0 0 2546 4 0 0 25 0 1 0 983157932 59949056 10551 33554432000 4194304 6957856 140734159620544 18446744073709551615 5313084 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 14636 10551 288 675 0 13952 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 58544

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21940
/proc/meminfo: memFree=7801312/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=58544 CPUtime=51.09 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 22613 0 0 0 5105 4 0 0 25 0 1 0 983157932 59949056 12345 33554432000 4194304 6957856 140734159620544 18446744073709551615 5934057 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 14636 12345 288 675 0 13952 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 58544

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21940
/proc/meminfo: memFree=7792840/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=58544 CPUtime=102.29 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 32278 0 0 0 10224 5 0 0 25 0 1 0 983157932 59949056 14174 33554432000 4194304 6957856 140734159620544 18446744073709551615 4866406 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 14636 14174 288 675 0 13952 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 58544

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21942
/proc/meminfo: memFree=7798000/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=70312 CPUtime=162.3 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 66657 0 0 0 16220 10 0 0 25 0 1 0 983157932 71999488 12448 33554432000 4194304 6957856 140734159620544 18446744073709551615 5929068 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 17578 12448 288 675 0 16894 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 70312

[startup+222.301 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 21944
/proc/meminfo: memFree=7798192/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=70312 CPUtime=222.29 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 108496 0 0 0 22214 15 0 0 25 0 1 0 983157932 71999488 12448 33554432000 4194304 6957856 140734159620544 18446744073709551615 4840641 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 17578 12448 288 675 0 16894 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 70312

[startup+282.301 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 21946
/proc/meminfo: memFree=7788720/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=70312 CPUtime=282.29 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 161248 0 0 0 28207 22 0 0 25 0 1 0 983157932 71999488 12448 33554432000 4194304 6957856 140734159620544 18446744073709551615 4869741 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 17578 12448 288 675 0 16894 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 70312

[startup+342.301 s]
/proc/loadavg: 2.03 2.02 1.98 3/178 21946
/proc/meminfo: memFree=7783200/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=70312 CPUtime=342.3 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 212136 0 0 0 34201 29 0 0 25 0 1 0 983157932 71999488 12448 33554432000 4194304 6957856 140734159620544 18446744073709551615 5387648 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 17578 12448 288 675 0 16894 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 70312

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 21948
/proc/meminfo: memFree=7751656/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=119632 CPUtime=402.3 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 263313 0 0 0 40193 37 0 0 25 0 1 0 983157932 122503168 21035 33554432000 4194304 6957856 140734159620544 18446744073709551615 5917973 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 29908 21035 288 675 0 29224 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 119632

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/178 21950
/proc/meminfo: memFree=7782732/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=70312 CPUtime=462.29 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 310432 0 0 0 46186 43 0 0 25 0 1 0 983157932 71999488 12448 33554432000 4194304 6957856 140734159620544 18446744073709551615 5312930 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 17578 12448 288 675 0 16894 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 70312

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21952
/proc/meminfo: memFree=7775352/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=70312 CPUtime=522.29 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 361091 0 0 0 52178 51 0 0 25 0 1 0 983157932 71999488 12448 33554432000 4194304 6957856 140734159620544 18446744073709551615 4856637 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 17578 12448 288 675 0 16894 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 70312

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21954
/proc/meminfo: memFree=7705496/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=70312 CPUtime=582.3 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 414231 0 0 0 58171 59 0 0 25 0 1 0 983157932 71999488 15342 33554432000 4194304 6957856 140734159620544 18446744073709551615 5932533 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 17578 15342 288 675 0 16894 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 70312

[startup+642.301 s]

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

/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 751259 0 0 0 100117 113 0 0 25 0 1 0 983157932 154062848 29386 33554432000 4194304 6957856 140734159620544 18446744073709551615 4458499 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 37613 29386 288 675 0 36929 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 150452

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21966
/proc/meminfo: memFree=7728164/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=70312 CPUtime=1062.3 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 792620 0 0 0 106110 120 0 0 25 0 1 0 983157932 71999488 15342 33554432000 4194304 6957856 140734159620544 18446744073709551615 5312966 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 17578 15342 288 675 0 16894 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 70312

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21968
/proc/meminfo: memFree=7677776/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=119632 CPUtime=1122.31 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 847860 0 0 0 112103 128 0 0 25 0 1 0 983157932 122503168 23377 33554432000 4194304 6957856 140734159620544 18446744073709551615 4638786 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 29908 23377 288 675 0 29224 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 119632

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 21970
/proc/meminfo: memFree=7676860/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=119632 CPUtime=1182.3 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 894292 0 0 0 118096 134 0 0 25 0 1 0 983157932 122503168 24039 33554432000 4194304 6957856 140734159620544 18446744073709551615 5918152 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 29908 24039 288 675 0 29224 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 119632

[startup+1242.3 s]
/proc/loadavg: 1.93 1.98 1.97 3/178 22018
/proc/meminfo: memFree=7887416/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=119632 CPUtime=1242.31 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 940969 0 0 0 124091 140 0 0 25 0 1 0 983157932 122503168 24491 33554432000 4194304 6957856 140734159620544 18446744073709551615 5932670 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 29908 24491 288 675 0 29224 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 119632

[startup+1302.3 s]
/proc/loadavg: 2.42 2.12 2.02 3/178 24254
/proc/meminfo: memFree=7759028/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=70312 CPUtime=1302.3 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 982405 0 0 0 130071 159 0 0 25 0 1 0 983157932 71999488 15621 33554432000 4194304 6957856 140734159620544 18446744073709551615 4638780 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 17578 15621 288 675 0 16894 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 70312

[startup+1362.3 s]
/proc/loadavg: 2.15 2.09 2.01 3/178 24256
/proc/meminfo: memFree=7727404/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=94992 CPUtime=1362.3 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 1035250 0 0 0 136062 168 0 0 25 0 1 0 983157932 97271808 23275 33554432000 4194304 6957856 140734159620544 18446744073709551615 5934578 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 23748 23275 288 675 0 23064 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 94992

[startup+1422.3 s]
/proc/loadavg: 2.06 2.08 2.01 3/178 24258
/proc/meminfo: memFree=7693888/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=144312 CPUtime=1422.3 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 1087155 0 0 0 142055 175 0 0 25 0 1 0 983157932 147775488 31710 33554432000 4194304 6957856 140734159620544 18446744073709551615 4851088 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 36078 31711 288 675 0 35394 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 144312

[startup+1482.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/178 24260
/proc/meminfo: memFree=7687876/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=144312 CPUtime=1482.3 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 1134264 0 0 0 148048 182 0 0 25 0 1 0 983157932 147775488 31984 33554432000 4194304 6957856 140734159620544 18446744073709551615 5934014 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 36078 31984 288 675 0 35394 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 144312

[startup+1542.3 s]
/proc/loadavg: 2.03 2.06 2.00 3/178 24260
/proc/meminfo: memFree=7714852/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=94992 CPUtime=1542.31 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 1175742 0 0 0 154042 189 0 0 25 0 1 0 983157932 97271808 23276 33554432000 4194304 6957856 140734159620544 18446744073709551615 5387648 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 23748 23276 288 675 0 23064 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 94992

[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/178 24262
/proc/meminfo: memFree=7714688/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=94992 CPUtime=1602.31 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 1223166 0 0 0 160034 197 0 0 25 0 1 0 983157932 97271808 23276 33554432000 4194304 6957856 140734159620544 18446744073709551615 5918075 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 23748 23276 288 675 0 23064 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 94992

[startup+1662.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 24264
/proc/meminfo: memFree=7661808/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=175132 CPUtime=1662.31 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 1273016 0 0 0 166027 204 0 0 25 0 1 0 983157932 179335168 36650 33554432000 4194304 6957856 140734159620544 18446744073709551615 5918022 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 43783 36650 288 675 0 43099 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 175132

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 24266
/proc/meminfo: memFree=7714092/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=94992 CPUtime=1722.31 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 1314771 0 0 0 172019 212 0 0 25 0 1 0 983157932 97271808 23276 33554432000 4194304 6957856 140734159620544 18446744073709551615 5922016 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 23748 23276 288 675 0 23064 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 94992

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 24268
/proc/meminfo: memFree=7662576/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=175132 CPUtime=1782.3 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 1364516 0 0 0 178011 219 0 0 25 0 1 0 983157932 179335168 36017 33554432000 4194304 6957856 140734159620544 18446744073709551615 5918180 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 43783 36017 288 675 0 43099 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 175132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 24268
/proc/meminfo: memFree=7678180/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=144312 CPUtime=1800.01 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) R 21935 21937 20767 0 -1 4202496 1378470 0 0 0 179779 222 0 0 25 0 1 0 983157932 147775488 31489 33554432000 4194304 6957856 140734159620544 18446744073709551615 4458499 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/21937/statm: 36078 31489 288 675 0 35394 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 144312

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21937

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

[startup+1800.8 s]
/proc/loadavg: 2.00 2.02 2.00 2/179 24269
/proc/meminfo: memFree=7678172/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=144312 CPUtime=1800.01 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) S 21935 21937 20767 0 -1 4202496 1378471 0 0 0 179779 222 0 0 25 0 1 0 983157932 147775488 31490 33554432000 4194304 6957856 140734159620544 18446744073709551615 6100974 0 16384 4096 17571 18446604453872370624 0 0 17 2 0 0 0
/proc/21937/statm: 36078 31490 289 675 0 35394 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 144312

[startup+1801.6 s]
/proc/loadavg: 2.00 2.02 2.00 2/179 24269
/proc/meminfo: memFree=7678172/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=144312 CPUtime=1800.01 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) S 21935 21937 20767 0 -1 4202496 1378471 0 0 0 179779 222 0 0 25 0 1 0 983157932 147775488 31490 33554432000 4194304 6957856 140734159620544 18446744073709551615 6100974 0 16384 4096 17571 18446604453872370624 0 0 17 2 0 0 0
/proc/21937/statm: 36078 31490 289 675 0 35394 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 144312

[startup+1802.01 s]
/proc/loadavg: 1.92 2.00 1.99 2/179 24269
/proc/meminfo: memFree=7678172/32951124 swapFree=67049472/67111528
[pid=21937] ppid=21935 vsize=144312 CPUtime=1800.01 cores=0,2,4,6
/proc/21937/stat : 21937 (minisatid-gmp) S 21935 21937 20767 0 -1 4202496 1378471 0 0 0 179779 222 0 0 25 0 1 0 983157932 147775488 31490 33554432000 4194304 6957856 140734159620544 18446744073709551615 6100974 0 16384 4096 17571 18446604453872370624 0 0 17 2 0 0 0
/proc/21937/statm: 36078 31490 289 675 0 35394 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 144312

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.01
CPU time (s): 1800.03
CPU user time (s): 1797.8
CPU system time (s): 2.23566
CPU usage (%): 99.89
Max. virtual memory (cumulated for all children) (KiB): 175132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.8
system time used= 2.23566
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1378471
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= 3
involuntary context switches= 1977

runsolver used 2.71259 second user time and 5.51216 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-13 03:41:13
IDJOB=3497706
IDBENCH=2868
IDSOLVER=1990
FILE ID=node118/3497706-1307929273
RUNJOBID= node118-1307919797-20785
PBS_JOBID= 13559661
Free space on /tmp= 18212 MiB

SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m4.r.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3497706-1307929273/watcher-3497706-1307929273 -o /tmp/evaluation-result-3497706-1307929273/solver-3497706-1307929273 -C 1800 -W 1900 -M 15500  HOME/minisatid-gmp HOME/instance-3497706-1307929273.opb --verbosity=0 --format=opb --randomseed=2108520530

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

MD5SUM BENCH= f69ecb5497caa964fbd82b9dc6698ac3
RANDOM SEED=2108520530

node118.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.842
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.68
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.842
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.75
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.842
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.842
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.75
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.842
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.68
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.842
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.75
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       7863316 kB
Buffers:         90796 kB
Cached:       24056724 kB
SwapCached:      14020 kB
Active:        9015064 kB
Inactive:     15280480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       7863316 kB
SwapTotal:    67111528 kB
SwapFree:     67049472 kB
Dirty:            3124 kB
Writeback:           0 kB
AnonPages:      147164 kB
Mapped:          10768 kB
Slab:           726716 kB
PageTables:       4972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   352084 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= 18212 MiB
End job on node118 at 2011-06-13 04:11:15