runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-292413-1171753552 -o ROOT/results/node35/solver-292413-1171753552 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/292413-1171753552/picosat /tmp/evaluation/292413-1171753552/instance-292413-1171753552.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4393
/proc/meminfo: memFree=701656/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=568 CPUtime=0
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 69 0 0 0 0 0 0 0 18 0 1 0 169118888 581632 54 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 142 54 40 102 0 37 0
[startup+0.106781 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4393
/proc/meminfo: memFree=701656/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=708 CPUtime=0.1
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 132 0 0 0 9 1 0 0 18 0 1 0 169118888 724992 115 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134529635 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 177 115 48 102 0 72 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 708
[startup+0.514861 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4393
/proc/meminfo: memFree=701656/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=836 CPUtime=0.51
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 149 0 0 0 50 1 0 0 21 0 1 0 169118888 856064 132 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134524081 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 209 132 48 102 0 104 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 836
[startup+1.33502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=701200/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=836 CPUtime=1.33
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 167 0 0 0 132 1 0 0 25 0 1 0 169118888 856064 150 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134529753 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 209 150 48 102 0 104 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 836
[startup+2.97134 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=701008/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=960 CPUtime=2.96
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 188 0 0 0 295 1 0 0 25 0 1 0 169118888 983040 171 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134520058 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 240 171 48 102 0 135 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 960
[startup+6.24999 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=700880/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=1076 CPUtime=6.24
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 220 0 0 0 623 1 0 0 25 0 1 0 169118888 1101824 203 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525769 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 269 203 48 102 0 164 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 1076
[startup+12.7043 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=700704/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=1308 CPUtime=12.69
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 260 0 0 0 1268 1 0 0 25 0 1 0 169118888 1339392 243 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 327 243 48 102 0 222 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308
[startup+25.5078 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=700448/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=1428 CPUtime=25.49
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 306 0 0 0 2548 1 0 0 25 0 1 0 169118888 1462272 289 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134529395 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 357 289 48 102 0 252 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1428
[startup+51.1138 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=700192/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=1788 CPUtime=51.09
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 376 0 0 0 5108 1 0 0 25 0 1 0 169118888 1830912 359 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 447 359 48 102 0 342 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1788
[startup+102.322 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=699872/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=1964 CPUtime=102.27
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 446 0 0 0 10226 1 0 0 25 0 1 0 169118888 2011136 429 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 491 429 48 102 0 386 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1964
[startup+162.342 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=699552/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=2308 CPUtime=162.27
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 519 0 0 0 16226 1 0 0 25 0 1 0 169118888 2363392 502 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134529260 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 577 502 48 102 0 472 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 2308
[startup+222.362 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=699360/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=2484 CPUtime=222.28
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 562 0 0 0 22226 2 0 0 25 0 1 0 169118888 2543616 545 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525760 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 621 545 48 102 0 516 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 2484
[startup+282.38 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=699168/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=2716 CPUtime=282.27
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 613 0 0 0 28225 2 0 0 25 0 1 0 169118888 2781184 595 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525814 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 679 595 48 102 0 574 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 2716
[startup+342.399 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=699104/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=2816 CPUtime=342.27
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 637 0 0 0 34225 2 0 0 25 0 1 0 169118888 2883584 618 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 704 618 48 102 0 599 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 2816
[startup+402.418 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=698912/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=2992 CPUtime=402.26
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 688 0 0 0 40224 2 0 0 25 0 1 0 169118888 3063808 667 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525814 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 748 667 48 102 0 643 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 2992
[startup+462.436 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=698784/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3120 CPUtime=462.26
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 712 0 0 0 46224 2 0 0 25 0 1 0 169118888 3194880 691 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525760 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 780 691 48 102 0 675 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 3120
[startup+522.454 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=698720/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3172 CPUtime=522.26
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 742 0 0 0 52223 3 0 0 25 0 1 0 169118888 3248128 716 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 793 716 48 102 0 688 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 3172
[startup+582.476 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=698656/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3172 CPUtime=582.27
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 750 0 0 0 58224 3 0 0 25 0 1 0 169118888 3248128 716 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 793 716 48 102 0 688 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 3172
[startup+642.495 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=698592/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3372 CPUtime=642.26
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 804 0 0 0 64223 3 0 0 25 0 1 0 169118888 3452928 758 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 843 758 48 102 0 738 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 3372
[startup+702.515 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=698400/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3472 CPUtime=702.26
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 834 0 0 0 70223 3 0 0 25 0 1 0 169118888 3555328 786 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525828 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 868 786 48 102 0 763 0
Current children cumulated CPU time (s) 702.26
Current children cumulated vsize (KiB) 3472
[startup+762.532 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=698400/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3440 CPUtime=762.25
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 845 0 0 0 76222 3 0 0 25 0 1 0 169118888 3522560 782 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 860 782 48 102 0 755 0
Current children cumulated CPU time (s) 762.25
Current children cumulated vsize (KiB) 3440
[startup+822.554 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=698272/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3580 CPUtime=822.26
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 900 0 0 0 82222 4 0 0 25 0 1 0 169118888 3665920 825 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134543543 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 895 825 48 102 0 790 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 3580
[startup+882.576 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=698208/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3632 CPUtime=882.26
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 907 0 0 0 88222 4 0 0 25 0 1 0 169118888 3719168 831 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 908 831 48 102 0 803 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 3632
[startup+942.592 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=698144/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3628 CPUtime=942.25
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 939 0 0 0 94221 4 0 0 25 0 1 0 169118888 3715072 840 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 907 840 48 102 0 802 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 3628
[startup+1002.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=698080/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3664 CPUtime=1002.25
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 982 0 0 0 100221 4 0 0 25 0 1 0 169118888 3751936 849 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 916 849 48 102 0 811 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 3664
[startup+1062.63 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=698080/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3820 CPUtime=1062.24
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 1017 0 0 0 106220 4 0 0 25 0 1 0 169118888 3911680 884 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525814 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 955 884 48 102 0 850 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 3820
[startup+1122.65 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4394
/proc/meminfo: memFree=698016/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3712 CPUtime=1122.25
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 1050 0 0 0 112220 5 0 0 25 0 1 0 169118888 3801088 863 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 928 863 48 102 0 823 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 3712
[startup+1182.67 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4396
/proc/meminfo: memFree=697952/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3748 CPUtime=1182.25
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 1055 0 0 0 118220 5 0 0 25 0 1 0 169118888 3837952 868 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134531784 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 937 868 48 102 0 832 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 3748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.49 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4396
/proc/meminfo: memFree=697952/2055920 swapFree=4183700/4192956
[pid=4393] ppid=4391 vsize=3748 CPUtime=1200.07
/proc/4393/stat : 4393 (picosat) R 4391 4393 2768 0 -1 4194304 1055 0 0 0 120002 5 0 0 25 0 1 0 169118888 3837952 868 18446744073709551615 134512640 134931368 4294956640 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/4393/statm: 937 868 48 102 0 832 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 3748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.5
CPU time (s): 1200.08
CPU user time (s): 1200.02
CPU system time (s): 0.053991
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 3900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.02
system time used= 0.053991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1055
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= 6
involuntary context switches= 1850
runsolver used 0.760884 second user time and 2.44763 second system time
The end
Begin job on node35 on Sat Feb 17 23:05:52 UTC 2007
IDJOB= 292413
IDBENCH= 19839
IDSOLVER= 106
FILE ID= node35/292413-1171753552
PBS_JOBID= 3839473
Free space on /tmp= 66564 MiB
SOLVER NAME= picosat 535
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/5SAT/v90/unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/292413-1171753552/picosat /tmp/evaluation/292413-1171753552/instance-292413-1171753552.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-292413-1171753552 -o ROOT/results/node35/solver-292413-1171753552 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/292413-1171753552/picosat /tmp/evaluation/292413-1171753552/instance-292413-1171753552.cnf
META MD5SUM SOLVER= 1cb12d44dc66ecc4d20a168f5cfd1323
MD5SUM BENCH= 3c4f5368158b573142e5708eb27d980e
RANDOM SEED= 826775930
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node35.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.263
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.263
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: 702064 kB
Buffers: 40628 kB
Cached: 1212644 kB
SwapCached: 3776 kB
Active: 780348 kB
Inactive: 483504 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 702064 kB
SwapTotal: 4192956 kB
SwapFree: 4183700 kB
Dirty: 568 kB
Writeback: 0 kB
Mapped: 15752 kB
Slab: 76004 kB
Committed_AS: 641116 kB
PageTables: 1412 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= 66564 MiB
End job on node35 on Sat Feb 17 23:25:54 UTC 2007