0.00/0.00
0.00/0.01 c Computed by /tmp/evaluation/426951-1177830938/kcnfs-2004 V. 03/02/12
0.00/0.01 c Input file : '/tmp/evaluation/426951-1177830938/instance-426951-1177830938.cnf'
21.69/21.73 c [990 variables, 3582 clauses, ratio 3.62, mean occ 5, 3-SAT]
21.69/21.73 s SATISFIABLE
21.69/21.73 v -13 -64 -159 172 -203
21.69/21.73 v -253 272 297 311 -313
21.69/21.73 v -338 475 539 561 -603
21.69/21.73 v -611 622 650 763 787
21.69/21.73 v 848 -887 -896 918 942
21.69/21.73 v -984 -417 -310 -72 -710
21.69/21.73 v -266 -641 449 213 -760
21.69/21.73 v 596 221 892 18 -427
21.69/21.73 v 329 49 889 -239 799
21.69/21.73 v -491 280 662 9 -206
21.69/21.73 v -255 807 899 1 145
21.69/21.73 v -690 -736 -593 -361 805
21.69/21.73 v -608 -85 501 782 594
21.69/21.73 v 731 447 306 -764 926
21.69/21.73 v -730 613 -262 -541 928
21.69/21.73 v -774 -634 -43 -600 -162
21.69/21.73 v -936 -394 242 89 518
21.69/21.73 v 276 792 -771 332 -226
21.69/21.73 v 245 498 -402 -480 786
21.69/21.73 v -759 -3 -406 -628 462
21.69/21.73 v -63 527 526 -956 -832
21.69/21.73 v 32 -907 -796 -410 -404
21.69/21.73 v 65 -525 -127 -968 -26
21.69/21.73 v 623 -722 -723 155 882
21.69/21.73 v -779 -795 -589 169 -624
21.69/21.73 v -515 233 963 925 238
21.69/21.73 v 847 957 -706 815 -446
21.69/21.73 v 820 -602 -618 105 -950
21.69/21.73 v 952 240 -738 927 693
21.69/21.73 v -726 932 -391 418 -47
21.69/21.73 v 990 -864 567 289 -100
21.69/21.73 v -254 35 924 -546 420
21.69/21.73 v -168 -275 25 -496 -207
21.69/21.73 v -91 12 -58 -878 -532
21.69/21.73 v 229 -29 700 381 -116
21.69/21.73 v 904 -601 639 286 704
21.69/21.73 v 906 762 -571 336 -808
21.69/21.73 v -620 23 235 827 103
21.69/21.73 v -315 -326 -15 -673 436
21.69/21.73 v -629 -675 -748 989 528
21.69/21.73 v -339 552 -610 135 369
21.69/21.73 v -758 -273 940 -82 186
21.69/21.73 v -368 143 66 733 -810
21.69/21.73 v 497 533 -189 804 -871
21.69/21.73 v -638 -666 -115 -40 -691
21.69/21.73 v -578 -230 -741 386 -858
21.69/21.73 v -711 469 -11 -298 -964
21.69/21.73 v -434 -321 468 416 647
21.69/21.73 v 259 -530 -356 -473 788
21.69/21.73 v 890 -163 -538 986 845
21.69/21.73 v 933 -330 154 767 -800
21.69/21.73 v -139 -183 835 137 -482
21.69/21.73 v 587 -806 -97 140 495
21.69/21.73 v -209 -809 -444 830 465
21.69/21.73 v 586 -201 784 -217 412
21.69/21.73 v -170 676 445 -672 -883
21.69/21.73 v 590 -227 -869 -351 41
21.69/21.73 v -359 -516 -754 -705 279
21.69/21.73 v -379 -944 -294 -463 -891
21.69/21.73 v 817 -665 -484 801 -390
21.69/21.73 v 831 -300 4 -70 150
21.69/21.73 v 696 -569 -51 -350 732
21.69/21.73 v -913 -531 -17 363 433
21.69/21.73 v -855 -470 -520 -677 258
21.69/21.73 v 849 867 576 -856 -860
21.69/21.73 v 893 353 456 -34 270
21.69/21.73 v 123 713 -366 438 54
21.69/21.73 v -931 818 60 -511 -909
21.69/21.73 v -260 -897 640 -663 451
21.69/21.73 v -460 797 -708 -773 -55
21.69/21.73 v -211 -77 328 -345 76
21.69/21.73 v 660 -698 -595 -888 -683
21.69/21.73 v -108 305 554 80 -540
21.69/21.73 v 523 988 14 -160 -364
21.69/21.73 v 149 487 -293 -357 -862
21.69/21.73 v -577 6 -467 -158 559
21.69/21.73 v -175 -914 775 -908 188
21.69/21.73 v 850 -31 581 -585 556
21.69/21.73 v -92 95 -102 -921 178
21.69/21.73 v -334 980 199 401 62
21.69/21.73 v 202 246 204 205 -164
21.69/21.73 v -78 212 452 271 631
21.69/21.73 v -949 -104 828 -291 218
21.69/21.73 v -223 247 99 836 450
21.69/21.73 v 580 -324 274 -309 314
21.69/21.73 v -719 374 -409 -110 93
21.69/21.73 v 825 -735 -282 -747 -342
21.69/21.73 v -408 -555 768 851 701
21.69/21.73 v -346 694 -958 843 349
21.69/21.73 v 323 -398 -333 126 -67
21.69/21.73 v -382 -976 -916 -343 493
21.69/21.73 v -341 117 -109 179 -318
21.69/21.73 v -344 -982 355 -375 21
21.69/21.73 v 616 -7 -471 -119 -125
21.69/21.73 v 781 -508 499 -615 5
21.69/21.73 v -885 -385 -886 -384 88
21.69/21.73 v 939 -749 -517 -934 481
21.69/21.73 v 868 -388 -269 -987 -745
21.69/21.73 v -606 -84 562 -903 837
21.69/21.73 v 794 248 -263 -237 -459
21.69/21.73 v -718 780 751 425 421
21.69/21.73 v -98 -553 -757 966 -39
21.69/21.73 v -846 396 -397 36 -457
21.69/21.73 v -308 685 695 -881 -900
21.69/21.73 v -937 -86 524 -503 -443
21.69/21.73 v -946 -582 -643 895 -765
21.69/21.73 v 789 448 -33 876 -347
21.69/21.73 v 859 -144 -128 439 307
21.69/21.73 v 156 488 -824 370 573
21.69/21.73 v -687 -929 -712 -737 -948
21.69/21.73 v 133 464 148 325 703
21.69/21.73 v 210 234 252 -744 -440
21.69/21.73 v -19 -302 428 -411 979
21.69/21.73 v 709 -597 124 656 750
21.69/21.73 v 668 -507 -725 466 -661
21.69/21.73 v -22 791 -699 -389 -94
21.69/21.73 v 453 935 -761 173 296
21.69/21.73 v -543 -680 130 441 -772
21.69/21.73 v 734 -171 -721 -923 -819
21.69/21.73 v -645 -742 632 71 -284
21.69/21.73 v -568 -136 -194 190 367
21.69/21.73 v 960 -485 57 -752 393
21.69/21.73 v 504 458 -383 299 -483
21.69/21.73 v 898 335 -10 -59 -943
21.69/21.73 v -193 419 651 -486 377
21.69/21.73 v 621 953 151 -216 884
21.69/21.73 v 141 678 295 489 -870
21.69/21.73 v -176 -697 442 -250 96
21.69/21.73 v -947 -636 -833 303 588
21.69/21.73 v 547 312 -558 617 973
21.69/21.73 v -649 599 -2 -922 -219
21.69/21.73 v 813 863 821 551 83
21.69/21.73 v -371 -134 224 174 902
21.69/21.73 v -184 -658 -362 -304 -73
21.69/21.73 v -536 -500 671 -283 -872
21.69/21.73 v -61 -461 -157 -967 -548
21.69/21.73 v 191 494 753 977 -387
21.69/21.73 v -290 -392 -605 512 432
21.69/21.73 v 727 -122 -978 -802 -146
21.69/21.73 v 131 405 -575 322 -37
21.69/21.73 v 161 769 -474 572 756
21.69/21.73 v 542 129 971 365 -395
21.69/21.73 v -951 472 -842 654 919
21.69/21.73 v -287 8 479 669 -714
21.69/21.73 v -505 840 -865 -783 -373
21.69/21.73 v 834 -120 -877 327 -667
21.69/21.73 v 646 -208 -75 -777 -955
21.69/21.73 v -707 743 -974 -766 875
21.69/21.73 v -717 852 407 -214 983
21.69/21.73 v -153 -180 -598 -648 147
21.69/21.73 v -44 111 -87 910 301
21.69/21.73 v 692 -378 -655 -360 278
21.69/21.73 v 938 281 -28 56 38
21.69/21.73 v 604 -455 -679 534 -724
21.69/21.73 v 607 -560 -121 -187 -814
21.69/21.73 v -839 -633 429 854 27
21.69/21.73 v 477 905 -53 -166 231
21.69/21.73 v -917 -340 107 -118 -653
21.69/21.73 v -437 684 -510 185 -970
21.69/21.73 v -196 -844 874 90 -52
21.69/21.73 v 557 -549 770 -755 228
21.69/21.73 v 509 -138 -46 -236 785
21.69/21.73 v -358 912 972 564 454
21.69/21.73 v -30 -941 277 -652 -609
21.69/21.73 v 739 -627 113 -545 -265
21.69/21.73 v 506 790 816 225 -68
21.69/21.73 v -192 -490 -715 181 48
21.69/21.73 v 372 930 -681 776 316
21.69/21.73 v -232 -69 -563 -167 -642
21.69/21.73 v 50 -215 626 152 -838
21.69/21.73 v 535 256 -579 376 -879
21.69/21.73 v -962 829 584 -331 -426
21.69/21.73 v 612 243 -574 -566 959
21.69/21.73 v -793 -317 826 -519 -502
21.69/21.73 v 570 945 288 -702 -244
21.69/21.73 v 399 403 413 -414 415
21.69/21.73 v 423 431 435 -476 478
21.69/21.73 v 492 513 521 522 529
21.69/21.73 v -537 544 -550 591 -614
21.69/21.73 v 625 635 637 644 -657
21.69/21.73 v 659 664 670 674 686
21.69/21.73 v -688 -689 716 728 740
21.69/21.73 v 746 -778 798 -803 811
21.69/21.73 v -812 822 823 -841 853
21.69/21.73 v 866 873 -880 894 901
21.69/21.73 v -911 -915 -920 -961 965
21.69/21.73 v 981 -985 -241 729 -195
21.69/21.73 v -954 267 -264 16 24
21.69/21.73 v -42 -74 79 -81 101
21.69/21.73 v -106 -112 -114 132 142
21.69/21.73 v 165 -197 -198 200 220
21.69/21.73 v -222 249 251 257 261
21.69/21.73 v -268 285 292 319 320
21.69/21.73 v 337 348 -352 354 380
21.69/21.73 v -400 424 -565 592 -619
21.69/21.73 v 630 682 -720 857 861
21.69/21.73 v 969 -975 -20 -514 -45
21.69/21.73 v 177 182 -422 430 583
21.69/21.73 v 0
21.69/21.73 c Computation time : 21.720 seconds
21.69/21.73 c Execution time : 21.730 seconds
21.69/21.73 c Size of search tree : 19071 nodes
21.69/21.73
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node52/watcher-426951-1177830938 -o ROOT/results/node52/solver-426951-1177830938 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/426951-1177830938/kcnfs-2004 /tmp/evaluation/426951-1177830938/instance-426951-1177830938.cnf
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): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.89 0.95 1.03 3/64 13653
/proc/meminfo: memFree=1402836/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=16112 CPUtime=0
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 116 0 0 0 0 0 0 0 18 0 1 0 137938871 16498688 97 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134614467 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4029 98 38 107 0 3918 0
[startup+0.0191971 s]
/proc/loadavg: 0.89 0.95 1.03 3/64 13653
/proc/meminfo: memFree=1402836/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=17144 CPUtime=0.01
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 494 0 0 0 1 0 0 0 18 0 1 0 137938871 17555456 474 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528623 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4286 474 59 107 0 4175 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17144
[startup+0.101201 s]
/proc/loadavg: 0.89 0.95 1.03 3/64 13653
/proc/meminfo: memFree=1402836/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=17144 CPUtime=0.1
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 494 0 0 0 10 0 0 0 18 0 1 0 137938871 17555456 474 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577717 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4286 474 59 107 0 4175 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17144
[startup+0.301214 s]
/proc/loadavg: 0.89 0.95 1.03 3/64 13653
/proc/meminfo: memFree=1402836/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=17144 CPUtime=0.3
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 495 0 0 0 30 0 0 0 19 0 1 0 137938871 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528195 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 17144
[startup+0.701242 s]
/proc/loadavg: 0.89 0.95 1.03 3/64 13653
/proc/meminfo: memFree=1402836/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=17144 CPUtime=0.7
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 495 0 0 0 70 0 0 0 22 0 1 0 137938871 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529326 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 17144
[startup+1.5013 s]
/proc/loadavg: 0.89 0.95 1.03 2/65 13654
/proc/meminfo: memFree=1401164/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=17144 CPUtime=1.49
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 495 0 0 0 149 0 0 0 25 0 1 0 137938871 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531343 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17144
[startup+3.1024 s]
/proc/loadavg: 0.89 0.95 1.03 2/65 13654
/proc/meminfo: memFree=1400908/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=17144 CPUtime=3.1
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 495 0 0 0 310 0 0 0 25 0 1 0 137938871 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531230 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 17144
[startup+6.30162 s]
/proc/loadavg: 0.90 0.95 1.03 2/65 13654
/proc/meminfo: memFree=1400844/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=17144 CPUtime=6.29
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 495 0 0 0 629 0 0 0 25 0 1 0 137938871 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134533482 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17144
[startup+12.7011 s]
/proc/loadavg: 0.90 0.95 1.03 2/65 13654
/proc/meminfo: memFree=1400844/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=17144 CPUtime=12.69
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 495 0 0 0 1269 0 0 0 25 0 1 0 137938871 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531490 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17144
Solver just ended. Dumping a history of the last processes samples
[startup+15.9013 s]
/proc/loadavg: 0.91 0.96 1.03 2/65 13654
/proc/meminfo: memFree=1400844/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=17144 CPUtime=15.89
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 495 0 0 0 1589 0 0 0 25 0 1 0 137938871 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531854 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 17144
[startup+19.1015 s]
/proc/loadavg: 0.92 0.96 1.03 2/65 13654
/proc/meminfo: memFree=1400844/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=17144 CPUtime=19.09
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 495 0 0 0 1909 0 0 0 25 0 1 0 137938871 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134565803 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 17144
[startup+20.7016 s]
/proc/loadavg: 0.92 0.96 1.03 2/65 13654
/proc/meminfo: memFree=1400844/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=17144 CPUtime=20.69
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 495 0 0 0 2069 0 0 0 25 0 1 0 137938871 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531388 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 17144
[startup+21.5017 s]
/proc/loadavg: 0.92 0.96 1.03 2/65 13654
/proc/meminfo: memFree=1400844/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=17144 CPUtime=21.49
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 495 0 0 0 2149 0 0 0 25 0 1 0 137938871 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529204 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 21.49
Current children cumulated vsize (KiB) 17144
[startup+21.7017 s]
/proc/loadavg: 0.92 0.96 1.03 2/65 13654
/proc/meminfo: memFree=1400844/2055920 swapFree=4182996/4192956
[pid=13653] ppid=13651 vsize=17144 CPUtime=21.69
/proc/13653/stat : 13653 (kcnfs-2004) R 13651 13653 13141 0 -1 0 495 0 0 0 2169 0 0 0 25 0 1 0 137938871 17555456 475 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531490 0 0 4096 0 0 0 0 17 1 0 0
/proc/13653/statm: 4286 475 59 107 0 4175 0
Current children cumulated CPU time (s) 21.69
Current children cumulated vsize (KiB) 17144
Child status: 10
Real time (s): 21.7408
CPU time (s): 21.7337
CPU user time (s): 21.7287
CPU system time (s): 0.004999
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 17144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.7287
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 500
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 44
runsolver used 0.015997 second user time and 0.050992 second system time
The end
Begin job on node52 on Sun Apr 29 07:15:38 UTC 2007
IDJOB= 426951
IDBENCH= 20259
IDSOLVER= 194
FILE ID= node52/426951-1177830938
PBS_JOBID= 4718290
Free space on /tmp= 66561 MiB
SOLVER NAME= KCNFS 2004
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v990/unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf
COMMAND LINE= /tmp/evaluation/426951-1177830938/kcnfs-2004 /tmp/evaluation/426951-1177830938/instance-426951-1177830938.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-426951-1177830938 -o ROOT/results/node52/solver-426951-1177830938 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/426951-1177830938/kcnfs-2004 /tmp/evaluation/426951-1177830938/instance-426951-1177830938.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 4f1fdd7886037e39bdc6f3becce96722
RANDOM SEED= 795673016
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node52.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1403308 kB
Buffers: 52552 kB
Cached: 516788 kB
SwapCached: 3968 kB
Active: 260764 kB
Inactive: 318440 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1403308 kB
SwapTotal: 4192956 kB
SwapFree: 4182996 kB
Dirty: 3208 kB
Writeback: 0 kB
Mapped: 15848 kB
Slab: 59364 kB
Committed_AS: 1900068 kB
PageTables: 1484 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node52 on Sun Apr 29 07:16:00 UTC 2007