Trace number 3394789

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 NameAnswerCPU timeWall clock time
Sol 2011-04-04SAT 0.136978 0.137561

General information on the benchmark

NameSAT04/handmade/anton/l5k3/
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
MD5SUMf7a218f6e4ba6f28584266f788a5d6da
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.016997
Satisfiable
(Un)Satisfiability was proved
Number of variables895
Number of clauses3357
Sum of the clauses size10071
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33357
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.09/0.13	s SATISFIABLE
0.09/0.13	v 703 -573 850 -137 393 -417 -831 128 -851 28 216 -385 -462 -239 157 -120 -841 -104 428 215 100 -895 -736 -862 763 -529 -718 -849 -502 -705 -560 465 -699 304 -666 -284 44 -480 177 823 520 775 475 -121 -787 -586 -461 -441 -446 629 67 527 -791 159 -212 469 789 33 -631 869 300 -866 305 665 348 -727 -202 415 -680 -636 -15 -612 195 -837 490 493 412 695 526 75 -601 -291 -260 536 -392 758 -608 -129 73 449 -126 318 -883 -874 -30 -369 649 349 16 13 541 134 -431 -648 -846 -867 -125 528 -478 -148 81 -231 138 472 -710 578 -315 -864 18 -634 455 266 471 458 654 563 -64 746 643 -182 -757 -203 -9 -687 -398 -80 399 879 880 -244 -794 -795 -488 -124 772 87 -734 -762 -35 -4 61 715 -552 -748 -224 103 402 -871 -113 689 -605 627 -54 -283 -519 -824 -765 -515 -330 -165 696 -411 786 88 -171 -875 -344 -122 -856 -692 833 114 233 618 227 -139 511 -248 -821 334 694 -219 501 -661 282 211 68 813 12 611 -819 -796 -676 894 -381 -647 191 688 -802 878 -178 -379 -664 -706 -422 466 163 -141 26 406 -617 750 97 -496 197 -892 -299 -751 483 -53 -621 -161 312 328 -685 857 -452 206 451 57 -776 -682 223 -547 229 -342 683 785 401 -567 -243 686 185 659 723 -639 383 -352 -553 -106 -55 591 -641 571 -158 -724 839 -430 792 -884 663 -370 847 667 -36 230 355 812 -797 583 597 517 186 -8 -708 697 -37 510 302 -303 -335 720 -714 254 658 -886 -815 -773 -416 95 280 752 -278 83 745 -140 71 829 731 -523 359 587 -419 156 -604 -887 -836 -693 707 162 -607 274 -554 722 84 288 678 -130 -78 -396 -207 414 164 296 -332 337 285 615 799 5 -152 650 -351 297 27 -777 885 549 -679 -323 56 -619 -606 420 -582 -854 -445 -513 160 716 267 -60 326 79 123 -825 744 -811 535 635 46 572 485 -646 569 770 -47 711 -382 -208 242 101 -21 -298 508 -623 702 43 360 -747 378 -119 838 -818 470 -287 116 -364 684 -99 -273 -844 -238 -805 -418 -440 -317 322 -166 111 170 20 -374 -258 256 889 -368 209 -200 768 487 234 -642 -754 -19 -341 546 719 339 -616 585 391 -433 459 -464 38 386 23 -358 574 -876 338 86 -670 250 -423 -767 592 -822 814 110 -740 766 149 832 -614 154 497 -600 -11 268 -90 324 868 -835 -834 -437 640 -228 -194 -222 -201 -367 -562 118 -691 -753 277 259 890 -456 -179 453 -518 262 210 732 70 377 783 308 852 632 -397 729 -840 -17 436 733 -845 -249 -741 -509 891 637 801 395 246 -421 -443 -782 409 -861 -269 577 -108 -593 -373 779 -525 -633 -217 -329 -424 -524 -293 -115 -295 91 400 -146 -447 -39 366 307 -726 -668 566 -769 -193 -327 -609 -690 313 626 877 -749 -807 -172 -530 681 -45 62 -356 -289 309 151 281 196 484 -221 331 652 -316 98 -588 -306 477 -531 809 -301 -390 -426 145 817 77 40 -504 32 657 743 755 -107 -489 598 371 858 544 -50 -365 -500 213 31 -82 135 294 270 -557 -1 -870 -189 -133 474 -173 613 190 788 630 142 -539 -804 700 537 595 -69 -579 363 407 -479 -235 52 -610 361 276 105 798 -457 -147 -225 -516 253 507 -674 241 354 345 860 -413 -22 -737 -820 251 -596 279 570 671 463 -434 325 717 -827 336 -34 263 482 92 656 -132 538 236 -620 559 41 -725 372 -388 252 556 -521 721 -343 -759 -514 506 -584 -701 -192 -350 72 -384 -738 533 320 -590 150 -826 -96 51 -735 292 226 -460 -540 602 555 756 59 882 232 -131 644 468 859 85 183 790 -321 427 109 534 543 7 784 237 3 848 -405 -865 117 -581 532 810 -29 -800 778 780 181 -669 -272 42 -473 -728 438 220 -76 651 -713 -65 -340 -247 -806 271 -245 450 -6 -853 255 660 -89 -394 -333 -486 2 429 653 -204 808 380 10 842 -432 63 444 -168 -127 -742 -545 828 -655 -603 -353 803 175 -709 347 -568 -176 599 -375 -14 -174 561 346 -816 -275 580 199 -855 893 -153 -872 167 180 448 -576 24 -793 -495 257 673 -712 48 261 625 565 -93 25 863 739 764 542 -499 492 -564 -589 548 286 -512 503 -435 319 -205 -102 265 -505 -49 774 -389 -481 645 136 439 -771 -184 830 -144 387 558 -311 -551 675 -888 476 240 -594 310 -760 425 314 622 -94 -188 74 112 143 761 404 357 -624 662 187 550 -881 -66 -575 198 -677 -522 781 214 -638 672 491 843 442 873 155 -494 498 -169 58 -730 410 -403 -454 467 -290 -408 -698 628 376 362 264 -704 -218  0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3394789-1306087543/watcher-3394789-1306087543 -o /tmp/evaluation-result-3394789-1306087543/solver-3394789-1306087543 -C 5000 -W 5100 -M 15500 mono Main.exe HOME/instance-3394789-1306087543.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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.03 1.84 1.73 2/461 13323
/proc/meminfo: memFree=12082368/32951124 swapFree=67056836/67111528
[pid=13323] ppid=13321 vsize=105640 CPUtime=0 cores=1,3,5,7
/proc/13323/stat : 13323 (mono) R 13321 13323 12185 0 -1 4202496 1282 0 0 0 0 0 0 0 21 0 9 0 720352185 108175360 1190 33554432000 4194304 7232020 140735574549024 18446744073709551615 271550231499 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/13323/statm: 26410 1192 855 742 0 18981 0
[pid=13323/tid=13324] ppid=13321 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13324/stat : 13324 (mono) S 13321 13323 12185 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 720352185 108339200 1348 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13325] ppid=13321 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13325/stat : 13325 (mono) S 13321 13323 12185 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 9 0 720352185 108339200 1354 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13326] ppid=13321 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13326/stat : 13326 (mono) S 13321 13323 12185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 720352185 108339200 1354 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13327] ppid=13321 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13327/stat : 13327 (mono) S 13321 13323 12185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 720352185 108339200 1354 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13328] ppid=13321 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13328/stat : 13328 (mono) S 13321 13323 12185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 720352185 108339200 1357 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13329] ppid=13321 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13329/stat : 13329 (mono) S 13321 13323 12185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 720352185 108339200 1359 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13330] ppid=13321 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13330/stat : 13330 (mono) S 13321 13323 12185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 720352185 108339200 1361 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13331] ppid=13321 vsize=105800 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13331/stat : 13331 (mono) S 13321 13323 12185 0 -1 4202560 3 0 0 0 0 0 0 0 21 0 9 0 720352185 108339200 1362 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562361265 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0

[startup+0.082836 s]
/proc/loadavg: 2.03 1.84 1.73 2/461 13323
/proc/meminfo: memFree=12082368/32951124 swapFree=67056836/67111528
[pid=13323] ppid=13321 vsize=112480 CPUtime=0.07 cores=1,3,5,7
/proc/13323/stat : 13323 (mono) R 13321 13323 12185 0 -1 4202496 2854 0 0 0 7 0 0 0 21 0 9 0 720352185 115179520 2758 33554432000 4194304 7232020 140735574549024 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/13323/statm: 28120 2758 1024 742 0 20691 0
[pid=13323/tid=13324] ppid=13321 vsize=112480 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13324/stat : 13324 (mono) S 13321 13323 12185 0 -1 4202560 3 0 0 0 0 0 0 0 19 0 9 0 720352185 115179520 2758 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13325] ppid=13321 vsize=112480 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13325/stat : 13325 (mono) S 13321 13323 12185 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 720352185 115179520 2759 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13326] ppid=13321 vsize=112480 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13326/stat : 13326 (mono) S 13321 13323 12185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 720352185 115179520 2759 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13327] ppid=13321 vsize=112480 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13327/stat : 13327 (mono) S 13321 13323 12185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 720352185 115179520 2759 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13328] ppid=13321 vsize=112480 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13328/stat : 13328 (mono) S 13321 13323 12185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 720352185 115179520 2759 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13329] ppid=13321 vsize=112480 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13329/stat : 13329 (mono) S 13321 13323 12185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 720352185 115179520 2759 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13330] ppid=13321 vsize=112480 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13330/stat : 13330 (mono) S 13321 13323 12185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 720352185 115179520 2759 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
[pid=13323/tid=13331] ppid=13321 vsize=112480 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13331/stat : 13331 (mono) S 13321 13323 12185 0 -1 4202560 3 0 0 0 0 0 0 0 21 0 9 0 720352185 115179520 2760 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562361265 0 0 4096 545260780 18446604470358364544 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 112480

[startup+0.100829 s]
/proc/loadavg: 2.03 1.84 1.73 2/461 13323
/proc/meminfo: memFree=12082368/32951124 swapFree=67056836/67111528
[pid=13323] ppid=13321 vsize=112544 CPUtime=0.09 cores=1,3,5,7
/proc/13323/stat : 13323 (mono) R 13321 13323 12185 0 -1 4202496 2911 0 0 0 9 0 0 0 18 0 9 0 720352185 115245056 2815 33554432000 4194304 7232020 140735574549024 18446744073709551615 1082703372 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/13323/statm: 28136 2815 1024 742 0 20707 0
[pid=13323/tid=13324] ppid=13321 vsize=112544 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13324/stat : 13324 (mono) S 13321 13323 12185 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 9 0 720352185 115245056 2815 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 7 0 0 0
[pid=13323/tid=13325] ppid=13321 vsize=112544 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13325/stat : 13325 (mono) S 13321 13323 12185 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 9 0 720352185 115245056 2815 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 7 0 0 0
[pid=13323/tid=13326] ppid=13321 vsize=112544 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13326/stat : 13326 (mono) S 13321 13323 12185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 720352185 115245056 2815 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 7 0 0 0
[pid=13323/tid=13327] ppid=13321 vsize=112544 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13327/stat : 13327 (mono) S 13321 13323 12185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 720352185 115245056 2815 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 7 0 0 0
[pid=13323/tid=13328] ppid=13321 vsize=112544 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13328/stat : 13328 (mono) S 13321 13323 12185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 720352185 115245056 2815 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 7 0 0 0
[pid=13323/tid=13329] ppid=13321 vsize=112544 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13329/stat : 13329 (mono) S 13321 13323 12185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 720352185 115245056 2815 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 7 0 0 0
[pid=13323/tid=13330] ppid=13321 vsize=112544 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13330/stat : 13330 (mono) S 13321 13323 12185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 720352185 115245056 2815 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562353561 0 0 4096 545260780 18446604470358364544 0 0 -1 7 0 0 0
[pid=13323/tid=13331] ppid=13321 vsize=112544 CPUtime=0 cores=1,3,5,7
/proc/13323/task/13331/stat : 13331 (mono) S 13321 13323 12185 0 -1 4202560 3 0 0 0 0 0 0 0 21 0 9 0 720352185 115245056 2815 33554432000 4194304 7232020 140735574549024 18446744073709551615 271562361265 0 0 4096 545260780 18446604470358364544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 112544

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

Child status: 0
Real time (s): 0.137561
CPU time (s): 0.136978
CPU user time (s): 0.12798
CPU system time (s): 0.008998
CPU usage (%): 99.5762
Max. virtual memory (cumulated for all children) (KiB): 112544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.12798
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3043
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= 1034
involuntary context switches= 227

runsolver used 0.003999 second user time and 0.013997 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-22 20:05:43
IDJOB=3394789
IDBENCH=84572
IDSOLVER=1880
FILE ID=node133/3394789-1306087543
RUNJOBID= node133-1306087156-13204
PBS_JOBID= 13387870
Free space on /tmp= 73028 MiB

SOLVER NAME= Sol 2011-04-04
BENCH NAME= SAT04/handmade/anton/l5k3/lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
COMMAND LINE= mono Main.exe BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394789-1306087543/watcher-3394789-1306087543 -o /tmp/evaluation-result-3394789-1306087543/solver-3394789-1306087543 -C 5000 -W 5100 -M 15500  mono Main.exe HOME/instance-3394789-1306087543.cnf

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

MD5SUM BENCH= f7a218f6e4ba6f28584266f788a5d6da
RANDOM SEED=1308633961

node133.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.834
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.66
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.834
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.834
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.82
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.834
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	: 6741.12
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.834
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.74
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.834
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.834
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.834
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:     32951124 kB
MemFree:      12082648 kB
Buffers:        339136 kB
Cached:        8572056 kB
SwapCached:       7668 kB
Active:       15088468 kB
Inactive:      5455380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12082648 kB
SwapTotal:    67111528 kB
SwapFree:     67056836 kB
Dirty:             144 kB
Writeback:          16 kB
AnonPages:    11630876 kB
Mapped:          40992 kB
Slab:           203940 kB
PageTables:      53900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115175832 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73028 MiB
End job on node133 at 2011-05-22 20:05:43