runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3472403-1307614534/watcher-3472403-1307614534 -o /tmp/evaluation-result-3472403-1307614534/solver-3472403-1307614534 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472403-1307614534.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.14 21.89 17.19 1/413 27796
/proc/meminfo: memFree=262402268/264257624 swapFree=67111528/67111528
[pid=27796] ppid=27794 vsize=65380 CPUtime=0.02 cores=0-31
/proc/27796/stat : 27796 (claspmt) R 27794 27796 27592 0 -1 4202496 4668 0 0 0 2 0 0 0 22 0 1 0 26840362 66949120 4597 270582939648 4194304 4964800 140734890562464 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27796/statm: 16345 4606 373 189 0 11219 0
[startup+0.0859639 s]
/proc/loadavg: 29.14 21.89 17.19 1/413 27796
/proc/meminfo: memFree=262402268/264257624 swapFree=67111528/67111528
[pid=27796] ppid=27794 vsize=85924 CPUtime=0.07 cores=0-31
/proc/27796/stat : 27796 (claspmt) R 27794 27796 27592 0 -1 4202496 13857 0 0 0 5 2 0 0 22 0 1 0 26840362 87986176 13312 270582939648 4194304 4964800 140734890562464 18446744073709551615 4679106 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27796/statm: 21481 13317 374 189 0 16355 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 85924
[startup+0.10096 s]
/proc/loadavg: 29.14 21.89 17.19 1/413 27796
/proc/meminfo: memFree=262402268/264257624 swapFree=67111528/67111528
[pid=27796] ppid=27794 vsize=85924 CPUtime=0.09 cores=0-31
/proc/27796/stat : 27796 (claspmt) R 27794 27796 27592 0 -1 4202496 16020 0 0 0 6 3 0 0 22 0 1 0 26840362 87986176 14610 270582939648 4194304 4964800 140734890562464 18446744073709551615 4679151 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27796/statm: 21481 14615 374 189 0 16355 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85924
[startup+0.300972 s]
/proc/loadavg: 29.14 21.89 17.19 1/413 27796
/proc/meminfo: memFree=262402268/264257624 swapFree=67111528/67111528
[pid=27796] ppid=27794 vsize=100936 CPUtime=0.28 cores=0-31
/proc/27796/stat : 27796 (claspmt) R 27794 27796 27592 0 -1 4202496 23933 0 0 0 24 4 0 0 23 0 1 0 26840362 103358464 19974 270582939648 4194304 4964800 140734890562464 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27796/statm: 25234 19974 383 189 0 20108 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 100936
[startup+0.700997 s]
/proc/loadavg: 29.14 21.89 17.19 1/413 27796
/proc/meminfo: memFree=262402268/264257624 swapFree=67111528/67111528
[pid=27796] ppid=27794 vsize=146112 CPUtime=0.69 cores=0-31
/proc/27796/stat : 27796 (claspmt) R 27794 27796 27592 0 -1 4202496 41350 0 0 0 61 8 0 0 25 0 1 0 26840362 149618688 30995 270582939648 4194304 4964800 140734890562464 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27796/statm: 36528 31017 396 189 0 31402 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 146112
[startup+1.50103 s]
/proc/loadavg: 26.89 21.54 17.10 2/414 27797
/proc/meminfo: memFree=262246752/264257624 swapFree=67111528/67111528
[pid=27796] ppid=27794 vsize=181292 CPUtime=1.48 cores=0-31
/proc/27796/stat : 27796 (claspmt) R 27794 27796 27592 0 -1 4202496 49684 0 0 0 139 9 0 0 25 0 1 0 26840362 185643008 39329 270582939648 4194304 4964800 140734890562464 18446744073709551615 4612484 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27796/statm: 45323 39329 401 189 0 40197 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 181292
[startup+3.10108 s]
/proc/loadavg: 26.89 21.54 17.10 2/414 27797
/proc/meminfo: memFree=262241496/264257624 swapFree=67111528/67111528
[pid=27796] ppid=27794 vsize=194680 CPUtime=3.08 cores=0-31
/proc/27796/stat : 27796 (claspmt) R 27794 27796 27592 0 -1 4202496 52851 0 0 0 298 10 0 0 25 0 1 0 26840362 199352320 42496 270582939648 4194304 4964800 140734890562464 18446744073709551615 4621381 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27796/statm: 48670 42496 401 189 0 43544 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 194680
[startup+6.30234 s]
/proc/loadavg: 26.89 21.54 17.10 2/414 27797
/proc/meminfo: memFree=262231976/264257624 swapFree=67111528/67111528
[pid=27796] ppid=27794 vsize=1030400 CPUtime=17.73 cores=0-31
/proc/27796/stat : 27796 (claspmt) S 27794 27796 27592 0 -1 4202496 156145 0 0 0 614 1159 0 0 18 0 32 0 26840362 1055129600 111931 270582939648 4194304 4964800 140734890562464 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/27796/statm: 257600 111941 428 189 0 251949 0
Current children cumulated CPU time (s) 17.73
Current children cumulated vsize (KiB) 1030400
Solver just ended. Dumping a history of the last processes samples
[startup+7.90212 s]
/proc/loadavg: 24.81 21.20 17.01 32/445 27828
/proc/meminfo: memFree=261373836/264257624 swapFree=67111528/67111528
[pid=27796] ppid=27794 vsize=1676284 CPUtime=62.86 cores=0-31
/proc/27796/stat : 27796 (claspmt) R 27794 27796 27592 0 -1 4202496 362415 0 0 0 3346 2940 0 0 19 0 32 0 26840362 1716514816 261846 270582939648 4194304 4964800 140734890562464 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/27796/statm: 419071 261847 461 189 0 413420 0
[pid=27796/tid=27798] ppid=27794 vsize=1676284 CPUtime=1.84 cores=0-31
/proc/27796/task/27798/stat : 27798 (claspmt) R 27794 27796 27592 0 -1 4202560 8313 0 0 0 88 96 0 0 18 0 32 0 26840951 1716514816 261847 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370288 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=27796/tid=27799] ppid=27794 vsize=1676284 CPUtime=1.85 cores=0-31
/proc/27796/task/27799/stat : 27799 (claspmt) R 27794 27796 27592 0 -1 4202560 11016 0 0 0 82 103 0 0 18 0 32 0 26840951 1716514816 261847 270582939648 4194304 4964800 140734890562464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=27796/tid=27800] ppid=27794 vsize=1676284 CPUtime=1.85 cores=0-31
/proc/27796/task/27800/stat : 27800 (claspmt) R 27794 27796 27592 0 -1 4202560 11002 0 0 0 84 101 0 0 18 0 32 0 26840951 1716514816 261848 270582939648 4194304 4964800 140734890562464 18446744073709551615 4684074 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=27796/tid=27801] ppid=27794 vsize=1676284 CPUtime=1.75 cores=0-31
/proc/27796/task/27801/stat : 27801 (claspmt) R 27794 27796 27592 0 -1 4202560 8301 0 0 0 91 84 0 0 17 0 32 0 26840951 1716514816 261851 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=27796/tid=27802] ppid=27794 vsize=1676284 CPUtime=1.81 cores=0-31
/proc/27796/task/27802/stat : 27802 (claspmt) R 27794 27796 27592 0 -1 4202560 8723 0 0 0 92 89 0 0 18 0 32 0 26840951 1716514816 261851 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=27796/tid=27803] ppid=27794 vsize=1676284 CPUtime=1.76 cores=0-31
/proc/27796/task/27803/stat : 27803 (claspmt) R 27794 27796 27592 0 -1 4202560 11013 0 0 0 86 90 0 0 17 0 32 0 26840951 1716514816 261852 270582939648 4194304 4964800 140734890562464 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=27796/tid=27804] ppid=27794 vsize=1676284 CPUtime=1.83 cores=0-31
/proc/27796/task/27804/stat : 27804 (claspmt) R 27794 27796 27592 0 -1 4202560 11596 0 0 0 75 108 0 0 18 0 32 0 26840951 1716514816 261853 270582939648 4194304 4964800 140734890562464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=27796/tid=27805] ppid=27794 vsize=1676284 CPUtime=1.87 cores=0-31
/proc/27796/task/27805/stat : 27805 (claspmt) R 27794 27796 27592 0 -1 4202560 8750 0 0 0 85 102 0 0 18 0 32 0 26840951 1716514816 261853 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=27796/tid=27806] ppid=27794 vsize=1676284 CPUtime=1.88 cores=0-31
/proc/27796/task/27806/stat : 27806 (claspmt) R 27794 27796 27592 0 -1 4202560 8699 0 0 0 90 98 0 0 18 0 32 0 26840951 1716514816 261854 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=27796/tid=27807] ppid=27794 vsize=1676284 CPUtime=1.89 cores=0-31
/proc/27796/task/27807/stat : 27807 (claspmt) R 27794 27796 27592 0 -1 4202560 11393 0 0 0 84 105 0 0 18 0 32 0 26840951 1716514816 261854 270582939648 4194304 4964800 140734890562464 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=27796/tid=27808] ppid=27794 vsize=1676284 CPUtime=1.86 cores=0-31
/proc/27796/task/27808/stat : 27808 (claspmt) R 27794 27796 27592 0 -1 4202560 10907 0 0 0 87 99 0 0 18 0 32 0 26840951 1716514816 261854 270582939648 4194304 4964800 140734890562464 18446744073709551615 4653247 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=27796/tid=27809] ppid=27794 vsize=1676284 CPUtime=1.89 cores=0-31
/proc/27796/task/27809/stat : 27809 (claspmt) R 27794 27796 27592 0 -1 4202560 8621 0 0 0 89 100 0 0 18 0 32 0 26840951 1716514816 261854 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=27796/tid=27810] ppid=27794 vsize=1676284 CPUtime=1.59 cores=0-31
/proc/27796/task/27810/stat : 27810 (claspmt) R 27794 27796 27592 0 -1 4202560 9153 0 0 0 94 65 0 0 16 0 32 0 26840951 1716514816 261854 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=27796/tid=27811] ppid=27794 vsize=1676284 CPUtime=1.84 cores=0-31
/proc/27796/task/27811/stat : 27811 (claspmt) R 27794 27796 27592 0 -1 4202560 11007 0 0 0 87 97 0 0 18 0 32 0 26840951 1716514816 261854 270582939648 4194304 4964800 140734890562464 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=27796/tid=27812] ppid=27794 vsize=1676284 CPUtime=1.78 cores=0-31
/proc/27796/task/27812/stat : 27812 (claspmt) R 27794 27796 27592 0 -1 4202560 11157 0 0 0 79 99 0 0 18 0 32 0 26840951 1716514816 261855 270582939648 4194304 4964800 140734890562464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27796/tid=27813] ppid=27794 vsize=1676284 CPUtime=1.84 cores=0-31
/proc/27796/task/27813/stat : 27813 (claspmt) R 27794 27796 27592 0 -1 4202560 8665 0 0 0 89 95 0 0 18 0 32 0 26840951 1716514816 261855 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=27796/tid=27814] ppid=27794 vsize=1676284 CPUtime=1.85 cores=0-31
/proc/27796/task/27814/stat : 27814 (claspmt) R 27794 27796 27592 0 -1 4202560 8709 0 0 0 89 96 0 0 18 0 32 0 26840951 1716514816 261857 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=27796/tid=27815] ppid=27794 vsize=1676284 CPUtime=1.75 cores=0-31
/proc/27796/task/27815/stat : 27815 (claspmt) R 27794 27796 27592 0 -1 4202560 11081 0 0 0 86 89 0 0 17 0 32 0 26840952 1716514816 261859 270582939648 4194304 4964800 140734890562464 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=27796/tid=27816] ppid=27794 vsize=1676284 CPUtime=1.52 cores=0-31
/proc/27796/task/27816/stat : 27816 (claspmt) R 27794 27796 27592 0 -1 4202560 11323 0 0 0 86 66 0 0 16 0 32 0 26840952 1716514816 261859 270582939648 4194304 4964800 140734890562464 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=27796/tid=27817] ppid=27794 vsize=1676284 CPUtime=1.83 cores=0-31
/proc/27796/task/27817/stat : 27817 (claspmt) R 27794 27796 27592 0 -1 4202560 8630 0 0 0 89 94 0 0 18 0 32 0 26840952 1716514816 261860 270582939648 4194304 4964800 140734890562464 18446744073709551615 4338788 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=27796/tid=27818] ppid=27794 vsize=1676284 CPUtime=1.87 cores=0-31
/proc/27796/task/27818/stat : 27818 (claspmt) R 27794 27796 27592 0 -1 4202560 9173 0 0 0 88 99 0 0 18 0 32 0 26840952 1716514816 261861 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=27796/tid=27819] ppid=27794 vsize=1676284 CPUtime=1.79 cores=0-31
/proc/27796/task/27819/stat : 27819 (claspmt) R 27794 27796 27592 0 -1 4202560 11266 0 0 0 86 93 0 0 17 0 32 0 26840952 1716514816 261861 270582939648 4194304 4964800 140734890562464 18446744073709551615 4660104 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=27796/tid=27820] ppid=27794 vsize=1676284 CPUtime=1.74 cores=0-31
/proc/27796/task/27820/stat : 27820 (claspmt) R 27794 27796 27592 0 -1 4202560 11819 0 0 0 75 99 0 0 17 0 32 0 26840952 1716514816 261862 270582939648 4194304 4964800 140734890562464 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=27796/tid=27821] ppid=27794 vsize=1676284 CPUtime=1.76 cores=0-31
/proc/27796/task/27821/stat : 27821 (claspmt) R 27794 27796 27592 0 -1 4202560 8614 0 0 0 89 87 0 0 17 0 32 0 26840952 1716514816 261862 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=27796/tid=27822] ppid=27794 vsize=1676284 CPUtime=1.72 cores=0-31
/proc/27796/task/27822/stat : 27822 (claspmt) R 27794 27796 27592 0 -1 4202560 7941 0 0 0 89 83 0 0 17 0 32 0 26840952 1716514816 261863 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=27796/tid=27823] ppid=27794 vsize=1676284 CPUtime=1.74 cores=0-31
/proc/27796/task/27823/stat : 27823 (claspmt) R 27794 27796 27592 0 -1 4202560 11381 0 0 0 80 94 0 0 17 0 32 0 26840952 1716514816 261863 270582939648 4194304 4964800 140734890562464 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=27796/tid=27824] ppid=27794 vsize=1676284 CPUtime=1.85 cores=0-31
/proc/27796/task/27824/stat : 27824 (claspmt) R 27794 27796 27592 0 -1 4202560 11201 0 0 0 86 99 0 0 18 0 32 0 26840952 1716514816 261863 270582939648 4194304 4964800 140734890562464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=27796/tid=27825] ppid=27794 vsize=1676284 CPUtime=1.86 cores=0-31
/proc/27796/task/27825/stat : 27825 (claspmt) R 27794 27796 27592 0 -1 4202560 8623 0 0 0 89 97 0 0 18 0 32 0 26840952 1716514816 261863 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=27796/tid=27826] ppid=27794 vsize=1676284 CPUtime=1.85 cores=0-31
/proc/27796/task/27826/stat : 27826 (claspmt) R 27794 27796 27592 0 -1 4202560 8956 0 0 0 89 96 0 0 18 0 32 0 26840952 1716514816 261864 270582939648 4194304 4964800 140734890562464 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=27796/tid=27827] ppid=27794 vsize=1676284 CPUtime=1.74 cores=0-31
/proc/27796/task/27827/stat : 27827 (claspmt) R 27794 27796 27592 0 -1 4202560 10348 0 0 0 87 87 0 0 17 0 32 0 26840952 1716514816 261866 270582939648 4194304 4964800 140734890562464 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=27796/tid=27828] ppid=27794 vsize=1676284 CPUtime=1.82 cores=0-31
/proc/27796/task/27828/stat : 27828 (claspmt) R 27794 27796 27592 0 -1 4202560 11473 0 0 0 78 104 0 0 18 0 32 0 26840952 1716514816 261866 270582939648 4194304 4964800 140734890562464 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 62.86
Current children cumulated vsize (KiB) 1676284
[startup+8.7013 s]
/proc/loadavg: 24.81 21.20 17.01 2/414 27828
/proc/meminfo: memFree=261569788/264257624 swapFree=67111528/67111528
[pid=27796] ppid=27794 vsize=1328572 CPUtime=75.82 cores=0-31
/proc/27796/stat : 27796 (claspmt) R 27794 27796 27592 0 -1 4202496 364959 0 0 0 4615 2967 0 0 18 0 1 0 26840362 1360457728 199892 270582939648 4194304 4964800 140734890562464 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27796/statm: 332143 199892 472 189 0 326492 0
Current children cumulated CPU time (s) 75.82
Current children cumulated vsize (KiB) 1328572
[startup+8.90028 s]
/proc/loadavg: 24.81 21.20 17.01 2/414 27828
/proc/meminfo: memFree=261569788/264257624 swapFree=67111528/67111528
[pid=27796] ppid=27794 vsize=1131388 CPUtime=75.98 cores=0-31
/proc/27796/stat : 27796 (claspmt) R 27794 27796 27592 0 -1 4202496 364959 0 0 0 4629 2969 0 0 18 0 1 0 26840362 1158541312 150581 270582939648 4194304 4964800 140734890562464 18446744073709551615 4646717 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27796/statm: 282847 150581 472 189 0 277196 0
Current children cumulated CPU time (s) 75.98
Current children cumulated vsize (KiB) 1131388
[startup+9.00027 s]
/proc/loadavg: 24.81 21.20 17.01 2/414 27828
/proc/meminfo: memFree=261569788/264257624 swapFree=67111528/67111528
[pid=27796] ppid=27794 vsize=953140 CPUtime=76.08 cores=0-31
/proc/27796/stat : 27796 (claspmt) R 27794 27796 27592 0 -1 4202496 364959 0 0 0 4636 2972 0 0 18 0 1 0 26840362 976015360 81655 270582939648 4194304 4964800 140734890562464 18446744073709551615 258650981722 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27796/statm: 238285 81655 472 189 0 232634 0
Current children cumulated CPU time (s) 76.08
Current children cumulated vsize (KiB) 953140
Child status: 20
Real time (s): 9.03272
CPU time (s): 76.1214
CPU user time (s): 46.3659
CPU system time (s): 29.7555
CPU usage (%): 842.73
Max. virtual memory (cumulated for all children) (KiB): 1676548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.366
system time used= 29.7555
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364960
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= 34134
involuntary context switches= 184
runsolver used 0.086986 second user time and 0.231964 second system time
The end
Begin job on node200 at 2011-06-09 12:15:35
IDJOB=3472403
IDBENCH=82444
IDSOLVER=1961
FILE ID=node200/3472403-1307614534
RUNJOBID= node200-1307614385-27606
PBS_JOBID= 13547731
Free space on /tmp= 61728 MiB
SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3472403-1307614534/watcher-3472403-1307614534 -o /tmp/evaluation-result-3472403-1307614534/solver-3472403-1307614534 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472403-1307614534.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32
MD5SUM BENCH= a78f49949ed32c6f8eea9d5e428c909d
RANDOM SEED=2119932666
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.99
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.03
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.97
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.18
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.045
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 262402664 kB
Buffers: 219472 kB
Cached: 1351340 kB
SwapCached: 0 kB
Active: 252592 kB
Inactive: 1382028 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262402664 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 16796 kB
Writeback: 0 kB
AnonPages: 63768 kB
Mapped: 14420 kB
Slab: 144776 kB
PageTables: 4492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 167156 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61728 MiB
End job on node200 at 2011-06-09 12:15:44