17.78/17.87 c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776420-1244930857.cnf
17.78/17.87 c Using SATTIMEOUT of 10000
17.78/17.87 c Using SATRAM of 2047
17.78/17.87 c Size of subset node = 16
17.78/17.87 c Variables = 1461772
17.78/17.87 c Clauses = 5687554
17.78/17.87 c Literals = 14147618
17.78/17.87 c Reduced size:
17.78/17.87 c Variables = 1461771
17.78/17.87 c Clauses = 4572347
17.78/17.87 c Literals = 11191622
17.78/17.87 c a2
25.20/25.24 c a1
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1776420-1244930857/watcher-1776420-1244930857 -o /tmp/evaluation-result-1776420-1244930857/solver-1776420-1244930857 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776420-1244930857.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.80 15.46 13.01 2/184 19163
/proc/meminfo: memFree=18945096/36427776 swapFree=4540/8436
[pid=19163] ppid=19161 vsize=1540 CPUtime=0
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 652392419 1576960 236 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 385 237 75 177 0 207 0
[startup+0.087763 s]
/proc/loadavg: 14.80 15.46 13.01 2/184 19163
/proc/meminfo: memFree=18945096/36427776 swapFree=4540/8436
[pid=19163] ppid=19161 vsize=6968 CPUtime=0.08
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 1596 0 0 0 8 0 0 0 20 0 1 0 652392419 7135232 1552 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 1742 1553 75 177 0 1564 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6968
[startup+0.103774 s]
/proc/loadavg: 14.80 15.46 13.01 2/184 19163
/proc/meminfo: memFree=18945096/36427776 swapFree=4540/8436
[pid=19163] ppid=19161 vsize=7892 CPUtime=0.1
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 1859 0 0 0 10 0 0 0 20 0 1 0 652392419 8081408 1815 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134738795 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 1973 1816 75 177 0 1795 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7892
[startup+0.303811 s]
/proc/loadavg: 14.80 15.46 13.01 2/184 19163
/proc/meminfo: memFree=18945096/36427776 swapFree=4540/8436
[pid=19163] ppid=19161 vsize=21580 CPUtime=0.28
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 5164 0 0 0 26 2 0 0 20 0 1 0 652392419 22097920 5120 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134536395 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 5395 5121 75 177 0 5217 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 21580
[startup+0.703844 s]
/proc/loadavg: 14.80 15.46 13.01 2/184 19163
/proc/meminfo: memFree=18945096/36427776 swapFree=4540/8436
[pid=19163] ppid=19161 vsize=47884 CPUtime=0.68
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 11596 0 0 0 64 4 0 0 20 0 1 0 652392419 49033216 11552 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134639534 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 11971 11553 75 177 0 11793 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 47884
[startup+1.50391 s]
/proc/loadavg: 14.80 15.46 13.01 2/185 19164
/proc/meminfo: memFree=18879920/36427776 swapFree=4856/73712
[pid=19163] ppid=19161 vsize=101056 CPUtime=1.5
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 24427 0 0 0 138 12 0 0 20 0 1 0 652392419 103481344 24383 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 25264 24384 75 177 0 25086 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 101056
[startup+3.10403 s]
/proc/loadavg: 14.80 15.46 13.01 2/185 19164
/proc/meminfo: memFree=18810316/36427776 swapFree=4612/144468
[pid=19163] ppid=19161 vsize=201768 CPUtime=3.1
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 50083 0 0 0 290 20 0 0 20 0 1 0 652392419 206610432 50039 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 50442 50040 75 177 0 50264 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 201768
[startup+6.3043 s]
/proc/loadavg: 13.70 15.22 12.95 2/185 19164
/proc/meminfo: memFree=18589320/36427776 swapFree=4612/365472
[pid=19163] ppid=19161 vsize=411752 CPUtime=6.3
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 97748 0 0 0 592 38 0 0 20 0 1 0 652392419 421634048 97704 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134534043 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 102938 97704 75 177 0 102760 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 411752
[startup+12.7049 s]
/proc/loadavg: 12.68 14.98 12.88 2/185 19164
/proc/meminfo: memFree=18554596/36427776 swapFree=4612/399932
[pid=19163] ppid=19161 vsize=411752 CPUtime=12.7
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 97748 0 0 0 1232 38 0 0 20 0 1 0 652392419 421634048 97704 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134534132 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 102938 97704 75 177 0 102760 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 411752
[startup+25.5019 s]
/proc/loadavg: 10.09 14.30 12.69 2/185 19164
/proc/meminfo: memFree=18253284/36427776 swapFree=4616/700492
[pid=19163] ppid=19161 vsize=752200 CPUtime=25.48
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 186641 0 0 0 2478 70 0 0 20 0 1 0 652392419 770252800 175328 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134516680 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 188050 175328 76 177 0 187872 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 752200
[startup+51.1001 s]
/proc/loadavg: 6.99 13.23 12.38 2/185 19164
/proc/meminfo: memFree=18258740/36427776 swapFree=4620/695888
[pid=19163] ppid=19161 vsize=744768 CPUtime=51.08
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 256180 0 0 0 5010 98 0 0 20 0 1 0 652392419 762642432 171889 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134555272 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 186192 171889 77 177 0 186014 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 744768
[startup+102.309 s]
/proc/loadavg: 3.60 11.34 11.78 2/185 19164
/proc/meminfo: memFree=18212664/36427776 swapFree=4620/741744
[pid=19163] ppid=19161 vsize=785776 CPUtime=102.3
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 267428 0 0 0 10124 106 0 0 20 0 1 0 652392419 804634624 183137 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 196444 183137 77 177 0 196266 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 785776
[startup+162.302 s]
/proc/loadavg: 1.95 9.46 11.10 2/185 19169
/proc/meminfo: memFree=18177200/36427776 swapFree=4620/776920
[pid=19163] ppid=19161 vsize=814108 CPUtime=162.29
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 276124 0 0 0 16111 118 0 0 20 0 1 0 652392419 833646592 191833 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 203527 191833 77 177 0 203349 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 814108
[startup+222.303 s]
/proc/loadavg: 1.41 7.93 10.47 2/185 19169
/proc/meminfo: memFree=18093324/36427776 swapFree=4620/860232
[pid=19163] ppid=19161 vsize=884232 CPUtime=222.29
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 296973 0 0 0 22103 126 0 0 20 0 1 0 652392419 905453568 212682 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600966 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 221058 212682 77 177 0 220880 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 884232
[startup+282.304 s]
/proc/loadavg: 1.15 6.67 9.88 2/185 19169
/proc/meminfo: memFree=18077328/36427776 swapFree=4620/876116
[pid=19163] ppid=19161 vsize=887604 CPUtime=282.27
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 300962 0 0 0 28101 126 0 0 20 0 1 0 652392419 908906496 216648 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600975 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 221901 216648 77 177 0 221723 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 887604
[startup+342.301 s]
/proc/loadavg: 1.05 5.63 9.32 2/185 19169
/proc/meminfo: memFree=18076336/36427776 swapFree=4620/877088
[pid=19163] ppid=19161 vsize=887604 CPUtime=342.26
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 301206 0 0 0 34100 126 0 0 20 0 1 0 652392419 908906496 216892 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600972 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 221901 216892 77 177 0 221723 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 887604
[startup+402.302 s]
/proc/loadavg: 1.02 4.79 8.79 2/185 19169
/proc/meminfo: memFree=18076212/36427776 swapFree=4620/877144
[pid=19163] ppid=19161 vsize=887604 CPUtime=402.26
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 301223 0 0 0 40100 126 0 0 20 0 1 0 652392419 908906496 216909 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600972 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 221901 216909 77 177 0 221723 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 887604
[startup+462.303 s]
/proc/loadavg: 1.00 4.09 8.30 3/185 19174
/proc/meminfo: memFree=18076212/36427776 swapFree=4620/877216
[pid=19163] ppid=19161 vsize=887924 CPUtime=462.26
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 301240 0 0 0 46100 126 0 0 20 0 1 0 652392419 909234176 216926 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600966 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 221981 216926 77 177 0 221803 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 887924
[startup+522.301 s]
/proc/loadavg: 1.00 3.53 7.84 2/185 19174
/proc/meminfo: memFree=18076088/36427776 swapFree=4620/877284
[pid=19163] ppid=19161 vsize=887924 CPUtime=522.26
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 301257 0 0 0 52100 126 0 0 20 0 1 0 652392419 909234176 216943 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600966 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 221981 216943 77 177 0 221803 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 887924
[startup+582.302 s]
/proc/loadavg: 1.00 3.07 7.41 2/185 19177
/proc/meminfo: memFree=18076088/36427776 swapFree=4620/877344
[pid=19163] ppid=19161 vsize=887924 CPUtime=582.26
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 301272 0 0 0 58100 126 0 0 20 0 1 0 652392419 909234176 216958 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600966 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 221981 216958 77 177 0 221803 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 887924
[startup+642.303 s]
/proc/loadavg: 1.00 2.69 7.01 2/185 19177
/proc/meminfo: memFree=18075840/36427776 swapFree=4620/877600
[pid=19163] ppid=19161 vsize=887924 CPUtime=642.28
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 301336 0 0 0 64102 126 0 0 20 0 1 0 652392419 909234176 217022 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600966 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 221981 217022 77 177 0 221803 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 887924
[startup+702.304 s]
/proc/loadavg: 1.04 2.39 6.63 2/185 19177
/proc/meminfo: memFree=18075716/36427776 swapFree=4620/877668
[pid=19163] ppid=19161 vsize=887924 CPUtime=702.27
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 301354 0 0 0 70101 126 0 0 20 0 1 0 652392419 909234176 217040 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600966 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 221981 217040 77 177 0 221803 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 887924
[startup+762.309 s]
/proc/loadavg: 1.01 2.14 6.28 2/185 19182
/proc/meminfo: memFree=18075592/36427776 swapFree=4620/877736
[pid=19163] ppid=19161 vsize=888564 CPUtime=762.27
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 301371 0 0 0 76101 126 0 0 20 0 1 0 652392419 909889536 217057 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600966 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 222141 217057 77 177 0 221963 0
Current children cumulated CPU time (s) 762.27
Current children cumulated vsize (KiB) 888564
[startup+822.302 s]
/proc/loadavg: 1.00 1.93 5.95 2/185 19182
/proc/meminfo: memFree=18075468/36427776 swapFree=4620/877800
[pid=19163] ppid=19161 vsize=888564 CPUtime=822.27
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 301388 0 0 0 82101 126 0 0 20 0 1 0 652392419 909889536 217074 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600966 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 222141 217074 77 177 0 221963 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 888564
[startup+882.303 s]
/proc/loadavg: 1.00 1.75 5.63 2/185 19182
/proc/meminfo: memFree=18075468/36427776 swapFree=4620/877860
[pid=19163] ppid=19161 vsize=888564 CPUtime=882.26
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 301404 0 0 0 88100 126 0 0 20 0 1 0 652392419 909889536 217090 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600966 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 222141 217090 77 177 0 221963 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 888564
[startup+942.301 s]
/proc/loadavg: 1.00 1.61 5.34 2/185 19182
/proc/meminfo: memFree=18075344/36427776 swapFree=4620/877924
[pid=19163] ppid=19161 vsize=888564 CPUtime=942.26
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 301420 0 0 0 94100 126 0 0 20 0 1 0 652392419 909889536 217106 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600966 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 222141 217106 77 177 0 221963 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 888564
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 1.00 1.50 5.07 2/185 19182
/proc/meminfo: memFree=18075220/36427776 swapFree=4620/878072
[pid=19163] ppid=19161 vsize=888696 CPUtime=999.98
/proc/19163/stat : 19163 (ttsth-5-0) R 19161 19163 15497 0 -1 4202496 301461 0 0 0 99872 126 0 0 20 0 1 0 652392419 910024704 217147 18446744073709551615 134512640 135237372 4287111008 18446744073709551615 134600966 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/19163/statm: 222174 217147 77 177 0 221996 0
Current children cumulated CPU time (s) 999.98
Current children cumulated vsize (KiB) 888696
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): 1000.1
CPU time (s): 1000.08
CPU user time (s): 998.698
CPU system time (s): 1.38009
CPU usage (%): 99.9975
Max. virtual memory (cumulated for all children) (KiB): 888696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 998.698
system time used= 1.38009
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301461
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= 1
involuntary context switches= 1535
runsolver used 2.57216 second user time and 6.24839 second system time
The end
Begin job on xenhost3-49 at 2009-06-14 00:07:37
IDJOB=1776420
IDBENCH=20506
IDSOLVER=634
FILE ID=xenhost3-49/1776420-1244930857
PBS_JOBID=
Free space on /tmp= 6914 MiB
SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT07/industrial/narain/clauses-8.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1776420-1244930857/watcher-1776420-1244930857 -o /tmp/evaluation-result-1776420-1244930857/solver-1776420-1244930857 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776420-1244930857.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16
MD5SUM BENCH= 74bd745b1c68e4deddfa063e58b6b54d
RANDOM SEED= 183318089
Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 0
cpu cores : 1
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 0
cpu cores : 1
apicid : 8
initial apicid : 8
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 0
cpu cores : 1
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 0
cpu cores : 1
apicid : 24
initial apicid : 24
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 2
cpu cores : 1
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 2
cpu cores : 1
apicid : 10
initial apicid : 10
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 2
cpu cores : 1
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 2
cpu cores : 1
apicid : 26
initial apicid : 26
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 1
cpu cores : 1
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 1
cpu cores : 1
apicid : 9
initial apicid : 9
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 1
cpu cores : 1
apicid : 17
initial apicid : 17
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 1
cpu cores : 1
apicid : 25
initial apicid : 25
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 0
siblings : 1
core id : 3
cpu cores : 1
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 2
siblings : 1
core id : 3
cpu cores : 1
apicid : 11
initial apicid : 11
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 4
siblings : 1
core id : 3
cpu cores : 1
apicid : 19
initial apicid : 19
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU X7350 @ 2.93GHz
stepping : 11
cpu MHz : 2925.864
cache size : 4096 KB
physical id : 6
siblings : 1
core id : 3
cpu cores : 1
apicid : 27
initial apicid : 27
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 5855.06
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 36427776 kB
MemFree: 18945096 kB
Buffers: 472708 kB
Cached: 14229208 kB
SwapCached: 0 kB
Active: 4118932 kB
Inactive: 10591308 kB
SwapTotal: 25398692 kB
SwapFree: 25398692 kB
Dirty: 115116 kB
Writeback: 0 kB
AnonPages: 8436 kB
Mapped: 3876 kB
Slab: 720404 kB
SReclaimable: 693372 kB
SUnreclaim: 27032 kB
PageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 43612580 kB
Committed_AS: 29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k: 99216660 kB
DirectMap2M: 0 kB
Free space on /tmp at the end= 6914 MiB
End job on xenhost3-49 at 2009-06-14 00:24:23